arXiv++ Combinatorics

We give an explicit tournament on 14 vertices containing every 7-vertex tournament as an induced sub-tournament, and verify this property by exhaustive computation. This improves the previously known upper bound of 15. Together with the known lower bound, it follows that the minimum order of a 7-universal tournament is either 13 or 14.

The representation number of a graph is the least positive integer $k$ for which its vertices can be arranged in a word, each occurring $k$ times, so that two distinct letters alternate precisely when the corresponding vertices are adjacent. We prove that every bipartite graph on $N\ge9$ vertices has representation number at most $\lceil N/4\rceil$. Together with the known representation number of crown graphs, this settles the conjecture that crowns maximise the representation number among bipartite graphs of the same order. The proof develops a construction of Mozhui and Krishna by reducing the choice of a representing word to an ordering problem for neighbourhoods. We characterise the obstructions to this ordering and use probability estimates to exclude them for all sufficiently large balanced bipartitions. Two finite assertions complete the argument, each established by a checked Boolean unsatisfiability certificate. A refinement of the ordering argument treats the remaining odd part sizes directly. The main theorem and the crown-extremality corollary, including the finite certificate arguments, have also been formalised and verified in Lean 4.

For an $r$-uniform hypergraph $H$, let $ν(H)$ be the maximum number of edges no two of which share $r-1$ vertices, and $τ(H)$ the minimum number of $(r-1)$-sets such that every edge contains one of them. Aharoni and Zerbib conjectured that $τ(H)\le\lceil\frac{r+1}{2}\rceil\,ν(H)$, which for $r=3$ generalizes Tuza's conjecture on triangles. We prove that the fractional relaxation $τ^*(H)$ of $τ(H)$ satisfies $τ^*(H)\le\frac{r+1}{2}\,ν(H)$. This constant is best possible for every $r$, and for $r\ge4$ it improves on the previous bound of roughly $3r/4$.

Given a point set $[n]$ and a collection $B$ of $k$-subsets of $[n]$, we create a monomial ideal whose Betti numbers completely determine whether the pair $([n],B)$ is a Steiner system $S(t,k,n)$. In particular, our construction characterizes Steiner triple systems and Steiner quadruple systems solely on the basis of Betti numbers of monomial ideals. Moreover, these monomial ideals allow us to reformulate the renowned prime power conjecture as follows: If a monomial ideal $M$ of $S = K[x_1, \dots, x_{q^2+q+1}]$ generated by squarefree monomials of degree $q+1$ has Betti numbers $\mathrm{b}_s(S/M) = {{q^2+q+1} \choose s} \text{ for all } s=0,\ldots,q$ then $q$ is a prime power.

This paper considers the generic behaviour of sheaves supported on Schubert varieties in finite flag varieties. Our main results are that, for any fixed prime $p$, as the rank of the associated algebraic group grows, almost every intersection cohomology sheaf admits $p$-torsion in its stalks or costalks, and almost every indecomposable parity sheaf is not perverse. For certain families of partial flag varieties we also determine explicit asymptotics for this growth.

We prove that the g-polynomial of every paving matroid has nonnegative coefficients. Our proof combines a deletion-contraction argument with an elementary coefficient inequality for the g-polynomials of uniform matroids.

The packing-covering constant of a point set $X\subseteq\mathbb{R}^d$ is $γ(X)=μ(X)/ρ(X)$, the covering radius divided by the packing radius. Among lattices, its minimum $γ_d$ is known for $d\leq 5$, attained by $\mathsf{A}_2^*$, $\mathsf{A}_3^*$, and Horváth's lattices $\mathsf{Ho}_4$, $\mathsf{Ho}_5$; Böröczky proved that $γ_3$ is optimal without the lattice restriction, but for $d=4,5$ the non-lattice problem was open. We exhibit a $2$-periodic non-lattice point set of $\mathbb{R}^5$ with $γ= 9/\sqrt{40} = 1.423024\ldots < γ_5 = \sqrt{3/2+\sqrt{13}/6} = 1.4494568\ldots$, so that in dimension five the packing-covering problem is not solved by lattices.

In this paper, we define directed partial join graphs with signed couplings and construct discrete-time quantum-walk transition operators for these graphs using the shunt-decomposition framework. The resulting transition operators apply to several important graph families, including complete graphs with loops, circulant partial joins, complete bipartite graphs, tensor powers of complete bipartite graphs, all with signed couplings. For each family, we identify the corresponding structure of the transition operator and derive necessary and sufficient conditions for periodicity and perfect state transfer (PST), when one of the two directed regular graphs admits PST. Based on these results, we identify two types of state transfer; internal PST, which occurs between vertices within the same graph, and coupling PST, which occurs between two components of join graphs. We further develop a double-cover construction for directed partial join graphs and derive conditions for periodicity and PST when the associated transition operators do not necessarily commute. Using this construction, we establish PST results for double covers of complete graphs with loops. In particular, we provide an example in which the complete graph \(K_n\) does not exhibit PST for \(n\geq4\), whereas a suitable partial join of \(K_n\) exhibits PST when \(n=2^m\), \(m\geq2\). Hence, these results extend the class of graph families admitting PST in shunt-decomposition-based quantum walks and provide a unified framework for studying quantum state transfer in graph joins, products, and covers.

We prove Laurent positivity for skew-symmetrizable quantum cluster algebras of rank three, with arbitrary integral compatible quantizations and invertible frozen variables. The proof uses mutation-acyclic positivity from a companion manuscript.

This note addresses Theorem 12 in the seminal paper ``$F$-degrees in graphs'' by G. Chartrand et al. (1987), which asserts the existence of $K_n$-irregular graphs for each $n \ge 3$. Although this result is widely cited in the literature as an established fact, the original text lacks a complete proof. We show that for $n = 5$ and all $n \ge 7$, the constructions as presented are not $K_n$-irregular, presumably due to typographical errors. Consequently, referencing this foundational work as containing a rigorous proof for the general case is not entirely accurate.

We give a polynomial-time algorithm that constructs, in every connected $n$-vertex graph of minimum degree at least $7$, a spanning tree with at least $\frac{25200}{46189}n>0.5455\,n$ leaves. No bound specific to minimum degree $7$ was known: the best bound available for this class was $\frac{11}{21}n\approx0.5238\,n$, inherited from Simarova's theorem for minimum degree~$6$. The algorithm and its analysis are carried out for an arbitrary minimum degree $δ$, and yield a recursion that gives an explicit lower bound on the number of leaves for every $δ$. The resulting bounds improve all previously known ones for every $δ\ge7$; for $δ=8,9,10$ they are $0.5850\,n$, $0.6151\,n$ and $0.6413\,n$, and they are tabulated for $δ\le25$ at the end of the paper.

The Delannoy numbers $d(n,k)$ count lattice paths from $(0,0)$ to $(n-k,k)$ using steps $(1,0),(0,1)$ and $(1,1)$. This paper introduces a graded poset $\mathcal{D}_n$ on the Delannoy paths ending on the line $x+y=n$, whose rank-generating function is the Delannoy polynomial $d_n(x)=\sum_{k=0}^n d(n,k)x^k$. We prove that $\\mathcal{D}_n$ is a self-dual lattice, which is call the Delannoy lattice. By establishing an explicit symmetric Boolean decomposition, we show that $\mathcal{D}_n$ is a symmetric Boolean order, thereby recovering the $γ$-positivity of $d_n(x)$. Such a decomposition is refined to a symmetric chain decomposition with the chain cover property, and is applied to determine all maximum antichains. We also investigate other combinatorial aspects of $\mathcal{D}_n$, including supersolvability, the Möbius number, characteristic polynomials, and zeta polynomials.

A family of subsets of $[n]$ is $r$-fork-free if none of its members is strictly contained in $r$ other distinct members. For each fixed integer $r\ge2$, we prove that the maximum size of such a family is \[ \binom{n}{\lfloor n/2\rfloor} \left(1+\frac{2(r-1)}{n}+o(n^{-1})\right). \] This determines the second-order term and matches the upper bound of De Bonis and Katona. Our lower bound comes from a construction on two adjacent middle levels, using a finite ordered collection of disjoint coordinate blocks and a condition on sums modulo $n$. For each prescribed error, the blocks are fixed before $n$ tends to infinity, so the construction works for every sufficiently large $n$.

