arXiv++ Combinatorics

We consider quantum A-periods of local ${\mathbb P}^1 \times {\mathbb P}^1$, or equivalently the generating function of constant terms for powers of the Laurent polynomial $x + x^{-1} + y + y^{-1}$ where $x$ and $y$ are $q$-commuting variables. We derive a number of new representations for these rich combinatorial and algebraic objects. First, we find that the well-known TBA equation encodes not only the A-period itself but also higher diagonal modes of the corresponding noncommutative Laurent polynomials. Second, we obtain new formulas for the period in terms of continued fractions and related orthogonal polynomials, as well as a nontrivial explicit recursion allowing its efficient computation. Finally, we compute quantum corrections to the classical Picard-Fuchs equation, and observe that holonomicity of the classical period does not generalise to $q$-holonomicity of its quantum counterpart. Applications to random walks on the Cayley graph of the Heisenberg group, and related new approaches to more efficient generative AI systems, are outlined.

Inspired by the recent preprint of Ellenberg, Libedinsky, Plaza, Simental, and Williamson, we study the geometry of Richardson varieties whose associated Bruhat intervals are boolean posets. We define magic words for a Bruhat interval and prove that for intervals with magic words the associated Richardson variety is a tower of $\mathbb{P}^1$-s. We also prove that the Bruhat intervals consisting of the dyadically well-distributed permutations all have magic words. This gives a new proof that they form a boolean poset.

In this paper we study the Kleshchev multipartitions that label simple modules of certain cyclotomic Hecke algebras with parameters $1$ and $-1$. The $2$-residue statistic divides these multipartitions into blocks. We deduce a bivariate generating function for the blocks using representation theory. We also relate the generating functions of multipartitions in a fixed block to string functions associated by Kac and Peterson to irreducible highest weight modules of a type $A_1^{(1)}$ affine Lie algebra. By considering matrices formed by these generating functions, we reprove some results of Kac--Peterson on string functions using the Macdonald identities of Rosengren--Schlosser. As an application, we obtain new infinite product formulas for these generating functions.

We prove in the affirmative a conjecture of Brlek and Reutenauer (2003), which relates unambiguous rational sets to a well known result due to Khovanskii and Pukhlikov (1992) and independently to Lawrence (1990) on the valuations of the algebra spanned by the indicator functions of polyhedra.

Consider the bipartite Erdős--Rényi graph $\mathbb{G}(n,m,d/\sqrt{mn})$ at the critical sparsity $d = b\log(N)$ for some $b > 0$ with $N = n + m$, and constant aspect ratio $γ= n/m \geq 1$. We show that the spectrum of its centered and rescaled bi-adjacency matrix, whose limiting law is the Marčenko--Pastur (MP) distribution, is split into two phases: in the bulk, singular vectors are completely delocalized, while near the edges, singular vectors are semilocalized, with their mass concentrating on small disjoint balls, centered at vertices with extreme degrees. As $b$ decreases, we identify sharp thresholds for the emergence of outlier singular values. For explicit $b_{\rm R}^{\star}$ and $b_{\rm L}^{\star}$ as functions of $γ$, we prove that when $b > b_{\rm R}^{\star}$, there is no outlier outside the bulk; when $b_{\rm L}^{\star}< b < b_{\rm R}^{\star}$, only right outliers emerge; and when $b < b_{\rm L}^{\star}$, outliers are present on both sides, all with high probability. This removes an extra technical condition from our previous work arxiv:2508.01456, providing a complete characterization of the parameter space. In sparser regimes, in terms of left outliers, we provide some nontrivial generating mechanisms, demonstrating that local graph structure plays a key role in understanding extreme singular values. Our proofs rely on two technical inputs: (1) an entrywise local law in the MP bulk, where the deterministic equivalent of the resolvent depends on both variance profiles and normalized vertex degrees, different from the Gaussian setting; (2) spectral radius upper bounds for nonbacktracking matrices constructed from regularized random graphs, recently developed in arXiv: 2609.26615. Our results reveal fruitful phenomena for sparse random rectangular matrices at criticality, which are beyond the universality class of their Gaussian counterparts.

How large a square is needed to hold axis-parallel squares of prescribed side lengths? We give exact formulas for the optimal side through seven squares, with explicit constructions and geometric lower-bound proofs. For every $n\ge6$, the optimum for $n$ squares is a sum of at most $n-3$ of the prescribed side lengths. This bound is sharp on an open set of side lengths and yields the optimal Euclidean Lipschitz constant $\sqrt{n-3}$ of the optimum as a function of the $n$ side lengths.

We classify regular dessins on $K_{2^e,2^f}$ with nonmetacyclic colour-preserving automorphism group, retaining the two specified vertex rotations. We give nonredundant presentations and exact counts in both the abelian and nonabelian Frattini cases. For orientation- and colour-preserving isomorphisms, the number is $2^{2e-2}+16$ when $e=f\ge4$ and $3\cdot2^{2f-3}+16$ when $e>f\ge4$, with explicit counts for all smaller exponents. The construction uses a parity criterion in the abelian case and a uniquely determined odd quadratic root with two lifts in the nonabelian case. A dessin in the classification is reflexible exactly when its Frattini subgroup is abelian. All symmetric classes are circular. We determine every circular subfamily, including its face orders and genera; the circular count is $2^e+8$ on the diagonal and $2^{f-2}(2^{f-1}+1)+8$ off the diagonal for $e\ge f\ge4$.

We introduce a Schubert bialgebra $\mathcal{A}=\bigoplus_{n\geq 0}\mathbb{Z}[x_1,\ldots,x_n]$, in which polynomials in different numbers of variables multiply to zero and the coproduct splits the variables into two consecutive blocks, and study its graded dual $\mathcal{D}$, whose product is concatenation of weak compositions. The Schubert polynomials $\mathfrak{S}_u^n$ form a basis of $\mathcal{A}$; we give an explicit formula for the dual Schubert basis $Ξ_u^n$ of $\mathcal{D}$ via a transition formula to an elementary symmetric basis, and show that the Schubert structure constants $c_{u,v}^w$ are the coefficients of the coproduct of $\mathcal{D}$ in the dual Schubert basis. The product of $\mathcal{D}$ is then lifted to an associative product $\sqcup$ on the free abelian group $\mathcal{BRC}$ of bounded RC graphs, built from a transition map $\mathcal{Z}$ on RC graphs that realizes the Lascoux-Schützenberger transition formula and generalizes Little's bumping algorithm. Quotienting $\mathcal{BRC}$ by ideals coming from Demazure crystal equivalence, Nadeau-Tewari forest equivalence, and quasi-Yamanouchi equivalence yields manifestly positive Littlewood-Richardson rules for the dual Schubert, dual key, dual forest, and dual slide bases of $\mathcal{D}$. Read on $\mathcal{A}$, these are branching rules: enumerative formulas for splitting a Schubert, key, forest, or slide polynomial across two blocks of variables, and in the Schubert case they compute the Levi branching coefficients of Ressayre-Richmond for $\mathrm{GL}_p\times\mathrm{GL}_q\hookrightarrow\mathrm{GL}_{p+q}$.

A colouring of the vertices of a graph is conflict-free with respect to closed neighbourhoods if every closed neighbourhood contains a colour that appears on exactly one of its vertices. The colouring need not be proper. Every planar graph has such a colouring with four colours. Fabrici, Lužar, Rindošová and Soták conjectured that three colours always suffice. We disprove this conjecture. We give a simple gadget construction that turns every planar graph of chromatic number four into a planar graph with no such colouring with three colours. This also shows that it is NP-complete to decide whether three colours suffice for a planar graph. We also give a planar graph on $25$ vertices that needs four colours. Further, we give critical planar graphs on $25$ vertices with $52$ and with $51$ edges, an infinite family of plane triangulations that need four colours, and an infinite family of critical examples.

Asymptotic dimension is a large-scale invariant of metric spaces that was introduced by Gromov (1993). A major open problem in coarse graph theory asks whether, for every fixed graph $H$, the class of graphs excluding $H$ as a fat minor has bounded asymptotic dimension. A weaker conjecture asserts the same conclusion for graphs excluding $H$ as an induced minor. We substantially expand the range of graphs $H$ for which these conjectures are known to hold. Specifically, we prove bounded asymptotic dimension for the following classes of graphs: graphs excluding a fixed planar graph as a fat minor; and graphs excluding a fixed string graph as an induced minor. All of our results also hold for the stronger notion of Assouad--Nagata dimension, a refinement of asymptotic dimension. These results have a number of applications, two of which we mention here. First they imply that an induced minor-closed class is $χ$-bounded if and only if it does not contain some Burling graph. Second they imply that, in graph classes excluding a fixed planar graph as an induced minor, treewidth is polynomial in maximum degree.

