arXiv++ Combinatorics

This book develops algebraic and combinatorial methods for studying discrete structures. It brings together graph theory, Boolean functions, Fourier analysis on finite groups, coding theory, perfect colorings and perfect codes, association schemes, Latin squares, and related topics. A central theme is the interaction between different representations of the same object: combinatorial, algebraic, spectral, and coding-theoretic. The main mathematical object studied in this book is a perfect coloring of a graph, or, equivalently, an equitable partition of a graph. The book is intended for advanced undergraduate and graduate students in mathematics and computer science, as well as for researchers in discrete mathematics, combinatorics, coding theory, and related fields.

A matching $M$ of a $2$-connected graph $G$ is removable if $G-M$ is $2$-connected, extending Halin's classical notion of a removable edge. We prove that for every integer $d\ge 5$, every $2$-connected graph $G$ with $δ(G)\ge d$ and $|V(G)|\ge 2d$ has a removable $d$-matching. This is best possible, since the complete bipartite graph $K_{d,\,n-d}$ on $n\,(\ge 2d)$ vertices has no $(d+1)$-matching. Consequently, our result gives a complete answer, for every $d\ge 5$, to a question of Li, Zhou, Fujita, and Mao on the maximum size of a removable matching guaranteed by the minimum degree. The previously best known bound, due to Li, Zhou, Fujita, and Mao and to Chu, Kim, and Park, guaranteed a removable $(d-2)$-matching under the same assumptions. Our proof is based on an analysis of \emph{minimal non-removable matchings}, matchings that are not removable although all of their proper submatchings are.

We study the asymptotically maximal possible number of integer solutions to the linear equation $ax+by+cz = 0$ with a fixed choice of $a, b, c \in \mathbb{Z}$ and variables $x, y, z \in S$ for some finite set $S\subset \mathbb{Z}$, as $|S|\to +\infty$. Define $γ_{a, b, c}$ to be the largest constant for which there are arbitrary large finite sets $S\subset \mathbb{Z}$ such that the number of solutions to $ax+by+cz=0$ with $x,y,z\in S$ is $γ_{a,b,c}|S|^2-o(|S|^2)$. We prove structural results for general $a, b, c$ and moreover, we show that $5/13\le γ_{1,1,-3}\le 1/2-δ$ for some constant $δ>0$. In addition we show that the limit as $a \rightarrow \infty$ of $γ_{1,1,-a}$ is equal to precisely $1/5$.

It was recently shown that every connected graph of order $n \geq 5$ and size $m$ satisfies $χ(G) \leq \left\lceil \frac{m}{\sqrt{n}} \right\rceil$, and it was asked whether the stronger inequality $χ(G) \leq \left\lceil \frac{m}{2\sqrt{n}} \right\rceil + 1$ holds for every connected triangle-free graph. In this paper, we answer this question in the affirmative. In fact, we prove that every connected triangle-free graph $G$ with $G \not\cong C_5$ satisfies $χ(G) \leq \left\lceil \frac{m}{\sqrt{5.5n}} \right\rceil + 1$, where the constant $\sqrt{5.5}$ cannot be replaced by any constant greater than or equal to $\sqrt{6}$, and the equality holds for the Grötzsch graph and for every odd cycle of length between $7$ and $21$.

A Hadamard difference set (HDS) $D$ of order $u^2$ in an abelian group $G$ satisfies $|χ(D)|=u$ for every nontrivial character $χ$ of $G$. We call such a character value naive if it is divisible by $u$, i.e., if it is equal to $u$ times a root of unity. All previously known abelian HDSs only have naive character values. We show that for $d\ge 1$ and $u=3d$, a group $Z_3^2\times H$, with $H$ an abelian group of order $2^{2d+2}$, contains a HDS of order $u^2$ with non-naive character values if and only if $8\le\exp H\le 2^{d+2}$. All difference sets obtained are new. The proof rests on a specific HDS in $Z_3^2\times Z_8\times Z_2$, a covering extended building set on $Z_3^2\times Z_8\times Z_4$, and a variation of the Davis-Jedwab recursive construction.

Every quadratic Hessian slice of a Lorentzian polynomial yields bounded monomial ratios among the normalized coefficients of the polynomial. We determine exactly for which pairs $(n,d)$ these quadratic-slice ratios generate the full bounded-ratio cone for every $M$-convex support $S\subseteqΔ_n^d$. For $d\geq 2$, this quadratic local-to-global principle holds universally if and only if \[ n\leq 3,\qquad d=2,\qquad\text{or}\qquad (n,d)=(4,3). \] In every remaining case, the principle fails already for Lorentzian polynomials with full support: for cubics in $n\geq 5$ variables and for polynomials of degree $d\geq 4$ in $n\geq 4$ variables. We identify the two minimal obstructions, at $(n,d)=(4,4)$ and $(n,d)=(5,3)$, and propagate them using cut-cone certificates and variable-lifting arguments. The quartic bounded ratio extends to every higher degree by differentiation, while perturbing a square-transportation direction yields an explicit degree-uniform family of separating functionals. As a conceptual byproduct, we show that transportation costs on finite median graphs give polar directions in arbitrary dimension and degree.

