arXiv++ Combinatorics

The length function $\ell_2(r,R)$ is the smallest length of a binary linear code with codimension (redundancy) $r$ and covering radius $R$. Let $s_2(N,ρ)$ be the smallest size of a $ρ$-saturating set in the projective space $\mathrm{PG}(N,2)$. It is known that $\ell_2(r,R)=s_2(r-1,R-1)$. We obtain the following new upper bounds on $\ell_2(r,2)$, which yield a decrease $Δ(r,2)$ compared to the best previously known upper bounds: $r=2t,r=10,18,20$ and $r\ge28,\ell_2(r,2)=s_2(r-1,1)\le51\cdot2^{r/2-5}-1;Δ(r,2)=2^{r/2-5}$. To obtain these bounds, we construct a new infinite code family, using distinct versions of the $q^m$-concatenating constructions of covering codes; some of these versions are proposed in this paper. We also obtain new useful partitions of column sets of parity check matrices of some codes. The asymptotic covering density $\overlineμ(2)\le1.27002$, provided by the codes of the new family, is smaller than previously known one and gives rise to the new upper bound $f(2)\le1.27002$ on the constant $f(2)$ of the Green's Open Problem 40.

We prove that for all $Δ\geq 2$ and $γ> 0$, there exists a constant $C = C(Δ, γ)$ such that for $p\geq C(\log n/n)^{1/Δ}$, asymptotically almost surely, every spanning subgraph $G$ of $G(n,p)$ with minimum degree at least $(1-1/(2Δ)+γ)pn$ contains every $n$-vertex graph $H$ with maximum degree at most $Δ$ and with at least $Cp^{-2}$ vertices not in any triangles of $H$. This is a 'sparse local resilience version' of a classical theorem of Sauer and Spencer. The condition that $H$ should contain some vertices not in triangles is necessary, and in fact, the quantity $p^{-2}$ is asymptotically best possible. A key feature of our result is that $H$ is allowed to be an expander graph, distinguishing it from previous results of similar nature, which dealt with, e.g., graphs of sublinear bandwidth. Our proof makes use of regularity arguments, with the sparse blow-up lemma for random graphs being a key tool.

Inspect the vertices of a finite simple graph in uniformly random order, accepting each vertex if none of its neighbors has previously been accepted. Let $X_G$ be the number of accepted vertices. For every triangle-free graph with $n\ge2$ vertices and $e$ edges, we prove $\operatorname{Var}(X_G)\le e((n-2)/n)^2$, with equality precisely for edgeless graphs and connected stars. In particular, among trees of a given order, the star uniquely maximizes the variance, with value $(n-1)(n-2)^2/n^2$. Known expected vertex-deletion stability already yields the elementary baseline $\operatorname{Var}(X_G)\le e$. We obtain the sharp finite-order refinement by combining a stronger centered first-choice estimate with a triangle-free edge-count identity in the law of total variance.

Fox's conjecture famously asserts that the absolute values of the coefficients of the Alexander polynomial of alternating links are trapezoidal. In the setting of MOY graphs, where a different notion of Alexander polynomial appears, the equivalent result to Fox's conjecture is known to hold. In this paper, we relate the two polynomials in the case of special alternating links. More precisely, we show that their degrees, first, and last coefficient agree, and that the MOY polynomial coefficients always dominate the classical Alexander polynomial.

An equilateral set is a set of points in a metric space whose pairwise distances are all equal. Kusner conjectured that the maximum cardinality of an equilateral set in $\mathbb{R}^n$ with the $\ell_p$ metric is $n+1$ for every $1<p<\infty$. We disprove the conjecture for all $p>4$. In particular, for every such $p$, we define $m=m(p)$ and construct an equilateral set of $8m$ points in $\mathbb{R}^{8m-2}$. Previously, Swanepoel disproved the conjecture for $1<p<2$, while Ge, Xu, and Zhou showed that it holds for $2\le p\le 4$. Combining these prior results with the paper's main theorem resolves Kusner's conjecture for all $1<p<\infty$.

