arXiv++ Combinatorics

A quaternary Legendre pair of length $\ell$ is a pair of sequences over the fourth roots of unity whose periodic autocorrelations sum to $-2$ at every nonzero shift. Each such pair yields a quaternary Hadamard matrix of order $2\ell+2$ and a binary Hadamard matrix of order $4\ell+4$. Fourteen even lengths up to 100 remained open in the 2025 tables of Kotsireas, Koutschan and Winterhof and of Jedwab and Pender. We settle seven of them --- the four smallest open lengths, 42, 46, 52, and 58, together with 66, 72, and 80 --- and print every pair in full. Checking one takes a few lines of code and exact arithmetic over the Gaussian integers, so the main results can be confirmed without running any of our software. Each search writes a pair as four binary sequences under a Gray map, restricts to reflection-symmetric rows, imposes an exact spectral constraint at the midpoint frequency, and matches candidates meet-in-the-middle on their autocorrelation vectors; from length 52 onward, exact compression along divisor chains shrinks the search before any candidate is lifted. Everything is deterministic: no seed, heuristic stopping rule, or floating-point value enters an acceptance decision. At lengths 64, 70 and 76 the same machinery ran to exhaustion and found nothing: the reversible four-block queue built at each length contains no pair. These are exhaustions of a specific recorded queue, not nonexistence results, and the certificates do not by themselves establish that the queue captures every reversible object of its length. A closing section sorts every claim in the paper by what a reader must accept in order to believe it, and states exactly how far the accompanying artifacts support each one.

Let $R_r(k)$ denote the diagonal $r$-colour Ramsey number. We prove that there exist absolute constants $c,K>0$ such that $R_r(k)\le r^{rk}\exp\!\left(-c\frac{k}{r\log^2(2r)}\right)$ for every $r\ge2$ and every $k\ge Kr^2\log^6(2r)$. This improves the exponential saving in a recent bound of Yang and Mao by a factor of order $r\log^2(2r)$. The proof proceeds through an off-diagonal bound, which asymptotically improves the classical multinomial bound throughout a neighbourhood of the diagonal.

We analyze random constructions of independent sets in locally sparse graphs, specifically graphs with bounded maximum average degree in neighborhoods or with fractionally $r$-colorable neighborhoods. Specializing our methods to finding large independent sets and low-weight fractional colorings, we focus on optimizing for marginals, but we also derive results that find many independent sets (i.e.\ give lower bounds on the independence polynomial) by optimizing for entropy. Our main results generalize the local Shearer bound of Martinsson and Steiner for triangle-free graphs to graphs with few triangles and to graphs with fractionally $r$-colorable neighborhoods, in the latter case improving upon a result of Dhawan. We also extend independence polynomial bounds obtained via induction to such graphs, improving upon known bounds obtained by local occupancy by relaxing the necessary hypotheses from a maximum degree condition to an average degree condition.

We classify weighted small-step lattice walks in the quadrant whose associated birational group is finite. Using an algebro-geometric description of the kernel curves and Cayley-type finite-order conditions, we relate the group $G_W$ of a walk to the family of groups $Γ_t$ acting on its kernel curves. Together with the uniform upper bound on the order of $G_W$, this allows us to analyse all possible finite orders. We obtain explicit necessary and sufficient conditions for the group to have order 4, 6, 8, or 10, and prove that no weighted walk in the quadrant has a group of order 12. This yields a complete classification of weighted quadrant walks with finite groups.

We study the continuous Lin--Lu--Yau Ricci flow on a finite tree in the inverse-weight case. We investigate the diffusive structure of the curvature evolution equation and prove the convergence of the curvature along the Ricci flow. Moreover, we show that, in logarithmic coordinates, the Ricci flow can be characterized as the gradient flow of a convex potential.

The quantum chromatic number is a fundamental parameter in the study of nonlocal games, capturing the extent to which entanglement can improve performance in distributed tasks. In this paper, we investigate the quantum chromatic number of generalized Johnson graphs. By constructing modulus-one orthogonal representations, we obtain general upper bounds on their quantum chromatic numbers. We further analyze the smallest eigenvalue of these graphs. Combining the resulting Hoffman-type lower bounds with the upper bounds obtained from orthogonal representations, we determine the exact quantum chromatic numbers of two infinite families of generalized Johnson graphs. Finally, applying a forbidden-distance theorem for binary codes, we show that the classical chromatic numbers of these families grow exponentially with $n$, whereas their quantum chromatic numbers grow linearly. These families exhibit an exponential separation between the classical and quantum chromatic numbers.