Let $p_c(\mathcal F)$, $q(\mathcal F)$, and $q_f(\mathcal F)$ denote the threshold, expectation threshold, and fractional expectation threshold of a family $\mathcal F$ of nonempty subsets of a finite set, respectively. We prove that there is an absolute constant $C>0$ such that, if $\mathcal F$ has VC dimension at most $d\ge1$, then $p_c(\mathcal F)\le Cq(\mathcal F)\log(d+1)$. More generally, for every $0<\varepsilon\le1/2$, a binomial random set of density $\min\{1,Cq(\mathcal F)\log((d+1)/\varepsilon)\}$ contains a member of $\mathcal F$ with probability at least $1-\varepsilon$. Consequently, $q_f(\mathcal F)\le Cq(\mathcal F)\log(d+1)$, verifying Talagrand's integral--fractional conjecture for families of any fixed VC dimension. We also prove that if a $k$-spread probability measure has support of VC dimension at most $d$, then a binomial random set of density $\min\{1,(C/k)\log((d+1)/\varepsilon)\}$ contains a member of its support with probability at least $1-\varepsilon$. In both random-containment results, the factor \(\log((d+1)/\varepsilon)\) is optimal up to absolute constants. As an application of the spread theorem, we prove that every $n$-uniform family of VC dimension at most $d$ with more than $(C p^{-1}\log((d+1)/\varepsilon))^n$ members contains a $(p,\varepsilon)$-robust sunflower. In particular, every such family with more than $(Cr\log(d+1))^n$ members contains an $r$-sunflower, improving the recent bound $(Crd)^n$ of Ge, Wang, Xu, and Zhao.

We show that the cohomology rings of toric Richardson varieties in the Grassmannian are finite truncations of the ring of quasisymmetric functions. We exhibit an affine paving of each such variety whose cell closures give rise to the basis of fundamental quasisymmetric functions. We similarly interpret the homology of these varieties in terms of the ring of noncommutative symmetric functions and show that the expansion of the homological class of any torus-invariant subvariety into the affine paving basis agrees with the expansion of a corresponding generalized noncommutative ribbon function into the ribbon basis. By taking the direct limit of all toric Richardson varieties, we obtain an ind-variety equipped with a weak $H$-group structure whose cohomology is the Hopf algebra of quasisymmetric functions. We conjecture that it is isomorphic to a similar $H$-group constructed by Baker--Richter. As a byproduct, we deduce that the $f$-vectors of shard polytopes are log-concave, making the first progress on a question of Ferroni--Schröter for matroid base polytopes.

We continue the study initiated by Parnas and Shraibman~\cite{PARNAS2026264} who gave upper bounds on the binary rank of $0,1$ matrices which have a small rank over the reals. We give alternative completely mathematical proofs of results proved in~\cite{PARNAS2026264} with the assistance of a computer program, and also solve one of the open problems presented there regarding the maximal binary rank of a matrix with real rank $5$. Moreover, our techniques provide a general method for giving non-trivial upper bounds on the maximal binary rank of a matrix with constant real rank. Our results also imply bounds on the equivalent problem of finding the minimum number of bicliques needed to partition the edges of a bipartite graph whose reduced adjacency matrix has real rank at most $d$.

For a graph $G$, let $τ_{\mathrm{iso}}(G)$ denote the number of isomorphism classes of its spanning trees. For every fixed $d\ge3$ and all sufficiently large $n$, we prove that every connected $n$-vertex graph $G$ with $δ(G)\ge d$ satisfies \[τ_{\mathrm{iso}}(G)\ge τ_{\mathrm{iso}}(K_{d,n-d})=A_dn^{d-1}+O_d(n^{d-2}),\] for an explicit constant $A_d>0$, and $K_{d,n-d}$ is the unique minimizer. This confirms a conjecture of Bitonti, Michel and Scott and extends it to every $d\ge3$. We also show that any such graph with $O(n^{d-1})$ spanning-tree types has all but a bounded number of vertices with the same $d$ neighbours.

A $d$-set mapping is a function acting on a domain $X$ equipped with a partition into $d$ disjoint subsets. While standard functions represent $1$-set mappings, generalizations to arbitrary $d$-partite structures appear naturally across discrete mathematics. In this paper, we develop an analytic combinatorial framework to quantify the functional graphs of these mappings. By leveraging generating functions and singularity analysis, we derive exact asymptotic expansions for macroscopic graph properties as the cardinality of $X$ tends to infinity, including the expected number of connected components, cyclic nodes, and tail lengths. We demonstrate the efficacy of this framework by recovering the classical bipartite mapping results of Hansen and Jaworski, and successfully generalize these mechanisms to arbitrary $d$-set mappings, providing the foundational architecture to establish their probabilistic limit laws.

We develop the thinning--sprinkling technique, a general method for proving robustness of graph properties under random vertex sampling. Using it, we show that random induced subgraphs of tough graphs, high-degree connected vertex-transitive graphs, and nearly regular sublinear expanders retain strong connectivity or expansion properties with very high probability. We also prove that every $k$-connected graph with $k=ω(\log n)$ contains a spanning bipartite subgraph that is $Ω(k)$-connected. Using these robustness results, we further develop a general framework for constructing almost Hamilton cycles from randomly sampled highly connected subgraphs. As a consequence, we show that tough graphs, connected vertex-transitive graphs and nearly regular expanders contain a cycle of length at least $(1-o(1))n$ whenever the toughness or degree is polylogarithmically large. This gives asymptotic solutions of longstanding conjectures of Chvátal and Lovász on Hamiltonicity of tough and vertex-transitive graphs.

A paired dominating set of a graph $G$ is a dominating set $D$ such that $G[D]$ has a perfect matching. The minimum size of such a set is the paired domination number $\gpr(G)$. Desormeaux and Henning conjectured that every cubic bipartite graph $G$ of order $n$ satisfies $\gpr(G)\le n/2$. We prove the conjecture in the sharp integer form $\gpr(G)\le 2\lfloor |V(G)|/4\rfloor$ for every finite simple cubic bipartite graph $G$. The proof combines a directed contraction along a perfect matching, switching arguments based on dominator trees, a four-symbol boundary calculus for two-edge cuts, and the Gallai--Edmonds decomposition. Equality is attained by $K_{3,3}$ when $|V(G)|\equiv2\pmod4$ and by the cube $Q_3$ when $|V(G)|\equiv0\pmod4$.

We determine the Doob-Martin boundary of Hoffman's leaf-grafting graph on finite unlabelled non-plane rooted trees. Its full and minimal boundaries coincide and are parametrized by deterministic recursive paintboxes, identified when their finite sampling laws agree. Every central measure is a unique mixture of the corresponding extremal laws, and its limiting boundary point generates the completed tail field. We also show that the boundary is homeomorphic to the space of unordered root masses marked by child boundary classes. For the recursive Ewens family, we obtain the unique extremal decomposition from independent Poisson-Dirichlet splits, including the uniform recursive-tree and rooted-tree Plancherel cases.

Let $G$ be a graph and $k$ be a positive integer. A total $k$-labeling of $G$ assigns to each vertex and each edge a label from $\{1,\ldots,k\}$. The weight of a vertex is the sum of its label and the labels of its incident edges. A total labeling is vertex irregular if all vertex weights are distinct. The total vertex irregularity strength $\text{tvs}(G)$ is the smallest $k$ for which $G$ has a vertex irregular total $k$-labeling. For an $r$-regular graph $G$ on $n$ vertices, a counting argument gives $\text{tvs}(G)\ge\lceil(n+r)/(r+1)\rceil$. The restriction of a conjecture of Nurdin, Baskoro, Salman, and Gaos to regular graphs asserts that this bound is attained. We prove this assertion for cubic and $4$-regular graphs. We also show that, for every fixed $r\ge2$, a recent theorem on prescribed degree frequencies implies the assertion for all sufficiently large $r$-regular graphs.

We study the largest common subtree of two independent unlabeled uniform attachment trees (also known as random recursive trees). Our main result shows that, when the two trees have $n$ vertices each, their largest common subtree has at least $n^{0.83}$ vertices with high probability. This is obtained by starting with the common subtree induced by the Ulam--Harris labels in the two trees and improving using local optimization steps. We also give some upper bounds and bounds for general random tree growth models. We leave as an intriguing open question to understand the magnitude of the size of the largest common subtree.

We study Fibonacci polyominoes, a class of column-convex polyominoes whose lower boundary is a staircase path made of unit horizontal and vertical steps. We derive generating functions that enumerate these polyominoes by area and semiperimeter. The resulting formulas give refinements of the classical Fibonacci enumeration and lead to explicit expressions involving Catalan numbers. We give a bijection with labeled Dyck paths that provides combinatorial proofs of these formulas and translates natural statistics on Fibonacci polyominoes into peaks, returns, and related statistics on Dyck paths. This yields refinements by descents and left-to-right minima, including distributions governed by Narayana numbers. We also study consecutive columns of equal height, leading in the diagonal case to a refinement of the Catalan enumeration governed by Motzkin numbers.

In this paper we define a novel product on polyominoes called the tensor product of polyominoes. Using a special case of this product which we name a dilation, we construct a new class of polyominoes called the dilated closed paths. This class is a ''thick'' generalization of Cisto and Navarra's class of closed paths (arXiv:2006.13935). We prove the Zig-Zag Walk Conjecture for this new class thereby fully characterizing primality for its associated polyomino ideals.