In this paper, we introduce and study conformal permutation matrices. In particular, for a permutation $π_s\in S_n$, we define the corresponding conformal permutation matrix $H_{π_s}$ and show that its $d-$th power, where $d=n/\gcd(s,n)$, is a diagonal block matrix whose blocks are products of certain matrix blocks $h_i$. We further show that these diagonal blocks share a common subset of eigenvalues and prove that $H_{π_s}$ is block-diagonalizable. We also introduce the notion of conformal circulant matrix and investigate its eigenvalues. Finally, we establish a necessary and sufficient condition for a rectangular matrix to be conformal circulant.

We prove a dimension-free comparison between the expectation threshold $q(\mathcal F)$ and the fractional expectation threshold $q_f(\mathcal F)$ for any nontrivial increasing family $\mathcal F$ on a finite ground set. Specifically, we show that there is a universal constant $K>0$ such that \[ q_f(\mathcal F)\le Kq(\mathcal F)\max\{1,\log\log(1/q(\mathcal F))\}. \] Combining this comparison with a recent result of Li [arXiv:2609.08967] on the fractional version of Talagrand's discrete Convexity Conjecture, we obtain a dimension-independent bound toward the conjecture.

Finite-dimensional zigzag modules decompose into interval modules. For an ordinary persistence module, every fully supported interval submodule of a restriction splits as a direct summand, whereas this need not hold for a zigzag module. We study this failure of splitting. A breaker pair is a local configuration of two overlapping interval summands with a backward arrow at the left boundary of the second interval and a forward arrow at the right boundary of the first. A single breaker pair gives a local nonsplitting interval submodule, but it need not control a prescribed larger restriction. We therefore introduce breaker chains. Our main result shows that a restriction $V[p,q]$ contains a nonsplitting submodule isomorphic to $I[p,q]$ if and only if its interval decomposition contains a breaker chain spanning $[p,q]$. Equivalently, the proper interval summands $J$ for which $\operatorname{Hom}(I[p,q],J)\ne0$ have supports covering $[p,q]$. This cover formulation gives a constructive description of nonsplitting embeddings, a trichotomy for their splitting behavior, and an $O(m\log m)$ algorithm from an oriented barcode with $m$ intervals.

An oriented graph $H$ is said to be tournament anti-Sidorenko (TAS) if a uniformly random tournament asymptotically maximizes the homomorphism density of $H$ among all tournaments. For an oriented path $P$, a direction flip is a non-leaf source or sink. Sah, Sawhney and Zhao proved that consistently directed paths (paths with no direction flips) are TAS. He, Mani, Nie, Tung and Wei proved that for $3\le k\le 7$, every oriented path of length $k$ with exactly one direction flip is TAS, and Chen, Clemen and Noel recently extended this to every $k\ge 3$. In this paper, we extend these results by proving that for every integer $r\ge 0$, every oriented path of length at least $1665r+1454$ with $r$ direction flips is tournament anti-Sidorenko.

The infinitesimal Stoker conjecture states that an infinitesimal deformation of a convex polytope that preserves all dihedral angles also preserves all normal directions up to isometry. We give a short polyhedral proof, self-contained up to assuming spectral and geometric properties of the Izmestiev matrix.

We prove that the quantum monad in dimension $2n$ admits no natural transformation to the polymorphism clone of linear equations modulo $n$. Consequently, for every $n\geq 2$, there exists an unsatisfiable system of linear equations over $\mathbb{Z}_n$ whose constraint system game admits a perfect finite-dimensional quantum strategy. As a corollary, we completely characterise pseudo-telepathic constraint languages in finite dimension. The proof combines a result of Harding, Jager, and Smith on group-valued measures on subspaces of Hilbert spaces with the polymorphism-minion characterisation of quantum pseudo-telepathy.