We study the enumeration of planar hypermaps with several alternating boundaries. We first derive a peeling recursion with an arbitrary number of alternating boundaries and, in the two- boundary case, translate it into a functional equation for the corresponding generating function. Our main result is an explicit solution of this equation for m-constellations. In particular, we obtain a rational expression for the genus-zero two-point function, or cylinder generating function, with two alternating boundaries.

How many disjoint copies of some graph $H$ can appear in an induced subgraph of a strongly regular graph? We give upper and lower bounds that depend on the number of vertices in their boundary. This generalizes a result of Lou-Murin which bounds the independence number of a (hitherto still elusive) strongly regular graph with parameters $(99,14,1,2)$. The equality cases suggest alternative structural approaches for potential constructions of such a graph. We show, using computer searches, that one cannot impose certain additional natural conditions for some of the cases.

A line bundle is $\otimes$-generating if its powers generate the derived category of perfect complexes. Refining the derived Nakai--Moishezon criterion of Ito--Olander, we characterize $\otimes$-generating line bundles on proper toric varieties by a combinatorial criterion on the fan, leading to the notion of $\otimes$-generating fans characterizing $\otimes$-generating canonical bundles. Furthermore, we prove an analogue of Kleiman's criterion of ampleness for $\otimes$-generation. As applications, we provide several examples including: (i) smooth proper fourfolds with no $\otimes$-generating line bundle, by showing that products of two or more positive-dimensional proper toric varieties admit a $\otimes$-generating line bundle only when they are projective, (ii) families of smooth non-projective proper threefolds with $\otimes$-generating canonical bundles. Finally, we study subvarieties obstructing $\otimes$-generation of canonical bundles and implications to autoequivalences of derived categories.

The uniform intersection number of a finite group $G$, denoted by $ui(G)$, is the smallest positive integer $k$ such that the intersection of any $k$ distinct maximal subgroups of $G$ is equal to its Frattini subgroup. We determine the uniform intersection number of dicyclic, dihedral, and quasi-dihedral groups. We then investigate the uniform intersection number through the subgroup-based generating graph $\mathcal{G}(G)$ of a finite group $G$. We characterize the finite groups $G$ for which both the intersection number and the uniform intersection number are equal to two, and show that this condition is equivalent to $\mathcal{G}(G)$ being complete multipartite. We also classify finite groups in terms of the diameter, girth, and perfectness of $\mathcal{G}(G)$. Finally, we show that $\mathcal{G}(\mathbb{Z}_n)$ is Hamiltonian if and only if $n=p_1^{r}p_2^{r}$, where $r\geq 2$ and $p_1$ and $p_2$ are distinct primes.

We present compact SAT encodings and certifying exact solvers for boxicity and cubicity. The boxicity of a graph is the minimum dimension in which it is the intersection graph of axis-aligned boxes; cubicity is defined analogously using unit cubes. Grid-based formulations face a geometric discretization bottleneck, growing rapidly with the target dimension. We avoid this bottleneck by encoding the total order of interval endpoints in each coordinate. For an $n$-vertex graph and target dimension $d$, our boxicity encoding uses $O(n^2d)$ variables and $O(n^3d)$ clauses, both linear in $d$. Requiring the left- and right-endpoint orders to agree yields a cubicity encoding of the same asymptotic size. Satisfying models are decoded into independently checked geometric representations, while unsatisfiable instances used as lower-bound evidence carry mechanically verified DRAT certificates. In a controlled evaluation with 186 trials per encoding on standard and structured graph families, the order encoding solves 96.8% of trials, compared with 71.0% for the known grid formulation, and reduces mean PAR-2 time from 178.21 to 21.70 seconds. The pipeline also certifies exact values for several named graphs. We turn one such value into a reusable obstruction by proving that every Kneser graph $K(n,k)$ with $k\ge3$ and $n\ge2k+1$ contains an induced Desargues graph. The resulting lower bound, together with an explicit three-dimensional representation of $K(7,3)$, establishes $\operatorname{boxicity}(K(7,3))=3$. This disproves the conjecture of Caoduro and Sebo that $\operatorname{boxicity}(K(n,k))=n-k$ for all $k\ge3$ and $n\ge2k+1$.

Greenberger-Horne-Zeilinger (GHZ) states are multipartite entangled quantum states that play a central role in quantum information theory, with applications in quantum communication, cryptography, and distributed quantum computing. A major experimental goal is to create high-dimensional GHZ states using multiple entangled parties. Krenn, Gu and Zeilinger discovered a surprising bridge between these quantum-optical experiments and graph theory: certain photonic experiments can be represented by edge-coloured, edge-weighted graphs, and the dimension of the produced GHZ state equals the number of feasible monochromatic inherited vertex colourings. This led Krenn and Gu to conjecture that every GHZ graph with more than four vertices has dimension at most $2$. A counterexample would give a new high-dimensional multipartite GHZ construction, while a proof would clarify fundamental resource limitations in quantum optics. It is known that the conjecture holds for graphs of vertex connectivity at most $2$ [MFCS 2024], and that simple GHZ graphs with $n>4$ vertices have dimension less than $n/\sqrt{2}$ [Quantum 2024]. However, no general upper bound depending only on vertex connectivity was known. We prove that every simple connected GHZ graph $G$ with at least four vertices has dimension at most $2^{κ(G)-1}+\binom{κ(G)}{2}$, where $κ(G)$ is the vertex connectivity of $G$. We also prove new bounds in terms of edge connectivity and maximum degree.

We introduce a quadratic ancestor inequality for weighted spanning trees on finite undirected graphs and give two applications. First, for every finite $n$-vertex transitive graph, the expected distance in its uniform spanning tree (UST) between two independent uniform vertices is at least $\sqrt{n}-1$, resolving a conjecture in [Benjamini--Kozma, Comm. Math. Phys. 259 (2005), 257--286]. Second, we prove that the growth exponent of three-dimensional loop-erased random walk (LERW) is at least 3/2.

Given an edge-colored graph, the wild number measures how close the graph is to having a spanning tree in every color. We investigate this parameter for complete graphs and complete bipartite graphs, with particular emphasis on minimum proper colorings and equitable $2$-colorings. For complete graphs, we determine the full range of wild numbers attainable by equitable $2$-colorings and show that, although every value in this range occurs, the expected wild number of a uniformly random equitable $2$-coloring tends to $0$ as the order of the graph grows. For minimum proper colorings of $K_n$, we establish a general lower bound, determine the exact wild number for $3 \le n \le 12$, and conjecture that the lower bound is sharp for all $n$. We also develop structural conditions on ideal wild sets and use them to obtain upper bounds and analyze the performance of a natural greedy algorithm. For complete bipartite graphs, we prove a sharp upper bound for equitable $2$-colorings and determine the wild number exactly for minimum proper colorings. Finally, we apply these results to Cartesian products of complete graphs and complete bipartite graphs, obtaining lower bounds for the wild number under minimum proper and product colorings.

We show that, for any finite field $\mathbb{F}$ and positive integer $k$, a simple $\mathbb{F}$-representable matroid $M$ with sufficiently high rank contains a rank-$k$ flat which is either independent in $M$, or is a projective or affine geometry over a subfield of $\mathbb{F}$. This generalizes a result for matroids representable over prime fields due to the first two authors. As a corollary, we obtain a Ramsey theorem for matroids representable over a finite field $\mathbb{F}$. For an integer $k$, in any $2$-colouring of the points of an $\mathbb{F}$-representable matroid of sufficiently high rank, there is a monochromatic rank-$k$ flat.

We prove that the independence sequence of every sufficiently large forest is strictly barrier log-concave: whenever $i_{k+1}>i_k$, one has $i_k^2>i_{k-1}i_{k+1}$. Consequently, every common downward coefficient tilt is unimodal, with one order threshold valid simultaneously for all $0<t\le1$. As an application, we prove that every sufficiently large well-covered tree has a strictly log-concave independence polynomial. More generally, the latter conclusion holds for well-covered forests with sufficiently large matching number. Every sufficiently large forest with a palindromic independence polynomial is also strictly log-concave, with its modes at the central ranks. The proof establishes local coefficient-curvature estimates uniformly over forests of unbounded maximum degree and over activities tending to zero. Combined with the fixed-density theorem of Fang, Lu, Nevo, Yao, and Zheng, these estimates complete the strict log-concavity interval down to rank one through $\lfloor17α/25\rfloor$; the terminal fraction is inherited. The classical decreasing tail then yields the barrier property. A cumulative-coefficient corona theorem transfers barrier log-concavity of the base forest to full strict log-concavity of its leaf corona.