The Erdos-Gyarfas conjecture states that every graph with minimum degree at least 3 contains a cycle whose length is a power of two. We prove by a SAT-based exhaustive search, certified by DRAT proofs, that every graph with minimum degree at least 3 on at most 23 vertices contains a cycle of length 4 or a cycle of length 8; consequently any counterexample has at least 24 vertices, improving the previously published bound of 16, and the smallest graph of minimum degree 3 with no 4-cycle and no 8-cycle has exactly 24 vertices. We show that the lemma underlying Exoo's 450-vertex construction for the bound f(5) at most 450 is false: the Tutte-Coxeter graph contains 8-cycles alternating between outer and chord edges, and the graph as specified contains 32-cycles. We repair the construction and verify the corrected graph, so the bound stands. We also give an exact window calculus for vertex-replacement constructions, prove that f(k) is at most 15 times the order of the smallest known cubic graph of girth 2 to the power (k-2) plus 1 for all k at least 4 (in particular f(6) is at most 32640, the first bound for f(6)), and show that Exoo's 78-vertex witness for f(4) at most 78 is optimal among gadget designs on bases with at most 12 vertices. All graphs, scripts and certificates are archived at doi:10.5281/zenodo.22180583.

For a graph $G$, let $i_k(G)$ denote the number of independent sets of cardinality $k$, and let \[ I(G,z)=\sum_{k\ge0} i_k(G)z^k \] be its independence polynomial. Following Brown and Cameron \cite{BrownCameron2018}, a graph is called stable if all zeros of its independence polynomial lie in the closed left half-plane. They proved that every star is stable, but also constructed nonstable trees. They then asked for a characterization of stable trees. In this paper, we extend and strengthen their result by proving that every spider, obtained from a star by arbitrary and possibly nonuniform subdivisions of its edges, has all its independence roots in the open left half-plane. Hence, every spider is stable.

The size-Ramsey number $\widehat{R}_k(\mathcal G)$ of a $k$-uniform hypergraph $\mathcal G$ is the minimum number of edges in a $k$-uniform hypergraph $\mathcal H$ such that every $2$-edge-coloring of $\mathcal H$ contains a monochromatic copy of $\mathcal G$. The following question was pointed out by Fox and recorded by Dudek, La Fleur, Mubayi and Rödl~\cite{Dudek-Fleur-Mubayi-Rodl}: for fixed $2\le \ell<k$, is the size-Ramsey number of every $k$-uniform relaxed $\ell$-tree bounded by a polynomial in $n$? We answer this question in the range \[ \ell\geq3 \quad\text{and}\quad \ell+1\leq k\leq2\ell-2. \] For every sufficiently large $n$, we construct a $k$-uniform relaxed $\ell$-tree $\bar{\mathcal{T}}_{n,\ell}^{(k)}$ on exactly $n$ vertices such that $$ \widehat{R}_k(\bar{\mathcal{T}}_{n,\ell}^{(k)})\ge 2^{c_{k,\ell}n^{1/\ell}} $$ for a constant $c_{k,\ell}>0$ depending only on $k$ and $\ell$.

The resistance Laplacian is a graph matrix associated with the effective resistance metric and provides a global counterpart of the classical graph Laplacian. Although it inherits several fundamental properties of the ordinary Laplacian, including a connected graph partitioning theorem analogous to that of Fiedler, its intrinsic spectral structure has remained largely unexplored. In this paper, we develop a structural theory of the resistance Laplacian. We derive a canonical decomposition that separates its intrinsic, average, and deviation components, thereby revealing how the global geometry induced by effective resistance differs from the local geometry encoded by the ordinary Laplacian. Building upon this decomposition, we establish several structural and spectral properties of the associated deviation operator, obtain variational characterizations of the largest eigenvalue and its corresponding eigenspace, and express the resistance Laplacian in Laplacian coordinates, thereby elucidating the relationship between the eigenspaces of the two operators. Finally, we formulate resistance-based graph partitioning objectives whose spectral relaxations recover the dominant eigenvector of the resistance Laplacian, providing a variational interpretation of the connected partition theorem. Experimental results on synthetic and real-life datasets demonstrate the effectiveness of the proposed framework for graph partitioning, data clustering, and exploratory anomaly detection.

Albertson's conjecture asserts that every finite simple graph $G$ with $χ(G) \ge r$ satisfies $\operatorname{cr}(G) \ge \operatorname{cr}(K_r)$. Building on Cranston's verification for $r \le 24$ and his reduction of $r \in \{25,26\}$ to three residual orders, we eliminate those residual cases and then prove the cases $r=27,28,29$. The first structural ingredient is a Kempe-chain construction: if a $k$-critical graph has a vertex of degree $k-1$, then it contains a branch-clean essential immersion of $K_k$. Essential immersions are crossing-monotone, so a critical counterexample must have minimum degree at least $k$. For $r=27$, this one-unit degree gain, Gallai's join structure, critical-graph edge bounds, and induced-subgraph averaging close every possible order. For $r=28$ and $r=29$, the remaining near-$2r$ orders are converted to dense complements. Stehlík's coloring theorem makes the odd-order complements factor-critical; a clique-partition obstruction yields an anti-tight matching property; and Tutte barriers, Hall-type expansion, and deficit bookkeeping eliminate the final cases. At order 58 for $r=29$, Rabern's coloring inequality handles the regular case, while the last degree-deficit-two case is reduced to two disjoint triangles and a finite barrier analysis.