Let $G$ be a countable locally finite abelian group, and let \[ G_1\leq G_2\leq\cdots, \qquad \bigcup_{i\geq1}G_i=G, \] be any filtration of $G$ by finite subgroups. For $A\subseteq G$, let $\mathcal P(A)$ denote the set of all finite subset sums of elements of $A$, and let $2G:=\{2g:g\in G\}$. We prove that $|2G|=\infty$ if and only if for every filtration and every interval $[α,β]\subseteq[0,1]$, there exists $A\subseteq G$ such that the set of limit points of \[ \left( \frac{|\mathcal P(A)\cap G_i|}{|G_i|} \right)_{i\geq1} \] is exactly $[α,β]$. We also prove a positive-density result that does not require $|2G|=\infty$: if $G$ is infinite and $\mathcal P(A)$ has positive upper density along the given filtration, then there is an infinite set $B\subseteq \mathcal P(A)$ such that $B+B\subseteq \mathcal P(A)$. Combining this with the realization theorem, we show that, when $|2G|=\infty$, every interval $[α,β]$ with $0\leqα\leqβ\leq1$ and $β>0$ can be realized by a set $A$ with this additional property.

Let $p$ be an odd prime, and write $A\RS B=\{a+b:a\in A,\ b\in B,\ a\ne b\}$. We classify all pairs $A,B\subseteq\Fp$ satisfying $|A|+|B|=p$, $|A|>|B|=\ell\ge1$, and $|A\RS B|=p-2$. After normalizing the two missing sums to $\{0,1\}$, we obtain exactly $\ell+1$ explicit models. The classification forces $B\subseteq A$ and yields, for fixed $p,\ell$, exactly $\binom p2(\ell+1)$ ordered pairs and $1+\lfloor\ell/2\rfloor$ equivalence classes under simultaneous affine transformations. We determine when either set is an arithmetic progression and compute exact difference-set cardinalities. For $\ell\ge3$ and $p\ge4\ell-5$, the cardinality $|B-B|$ determines the equivalence class at fixed $p,\ell$. The proof uses punctured translates and cyclic component counting. We also exhibit a critical pair in $\mathbb F_{13}$, with size gap three and $|A|+|B|=p-2$, that contradicts a proposed inverse statement below the boundary.

Godsil and McKay (1978) showed that the rooted product is a powerful tool for constructing non-isomorphic cospectral pairs of graphs. Despite lacking a convenient tensor product structure, we show that the rooted product is useful for constructing graphs with good quantum state transfer properties. In particular, we prove a simple transference principle: if a graph $X$ has quantum state transfer and $Y$ is a controllable graph, their rooted product $X^Y$ has quantum state transfer (inherited from $X$). This complements a folklore property of Cartesian product which preserves perfect state transfer. However, the rooted product is a significantly sparser graph and, more importantly, can be easily used to construct efficient high-fidelity state transfer even if $X$ has no quantum state transfer. Our proof exploits the fact that a rooted product creates a large number of strongly cospectral pairs of vertices and that its condition number can be controlled by its pendant subgraph.

We study how far a fixed Ramsey upper bound can be improved by descending through blue neighborhoods in one vertex set while keeping a second set fixed. A weighted inequality in the two set sizes determines when the descent can stop. For the source bound specified here, the infimum diagonal exponent over all finite derivations lies in $[1.305,\,1.307]$. A finite derivation gives $R(k,k)\le3.69507^k$ for all sufficiently large $k$; a concave polygon proves the lower bound for every finite depth. We also characterize the infimum as a greatest fixed point and show that every larger exponent has a finite derivation valid uniformly for nearby clique-size ratios.

A perfect matching in an ordered graph is nonnested if no edge lies strictly inside another. We classify the smallest edge sets meeting every nonnested perfect matching on $2k$ ordered vertices. For $k\ge2$, these blockers have $k$ edges and belong to three explicit families, with $2^k+k-2$ members in total. The proof uses a minimum spanning tree of an auxiliary interval cut; its equality case also classifies the minimum blockers for concatenations of crossing matchings. The argument gives a deterministic algorithm that, from at most $k$ deleted edges, returns a minimum blocker description or an avoiding nonnested perfect matching in $O(k^2)$ word operations and $O(k)$ auxiliary words. We also give an injection from one of the blocker families into minimum blockers of $123$-avoiding permutation matrices. Beyond the perfect case, an explicit construction gives graphs with $(k-1)n+1$ edges and no nonnested $k$-matching for every $k\ge5$ and $n\ge2k+1$.