Bouc's hook cycles span the rational top homology of the matching complex of $K_{2k+1}$. We prove that their integral saturation quotient has exponent exactly $2^{\lfloor k/2\rfloor}$ for every $k\geq1$, and construct divided-power cycles attaining this bound. For $k\geq2$, the homology lattice is not isomorphic to the standard integral hook lattice as an $\mathfrak S_{2k+1}$-module. For circulant complexes, we determine the integral dihedral homology modules of $\operatorname{Ind}(C_{3s}^{s-1})$, $\operatorname{Ind}(C_{3s+1}^{s-1})$ and $\operatorname{Ind}(C_{3s+2}^{s-1})$, for $s\geq3$, $s\geq2$ and $s\geq3$, respectively, and classify the least scalar lifts of all primitive equivariant quotients to the rank-one module with trivial rotation and negative reflection. Tate localization relates prime-order gluing to fixed-point homology under a free, single-degree homology hypothesis. Explicit cycle subgroups separate saturation defects from obstructions to equivariant sections. For circulant independence complexes with jumps two and three, we prove an eight-periodic ordinary homotopy classification and a fixed-space obstruction to uniform representation suspensions. For every fixed nonempty bounded positive jump set, a finite-state construction gives a rational critical-face series.

We prove that every polynomial multicorrelation sequence arising from nilpotent actions admits a decomposition into a generalized nilsequence and a null-sequence. This resolves a long-standing question of Frantzikinakis concerning the structure of polynomial multicorrelation sequences of commuting transformations. Our proof builds upon ideas underlying the norm convergence theorem of Walsh.

Let $\mathfrak X$ be a commutative association scheme of class $d$ on $X$. We construct the generalized Johnson association scheme $\mathfrak J_{n,h}(\mathfrak X)$ on partial maps from $[n]$ to $X$ with domains of size $h$. For $1\le h\le n-1$, we prove that $\mathfrak J_{n,h}(\mathfrak X)$ has $(d+1)$-variate $P$- and $Q$-polynomial structures. In particular, its multivariate $Q$-polynomial property answers affirmatively a problem posed for generalized Johnson association schemes arising from finite Gelfand pairs. We also determine the primitive idempotents and the two eigenmatrices, expressing the first eigenmatrix as a product of an Eberlein polynomial and a multivariate Krawtchouk polynomial, and the second eigenmatrix as a product of a Hahn polynomial and a multivariate Krawtchouk polynomial. For the multivariate factors, we use Mizukawa--Tanaka $(d+1,2d+2)$-hypergeometric functions. In an appendix, we identify the normalized columns of the second eigenmatrix with the known spherical functions in the finite Gelfand pair case. We also discuss the orthogonality relations and the imprimitivity arising from partial maps with the same domain, and explicitly describe the multivariate $P$- and $Q$-polynomial structures inherited by the blocks and the quotient.

In 1985, Erd{ő}s, Frankl and F{ü}redi conjectured that the threshold $T(r)$ for the existence of an $r$-cover-free family with more members than points satisfies $T(r)=(1+o(1))r^2$. We confirm this conjecture by proving $T(r)\ge r^2+r+2$ for every $r\ge1$.

We completely classify connected Cayley graphs over finite abelian groups that exhibit perfect state transfer in Grover walks. First, we show that a Cayley graph over any finite group exhibiting perfect state transfer has valency $1$, $2$, or $4$. For valency $4$, we prove that an abelian Cayley graph $\operatorname{Cay}(Γ,S)$ exhibits perfect state transfer if and only if $S=\{a,-a,a+h,-a+h\}$, where $h$ has order $2$, and $4\nmid |Γ|/2$. Combining this characterization with the valency-one and valency-two cases, we explicitly determine all pairs $(Γ,S)$ for which $\operatorname{Cay}(Γ,S)$ exhibits perfect state transfer. Our results extend the classification of circulant graphs of valency at most four obtained by Kubota and Yoshino [Circulant graphs with valency up to 4 that admit perfect state transfer in Grover walks, \emph{J. Comb. Theory Ser. A.}, 216 (2025) 106064] to Cayley graphs over arbitrary finite abelian groups and to all valencies.

For each integer $k \ge 2$, we prove that an abelian group $Γ$ satisfies $\exp(Γ) \in \{1,\dots,k\} \cup \{2,4,\dots,2k\}$ if and only if it admits no non-bipartite Cayley graph whose circular chromatic number is strictly less than $2 + \frac{2}{k-1}$. This refines the algebraic characterization by Krebs and Sankar of abelian groups that admit $3$-chromatic Cayley graphs.

A conjecture of King, Tollu and Toumazet predicts the behavior of small Littlewood--Richardson coefficients under stretching: if $c^ν_{λ,μ}=3$, then $c^{Mν}_{Mλ,Mμ}$ equals $2M+1$ or $\binom{M+2}{2}$ for every positive integers $M$. This corresponds to the Hilbert functions of a conic, or of the projective plane. We prove their conjecture for all rectangular Kostka coefficients $K_{λ,\mathbf{a}}$. We realize them as the weight multiplicities of the homogeneous coordinate ring of the Grassmannian $\mathrm{Gr}(k,n)$, or equivalently the weight spaces of semi-invariants of the $n$-subspace quiver with dimension vector $β=(k,1,1,\dotsc,1)$. For a weight $σ$, we show that if $β$ is $σ$-stable, then the dimension of the corresponding weight space is at least $n-2$ when $k=2$ and at least $4$ for every Grassmannian other than $\mathrm{Gr}(2,4)$, $\mathrm{Gr}(2,5)$ and $\mathrm{Gr}(3,5)$. These three cases are precisely when the associated moduli space of $σ$-stable representations has dimension at most two. Via $σ$-stable decomposition, the two alternatives are determined as follows: $2M+1$ for $\mathrm{Gr}(2,4)$, and $\binom{M+2}{2}$ for $\mathrm{Gr}(2,5)$ and $\mathrm{Gr}(3,5)$.

We define a family of algebras $\mathbb{Q}[\mathbf{x}_n]/I_{n,a,b}$ whose Hilbert series, when $n\le a+b\le n+2$, $a>0$, and $0<b<n$, enumerate certain positroid cells by codimension. Equivalently, these series enumerate certain affine permutations by length. We determine the graded $\mathfrak{S}_n$-module structure of these algebras by using exact sequences to derive an invertible recursion for their graded Frobenius characteristics when $a+b\ge n$ and then passing to the limit $a\rightarrow\infty$. In particular, the graded Frobenius characteristic $\mathrm{grFrob}(\mathbb{Q}[\mathbf{x}_{a+b-1}]/I_{a+b-1,a,b};q)=\operatorname{rev}_q(ω((Θ_{e_{a-1}}Θ_{e_{b-1}}\nabla e_1)\mid_{t=0}))$, where $\operatorname{rev}_q$ reverses the $q$-coefficients and the specialization $(Θ_{e_{a-1}}Θ_{e_{b-1}}\nabla e_1)\mid_{t=0}$ appears in the Theta conjecture. For $a,b\ge1$, we also show that $e_a^\perp\mathrm{grFrob}(\mathbb{Q}[\mathbf{x}_{a+b}]/I_{a+b,a,b};q)=q^{\binom{a}{2}}\operatorname{rev}_q(ω((Δ_{e_{a-1}}^\prime e_b)\mid_{t=0}))$, where $Δ_{e_{k-1}}^\prime e_n$ occurs in the Delta conjecture. In the three cases $a+b-n=0,1,2$, the ungraded Frobenius characteristics agree with three families of Eulerian quasisymmetric functions, respectively. We also construct an open subvariety of $(\mathbb{P}^{k-1})^n$ whose rational Chow ring is isomorphic to $\mathbb{Q}[\mathbf{x}_n]/I_{n,k,n-k}$. This variety admits a stratification induced by certain positroids. Its strata need not be affine, and their codimension generating function equals $\mathrm{Hilb}(\mathbb{Q}[\mathbf{x}_n]/I_{n,k,n-k};q)$.

Let $φ$ be a proper edge-coloring of a graph $G$. An edge is called rich if all edges adjacent to it receive pairwise distinct colors. The coloring $φ$ is a rich-neighbor edge-coloring if every non-isolated edge is adjacent to a rich edge. Petruševski and Škrekovski introduced this notion as a relaxation of strong edge-coloring and conjectured that every connected subcubic graph other than $K_4$ admits a rich-neighbor $5$-edge-coloring. We establish the conjectured bound for every subcubic graph $G$ satisfying $Δ(G[V_3])\leq 1,$ where $V_3$ is the set of vertices of degree $3$ in $G$. Equivalently, the $3$-vertices of $G$ induce a matching together with isolated vertices. This extends the result of Chen, Tan and Zhou for subcubic graphs with no adjacent $3$-vertices.

We prove that if $G$ is a gapfree graph with matching number $3$, then every power $I(G)^q$, $q\geq2$, of its edge ideal has linear quotients, and hence a linear resolution. Our approach combines graph reductions based on clique domination of gapfree graphs and matching number with operations preserving linear quotients. We reduce the problem to $26$ non-co-chordal graphs on at most seven vertices. A new preservation theorem for gapfree edge addition, together with known results on duplication and gapfree expansion, handles all but one of these graphs. For the remaining graph on seven vertices, we construct a linear quotients ordering for the square and extend it recursively to every higher power.

