Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Factorial Moments of the Geometric Distribution of Order $k$
We derive a simple expression for the $r^{th}$ factorial moment $μ_{(r)}$ of the geometric distribution of order $k$ with success parameter $p\in(0,1)$ (and $q=1-p$) in terms of its probability mass function $f_k(n)$. Specifically, $μ_{(r)} = r!f_k((r+1)k+r)/((qp^k)^{r+1})$.
On the General Dead-Ending Universe of Partizan Games
Published
• View Publication
• BIB
The universe $\mathcal{E}$ of dead-ending partizan games has emerged as an important structure in the study of misère play. Here we attempt a systematic investigation of the structure of $\mathcal{E}$ and its subuniverses. We begin by showing that the dead-ends exhibit a rich "absolute" structure, in the sense that they behave identically in any universe in which they appear.
We will use this result to construct an uncountable family of dead-ending universes and show that they collectively admit an uncountable family of distinct comparison relations. We will then show that whenever the ends of a universe $\mathcal{U} \subset \mathcal{E}$ are computable, then there is a constructive test for comparison modulo $\mathcal{U}$.
Finally, we propose a new type of generalized simplest form that works for arbitrary universes (including universes that are not dead-ending), and that is computable whenever comparison modulo $\mathcal{U}$ is computable. In particular, this gives a complete constructive theory for subuniverses of $\mathcal{E}$ with computable ends. This theory has been implemented in cgsuite as a proof of concept.
As an application of these results, we will characterize the universe generated by misère Domineering, and we will compute the misère simplest forms of $2 \times n$ Domineering rectangles for small values of $n$.
Eigenvalues and factors: a survey
A factor of a graph is a spanning subgraph satisfying some given conditions. An earlier survey of factors can be traced back to the Akiyama and Kano [J. Graph Theory, 1985, 9: 1-42] in which they described the characterization of factors in (bipartite) graphs and digraphs, respectively. Soon after, Kouider and Vestergaard summarized the findings related to connected factors [Graphs Combin., 2005, 21(1): 1-26]. Plummer extended the aforementioned research by providing a comprehensive overview of progress made in the study of graph factors and factorization from 1985 to 2003 [Discrete Math., 2007, 7-8: 791-821]. In this paper, we aim to summarize the relevant results regarding factors from the perspective of eigenvalues.
On rainbow Turán Densities of Trees
Published
• View Publication
• BIB
For a given collection $\mathcal{G} = (G_1,\dots, G_k)$ of graphs on a common vertex set $V$, which we call a \emph{graph system}, a graph $H$ on a vertex set $V(H) \subseteq V$ is called a \emph{rainbow subgraph} of $\mathcal{G}$ if there exists an injective function $ψ:E(H) \rightarrow [k]$ such that $e \in G_{ψ(e)}$ for each $e\in E(H)$. The maximum value of $\min_{i}\{|E(G_i)|\}$ over $n$-vertex graph systems $\mathcal{G}$ having no rainbow subgraph isomorphic to $H$ is called the rainbow Turán number $\mathrm{ex}_k^{\ast}(n, H)$ of $H$.
In this article, we study the rainbow Turán density $π_k^{\ast}(T) = \lim_{n \rightarrow \infty} \frac{\mathrm{ex}_k^{\ast}(n, T)}{\binom{n}{2}}$ of a tree $T$. While the classical Turán density $π(H)$ of a graph $H$ lies in the set $\{1-\frac{1}{t} : t\in \mathbb{N}\}$, the rainbow Turán density exhibits different behaviors as it can even be an irrational number. Nevertheless, we conjecture that the rainbow Turán density is always an algebraic number. We provide evidence for this conjecture by proving that the rainbow Turán density of a tree is an algebraic number. To show this, we identify the structure of extremal graphs for rainbow trees. Moreover, we further determine all tuples $(α_1,\dots, α_k)$ such that every graph system $(G_1,\dots,G_k)$ satisfying $|E(G_i)|>(α_i+o(1))\binom{n}{2}$ contains all rainbow $k$-edge trees. In the course of proving these results, we also develop the theory on the limit of graph systems.
Truncated degree DP-colourability of $K_{2,4}$-minor free graphs
Assume $G$ is a graph and $k$ is a positive integer. Let $f$ from $V(G)$ to $ N$ be defined as $f(v)$ is the minimum of $k$ and $d(v)$. If $G$ is $f$-DP-colourable (respectively, $f$-choosable), then we say $G$ is $k$-truncated degree DP-colourable (respectively, $k$-truncated degree-choosable). Hutchinson proved that 2-connected maximal outerplanar graphs other than the triangle are $5$-truncated degree-choosable, and asked whether the result can be extended to all outerplanar graphs, and the question remained open.
This paper proves that 2-connected $K24$-minor free graphs other than cycles and complete graphs are $5$-truncated degree DP-colourable. This not only answers Hutchinson's question in the affirmative, but also extends to a larger family of graphs, and strengthens choosability to DP-colourability.
Maximal signed bipartite graphs with totally disconnected graphs as star complements
Published
• View Publication
• BIB
Let $\dot{\mathscr{B}}\triangleq \dot{\mathscr{B}}_{\dot{H}, μ}$ denote an arbitrary signed bipartite graph with $\dot{H}$ as a star complement for an eigenvalue $μ$, where $\dot{H}$ is a totally disconnected graph of order $s$. In this paper, by using Hadamard and Conference matrices as tools, the maximum order of $\dot{\mathscr{B}}$ and the extremal graphs are studied. It is shown that $\dot{\mathscr{B}}$ exists if and only if $μ^2$ is a positive integer. A formula of the maximum order of $\dot{\mathscr{B}}$ is given in the case of $μ^2=p\times q$ such that $p$, $q$ are integers and there exists a $p$-order Hadamard or $(p+1)$-order Conference matrix. In particular, it is proved the maximum order of $\dot{\mathscr{B}}$ is $2s$ when either $q=1$, $s=cμ^2=cp$ or $q=1$, $s=c(μ^2+1)=c(p+1)$, $ c=1,2,3,\cdots$. Futhermore, some extremal graphs are characterized.
A Graph-Theoretic Approach to Ring Analysis: Dominant Metric Dimensions in Zero-Divisor Graphs
Published
• View Publication
• BIB
This article investigates the concept of dominant metric dimensions in zero divisor graphs (ZD-graphs) associated with rings. Consider a finite commutative ring with unity, denoted as R, where nonzero elements x and y are identified as zero divisors if their product results in zero (x.y=0). The set of zero divisors in ring R is referred to as L(R). To analyze various algebraic properties of R, a graph known as the zero-divisor graph is constructed using L(R). This manuscript establishes specific general bounds for the dominant metric dimension (Ddim) concerning the ZD-graph of R. To achieve this objective, we examine the zero divisor graphs for specific rings, such as the ring of Gaussian integers modulo m, denoted as Zm[i], the ring of integers modulo n, denoted as Zn, and some quotient polynomial rings. Additionally, we present a general result outlining bounds for the dominant metric dimension expressed in terms of the maximum degree, girth, clique number, and diameter of the associated ZD-graphs. Finally, we provide insights into commutative rings that share identical metric dimensions and dominant metric dimensions. This exploration contributes to a deeper understanding of the structural characteristics of ZD-graphs and their implications for the algebraic properties of commutative rings.
Pattern Avoidance for Fibonacci Sequences using $k$-Regular Words
Published
• View Publication
• BIB
Two $k$-ary Fibonacci recurrences are $a_k(n) = a_k(n-1) + k \cdot a_k(n-2)$ and $b_k(n) = k \cdot b_k(n-1) + b_k(n-2)$. We provide a simple proof that $a_k(n)$ is the number of $k$-regular words over $[n] = \{1,2,\ldots,n\}$ that avoid patterns $\{121, 123, 132, 213\}$ when using base cases $a_k(0) = a_k(1) = 1$ for any $k \geq 1$. This was previously proven by Kuba and Panholzer in the context of Wilf-equivalence for restricted Stirling permutations, and it creates Simion and Schmidt's classic result on the Fibonacci sequence when $k=1$, and the Jacobsthal sequence when $k=2$. We complement this theorem by proving that $b_k(n)$ is the number of $k$-regular words over $[n]$ that avoid $\{122, 213\}$ with $b_k(0) = b_k(1) = 1$ for any~$k \geq 2$. Finally, we conjecture that $|Av^{2}_{n}(\underline{121}, 123, 132, 213)| = a_1(n)^2$ for $n \geq 0$. That is, vincularizing the Stirling pattern in Kuba and Panholzer's Jacobsthal result gives the Fibonacci-squared numbers.
When can an expander code correct $Ω(n)$ errors in $O(n)$ time?
Published
• View Publication
• BIB
Tanner codes are graph-based linear codes whose parity-check matrices can be characterized by a bipartite graph $G$ together with a linear inner code $C_0$. Expander codes are Tanner codes whose defining bipartite graph $G$ has good expansion property. This paper is motivated by the following natural and fundamental problem in decoding expander codes:
What are the sufficient and necessary conditions that $δ$ and $d_0$ must satisfy, so that \textit{every} bipartite expander $G$ with vertex expansion ratio $δ$ and \textit{every} linear inner code $C_0$ with minimum distance $d_0$ together define an expander code that corrects $Ω(n)$ errors in $O(n)$ time?
For $C_0$ being the parity-check code, the landmark work of Sipser and Spielman (IEEE-TIT'96) showed that $δ>3/4$ is sufficient; later Viderman (ACM-TOCT'13) improved this to $δ>2/3-Ω(1)$ and he also showed that $δ>1/2$ is necessary. For general linear code $C_0$, the previously best-known result of Dowling and Gao (IEEE-TIT'18) showed that $d_0=Ω(cδ^{-2})$ is sufficient, where $c$ is the left-degree of $G$.
In this paper, we give a near-optimal solution to the above question for general $C_0$ by showing that $δd_0>3$ is sufficient and $δd_0>1$ is necessary, thereby also significantly improving Dowling-Gao's result. We present two novel algorithms for decoding expander codes, where the first algorithm is deterministic, and the second one is randomized and has a larger decoding radius.
Variants of spectral Turán theorems and eigenvectors of graphs
Published in Journal of Combinatorial Theory, Series B 176 (2026) 241--253
• View Publication
• BIB
In 2002, Nikiforov proved that for an $n$-vertex graph $G$ with clique number $ω$ and edge number $m$, the spectral radius $λ(G)$ satisfies $λ(G) \leq \sqrt{2(1 - 1/ω) m}$, which confirmed a conjecture implicitly suggested by Edwards and Elphick. In this paper, we prove a local version of spectral Turán inequality, which states that $λ^2(G)\leq 2\sum_{e\in E(G)}\frac{c(e)-1}{c(e)}$, where $c(e)$ is the order of the largest clique containing the edge $e$ in $G$. We also characterize the extremal graphs. We prove that our theorem implies Nikiforov's theorem and give an example to show that the difference of Nikiforov's bound and ours is $Ω(\sqrt{m})$ for some cases. Additionally, we establish a spectral counterpart to Ore's problem (1962) which asks for the maximum size of an $n$-vertex graph such that its complement is connected and does not contain $F$ as a subgraph. Our result leads to a new spectral Turán inequality applicable to graphs with connected complements. Finally, we disprove a conjecture of Gregory, asserting that for a connected $n$-vertex graph $G$ with chromatic number $k\geq 2$ and an independent set $S$, we have \[ \sum_{v\in S} x_v^2 \leq \frac{1}{2} - \frac{k-2}{2\sqrt{(k-2)^2 + 4(k-1)(n-k+1)}}, \] where $x_v$ is the component of the Perron vector of $G$ with respect to the vertex $v$. A modified version of Gregory's conjecture is proposed.
Polynomial Reconstruction Problem for Hypergraphs
Published
• View Publication
• BIB
We show that, in general, the characteristic polynomial of a hypergraph is not determined by its ``polynomial deck'', the multiset of characteristic polynomials of its vertex-deleted subgraphs, thus settling the ``polynomial reconstruction problem'' for hypergraphs in the negative. The proof proceeds by showing that a construction due to Kocay of an infinite family of pairs of $3$-uniform hypergraphs which are non-isomorphic but share the same hypergraph deck, in fact, have different characteristic polynomials. The question remain unresolved for ordinary graphs.
Invariable generation of finite simple groups and rational homology of coset posets
Published in J. Algebra 659 (2024) 686-697
• View Publication
• BIB
We show that every finite simple group is generated invariably by a Sylow subgroup and a cyclic group. It follows that that the order complex of the coset poset of an arbitrary finite group has nontrivial reduced rational homology.
Triangular partitions: enumeration, structure, and generation
Published
• View Publication
• BIB
A triangular partition is a partition whose Ferrers diagram can be separated from its complement (as a subset of $\mathbb{N}^2$) by a straight line. Having their origins in combinatorial number theory and computer vision, triangular partitions have been studied from a combinatorial perspective by Onn and Sturmfels, and by Corteel et al. under the name plane corner cuts, and more recently by Bergeron and Mazin. In this paper we derive new enumerative, geometric and algorithmic properties of such partitions.
We give a new characterization of triangular partitions and the cells that can be added or removed while preserving the triangular condition, and use it to describe the Möbius function of the restriction of Young's lattice to triangular partitions. We obtain a formula for the number of triangular partitions whose Young diagram fits inside a square, deriving, as a byproduct, a new proof of Lipatov's enumeration theorem for balanced words. Finally, we present an algorithm that generates all the triangular partitions of a given size, which is significantly more efficient than previous ones and allows us to compute the number of triangular partitions of size up to $10^5$.
Induced subgraph density. VI. Bounded VC-dimension
Published
• View Publication
• BIB
We confirm a conjecture of Fox, Pach, and Suk, that for every $d>0$, there exists $c>0$ such that every $n$-vertex graph of VC-dimension at most $d$ has a clique or stable set of size at least $n^c$. This implies that, in the language of model theory, every graph definable in NIP structures has a clique or anti-clique of polynomial size, settling a conjecture of Chernikov, Starchenko, and Thomas.
Our result also implies that every two-colourable tournament satisfies the tournament version of the Erdős-Hajnal conjecture, which completes the verification of the conjecture for six-vertex tournaments. The result extends to uniform hypergraphs of bounded VC-dimension as well.
The proof method uses the ultra-strong regularity lemma for graphs of bounded VC-dimension proved by Lovász and Szegedy and the method of iterative sparsification introduced by the authors in an earlier paper.
0-rotatability of classes of rooted symmetric trees. Are rooted symmetric trees 0-rotatable?
A graceful labelling of a tree T = (V,E), where V is the set of vertices of the tree and E is its edge set, is a bijective function f from V to the set consisting of the numbers 0, 1, ... |E| inclusive, such that if edge uv is assigned the value |f(u)-f(v)| then the edge labels are distinct numbers of the set consisting of the numbers 1, 2, ..., |E| inclusive. A tree is said to be 0-roratable if for any of its vertices there is a graceful labelling that assigns the label 0 to that vertex. A rooted symmetric tree is a tree in which all vertices at the same level from root vertex have the same degree. It was known since 1979 that rooted symmetric trees are graceful and an algebraic definition of graceful labelling of this class of trees was found by the author. In this paper we prove that rooted symmetric trees with at most 3 levels (including root vertex) are 0-rotatable. We also prove that symmetric spider trees with leg length at most 3 and symmetric banana trees, both of which are classes of rooted symmetric trees with 4 levels, are 0-rotatable. Based on these results, we conjecture that all spiders are 0-rotatable and raise the more general question whether all symmetric rooted trees are 0-rotatable.
Swap-based Deep Reinforcement Learning for Facility Location Problems in Networks
Facility location problems on graphs are ubiquitous in real world and hold significant importance, yet their resolution is often impeded by NP-hardness. Recently, machine learning methods have been proposed to tackle such classical problems, but they are limited to the myopic constructive pattern and only consider the problems in Euclidean space. To overcome these limitations, we propose a general swap-based framework that addresses the p-median problem and the facility relocation problem on graphs and a novel reinforcement learning model demonstrating a keen awareness of complex graph structures. Striking a harmonious balance between solution quality and running time, our method surpasses handcrafted heuristics on intricate graph datasets. Additionally, we introduce a graph generation process to simulate real-world urban road networks with demand, facilitating the construction of large datasets for the classic problem. For the initialization of the locations of facilities, we introduce a physics-inspired strategy for the p-median problem, reaching more stable solutions than the random strategy. The proposed pipeline coupling the classic swap-based method with deep reinforcement learning marks a significant step forward in addressing the practical challenges associated with facility location on graphs.
A New Series for Rogers-Ramanujan-Gordon Identities when k = 3
In this paper, we introduce a new series of Rogers-Ramanujan-Gordon partitions when k = 3. The combinatorial interpretation of the series is given by base partition, forward moves and backward moves. We conclude the paper with future research questions related to the generalization of this approach.
Bialternant formula for Schur polynomials with repeating variables
Published in Linear and Multilinear Algebra, 1-35 (2025)
• View Publication
• BIB
We consider polynomials of the form $\operatorname{s}_λ(y_1^{[\varkappa_1]},\ldots,y_n^{[\varkappa_n]})$, where $λ$ is an integer partition, $\operatorname{s}_λ$ is the Schur polynomial associated to $λ$, and $y_j^{[\varkappa_j]}$ denotes $y_j$ repeated $\varkappa_j$ times. We represent $\operatorname{s}_λ(y_1^{[\varkappa_1]},\ldots,y_n^{[\varkappa_n]})$ as a quotient whose the denominator is the determinant of the confluent Vandermonde matrix, and the numerator is the determinant of some generalized confluent Vandermonde matrix. We give three algebraic proofs of this formula.
On the rank of two-dimensional simplicial distributions
Published
• View Publication
• BIB
Simplicial distributions provide a framework for studying quantum contextuality, a generalization of Bell's non-locality. Understanding extremal simplicial distributions is of fundamental importance with applications to quantum computing. We introduce a rank formula for twisted simplicial distributions defined for $2$-dimensional measurement spaces and provide a systematic approach for describing extremal distributions.
Primed decomposition tableaux and extended queer crystals
Published in Algebras and Representation Theory 28 (2025), 445-482
• View Publication
• BIB
Our previous work introduced a category of extended queer crystals, whose connected normal objects have unique highest weight elements and characters that are Schur $Q$-polynomials. The initial models for such crystals were based on semistandard shifted tableaux. Here, we introduce a simpler construction using certain "primed" decomposition tableaux, which slightly generalize the decomposition tableaux used in work of Grantcharov et al. This leads to a new, shorter proof of the highest weight properties of the normal subcategory of extended queer crystals. Along the way, we analyze a primed extension of Grantcharov et al.'s insertion scheme for decomposition tableaux.