We establish Gaussian free field fluctuations for uniformly random lozenge tilings of simply connected polygonal domains with $3d$ sides whose directions cycle through the three lattice directions. More precisely, assuming that the liquid region is connected and that the boundary data do not force the height at any interior point, we prove that the fluctuations of centered height function converge to the Gaussian free field in the liquid region, confirming a prediction of Kenyon and Okounkov from 2007. We introduce a tiling action function that encodes the geometry of the limit shape through its critical points. The action function has a complex conjugate pair of critical points in the liquid region, repeated real critical points on the arctic boundary, and distinct real critical points in the frozen region. Using this tiling action function, we construct an approximation to the inverse Kasteleyn matrix in terms of explicit single-contour and double-contour integrals and prove that the approximation is uniform throughout the polygonal domain. The convergence to the Gaussian free field then follows from standard kernel computations.

Classes of squarefree monomial ideals were intensively studied being an important connection between two main areas in mathematics: commutative algebra and combinatorics. Many algebraic invariants of the squarefree monomial ideals are given in terms of properties of the combinatorial associated objects (graphs, simplicial complexes etc.).

A symmetric $(v,k,λ)$-design is said to be $f$-pyramidal, with $f<v-1$, under the action of a group $G$ if $G$ acts as an automorphism group fixing $f$ points and acting sharply transitively on the remaining ones. We show that, necessarily, $f\leq v -2(k-λ)$. In particular, for a Hadamard design with parameters $(v,k,λ)=(4m-1, 2m-1, m-1)$, for some $m\in\mathbb{N}$, it follows that $f\leq 2m-1$. Recently, working on the complement design, the family $P$ of Hadamard $(4m-1,2m-1,m-1)$-designs admitting an abelian $(2m-1)$-pyramidal automorphism group $G$ has been completely determined in the case $m=2^{k}>1$. In this paper, we generalize that result by showing that $P$ coincides with the family of Hadamard $(4m-1,2m-1,m-1)$-designs admitting a $(2m-1)$-pyramidal automorphism group, without assuming either that the group is abelian or that $m$ is a power of $2$.

Let $\mathcal I_n^B$ be the involutions of the hyperoctahedral group $\mathfrak B_n$, and let $\des^B$ denote the descent number with respect to the natural Coxeter order. We derive the fixed-point-refined Worpitzky identity \[ \sum_{n\ge0}\frac{\mathcal F_n(p,t)\,z^n}{(1-t)^{n+1}} =\sum_{m\ge0} \frac{(1+pz)^m\,t^m}{(1-pz)^{m+1}(1-z^2)^{m(m+1)}}, \quad \mathcal F_n(p,t)=\sum_{π\in\mathcal I_n^B}p^{\fixB(π)}t^{\des^B(π)}. \] Extracting the stratum with $j$ two-cycles and $f$ fixed positions yields a one-parameter deformation of the fixed-point-free Worpitzky series of Wan, Gao, Li and Yang. After the change of variables $x=t/(1+t)^2$, this deformation becomes a positive binomial transform. More precisely, if \[ P_j(x)=\sum_sD_{2j,s}x^s \] is the fixed-point-free $γ$-polynomial, then the transform coefficients $A_{j,r}(x)$ are determined by \[ \sum_{r\ge0}A_{j,r}(x)W^r =\sum_{s=0}^{j}D_{2j,s}x^s (1+4xW)^{2j-2s}(1+2W+4xW^2)^s, \] and the $γ$-polynomial of the $(j,f)$-stratum is \[ Φ_{j,f}(x)=\sum_{r=0}^{f}\binom fr A_{j,r}(x). \] This manifestly positive transform is the main structural result of the paper. As consequences, every fixed cycle-type stratum is $γ$-positive and $\mathcal F_n(p,t)$ is coefficientwise $γ$-positive in the fixed-point variable $p$. The cases $f=0$ and $p=1$ recover, respectively, the fixed-point-free theorem of Wan--Gao--Li--Yang and the all-involution theorem of Cao--Liu. We also give explicit formulas for the first binomial layers and for the strata with one and two two-cycles.