We relate multiplication formulas for regular modules in coefficient-free acyclic affine cluster algebras with skew-symmetric exchange matrices to the imaginary exchange relations of Reading-Stella. Introducing a parameter $z$ into the construction of Zhou-Zhu, we define a weighted cluster character on cluster tubes that satisfies generalized exchange relations of type $C_{n-1}$ and yields a bijection between indecomposable rigid objects and cluster variables. Using the multiplication formulas and difference property of Ding-Xiao-Xu, we show that non-homogeneous tube embeddings induce injective homomorphisms into ordinary affine cluster algebras under $z\mapsto X_δ$. Comparison with Reading-Stella's relations identifies $X_δ$ with the corresponding theta function, giving a representation-theoretic interpretation of the generalized exchange parameter.

Let $\mathcal{M}$ be a simple matroid of rank $r$ on the ground set $[n]=\{1,\ldots,n\}$, let $T_{\mathcal{M}}(x,y)$ denote its Tutte polynomial, and let $\mathrm{OS}(\mathcal{M})$ denote its Orlik-Solomon $\mathbb{C}$-algebra. We say that $\mathrm{OS}(\mathcal{M})$ determines $T_{\mathcal{M}}(x,y)$ if, for every simple matroid $\mathcal{N}$, an isomorphism $\mathrm{OS}(\mathcal{M})\cong\mathrm{OS}(\mathcal{N})$ of $\mathbb{C}$-algebras, without regard to the grading, implies $T_{\mathcal{M}}(x,y)=T_{\mathcal{N}}(x,y)$. Falk conjectured that the Orlik-Solomon $\mathbb{C}$-algebra of every simple matroid of rank three determines its Tutte polynomial. We prove that this holds for every simple matroid of rank at most three, thereby resolving Falk's conjecture.

We construct biregular graphs with three distinct eigenvalues from semiregular group divisible designs. For every prime power $q$, we use the spectral structure of Muzychuk's Construction~A on $q+1$ copies of $\operatorname{AG}(2,q^2)$ to produce suitable group divisible designs. The resulting biregular graphs have $2q^5+q^4+q^2$ vertices and distinct eigenvalues $q^5+q^3+q^2$, $q^2$, and $-q^2$. Their coherent closures have rank $12$ and type $\left[\begin{smallmatrix}3&2\\2&5\end{smallmatrix}\right]$. We also determine the four-class symmetric association schemes that are the coherent closures of the auxiliary graphs in this family. Computational searches provide further graphs on $81$ and $156$ vertices, using Muzychuk's Construction~B and a generalised quadrangle, respectively; their coherent closures have ranks $13$ and $10$. The $156$-vertex example has a strongly regular design as its coherent closure, of type $\left[\begin{smallmatrix}3&2\\2&3\end{smallmatrix}\right]$, answering a question of the authors. We also realise a $126$-vertex example by switching a strongly regular graph.

We establish a simple characterization of special matchings of all Bruhat intervals in the symmetric group, yielding an explicit classification that depends only on the one-line notations of the endpoints. We also study extensions of graded posets by partial special matchings, proving the existence and uniqueness of such extensions and providing an explicit construction. Combining these results, we obtain a combinatorial algorithm for computing Kazhdan--Lusztig polynomials for an isomorphism-closed family of Bruhat intervals that includes all intervals whose bottom element has length at most one.

We study an extension of the Eventown problem of sets to multisets on $[n] = \{1,2,...,n\}$. A multiset is called $m$-bounded if each element has multiplicity at most $m$. The intersection of two multisets is defined as the multiset in which each element has multiplicity equal to the minimum of its multiplicities in the two original multisets. A family of $m$-bounded multisets is called an Eventown family if every member and the intersection of every pair of distinct members has even cardinality, with cardinalities counted with multiplicities. We determine the maximum size $E_m(n)$ of such a family for every $m$ and $n$. We show that $ E_{2q}(n)=(q+1)^n, $ and $ E_{2q+1}(n)=(q+1)^{n-2k}\bigl((q+1)^2+1\bigr)^k,$ where $k=\lfloor n/2\rfloor$. In particular, the case $m=1$ recovers the classical Eventown theorem for sets. We also characterize all extremal families for $m\ge2$. For even $m$, the unique extremal family consists of all multisets in which every element has even multiplicity. For odd $m\ge3$, every extremal family has a product structure arising from two explicit families on pairs of coordinates, together with an additional coordinate restricted to even multiplicities when $n$ is odd. Consequently, there are exactly $k+1$ extremal types up to permutations of the ground set.

We consider, in a real Clifford algebra, a family of unit bivectors $B_i = C S_i$ formed from $k+1$ pairwise anticommuting generators $C, S_1, \ldots, S_k$ with square $-1$; we call this a \emph{star family} with \emph{central generator} $C$ and \emph{leaf generators} $S_i$. For the associated rotors $U_i(θ_i) = \cos\frac{θ_i}{2} + B_i \sin\frac{θ_i}{2}$ we study two objects: the ordered chain $P_k = U_1 \cdots U_k$ and the \emph{star-ordered rotor loop} $Θ_k = P_k \, Q_k$ with the \emph{same-order reversion product} $Q_k = \widetilde U_1 \cdots \widetilde U_k$, as opposed to the trivially reversed order, for which $U_1 \cdots U_k \widetilde U_k \cdots \widetilde U_1 = 1$. The scalar part of $Θ_k$ measures the \emph{order defect} of the family. We prove two theorems. First, the scalar part of the chain factorises, $\langle P_k \rangle_0 = \prod_{i=1}^k \cos\frac{θ_i}{2}$; this requires the star structure, and we give a counterexample. Second, we derive a closed expression for $\langle Θ_k \rangle_0$, valid for every $k$, whose coefficients obey a \emph{period-four sign law} $η(m) = (-1)^{\lfloor m/2 \rfloor}$ and which admits the compact form $\langle Θ_k \rangle_0 = \operatorname{Re}\!\big[(1-\mathrm{i}) \prod_i (\cos^2\frac{θ_i}{2} + \mathrm{i}\sin^2\frac{θ_i}{2})\big]$, holding for every pairwise anticommuting unit family without further hypothesis. From the compact form we obtain a polar form, a complete zero criterion, a lacunary coefficient rule, and a proof of non-separability for $k \geq 2$. Two supplementary theorems extend the result to arbitrary permutations of the index order and to families with mixed squares $B_i^2 \in \{-1, +1\}$. All proofs use only anticommutation, reversion and the symmetry of the scalar form; no physical interpretation is assumed or claimed.

Let $G$ be a finite abelian group with exponent $\exp(G)$. For positive integer $k$, the generalized Erdős--Ginzburg--Ziv constant, denoted by $\mathsf s_{k\exp(G)}(G)$ is the least integer $\ell$ such that every sequence of length at least $\ell$ over $G$ has a zero-sum subsequence of length $k\exp(G)$. In this paper, we prove that, for any $n\ge 1$, \[\mathsf s_{3\cdot 2^n}(C_{2^n}^3)=6\cdot 2^n-3 \quad\text{and}\quad \mathsf s_{4\cdot 3^n}(C_{3^n}^3)=7\cdot 3^n-3. \] This completes all the remaining cases in the study of $\mathsf s_{kq}(C_q^3)$, where $q$ is a prime power and $k\ge 3$. As a consequence, for every $k\ge 3$, we have \[ \mathsf s_{kn}(C_n^3)=(k+3)n+O(\frac{n}{\log n}). \] This verifies a conjecture of Kubertin asymptotically. Our approach combines the previous group ring techniques and a recent powerful generalization of the Chevalley-Warning and Ax-Katz theorems introduced by Grynkiewicz

We investigate when a parallelotope containing vertices of the unit cube $Q_n=[0,1]^n$ covers $\Bbb R^n$ by integer translates. We prove the covering property for every parallelepiped containing five vertices of $Q_3$, and, in any dimension, for every parallelotope containing a facet of $Q_n$ and one vertex of the opposite facet. As a consequence, we obtain the sharp bound $1/n$ for the volume of a pyramid contained in $Q_n$ with a parallelotope base. We also give an alternative proof of this bound.

Katabolizable tableaux provide a combinatorial formula for the Schur coefficients of Catalan functions. We prove that a tableau involution preserves katabolizability under antidiagonal reflection of any upper root ideal. This involution complements shape and content in a fixed rectangle and preserves charge. We obtain a bijective proof of the rectangular symmetry of these coefficients.