A meander is a configuration of two simple plane curves intersecting transversely. The orders of their intersection points define a permutation that determines the configuration. When tangencies are allowed, however, different configurations can share the same permutation. We study the combinatorial and algebraic structures arising from this non-uniqueness. We give a realization criterion and show that the realizations of each realizable permutation form an affine space over the two-element field. We describe this space using an associated graph, called the component spine. We prove that the component spine of every permutation is a cactus. We also introduce the tangency polynomial, which counts realizations by their number of tangencies, investigate its properties, and prove that it factors over the cycles and bridges of the component spine. We derive a central limit theorem for tangency counts and obtain asymptotic formulas for the number of distinct tangency polynomials.

It is well known that the \Lovasz-Theta function of a random graph $G(n,\tfrac{1}{2})$ is $Θ(\sqrt{n})$. More precisely, it is tightly concentrated in the interval \( [\sqrt{n},\, 2\sqrt{n}], \) where the upper bound follows from an explicit dual witness for the associated semidefinite program. Numerical evidence and heuristic arguments suggest that the true value is $(1+o(1))\sqrt{n}$. However, closing this gap has remained a longstanding challenge, resisting existing techniques even in light of recent progress on sharp algorithmic thresholds and non-asymptotic free probability. In this work, we resolve this question by proving that the \Lovasz-Theta function of $G(n,\tfrac{1}{2})$ is $(1+o_n(1))\sqrt{n}$ with high probability, determining its asymptotic value up to vanishing relative error.

A graph $G=(V,E)$ is called smooth (respectively, strongly smooth) if for any two vertices $u,v\in V$, the distance point-shadow $v|u := \{ x\in V: d(u,x)=d(u,v)+d(v,x)\}$, respectively, the point-shadow $v/u := \{ x\in V: v\in\mathrm{conv}(u,x)\}$, is geodesically convex. Smooth graphs have been introduced by Nebeský (2005) in the context of step systems. Graphs with convex point-shadows and convex distance point-shadows also naturally occur in convexity theory. Brešar et al. (2026) recently showed that several classes of graphs are smooth and that smoothness is preserved by Cartesian products, gated amalgams, and isometric subgraphs. Weakly modular graphs comprise the most important classes of graphs from Metric Graph Theory: median, modular, Helly, bridged, and dual polar graphs. In this note, we characterize smooth and strongly smooth weakly modular graphs in terms of forbidden isometric subgraphs on 5 and 7 vertices. This settles Problem 1 of the paper by Brešar et al. We also characterize prime strongly smooth weakly modular graphs, i.e., strongly smooth weakly modular graphs that cannot be obtained from smaller graphs by Cartesian products and gated amalgams.

With the help of a summation formula for $q$-series and the creative microscoping method, we shall establish two parametric $q$-supercongruences. They are both modulo the third power of a cyclotomic polynomial. When $q\to1$, one of them is able to engender the following conclusion: for any prime $p\equiv2\pmod{3}$ and any nonnegative integer $s$ subject to $ s\leq (p-2)/3$, \[\sum_{k=s}^{(p+1)/3+s}(6k-1)\frac{(-\frac{1}{3})_{k-s}(-\frac{1}{3})_{k+s}(-\frac{1}{3})_{k}}{(k-s)!(k+s)!k!} \equiv 0\pmod{p^3}.\]

We study the Theta operators of D'Adderio-Iraci-Vanden Wyngaerd at $t=1$ and show that the power-sum-indexed operators $Θ_{\mathsf p_k}|_{t=1}$ agree with a commuting family of derivations when restricted to symmetric functions of positive degree. Writing $\widetilde{h}_a$ for the modified Macdonald function indexed by the single row $(a)$ we establish that $Θ_{\mathsf p_μ}\widetilde{h}_a|_{t=1}$ is, up to a normalization, the single-row Macdonald cumulant of Dolęga. We use these results to show that $Θ_{\mathsf p_μ}\widetilde{h}_a|_{t=1}$ and $Θ_{\mathsf e_λ}\widetilde{h}_a|_{t=1}$ are both sums of vertical-strip LLT polynomials indexed by certain plane trees. The former further shows that single-row Macdonald cumulants are LLT-positive, thereby yielding a stronger form of the higher-order Macdonald positivity conjecture of Dolęga when all shapes are single rows.