The minimum distance and the covering radius are two fundamental properties of the code. Both have been extended: the former to the generalized Hamming weights hierarchy, and the latter to the generalized covering radii hierarchy. In both cases, the lowest level of the hierarchies corresponds to the classical minimum distance and covering radius, respectively. From a geometric point of view, the minimum distance of the code determines the packing radius, which is upper bounded by the covering radius. It was conjectured this relation extends to all other orders of the hierarchy, namely, that the generalized packing radii are upper bounded by the generalized covering radii of the same order. In this paper we prove this conjecture is true for the second order radii. We also prove the conjecture holds for all orders when the code rate is at most $3/5$. Finally, we show that for any code rate in $(0,1)$, for all sufficiently long codes the conjecture holds for all orders.

We prove the Erdős--Chvátal simplex conjecture across its entire parameter range. If $2\le d<k$ and $(d+1)k\le dv$, then every $d$-simplex-free family of $k$-subsets of $[v]$ has at most $\binom{v-1}{k-1}$ members, with equality only for a full star.

We establish Jacobi-type continued fraction expansions for (p,q)-analogues of the bi-Stirling Eulerian polynomials, which refine classical Eulerian statistics on permutations. These polynomials admit equivalent definitions in terms of descents or excedances. The parameters p and q encode refined permutation statistics, including (ldes,rasc) and (cros,nest). Our approach is based on weighted Motzkin path models arising from variants of the bijections of Françon--Viennot and Foata--Zeilberger. As applications, we obtain new results on total positivity and gamma-positivity for several families of enumerative polynomials. Our results unify and extend a number of recent works in the literature.

We introduce a new type of boundary condition for electrical networks by specifying a cohomology class on the underlying cell complex. As special and limiting cases, we recover the Dirichlet boundary condition, multiport condition, and prescribed voltage drops along nontrivial cycles on a surface. In this setting, we obtain a combinatorial formula for minors of the response matrix, generalizing the matrix-tree theorem, the Kenyon-Wilson formula, and a recently discovered formula for networks on surfaces due to Lam et al. To prove this formula, we develop a statistical-physics toolbox, including a new parafermionic observable for the uniform spanning tree model. This is the first parafermionic observable that is intrinsic, in the sense that it does not require an embedding of the graph in the plane or on a surface. Other ingredients are an intrinsic Temperley correspondence and source-synchronized networks, the latter providing a completely elementary reformulation of our results.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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$.

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)$.

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.

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.

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.

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$.

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.

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.

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.

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.

For a graph $G=(V,E),$ a set of vertices $D\subseteq V $ is called a dominating set if every vertex in $V\backslash D$ is adjacent to a vertex in $D.$ A domatic-$2$-partition of $G$ is a partition of its vertices into two disjoint dominating sets. In this paper, for a finite simple connected graph $G,$ we construct a graph dynamical system $F$ and show that the set of dominating sets of $G$ are in one-to-one correspondence with the image of the action map of $F$. Moreover, we obtain the set of all domatic-$2$-partitions of $G$ from the set of all periodic orbits of $F.$ Finally, we extended actions of two dynamical systems to an action of a free semigroup on two letters, and determine independent dominating sets and idomatic partitions using its maximal invariant subset with a reversible action.