For positive integers $n$ and $d$, the $d$-dimensional grid of side length $n$ is the graph $G(n,d)$ with vertex set $[n]^d$, in which two vertices are adjacent if they differ by $1$ in exactly one coordinate and agree in all the other coordinates. We determine, for every fixed $d$, the asymptotic growth in $r$ of the $r$th strong coloring numbers of these grids. More precisely for $n$ large enough, ${\rm scol}_r(G(n,d)) = Ω_d\bigl(r^{d-1}\bigr)$ as $r\to\infty$. This matches an upper bound given by a volume packing argument, which holds more generally for touching graphs of unit balls in $\mathbb R^d$. For the lower bound, we construct in $G(n,d)$ a bramble of order $Ω_d(n^{d-1})$ with each element of radius at most $dn$. This construction was found by OpenAI's GPT-5.6 Sol.

We study an optimization problem for weighted Lin--Lu--Yau curvature. Given a graph $G=(V,E)$ and a prescribed lower curvature bound $k\ge0$, we ask for the smallest multiplicative distortion \[ \Dist(w):=\frac{\sup_{e\in E}w_e}{\inf_{e\in E}w_e} \] of the edge weights needed to make every edge have curvature at least $k$. This leads to the family \[ \DN_{\LLY}^{k}(G) := \inf\bigl\{ \Dist(w): κ_{\LLY}^{w}(e)\ge k \text{ for every }e\in E(G) \bigr\}, \] which extends the nonnegative-curvature invariant introduced in our preceding paper \cite{Xia2026InvariantI}. The edge weights change the transition probabilities, while the combinatorial graph distance remains fixed. Positive prescribed curvature leads to a fundamental distinction from the case $k=0$. If $G$ is a connected locally finite infinite graph and $k>0$, then \[ \DN_{\LLY}^{k}(G)=\infty. \] Thus no finite multiplicative distortion of the edge weights can impose a uniform positive curvature lower bound on such a graph. For a finite tree $T$ with $m$ edges, such weights exist exactly when $k\le2/m$. We prove that the minimum distortion is attained by a weight unique up to scaling, and that the normalized minimizer and its distortion depend continuously and nondecreasingly on $k$. We then extend the finite-tree theory to general connected graphs. As an application, we characterize the graphs of girth at least six for which finite $k$-distortion is possible.

For every set of $n$ points in $\mathbb{C}^d$ with full affine span, we prove that some point lies on at least $n+1-2n/(d+1)$ spanned lines, which is best possible in every dimension. By successive contraction, this implies the sharp bound $r+(\ell-3)\binom r2$ on the number of elements of a simple rank-$r$ complex-representable matroid excluding $U_{2,\ell}$ as a minor, which removes the sufficiently-large-rank assumption from the bound of Geelen, Nelson, and Walsh. An arithmetic application shows that rank-$r$ integer matrices whose maximal minors have absolute value at most $Δ$ have at most $O(Δr^2)$ distinct columns, resolving a question of Averkov and Schymura. We prove that a set of $n$ points in $\mathbb{C}^3$ determines at least $n^2/40$ ordinary lines whenever no plane contains more than $2n/3$ of the points. This answers a question of Basit, Dvir, Saraf, and Wolf. We also prove upper bounds on average line length and lower bounds on the number of points incident to many spanned lines in high-dimensional point sets. The proofs combine contraction of concentrated flats with normalization of the point vectors and second- and fourth-moment estimates on their pairwise correlations. This approach builds on the design matrix method.

Given an integer $k$, deciding whether a graph has a clique of size $k$ is an NP-complete problem. Wilf's inequality provides a spectral lower bound for the clique number of a graph. Strengthening this bound, Elphick and Wocjan proposed a conjecture in 2018 using positive adjacency eigenvalues. In this paper, we present an infinite family of graphs for which the Elphick and Wocjan conjecture is true. We find a stronger spectral lower bound for the clique number for this family of graphs.

We prove that for every integer $d\ge2$ and all sufficiently large $m$, every digraph with $m$ edges and minimum outdegree at least $d$ has a vertex bipartition for which each directed cut is of size at least \[\left\lceil\frac{d-1}{2(2d-1)}m+\frac{d^2}{2(2d-1)}\right\rceil.\] The bound is sharp for infinitely many $m$. This answers for large graphs a question of Scott and proves a conjecture of Lee, Loh, and Sudakov. For $d=2$ we prove that $\lceil m/6\rceil$ is achievable for all $m$. We also establish a stability result characterizing near-extremal graphs.

We introduce the matrix completion discriminant of a graph as the Zariski closure of the set of partial symmetric matrices whose completion fibers fail to meet a rank stratum transversely. A clique-sum formula for the matrix completion discriminant is established for arbitrary graphs, while explicit defining equations for cycles are obtained in terms of iterated resultants. Using these results together with the analysis of $K_4$-minor-free graphs, we prove that for every cycle-completable graph, the discriminant factors into determinant factors from maximal cliques and resultant factors from chordless cycles.

A universal framework for Hopf algebras in combinatorics provides a unified understanding of combinatorial objects. To establish such a framework, we dualize the theory of combinatorial Hopf algebras developed by Aguiar, Bergeron, and Sottile, obtaining the category of rooted Hopf algebras. An object in this category is a graded connected Hopf algebra equipped with a group-like element, called a root, in its completion. These roots dualize the character theory of combinatorial Hopf algebras and provide a natural way to extend Bernstein and raising operators to other rooted Hopf algebras. The resulting constructions extend Schur, Hall--Littlewood, and Macdonald functions to rooted Hopf algebras. As an application, we develop these constructions for symmetric functions in noncommuting variables.

How densely must a network of identical Kuramoto oscillators be wired before synchrony is its only stable state? The answer is a critical connectivity $μ_c$ (the minimum degree divided by $n-1$), known to satisfy $11/16\leμ_c<3/4$. We raise the lower bound from $11/16=0.6875$ to $μ_c\ge(4+2q^*)/(7+q^*)=0.6929077\ldots$, where $q^*\approx0.6506$ is a root of an explicit polynomial of degree 8. The networks approaching this bound carry stable states that hug the four-cluster state: three neighboring clusters each split into two slightly separated halves, and the four crossed links between neighboring halves (those whose phase gap deviates most from a quarter turn) have densities approaching $q^*$. We build these networks from a coarse-grained cluster model, verify stability with interval arithmetic, and blow the model up into large networks with an exact minimum degree. The states are fragile and easily missed by numerical searches that impose stability margins.

We give the asymptotic rate of Delsarte's linear programming bound for binary codes and spherical codes. This extends previous work of the author which formulated and proved an analogue of the conjecture of Afkhami-Jeddi, Cohn, Hartman, de Laat, and Tajdini for binary codes, obtaining the rate of the Delsarte linear program at distance $1/2-1/π$. The lower bounds introduce ideas from potential theory into the study of Delsarte's bounds, whereby the measures underlying a system of orthogonal polynomials give an obstacle problem. We solve the resulting obstacle problem in the case of binary codes and spherical codes, obtaining a closed form for the lower bound in terms of elliptic integrals. For the upper bounds, we relate the $N$-qubit construction for binary codes used in previous work of the author to the constructions in OpenAI's Chapter 2 for spherical codes and observe that they both involve interlacing spectra. This leads to a variational problem involving measures constructed from these spectra under the Markov-Krein correspondence. This variational problem admits an exact solution and matches the lower bound.

We prove that for $n \geq 36$ there exists a planar hypohamiltonian graph of order $n$. As a corollary, we prove that for $n \geq 33$ there exists an almost hypohamiltonian planar graph of order $n$. Further, we exhibit over 100 planar hypohamiltonian graphs of order less than 40, including new graphs of orders 36, 37, 38, and 39. The proof utilizes three local modifications that alter a graph $G$ by removing a subgraph $H$ and replacing it with $H'$ to form a new graph $G'$: a plus two modification, a plus three modification, and Thomassen's iterable plus four modification. The plus two modification preserves hypohamiltonicity in general, and the plus three modification preserves hypohamiltonicity in our cases of interest. This establishes the main result beginning with Tsai's order 34 examples. Further, we conjecture that among planar hypohamiltonian graphs, Tsai's 34 vertex examples are the smallest order. The conjecture is based on previous results, constraints on the degree modulo 3, and experimentation with planar graphs consisting entirely of 4-gons and 5-gons.

Let $G$ be a finite loopless multigraph with maximum degree $Δ$ and $χ'(G)=Δ+k$, where $k\ge0$. We prove that for every pair of positive integers $p,q$ satisfying $$p+q=Δ+k\qquad\text{and}\qquad p,q\leΔ,$$ the graph $G$ admits an edge decomposition into two spanning Class I subgraphs $H_p,H_q$ with $$Δ(H_p)=p \qquad\text{and}\qquad Δ(H_q)=q.$$

Skew divided difference operators \(\partial_{w/v}\), introduced by Macdonald, play an important role in the study of Schubert polynomials and their structure constants. For permutations \(u,v,w\in S_n\), we show that the coefficient of each monomial \(\xx^α\) in \(\partial_{w/v}\SSch_u(\xx;\yy)\), where \(\SSch_u(\xx;\yy)\) is the double Schubert polynomial, is a single triple Schubert coefficient evaluated at \(\tb=0\), whose indices form an explicit lift of \((u,v,w)\) to \(S_{n+\absα}\). As an application, we show that every coefficient of \(\partial_{w/v}\SSch_u(\xx)\) is a single Schubert structure constant. This gives a new proof of Kirillov's conjecture that these coefficients are nonnegative.

