math.CO ↗ arXiv
7121 papers in this category
Avoidability of Digraphs with Height Functions and Orientations of $C_4$
A digraph $F$ is avoidable if, for every positive integer $k$, there exists an integer $d$ such that every digraph of minimum out-degree at least $d$ contains an $F$-free subdigraph of minimum out-degree at least $k$. We prove that no digraph admitting a height function is avoidable, where a height function increases by one along every arc. This answers a question of Christoph, Janzer, Petrova, and Steiner and, together with an additional avoidance argument, determines which orientations of $C_4$ are avoidable. Motivated by a further question of Christoph, Janzer, Petrova, and Steiner, we also study Eulerian avoidability, in which the host digraph is required to have equal in-degree and out-degree at every vertex. We show that no one-directed complete bipartite digraph with nonempty parts is Eulerian-avoidable. In contrast, the orientation of $C_4$ consisting of two directed paths of length two with common endpoints is Eulerian-avoidable. Consequently, the one-directed complete bipartite orientation is the only orientation of $C_4$ that is not Eulerian-avoidable, completing the classification of $C_4$-orientations.
A finite cover for coefficient positivity of stretched Littlewood-Richardson polynomials in the seven-row, size-thirty box
We give a finite cover argument for nonnegativity of the ordinary monomial coefficients of every stretched Littlewood-Richardson polynomial with partition lengths at most seven and outer size at most thirty. Explicit reductions leave 358,952 residual triples. The computational part consists of exact finite enumeration, local reduction checks and rational Ehrhart polynomial computations. Its three named dependencies are stated precisely below, separately from the mathematical implication they establish.
Subtree Counts and the Maximum Mean Subtree Order
For a finite simple graph $G$ of positive order, let $s_k(G)$ be the number of its $k$-vertex tree subgraphs. We prove that, among graphs of a fixed order $n$, the ratios $s_k(G)/s_k(K_n)$ form a nonincreasing sequence in $k$. It follows that the complete graph maximizes the mean subtree order: $μ(G)\leqμ(K_n)$, with equality if and only if $G$ is complete. This monotonicity theorem also establishes the $s_{n-1}$-to-$s_n$ ratio conjecture posed in recent work on extremal mean subtree order. The proof lifts a known coupling of rooted Cayley-tree shapes of consecutive orders to uniform labeled tree subgraphs of $K_n$ that are nested at every sample point. Event inclusion gives the count inequalities, and a double-sum identity gives the mean bound.
The Colomo-Pronko conjecture for frozen-corner alternating sign matrices
We prove the Colomo-Pronko conjecture for alternating sign matrices with a prescribed square of zeros at a corner, for all matrix sizes and freezing parameters. A known multiple-integral formula for the frozen-corner count yields determinant representations built from fixed polynomial kernels. We relate these kernels to the conjectured determinant through an inverse identity for the commutator of a signed Pascal matrix with reversal. In odd dimension, the comparison uses the one-dimensional nullspace and projection along it to eliminate the central coordinate. Combined with the asymptotic analysis of Colomo and Pronko, our result removes the conjectural assumption from their GUE Tracy-Widom fluctuation theorem for the intersection of the frozen boundary with the main diagonal in uniformly random alternating sign matrices. The finite-dimensional algebraic core of the proof has been formalized in Lean 4.
Finite identity bases for flat semirings of linear words
For a set $W$ of nonempty words, let $S(W)$ be the flat semiring formed by the nonempty factors of words in $W$, together with an absorbing zero. We prove that $S(W)$ has a finite identity basis whenever every word in $W$ is linear, with no restriction on the size of $W$ or on the lengths of its words. In the bounded case its variety is generated by the interval semiring $A_m\cong S(a_1\cdots a_m)$, where $m$ is the maximum word length and the letters $a_i$ are distinct. In the unbounded case its variety is generated by the interval semiring on all finite intervals of the nonnegative integers. We give explicit finite bases in both cases. The proofs encode nonzero polynomial evaluations by endpoint graphs and derive the required graph identifications using finitely many splicing identities. In particular, the eleven-element semiring $S(abcd)$ is finitely based, providing a counterexample to the length-bound conjectures for $S(W)$ proposed by Gao, Ren and Zhao.
Poisson laws and exterior stability for random alternating tensors
For fixed $k\ge3$, we determine the critical law of totally isotropic $r$-spaces for a uniform random map $Θ_N:Λ^k\mathbb {F}_q^N\to\mathbb {F}_q^m$. At the exact balance $m\binom rk=r(N-r)$, the entire null configuration is asymptotically an independent Bernoulli subset of $\operatorname{Gr}(r,\mathbb {F}_q^N)$ in total variation, uniformly in $q$ and $m$. Consequently, the counting measure $Ξ_r$ is asymptotically a Poisson point process, and its total mass $X_{N,r}$ is asymptotically Poisson. An exterior-rank stability theorem shows that near-extremal families decompose into Grassmann clusters with uniformly controlled span deficiency. We obtain quantitative rates and identify the first exterior-dependence scale. We also show that rare null $(r+1)$-spaces force high-order factorial-moment divergence, while the fixed-target bilinear cases $m=1,2$ exhibit non-Poisson critical behavior.
Tuza's Ryser-conjecture claim for four-partite hypergraphs with matching number two
We prove that every $4$-partite $4$-uniform hypergraph $H$ with matching number $ν(H)=2$ satisfies $τ(H)\le 6$, where $τ$ denotes the vertex-cover number. This confirms a claim made by Tuza in his 1979 manuscript but never published with a proof, and closes the case $(r,ν)=(4,2)$ of Ryser's conjecture. The best previous bound was $τ\le 7$, an integrality consequence of the theorem of Haxell and Scott (2012). The proof uses Gyárfás's intersecting-case theorem ($τ\le 3$ for intersecting $4$-partite $4$-uniform families), a short projection lemma (four base-disjoint edges in an intersecting family force a two-element cover), and Kőnig's matching theorem.
Surjectivity of Finite Rank-Capped Enots-Wolley Sequences
For each fixed integer $K\ge2$, we consider the Enots--Wolley sequence in which every term after the initial $1,2$ is required to have between two and $K$ distinct prime divisors. We prove that every integer satisfying this restriction occurs. If an exact prime support $T$ were selected only finitely often, then after a finite cutoff the terms meeting $T$ would form short episodes, and every full term would force an earlier proper term at comparable numerical height. The case $|T|=K$ is then ruled out directly. In the remaining case $|T|<K$, at a record proper value $H$, greediness forces every unblocked rank-$K$ integer below $H$ containing exactly one prime of $T$ to have occurred earlier. Fixed-order Landau estimates show that this proper population has order $H(\log\log H)^{K-2}/\log H$, while the entire possible full population on the same scale has strictly smaller logarithmic order. This contradiction proves surjectivity. The theorem concerns each fixed rank cap and does not settle surjectivity of the unrestricted Enots--Wolley sequence.
A law of large numbers for Macdonald coherent measures
We resolve a conjecture on the law of large numbers for coherent measures on Young diagrams associated with Macdonald-nonnegative specializations of the algebra of symmetric functions for all $0\le q,t<1$. We prove that row and column lengths divided by the diagram size converge to the corresponding specialization parameters. The proof combines a monomial estimate for skew Macdonald polynomials with exponential tilting and binomial decompositions obtained from the branching rule for the polynomials.
Torus knots as loop-edges in three-sphere triangulations
We present a procedure that, given a pair of coprime integers, produces a one-vertex triangulation of the three-sphere containing the corresponding torus knot as an edge. The construction is canonical, and produces a three-sphere triangulation from a pair of minimal layered triangulations of the solid torus.
The size of the triangulation is, in the worst case, linear, but can be as small as logarithmic in the crossing number of the knot, motivating this triangulation size as an organising principle for knots, alternative to the crossing number.
Gallai Decomposition of Ordered Groups: Subgroups, Quotients, and the $N$-free Case
We study Gallai decomposition for groups equipped with two-sided invariant partial orders. The key algebraic step extends to arbitrary binary relations compatible with the group operation: if all left and right translations preserve a binary relation $ρ$, then every least strong module $S_ρ(\e,g)$, $g\ne\e$, is a subgroup. For a partial order this subgroup is convex. Thus the robust modules through the identity of an ordered group form a canonical chain of convex subgroups, with each canonical factor $H/H^-$ prime, totally ordered, or equality-ordered. We characterize exactly the subgroups that are modules, show that they form a complete sublattice of the subgroup lattice, establish overlap and inheritance results for arbitrary subgroups, and prove compatibility with quotients by normal strong subgroups.
For $N$-free ordered groups the prime factors disappear. Using the robust-module decomposition of cographs, we characterize all two-sided invariant $N$-free partial orders by reduced admissible two-coloured subgroup chains, with totally ordered and equality-ordered canonical factors; the order is determined by the first nontrivial factor of each element. We also determine how the canonical decomposition restricts to arbitrary subgroups, characterize finite width and prove width divisibility for subgroups, and show that every reduced two-coloured chain is realized by an $N$-free ordered abelian group whose canonical factors are isomorphic to $\mathbb Z$.
Recursive-Line Zarankiewicz Numbers with Four Columns
The recursive-line Zarankiewicz number maximizes the number of squares in a structured irreducible sum-of-squares representation encoded by an augmentation of an extremal $C_4$-free bipartite graph. We determine its four-column behavior under the strengthened recursive definition in the manuscript of Löfberg and Qi dated 9 September 2026. Combining AI-assisted discovery with exact certificate verification and finite exclusion computations, we determine eighteen of the nineteen values for $2\le m\le20$ and isolate the only unresolved case to $37\le\zr(14,4)\le38$. More significantly, we prove the first eventual exact formula in the four-column setting: \[ \zr(m,4)=\floor{\frac{5m+6}{2}}\qquad(m\ge15). \] The upper bound follows from the classical identity $z(m,4)=m+6$ and a sharp cell count. For the matching lower bound, we construct a two-row extension chain from an explicit $20\times4$ seed and derive the odd orders by a fixed deletion. Analytic propagation, together with two independently audited symbolic certificate tables, proves the construction for arbitrary chain length rather than merely for a finite computational range. Thus every extremal configuration has no holes when $m$ is even and exactly one hole when $m$ is odd, and the same exact formula holds for the second-order number $z_2(m,4)$.
A Proof of Albertson's Conjecture
Albertson conjectured that every graph of chromatic number r has crossing number at least that of K_r. We prove the conjecture for every r. After the known case r <= 18, an r-critical counterexample is reduced to two order ranges. Near r, we use Gallai's decomposition, completion, and a reserved weak-immersion routing argument. In the remaining middle range, we compress repeated independent-triple reductions into an exact terminal edge bound and combine it with sampled crossing-number inequalities. The remaining finite and interval inequalities are verified by exact certificates.
Chern flow and Chern moment algebras
We construct realizable-volume models over every field for the factorial normalizations of homogeneous Lascoux, Lascoux-atom, and positive Grothendieck packets, including their minimal homogenizations and layers. In particular, the construction realizes the factorial normalizations of all Schubert and key polynomials and of the minimal sign-corrected homogeneous Grothendieck polynomials. The normalized polynomials are Lorentzian, and the ordinary supports are the lattice points of integral generalized polymatroids. On a Bott--Samelson tower, row and co-row filtrations assemble the local factors into globally generated bundles; a creation-state graph absorbs the remaining kernel factors by Chern flow.
We also construct intrinsic algebras of joint Chern moments. Positive inverse-Chern presentations give these algebras Hard Lefschetz and Hodge--Riemann relations, and supply source-level Hodge completions of the packets. For globally generated tropical toric bundles in the sense of Kaveh--Manon, finite generating witnesses and matroid duality provide the presentations required by Larson--Partida's theorem, without representability. These constructions yield joint Chern-number inequalities, nonvanishing polymatroids, and equality criteria.
Second Order Zarankiewicz Number
We introduce the \emph{second order Zarankiewicz number} $z_2(m,n)$ for irreducible doubly simple biquadratic forms with $|E_1|=z(m,n)$, together with the intermediate recursive-line and signed parameters $z_{RL}(m,n)$ and $z_{SL}(m,n)$. They satisfy the unconditional hierarchy \[ \operatorname{BSR}(m,n) \ge z_2(m,n) \ge z_{SL}(m,n) \ge z_{RL}(m,n) \ge z_{wL}(m,n) \ge z(m,n), \] where $z_{RL}$ is defined by the strengthened recursive rectangle criterion $(RW3^+)$ together with the conditions $(S)$ and $C_4$-freeness of $G_1$, and $z_{SL}$ is defined by the signed criterion $(RW3^\pm)$. We show that $(RW3^+)$ is sound and strictly weaker than the literal weak cross-cell test $(W3)$ on the weak-admissible class, and that $(RW3^\pm)$ is likewise sound. At the smallest four-column cases we obtain \[ z_2(5,4)=z_{SL}(5,4)=z_{RL}(5,4)=13>12=z_{wL}(5,4), \] and \[ z_2(6,4)=z_{SL}(6,4)=z_{RL}(6,4)=16>14=z_{wL}(6,4). \] In three columns this yields \[ z_2(m,3)=z_{RL}(m,3)=2m \qquad \text{for all } m\ge 3, \] with strict separation from $z_{wL}(m,3)$ for every $m\ge10$, and exact gap $\lfloor(m-3)/3\rfloor$ for $m\ge16$. Further finite computations give $z_{RL}(5,5)=17$, $z_{RL}(7,4)=19$, and $z_{RL}(7,7)\ge32>28=z_{wL}(7,7)$. Along $N=2p$ with $p$ an odd prime, we obtain the cubic asymptotic separation \[ z_2\!\left(\binom{N}{2},N\right)-z_{wL}\!\left(\binom{N}{2},N\right)\ge \left(\frac{1}{16}-o(1)\right)N^3. \] For the exceptional incidence case $p=3$ we prove $z_{SL}(15,6)=z_2(15,6)=60$. Concurrent work of Chen and Chen, using the recursive-line definition introduced here, incorporates the finite recursive-line values of this manuscript and establishes further exact four-column values together with an eventual formula for all $m\ge15$. The conjectural equality $z_2=z_{RL}$ is supported by the exact two-column, three-column, four-column, and odd-prime incidence families.
Equilateral Completion in Floretion Triangular Coordinates: Locality, Product Points, and Reflection Symmetry
We study unordered triples of order-$n$ floretion base vectors whose tile centroids form nondegenerate equilateral triangles. A scaled integer centroid map turns Euclidean completion into exact arithmetic on a triangular lattice, and a residue obstruction modulo $3$ shows that every equilateral centroid triangle uses three tiles of one orientation. Combined with finite triangular-lattice completion counts, this gives $|E_n|=4^n(4^n-1)/12$. For synchronized local $γ$-cycles, $|L_n|=(7^n-4^n)/3$ and $|L_n|/|E_n|\sim4(7/16)^n$, while on the no-$e$ support $S_n=\{i,j,k\}^n$ locality is exhaustive and $|E_n^S|=|L_n^S|=(2^n-1)3^{n-1}$. The union of the three main axes supports exactly $|E_n^{\rm ax}|=4^{n-1}+2^n-2$ equilateral triangles, split into the branches $x=y=z$ and $x+y+z=0$. For $T\in E_n$, the unsigned vertex product defines a product point $C_T$; a digitwise parity criterion characterizes $C_T=Q_T$ on local cycles and yields Fibonacci subfamilies. Multiplication-generation is equivalent to $p(T)=e_n$, hence $C_T=0$; locally this gives exactly the nontrivial global $γ$-orbits, and exact enumeration through order $6$ finds no nonlocal example. Retaining the signs discarded by the unsigned product gives a second classifier: a triangle has scalar vertex-sum square exactly when its three vertices pairwise anticommute. For local cycles this occurs exactly when $|S|$ is odd, giving $|\mathrm{AC}_n\cap L_n|=(7^n-1)/6$, while nonlocal pairwise-anticommuting examples already occur in order $3$.
The Cycle Rank Threshold: Perfect Matchings and Bipartite Parter Graphs
A graph on \(n\) vertices is called a Parter graph if there exists a nonsingular symmetric matrix, whose nonzero off-diagonal entries correspond exactly to the edges of the graph, such that all of its principal submatrices of order \(n-1\) are singular. Previously, a graph satisfying this condition was said to have property~(P). It was proved that, for bipartite graphs of cycle rank at most \(3\), being a Parter graph is equivalent to the existence of a perfect matching. We extend this result to cycle rank \(4\), proving that every bipartite graph of cycle rank at most \(4\) is a Parter graph if and only if it has a perfect matching. Furthermore, we show that this bound is sharp by constructing, for every integer \(r\ge5\), a connected balanced bipartite Parter graph of cycle rank \(r\) that has no perfect matching.
Maximizing Algebraic Connectivity with $2(n-2)$ Edges: The Large Vertex Number Case
Kolokolnikov conjectured that, among all simple graphs on \(n\) vertices with exactly \(2(n-2)\) edges, the complete bipartite graph maximizes algebraic connectivity. This paper proves the conjecture. The underlying Lean~4 formalization was generated with MerLean and checked by the Lean kernel.
Higher rank Gelfand-Kapranov-Zelevinsky fans
We define and study the higher rank GKZ-fans of point configurations, serving as the set of discrete and homogeneous quasi-valuations on the homogeneous coordinate ring of the associated toric variety, where the rank one cases coincide with the usual GKZ-fans. Such a quasi-valuation is then used to degenerate the toric variety flatly to a reduced union of toric varieties, which encodes the polytopal subdivision arising from the point in the higher rank GKZ-fan.
Two-color Ramsey lower bounds for bounded degree hypergraphs
We consider Ramsey numbers of bounded-degree uniform hypergraphs. In particular, we prove that for every $k\ge3$, there exists a constant $c_k>0$ such that, for all sufficiently large $Δ$ and every $n\ge2^Δ$, there is a $k$-uniform $n$-vertex hypergraph $H$ with maximum degree at most $Δ$ satisfying \[
r(H)\ge \tw_{k-1}\!\bigl(c_kΔ\log\logΔ\bigr)\,n. \] Here $\tw_j$ denotes the tower function of height $j$. This constitutes the first progress towards a problem posed by Conlon, Fox and Sudakov.