For a finite abelian group $G$ and $k \geq 1$, the generalized Davenport constant $D_k(G)$ is the least $\ell$ such that every sequence over $G$ of length at least $\ell$ has $k$ pairwise disjoint nonempty zero-sum subsequences. A theorem of Freeze and Schmid gives $D_k(C_5^3) \geq 5k+10$ for every $k \geq 2$. We prove the matching upper bound: $D_4(C_5^3)=30$, and hence $D_k(C_5^3)=5k+10$ for every $k \geq 2$, so the Freeze--Schmid bound is attained by $C_5^3$ from $k=2$ onward, as it is by $C_2^3$ and unlike $C_3^3$. The proof is finite and computer-assisted. The remaining case reduces to showing that every zero-sum sequence of length $31$ over $C_5^3$ contains a nonempty zero-sum subsequence of length at most five. A saturation argument confines the multiplicities of a hypothetical counterexample to $\{1,2,4\}$, its support pattern to one of $60$ solutions of two linear equations, and its geometry to one of $78$ rank/plane branches normalized to a standard basis; an exhaustive search exhausts every branch with no survivor. The search was carried out by three independently written implementations, and the branch cover was regenerated by separate programs from the lemmas alone; two further machine-verified values, $D_3(C_5^3)=25$ and $s_{\leq 6}(C_5^3)=24$, enter the second statement, and their records accompany the paper.

A colorful graph relation enhances the minor relation by merging color sets along contractions and by allowing the removal of colors; it generalizes rooted minors and models problems on graphs with several, possibly overlapping, annotated vertex sets. A graph has the Erdős-Pósa property for minors if and only if it is planar, by a classical theorem of Robertson and Seymour. In this work we determine, for the colorful minor relation, exactly which colorful graphs have the Erdős-Pósa property. Our characterization takes three equivalent forms. The first is structural: the colorful graphs with the property are those that can be drawn with all their colored vertices on one face and whose colors are, in a precise sense, laid out along that face without interleaving. The second is given by an obstruction set: they are those excluding every member of an explicit infinite family $\mathcal{O},$ of which only $\mathbf{O}(|I|^{4})$ members have colors that are a subset of $I,$ for every finite set $I$ of colors. The third is grid-like: they are exactly the colorful minors of unions of particular families of segregated grids, the colorful analogues of the grids that drive the classical proof.

Tree-child networks are a useful class of binary phylogenetic networks. The Pons--Batle identity (Pons and Batle, \textit{Scientific Reports}, 2021) states that the number $a_{n,k}$ of tree-child networks with $k$ reticulations on $n$ taxa satisfies \[ a_{n,k}=(n-k+1)a_{n,k-1} +\frac{n(2n+k-3)}{n-k}a_{n-1,k}. \] In this paper, we present a short combinatorial proof of this identity.

For each fixed positive integer $h$, we study the divisibility relation $σ(n)\midσ(n+h)$. We isolate an explicit regular family arising from integral quotients of shifted abundancy indices and show that the complementary set satisfies a subexponential saving; in particular, the number of solutions up to $x$ is $O_h(x/(\log x)^2)$. We also study the proportionality equation $σ(n+h)=λσ(n)$. For every fixed nonzero integer $h$, uniformly for all real $λ>0$, the number of solutions up to $x$ is $O(x/\sqrt{\log\log\log x})$, with an absolute implied constant once $x$ exceeds an $h$-dependent threshold. Finally, we give an explicit family which, under Schinzel's Hypothesis $H$, produces infinitely many solutions of $σ(n+1)=2σ(n)$; the Bateman--Horn conjecture yields a precise asymptotic for the number of members of this family up to $x$. We conjecture that $σ(n+h)=kσ(n)$ has infinitely many positive integer solutions for every fixed $h,k\ge1$.

Algebraic combinatorics often seeks bijections that explain identities between distributions object by object. Encoding combinatorial objects as words lets automata theory study such a bijection as a word-to-word computation and measure its memory, input access, and control of output order. This refines existence questions by asking which computational mechanisms a bijection requires. We develop this viewpoint for Dyck paths. Our motivating example is the $q,t$-Catalan polynomial. Let $D_n$ be the set of Dyck paths of semilength $n$, let $D=\bigcup_{n\ge 0}D_n$, and let $area, dinv, bounce \colon D\to\mathbb{N}$ be the standard statistics. Then, \[ C_n(q,t)=\sum_{P\in D_n}q^{area(P)}t^{bounce(P)} =\sum_{P\in D_n}q^{dinv(P)}t^{area(P)}. \] Haglund's zeta map $ζ\colon D\to D$ gives a bijective proof: it preserves semilength and sends $(dinv,area)$ to $(area,bounce)$. By contrast, the full symmetry $C_n(q,t)=C_n(t,q)$ still lacks a direct explanation: no explicit, uniform, semilength-preserving bijection is known that swaps area and dinv on every Dyck path. Polyregular maps from automata theory provide a natural computational starting point, but we prove that neither $ζ$ nor the classical height-sweep bijection witnessing Narayana symmetry is polyregular. The missing mechanism is global ordering by numerical levels whose range grows with the input. We call this a \emph{rank sort} and introduce \emph{weighted-rank polyregular maps} (WRP), extending polyregular maps by one such sort and containing both bijections. Nevertheless, WRP is a proper subclass of deterministic logspace. We prove that $ζ^{-1}$ lies outside WRP and that no WRP map can realise a semilength-preserving area-dinv swap. Thus the rank-sorting strategy behind $ζ$ cannot be extended within WRP to exchange the two statistics.