We classify real-valued, $\SO(n+1)$-invariant valuations that are monotone among nonempty spherical convex sets, without assuming continuity or measurability. On proper closed spherical convex sets, with the empty set adjoined, monotonicity among nonempty sets is equivalent to a unique representation $\sum_{j=0}^{n}c_jU_j$ in the normalized spherical quermassintegrals, where $c_0\in\R$ and $c_1,\ldots,c_n\geq0$; monotonicity including the empty set is equivalent to $c_0\geq0$. On all closed spherical convex sets, monotonicity among nonempty sets is equivalent to a unique expansion $\sum_{j=0}^n a_jv_j^{\mathrm s}$ in the spherical intrinsic volumes with $0\leq a_0\leq\cdots\leq a_n$, and already implies monotonicity including the empty set. In both spherical settings, monotonicity implies continuity and $\Orth(n+1)$-invariance. For every $n\geq1$, the continuous isometry-invariant valuations on compact hyperbolic convex sets form the span of $χ,W_0^{(n)},\ldots,W_{n-1}^{(n)}$. Monotonicity among nonempty sets is equivalent to nonnegative quermassintegral coefficients, with an arbitrary Euler coefficient, and again implies continuity. The proper spherical classifications also yield an equivalent formulation for pointed closed convex cones and descend to compact projectively convex sets in real elliptic space, giving the corresponding continuous and monotone classifications.

We study near alternating sign matrices with prescribed row and column weights. After recalling the basic definitions and the necessary conditions coming from the Gale--Ryser theorem, we give a graph-theoretic characterization of the existence problem. More precisely, we show that a near alternating sign matrix with prescribed row and column weight sequences exists if and only if there exists a binary array with the same weights whose associated adjacency graph is bipartite. This reformulation shows that the Gale--Ryser conditions are not sufficient in general. We then formulate a natural conjecture up to permutations of the row and column weight sequences, and present some positive results, based on convex binary arrays and composition constructions.

A corollary of Hall's marriage theorem is that a sufficient condition for a list $(V_1, \ldots ,V_m)$ of sets to have a system of distinct representatives is that $|V_i|\ge deg_{\{V_1, \ldots ,V_m\}}(v)$ for every $i\in [m]$ and $v \in \bigcup_{i\in [m]}V_i$. This we dub a {\em global} condition. A folklore result is that a {\em local} condition - that the inequality holds for pairs $i,v$ for which $v \in V_i$ - suffices. These are special cases of a general type of results - large sets, whose elements are sparse in some sense, have a system of representatives that is independent in a related graph. We study two such scenarios, in both of which each $V_i$ is replaced by a $k$-uniform hypergraph $H_i$, the representatives are hyperedges, and distinctness is replaced by disjointness. In one setting the sparsity is measured by the degrees of vertices in the hypergraphs, in the other by the degrees of vertices in the line graph. The proofs use the topological version of Hall's theorem. In particular, we shall use a lower bound on the topological connectivity of the independence complex of a graph, defined by vector representations. We also provide short proofs of the local infinite version, known as the ``Milner-Shelah theorem''.

We present tensor network representations for discrete maximum entropy distributions under expectation constraints. To this end, we introduce Computation-Activation Networks (CompActNets), a tensor network architecture that subsumes exponential families. By leveraging the geometry of the convex polytope of realizable expectation vectors, we represent any maximum entropy distribution in the same architecture. We exploit the fact that proper faces of this polytope correspond to the boundary closure of exponential families, which restricts the distribution's support. We then derive explicit representations for the support within the CompActNet architecture. The proposed framework suggests tensor network ranks as complexity measures for faces. Finally, a case study on Boolean statistics links the geometry of 0/1-polytopes directly to propositional formulas.

Let $(x_n)_{n\geq1}$ be a sequence of distinct points on the unit circle. An $r$-span is the total length of $r$ consecutive gaps determined by the inserted points. Write $M_n^{(r)}$ and $m_n^{(r)}$ for the largest and smallest $r$-spans after the first $n$ insertions. We prove that there is an absolute constant $c>0$ such that, for every sufficiently large $r$, \[ \limsup_{n\to\infty}\bigl(nM_n^{(r)}-r\bigr) \geq c\sqrt{\log r}, \qquad \limsup_{n\to\infty}\bigl(r-nm_n^{(r)}\bigr) \geq c\sqrt{\log r}, \] and \[ \limsup_{n\to\infty}\frac{M_n^{(r)}}{m_n^{(r)}} \geq 1+\frac{\log r}{100r}. \] Thus all three asymptotic conjectures made by de Bruijn and Erdős in 1949 are resolved. The ratio bound matches the upper bound of Clément and Steinerberger up to an absolute constant and answers a question of Brethouwer. The proofs compare interval counts at nearby times. Pointwise control leads to a one-dimensional sequence-discrepancy argument for the ratio, while averaged control and Halász's planar $L^1$ discrepancy theorem give the two one-sided conclusions.