We prove that, whenever $ p \ge n^{-1/2 + o(1)} $, with high probability $ G(n, p) $ admits a fractional triangle decomposition, that is, a non-negative weight function on its triangles for which the total weight of all triangles containing each edge is equal to 1. This bound on $ p $ is optimal up to the asymptotic error term, improving upon the recent state of the art, due to Mahabaduge and Simkin, that $ p \ge n^{-4/11 + o(1)} $ suffices. Our main tool is a deterministic theorem guaranteeing the existence of fractional clique decompositions in all hypergraphs satisfying suitable `clique-regularity' properties. We prove this by analysing an extension (and generalisation to hypergraphs) of an algorithm proposed by Mahabaduge and Simkin, in which, at each time step, the discrepancy at each edge is spread among its containing triangles. By showing the concentration of the relevant quantities in random $ k $-uniform hypergraphs, we obtain for all $ k \ge 2 $ and $ r \ge k + 1 $ that w.h.p. $ G^{(k)}(n, p) $ admits a fractional $ K^{(k)}_r $-decomposition whenever $ p \ge n^{-\frac{r - k}{\binom{r}{k} - 1} + o(1)} $, which improves upon results of Delcourt, Kelly, and Postle, and is best possible up to subpolynomial factors.

Billera, Jia, and Reiner (2009) introduced the quasisymmetric functions of matroids and showed that this defines a Hopf algebra homomorphism which is a valuative invariant, i.e., isomorphic matroids have the same quasisymmetric function and polytopal subdivisions of matroid base polytopes define relations among the corresponding quasisymmetric functions. In this project we study an analogue in non-commuting variables, the word-quasisymmetric functions. To every matroid $M$ we associate a word-quasisymmetric function $ψ(M)$ and call this the chromatic word-quasisymmetric functions of a matroid. Matroids and word-quasisymmetric functions form Hopf algebras, and our map $ψ$ between them is a homomorphism. We want to study the kernel, equivalently the image, of the map $ψ$ from matroids to word-quasisymmetric functions, that is, we would like to understand which matroids are indistinguishable by the chromatic word-quasisymmetric functions. The map $ψ$ is not an invariant, but we can show that it is valuative. Using Schubert matroids and nested matroids, special classes of matroids, we prove a lower bound of $2^d-d$ for the rank of the map $ψ$ from matroids to the chromatic word-quasisymmetric functions in degree $d$ and conjecture the upper bound of $d!$ is tight.

In this paper, we establish a general identity for three-term recurrence sequences and then give applications to orthogonal polynomials and Apéry-like numbers.

For a $3$-graph $F$, the Turán number of $F$, denoted by $\ex(n,F)$, is the maximum number of edges in a $3$-graph on $n$ vertices containing no subgraph isomorphic to $F$. Let $F^-_{4,3}$ be the $3$-graph formed by a complete four-vertex core and three outer vertices, with all but one of the twelve triples containing one core vertex and two outer vertices. We prove that, for every $n\ge8$, \[ \ex(n,F^-_{4,3})=\binom n3-\binom{\lfloor n/2\rfloor}{3}-\binom{\lceil n/2\rceil}{3}, \] and the balanced complete bipartite $3$-graph is the unique extremal configuration. This determines the exact value and all equality cases in the asymptotic theorem of Mubayi and Rödl. It also extends the exact Turán Number of $F_{3,3}$ and resolves a conjecture of Frankl, Huang and Rödl.

We present various ways of determining generalized weight polynomials of a matroid $M$, and we recall how one can find the generalized weight spectra of a linear code, given these polynomials, for the matroid determined by any generator matrix of the code. A main goal is to give coding theorists different ways to determine these polynomials. We describe how one can find the generalized weight polynomials of any matroid $M$, directly from its lattice of flats, and we also show how one can find them from the Poincare series (in this case polynomials) of the associated Orlik-Solomon algebras of matroids arising as contractions of the flats of $M$. This opens for using information about broken circuits of the matroids to determine generalized weight polynomials. We also recall the well-known connection between the Orlik-Solomon algebra of a matroid, and Whitney numbers obtained by order homology, and use it to show how one can describe weight polynomials in terms of Whitney numbers from order homology of the matroid and its contraction of flats. We recall briefly a well-known relation between the Orlik-Solomon algebra of a matroid $M$, which is representable over the complex numbers, and de Rham homology numbers obtained from complements of intersections of hyperplanes in a hyperplane arrangement corresponding to $M$. We also describe a way to find the generalized weight polynomials of a matroid in terms of polynomials defined in connection with its lattice of cyclic flats. In a simple running example we show how one can calculate the generalized weight polynomials in different ways, including both the methods presented in this paper, and selected methods developed in earlier papers. We also include a less simple example with the projective Reed-Muller code $PR_3(2,2).$

Let $T_k(E)$ denote the set of congruence classes of ordered $k$-tuples of pairwise distinct points of $E$. Let $p\equiv3\pmod4$ be prime. For $E\subset\mathbb{F}_p^2$ with $3\leq|E|\leq p^{3/4}$, we prove that $|T_3(E)|\gg|E|^{11/6}$; for $4\leq|E|\leq p^{3/4}$, we prove that $|T_4(E)|\gg|E|^3/\log|E|$. For every fixed $k\geq5$ and $k\leq|E|\leq p^{3(k-2)/(3k-4)}$, we prove that $|T_k(E)|\gg_k|E|^{k-1}$. The proofs proceed by bounding the moments of the overlap function of rigid motions. The main inputs are an exact identity involving the distance energy and an incidence bound obtained by viewing rigid motions as lines over $\mathbb{F}_p(i)$. The bound for $k=4$ is sharp up to a logarithmic factor, while the bounds for $k\geq5$ are sharp up to constants.

How much information can a single neuron remember? How many memories can neural networks retrieve without creating false memories? These questions are related to a basic question: how many Boolean threshold functions $f(x)=\operatorname{sgn}(a_0+\langle a,x\rangle)$, $x\in\{-1,1\}^n$, are there? In this paper, we show that the number $T_n$ of distinct Boolean threshold functions is \[ T_n=2\binom{2^n-1}{n}\bigl(1+O(n^{-99})\bigr). \] Equivalently, the capacity of a single threshold neuron is $n^2-\log_2(n!)+1+O(n^{-99})$ bits, improving the $O(n)$ error term in the result of Kahn--Komlós--Szemerédi to $O(n^{-99})$. To prove this, we show that, for $1\le r\le n-1$, and $v_1,\ldots,v_r$ are chosen at random from $\{-1,1\}^n$, \[ \mathbb P\!\left\{ \langle v_1,\ldots,v_r\rangle\cap\{-1,1\}^n =\{\pm v_1,\ldots,\pm v_r\} \right\} =1-O(n^{-99}). \] In the context of the Kanter--Sompolinsky Hamiltonian for memory retrieval, this identifies $r=n-1$ as a sharp threshold, at which, for almost every collection of $r$ memories, the only ground states are these memories and their negatives, confirming a weaker form of the Kalai--Linial--Odlyzko conjecture. It also settles a recent open problem posed by M. Anthony on the specification number of Boolean threshold functions. In addition, we show that, for every $1\le r\le n-1$, \[ \mathbb P\{v_1,\ldots,v_r\text{ are linearly dependent}\} =2\binom r2\,2^{-n}+O\!\left(2^{-n}e^{-cn}\right), \] confirming a conjecture of Kahn--Komlós--Szemerédi.

Let $f(d)$ denote the smallest integer such that every bridgeless graph of diameter $d$ admits a strong orientation with diameter at most $f(d)$. It is known that $f(2)=6$ and $f(3)=9$. For $d=4$, the classical bounds of Chvátal and Thomassen [JCTB, 1978] imply $12\le f(4)\le40$, and subsequent work reduced the upper bound to 21. Very recently, Lin, Wang and You further established the substantially stronger bound $f(4)\le18$. Pushing this bound below $18$ turns out to be considerably more difficult, since the remaining extremal configurations cannot be handled by existing techniques based on $R-S$ orientations and related local constructions. In this paper, we prove that $f(4)\le16$. Our approach is entirely different from previous ones. Instead of constructing a strong orientation directly, we develop a sequential orientation framework together with auxiliary distance functions and a potential-function analysis. This enables us to control directed distances globally while avoiding the intricate case analysis required by earlier methods. We believe that the framework introduced here may be useful for studying oriented diameter problems of larger diameter.

We consider the Cartan square $V^{2λ}$ of a minuscule representation $V^λ$ of a simply laced complex simple Lie algebra $\mathfrak g$. We construct for $V^{2λ}$ a family of bases, which we call quiver bases, each indexed by the set $\operatorname{RPP}_2(P_λ)$ of reverse plane partitions of height two on the minuscule poset $P_λ$ of $V^λ$. Let $Q$ be a quiver on the Dynkin diagram of $\mathfrak g$, and let $c_Q$ be the corresponding Coxeter element. The quiver basis $\mathcal B^Q$ is distinguished by the following property: Up to sign, the action of the Tits representative $\dot c_Q$ on $\mathcal B^Q$ lifts the action of $c_Q$, via piecewise-linear toggles, on $\operatorname{RPP}_2(P_λ)$. This proves uniformly that, for any minuscule poset $P$, piecewise-linear Coxeter-motion and rowmotion on $\operatorname{RPP}_2(P)$ exhibit the cyclic sieving phenomenon. In type~$A$, the quiver basis for the standard orientation recovers, up to rescaling, the canonical basis, whose compatibility with the long cycle was established by Rhoades. In other types, however, we show the canonical basis is not compatible with any Coxeter element.

Building on the work of Pach, Rubin, and Tardos, we prove that every set of $n\ge2$ points in the real plane with no three collinear contains at least $cn$ pairwise crossing segments with distinct endpoints, for an absolute constant $c>0$.

We prove the coarse Erdős-Pósa conjecture of Georgakopoulos and Papasoglu. Informally, any graph either contains many fat cycles that are pairwise far apart, or there is a small number of bounded radius balls that together hit all of them. To be more precise, if $G$ is a graph with no $q$-fat model of $k \cdot K_3$ for some $q, k \in \mathbb{N}$, then there is a set $X\subseteq V(G)$ of $\mathcal{O}(k\log k)$ vertices such that every $q$-fat model of $K_3$ in $G$ has distance $\mathcal{O}(q)$ from $X$. In another form more closely resembling Manning's theorem that characterises quasi-trees: if $G$ is a graph with no $q$-fat model of $k \cdot K_3$ for some $q, k \in \mathbb{N}$, then $G$ is $\mathcal{O}(q)$-quasi-isometric to a graph $H$ that contains a set $X\subseteq V(H)$ of $\mathcal{O}(k\log k)$ vertices such that $H-X$ is a forest. Bootstrapping this result, we further prove that every graph with no $q$-fat model of $k \cdot K_3$ is quasi-isometric to a graph with no $k \cdot K_3$ minor, where the quasi-isometry can be chosen to only have additive distortion. This result also holds for $k = \infty$. We also obtain an Erdős-Pósa theorem for long induced cycles that are far apart.

Arrow patterns, introduced by Berman and Tenner, provide a unified framework for studying permutation classes where both one-line and cycle structure constraints are present. In this paper, we continue the systematic study of arrow pattern avoidance initiated by Archer and Laudone. We establish several structural results, including a key lemma that translates arrow patterns into vincular patterns under certain conditions, and derive a series of arrow-Wilf equivalences arising from reversal, complementation, and insertion operations. We also resolve the two cases $(12;3\to 3)$ and $(21;3\to 3)$ left open by Archer and Laudone, and enumerate the arrow patterns of the form $(ν; b\to c)$ of size $3$ with $ν\in \{31, 23, 32\}$ and $b,c\in [3]$, providing explicit formulas connecting the results to Bell numbers, Bessel numbers, Catalan numbers, and derangement numbers. Together with earlier work of Archer and Laudone, this leaves only $(32;1\to 3)$ unresolved for $|ν|\le 2$, which we pose as an open problem.

In this paper we introduce and explore the following new graph invariant: For a graph $G$ on $k$ vertices, $G \neq K_k$, let $st(n,G)$ denote the maximum number of edges in a graph of order $n$ which does not contain any subgraph on $k$ vertices strictly containing $G$. A basic relation to classical Turán numbers is developed via the following: For $G$ on $k$ vertices, let $D(G) = \{ H : |H| = |G|, H = G + e \}$. Using this notion we prove that $ex(n,G) \leq st(n,G) = ex(n, D(G) ) \leq \min \{ ex(n,H) : H \in D(G) \}$ holds for all $n \geq |G|$. The family $D(G)$ happened to be smoothly amenable to the use of classical extremal results, and in many cases allows us to get asymptotically sharp estimates as well as exact values of $st(n,G)$. From the many results proved here we state the following as an illustration. (1) If $χ(G) \geq 3$ and $χ(D(G)) = χ(G)$, then $st(n,G) = (1+o(1))ex(n,K_{χ(G)})$. (2) If $χ(D(G)) = χ(G) +1$, then $G$ is a complete $χ(G)$-partite graph and $st(n,G) = ex(n,K_{χ(G) +1})$ for $n$ sufficiently large. (3) For $k$ odd, $k\geq 5$, $st(n,C_k) = ex(n,C_k) = ex(n,K_3)$ for $n$ sufficiently large. (4) If $T$ is a tree of order $q$ with diameter $k \geq 2$ and $q \geq k+1 \geq 3$, then $ex(n, \{C_3,...,C_{k+1}\}) \leq st(n,T) \leq ex(n, \{C_3,...,C_{k+1}\}) + (q-1)n$. Many results concerning even cycles, theta graphs, dense bipartite graphs and graphs of the form $G = G^* \cup tK_1$ are obtained, moreover the value of $st(n,G)$ is computed for all graphs on at most 4 vertices.

We prove the Marcus-Minc conjecture: let n be any integer at least 2, and let A be a nonnegative n by n matrix whose row and column sums are all one. Form a new matrix by subtracting A from the n by n matrix of ones and dividing by n minus one. Then the permanent of A is at least the permanent of the new matrix. We also determine all equality cases.

For binary matroids \(M,N\) representable over a common field \(\F\), the Kronecker product of their \(\F\)-representations defines a matroid \(T_{\F}(M,N)\) independent of the chosen representations. We classify when this represented tensor product is regular, cographic, graphic, or binary. For simple nonfree factors, regularity holds exactly when, up to interchange, one factor is a cactus matroid and the other is outerplanar, or one is a triangular cactus matroid and the other is series--parallel. Cographicity holds exactly in the first case. For simple factors with nonempty ground sets, graphicity holds exactly when one factor is free and the other is graphic. For fixed factors, regularity, cographicity, and graphicity are independent of the common representation field, although the isomorphism type may vary with its characteristic. Products of at least three simple nonfree factors are nonregular.

Variable-weight geometric orthogonal codes (GOCs) were introduced by Doty and Winslow for designing the macrobonds in 3D DNA origami. Recently, Wang et al. introduced the concept of geometric difference families (GDFs) and established the equivalence between GOCs and a certain type of GDFs. Based on the relationship, Su et al. gave two classes of variable-weight GOCs. In this paper, we first prove the existence of (n*m,K,1)-GDFs for K ={3,5} and {3,6}. For further research, we completely determine the existence of all the remaining parameters for an (n*m,{3,4,5},1)-GDF by Su et al. As consequences, the perfect (n*m,K,1)-GOCs for K = {3,5}, {3,6} and {3,4,5} are obtained.

We present a new proof of a classical theorem of Dieudonné: if a linear space of $n\times n$ matrices consists entirely of singular matrices, then its dimension is at most $n^2-n$. Our proof is based on a surprising ``duality'' argument: we prove this universal upper bound by exhibiting a single matrix space that serves as a lower bound for a related problem. Interestingly, this approach only works for certain fields, but we use model-theoretic arguments to obtain the same result for all fields. We hope that this approach can be generalized to provide new duality-based proofs of other classical theorems on matrix spaces, and give some preliminary results in this direction.

In this paper, we investigate the existence of pairs of orthogonal quantum Latin squares, each with maximal cardinality. Using characters and full-rank factorizations of finite abelian groups, together with a product construction, we establish two infinite families of orders for which such pairs exist.

This paper studies the antichain polynomials of $[k]\times P$, where $P$ is a connected minuscule poset. We give a formula for the number of antichains, counted by size, of an arbitrary poset. Using this formula, we present necessary and sufficient conditions for the palindromicity of antichain polynomials for two infinite families of connected minuscule posets. We show that, for every connected minuscule poset $P$, if the antichain polynomial of $[k]\times P$ is palindromic, then it has only real and strictly negative zeros. This result, in particular, gives an affirmative answer to Ding-Dong's conjecture about $γ$-positivity of the antichain polynomial of $[k]\times P$. By constructing a bijection between antichains and labeled Dyck paths, we also give a layer-refined enumeration of the antichains in $[2]\times[m]\times[n]$. We establish a relation between such antichains and Clar covers of the hexagonal flakes $O(2,m,n)$, thus prove a conjectured determinantal formula for a family of Zhang-Zhang polynomials. Real-rootedness and stability results are also obtained when the shortest chain has length at most two. Finally, we present infinitely many connected Peck posets whose antichain polynomials are not unimodal, disproving the log-concavity conjecture of Ding and Dong.

Using refined absorption, we prove that for every integer $g\ge 1$ and real $γ> 0$, and for sufficiently large $n$, there exists an $n^{-1+γ}$-spread distribution on Latin squares of order $n$ and girth at least $g$ that have no proper subsquares. This implies a combinatorial proof of Hilton's conjecture from the 1970s (recently proved algebraically by Allsop and Wanless) that for all sufficiently large $n$, there exists a subsquare-free Latin square of order $n$; indeed, it implies there exist at least $n^{(1-o(1))n^2}$ subsquare-free squares. Simultaneously it also implies the existence of high girth Latin squares (recently proved by Kwan, Sah, Sawhney and Simkin) and even an $n^{-1+γ}$-spread distribution on high girth Latin squares.

We develop a Ramsey theory for leaf-generated subsets of finite products of trees. Our starting point is a Theorem of Furstenberg and Weiss which states that for every $k\geq 1$ and $α>0$, if $A$ is a subset of the leaves of $T_n$, where $T_n$ is the complete binary tree of height $n$, with size $|A|\geq 2^{αn}$, then for $n$ sufficiently large the ancestor closed sub-tree $T_A\subset T_n$ generated by $A$ must contain a copy of $T_k$ such that (1) all vertices in the same level of $T_k$ are mapped into vertices at the same level of $T_A$, (2) if a non-leaf vertex $x\in T_k$ is mapped into a vertex $y \in T_A$, then the two children of $x$ are mapped into descendants of the two children of $y$, and (3) the levels of $T_A$ occupied by the copy of $T_k$ form an arithmetic progression. For the product $T_n \times T_n$ of two binary trees, we show that for every $k\geq 1$ and $α> 1$, for $n$ sufficiently large, every subset $A$ of the leaves of $T_n\times T_n$ of size at least $2^{αn}$ has that its ancestor closure $Γ_A\subset T_n \times T_n$ contains similarly structured arithmetic copies of the height $k$ four-ary tree, where the four children of every non-leaf vertex in the source tree are required to map below the four distinct \textit{diagonal children} of the image vertex, where a diagonal child of a vertex $(x,y) \in T_n \times T_n$ is obtained by moving one level down each in each component. Our results generalise to product of $d$-many finite $b$-ary trees with a sharp critical exponent of \[ α_{\text{crit}}(d,b) =d-1 + \log_b(b-1).\] Geometrically, our results imply that any set $E\subset [0,1)^d$ of upper Minkowski dimension greater than $α_{\text{crit}}(d,b)$ contains arithmetic $b$-adic branching patterns of arbitrary finite order.

We prove that every $(2K_2,K_4)$-free graph is recolorable. Equivalently, for every such graph $G$ and every $\ell\geq χ(G)+1$, the reconfiguration graph of proper $\ell$-colorings of $G$, in which two colorings are adjacent if they differ on exactly one vertex, is connected. This resolves the final remaining open case in the classification of recolorable $(F_1,F_2)$-free graphs when $F_1$ and $F_2$ have at most four vertices.

Motivated by a word encoding of tree-child networks, we introduce trident tableaux, which are Young tableaux with a unique three-cell column satisfying certain conditions on successors. We construct a bijection between trident tableaux with $n+1$ columns and two-wall tableaux with $n$ columns, that is, two-row fillings with two designated columns in which vertical order is not imposed. The bijection matches the three-part decompositions of the two classes and shows that each class has cardinality $n(n+1)C_n/2$, where $C_n$ is the $n$-th Catalan number. In particular, it gives a trident-tableau interpretation of a shifted form of OEIS A002457. As a consequence, we obtain an exact enumeration of tree-child networks with one reticulation node that contain a trident, and show that their proportion among all tree-child networks with one reticulation node tends to $1/8$ as the number of leaves tends to infinity.

We classify the generators of stability-preserving semigroups on polynomial spaces with bounded coordinate degrees. The generators have differential order at most two, with principal coefficients characterized by low-degree nonnegativity conditions. In disk coordinates, positive degree damping gives strict zero-freeness and a sharp spectral gap, extending the Hermitian gap of Bravyi, Gosset, Liu, and Wong to complex generators. The resulting analytic domain yields deterministic classical algorithms for ground energies and stable product-state queries for bounded-degree Suzuki-Fisher Hamiltonians with bounded local strength and fixed positive fields. Field perturbation gives zero-field energy-value approximation schemes for bounded-degree unweighted EPR and bipartite Quantum MaxCut. We also prove that, up to scalars, the Hermitian qubit Hamiltonians whose full Gibbs tensors are Lee-Yang at every temperature in a fixed basis are precisely the edgewise phase-rotated Suzuki-Fisher family. With strictly positive longitudinal fields, these tensors are zero-free on a polydisk of radius greater than one at each positive inverse temperature. These two statements answer questions of Wong, Bravyi, Gosset, and Liu. Degree-preserving, coefficient-positive stability semigroups have concave sector growth rates, yielding token-graph concavity. We also give a counterexample to a proposed explicit ground-state radius.

We show that the uniform probability measure on copies of a nonempty graph $H$ in $K_n$ is $Cq_H\log(2e(H))$-spread, where $q_H$ is its graphic expectation threshold. Consequently, the fractional expectation threshold of $H$ is at most $Cq_H\log(2e(H))$. We remove the logarithmic factor for trees and for graphs whose average degree is at least the logarithm of their maximum degree. This proves the ``second'' Kahn-Kalai conjecture for these two classes, which encompass most of the standard families studied in random graph containment problems.

The booksize $\mathrm{bk}(G)$ of a graph $G$ is the largest number of triangles sharing a common edge. A classical theorem of Edwards, conjectured by Bollobás and Erdős, states that every $n$-vertex graph $G$ with $e(G)>e(T_{n,2})$ has booksize greater than $n/6$. Zhai and Lin [J. Graph Theory 102 (2023) 502--520] asked whether the same conclusion holds under the spectral condition $λ(G)>λ(T_{n,2})$, where $λ(G)$ is the spectral radius of the adjacency matrix. We answer this question in a strong form: every $n$-vertex graph $G\neq T_{n,2}$ with $λ(G)\geλ(T_{n,2})$ satisfies \[ \mathrm{bk}(G)\ge\max\Big\{\frac13λ(G),\,λ(G)-\frac n3,\,2λ(G)-n\Big\}. \] Consequently, the condition $λ(G)>λ(T_{n,2})$ forces $\mathrm{bk}(G)\ge\lfloor n/6\rfloor+1$. The middle term is a spectral improvement of Edwards' bound $\mathrm{bk}(G)\ge\frac{2m}{n}-\frac n3$, and all three bounds are best possible. These results come from the edge-spectral setting: every graph $G$ with $m$ edges and $λ(G)\ge\sqrt m$ that is not a complete bipartite graph satisfies \[ \mathrm{bk}(G)\ge\max\Big\{λ(G)-\frac{2m}{3λ(G)},\,2λ(G)-\frac{2m}{λ(G)}\Big\}, \] which strengthens the bound $\mathrm{bk}(G)\ge\frac13λ(G)$ of Zhao, You, Zeng and Zhang. As an application of our method, we prove a triangle counting bound $t(G)\ge\frac13(λ(G)+1)(λ(G)^2-m)$, which improves the result of Bollobás and Nikiforov [J. Combin. Theory Ser B. (2007)]. Finally, we prove stability results at both thresholds: if $λ(G)\ge(\frac12-o(1))n$, then either $\mathrm{bk}(G)\ge(\frac16-o(1))n$ or $G$ can be made into $T_{n,2}$ by adding and deleting $o(n^2)$ edges; if $λ(G)\ge(1-o(1))\sqrt m$, then either $\mathrm{bk}(G)\ge(\frac13-o(1))\sqrt m$ or $G$ differs from a complete bipartite graph in $o(m)$ edges.

A family $\mathcal F$ of finite subsets of $\mathbb Z$ is packed into $[N]$ if suitable integer translates of its members are pairwise disjoint subsets of $[N]$. We study two prescribed-difference packing problems of Alon, Dębski, Grytczuk and Przybyło for the arithmetic progressions $A_d=\{d,2d,\ldots,\lfloor n/d\rfloor d\}$ and $B_d=\{d,2d,\ldots,nd\}$. Let $m(n)$ and $M(n)$ denote the corresponding minimum packing lengths, with subscripts indicating restrictions on the admissible differences, and let $\mathcal P(x)$ denote the set of primes at most $x$. The key ingredient is a residue-class selection scheme that encodes pairwise intersection constraints by cyclic intervals. A lattice-covering argument yields a simultaneous admissible choice, permitting substantial overlap of the containing intervals and providing the sharp upper bounds needed for the bounded-diameter family and the prime-difference equal-cardinality family. For the bounded-diameter family, we prove $m(n)\sim m_{\mathcal P(\sqrt n)}(n)\sim 4n^{3/2}/(3\log n)$. For the equal-cardinality family with prime differences, we prove $M_{\mathcal P(n)}(n)\sim n^3/(6\log n)$. For the full equal-cardinality family, we show $M(n)\ge \left(\frac{19}{108}-o(1)\right)n^3/\log n$. Together with corresponding estimates for restricted ranges of differences, these results prove several conjectures of Alon--Dębski--Grytczuk--Przybyło and disprove others.

Turán's Tetrahedron Problem asks to determine the Turán density of the complete hypergraph $K_4^{(3)}$ (tetrahedron). This problem, posed by Turán in 1941, is one of the most famous problems in extremal combinatorics and its solution would attract \$500 prize from Erdős. In the 1980s, Erdős and Sós asked to determine Turán densities of $K_4^{(3)-}$ (broken tetrahedron) and $K_4^{(3)}$ (tetrahedron) when edges are constrained to be uniformly distributed in the host hypergraph. The presumably easier case of the broken tetrahedron was solved by Glebov, Král' and Volec [Israel J. Math. 211 (2016), 349-366] and Reiher, Rödl and Schacht [J. Eur. Math. Soc. 20 (2018), 1139-1159]. We solve the tetrahedron case by proving that the uniform Turán density of $K_4^{(3)}$ is equal to 1/2; this confirms that Rödl's lower bound construction from 1986 is optimal.

Let $G$ be a compact, connected, simply connected semisimple Lie group with Weyl group $W$ and simple reflections $S$. For a simplicial complex $\mathcal K$ on $S$, form the homotopy colimit $X_{\mathcal K}(G)=\operatorname*{hocolim}_{I\in\mathcal K}G/G_I$ of standard partial flag manifolds. We compute its integral homology. If $\operatorname{Des}_R(w)$ is the right descent set of $w\in W$ and $\ell(w)$ its Coxeter length, then $$ H_n(X_{\mathcal K}(G);\mathbb Z)\cong \bigoplus_{w\in W}\widetilde H_{n-2\ell(w)-1}(\mathcal K_{\operatorname{Des}_R(w)};\mathbb Z). $$ Thus the induced subcomplexes of $\mathcal K$ supply the topological data, while the Weyl group determines which subcomplex occurs and the Schubert-degree shift. The proof gives a chain-level splitting and an integral Morse reduction. We derive homotopy detection, duality and rigidity results, and recover polyhedral products, matroid--Tutte formulas, and the adjoint sphere as special cases.

We prove the Lonely Runner Conjecture for fourteen and fifteen runners. Our proof combines a stronger bound on the speed product in a primitive counterexample with exhaustive computations modulo primes. To obtain the bound, we work with a projected lattice basis and use cases of the conjecture with fewer runners to bound partial sums of its squared Gram-Schmidt lengths. For fifteen runners, the product bound derived from the work of Malikiosis, Santos, and Schymura gives a logarithmic threshold of about $810$; ours reduces this to about $415$, making the computation feasible. For fourteen runners, the new bound reduces the required number of primes from $111$ to $61$. The computations start with a complete two-branch covering search, followed by binary lifting. Since $14$ and $15$ are composite, the polynomial argument used in earlier work does not apply directly. We finish the fourteen-runner case by a direct search. For fifteen runners, we use the factorisation $15=3\cdot5$ and a shifting argument when all but a few speeds share a common divisor. The code and certificates are publicly archived.

For an edge $uv$ of a finite simple graph $G$, its imbalance is $|d_G(u)-d_G(v)|$, and the imbalance multiset $M_G$ consists of the imbalances of all edges of $G$. Kozerenko and Skochko conjectured that $M_G$ is graphic whenever every edge has positive imbalance. We prove this conjecture. The main ingredient is the following capacity bound: for every set $A$ of $k$ edges, \[ \sum_{e\in E(G)\setminus A}\min\{k,\operatorname{imb}_G(e)\} \ge k\max\{Δ-k,0\}, \] where $Δ$ is the maximum degree of $G$. This bound yields all Erdős--Gallai inequalities directly; a parity computation completes the proof.

We define a quantum graph to be vertex-transitive if the join of its automorphism group is the maximum quantum relation on its quantum vertex set, in direct analogy with the classical case. All simple quantum graphs in $M_2(\mathbb C)$ are vertex-transitive, but many simple quantum graphs in $M_3(\mathbb C)$ are not vertex-transitive. We provide a complete classification of vertex-transitive quantum graphs in $M_3(\mathbb C)$ up to isomorphism. To do this, we introduce a polynomial invariant for quantum graphs in $M_n(\mathbb C)$, which we call the panoramic polynomial.

We study a finite form of the classical interval discrepancy problem. Starting from the unit interval, one repeatedly splits an existing interval into two until $n$ intervals have been produced. The discrepancy of such a process is the maximum, over all intermediate stages, of the ratio between the longest interval and the shortest interval. A theorem of de Bruijn and Erdős from 1949 shows that this ratio must approach $2$ as $n\to\infty$, and they give a sharp construction achieving this bound. For fixed $n$, their construction gives the upper bound $\operatorname{disc}(n)\leq 2-\frac{3}{2n}+O\bigl(\frac 1{n^2}\bigr)$. In this paper, we prove that $\operatorname{disc}(n)=2^{1-1/\lceil n/2\rceil}=2-\frac{4\ln 2}{n}+O\bigl(\frac 1{n^2}\bigr)$ for every $n$.

Building on an earlier result of the author together with Elsholtz, Führer, Füredi, Pach, Simon and Velich, we present an improved construction for a line-free set in $\mathbb{F}_p^3$, showing that $r_p(\mathbb{F}_p^3)\ge (p-1)^3+\frac18 p^{3/2} - O(p)$ as $p\to \infty$. This results in the first superlinear-term improvement over the standard hypercube construction $\{0,1,\ldots,p-2\}^3$. Via complementation, a line-free set in $\mathbb{F}_p^3$ corresponds to a $2$-blocking set in the affine geometry $AG(3,p)$, hence we also obtain an upper bound of $3p^2-\frac18p^{3/2}+O(p)$ on the smallest size of such a $2$-blocking set.

In this paper, we provide a combinatorial characterization of the elements of Schur ultrafilters on countable commutative groups. Using this characterization, we construct a Schur ultrafilter on $\mathbb Z$ that is not infinitary Schur. Moreover, assuming the Continuum Hypothesis, we establish the existence of Schur P-points in $β(\mathbb Z)$. On the other hand, it is consistent with ZFC that there exist P-points in $β(\mathbb Z)$, but none of them are Schur. Also, we extend the result of Fernández-Bretón, Navarro-Castillo, and Soria-Rojas by showing that no Schur ultrafilter on $\mathbb Z$ is a Q-point.

The Menichetti-Kaplansky theorem states that a finite semifield that is three-dimensional over its center is either a field or a twisted field of Albert. This implies that a quadratic homogeneous bijection of $\mathbb{P}^2(\mathbb{F}_q)$ is equivalent to a Dembowski-Ostrom monomial. In this paper, we give a large class of semiquadratic homogeneous bijections of $\mathbb{P}^2(\mathbb{F}_q)$ that are inequivalent to Dembowski-Ostrom monomials. Using these bijections, we construct a large family of commutative semifields that are non-isotopic to finite fields or twisted fields, which in turn give rise to a large family of non-Desarguesian commutative semifield planes. Semiquadratic homogeneous bijections of $\mathbb{P}^1(\mathbb{F}_q)$ have been classified only recently by the first-named author, and Ding and Zieve with the result that all such bijections are either equivalent to Dembowski-Ostrom monomials or degenerate. We demonstrate that this is not the case for $\mathbb{P}^2(\mathbb{F}_q)$.

A family of subsets of a $t$-set is a \emph{$d$-cover-free family} or $d$-CFF if no subset in the family is contained in the union of any $d$ other subsets. Let $t(d, n)$ denote the minimum $t$ for which there exists a $d$-CFF on a $t$-set with $n$ subsets. Since a $1$-CFF is the same as a Sperner family, using Sperner's theorem, we get $t(1, n) \sim \log_{2}(n)$ as $n$ grows. Erdös, Frankl, and Füredi (JCTA, 1982) proved that $3.106\log_{2}(n) < t(2,n) < 5.512\log_{2}(n)$. This paper focuses on generalizing $1$-CFF and $2$-CFF using a graph $G$ where vertices correspond to subsets in the set system. A $G$-Sperner$(t, n)$ is a family of subsets of a $t$-set such that each edge of $G$ specifies a pair of subsets not contained in each other, where as a $G$-CFF$(t, n)$ is a family of subsets of a $t$-set such that it is $G$-Sperner and the union of a pair of subsets corresponding to each edge of $G$ does not contain any other subset in the family. Let $t_s(G)$ and $t(G)$ denote the minimum $t$ for which there exist a $G$-Sperner$(t, n)$ and a $G$-CFF$(t, n)$, respectively. In this way, $t_s(K_n) = t(1, n)$ and $t(K_n) = t(2, n)$. Firstly, we prove $t_s(G) = t(1, χ(G))$ for any simple graph $G$ and provide various upper and lower bounds for $t(G)$. The \emph{trivial bound}, $t(1, n) \leq t(G) \leq t(2, n)$ holds for any simple graph $G$ with no isolated vertex, with the lower bound tight for an infinite family of star graphs and the upper bound tight for complete graphs. We study when these bounds can be improved and give better constructive upper bounds for families of graphs such as stars, paths, cycles, wheels, and windmill graphs. In particular, a construction based on mixed-radix Gray codes yields $\log_{2}(n) \leq t(P_n) \leq t(C_n) \leq 1.893\log_{2}(n) + \mathcal{O}(1)$ where $P_n$ and $C_n$ are paths and cycles with $n$ vertices.

Majorization inequalities for symmetric polynomials have interested mathematicians for centuries, from the AM-GM inequality for two variables going back at least to Baudhāyana's Śulbasūtra and Euclid's Elements in the first millenium BCE, through classical results of Newton, Muirhead and Gantmacher, to more recent extensions to Schur polynomials and zonal spherical functions. These have been established case by case, with no unified approach. Although it is known that majorization inequalities follow from symmetry and convexity in the indexing partition, the difficulty of proving convexity in specific cases has left a number of outstanding conjectures inaccessible until now. The key insight of this paper is that log-convexity provides a more versatile tool and a unifying principle. It implies convexity and hence majorization, and it is preserved under multiplication and weighted averaging, making it well suited to inductive arguments in a wide range of settings. Using this idea, we prove new majorization inequalities for Macdonald polynomials, Jack polynomials and Heckman-Opdam hypergeometric functions, unifying existing results and resolving several open conjectures.

An inclusion of nonvoid simplicial complexes induces an arrow of polyhedral products. Applying Ayzenberg's polyhedral join to both complexes gives a symmetric relative join operad. Its endpoint suboperads recover Abramyan--Panov substitution and Ayzenberg composition. Neither endpoint operad nor either relative join operad is finitely generated. The suboperad with nonvoid lower complex arises as the nonempty power-set quotient of the subset-inclusion operad. When tensoring preserves colimits of nonempty finite diagrams, the suboperad acts on arrows by polyhedral colimits up to coherent natural isomorphism. The action induces a set-operad algebra on isomorphism classes of arrows. The dual construction produces Stanley--Reisner quotient arrows, and the colimit action refines Eldridge's loop-space decomposition to arrows. PL ball--boundary pairs form a suboperad of the relative join operad, and minimal interior faces give an operad morphism. Principal pairs have odd-dimensional spherical moment-angle homotopy fibers and yield a closure result for Eldridge's loop-space class.

We study a local post-processing rule for maxmin (farthest-point) landmark selection in lazy witness persistence. Maxmin landmarks induce nearest-landmark cells. Within each cell, the landmark is moved toward a data point of maximum empirical halfspace depth, with smaller moves in sparsely populated cells, and is then projected back to a data point in the same cell. The resulting support-weighted rule preserves one landmark per original maxmin cell. We prove a convex-core guarantee for the depth target and explicit worst-case cover bounds for the recentered landmarks. Experiments on planar synthetic loops and 120 MPEG-7 (Moving Picture Experts Group 7) silhouettes separate average landmark fit from extremal coverage. On the synthetic benchmark, recentering reduces mean nearest-landmark distance in all 900 matched trials; after aggregation over landmark budgets, the mean change is $-0.0138$ across 300 dataset/noise/seed blocks, while maximum cover increases by $0.0067$ on average and a thresholded first homology ($H_1$) count is unchanged. On MPEG-7, the image-level mean distance decreases for all 120 silhouettes, while maximum cover increases for 118. Thus the correction consistently improves average landmark representativeness but does not improve worst-case coverage; on the controlled synthetic benchmark, this trade-off occurs without a detectable change in the coarse $H_1$ summary.

Roman-type domination parameters form an important class of graph invariants that model protection and resource allocation problems on networks. Among them, $[k]$-Roman domination provides a unified framework that generalizes Roman, double Roman, and higher-order variants. In this paper we investigate the $[k]$-Roman domination number of cylindrical grids $C_m\Box P_n$ and derive several new constructive upper bounds. Our approach combines three complementary techniques: linear periodic constructions, uniform ceiling-type labelings, and packing-based refinements. We first analyze the case $C_9\Box P_n$, where these three families of bounds can be compared explicitly and their relative efficiency is shown to depend on the parameter $k$. We then extend the linear constructions to cylindrical grids whose circumference is a multiple of one of the values $3,\dots,9$, obtaining a unified family of upper bounds for $C_{rt}\Box P_n$. Motivated by the asymptotic behavior of these estimates, we further derive general upper bounds depending only on the residue class of $m$ modulo $5$, which apply to all cylindrical grids. As a consequence, we obtain explicit estimates for the double Roman domination number $γ_{[2]R}(C_m\Box P_n)$ and compare the resulting multiple-based constructions with the residue-class bounds. This comparison shows that the residue-class construction becomes asymptotically superior for all sufficiently large admissible circumferences, while several exceptional small cases remain better covered by tailored constructions.

In this paper, we study the $[k]$-Roman domination number of cylindrical graphs $C_m \Box P_n$. Our analysis begins with a general lower bound based on local neighborhood constraints. We show that $γ_{[kR]}(C_m\Box P_n) > \frac{(k+1)mn}{5}.$ By exploiting the connection between $[k]$-Roman domination and efficient domination, we characterize the cylindrical graphs for which the extremal local configuration \(f(N[x])=k+1\) for every \(x\in V(C_m\Box P_n)\) can occur. We show that this happens precisely for so called efficient graphs. For fixed small values $m\in\{5,\ldots,8\}$, we construct explicit periodic $[k]$-Roman dominating functions that yield sparse upper bounds. These constructions are complemented by a general uniform upper bound and by packing-refined bounds. A systematic comparison of the resulting bounds shows how their relative strength depends on the parameter $k$ and on the length of the path.

We derive new formulas for the Jones polynomial and the Kauffman bracket polynomial of a rational link represented by a standard diagram that is not necessarily alternating. These formulas generalize the results of Qazaqzeh, Yasein, and Abu-Qamar for the Tutte polynomial of the Tait graph of an alternating diagram of a rational link, as well as the matrix formulas of Lawrence and Rosenstein for the Jones polynomial of a rational link. Our approach uses the colored version of Brylawski's tensor product formula for Tutte polynomials of colored graphs, due to Diao, Hetyei, and Hinson. Furthermore, generalizing the formulas of Qazaqzeh, Yasein, and Abu-Qamar, we present a finite automaton that computes the crossing signs, thereby enabling the calculation of the writhe of a standard diagram of a rational link.

Roman domination and its higher-order extensions have attracted considerable attention due to their natural interpretation in terms of defensive resource allocation on networks. The recently introduced $[k]$-Roman domination framework unifies classical Roman, double, triple, and higher-strength protection schemes by allowing each fortified vertex to provide up to $k$ levels of support. In this paper, we investigate the $[k]$-Roman domination number $γ_{[k]R}(G)$ on cylindrical grids $C_m \Box P_n$. We relate $[k]$-Roman domination to efficient domination and establish exact values for regular graphs admitting an efficient dominating set; as a consequence, we obtain explicit values for broad families of toroidal grids and determine exactly when the cylindrical graphs $C_m\Box P_n$ admit an efficient dominating set. Building on these structural insights, we derive several upper bounds for $γ_{[k]R}(C_m \Box P_n)$ for small fixed values of $m$, accompanied by explicit labeling patterns that attain these bounds. All obtained bounds are systematically compared, revealing parameter ranges in which different constructions dominate depending on the value of $k$ and the length of the path. In addition, we present exact packing numbers for selected cylindrical graphs, which complement the domination results and enable further refinements via local weight reductions. Our results extend and unify known domination-type parameters on grid-like structures and highlight new regularities that emerge as the reinforcement strength increases.

We determine the summands of the decomposition theorem for the Hitchin system for $\mathrm{GL}_n$, in arbitrary degree, over the locus of reduced spectral curves. The key ingredient is an equivariant formula for lattice point counts in graphical zonotopes.

We give explicit constructions of Fourier transforms for cyclic and symmetric groups over finite fields of characteristic $p$. For a cyclic group of order $N$ in the modular case $p \mid N$, we factor $x^N-1$ and use Bézout's identity to construct a Fourier transform and its inverse. For the symmetric group $S_n$ in the modular case $p \mid n!$, we compute the Peirce decomposition from central primitive orthogonal idempotents, obtaining a change-of-basis matrix that generalizes the DFT. We also construct unitary realizations of the Specht representations of $S_n$ over finite fields by computing an invariant Hermitian form and factoring its Gram matrix using an extended Cholesky decomposition. These representations provide the matrix coefficients for a unitary DFT in the semisimple case $p \nmid n!$. All constructions are implemented in SageMath.

Recombining trinomial trees are a workhorse for modeling discrete-event systems in option pricing, logistics, and feedback control. Because each node stores a state-dependent quantity, a depth-$D$ tree contains $3^D$ raw trajectories, making exhaustive enumeration rapidly infeasible. However, when each node's value depends only on its position, a raw trajectory's aggregate is determined by its position-visit counts. We call these count vectors cardinality tuples and decompose the admissible tuples into weak-composition mass layers. Leveraging these structures, we introduce a mass-shifting enumeration algorithm that slides integer ``masses'' through cardinality tuples to generate exactly one representative of each path-equivalence class, while the accompanying weak-composition bijections yield exact counting formulas for the generated families. This suppresses redundant raw-path orderings a priori rather than enumerating and deduplicating them afterward. For the full-tuple implementation, we prove an output-sensitive running-time bound at each fixed endpoint, together with a uniform worst-case upper bound $\mathscr{O}(D2^D)$ and an exact worst-case exponential growth base of $2$, compared with base $3$ for exhaustive raw-path enumeration. Thus the construction achieves a provable exponential reduction in the enumeration space, up to polynomial factors. The same framework also recovers the information compressed by the equivalence classes: we derive an exact degeneracy formula for the number of raw paths represented by every cardinality tuple. We further prove that the nonnegative return specialization is exactly the classical Motzkin family, recover its recursive and generating-function structure and the Dyck specialization, and derive a multivariate occupation-profile $J$-fraction whose coefficients recover the corresponding cardinality-tuple degeneracies.

For positive integers $n,d$, let $λ(n,d)$ be the minimal number of vertices of a triangulation of the $n$-sphere which admits a degree $d$ simplicial map onto the boundary of the $(n+1)$-simplex. We show that for $h=\lfloor\frac{n+1}2\rfloor$, the function $λ(n,d)^h$ has linear order of growth in $d$, answering a question of O. Musin. All triangulations we obtained are isomorphic to boundaries of convex polytopes in $\mathbb{R}^{n+1}$.

In the field of constraint satisfaction problems (CSP), a clause is called redundant if its satisfaction is implied by satisfying all other clauses. An instance of CSP$(P)$ is called non-redundant if it does not contain any redundant clause. The non-redundancy (NRD) of a predicate $P$ is the maximum number of clauses in a non-redundant instance of CSP$(P)$, as a function of the number of variables $n$. Recent progress has shown that non-redundancy is crucially linked to many other important questions in computer science and mathematics including sparsification, kernelization, query complexity, universal algebra, and extremal combinatorics. Given that non-redundancy is a nexus for many of these important problems, the central goal of this paper is to more deeply understand non-redundancy. Our first main result shows that for every rational number $r \ge 1$, there exists a finite CSP predicate $P$ such that the non-redundancy of $P$ is $Θ(n^r)$. Our second main result explores the concept of conditional non-redundancy first coined by Brakensiek and Guruswami [STOC 2025]. We completely classify the conditional non-redundancy of all binary predicates (i.e., constraints on two variables) by connecting these non-redundancy problems to the structure of high-girth graphs in extremal combinatorics. Inspired by these concrete results, we build off the work of Carbonnel [CP 2022] to develop an algebraic theory of conditional non-redundancy. As an application of this algebraic theory, we revisit the notion of Mal'tsev embeddings, which is the most general technique known to date for establishing that a predicate has linear non-redundancy. For example, we provide the first example of predicate with a Mal'tsev embedding that cannot be attributed to the structure of an Abelian group, but rather to the structure of the quantum Pauli group.

Nut graphs are graphs whose adjacency matrix is singular with one-dimensional null space spanned by a vector with no zero entries. In a recent paper, Bašić, Fowler and Pisanski proved that the automorphism group of a nut graph has more orbits on the edge set than on the vertex set. They classified all orders for which a vertex-transitive nut graph with precisely two edge orbits exists, and conjectured that a nut graph with two vertex and three edge orbits exists for each non-prime order $n \ge 9$. Motivated by this conjecture, we introduce a very general construction that provides graphs with the desired symmetry properties, and we determine some sufficient spectral and structural conditions under which they are nut graphs. The construction yields infinite families of examples and confirms the above conjecture for all odd non-prime orders up to $2\,500$ and for at least $99.8$ percent of all odd non-prime orders up to a million. Finally, we present some additional interesting examples of nut graphs with two vertex and three edge orbits that do not arise from this construction.

In this paper, we give explicit expressions about $q$-harmonic sums on $1-\cdots-1,A,1-\cdots-1$ indices. The case $A=1$ has been extensively studied, and a variety of identities, explicit evaluations, and structural properties are known. Likewise, numerous explicit evaluations are available for $q$-multiple zeta values and $q$-harmonic sums with uniform indices $A-\cdots-A$. Although several methods are available for treating non-uniform indices, explicit evaluations for the pattern $1-\cdots-1,A,1-\cdots-1$ remain comparatively scarce. The case $A=2$ was settled only recently. Here we extend this framework to the general case $A\ge3$ and obtain explicit formulas in terms of binomial coefficients and degenerate Bernoulli numbers.

In this paper we build a bijection between the meet-irreducible elements of the lattice of the compositions of $n$ with parts in $[1,p]$ equipped with the dominance order, and the edges of the $(n,p)$-Turán graph. Using this bijection, we then compute asymptotically the average value of some statistics on those meet-irreducible compositions.