Let $Δ(G)$ and $χ'(G)$ be the maximum degree and chromatic index of a graph $G$, respectively. Gupta\,(1967), Goldberg\,(1973), Andersen\,(1977), and Seymour\,(1979) made the following conjecture: Every multigraph $G$ satisfies $χ'(G) \le \max\{ Δ(G) + 1, Γ(G) \}$, where $Γ(G) = \max_{H \subseteq G, |V(H)|\geq 2} \left\lceil \frac{ |E(H)| }{ \lfloor \tfrac{1}{2} |V(H)| \rfloor} \right\rceil$ is the density of $G$. In this paper, we present a polynomial-time algorithm for coloring any multigraph with $\max\{ Δ(G) + 1, Γ(G) \}$ colors, confirming the conjecture algorithmically. Since $χ'(G)\geq \max\{ Δ(G), Γ(G) \}$, this algorithm gives a proper edge coloring that uses at most one more color than the optimum. As determining the chromatic index of an arbitrary graph is $NP$-hard, the $\max\{ Δ(G) + 1, Γ(G) \}$ bound is best possible for efficient proper edge coloring algorithms on general multigraphs, unless $P=NP$. Chen, Hao, Yu, and Zang have also presented an algorithm using similar high-level ideas; the present approach establishes a complete proof. The proofs of Theorems 3.2 and 3.3 were also verified by an AI-assisted audit using OpenAI's GPT-6 Pro model in ChatGPT; all resulting comments and revisions were independently evaluated by

A filoop is a generic immersion of a circle in a closed oriented surface, whose complement is a disjoint union of discs, considered up to orientation preserving diffeomorphisms. It gives rise to a chord diagram C which has an interlace graph G, called a chordiagraph. For a graph G with even degrees, we compute a quantity mg(G) which yields, for every chord diagram $C$ with interlace graph G, the minimal genus of filoops with chord diagram C. If mg(G)=0 then C admits exactly two framings of genus 0, corresponding to spheriloops. After recalling the Cunningham factorisation of connected graphs, we describe a canonical factorisation of filoops into spheric sums followed by toric sums, for which the genus is additive. This is analogous to the factorisation of compact connected 3-manifolds along spheres and tori. We describe unambiguous context-sensitive grammars generating the set of all graphs and with mg(G)=0 and deduce stability properties with respect to spheric and toric factorisations. Similar results hold for chordiagraphs with mg(G) = 0 and their corresponding spheriloops.

Chvátal conjectured that amongst the largest intersecting subfamilies of a finite subset-closed family of sets is a star. Kleitman later strengthened Chvátal's conjecture, defining a partial ordering on the vector space freely generated by $2^{[n]}$ and suggesting that the vector of every maximal intersecting subfamily of $2^{[n]}$ is bigger than a convex combination of stars. We restate Kleitman's conjecture in terms of the cochain complex of the discrete cube, describing it as the optimization of a convex objective. We examine the pseudoinverse of the codifferential, along with its relation to monotonicity, through which we recover the Harris-Kleitman inequality and give a generalization of a theorem of Frankl and Kupavskii on perfect matchings in superset-closed families. We show level families to satisfy Kleitman's conjecture, providing explicit cochains. We further show maximal intersecting families in the union of two stars and nonnegative threshold families to satisfy Kleitman's conjecture. We close with several strengthenings of the conjecture and related open problems.

A permutation of the multiset $\{1^m,2^m,\dots,n^m\}$ is a canon permutation if the subsequence formed by the $j$th copy of each element of $[n]:=\{1,2,\dots,n\}$ is identical for all $j\in[m]$. Canon permutations were introduced by Elizalde and are motivated by pattern-avoiding concepts such as (quasi-)Stirling permutations. He proved that the descent polynomial of canon permutations exhibits a surprising product structure; as a further consequence, it is palindromic. Our goal is to understand canon permutations from the viewpoint of Stanley's $(P,ω)$-partitions, along the way generalizing Elizalde's definition and results. We start with a labeled poset $P$ and extend it in a natural way to canon labelings of the product poset $P \times [n]$. The resulting descent polynomial has a product structure which arises naturally from the theory of $(P,ω)$-partitions and simplifies existing proofs. When $P$ is graded, this theory also implies palindromicity. We include results on weak descent polynomials, an amphibian construction between canon permutations and multiset permutations, giving rise to dissonant canon permutations, as well as $γ$-positivity and interpretations of descent polynomials of canon permutations.