Let $a(n)$ be the sequence A158690 in the On-Line Encyclopedia of Integer Sequences (OEIS), defined by the exponential generating function $\sum_{n\ge0} a(n)t^n/n! = 1+\sum_{m\ge1}\prod_{j=1}^m(1-e^{-(2j-1)t})$. We prove two congruence conjectures of Peter Bala. The first states that, for every integer $k\ge1$, the sequence $a(n)$ modulo $k$ is eventually periodic with period dividing $\varphi(k)$. We prove the stronger statement that the Carmichael function $λ(k)$ is an eventual period. The second conjecture asserts the shifted Gauss congruences $a(np^r+i)\equiv a(np^{r-1}+i)\pmod{p^r}$ for every $i\ge0$, every prime $p$, and all $n,r\ge1$. Both results follow from a general theorem for exponential generating functions of the form $G(e^t-1)$ with $G\in\mathbb Z[[y]]$, together with the standard power-sum formula for Stirling numbers of the second kind.

We establish five families of integer-parameter extensions of Ramanujan's partial theta identities. The families follow from a common two-parameter specialization of Andrews' transformation, for which we give an independent proof based on a $q$-difference recurrence and a boundary estimate. Specializations of the integer parameter recover six identities from Ramanujan's lost notebook. As an application, a residue argument applied to the fifth family gives an integer-parameter extension of Lovejoy's residual identity, from which we construct a corresponding family of conjugate Bailey pairs.

We study external difference families arising from cyclotomic classes in finite fields from the viewpoint of a fixed number of blocks. For families consisting of even-indexed cyclotomic classes, the EDF condition can be expressed in terms of relations among cyclotomic numbers. We first study the two-block case and recover a classical characterization in terms of quadratic forms. Our main result shows that, for a prime $p=12k+1$, the family $\{C_0^6,C_2^6,C_4^6\}$ forms an EDF in $\mathbb{F}_p$ if and only if $k$ is a square. The proofs combine symmetry relations of cyclotomic numbers with their explicit evaluations.

Fix $k\ge 3$, and let $f_k(N)$ be the largest harmonic sum of a subset of $[N]$ containing no $k$ distinct integers with a common pairwise least common multiple. We prove that $f_k(N)=(\log N)^{γ_k+o(1)}$ for a well-defined exponent $γ_k\in(0,1]$. Following the weighted-pressure idea of Chojecki, we give a self-contained proof of variational formulas for $γ_k$ in terms of weighted sunflower-free families. We then eliminate the continuous weight: if $M_k(n,r)$ is the largest size of an $r$-uniform $k$-cosunflower-free family on $[n]$, then \[ γ_k=\sup_{n\ge1,\ 1\le r\le n}\frac{r}{en}M_k(n,r)^{1/r}. \] This finite-block formula yields a direct transfer principle from uniform set-system constructions, recovers the Tang--Zhang bounds, and gives $0.438899\ldots<γ_3\le0.889881\ldots$.

The Ramsey number $r(H)$ of a graph $H$ is the minimum positive integer $n$ such that every red/blue edge-coloring of the complete graph $K_n$ on $n$ vertices contains a monochromatic copy of $H$. The threshold Ramsey multiplicity $m(H)$ of $H$ is the minimum number of monochromatic copies of $H$ over all red/blue edge-colorings of $K_{r(H)}$. The only family for which $m(H)$ has been determined is stars, due to Harary and Prins (1974). Let $C_k$ be a cycle on $k$ vertices. Conlon, Fox, Sudakov, and Wei (2022) conjectured that $m(C_k)=(k-1)!/2$ for every sufficiently large odd integer $k$. In this paper, we confirm the conjecture and characterize all the extremal colorings of $K_{2k-1}$. This is also the second family for which $m(H)$ has been determined.

The independent set polytope, or stable set polytope, of a graph $G$ is the 0/1-polytope defined by the convex hull of the characteristic vectors of all independent sets of $G$. We present a simple algorithm for computing a Hamilton path on the independent set polytope of a given $n$-vertex graph $G$ with amortized delay $\mathcal{O}(n)$. The independent sets are listed such that two consecutive sets differ either in removing a vertex, or adding a vertex and removing its neighbors from the independent set, i.e., the symmetric difference between two consecutive independent sets induces a star in $G$. As applications of this result, we obtain an algorithm to compute a Hamilton path on the matching polytope of an $m$-edge graph $G$ with worst-case delay $\mathcal{O}(m)$, which lists all matchings of $G$ in such a way that the symmetric difference between two consecutive matchings is a path on at most three edges. Furthermore, we obtain an algorithm to compute a Hamilton path on the chain polytope and order polytope of an $n$-element poset $P$ with amortized delay $\mathcal{O}(n)$, which lists all antichains of $P$ or all ideals of $P$, respectively, by star exchanges. Our algorithms are derived from the generic framework proposed by Merino and Mütze (FOCS'23+SICOMP'24) for computing Hamilton paths on arbitrary 0/1-polytopes, which uses a linear optimization procedure as a black box. Our algorithms bypass solving the computationally intractable maximum weight independent set problem by a simple and purely combinatorial greedy rule.

We study six Eulerian-type polynomial families. We prove that the descent polynomials of derangements are real-rooted, settling the derangement part of a conjecture of S.~Fu, Z.~Lin, and J.~Zeng. The proof uses a compatible-pair recursion and finite-symbol stability. We also resolve the real-rootedness conjecture in OEIS \oeis{A335340}, strengthen the known rowwise real-rootedness of an even-top descent family to consecutive strict interlacing, and prove real-rootedness, consecutive interlacing, and real-rooted gamma-polynomials for U.~Shankar's super-Eulerian polynomials. A differential recurrence gives consecutive weak interlacing for ternary words counted by increasing runs. Finally, we prove stability of the peak-value refinement and consecutive interleaving of its positive weighted diagonals, settling a conjecture of P.~Alexandersson and O.~Nabawanda.

