math.CO ↗ arXiv
7121 papers in this category
Non-uniqueness of optimal $1$-embeddings on surfaces up to weak equivalence
We study the uniqueness of optimal $1$-embeddings on closed surfaces up to weak equivalence. Answering a question of Suzuki in the negative, we show that for every closed surface other than the sphere, the projective plane and the Klein bottle, there exists an optimal $1$-embedded graph admitting two weakly inequivalent optimal $1$-embeddings. Our construction is given explicitly on the torus and is then extended to other surfaces through a suitable connected-sum construction that preserves weak inequivalence. As a consequence, we also obtain optimal $1$-embedded graphs with exponentially many pairwise weakly inequivalent optimal $1$-embeddings as the genus increases.
The singularity probability of dense random regular graphs
Let $G_{n,d}$ be a uniformly random simple $d$-regular graph on $n$ vertices, and let $A_n$ be its adjacency matrix. For every fixed $λ\in(0,1/2)$, we prove that for any $λ(n-1)\le d\le(1-λ)(n-1)$, $\mathbb P(A_n\text{ is singular})\le e^{-cn}$, where $c>0$ depends only on $λ$, and $n$ is sufficiently large with $nd$ even.
A linear bound for a connectivity partition in graphs
Kühn and Osthus proved that, for every positive integer $\ell$, every $2^{16}\ell^2$-connected graph $G$ has a partition $V(G)=S\cup T$ such that $G[S]$ and $G[T]$ are $\ell$-connected and $d_T(v)\geq \ell$ for every $v\in S$. And they asked whether the quadratic bound can be replaced by a linear bound. In this paper, we answer this question in the affirmative by proving that every $641\ell$-connected graph $G$ has a partition $V(G)=S\cup T$ such that $G[S]$ and $G[T]$ are $\ell$-connected and $d_T(v)\ge \ell$ for every $v\in S$. The proof integrates the Moser-Tardos resampling algorithm.
The Higher-order Stirling Triangles
The $r$th-order Stirling cycle and subset triangles and their associated quasi-Eulerian triangles were introduced by Deb and Sokal in their study of total positivity of combinatorial triangles. They found combinatorial interpretations for the cycle case in terms of Stirling permutations, leaving the subset case open. For $r\ge 2$, we resolve this problem by introducing the notion of Stirling subset permutations along with a consecutive-descent statistic. We also prove the conjectures of Deb and Sokal on the row log-concavity of the higher-order Stirling cycle and subset triangles. Our log-concavity proofs rely on Sagan's criterion, Dey's extension, and strengthened log-concavity inequalities discovered with the assistance of ChatGPT 5.6.
A near-quadratic lower bound for sets with no unique sums
Let $m(p)$ be the least size of a subset of $\F_p$ with at least two elements for which every sum has two distinct representations as unordered pairs, allowing repetition. We prove that, for every prime $p\ge64$, \[
m(p)\ge2^{-80}\left(\frac{\log p}{\log\log p}\right)^2. \] The argument compresses the full integer collision lattice by unit-pivot elimination. A shared random sample and forests of bounded diameter give $O(\sqrt n+n/\log p)$ surviving coordinates of polynomial height for a minimal set of size $n$. A nonzero minor divisible by $p$ then gives the lower bound. We also construct weakly ternary-balanced seeds yielding \[
m(p)\le\frac{(\log p)^2}{2(\log3)^2}
+\left(\frac1{4\log3}+o(1)\right)
\frac{(\log p)^2}{\log\log p}. \] Consequently $m(p)=(\log p)^{2+o(1)}$ as $p$ tends to infinity through the primes. The constant-factor order of $m(p)$ remains undetermined.
Log-concavity and unimodality of cluster monomials in fan coordinates of type $A_n$
We prove that every cluster monomial of type $A_n$ is log-concave and unimodal with respect to its Laurent expansion in a fan initial cluster. We derive a coefficient formula for laminar interval products arising from compatible diagonals in the polygon model. In even rank, we reduce log-concavity in fan coordinates to log-concavity along integer lines. In odd rank, we use convolution to handle the coefficient sums arising from the fan substitution. This gives partial affirmative answers to the log-concavity conjecture of Chen-Huang-Sun and the unimodality conjecture of Chen. Our result also complements Shen's study on the supports of products of canonical basis elements for cluster X-varieties of type $A_n$.
On graphs whose powers are well-covered
In this paper, we investigate graphs with the property that all of their powers are well-covered. We obtain complete classifications for several graph classes, including chordal graphs, cochordal graphs, and very well-covered graphs.
Vertex crossings in a symmetric Markov multinomial model
We observe a ball bouncing down a Galton board with any number of directions. At each peg it either keeps its direction with some fixed probability or randomly turns to one of the other directions. Its bin measures how often it went each way, a point of a simplex. When the ball rarely turns, the most likely bins are the corners, which only a ball that never turns can reach. We ask when the best bin of each face of the simplex becomes as likely as a corner. To first order every face catches up at the same moment. We break this tie at second order, with an explicit constant for each face. Hence on a long board, as the expected number of turns grows to any fixed multiple of the length's logarithm, the most likely bin jumps once, from the corners straight to the center. A nonuniform start or a weak external field changes the constants, potentially allowing an intermediate face to win.
Optimal bound for the polynomial Littlewood-Offord problem
We present an exposition of an argument, discovered by GPT-6 Pro, that gives an optimal bound for the polynomial Littlewood-Offord problem. Namely, let $F$ be a degree-$d$ multilinear polynomial that contains $r$ degree-$d$ monomials involving disjoint sets of variables. Then, for i.i.d. Rademacher random variables $ξ_1, \ldots, ξ_n$, we have $\mathbb{P}[F(ξ_1, \ldots, ξ_n) = 0] = O_d(r^{-1/2})$. This improves upon the previous bound of $(\log r)^{O_d(1)} r^{-1/2}$ due to Meka, O. Nguyen, and Vu, and resolves a conjecture attributed to H. Nguyen and Vu. The key part of the proof is an estimate for the total influence of bounded-degree rational functions, which resolves a recent conjecture of Kothari, Kovacs-Deak, Wang, and Yang.
On the maximum degree and order of $K_t$-minor-free graphs with positive Lin--Lu--Yau curvature
Motivated by recent results on the order of connected graphs with positive Lin--Lu--Yau Ricci curvature under forbidden minor or forbidden subgraph conditions and minimum degree assumptions, we prove that, for every integer $t\ge 5$, every connected graph $G$ with no $K_t$ minor, minimum degree at least $t-1$ and positive Lin--Lu--Yau Ricci curvature on every edge satisfies \[ Δ(G)=O(t^5\log^{3/2}t) \quad\text{and}\quad |V(G)|<2tΔ(G)^6=O(t^{31}\log^9 t). \] The minimum degree condition $t-1$ is best possible. Moreover, the bound on the maximum degree $Δ(G)$ extends to locally finite graphs and, consequently, every connected locally finite graph satisfying these conditions is finite.
A proof of the Berkovich-Dhar conjecture modulo three
Let $P_n(q)=\prod_{j=1}^n(1-q^{3j-2})(1-q^{3j-1})$. For each $p\in\{4,5,6,7,8\}$, we prove that the coefficients of $P_n(q)^p$ in residue class $0$ modulo $3$ are nonnegative, and that those in residue class $2$, after zero terms are omitted, change sign exactly once, from positive to negative. The residue-$0$ coefficients are in fact strictly positive for $5\le p\le8$. This proves Conjecture 2.1 of Berkovich and Dhar in full. We further determine the limiting transition constants and a four-term asymptotic expansion for the transition centres. For $n\ge301$, the signs in residue class $2$ are determined outside an interval of length $2\varepsilon_p/n^2$ centred at $α_p n^2+β_p n+γ_p+δ_p/n$, where $\varepsilon_4=1500$ and $\varepsilon_p=150$ for $5\le p\le8$, and all constants admit explicit analytic definitions. The proof combines a corrected saddle relation, higher-order expansions resolving cancellation between the two dominant saddle contributions, and a rescaled positive-integral argument that uniformly controls the small-degree range.
Posh Parking Spaces
Let $W$ be an irreducible complex reflection group with reflection representation $V$. A $W$-stable, faithful homogeneous system of parameters $Θ\subseteq \mathrm{Sym}(V^*)$ of common positive degree $p$ is called a posh hsop; $Θ$ carries a $W$-representation $U$ if $Θ\simeq U$ as ungraded $W$-modules. We classify the posh pairs $(p,U)$ for which a posh hsop of degree $p$ carrying $U$ exists. Every such $U$ is a Galois twist of $V^*$. Extending work of Ito and Okada, we deduce that the quotient $S/(Θ)$ is a permutation module for $W$ if and only if $U \simeq V^*$.
Extremal subspace covers in finite vector spaces
Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb F_q$, where $n\ge 2$. It is classical that $q+1$ proper subspaces are necessary and sufficient to cover $V$. We study extremal refinements of this covering theorem. For $1\le m\le q+1$, we determine the maximum possible size of the union of $m$ proper subspaces of $V$, proving that $$ \max_{W_1,\ldots,W_m<V} \left|W_1\cup\cdots\cup W_m\right| = q^{n-2}\bigl(1+m(q-1)\bigr). $$ We also classify all equality cases: for $m\ge 2$, equality holds precisely when the subspaces are distinct hyperplanes containing a common codimension-two subspace. As consequences, we obtain a structural classification of minimum covers of $V$ by proper subspaces and a sharp defect estimate for unions of $q$ proper subspaces. We then introduce basis-blocking families, namely families of proper subspaces whose union meets every basis of $V$. We prove that the minimum size of such a family is $q$ and classify all extremal families of this size. Finally, we establish the affine analogue and give an elementary recognition criterion for extremal families. Together, these results provide a unified extremal-combinatorial description of coverings of finite vector spaces by proper subspaces.
Tree packing and the graphic Additive Base Conjecture
Tutte's flow conjectures ask when a graph has a nowhere-zero flow with small integer values. We approach these questions through spanning-tree packing and an analytic minimization argument of Alon, Bucić, and Davies. For every integer $q\ge2$, we prove that $q$ edge-disjoint spanning trees suffice to realize every compatible outdegree prescription modulo $q$. For odd prime moduli this proves the graphic Additive Base Conjecture. More generally, integer intervals of edge values realize every prescribed boundary when their widths satisfy the corresponding tree-packing inequalities. We strengthen this condition by allowing a deficit of two in every partition inequality, provided every cut has total width at least $q-1$. The allowance of two is sharp for $q\ge3$. Consequently, five-edge-connected graphs with at most ten odd-degree vertices are $\mathbb Z_3$-connected, and three-edge-connected graphs with at most fourteen odd-degree vertices are $\mathbb Z_5$-connected. Every orientation of a nine-edge-connected graph with at most fourteen odd-degree vertices admits an antisymmetric $\mathbb Z_5$-flow. The refinement also gives sharp bounds for extending preorientations after deleting edges or vertices, including the boundary case of $2q$-edge-connectivity. The same argument recovers Seymour's six-flow theorem, the three-flow theorem for six-edge-connected graphs, and the four-flow theorem for graphs with two edge-disjoint spanning trees. It also gives sharp circular-flow bounds and a cycle-rank bound strictly below six. We examine a five-flow reformulation obtained by tripling the edges of cubic graphs. A $46$-vertex graph of fractional packing number $41/9$ with no modulo-five orientation shows that packing greater than $9/2$ alone does not guarantee such an orientation in arbitrary graphs.
Theoretical Analysis of DomiRank Centrality: Automorphism, Entropy, and Graph Transformations
DomiRank is a node-importance algorithm for unweighted networks, defined by a dynamical-system model whose steady state is governed by a competition-strength parameter, a dominance threshold, and a natural decay rate. We study its intrinsic relations with graph automorphism: vertices mapped to each other by an automorphism share the same DomiRank value, and a graph whose DomiRank values are pairwise distinct must be asymmetric; we derive DomiRank properties of regular and vertex-transitive graphs and bound the number of orbits by that of distinct DomiRank values. For DomiRank entropy, the maximum over connected graphs is attained only by regular graphs, and under sufficient conditions (rigorously in the low-competition regime) the entropy decreases monotonically with the competition parameter, a behavior observed on all tested networks and conjectured to hold generally; tuning sigma shifts the identification from important to dominant key nodes. We also study how graph transformations (vertex similarity, vertex partitions, edge swaps, m-products) affect the DomiRank vector, and characterize analytically the sensitivity and limiting behavior of sigma: the normalized DomiRank distribution is sigma-invariant iff the degree vector is an eigenvector of the adjacency matrix, and sigma interpolates continuously between degree and least-eigenvector centrality; experiments on four real networks confirm these results. These results position DomiRank as a tunable complement to principal-eigenvector centrality, with distinctive behavior under strong competition and new tools for node-importance evaluation. Because the parameterization by sigma is a structural property of the measure, not a guarantee of advantage on a downstream task, we also relate these results to the companion null-model study of how much of DomiRank's task-level edge over a degree baseline survives an explicit degree correction.
Density regularity of $\{x,x+y,xy\}$ in the integers
Fix $k,s\in\mathbb{N}$. We prove that there exists a subadditive density on $\mathbb{N}$ such that, for every polynomial $P\in\mathbb{Z}[y]$ of degree $k$ and with $P(0)=0$, every set of positive density contains configurations $\{x,x+P(y),xy^s\}$ for arbitrarily large $x>y\geq 2$. This provides a density strengthening of Moreira's result on partition regularity for $\{x,x+y,xy\}$.
A Szemerédi-Trotter Theorem in Arbitrary Fields
Let $k$ be a field of characteristic $p\ge0$. We prove that $m$ points and $n$ lines in $k^2$ determine at most $3(mn)^{2/3}+m+n+2mn/p$ incidences, the last term being omitted in characteristic zero. Over the prime field $\mathbb{F}_p$ the coefficient of $mn/p$ can be replaced by $1$. The proof uses the polynomial method, and for $m=n$ the bound is sharp up to an absolute constant over prime fields. As applications, over prime fields in which $-1$ is not a square we obtain the $L^2\to L^r$ extension estimate for the paraboloid in $\mathbb{F}_p^3$ for $r>10/3$. Over every odd prime field, we show that a two-source extractor construction of Bourgain has exponentially small error at every min-entropy rate greater than $1/3$. We also improve sum-product estimates for small sets in positive characteristic and obtain projection and Furstenberg estimates over prime fields. The incidence inequalities with exact constants have been formalized in Lean.
Rainbow spanning configurations in uniformly coloured pseudorandom graphs
We prove a quantitative palette-transference principle for rainbow spanning configurations in uniformly edge-coloured pseudorandom graphs. The input to our transference principle is an embedding result of a spanning configuration in an appropriately bijumbled graph $H$ with sufficiently large minimum degree. The output of our transference principle is the asymptotically almost sure existence of a rainbow copy of the same configuration in a uniformly edge-coloured graph $G$ whose bijumbledness and minimum are comparable and sometimes coincide with those of $H$.
We then apply our transference principle in order to asymptotically almost surely obtain $K_k$-factors, including perfect matchings, Hamilton cycles, and a prescribed bounded-degree spanning tree in bijumbled graphs with appropriate parameters. In all of our results, the palette size exceeds the size of the target configuration by $\varepsilon n$, where $\varepsilon > 0$ is arbitrarily small yet fixed, and $n$ is the order of the configuration.
The Three-Dimensional Erdős Box Problem Has Exponent $11/4$
Let $z(n)$ be the maximum number of edges in a tripartite $3$-uniform hypergraph with $n$ vertices in each part and no copy of $K_{2,2,2}^{(3)}$ (a ``box''). Erdős (1964) proved that $z(n) = O(n^{11/4})$, whereas the best previous lower bound, due to Katz, Krop, and Maggioni (2002), was $Ω(n^{8/3})$. For each $q = 2^m$, we construct a box-free hypergraph with $q^4$ vertices in each part and $q^{11}$ edges, showing that $z(n) = Θ(n^{11/4})$. The construction uses the power map $τ(s) = s^{q^2-q+1}$ on $\F_{q^3}$, which sends the fibers of $s \mapsto τ(s+1) + τ(s)$ to pairwise skew affine lines over $\F_q$.
Rogers--Ramanujan identities from the geometry of $X^a=Y^b$
We prove the conjecture of Huang, Jiang, and Oblomkov (HJO) giving a geometric extension of the Rogers--Ramanujan and Andrews--Gordon identities for every torus-knot singularity $X^a=Y^b$ with coprime $1<a<b.$ For a prime power $q$, let $\mathcal{NC}_n^{a,b}(\mathbb F_q)$ denote the set of pairs of commuting nilpotent $n\times n$ matrices $(A,B)$ over $\mathbb F_q$ satisfying $A^a=B^b$. We establish the threefold equality between their normalized counts, the HJO $q$-series $Z_{a,b}$, and the explicit infinite product $P_{a,b}$: \[ \underbrace{\vphantom{\Bigg|} \prod_{m\geq1}(1-q^{-m}) \Biggl(\sum_{n=0}^{\infty} \frac{\lvert\mathcal{NC}_n^{a,b}(\mathbb F_q)\rvert} {\lvert\operatorname{GL}_n(\mathbb F_q)\rvert}\Biggr) }_{\text{point count}} = \underbrace{\vphantom{\Bigg|}Z_{a,b}(q^{-1}) }_{\text{\(q\)-series}} = \underbrace{\vphantom{\Bigg|}P_{a,b}(q^{-1}) }_{\text{infinite product}}. \] Our main result is a stronger finite identity: the rank $N$ HJO sum equals $(q;q)_N$ times the generating function for balanced cylindric partitions with entries bounded by $N$. Taking $N\to\infty$ yields the HJO conjecture. The proof combines the compositional rational shuffle theorem of Bergeron--Garsia--Leven--Xin and Mellit with a multiplicativity theorem for slope operators and a determinantal model for bounded cylindric partitions, linked by a common $q$-difference equation. The finite identity and the HJO conjecture have been formalized unconditionally in Lean by AxiomProver.