In this paper we first introduce the \emph{infinite multi-row periodic pattern of shape $α$} as a geometric realization of $\mathbf{C}_α$. We then give an explicit formula for the coefficients $b^λ_{α,β}$ appearing in the species decomposition \[ \mathbf{C}_α\times \mathbf{C}_β = \sum_{λ\vdash n} b^λ_{α,β}\,\mathbf{C}_λ. \]

We study linear codes for insertion and deletion (insdel) errors through the lens of evaluation codes. We develop a general framework for analyzing random puncturings of evaluation codes, where the edit distance is controlled by only the size of the evaluation domain and the maximum number of zeros of a nonzero function in the underlying function space. Our proof generalizes the results of Con, Guo, Li, and Zhang (ICALP 2025), and simultaneously simplifies their arguments by avoiding an in-depth analysis of longest common subsequences. We demonstrate the applicability of our core theorem by instantiating it with random puncturings of Reed--Muller codes. We then recover the result that random Reed--Solomon codes approach the half-Singleton bound over linear-sized fields while also improving the dependence on the additive gap $\varepsilon$ from $2^{O(1/\varepsilon^2)}$ to $2^{O(1/\varepsilon)}$. Finally, by applying the framework to algebraic geometry codes arising from asymptotically good towers of function fields, we show that there exist randomized families of structured linear codes over constant-sized fields that approach the half-Singleton bound.

We study the distribution of the positive sojourn time for a one-dimensional two state quantum walk, conditioned on return to the origin. Konno showed that, for the Hadamard walk, this conditional distribution is exactly uniform at times divisible by $4$. In this paper, we investigate whether this finite time exact uniformity characterizes the Hadamard coin within the family of rotation coins. For a fixed initial state, we prove that the following three conditions are equivalent for rotation coins: the conditional distribution is exactly uniform at time $8$; the conditional distribution is exactly uniform at every time $4m$ with $m\ge2$; and the coin is the Hadamard coin. Thus, the uniformity phenomenon found by Konno is characterized as a rigidity phenomenon of the Hadamard coin within the rotation coin family. The proof uses a matrix-valued generating function for paths returning to the origin. We analyze the algebraic structure arising from an absorbing process on the half line. Finally, by comparing low degree coefficients at time $8$, we show that exact uniformity forces the rotation coin to be the Hadamard coin.

We investigate the $L_2$ Turán problems for various small directed graphs, specifically focusing on self-converse tournaments and stability versions. First, we determine the exact maximum $L_2$ norm squared of the out-degree sequence for digraphs avoiding the transitive tournament $TT_4$ and the strongly connected tournament $R_4$, answering open questions from recent paper. We prove that the complete directed 3-partite Turán graph $T_3(m)$ exactly maximizes the $L_2$ norm squared for $TT_4$-free digraphs. For $R_4$-free digraphs, the maximum is achieved by $T_3(m)$ except when $m \equiv 1 \pmod 3$, where peeling off a terminal sink vertex to form $T_3(m-1) \to v$ strictly increases the objective. We complement these results with exact values and a conjecture for the regular tournament $Reg_5$. Furthermore, we prove a stability version for $\vec{C}_3$-free digraphs: any sequence of digraphs asymptotically achieving the maximum $L_2$ density must have an edit distance of $O(δ^{1/2})m^2$ to the extremal ordered digon-chain $\vec{F}_{m,2}$.

Let $I$ be a monomial ideal in a standard graded polynomial ring and let $\overline{I}$ denote its integral closure. We study the relationship between $\mathrm{v}(I)$ and $\mathrm{v}(\overline{I})$. We prove that $\mathrm{v}(\overline{I}) \leq \mathrm{v}(I)$ for monomial ideals in two variables, for equigenerated monomial ideals in three variables and for several special classes of monomial ideals, while providing examples showing that this inequality does not hold in general. For the edge ideal $I(G)$ of a connected graph $G$, we show that $\mathrm{v}(I(G)^k)=\mathrm{v}(\overline{I(G)^k}) = 2k-1$ for all $k \geq 1+|E(G)|$. Moreover, when $G$ is disconnected, we prove that $\mathrm{v}(\overline{I(G)^k})\leq\mathrm{v}({I(G)^k})$ for all sufficiently large $k$.