Let $p_j$ be the prime with index $j$. We prove that the ratios $m/n$ for which $p_m+p_n$ is a square are dense in $\mathbb R_{>0}$. The same is true when $|p_m-p_n|$ is a square. In every nonempty open interval, almost every index can be used as a numerator and as a denominator. We also give a quantitative lower bound for the number of possible partners.

We prove that join-semidistributive shellable lattices are join-extremal. In particular, every semidistributive shellable lattice is extremal. Together with known results, this gives the equivalence between extremality, left modularity, EL-shellability and shellability for semidistributive lattices. This answers open questions of Mühle and Segovia.

For a simple graph $G$ with $n$ vertices, write its chromatic polynomial in the rising factorial basis as $$ χ_G(x)=\sum_{i=0}^{n}(-1)^{n-i}c_i(G)\langle x\rangle_i,$$ where $ \langle x\rangle_i=x(x+1)\cdots(x+i-1).$ The associated $τ$-polynomial $$ τ_G(x)=\sum_{i=0}^{n}c_i(G)x^i $$ was defined and systematically investigated by Brenti in 1992. In this paper, we prove that if the $τ$-polynomials of two vertex-disjoint simple graphs $G$ and $H$ have only real zeros, then the $τ$-polynomial of their join $G\vee H$ has only real zeros. This settles a conjecture posed by Brenti, Royle and Wagner since 1994.

With help of group characters we enumerate orientably-regular maps of a given type with automorphism group isomorphic to $\PGam(2,2^p)$ for prime $p$.

We give direct combinatorial proofs that 1-semi-equational theories satisfy two combinatorial properties that imply the non-interpretability of certain fields. Our main result is that Boolean combinations of 1-semi-equations have almost linear Zarankiewicz bounds, and hence no infinite field is interpretable in a 1-semi-equational theory; this answers a question of Chernikov--Mennen and Chernikov--Starchenko, who had respectively established almost linear Zarankiewicz bounds for Boolean combinations of $(2,1)$-semi-equations and Boolean combinations of weakly normal relations. (This was recently and independently established by Gou, Mirabi, Mittal, Tran, and Yang, using different techniques and producing different bounds.) We also show that $(k,1)$-semi-equations satisfy the $δ$-strong Erdős--Hajnal property with $δ=1/6^{k-1}$; this had previously been established by Chernikov--Starchenko for an ineffective constant $δ>0$.

The directed clique number $\vecω(T)$ of a tournament $T$ is the minimum, over all orderings of the vertices of $T$, of the clique number of the graph whose edges are the arcs that point backward with respect to the ordering. In this paper, we prove that, for every integer $k \geq 3$, deciding whether $\vecω(T) \leq k$ is NP-complete. This answers a question of Nguyen, Scott, and Seymour, and contrasts with the classical undirected setting, where deciding whether $ω(G) \leq k$ is polynomial-time solvable for every fixed integer $k$. On the other hand, we give a polynomial-time algorithm distinguishing tournaments with $\vecω(T) \leq 2$ from those with $\vecω(T) > 100$. We also study the tournament analogue of the Gyárfás--Sumner conjecture. We construct new $\vecχ$-bounding tournaments and thereby prove a conjecture of Aboulker, Aubian, Charbit, and Lopes stating that every class of tournaments with bounded twin-width is $\vecχ$-bounded. We then exhibit new tournaments that are not $\vecχ$-bounding, disproving another conjecture of Aboulker, Aubian, Charbit, and Lopes, as well as two conjectures of Kim. Finally, we present infinite families of 3-$\vecω$-critical and 4-$\vecω$-critical tournaments.

For a positive integer $n$, put $A_d=\{id:1\le i\le\lfloor n/d\rfloor\}$ for $1\le d\le n$ and $B_d=\{id:1\le i\le n\}$ for $d\in\mathbb{N}$. For $D\subseteq\{1,\ldots,n\}$, let $m_D(n)$ be the minimum length of an integer interval containing pairwise disjoint shifted copies of $A_d$ for all $d\in D$. For a finite set $E\subseteq\mathbb{N}$, define $M_E(n)$ analogously using $B_e$, $e\in E$. Let $\mathcal{P}(x)=\{p\le x:p\text{ is prime}\}$. We prove $m_{\mathcal{P}(\sqrt n)}(n)=\left(\frac43+o(1)\right)\frac{n^{3/2}}{\ln n}$ and $M_{\mathcal{P}(n)}(n)=\left(\frac16+o(1)\right)\frac{n^3}{\ln n}$ as $n\to\infty$. These asymptotic formulas attain the known lower bounds and settle two conjectures of Alon, Dębski, Grytczuk and Przybyło concerning prime differences. The proof combines a cyclic phase-selection principle with lattice covering estimates and a decomposition into regular blocks of primes.