An edge in a proper edge-coloring is rich if all edges adjacent to it receive pairwise distinct colors. A rich-neighbor edge-coloring is a proper edge-coloring in which every non-isolated edge is adjacent to a rich edge. The rich-neighbor chromatic index $\rn(G)$ is the minimum number of colors in such a coloring. We prove that every loopless multigraph $G$ satisfies $\rn(G)\le3χ'(G)$, where $χ'(G)$ is the chromatic index. Exact values are also determined for complete bipartite graphs and complete graphs. For all positive integers $m,n$, $\rn(K_{m,n})=m+n-1$, except that $\rn(K_{2,2})=4$. For $n\ge3$, $\rn(K_n)=2n-3$, except that $\rn(K_4)=6$ and $\rn(K_6)=10$. Moreover, for $n\ge7$, the rich edges in every optimal rich-neighbor edge-coloring of $K_n$ form a star forest.

It is shown that certain finite partially ordered sets arising from unit interval determinantal facet ideals satisfy the $λ$-chain condition. In addition, their applications to commutative algebra are briefly discussed.

Let $D$ be an oriented graph. For $X \subseteq V(D)$, the inversion of $X$ in $D$ is the oriented graph that is obtained via changing the direction of all edges which have both endpoints in $X$. The inversion number of $D$, $\operatorname{inv}(D)$, is the minimum number of inversions necessary in order to remove all cycles from $D$. A dijoin $D_1 \to D_2$ is the oriented graph obtained by taking disjoint copies of $D_1,D_2$ and adding edges from all $v \in V(D_1)$ to each $u \in V(D_2)$. It was conjectured by Bang-Jensen, da Silva and Havet that $\operatorname{inv}(D_1 \to D_2) = \operatorname{inv}(D_1) + \operatorname{inv}(D_2)$ for all $D_1, D_2$. This was disproved by simultaneous constructions of various $D_1$, $D_2$ with $\operatorname{inv}(D_1 \to D_2) = \operatorname{inv}(D_1)+\operatorname{inv}(D_2)-1$. However, no known constructions achieved more than this gain of 1. Moreover, all of the constructions exploit a gap of 1 between $\operatorname{inv}(D)$ and the minimum rank of a family of related matrices, a gap that can never be more than 1, suggesting that perhaps something close to the original conjecture might be true. We prove that in fact additivity fails badly. In particular, for all $\varepsilon>0$ we show that there exist tournaments $D_1$, $D_2$ with arbitrarily large inversion numbers such that $\operatorname{inv}(D_1 \to D_2) \leq \left(\frac{1}{2} +\varepsilon\right)(\operatorname{inv}(D_1)+\operatorname{inv}(D_2))$.

For a positive integer $k$, let $β_k(G)$ be the maximum cardinality of a vertex set inducing maximum degree less than $k$, and let $SF_k(G)$ be the maximum cardinality of a minimal $k$-star-forming set. The known inequality $β_k(G)\le SF_k(G)$ suggests asking when equality holds. We place this question in the framework of upper domination: at $k=1$, $β_1(G)=α(G)$ and $SF_1(G)=Γ(G)$, so the classical equality $Γ=α$ on bipartite graphs is exactly the first member of the proposed hierarchy. We prove the equality for complete bipartite graphs for every $k$, obtaining \[ β_k(K_{a,b})=SF_k(K_{a,b})=\max\{a,b,2k-2\}\qquad(a,b\ge k), \] and record the elementary low-degree case $Δ(G)<k$. For $k=2$ we derive certificate restrictions for minimal $2$-star-forming sets in bipartite graphs. For chain graphs we go further: we prove $β_2(G)=SF_2(G)$ and obtain an exact formula for their common value. The proof uses the nested-neighborhood structure together with a classification of witnesses to the indispensability of a high internal-degree vertex. We retain the equality problem for chain graphs as a conjecture only for $k\ge3$, and formulate the broader bipartite conjecture. We also determine the upper domination number of every rectangular grid and combine it with the known exact dissociation number to compare $Γ$, $β_2$, and $SF_2$. In particular, $Γ=β_2$ on every even-by-even rectangular grid, while $β_2\le SF_2$ always; this motivates a grid equality conjecture whose even-by-even case would yield a three-parameter identity.

We prove that the product of chains $\mathbf m\times\mathbf n$ is not Schur positive whenever $n\ge4$ and $m\ge3n-1$. Writing $m=n+k$, we exhibit a negative Schur coefficient indexed by $(2n+k-1,2n+k-3,\ldots,k+5,k,k,4)$ and evaluate it explicitly as $(n-2)!$ times a polynomial of degree three in $k$. Together with earlier results, this establishes the two-case interpretation of the conjecture of Li, Qiu, Yang, and Zhang: these products are not Schur positive when $n=2$ and $m\ge8$, or when $n\ge3$ and $m\ge n+5$.

DomiRank is a node-importance algorithm for unweighted networks, defined by a dynamical model governed by a competition-strength parameter, a dominance threshold, and a decay rate. We establish three structural results. First, on symmetry. Automorphism-related vertices share the same DomiRank value, and a graph whose values are pairwise distinct must be asymmetric. The orbit count bounds the number of distinct values, and regular and vertex-transitive graphs admit closed forms. Second, on entropy. The maximum of the DomiRank entropy over connected graphs, log_2 N, is attained if and only if the graph is regular. The initial entropy derivative is the degree-log-degree edge covariance, making the decrease rigorous near vanishing competition for structurally disassortative graphs, and an assortative counterexample shows it does not extend to all graphs; a sufficient-condition theorem and a refined conjecture cover the rest. Third, on spectrum. The normalized distribution is sigma-invariant if and only if the degree vector is an adjacency-matrix eigenvector. The parameter sigma interpolates continuously between degree and smallest-eigenvector centrality within the resolvent (Bonacich-type) family, its sensitivity being a second-order suppression operator on the degree vector. Graph transformations are also characterized, including the m-product. Experiments on four real networks and synthetic families up to 10^4 vertices confirm the interpolation and exhibit monotone entropy decrease, continuous ranking interpolation, decaying positive fraction and ranking reversals; where the positive fraction has decayed far from one, the limit describes the solution vector rather than the induced ranking. DomiRank is thus a tunable complement to principal-eigenvector centrality. A companion study quantifies how much of its task-level edge over a degree baseline survives degree correction.

Let $G= C_{n_1}\oplus\cdots\oplus C_{n_r}$ be a finite abelian group with $1<n_1\mid\cdots\mid n_r$, and let $\rr(G)=r$ denote its rank. The Davenport constant $\DD(G)$ is the least integer $\ell$ such that every sequence of $\ell$ elements of $G$ contains a nonempty zero-sum subsequence, and $\DD^*(G)=1+\sum_{i=1}^r(n_i-1)$ is its classical lower bound. A long-standing conjecture asserts that $\DD(G)\le\DD^*(G)+\rr(G)-1$. In this paper, we disprove this conjecture. More strongly, we prove that $\sup_{\rr(G)=r}\bigl(\DD(G)-\DD^*(G)\bigr)=\infty$ for every fixed $r\ge5$. Thus the classical lower bound does not approximate the Davenport constant within an additive error depending only on the rank. More precisely, our construction gives $δ(C_m^{r-4}\oplus C_{3m}^3\oplus C_{6m})\ge m$ for all integers $r\ge5$ and $m\ge2$. Consequently, the least rank $r_0$ for unbounded Davenport excess $\DD(G)-\DD^*(G)$ satisfies $3\le r_0\le5$. Our result also disproves the Narkiewicz--Śliwa conjecture of 1982 \cite{NS82} on the Narkiewicz constant, arising in algebraic number theory from the quantitative study of algebraic integers with unique factorization. The same amplification of the Davenport excess yields counterexamples to Girard's conjecture \cite[Conjecture 1.2]{Girard08} on the cross numbers of long zero-sum-free sequences. As a further main result, we establish the uniform upper bound $$\DD(G)\le\frac{16}{5}\rr(G)\exp(G)$$ for every nontrivial finite abelian group $G$. The classical estimate of van Emde Boas and Kruyswijk \cite{vEBK69} gives $\DD(G)\le\exp(G)\left(1+\log\frac{|G|}{\exp(G)}\right) \le\exp(G)\bigl(1+(\rr(G)-1)\log\exp(G)\bigr)$. Our bound removes the logarithmic factor $\log\exp(G)$ from this classical estimate, and replaces it with the absolute constant $16/5$.

