math.CO ↗ arXiv
5274 papers in this category
Short Proofs in Algebraic and Enumerative Combinatorics
We present several short proofs that resolve open problems from the algebraic and enumerative combinatorics literature. First, we consider the echelonmotion operator on modular lattices. We resolve a conjecture of Defant, Jiang, Marczinzik, Segovia, Speyer, Thomas, and Williams and, consequently, obtain a new algebraic bijective proof of a classical result of Dilworth. Second, we consider statistics on parking functions studied by Stanley and Yin and by Hopkins. We prove some conjectures of Hopkins. Third, we consider centralizers in the plactic monoid. We settle two conjectures of Sagan and Wilson.
All of these proofs were obtained autonomously by ChatGPT 5.4 Pro.
Targeting Clause Type Distributions: a Picklock for Random Satisfiability Problems
Optimization problems such as the NP-complete 3-SAT provide an important benchmark for the difficult task of finding ground-states in strongly correlated many-body systems with rugged energy landscapes. The study of random 3-SAT problems as Ising spin Hamiltonians in statistical physics has yielded major insights including the existence of a satisfiability phase transition, and the prediction of a critical parameter line of particularly hard instances. Yet, progress on solving those instances has been scarce for several decades. Here, introducing the Target-SAT (TSAT) algorithm, we roughly triple the tractable problem sizes in the hardest regime, with an even greater improvement in a vast range of neighboring regions. By leveraging statistical information hidden in the combinatorial constraints of the problem, TSAT is actively guided in its stochastic local search toward a target within the relevant parameter space. Our analysis also explains why established local search algorithms are limited to relatively small system sizes due to a vast low-energy trap. Furthermore, we characterize the aforementioned critical line in terms of a dominant additional complexity barrier, whose exponential scaling is quickly overcome by TSAT only in the surrounding parameter space. With TSAT, the lead in solving the hardest known random satisfiability problems returns to the realm of stochastic local search algorithms.
Spanning triangulations in random graphs
In 1991 Bollobás and Frieze found the threshold for the emergence of a spanning triangulation of a triangle in the binomial random graph, up to a logarithmic factor. In this paper, we find the threshold probability for the emergence of a spanning triangulation of a $k$-gon for any $3\leq k\leq n$, up to a constant factor.
Dual Affine Robinson-Schensted Correspondence
We introduce the dual affine Robinson-Schensted correspondence that gives a bijection between the extended affine symmetric group and tuples $(\bar{P},\bar{Q},λ,N)$, where $\bar{P}$ and $\bar{Q}$ are tabloids, $λ$ is a partition, and $N$ is an integer, subject to compatibility conditions. The construction generalizes Fomin's growth diagrams and Viennot's shadow lines for the classical Robinson-Schensted correspondence on the symmetric group, and is dual to the affine matrix ball construction as well as Shi's correspondence, in the sense that the $P$-tabloids are the same, and the $Q$-tabloids are related by affine evacuation. As a consequence, our construction also parametrizes Kazhdan-Lusztig cells in affine type $A$. We conjecture that the growth diagrams we construct admit a natural geometric realization in terms of relative positions of affine flags, similar to the interpretation given by Steinberg and van Leeuwen in the classical case.
Higher cosystoles of matroids
We define a matroid invariant called the three-cosystole that is related to higher notions of cogirth for weighted matroids, and we prove an optimal upper bound for it in the class of regular matroids of rank at most six. To accomplish this, we show that it is increasing under matroid extensions and then estimate it for each of the maximal simple regular matroids of rank at most six.
$p$-Adic Asymptotic Subalgebra Enumeration
We introduce the notion of $p$-adic asymptotics, or $p$-asymptotics, to the context of finite-index subgroup and subalgebra enumeration. For finitely generated groups and finite-dimensional algebras, we connect these asymptotics with the poles of their associated local zeta functions. Our two main results establish the smallest real pole for local zeta functions associated with residually nilpotent algebras, as well as its simplicity and residue whenever this algebra is graded. We thereby provide proof to parts of two conjectures raised by Rossmann and give a precise description of the $p$-asymptotic behaviour inside these algebras.
Box Progressions, Abelian Power-Free Morphisms and A Sieve Technique for the Template Method
Given balls and boxes both enumerated by the positive integers, we consider a sequential allocation of the balls into the boxes. We fix $\ell \ge 2$. Proceeding in increasing order of box labels, assign to each box the next $r$ smallest balls for some $ 1\leq r\leq\ell$. Given an integer $k\ge 3$, is there a natural number $N$ such that in any placement of $N$ balls into boxes, there exist $k$ balls whose labels and box labels each form a $k$-term arithmetic progression? We address this question by identifying abelian power-free fixed points of morphisms over a binary alphabet. We present sufficient conditions under which a morphism is abelian $k$-power-free. Our conditions extend Dekking's result over a binary alphabet and offer a weaker, yet more effective alternative to Carpi's. Combining Dekking's result with the template method of Currie and Rampersad, we develop a sieve technique that significantly reduces the number of parents that must be examined to establish abelian power-freeness. We then identify a binary morphism that is abelian 16-power free (but not abelian $15$-power free) with an abelian 14-power free fixed point, demonstrating the strength of our technique in verifying abelian power-freeness. Furthermore, we give a binary morphism which is not abelian power-free, yet has an abelian $5$-power free fixed point. These results offer novel examples of morphisms whose fixed points exhibit stronger abelian power-freeness than the corresponding morphisms.
A concise proof of cylindric Schur positivity
Cylindric Schur functions are a family of symmetric functions that generalize skew Schur functions. We give a short proof that skew cylindric Schur functions expand positively in terms of non-skew cylindric Schur functions. In particular, we show that the expansion coefficients are fusion coefficients.
Universal Cycles on Affine Lines
A universal cycle is a cyclic sequence in which each object of a combinatorial family appears exactly once as a contiguous window. While such cycles are well understood for many discrete structures and linear subspaces, the case of affine lines presents additional difficulties arising from parallelism.
We prove that universal cycles exist for affine lines in $\mathrm{AG}(n,q)$ for all $n \ge 2$ and all prime powers $q$. Our construction embeds the problem into $\mathrm{PG}(n,q)$, using points at infinity to encode directions, and proceeds via a decomposition into pairwise and triple configurations combined with a recursive lifting and gluing argument.
We further interpret the construction in the Grassmannian $G_q(2,n+1)$, where affine lines correspond to the outer shell of $2$-subspaces, thereby extending known constructions for Grassmannians. A Python implementation is provided as supplementary material.
A Fourier-Free Density-Increment Proof of Roth's Theorem
We give an elementary, Fourier-free proof of Roth's theorem. The proof follows Roth's original density-increment strategy, but replaces the usual Fourier-analytic step with a direct combinatorial argument involving averages over sub-progressions.
On extremal cross $t$-intersecting families with $t$-covering number conditions
Let $n$, $k$ and $t$ be positive integers, and let $\mathcal{F}$ be a collection of $k$-subsets of $[n]=\{1,2,\dots,n\}$. The $t$-covering number $τ_t(\mathcal{F})$ of $\mathcal{F}$ is defined as the minimum size of a set $T$ such that $|F\cap T|\geq t$ for all $F\in \mathcal{F}$. For positive integers $k_1$ and $k_2$, let $\mathcal{F}_i$ be a collection of $k_i$-subsets of $[n]$ for $i\in \{1,2\}$. The families $\mathcal{F}_1$ and $\mathcal{F}_2$ are said to be cross $t$-intersecting if $|F_1\cap F_2|\geq t$ for all $F_1\in\mathcal{F}_1$ and $F_2\in \mathcal{F}_2$. When $\mathcal{F}_1=\mathcal{F}_2$, $\mathcal{F}_1$ is called a $t$-intersecting family. In this paper, we first characterize the extremal structures of cross $t$-intersecting families $\mathcal{F}_1$ and $\mathcal{F}_2$ that maximize $|\mathcal{F}_1||\mathcal{F}_2|$ under the condition that $τ_t(\mathcal{F}_1)\geq t+1$ and $τ_t(\mathcal{F}_2)\geq t+1$. We then describe the maximal $t$-intersecting families with $t$-covering number $t+1$.
Equidistribution of mesh patterns of short length
We study the equidistribution of mesh patterns of length 2. We show that the number of equidistribution equivalence classes lies between 105 and 108, and conjecture that it is exactly 105. As a consequence, we obtain an upper bound of 49 Wilf-classes, improving the previously known bound of 56 due to Hilmarsson et al., and reducing the problem to three remaining conjectural equivalences (with the actual number conjectured to be 46).
Our approach combines bijective constructions, generating functions, recurrence relations, and structural symmetries. We establish several new equidistribution results, including four previously unknown distribution classes, connect numerous patterns to known distributions in the literature, and resolve seven open pattern-avoidance enumeration problems posed by Hilmarsson et al.
This work provides a near-complete classification of mesh patterns of length 2 and unifies several previously isolated results within a coherent framework.
A parallel wakeup problem and multi-room light switch strategies
The wakeup problem in distributed computing asks for a symmetric protocol that enables one of several processors to eventually guarantee that all (or, in a more general setting, enough) other processors have acted, using a shared register but no global clock. Dropping the symmetry requirement gives a well-known exercise often phrased in terms of prisoners entering, in an unknown sequence, a room equipped with a single binary switch, and using it to communicate. Kane and Kominers recently analysed a more general version of the latter with multiple parallel and indistinguishable rooms. We answer some open questions of Kane and Kominers regarding the minimum number of switch states needed for the prisoners to solve the problem. We also consider the symmetric ``wakeup'' version of this scenario, and establish exactly for which numbers of processors and registers a solution is possible.
On the disjunctive domination numbers of the torus grid graphs
Let $Γ=(V,E)$ be a graph. A disjunctive dominating set in $Γ$ is a set $S\subseteq V$ such that every vertex not in $S$ is adjacent to a vertex of $S$, or has at least two vertices in $S$ at distance $2$ from it.
The minimum cardinality of a disjunctive dominating set in $Γ$ is called the disjunctive domination number of $Γ$.
In this paper, we give bounds for the disjunctive domination numbers of the torus grid graphs $C_m\Box C_n$, and determine the disjunctive domination numbers of $C_3\Box C_n$ and $C_4\Box C_n$.
On hamiltonian cycles of 1-tough $(P_{2} \cup kP_{1})$-free graphs
Let $k$ be a positive integer. A graph is said to be $(P_2 \cup kP_1)$-free if it does not contain $P_2 \cup kP_1$ as an induced subgraph. Recently, Ota and the author asked whether every 1-tough and $k$-connected $(P_2 \cup kP_1)$-free graph is hamiltonian or the Petersen graph. Note that this problem is affirmative for $k \in \{1,2,3\}$ by the known results. In this paper, we show that for each integer $k \geq 4$, if $G$ is a $1$-tough and $(k-1)$-connected $(P_2 \cup kP_1)$-free graph with $|V(G)| \ge k^2+k+1$ and $δ(G) \ge k$, then $G$ is hamiltonian. This result implies that the above question is affirmative for large graphs.
Kleitman's theorem over vector spaces: parity phenomena in canonical and global stability
In 1966, Kleitman determined the maximum size of a family of subsets of $[n]$ with bounded symmetric difference. Liao, Liu and Yan recently established a vector-space analogue in the cases $n=d+1$ and $n>2d$, and asked for the sharp bound in the remaining range. We resolve this problem completely by proving the exact vector-space analogue of Kleitman's theorem for every $n\ge d+1$, and we also determine all extremal configurations.
We further develop a stability theory for the vector-space diameter problem. Unlike the Boolean cube, the lattice of subspaces has no translation symmetry, and this makes the stability theory substantially different from its classical counterpart. The geometry of subspace balls leads to two natural notions: canonical stability, which forbids containment only in the canonical extremal configurations, and global stability, which forbids containment in arbitrary balls or adjacent double balls of the corresponding radius. We determine sharp canonical stability in even diameter, sharp canonical and global stability in odd diameter, and prove a nontrivial general upper bound for global stability in even diameter. In particular, these two notions exhibit a sharp parity split: in odd diameter they collapse to the same problem, whereas in even diameter they lead to genuinely different extremal behavior.
Bounds on the closed-rich constant of infinite words
A finite word $w$ is called \textit{closed} if it has length at most 1 or it contains a proper factor that occurs both as a prefix and as a suffix but does not have internal occurrences in $w$. An infinite word $u$ is called \textit{closed-rich} if the infimum of all possible ratios between the number of closed factors within any factor $w$ of $u$ and square of the length of $w$ exists and is positive. We define this infimum as the closed-rich constant $C_u$ of the infinite closed-rich word $u$. Puzynina and Parshina (2024) proved that infinite closed-rich words exist.
In this paper, we study possible values of closed-rich constants of infinite closed-rich words. In particular, we estimate the supremum $C_{sup}$ of the closed-rich constants of infinite closed-rich words: we show that $C_{sup} \leq 0.165952$. Besides that, we study the closed-rich constant $C_f$ of the Fibonacci word $f$ and show that $ 0.09519 \leq C_f\leq 0.10893 $. In particular, this gives a lower bound for $C_{sup}$: $ 0.09519 \leq C_{sup}$.
Linear Algebraic Method and the Erdős-Heilbronn Conjecture
Additive combinatorics asks for lower bounds on sumsets and restricted sumsets over finite fields. Central examples are the Cauchy-Davenport theorem and the Erdős-Heilbronn conjecture. In this note, we develop Das's linear algebraic method and give a new elementary proof of the Alon-Nathanson-Ruzsa theorem for restricted sumsets, which implies the Erdős-Heilbronn conjecture. Compared with the classical polynomial method via Combinatorial Nullstellensatz, our proof uses only basic linear algebra over finite fields, including Vandermonde matrices and solvability of linear systems.
The Quantum Homomorphism Orders are Universal
Mančinska and Roberson introduced quantum graph homomorphisms as the existence of perfect quantum strategies for graph homomorphism games. The resulting relation is a quasi-order on finite graphs, and hence gives a partial order after quotienting by quantum homomorphic equivalence. We prove that the quantum homomorphism orders of both finite directed graphs and finite undirected graphs are universal: every countable partial order embeds into them. For directed graphs, the proof uses the classical universality of the homomorphism order on finite disjoint unions of clockwise directed cycles, together with the fact that quantum homomorphisms between such directed cycles coincide with classical homomorphisms. For undirected graphs we construct an explicit ordered undirected indicator whose terminal vertices are quantum endpoint-forcing. Replacing each directed edge by this indicator embeds the directed-cycle order into the quantum homomorphism order of finite undirected graphs.
Algebraic aspects of unconditional lattice polytopes
Unconditional polytopes are convex polytopes that are symmetric with respect to all coordinate hyperplanes and arise naturally from anti-blocking polytopes by reflection. This paper investigates algebraic relations between an anti-blocking lattice polytope and its associated unconditional lattice polytope. We prove that the toric ring of an anti-blocking lattice polytope is normal if and only if the toric ring of the associated unconditional lattice polytope is normal. We also show that the toric ideal of an anti-blocking lattice polytope is generated by quadratic binomials if and only if the same holds for the associated unconditional lattice polytope. As an application, we obtain a graph-theoretic characterization of quadratic generation of symmetric stable set ideals.