In this paper, we revisit the work of Berkovich and Paule on variants of the Andrews-Gordon identities. We find a generalization of their principal polynomial identity and, as a consequence, obtain new $\vec M$ versions of the Andrews-Gordon identities. More precisely, for non-negative integers $M_1\ge M_2\ge M_3\ge\ldots\ge M_ν$, we show that a broad class of multi-sums of the form $$ \sum\limits_{\mathbf n} \frac{ q^{ N_1^2+\cdots+N_ν^2 - M_1N_1 - M_2N_2 - \cdots - M_νN_ν} }{ (q)_{n_1}(q)_{n_2}\cdots(q)_{n_ν} } $$ can be expressed as a sum of products. Above, we use standard notations for $q$-Pochhammer symbols and $N_i = \sum\limits_{k=i}^νn_k$ for $1\le i\le ν$.

In this short note, we prove that, for any pair of finite groups $G$ and $H$, there exist a finite $T_0$-space $X$ and a semiflow $\varphi\colon [0,\infty)\times X\to X$ such that $\operatorname{Aut}(X)\cong G$, whereas $\operatorname{Aut}(\varphi_t(X))\cong H$ for every $t>0$. Thus, the symmetry group of a finite $T_0$-space and those of all its positive-time images can be prescribed independently.

Gross, Mansour, and Tucker [European J. Combin., 95 (2021): 103329] introduced the \emph{partial Petrial polynomial} of a ribbon graph $G$, denoted by $^{\partial}{\varepsilon^{\times}_G}(z)$. For a prime bouquet $B_n$, Yan and Li [Discrete Appl. Math., 375 (2025): 281-289] determined $^{\partial}{\varepsilon^{\times}_{B_n}}(z)$ when the intersection graph $I(B_n)$ is either the complete graph or a path, and provided an equivalent condition under which the lowest degree of the nonzero coefficient in $^{\partial}{\varepsilon^{\times}_{B_n}}(z)$ is $1$. In this paper, we determine $^{\partial}{\varepsilon^{\times}_{B_n}}(z)$ when the intersection graph is a cycle. Moreover, we present a complete characterization of the prime bouquets whose lowest nonzero term in $^{\partial}{\varepsilon^{\times}_{B_n}}(z)$ is of degree $2$ and determine the partial Petrial polynomial for the prime bouquets. As corollaries, we determine $^{\partial}{\varepsilon^{\times}_{B_n}}(z)$ when $I(B_n)$ is the complete bipartite and tripartite graph.

Linear complementary dual (LCD) codes form an important class of linear codes with applications in cryptography, classical error correction, and quantum coding theory. In this paper, we study the neighbor relation on LCD codes over finite fields and the graph induced by this relation, where two codes are adjacent whenever they intersect in codimension one. We determine the number of neighbors of an LCD code that are also LCD, and we use this result to analyze the structure of the corresponding neighbor graph. In particular, we prove its regularity over arbitrary finite fields and establish further regularity properties for its main structural subgraphs in the binary and odd-characteristic cases. These results provide a graph-theoretic framework for the study of LCD codes and reveal a strong combinatorial regularity in their neighborhood structure.

We identify the rotational symmetry centers in the spectre tiling. We find that both 2-fold and 3-fold symmetry centers are coexisting. Local and global symmetry operations are distinguished. The link between substitution schemes and rotational symmetry is investigated. We introduce a set of three finite patterns, named diabolo, 2-arms and 3-arms, in order to visualize rotational symmetry in the spectre tiling. Using these three patterns, we propose geometrical constructions for generating patches of the spectre tiling with 2-fold and 3-fold global rotational symmetry.

We prove that the $Z$-polynomial of every sparse paving matroid has only negative real zeros, confirming the real-rootedness conjecture of Proudfoot, Xu, and Young for this class. We also prove that, for each fixed positive corank, the $Z$-polynomials of uniform matroids in consecutive ranks strictly interlace. Our approach is to prove real-rootedness of the corresponding $γ$-polynomials for sparse paving matroids and their strict interlacing for uniform matroids, and then transfer both properties to the corresponding $Z$-polynomials.

Let \(N\ge2\) and let \(p\) be its least prime divisor. We prove that every nonzero polynomial with nonnegative real coefficients divisible by \(Φ_N\) has support diameter at least \((p-1)N/p\). Equality holds precisely for positive scalar multiples of monomial shifts of the \(p\)-term geometric sum \(\sum_{j=0}^{p-1} X^{jN/p}\), thereby proving a conjecture of Steinberger. The proof turns cyclotomic divisibility into the vanishing of the first \(p-1\) Fourier moments of a positive measure on the circle and then applies a classical extremal trigonometric polynomial. As a consequence, we establish the Coven--Meyerowitz diameter bound under their tiling conditions and determine its equality cases. Longer initial intervals of vanishing Fourier coefficients yield stronger diameter bounds, including an explicit refinement in terms of the prime-power divisor sets. The extremal trigonometric polynomial also yields a quantitative concentration estimate for measures and cyclotomic multiples with near-minimal support diameter.