The incidence matrix of a graph is totally unimodular if and only if the graph is bipartite, i.e., it contains no odd cycles. We extend the characterization of total unimodularity to hypergraphs whose hyperedges of size at least four form a laminar family. Such hypergraphs have been used to model problems with fairness constraints that ensure balanced representation, among other applications. Our main result shows that total unimodularity for laminar hypergraphs is equivalent to forbidding odd cycles and structures that we call avocados and tree houses. As a corollary, we resolve a special case of a conjecture on almost totally unimodular matrices, originally posed by Padberg and later modified by Cornuéjols and Zuluaga. We discuss applications of laminar hypergraphs and connect our results to integer programming with bounded subdeterminants.

For a simple graph $G$, let $n$ denote its number of vertices, and let $N(G,K_t)$ denote the number of copies of $K_t$ in $G$. Zykov's theorem (1949) asserts that for any $K_{r+1}$-free graph and $t \geq 2$, \[ N(G,K_t) \leq \binom{r}{t}\left(\frac{n}{r}\right)^t. \] We generalize Zykov's bound within a vertex-based localization framework. For each vertex $v \in V(G)$, let $c(v)$ denote the order of the largest clique containing $v$. Then \[ N(G,K_t) \leq n^{t-1} \sum_{v \in V(G)} \frac{1}{c(v)^t}\binom{c(v)}{t}. \] Moreover, when $G$ contains a copy of $K_t$, equality holds if and only if $G$ is a regular complete multipartite graph. Note that if we impose the condition that $G$ is $K_{r+1}$-free, then $c(v) \leq r$ for all $v \in V(G)$, and the monotonicity of $s \mapsto \binom{s}{t}/s^t$ gives Zykov's bound.

A graph is 1-planar if it admits a drawing in the plane such that each edge is crossed at most once. Let G be a bipartite 1-planar graph with bipartition sets X and Y . A 1-disk OX drawing of G is a 1-planar drawing such that all vertices of X lie on the boundary of O and all vertices of Y and all edges of G locate in the interior of O, where O is a disk on the plane. The concept was first proposed by Huang, Ouyang and Dong when they solved a conjecture about the edge density of bipartite 1-planar graphs. Additionally, they presented a problem of determining the maximum number of edges in a bipartite graph with a 1-disk OX drawing. In this paper, we solve this problem and prove that every bipartite graph G which has a 1-disk OX drawing has at most 2|V(G)|+|X|-6 edges. Moreover, we demonstrate that this upper bound is tight, in the sense that there are infinitely many graphs for which this bound is attained exactly.

In this paper, we find distribution of descents over $(n-3)$- and $(n-4)$-stack-sortable permutations in terms of Eulerian polynomials. Our results generalize the enumeration results by Claesson, Dukes, and Steingr\'ımsson on $(n-3)$- and $(n-4)$-stack-sortable permutations. Moreover, we find distribution of descents on $(n-2)$-, $(n-3)$- and $(n-4)$-stack-sortable permutations that avoid any given pattern of length 3, which extends known results in the literature on distribution of descents over pattern-avoiding 1- and 2-stack-sortable permutations. Our distribution results also give enumeration of $(n-2)$-, $(n-3)$- and $(n-4)$-stack-sortable permutations avoiding any pattern of length 3. One of our conjectures links our work to stack-sorting with restricted stacks, and the other conjecture states that 213-avoiding permutations sortable with $t$ stacks are equinumerous with 321-avoiding permutations sortable with $t$ stacks for any $t$.

We classify the complementary vectors of doubly Cohen-Macaulay complexes. This proves a conjecture of Swartz, negatively answers a question of Athanasiadis and Tzanaki, and gives new bounds on the number of independent sets in a matroid. Our technique works more generally for certain level quotients of Stanley-Reisner rings, giving new bounds on the face numbers of Buchsbaum* complexes.

Recently, sharp matrix concentration inequalities~\cite{BBvH23,BvH24} were developed using the theory of free probability. In this work, we design polynomial time deterministic algorithms to construct outcomes that satisfy the guarantees of these inequalities. As direct consequences, we obtain polynomial time deterministic algorithms for the matrix Spencer problem~\cite{BJM23} and for constructing near-Ramanujan graphs. Our proofs show that the concepts and techniques in free probability are useful not only for mathematical analyses but also for efficient computations.