The permanent and mixed discriminant of positive matrices are classic problems for which we do not expect an efficient algorithm for exact computation. Thus much work has been done to understand how well we can bound and approximately compute these quantities. One line of research in this area begins with the results of the first author, where van der Waerden lower bounds of $\frac{n!}{n^n}$ are proven for doubly stochastic inputs for both problems, using a simple proof via stable polynomials. Along with the bound itself, the same techniques are used to show that the permanent and mixed discriminant are uniquely minimized at a certain natural symmetric input. In this paper, we generalize those results in two ways. First, we extend the unique minimization results beyond doubly stochastic inputs to other marginals which are near doubly stochastic. This yields the first such unique minimization results for the mixed discriminant beyond the doubly stochastic case. We also discuss why one cannot hope similar results to hold in general for all marginals. Second, we extend the unique minimization result for real stable polynomials to strongly log-concave (aka Lorentzian) polynomials in the doubly stochastic case. This captures an analogous previous result on unique minimization for the mixed volume. Finally, we discuss various open problems related to these results.

Grünbaum asked whether every planar convex body admits, for every $0\leq t\leq 1/4$, two orthogonal lines cutting it into pieces with cyclically ordered areas $t,t,1/2-t,1/2-t$. Bárány posed the analogous question for well-behaved planar measures and conjectured that the answer there is negative. We confirm Bárány's conjecture in a particularly robust form: for every fixed $0<t<1/4$ we construct smooth, strictly positive, centrally symmetric, strongly log-concave measures arbitrarily close to the standard Gaussian for which the prescribed partition does not exist. In contrast, we prove that the partition exists for every $t$ whenever the measure is invariant under an orientation-reversing affine involution. We also exhibit a $96$-point counterexample for which no pair of perpendicular lines produces cyclic counts $8,8,40,40$.

Each of the 12 known conjecturally optimal kissing configurations in dimensions 5, 6, and 7 carries a contact-graph polytope: a polytope whose vertices are the configuration points and whose edges are exactly its contacts. Eight of these polytopes are non-convex and distinct from their convex hulls, which include longer edges. Each polytope is radial about the sphere's center: its boundary meets every ray from the center exactly once. It is the unique radial polytope with those vertices and edges. Seven of the nine non-lattice configurations carry polytopes constructed from the lattice contact polytope in the same dimension by splitting some facets and reassembling the pieces. This split-and-reassemble construction describes the configurations by facets rather than by layers. The fold angles of the reassembled facets explain the inner products $1/(10-n)$, giving $1/5$, $1/4$, and $1/3$ in dimensions 5, 6, and 7, respectively. The contact graphs of all 12 configurations are infinitesimally rigid. We also prove that $Q_5$ and $R_5$ are infinitesimally jammed, extending the 10 previously established cases to all 12 configurations. All mathematical computations use exact arithmetic.

We introduce the multiorbital bivariate chromatic polynomial F_Γ(G;x,y) = \sum_{H\leq G}\frac{1}{|H|}\sum_{h\in H}P_{Γ/h}(x,y), which aggregates the orbital bivariate chromatic polynomials associated with all subgroups of a finite group acting on a graph. We derive the equivalent element-wise representation F_Γ(G;x,y) = \sum_{g\in G}c_G(g)P_{Γ/g}(x,y), where c_G(g) = \sum_{\langle g\rangle\leq H\leq G}\frac{1}{|H|}. The coefficient function depends only on the cyclic subgroup generated by the element and is constant on conjugacy classes. This yields decompositions by cyclic subgroups and conjugacy classes and an interpretation in terms of the incidence algebra of the subgroup lattice. After normalization, the coefficients define a probability distribution obtained by choosing a subgroup uniformly and then an element uniformly from that subgroup. We also establish diagonal multiplicativity for disjoint unions and a weighted cycle-index expression for edgeless graphs. A further contribution concerns the distinguishing power of the orbital bivariate chromatic polynomial. We answer a question of Dohmen and Lange-Geisler affirmatively by exhibiting two non-isomorphic graphs, P_3 and K_2 \mathbin{\dot\cup} K_1 under C_2-actions, with identical orbital bivariate chromatic polynomials. The two actions nevertheless have different multiorbital bivariate chromatic polynomials. Thus the multiorbital polynomial is not determined by the orbital bivariate polynomial, whereas the converse question remains open.

For a graph $H$, let $\operatorname{ex}(Q_n, H)$ be the largest number of edges in a subgraph of the hypercube $Q_n$ of dimension $n$ that contains no subgraph isomorphic to $H$. We define $π_\square(H)=\lim_{n\to\infty}\operatorname{ex}(Q_n,H)/|E(Q_n)|$ as the Turán density of $H$ in the hypercube. Although determining $π_\square(H)$ for general $H$ remains widely open, Conlon found a large class of graphs with zero Turán density in a hypercube. In this note, we address the case when $π_{\square} (H)>0$. If a graph $H$ cannot be embedded in an edge layer of a hypercube, then $π_{\square} (H)\geq 1/2$, as can be seen by taking every other edge layer of $Q_n$. Previously known examples of layered graphs of positive Turán density in a hypercube include graphs containing cycles of length $6$ or $10$, as well as examples of girth $8$. Also, to the best of our knowledge, all previously known examples of graphs with Turán densities arbitrarily close to one are not layered. We show that for every $g \geq 3$, there are layered graphs of girth greater than $g$ whose Turán densities in a hypercube are arbitrarily close to one. Moreover, these graphs have an induced embedding into an edge layer of a hypercube.

We improve the bounds on the Hales-Jewett numbers to a tower of exponentiations. Earlier it was $WaW$ (that is, iterations of towers which are themselves iterated exponentiations). We improve the inductive step there (induction on the size of the alphabet, $|Λ|$) to 2-exponentiations, instead of towers. In the longer work in typing, (A) We present this inductive step as a partition theorem in its own right; (but in this preliminary version we make it just serve the bound on HJ numbers). (B) We shall deal with the density version of Hales-Jewett with similar bound. We are also dealing with the Graham-Rothschild Theorem and the Affine Ramsey Theorem and the polynomial case, and give background.

We introduce the chain replacement of a poset flow: it is obtained by considering the simplicial nerves of the posets of strictly increasing chains in the given poset, ordered by refinement. It maps posets to q-cofibrant flows and inclusions of posets to q-cofibrations. Using the combinatorial properties of the chain replacement, we prove that pushouts along the chain replacement of an order-reflecting inclusion of posets induce trivial h-cofibrations on spaces of execution paths between states of the original flow. By introducing the Hurewicz model structure on flows (or H-model structure), we deduce the same property for any q-cofibrant replacement of an order-reflecting inclusion of posets.

We study balanced subfamilies of the middle layer $\binom{[2n]}{n}$ of the Boolean lattice $2^{[2n]}$. A family $\mathcal{F}\subseteq\binom{[2n]}{n}$ is said to be balanced if every element in $[2n]$ appears in the same number of members of $\mathcal{F}$. A balanced subfamily of size 2 is exactly a complementary pair $\{A,[2n]\setminus A\}$, and therefore a family with no balanced subfamily of size $2$ has at most $\frac{1}{2}\binom{2n}{n}$ members. We show that for every $k\geq 1$ and all sufficiently large $n$, this maximum size is compatible with delaying the smallest size of a balanced subfamily until $2k+2$. More precisely, there exists a family $\mathcal{F}\subseteq\binom{[2n]}{n}$ of size $\frac{1}{2}\binom{2n}{n}$ with no balanced subfamilies of sizes $2,4,\ldots,2k$, but with a balanced subfamily of size $2k+2$. The proof is constructive and uses a general lifting from simple games to self-dual selectors in the middle layer. This provides an efficient constructive proof of a recent conjecture of Moss and Pedersen.

The objects of study are triangulations of the dilated standard triangle in the plane. Motivated by work on T-curves (Geiselmann et al., 2026), the focus lies on unimodular triangulations with a fixed symmetry axis. Lower and upper bounds are given, in combination with full enumerations of a few small cases.