We study the loopy polynomial L_G, a multivariate graph invariant arising from bizonotopal graph algebras and defined by a deletion-loopy-contraction recursion, in which the contracted edge becomes a loop. We show that L_G contains the Tutte polynomial and admits a similar spanning-forest activity expansion. It also determines Stanley's chromatic symmetric function, the degree sequence, the induced edge count profile, and the independence polynomial for loopless graphs, and the clique and matching polynomials for simple graphs. Separating the size and the external activity of each forest component leads to a refined loopy polynomial, which we show to be equivalent to the extended U-polynomial of Noble and Welsh and to the extended polychromate. Different specializations of this common refinement give the ordinary U-polynomial, Tutte's universal V-function, and Stanley's Tutte symmetric function, placing these invariants into a single framework. We conjecture that L_G and the U-polynomial have the same distinguishing power on simple graphs, and verify this for all graphs on at most 11 vertices. Simplicity is essential: we found two loopless multigraphs with equal U-polynomials but distinct loopy polynomials. They also have distinct extended U-polynomials, so the ordinary U-polynomial does not determine the extended one on loopless multigraphs. This solves an open problem by Merino and Noble. For the score polytope P_G of the external bizonotopal algebra, loopy deletion-contraction lifts from the lattice-point enumerator to the polytope itself. This gives forest-indexed geometric parking complexes whose lattice points partition those of P_G, and which are piecewise-linearly parametrized by products of intervals whose lengths are the component weights in the forest expansion of L_G.

A block design is a set family, whose members are called blocks, where every pair of points in the universe is covered by exactly one block. Erdős asked the following question: is it true that if the universe is of size $n$ and each block is of size $Ω(\sqrt{n})$, then there exists a transversal intersecting every block in $O(1)$ points? We provide a negative answer to this question. Indeed, for arbitrarily large $n$, we construct such a block designs where every transversal intersects some block in $Ω(\frac{\log n}{\log\log n})$ points.

For a fixed graph F, the F-degree of a vertex v in a host graph H is the number of subgraphs of H isomorphic to F that contain v, and H is F-irregular if its F-degrees are pairwise distinct. We show that every finite connected graph F on at least three vertices admits a finite connected F-irregular host. For noncomplete F, the proof builds the host from a threshold graph with one deleted edge; when the minimum degree is at least two, a small incidence gadget with distinct weighted column sums separates the remaining exceptional vertices. The construction also yields infinitely many pairwise non-isomorphic finite connected F-irregular hosts for every noncomplete F. The complete-pattern case follows from a theorem of Chartrand, Holbert, Oellermann and Swart. A Lean 4 formalization of Theorem 1.1 is described, taking the published complete-pattern theorem as its sole custom axiom.

Consider an infinite edge-weighted graph satisfying an isoperimetric inequality of the type $\|\partial A\|\geq C|A|^α$ for some $α,C>0$, where $\|\partial A\|$ denotes the weighted size of the edge boundary of $A$. We prove that, for $C$ large enough depending on $α$, if each edge is open independently with probability given by its weight, then any vertex is connected to infinity with positive probability. The result also holds under weaker isoperimetric assumptions and on finite graphs. The proof brings a new perspective on the recent proof of the Benjamini--Schramm conjecture concerning the same problem with homogeneous weights. The crucial novelty in our proof is that, rather than simply counting cutsets, we introduce a new Peierls argument which takes into account internal and external connectivity costs in addition to the cost of the blocking surface. We provide two applications for the above result. First, we show that every non-summable long-range percolation on $\mathbb{Z}^d$, $d\geq 2$, admits a percolating truncation, solving a conjecture of Sidoravicius, Surgailis and Vares and its generalization by Friedli and de Lima. Secondly, we show that there exists a universal constant $C < \infty$ such that $p_{\mathrm{c}} \leq C/Δ$ for every transitive graph of superlinear growth and vertex degree $Δ$, thus proving a conjecture of Easo and Hutchcroft.

Greedy algorithms efficiently approximate combinatorial optimization problems, but their guarantees weaken when feasibility couples combinatorial structure with global physical constraints. We study monotone nondecreasing supermodular minimization over the bases of a graphic greedoid under physics-induced constraints. We model physics-informed selection using a look-ahead oracle that identifies candidates extendable to a feasible basis, yielding the Conditioned Sequential Greedy Algorithm. We derive a closed-form approximation bound, which we call the price of feasibility, based on the variability of oracle-restricted candidate sets and a probabilistic correction for unobserved elements. As a case study, we show that FORWARD, an algorithm for multi-source radial network reconfiguration, instantiates this framework. Numerical results demonstrate the tightness of the bound and quantify the feasibility-optimality trade-off.

Let $Γ=(V,E)$ be a distance-biregular graph with even diameter $d$ and girth $2d-2$. On the edge-set $E$ we define relations that form an association scheme; this is done by considering the linear span of the corresponding adjacency matrices, and, by means of intersection diagrams, we prove that this is an algebra. Furthermore, we describe all the irreducible representations of this algebra, and, by considering the multiplicities of the 2-dimensional ones, we show that there are no such distance-biregular graphs with $28\le d\le 46$ and $d\ge 52$.

Kanade and Russell conjectured seventeen Rogers--Ramanujan type identities of modulus 12. Eleven of these identities involving triple sums were proved by Bringmann--Jennings-Shaffer--Mahlburg and by Rosengren. Motivated by these works and using similar methods, we settle all the six remaining conjectures including two triple sum identities labeled $I_{5a}$ and $I_{6a}$ originated from Russell's thesis and four quadruple sum identities labeled 7, 7a, 8 and 8a. Our proof of the triple sum identities combines linear recurrences, $q$-difference equations, and $q$-series summation formulas. For the quadruple sum identities, we represent the sums as contour integrals whose integrands are infinite products and evaluate them by residue calculus. The resulting residues reduce to single sum cubic basic hypergeometric series, and we are able to express them as infinite products.