Maxwell observed that the graph of any rigid generic framework in $\mathbb{R}^d$ on $n$ vertices has at least $dn-\binom{d+1}{2}$ edges. In this article we prove that graphs whose complement has maximum degree at most two and no component isomorphic to a triangle or a square are rigid in the maximum dimension allowed by this observation. In particular, this determines the precise maximum dimension in which the graph obtained from a complete graph $K_{2m}$ by deleting a perfect matching is rigid, resolving a recent conjecture of Lew. We also deduce bounds on the rigidity of complements of bounded-degree graphs more generally, which significantly improve existing degree-based bounds.

The Prouhet--Tarry--Escott (PTE) problem has many generalizations and has been studied in various algebraic domains. In this paper, we prove that finite subsets $S$ of integral domains with small additive doubling constant (but still a power of $|S|$) always contain solutions to Wright's generalization of the PTE problem: there are small subsets $A$ and $B$ of the same size such that $\sum_{a\in A} a^j=\sum_{b\in B} b^j$ for $1\le j\le k$, but not for $j=k+1$. More generally, our method gives simultaneous solutions for $m$ systems, with pairwise distinct $(k+1)$-th power sums. In contrast with the classical case $S\subseteq [N]$, where the problem has been studied by Wooley and others using Vinogradov's mean value theorem, our approach is based on polynomial identities and additive properties of $S$. We also discuss barriers to extending these results to broader settings.

The purpose of this work is twofold. In the first part, we consider layered mixed matrices introduced by Murota, relate them to existing notions in combinatorial commutative algebra, and investigate the irreducibility of their determinants. Furthermore, for a layered mixed matrix in combinatorial canonical form, we determine the sparsity structure of its inverse. That is, we characterize which entries of the inverse are nonzero. In the second part, we establish for the first time a formal connection between these algebraic results and the theory of buffering structures for reaction networks developed by Mochizuki and Okada. We identify the lattice of buffering structures with the lattice of order ideals of the block poset of the combinatorial canonical form of the associated layered mixed matrix. This allows us to characterize the reducibility of the symbolic Jacobian determinant as a polynomial in the reaction-rate derivatives, as well as the nonzero sensitivity responses of species concentrations to reaction-rate perturbations.

We prove real-rootedness of the Chow polynomials of the noncrossing partition lattices by transferring tieless parking functions to finite-alphabet Smirnov words and applying a last-letter interlacing recurrence. We also derive a triangular recurrence for peaks and ties and identify the peakless-tieless descent polynomial as the Narayana polynomial. For the toric $g$-contributions of Ehrenborg--Hetyei--Readdy, we exhibit a fixed-row common interlacer and establish real-rootedness of all nonnegative row sums. Individual real-rootedness follows in particular; Q.~Xiao recently proved it independently by a different differential recurrence. We also give a separate finite Schur--Szegő convolution proof of the individual statement. These results prove Conjecture~4.2 of Xiao and Conjecture~11.2 of Ehrenborg--Hetyei--Readdy, with consequences for weakly 123-avoiding parking functions. We also prove real-rootedness for the image-size polynomial on all parking functions and for the ascent and descent polynomials of four two-pattern-avoiding classes.

Dimension of partially ordered sets (posets for short) can be seen as a measure of how much space is needed to store posets. Refining the definition of dimension, or actually the local dimension, in this respect we obtain the notion of relative dimension. We discuss properties of relative dimension and we give bounds for relative dimension of some well-known families of posets.

A total coloring of a graph is an assignment of colors to its vertices and edges so that adjacent or incident elements receive distinct colors, and it is equitable when the cardinalities of any two color classes differ by at most one. Stemock conjectured that every $4$-total coloring of a cubic graph of order less than $20$ is equitable. In this paper, we disprove this conjecture: the circular ladder $L_{12}$ admits a non-equitable $4$-total coloring and, moreover, no smaller counterexample exists: order $4$ is vacuous, and every $4$-total coloring of a cubic graph of order $6$, $8$, or $10$ is equitable. We also prove that the same property holds at order $14$. Our proofs rely on a decomposition lemma, which states that, in any $4$-total coloring of a cubic graph $G$, each color class consists of an independent set $S$ together with a perfect matching of $G-S$. We use the lemma to determine all possible color class configurations for orders $12$, $16$, and $18$, and we show that every listed configuration is attained. Finally, we provide a splicing construction showing that, for every even $n\geq16$, some connected cubic graph of order $n$ admits a non-equitable $4$-total coloring. We may conclude that $14$ is the largest order for which every $4$-total coloring of every cubic graph is equitable.