The Erdős--Rado sunflower problem admits two natural analogues in finite vector spaces, corresponding to two different ways of generalising the set-theoretic notion of a sunflower. The first, used by Ihringer and Kupavskii [FFA 110 (2026) 102746], requires the petals to be in general position over the kernel; the second, used in the subspace codes literature (cf.\ Etzion--Raviv [DAM 186 (2015) 87-97], Blokhuis--De Boeck--D'haeseleer [DCC 90 (2022) 2101-2111]), requires only that the kernel equals the pairwise intersection of distinct petals. We refer to the second version as a \emph{set-like sunflower}, following Blokhuis, De Boeck and D'haeseleer. In this note, we focus on the set-like setting. {We first observe by illustrations that general-position sunflower-freeness does not imply set-like sunflower-freeness.} We then present a construction of set-like $s$-sunflower-free families of $k$-spaces \revised{in $\mathbb{F}_q^n$ for $\lceil(n+1)/2\rceil \leq k \leq n-1$, of size $q^{n-k}$ (and $q^{n-k}+1$ for even $q$),} based on a manipulated version of the lifting construction; to our knowledge, this is the first systematic construction tailored to this setting. Finally, we compare the size of the construction with the exact optimum for small parameters, computed by exhaustive search.

Smooth sequences over an alphabet of positive integers $\{a,b\}$ are sequences that are infinitely derivable, the emblematic example being the Oldenburger-Kolakoski sequence $κ$ over $\{1,2\}$. The main way to study their language is to consider a finite version of smooth sequences called smooth words. In this paper we prove that the smooth words are exactly the factors of smooth sequences and we make progress towards the conjecture that the complexity of smooth words over $\{a,b\}$ grows like $Θ\left(n^{\log(a+b)/\log((a+b)/2)}\right)$: we prove the lower bound over any alphabet and the upper bound over even alphabets, and we improve the known upper bound over odd and mixed alphabets. We also provide a dichotomy that links the language, the morphicity and the factor complexity of $κ$.

We introduce the \emph{orbital bivariate chromatic polynomial}, which counts generalized vertex colorings of a graph up to the action of a group of symmetries. More precisely, adjacent vertices must either receive distinct colors from a set of $λ$ colors or may receive the same color from a distinguished subset of $λ-μ$ colors. This new graph polynomial simultaneously generalizes the orbital chromatic polynomial due to Cameron and Kayibi (2007) and bivariate chromatic polynomial due to Dohmen, Pönitz, and Tittmann (2003). We establish fundamental structural properties and derive explicit formulas for several graph families, including complete graphs, complete bipartite graphs, paths, cycles, and wheels. In particular, several of these results are new even in the special case of the orbital chromatic polynomial. For cycles, our results generalize Moreau's necklace polynomial and lead to a new generalization and proof of Fermat's Little Theorem.

In Cayley graphs on the additive group of a small vector space over GF$(q)$, $q=2,3$, we look for completely regular (CR) codes whose parameters are new in Hamming graphs over the same field. The existence of a CR code in such a Cayley graph $G$ implies the existence of a CR code with the same parameters in the corresponding Hamming graph that covers $G$. In such a way, we find several completely regular codes with new parameters in Hamming graphs over GF(2) and GF(3). The most interesting findings are two new CR-1 (with covering radius 1) codes that are independent sets (such CR are equivalent to optimal orthogonal arrays attaining the Bierbrauer-Friedman bound) and one new CR-2 code. By recursive constructions, every new CR code induces an infinite sequence of CR codes (in particular, optimal orthogonal arrays if the original code is CR-1 and independent). Some of the found ternary CR codes disprove a conjectured generalization of the correlation-immunity bound on the strength of binary orthogonal arrays to the non-binary case. In between, we classify feasible parameters of CR codes in several strongly regular graphs. Keywords: completely regular codes, Hamming graphs, Cayley graphs, strongly regular graphs, graph covering, orthogonal arrays

A graph class is $χ$-bounded if the only way to force large chromatic number in graphs from the class is by forming a large clique. In the 1970s, Erdős conjectured that intersection graphs of straight-line segments in the plane are $χ$-bounded, but this was disproved by Pawlik et al. (2014), who showed another way to force large chromatic number in this class -- by triangle-free graphs $B_k$ with $χ(B_k)=k$ constructed by Burling (1965). This also disproved the celebrated conjecture of Scott (1997) that classes of graphs excluding induced subdivisions of a fixed graph are $χ$-bounded. We prove that in broad classes of graphs excluding induced subdivisions of a fixed graph, including the increasingly more general classes of segment intersection graphs, string graphs, region intersection graphs, and hereditary classes of graphs with finite asymptotic dimension, large chromatic number can be forced only by large cliques or large graphs $B_k$. One corollary is that the hereditary closure of $\{B_k\colon k\geq 1\}$ forms a minimal hereditary graph class with unbounded chromatic number -- the second known graph class with this property after the class of complete graphs. Another corollary is that the decision variant of approximate coloring in the aforementioned graph classes can be solved in polynomial time by exhaustively searching for a sufficiently large clique or copy of $B_k$. We also discuss how our results along with some results of Chudnovsky, Scott, and Seymour on the existence of colorings can be turned into polynomial-time algorithms for the search variant of approximate coloring in string graphs (with intersection model in the input) and other aforementioned graph classes. Such an algorithm has not yet been known for any graph class that is not $χ$-bounded.

We prove that there exist uniform $(+,\times,/)$-circuits of size $O(n^3)$ to compute the basis generating polynomial of regular matroids on $n$ elements. By tropicalization, this implies that there exist uniform $(\max,+,-)$-circuits and ReLU neural networks of the same size for weighted basis maximization of regular matroids. As a consequence in linear programming theory, we obtain a first example where taking the difference of two extended formulations can be more efficient than the best known individual extended formulation for the base polytope of regular matroids of size $O(n^6)$ by Aprile and Fiorini. Such differences have recently been introduced as virtual extended formulations. The proof of our main result relies on a fine-tuned version of Seymour's decomposition of regular matroids which allows us to identify and maintain graphic substructures to which we can apply a local version of the star-mesh transformation.

We prove that a smooth $d$-manifold $M$ is diffeomorphic to $\mathbb R^d$ if it admits a Lyapunov-Reeb function, i.e., a smooth map $f\colon M\to\mathbb R$ that is proper, lower-bounded, and possesses exactly one critical point. We further establish that the moduli spaces of simple polylines and positively oriented polygons with fixed or varying side lengths are diffeomorphic to Euclidean spaces, by explicitly constructing Lyapunov-Reeb functions on these spaces. This yields a refined resolution to the Carpenter's Rule Problem and settles a conjecture proposed by González and Sedano-Mendoza. In addition, we describe foliation structures of the moduli spaces and develop algorithms for the refolding problem.

We study the extremal problem that relates the spectral radius $λ(G)$ of an $F$-free graph $G$ to its number of edges. Firstly, we prove that for any graph $F$ with chromatic number $χ(F)=r+1\ge 3$, if $G$ is an $F$-free graph with $m$ edges, then $λ^2(G)\le {(1-\frac{1}{r} + o(1))2m}$. This provides a unified extension of both the Erdős-Stone-Simonovits theorem and its vertex-spectral extension due to Nikiforov, and confirms a conjecture proposed by Li, Liu and Feng. We also establish the corresponding edge-spectral stability, showing that if $G$ is an $F$-free graph with $m$ edges with $λ^2(G) \ge (1- \frac{1}{r} - o(1))2m$, then $G$ differs from a complete bipartite graph by $o(m)$ edges when $r=2$, and $G$ differs from an $r$-partite Turán graph by $o(m)$ edges when $r\ge 3$. This extends both the classical Erdős-Simonovits stability and the Nikiforov vertex-spectral stability. This edge-spectral stability theorem is the key ingredient in our companion work on the Brualdi-Hoffman-Turán problem for color-critical forbidden graphs. As an application of our method, we improve a result of Zhai, Lin and Shu by showing that if $λ(G)>\sqrt{m}$, then there exist two vertices in $G$ that have at least $\frac{1}{2}\sqrt{m} - O(1)$ common neighbors. The constant $\frac{1}{2}$ is best possible as witnessed by a random construction.

Many algorithms are designed to work well on average over inputs. But when such an algorithm is run on an arbitrary input, the question arises: Can we trust the algorithm on this input? This question is especially relevant in network science, where algorithms for theoretical random graph models are often applied to individual real-world networks. We identify a new class of algorithmic problems addressing this, which we call "Quality Control Problems." These problems are specified by a "quality function" $ρ$ and a distribution $D$ such that, with high probability, a sample drawn from $D$ is "high quality," meaning its $ρ$-value is near $1$. The goal is to accept most inputs $x \sim D$ and reject potentially adversarially generated inputs $x$ with $ρ(x)$ far from $1$. In this work, we consider the sublinear version of the quality control problem, where $D \in Δ(\{0,1\}^N)$ and the goal is to solve the $(D,ρ)$-quality problem with $o(N)$ queries and time. As a case study, we consider random graphs, i.e., $D = G_{n,p}$ (and $N = \binom{n}2$), and the $k$-clique count function $ρ_k := C_k(G)/\mathbb{E}_{G' \sim G_{n,p}}[C_k(G')]$, where $C_k(G)$ is the number of $k$-cliques in $G$. In suitable parameter ranges, worst-case approximate $k$-clique counting requires $p^{-Ω(k^2)}$ queries. In contrast, we show that the quality control problem for $G_{n,p}$ (with $n\geq p^{-ck}$ for some constant $c$) with respect to $ρ_k$ can be tested with $p^{-O(k)}$ queries and time, showing quality control is provably superpolynomially more efficient in this setting. More generally, for a motif $H$ of maximum degree $Δ(H)$, we show that the corresponding quality control problem can be solved with $p^{-O(Δ(H))}$ queries and running time.