Majorization is a fundamental tool for comparing how "spread out" the entries of two vectors are. Key majorization results were obtained for the integers by Hardy, Littlewood and Pólya and for $\mathbb{Z}_p$ by Lev. In this paper, we establish a powerful majorization theorem in $\mathbb{Z}_2^n$ that is an analogue of Lev's result in $\mathbb{Z}_p$. Our proof is based on a novel use of a compression argument that optimizes certain sums of additive representation counts. Our majorization theorem has several applications in additive combinatorics. We resolve the question: given subsets $A_1,\ldots,A_k\subseteq\mathbb{Z}_2^n$ of prescribed sizes, when is the function $r_k(A_1,\ldots,A_k)$, which counts the number of additive $k$-tuples in $A_1\times\cdots\times A_k$, maximized? We establish the corresponding minimization result and a characterization of all extremizers for $r_k(A,\ldots,A)$ when $k$ is odd. When $k=3$, this quantity is the number of Schur triples in $A$; as a special case, we recover a theorem of Samotij and Sudakov on Schur triples. We also obtain a convexity inequality and use it to prove an analogue of Pollard's theorem that strengthens and extends a well-known result of Bollobás and Leader in the $\mathbb{Z}_2^n$ setting.

In this paper we prove new bounds on the second eigenvalue of Johnson graphs. We then apply these bounds to obtain new results on the modularity of Johnson graphs and their random subgraphs, hamiltonicity of Johnson graphs and thresholds of the appearance of the hamilton cycles and giant components. Futhermore, we provide general bounds on vertex connectivity and the stability of the modularity for $(n, d, λ)$-graphs.

We obtain tight bounds on the modularity of PPM graphs in the case of equally sized parts. Moreover, we provide a general method that can help in obtaining bounds for various other models.

We improve the best known lower bound on the integrality gap for weighted unit-demand multicommodity flow on trees from $1/4$ to $2/5$, improving on the long-standing bound of Chekuri, Mydlarz, and Shepherd~\cite{CMS}. We give the proof in two stages. First, a surprisingly simple packing lemma and an inductive coloring argument give an intermediate bound of $4/11$. We then refine the argument to obtain $2/5$.

Fourier-Motzkin elimination computes an inequality description of the projection of a polyhedron onto a subset of its coordinates by eliminating one variable at a time. It is used in several areas of optimisation and computer science, and it is a standard way of obtaining the entropic constraints of a causal structure, where the marginalisation over the latent variables produces such a projection. Its limitation is the growth of the intermediate systems of inequalities, which can be doubly exponential in the number of eliminated variables even though the projection itself grows only as a single exponential. In practice the computational overload of the method therefore depends on two choices: how the redundant inequalities are removed after each step, and the order in which the variables are eliminated. We consider both. We first show, by an explicit example, that Imbert's redundancy test cannot be interleaved with redundancy removal by linear programming. We show that the two methods, however, can be combined soundly if the derivation records used by Imbert's test are re-initialised after every step at which linear programming is used. We then propose a rule for choosing the elimination order of the variables that gives a significant computational advantage, however, at the cost of increased resource usage. We demonstrate this advantage on some random polytopes, where the rule reduces the running time by factors of between 6 and 25 compared with the same elimination under a fixed order. For entropic descriptions of causal structures, with more than 250 inequalities and more than 100 variables to eliminate, our rule keeps the number of inequalities handled at each step one to two orders of magnitude lower than a fixed order.

We prove that the magnitude of the tope graph of a simple oriented matroid is the specialization at $x=-1$ of the motivic zeta function of its underlying matroid. This refines the Las Vergnas--Zaslavsky theorem and defines magnitude for arbitrary matroids. For simple orientable matroids, we compute the order of the pole at $q=-1$ from chains of flats and identify it with the Varchenko--Gelfand degree of the tope parity function. Comparing pole orders, we construct a rank-six real arrangement $\mathcal A$ such that $\operatorname{Mag}(\mathcal A;-t)$ has infinitely many negative coefficients, disproving Koizumi--Liu's eventual sign alternation conjecture. We then construct a canonical multiplicative Varchenko--Gelfand filtration on the mod-$2$ magnitude cohomology of a simple oriented matroid and show that its graded dimensions recover the full motivic zeta function.

The local clique cover number $lcc(G)$ is the minimum valency of an edge-clique cover of $G$. We prove the conjectured inequality $lcc(G)+χ(G)\le |V(G)|+1$ for every finite simple graph. The proof gives an independent set improvement of an endpoint-cover estimate and applies the resulting construction to an induced four-vertex path. We further prove that the cover can be chosen so that every nonuniversal vertex has valency at most $|V(G)|-χ(G)$. Consequently, every graph attaining equality has a universal vertex. The stronger statement follows by reducing a counterexample of minimum order to a prime double-critical graph and refining the induced path extension. We also show that an induced matching of size $m\ge2$ yields $lcc(G)+χ(G)\le |V(G)|+3-m$, which improves the general bound when $m\ge3$, and determine the restrictions imposed by equality on deletion of an induced $2K_2$.