We study a natural extension of Ramsey theory relative to the classes of maximally planar and maximally outerplanar graphs. This can be seen as a continuation of the study of `Planar Ramsey theory', introduced by Axenovich et al. The question we ask is the following: For a fixed family $\mathcal{K}$ of graphs and a pair of graphs $\{H,F\}$, does there exist an integer $r_{\mathcal{K}} (H, F)$ such that for every graph $G \in \mathcal{K}$ with $|G| \geq r_{\mathcal{K}}(H, F)$, every red/blue edge-colouring of $G$ admits a red copy of $H$ or a blue copy of $F$? When such an integer exists, we say $\{H,F\}$ is unavoidable in $\mathcal{K}$,, and otherwise $\{H,F\}$ is avoidable in $\mathcal{K}$. Our work focuses on this problem where $\mathcal{K} = \mathcal{K}_{\mathrm{MOP}}$ and $\mathcal{K} = \mathcal{K}_{\mathrm{MP}}$, which denote the families of maximal outerplanar (MOP) graphs and maximal planar (MP) graphs, respectively. This framework generalises the classical Ramsey problem relative to these classes, as the case with $\mathcal{K} = \{K_n \colon n \geq 2\}$ corresponds to classical Ramsey. We also study the corresponding Ramsey numbers for MOP and MP, which we denote as $r_{\mathrm{MOP}}(H, F)$ and $r_{\mathrm{MP}}(H, F)$. In the case when $\mathcal{K} = \mathcal{K}_{\mathrm{MOP}}$, we completely determine all unavoidable pairs $\{H, F\}$ with $|E(F)| \geq 2$, together with upper bounds and sometimes exact values of $r_{\mathrm{MOP}}(H, F)$. When $\mathcal{K} = \mathcal{K}_{\mathrm{MP}}$, we completely determine all unavoidable pairs in the diagonal case $\{H, H\}$ when $H$ is connected, showing that $H$ must be one of the graphs $P_3$, $P_4$, $P_5$, $K_{1, 3}$ or the fork graph $S_{2,1,1}$. This work opens up further possibilities in the study of Ramsey theory relative to a class, and we offer several open problems in this vein.

Let $C$ be an $[n,k]_q$ maximum distance separable (MDS) code with $4\le k\le q-3$, and suppose that it has a $2$-transitive permutation automorphism group. In this paper we show that $n\le q+1$, so the MDS conjecture holds for this class of codes.

Recently, the study of the number of $k$-colored generalized Frobenius partitions, denoted by $cφ_k(n)$, has witnessed renewed interest. In this paper, we investigate congruence properties of $cφ_{16}(n)$ and $cφ_{18}(n)$. Our main result is a proof of the conjecture of Cui, Gu, and Tang \cite{CGT25} that, for all $n\ge0$, $cφ_{18}(3n+2)\equiv0\pmod{2187}$. The proof uses a $(p,k)$-parametrization together with $q$-series identities and dissections. We also establish congruences for $cφ_{16}(n)$ modulo $1024$ and $2048$, and for $cφ_{18}(n)$ modulo $8$ and $81$.

We study multiplicative inequalities among the coefficients of Lorentzian polynomials through the notion of \emph{bounded ratios}. Our main result completely characterizes the cone of bounded ratios for Lorentzian polynomials of degree $n$ in $k$ variables. This dual characterization is expressed in terms of equivalence classes of M-convex functions modulo affine functions. For ternary Lorentzian cubics, we determine the optimal bounding constant of every bounded ratio. We also characterize the pairs $(n,k)$ for which the bounded-ratio cone can be computed by tropicalizing products of $n$ nonnegative linear forms in $k$ variables. Furthermore, show that in the ternary case of any degree n the cone of bounded ratios has rather simple generators which are triangular ratios.

A subtraction game is played on a heap of tokens. The players take turns removing s tokens for some s in a fixed set S of positive integers, and the player who cannot move loses. The sequence of Sprague-Grundy values of such a game is eventually periodic. We ask when it is purely periodic, meaning periodic from the very start, for the three-move sets S={a,b,c} with 0<a<b<c. After reduction to primitive rulesets with a>=2, we give an explicit sufficient criterion for pure periodicity. For every non-additive set that satisfies it we determine the least period, all P-positions in closed form, and all nim-values, and the additive case c=a+b is treated separately. We conjecture that the criterion is also necessary, and we prove this for the period a+b whenever c>=2(a+b). The criterion is a finite test on the angle rho = c mod (a+b), built from the P-position pattern of the two-move game {a,b}, and the admissible angles form explicit unions of arcs in Z/(a+b)Z.

In the uniform sparsest cut problem we are asked to find a vertex set that cuts few edges relative to the number of vertex pairs it separates. The Goemans-Linial SDP coupled with the Arora-Rao-Vazirani rounding gives an $\mathcal{O}(\sqrt{\log n})$ approximation on arbitrary graphs on $n$ vertices. We study this relaxation on finite Abelian Cayley graphs. First we show that when the second normalized Laplacian eigenvalue of $G= \mathrm{Cayley}(Γ, S)$ is realized by a Fourier character with image size at most four then $λ_2(G)=\mathrm{SDP}_{\mathrm{GL}}(G)=ψ(G)$. Geometrically, a character maps the vertices onto a regular polygon where the squared chord distance satisfies the triangle inequalities exactly when the polygon has at most four vertices. Grouping equal character fibers gives a cyclic quotient where the optimal cut can be found exactly and so the relaxation is exact on finite Abelian Cayley graphs on groups of exponent at most four. Second, we replace each generator $s$ of $S$ by a uniformly random element of its cyclic subgroup (including identity). If $r_s$ is the order of $s$, we let $α(r_s)$ to be the average number of $\pm s$ steps needed to simulate such a move, and let $ρ(S)=\max_{s\in S}α(r_s)$ be its worst case. Full cyclic averaging eliminates character phases and choosing a nontrivial character $χ^*$ minimizing the auxiliary eigenvalue and taking $K=\mathrm{ker}χ^*$ gives \[ ψ(G)\leqψ_G(K)\leq\frac{q^*}{q^*-1} \cdotρ(S)\cdot\mathrm{SDP}_{\mathrm{GL}}(G)\leq 2ρ(S)\cdot\mathrm{SDP}_{\mathrm{GL}}(G), \] where $q^*=|χ^*(Γ)|$. If all generator orders are at most $R$, this is an $R/2$ approximation. Finally, we construct an infinite family of finite Abelian Cayley graphs with Goemans-Linial integrality gap exactly $16/15$.

We determine, up to a factor of $2^{o(k)}$, the number of $k$-sets $A \subset \{1, \ldots, n\}$ such that $|A + A| \leq m$, where $k = Θ(\log n)$ and $m \leq k^{1 + α}$, for small $α> 0$, answering a question of Green and Morris.

The Erd\H os--Sós conjecture states that every $n$-vertex graph $G$ with more than $(k-2)n/2$ edges contains every $k$-vertex tree. We solve the extremal cases of this conjecture, showing that for some fixed $μ>0$, the conjecture holds for each $G$ that minimally satisfies the assumptions of the conjecture and has a subgraph~$H$ of minimum degree $δ(H)\ge (1-μ)k$. In our proof, we mainly have to deal with $H$ taking two different shapes: either $H$ is close to the complete graph $K_k$ or $H$ is close to the complete bipartite graph $K_{k,k}$.

By Tutte's classic theorem of 1956 that every 4-connected planar graph is Hamiltonian, every planar graph of order at least three with toughness greater than $\frac{3}{2}$ is Hamiltonian. In 1999, Owens constructed a sequence of maximal planar graphs whose toughness approaches $\frac{3}{2}$ from below and which do not contain even a 2-factor, and he asked whether there exists a maximal planar graph with toughness exactly $\frac{3}{2}$ and with no 2-factor. In 2025, Shan constructed a $\frac{3}{2}$-tough plane triangulation with no 2-factor. In that construction, there are many pairs of vertices of degree $3$ that have a common neighbor. By imposing a distance condition on the vertices of degree $3$, Hao, Ma, Shan, and Yang recently proved that every $\frac{3}{2}$-tough plane triangulation of order at least three whose vertices of degree $3$ are pairwise at distance at least $3$ has a 2-factor, and they asked whether every such graph is Hamiltonian. We answer this question in the negative, and in fact prove the following stronger statement: for every positive integer $\ell$, there exists a $\frac{3}{2}$-tough non-Hamiltonian plane triangulation whose vertices of degree $3$ are pairwise at distance at least $\ell$. Thus, although the distance condition guarantees the existence of a 2-factor, it does not guarantee that the graph is Hamiltonian: the essential obstruction to a Hamiltonian cycle is a certain local configuration involving a vertex of degree $3$, rather than the proximity of such configurations in the graph.

The Erd\H os--Sós conjecture states that every $n$-vertex graph with more than $(k-2)n/2$ edges contains every $k$-vertex tree. We prove that for every $γ$ there is an $n_0$ such that for all $n\ge n_0$ and $k \ge γn$ the conjecture holds. As a corollary of our result, we obtain a solution of a 51-year-old problem of Erd\H os and Graham on the multicolor Ramsey numbers of trees.