math.CO ↗ arXiv
5274 papers in this category
Power Semigroups and Two Rigidity Theorems for Groups
Let $\mathcal P(H)$ be the semigroup obtained by endowing the family of all non-empty subsets of a semigroup $H$ with the setwise operation naturally induced by $H$ on its power set, and denote by $\mathcal P_\text{fin}(H)$ the subsemigroup of $\mathcal P(H)$ consisting of all non-empty finite subsets of $H$.
We obtain (as a corollary of a theorem of independent interest) that if $H$ is a group and $K$ is a semigroup, then $\mathcal P(H) \cong \mathcal P(K)$ implies $H \cong K$. The finitary analogue of this statement is considerably more difficult, and we prove it only for $H$ an additive subgroup of the rationals. Most notably, the proof of the second result relies, in a rather circuitous way, on a special case of the Evertse--Schlickewei--Schmidt theorem.
The 1/2-Conjecture for $q$-Binomial Coefficients with Fractional Index
For a nonnegative integer $k$ and a rational number $r\in\mathbb{Q}^+$, we define the generalized Gaussian binomial coefficient $\qbinom{r+k}{k} = \frac{(q^{r+1}; q)_k}{(q; q)_k}$. When $r=a/b$ with $a,b$ coprime positive integers and $b\geq 2$, expanding $\qbinom{r+k}{k}$ via the finite $q$-binomial theorem produces fractional powers of $q$, so that $\qbinom{r+k}{k}$ is a \emph{Puiseux series} in $q$ with nonnegative exponents; concretely it lies in $\mathbb{Q}[[q^{1/b}]]$. The notion we single out is the \emph{integer trace} of this expansion, the subseries consisting of those terms $c_r(d)\,q^d$ whose exponent $d$ is an integer, with all fractional powers discarded. This projection is not standard, and there is no a~priori reason for the surviving coefficients to behave coherently as $r$ varies. Nonetheless, ordering the family by the coefficientwise partial order leads to the \emph{$\tfrac{1}{2}$-Conjecture}: among all $r\in\mathbb{Q}^+$, the value $r=\tfrac{1}{2}$ maximizes the integer trace, in the sense that the coefficients of $\qbinom{1/2+k}{k}$ dominate those of $\qbinom{r+k}{k}$ coefficientwise for every $r$. That so elementary a definition should single out $\tfrac{1}{2}$ this cleanly came as a surprise to us. We prove the conjecture in several special cases and provide further computational evidence.
On the threshold Ramsey multiplicity conjectures for paths and even cycles
The Ramsey number $r(H)$ of a graph $H$ is the minimum positive integer $n$ such that every red/blue edge-coloring of the complete graph $K_n$ on $n$ vertices contains a monochromatic copy of $H$. The threshold Ramsey multiplicity $m(H)$ of $H$ is the minimum number of monochromatic copies of $H$ over all red/blue edge-colorings of $K_{r(H)}$. Let $P_t$ and $C_t$ be a path and a cycle on $t$ vertices, respectively. In this paper, by using combinatorial and local random construction, we show that $$m(C_{2t})\le t^{-γ+o(1)}\frac{(2t-1)!}{2}, \qquad m(P_{2t+1})\le t^{-γ+o(1)}\frac{t}{2}(2t)!,$$ and $$m(P_{2t})\leq \left(\frac{7}{8}+o(1)\right)\frac{(2t)!}{2},$$ for sufficiently large $t$, where $γ=1/(1+\sqrt{2})$. These results disprove two conjectures on the threshold Ramsey multiplicity for even cycles and paths, due to Conlon, Fox, Sudakov, and Wei.
Jordan types for pairs of commuting nilpotent matrices: A survey
The aim of the paper is to survey results on Jordan types for pairs of nilpotent commuting matrices. We also review recent proof of the Box Conjecture on Jordan types that have equal dense orbit in the nilpotent commutator.
A Domatic Analogue of $χ$-Bounded Graph Classes and the Gyárfás-Sumner Conjecture
Given a graph $G$, a dominating set is a subset $X\subseteq V(G)$ such that $N[X]=V(G)$. The \emph{domatic number} of $G$, denoted ${\rm dom}(G)$, is the maximum size of a partition of $V(G)$ into dominating sets. In analogy with the lower bound of the chromatic number by the clique number, the domatic number satisfies the upper bound ${\rm dom}(G)\le δ(G)+1$ where $δ(G)$ is the minimum degree of $G$. Therefore, as an analogue of the notion of $χ$-bounded graph classes, we say that a class of graphs $\mathscr{G}$ is \emph{DOM-bounded} if there exists a positive unbounded function $f_{\mathscr{G}}$ such that for every $G\in \mathscr{G}$, we have ${\rm dom}(G) \ge f_{\mathscr{G}}(δ(G))$.
We propose the following conjecture for graphs forbidding a fixed induced subgraph, analogous to the Gyárfás--Sumner Conjecture for $χ$-bounded graph classes: for every connected graph $H$, the class of $H$-free graphs is DOM-bounded if and only if $H$ is a tree of diameter at most $3$. We reduce the case of disconnected graphs to the connected setting and show that the conditions on $H$ are necessary.
We show that star-free graphs of minimum degree at least $δ$ have domatic number $Ω(δ/\log δ)$, which is best possible up to a constant factor. We also identify a subclass of star-free graphs for which the domatic number is linear in $δ$: line graphs of bounded rank hypergraphs.
In support of our conjecture in the case of double stars, we prove that $P_4$-free graphs (i.e. cographs) of minimum degree $δ$ have domatic number at least $1 + \fracδ{2}$, which is best possible.
On gapped repeats in a cyclic Fibonacci word
In this article, we consider the words with cyclic indices. For given $s$, we consider the pair $(ι,κ)$ of indices such that the word of length $s$ from $ι$ is equal to the word of length $s$ from $κ$. We give a characterization of such pairs for a cyclic Fibonacci word, and give the number of them.
On cliques in hypergraphs under bounded $(j,p)$-norm
Let $\mathcal{H}$ be an $r$-uniform hypergraph. For $S\in \binom{V(\mathcal{H})}{j}$, let $\mathrm{deg}(S)$ be the number of edges of $\mathcal{H}$ containing $S$, and define the $(j,p)$-norm of $\mathcal{H}$ by $\|\mathcal{H}\|_{j,p}=\left(\sum_{S\in \binom{V(\mathcal{H})}{j}}\mathrm{deg}(S)^p\right)^{1/p}$. Motivated by a problem of Chao, Dong, Shen and Yang, we determine the maximum number of $t$-cliques in an $n$-vertex $r$-graph with bounded $(j,p)$-norm in the range $p>(t-j)/(r-j)$. The proof uses an entropy argument adapted to hypergraphs, together with a continuous interpolation step. The bound is sharp whenever the corresponding Steiner systems exist.
Upper Bounds on Turán Densities via Extremal Set Theory
We exhibit, in a systematic way, connections between hypergraph Turán problems and extremal set theory. More specifically, we construct natural families of uniform hypergraphs for which the upper bounds on their Turán densities reduce to classical problems in extremal set theory, including the Erdős--Ko--Rado theorem, $L$-intersecting families, and the Erdős matching problem.
Pancyclicity of graphs perturbed by a random $F$-factor
Resolving a conjecture of Espuny Díaz and Girão [Random Structures Algorithms, 2023], we determine the sharp minimum-degree threshold for Hamiltonicity in graphs perturbed by a uniformly random $K_r$-factor. In fact, we prove the stronger pancyclic statement. More generally, for each fixed connected graph $F$, we study the union of an arbitrary deterministic graph of linear minimum degree and a uniformly random $F$-factor. Let $α^*(F)$ and $α_{\text{pan}}^*(F)$ denote the corresponding Hamiltonicity and pancyclicity thresholds. We introduce two new parameters, $τ_{\text{pc}}(F)$ and $τ_{\text{ind}}(F)$, defined by the expected path-cover number and independence number of random induced subgraphs of $F$, and prove \[ τ_{\text{pc}}(F)\le α^*(F)\le α_{\text{pan}}^*(F)\le τ_{\text{ind}}(F). \] For $F=K_r$, the two parameters coincide and are equal to the unique positive solution $ρ_r$ of $x^r+rx-1=0$. Hence $α^*(K_r)=α_{\text{pan}}^*(K_r)=ρ_r$ for every $r\ge2$.
Band Bases as Common Triangular Bases in Cluster Algebras from Surfaces
We consider the skein algebra of an unpunctured marked surface. Thurston previously constructed its band basis topologically. We show that this band basis coincides with the common triangular basis, which is a Kazhdan-Lusztig type basis for quantum cluster algebras analogous to the dual canonical basis of quantum groups. Our result confirms a conjecture of Thurston. It also provides new cases for the existence of the common triangular basis. In addition, we discover a phenomenon where certain unknots are arranged in configurations resembling beads on a necklace.
Stability of nontrivial graph pairs
A graph pair $(Γ, Σ)$ is called stable if every automorphism of the direct product $Γ\timesΣ$ is induced componentwise by automorphisms of $Γ$ and $Σ$. A graph is twin-free if no two distinct vertices share the same neighbourhood in the graph. Two graphs $Γ$ and $Σ$ are coprime with respect to the direct product if there is no graph $Δ$ of order greater than $1$ such that $Γ\congΓ'\timesΔ$ and $Σ\congΣ'\timesΔ$ for some graphs $Γ'$ and $Σ'$. A graph pair $(Γ,Σ)$ is nontrivial if $Γ$ and $Σ$ are coprime connected twin-free graphs and exactly one of them is bipartite. In this paper, we prove that if $Γ$ is non-bipartite, stable, and factor-loopless, then each nontrivial graph pair $(Γ,Σ)$ is stable. This gives a partial answer to [Question~19, Qin, Xia and Zhou, Discrete Math., 113856, (2024)] and proves the factor-loopless case of [Conjecture~1.3, Wang, Qin and Xia, arXiv:2509.26170]. We also give affirmative answers to [Questions~3.5, 3.6, Gan, Liu and Xia, J. Combin. Theory Ser. B, 140--164, (2025)] and a negative answer to [Question~3.7, Gan, Liu and Xia, J. Combin. Theory Ser. B, 140--164, (2025)].
Vertex-colored Turán theorems with applications in extremal hypergraph problems
Balogh, Clemen, and Lidický proved that the $\ell_{2}$-norm Turán problem for $K_{5}^{3}$ is asymptotically solved by the balanced bipartite construction, and they further conjectured that this construction is uniquely extremal for all sufficiently large $n$. We confirm this conjecture. We also determine exactly the maximum number of cliques in an $n$-vertex $K_{5}^{3}$-free $3$-uniform hypergraph for all sufficiently large $n$, thereby verifying the corresponding case of a conjecture of Frankl, Gryaznov, and Talebanfard.
The main ingredients are Turán-type theorems for vertex-colored graphs forbidding balanced cliques, including an edge bound, an $\ell_{2}$-norm bound, and a sharp crossing-triangle theorem in the two-colored balanced $K_{4}$-free case. We also use a local modification procedure within the stability method. This reduces the exact hypergraph problems to proving that the relevant objective function increases under suitable local changes near the bipartite construction.
Presentations for categories of crystals
We give generators and relations for the monoidal categories of crystals generated by the fundamental crystals of a simple complex Lie algebra. We also spell out several small-rank examples.
Counterexamples to Robichaux's conjecture for Grothendieck polynomials
Ross and Yong conjectured a $K$-theoretic Kohnert rule for Grothendieck polynomials. Robichaux exhibited a counterexample to the Ross--Yong rule and proposed a revised ghost $K$-Kohnert rule, proving both rules hold for 321-avoiding permutations. We provide counterexamples to Robichaux's rule and give an explicit bijection showing that both the Ross--Yong and Robichaux rules hold for 1432-avoiding permutations. As an application, we provide a Kohnert-theoretic characterization of 1432-avoidance.
Exact Sampling of Permutations with a Fixed Longest Increasing Subsequence
We study exact uniform sampling of permutations of length $n$ whose longest increasing subsequence (LIS) has prescribed length $k$. For $k \in Θ(n)$, we give a direct rejection sampler whose expected running time is $O(n\log\log n)$ in the word-RAM model. The sampler uses an expanded proposal space consisting of permutations together with a specified increasing subsequence, and accepts exactly those proposals whose specified subsequence is the leftmost LIS. For arbitrary $1\le k\le n$, we give an exact sampler based on the Robinson--Schensted correspondence. The algorithm samples the corresponding Plancherel-conditioned shape by computing exact completion counts via determinant identities, and then samples two uniform tableaux of that shape. The direct implementation runs in $\tilde O(n^4k^5)$ expected time. We then show that the same sampler can be implemented in expected $\tilde O(n^3k^4)$ time by evaluating a determinant oracle through Hankel moment matrices.
Exact Leaf Powers on Cycles, Ladders, Crowns, and Multipartite Block Graphs
Exact \(k\)-leaf powers are graphs whose edges are exactly the pairs of leaves at distance \(k\) in a tree. We prove explicit structure theorems for exact leaf powers on several representative graph families that test different exact-distance phenomena. Our most detailed root-classification theorem concerns chordless cycles: all exact \(5\)-leaf roots of \(C_\ell\), \(\ell\ge 8\), are described by a complete terminal block language. We also prove that the \(t\)-square ladder \(L_t\) is an exact \(5\)-leaf power if and only if \(t\le 2\). In contrast, dense bipartite square structures are often representable: among block-complete multipartite graphs, the exact \(5\)-leaf powers are precisely the bipartite members, and every bipartite co-cluster graph, including every crown \(K_{n,n}-M\), is an exact \(k\)-leaf power for every \(k\ge 5\). Finally, we give parity classifications for complete multipartite graphs and multipartite block graphs at larger exact distances, and isolate a sharp fan boundary at exact distance six.
Counting Hamiltonian paths between prescribed vertices in traceable graphs with a forbidden induced subgraph
For graphs $G$ and $F$, we say that $G$ is $F$-free if $F$ does not occur as an induced subgraph of $G$. This paper is concerned with the following question: Given an $F$-free graph $G$ having two vertices between which there exists at least one Hamiltonian path, how many Hamiltonian paths between these endpoints must exist (in terms of the order of $G$)? Our main result shows that there exists a sharp dichotomy. More precisely, we show that if $F$ is not an induced subgraph of $P_3+sP_1$ for any integer $s \geq 0$, then there exists an infinite family of $F$-free graphs having two vertices between which there exists a unique Hamiltonian path. On the other hand, we prove that if $F$ is an induced subgraph of $P_3+sP_1$ for some integer $s \geq 0$, then any $F$-free graph having two vertices between which there exists a Hamiltonian path contains exponentially many such paths between these two vertices. Our proofs use Ramsey-theoretic methods, a result on the existence of two vertices with low degree in graphs containing a unique Hamiltonian cycle, a path variant of Thomassen's red-independent weakly green-dominating sets, and a structural analysis of Hamiltonian paths in $P_3+sP_1$-free graphs. As an algorithmic consequence we obtain that for every fixed $s \geq 1$, given a Hamiltonian $sP_1$-free graph together with a Hamiltonian cycle, one can decide in linear time whether a second Hamiltonian cycle exists and construct one if it does.
Transitivity in Inhomogeneous Random Tournaments
Paired-comparison data are naturally represented by tournaments, where transitivity corresponds to the existence of a global ranking consistent with all pairwise outcomes. Accordingly, the classical Kendall-Smith coefficient of consistency measures deviations from transitivity in a tournament by counting the number of circular triads (directed $3$-cycles). In this paper, we characterize the fluctuations of the number of circular triads in inhomogeneous random tournaments and develop an inferential framework for the consistency coefficient. Specifically, we consider the $W$-random tournament model, where the comparison probabilities are determined by a tournamenton $W$, the analogue of a graphon in the tournament setting. We show that, for a $W$-random tournament on $n$ vertices, the number of circular triads exhibits three different fluctuation regimes, determined by suitable notions of regularity and uniformity of $W$. We further develop a novel tournamenton multiplier bootstrap that consistently approximates the limiting distribution of the circular-triad count in the relevant asymptotic regime. Combining this with procedures for testing regularity and uniformity, we design an algorithm for constructing confidence intervals for the consistency coefficient that is asymptotically valid for all tournamentons. We also obtain structural characterizations of tournamentons for which the limiting distribution of the number of circular triads exhibits specific degeneracies. These results can also be viewed through the lens of tournament quasirandomness and may be of independent interest.
On 2-connected graphs without cycles of length 1 modulo 3
Burr and Erdős conjectured in 1976 that for all integers $k>\ell\geq 0$ such that $k\mathbb{Z}+\ell$ contains an even integer, every $n$-vertex graph without cycles of length $\ell$ modulo $k$ has at most a linear number of edges in $n$. Bollobás confirmed the conjecture in 1977, and Erdős further asked for the exact extremal number. To the best of our knowledge, this problem has been solved only for all residues when $k\leq 4$, and for $\ell\in \{0,2\}$ when $k\geq 5$ is odd. In particular, Bai {\it et al.} [arXiv:2503.03504] proved that if $G$ is an $n$-vertex graph with no cycles of length $1$ modulo $3$, then $e(G)\le \frac{5}{3}(n-1)$, and when $9\mid (n-1)$ the equality holds if and only if each block of $G$ is isomorphic to the Petersen graph. Note that for $n> 18$ every extremal graph contains a cut-vertex. In this paper, we investigate the 2-connected setting and determine the maximum number of edges in a 2-connected graph with no cycles of length $1$ modulo $3$. Our results provide a sharp extremal bound and a complete characterization of the extremal graphs, revealing structural differences from the general case. Combining this with the result of Bai {\it et al.}, we also obtain a complete characterization of all extremal graphs in the general setting, including the cases where $9\nmid (n-1)$. Finally, we determine the maximum number of edges in a $2$-connected graph with no cycles of length $2$ modulo $4$, whose extremal graphs differ substantially from those in the general setting. Consequently, the extremal numbers for $2$-connected graphs with no cycle of a fixed length modulo $k$ are now determined for all $k\leq 4$.
A degree version of the Burr-Erdős conjecture on trees
An old conjecture of Burr and Erd\H os states that the Ramsey number of any $n$-vertex tree $T$ is at most $2n-2$. In 2012, Schelp asked whether a degree version of the Burr--Erdős conjecture holds. More precisely, Schelp asked if is it true that for any $\varepsilon>0$ and $Δ\ge 2$, if $G$ is a graph on $N\ge (2+\varepsilon)n$ vertices and minimum degree $δ(G)\ge \lfloor 3N/4\rfloor$, then every blue/red colouring of the edges of $G$ yields a monochromatic copy of each $n$-vertex tree with maximum degree at most $Δ$. We prove this conjecture in a strong form, showing that it is true even if one removes the extra $\varepsilon n$ term in the size of the host graph.