We develop a constructive method for solving semilinear elliptic equations $Δu(x)=f(x,u(x))$ on locally finite, connected infinite graphs with layered structure. Using Eidelheit's theorem, we establish coupling criteria ensuring that arbitrary initial-layer data extend to global solutions for every $f$. We apply combinatorial criteria to prove solvability on leafless infinite trees, integer lattices, the triangular and hexagonal lattices, and a Cayley graph of the discrete Heisenberg group. We further establish solvability for a broad class of Cayley graphs of semidirect products $G\cong\mathbb Z\ltimes_θH$. In particular, $Δu=e^u$ has infinitely many solutions on $\mathbb Z^2$, but none of finite energy. We also extend the method to the bi-Laplacian under two-step coupling conditions, to the $p$-Laplacian under a unique-neighbor condition, and to magnetic Laplacians.

For a Coxeter system $(W,S)$ of finite rank and an involutive automorphism $\ast:W\to W$ which preserves $S$, we prove that the length-generating function $\sum_{z\in\mathbf{I}_{W,\ast}}q^{\ell(z)}$ of the set of $\ast$-twisted involutions is rational. We derive recurrence relations analogous to the well-known recurrence relations expressing the growth series $W(q):=\sum_{w\in W}q^{\ell(w)}$ in terms of the growth series $W_I(q)$ of the parabolic subgroups of $W$. Our result extends to any subset $\mathcal{C}$ of $\ast$-twisted involutions that is closed under $\ast$-twisted conjugation. We use these recurrence relations to give an alternative proof of a power-series identity for twisted involutions due to Lusztig.

We prove that the realization graph of every graphical degree sequence is maximally Hamiltonian: it is Hamilton-laceable when bipartite on more than one vertex, and Hamilton-connected otherwise. This answers Problem P59 of Mütze's survey of combinatorial Gray codes, and the Hamiltonicity question recorded as open by Barrus, in the strongest form either admits. The argument is an induction on the number of ground vertices, cutting the realization graph at a single ground vertex into fibers and the quotient they lie over. The proof is formalized in Lean 4 and checked by its kernel, with seven results cited from the literature and nothing else assumed. Its engine is a classification. The realizable neighborhoods of a ground vertex form a shifted family -- one closed under replacing an element by a smaller one -- and the quotient is the Johnson graph of that family. Such a Johnson graph can fail to be Hamilton-connected, and we determine exactly when: the failures are one explicit family of examples, the Y-families, and each of them fails between a single pair of its members. A shifted family with a greatest member never fails, and those families are exactly the shifted matroids, where the conclusion already follows from the theorem of Naddef and Pulleyblank on the graphs of 0/1-polytopes. The obstruction lives entirely outside the matroid case, which is why it has not been met before.

Let $r \ge 2$ and $t \ge 1$. It is shown that if $T$ is an $r$-uniform tight tree with $t$ edges and $H$ is a $T$-free $r$-uniform hypergraph, then $|E(H)|\le (t-1)|\sh H|/r$, where $\sh H$ is the $(r-1)$-shadow of $H$. \iffalse Equality holds only for $(n,t + r - 2,r)$-designs.\fi The bound is tight infinitely often, and establishes Kalai's Conjecture, whose $r=2$ case is the Erd\H os-Sós Conjecture. The proof was found by GPT-6 Astra, extending its method of proof for the Erd\H os-Sós conjecture to the hypergraph setting. It is noteworthy that previous proofs of special cases of the Erd\H os-Sós conjecture do not extend to give tights bounds in the hypergraph setting. A strengthening of the Erd\H os-Sós conjecture due to the authors about tight lower bounds on the number of copies of a tree in a graph with average degree $d \ge t-1\ge 0$ remains open.

Let $R=\mathbb{Z}/(2^n-1)\mathbb{Z}$, where $n\geq 3$, and let $S_w\subseteq R$ be the residues whose canonical $n$-digit binary expansion has Hamming weight $w$. We obtain, in particular, an asymptotic formula for the additive energy of $S_w$ \[ E(S_w)=\frac{\left|S_w\right|^4}{|R|}+ \mathcal{O}\left(|R|^3 n^{-3} \right), \] which holds uniformly in $w$. The error term is optimal in order, with a matching lower bound for $w=\lfloor n/2+\sqrt{n} \rfloor$. It follows that triple sums of arbitrary unit dilates have asymptotically uniform representation counts when $\prod_{j=1}^{3} \left|S_{w_j} \right| /\left(|R| n^{-3/5}\right)^3\to\infty$, and that double sums have asymptotically full support when $\left|S_{w_1}\right| \left|S_{w_2} \right|/\left(|R| n^{-3/4}\right)^2\to\infty$. In the proof, modular collisions are represented using a cyclic binary carry automaton; this appears to be a novel approach in this area of problems.

We give a short, conceptual proof that prime graphs have at most two transitive orientations, a much-quoted result of Gallai. Our proof uses chains, introduced by Chudnovsky, Kim, Oum, and Seymour, which provide a transparent characterization of primality. Transitivity induces a forcing relation on edges; using chains, we show that any two edges of a prime graph are equivalent under this relation, and thus any transitive orientation is unique up to reversal.