arXiv++ Combinatorics

A set $S\subseteq V(G)$ is a mutual-visibility set if every pair of vertices in $S$ is joined by a geodesic whose internal vertices do not belong to $S$. We define a reconfiguration graph whose vertices are the mutual-visibility sets of $G$. Two configurations are adjacent if one is obtained from the other by adding or removing one vertex or by sliding one token along an edge of $G$. The subgraphs induced by configurations of a fixed cardinality are called layers. The spanning subgraph formed by token-addition and token-removal edges is a daisy cube. We study the effects of token-sliding edges on distances and connectivity to this skeleton. For a connected host of order $n\ge3$, the vertex connectivity of the reconfiguration graph lies between $3$ and $n$, and both bounds are attained. We determine several parameters of $\mathcal{R}_{\mathcal{M}}(K_n)$ and describe the behavior of the model for disconnected hosts and for isometric or convex subgraphs. We also give a component-based criterion for mobile mutual visibility. For complete bipartite graphs, we use a description of feasible configurations to determine connectivity and distance bounds for fixed-cardinality layers. For trees, we show that every component of a layer of cardinality at least three is isomorphic to a Cartesian product of subtrees, obtaining exact metric formulas and characterizing the connected layers. Finally, we prove that every layer of a cycle is connected.

The Heesch number of a figure is the largest number of times that the figure can be surrounded by layers of its congruent copies. Heesch's problem asks whether finite Heesch numbers are bounded. We show that in the three-dimensional Euclidean space, and thus also in higher-dimensional Euclidean spaces, they are not: for every positive integer $h$, we construct a shape whose Heesch number is finite and at least $h$. The construction is explicit, and it starts from a four-point set of integers that does not tile the line, but packs long intervals.

Which laws can the sum of two uniform random variables have when nothing is known about how they depend on each other? For three or more uniform summands, convex order gives the answer; for two it does not, and the question has been open. We show that the attainable laws are exactly those that satisfy a family of explicit joint bounds on sums of tail probabilities, one bound for each finite set of thresholds. For laws with a density at most one, convex order alone decides. For densities at most two, convex order implies the simplest of the joint bounds, and the constant two cannot be raised for single-threshold bounds. The number of thresholds a law needs is set by the spacing of its atoms, not by how many atoms it has.

In this paper, we investigate the relation between t-embeddings and T-graphs associated with the same weighted planar bipartite graph. We prove that, given such a T-graph, the corresponding t-embeddings are classified by positive stationary measures on this T-graph and describe a reconstruction procedure of the t-embedding given such a measure. As an application, we develop an approach for constructing t-embeddings of arbitrary sufficiently non-degenerate planar bipartite graphs.

We introduce a notion of a strong $\mathfrak{sl}_2$-action on a poset, and conjecture the existence of such an action is equivalent to the existence of a symmetric chain decomposition of that poset. We explain the intuition behind the conjecture, go through a number of explicit examples, and prove some special cases and relaxations of the conjecture. Then we explain a computational experiment where we tested the conjecture on millions of randomly constructed rank-symmetric, rank-unimodal, and strongly Sperner posets.

The energy $\mathcal{E}(Γ)$ of a signed graph $Γ=(G,σ)$ is the sum of the absolute values of the eigenvalues of its adjacency matrix $A(Γ)$. In this article, we prove that $\mathcal{E}(Γ)\geq 2τ(G)$, where $τ(G)$ is the vertex cover number of $G$. The case of unsigned graphs, a 1980s conjecture proved only recently, is a special case of this result. Moreover, we completely characterize the equality case: equality holds if and only if every connected component of $Γ$ is switching equivalent to an \emph{additive rook graph} $\Rook_N(a,b)$. This graph is constructed on an $N\times N$ board with $a_i+b_j$ vertices on square $(i,j)$. Two vertices are joined by a positive edge if they share only a row, and by a negative edge if they share only a column. As consequences, we obtain a balanced/antibalanced trichotomy for the extremal signed graphs and deduce the characterization of the extremal unsigned graphs. Finally, an example shows that the bound does not extend to the Hermitian adjacency matrices of mixed graphs or to complex unit gain graphs.

In 2016, Kirkland and Zeng initiated the mathematical treatment of Braess paradox for random walks on graphs using Kemeny's constant as the measure of travel time. We study this phenomenon for the Erdős-Rényi random graph $G(n,p)$. An edge in a connected graph is called Kemeny-Braess if its deletion preserves connectedness and decreases Kemeny's constant, while a nonedge is Kemeny-Braess if its insertion increases Kemeny's constant. Let $\bar d=(n-1)p$ be the expected degree of $G\sim G(n,p)$, and assume that $\bar d-\log n\to\infty$, so that $G$ is connected with high probability. We determine the sharp asymptotic thresholds for the existence of both types of paradoxical behaviour. With $C^*=1/(1-\log 2)$, the threshold for Kemeny-Braess edges is $\bar d=C^*\log n$, whereas the threshold for Kemeny-Braess nonedges is $\bar d=2C^*\log n$. Hence, as the expected degree $\bar d$ increases, the connected regime exhibits three phases: first Kemeny-Braess paradox occurs for both edges and nonedges, then only for nonedges, and finally it disappears. In particular, in the dense regime, with high probability $G$ has no Kemeny-Braess edges or nonedges. This contrasts sharply with the spectral gap of the normalised Laplacian, for which Braess' paradox persists at constant edge density. Our proof combines a spectral-moment expansion of Kemeny's constant with uniform edge-perturbation estimates. Near the thresholds, the sign of the perturbation is governed by the endpoint degrees, and binomial large deviations yield the constant $C^*$ and the factor of two between the two thresholds.

Let $A=\{0=a_0<a_1<\dots<a_{k-1}=d\}$ be integers with greatest common divisor $1$, let $C_A$ be the projective monomial curve they define, and let $\mathrm{reg}(A)$ be the Castelnuovo-Mumford regularity of its coordinate ring. Gimenez and González-Sánchez proved $\mathrm{reg}(A)\leσ(A)+1$ for the sumsets regularity $σ(A)$; the reverse inequality $σ(A)\le\mathrm{reg}(A)$ was proposed as an open conjecture in a 2024 talk. We show that it fails and measure by how much. Let $c_1,c_2$ be the conductors of the two numerical semigroups attached to $A$ and $N=\lceil(c_1+c_2)/d\rceil$. For curves in $\mathbb{P}^3$ that are not arithmetically Cohen-Macaulay, $\mathrm{reg}(A)\ge(c_1+c_2)/d+2$, with equality exactly for the arithmetically Buchsbaum curves, and $σ(A)=\mathrm{reg}(A)$. For arithmetically Cohen-Macaulay curves in $\mathbb{P}^3$ we prove $9N\le10\,\mathrm{reg}(A)-2$, with $9/10$ best possible, and give an explicit family with $σ(A)-\mathrm{reg}(A)$ unbounded. In $\mathbb{P}^4$ a family with a band-shaped Apéry set has $\mathrm{reg}(A)/σ(A)\to(2+\sqrt2)/4$ along the solutions of a Pell equation, and gluing carries this bound to every $\mathbb{P}^r$ with $r\ge5$.

We consider the combinatorial game Partizan Arc Kayles as a generalization of Domineering. An extensive technical search using genetic algorithms found hot positions of temperature exceeding 2. We discuss this search and construct a family of positions with high temperature that includes these graphs and prove that Partizan Arc Kayles has unbounded temperature. We identify an infinite family of second-player win positions as part of our main construction.

We prove that $Z(P(n,3))=8$ for every $n\ge13$ and $Z(P(n,4))=10$ for every $n\ge18$, with both stabilization thresholds sharp, and give the exact values for all smaller admissible $n$. The first equality proves Krishnan's Conjecture 5; his Proposition 4 supplies its upper bound. The lower bounds use the external boundary of the first forcing sources: ten vertices have boundary at least eight in $P(n,3)$ for $n\ge14$, and sixteen vertices have boundary at least ten in $P(n,4)$ for $n\ge20$. Deletion within an empty column interval reduces these assertions to finite checks, and forts settle the remaining cases. The $k=3$ stabilization theorem has a Lean 4 formalization; the $k=4$ proof uses 89 boundary formulas and 11 fort formulas with separately checked DRAT certificates, together with explicit forcing sequences.

We give explicit binary constant-weight codes that raise the lower bounds on $A(n,6,w)$ in eight cells of Brouwer's table, all now listed there. The first round (9 October 2026) gave four values: $A(27,6,11)\ge 19305$, $A(27,6,12)\ge 24453$, $A(28,6,10)\ge 18642$ and $A(28,6,9)\ge 11154$, together with an explicit $A(24,6,12)$ code of 5566 words, now in the table's list of lost codes. The second round (14 October 2026) gave seven values, listed in the table since 15 October 2026: $A(29,6,10)\ge 27183$, $A(29,6,11)\ge 42042$, $A(29,6,9)\ge 14781$, $A(28,6,10)\ge 19110$, $A(27,6,12)\ge 24804$, $A(28,6,9)\ge 11388$ and $A(27,6,13)\ge 27783$, three of which replace first-round values. Every code is a union of orbits of the semilinear affine group $\mathrm{AΓL}(1,27)$, its index-2 subgroup, or $\mathrm{AGL}(1,23)$, acting on all but at most two coordinates. The orbits were chosen by maximum-weight independent set search on the orbit conflict graph: branch and bound in the first round, iterated local search in the second. Each code was checked by two separately written programs over all pairs of words and was regenerated from its generators and orbit representatives. We also report two qubit stabilizer codes, $[[20,11,4]]$ and $[[43,32,4]]$, which raise the lower bounds of 3 listed at codetables.de to the listed upper bound 4.

We prove that a nonempty subset of the binary vector space $\mathbb{F}_2^7$ is spectral if and only if it tiles $\mathbb{F}_2^7$ by translations. This is the smallest binary dimension left open by Ferguson and Sothanaphan. For the implication from tiling to spectrality we show that every eight-point subset of $\mathbb{F}_2^d$ admits $2^{d-3}$ frequencies whose pairwise differences avoid the zeros of its Fourier transform; consequently every tile of $\mathbb{F}_2^d$ with at least $2^{d-3}$ elements is spectral. For the converse implication, we use the Smith normal form of the Walsh matrix to exclude every spectral subset of $\mathbb{F}_2^7$, and of $\mathbb{F}_2^8$, whose size is not a power of two. The sizes $16$ and $32$ are reduced, by a projection argument, to the tiling of point sets attached to binary log-Hadamard matrices of small rank. Using the published classifications of Hadamard matrices of orders $16$ and $32$, we find that exactly sixteen order-$32$ classes up to transposition have dephased binary rank at most seven, and we give explicit tilings for both orientations of each.

We give combinatorial criteria for the existence of left-invariant symplectic forms on the positive and full path Lie groups of finite acyclic quivers. For the nilpotent positive path Lie groups, the criterion also determines whether their compact quotients admit symplectic forms and forces the nilpotency step to be at most three. For the completely solvable full path Lie groups, we give a direct combinatorial criterion and an equivalent recursive criterion. In the symplectic case, the recursive procedure is realized by successive Hamiltonian reductions ending at an abelian symplectic Lie group. We characterize the existence of Lagrangian normal subgroups for a given form in both families, with applications to Lagrangian torus fibrations of compact nilmanifolds. We also describe the cohomology rings of the compact symplectic nilmanifolds and determine all Lefschetz ranks.

String graphs are intersection graphs of continuous curves in the plane. In 2010, Fox and Pach proved that string graphs with $m$ edges admit balanced vertex separators of size $\mathcal{O}(m^{3/4}\sqrt{\log m})$ and conjectured that this bound can be improved to $\mathcal{O}(\sqrt{m})$, which would be optimal. After partial progress, Lee claimed in 2017 to prove this conjecture, and more generally to prove analogous separator theorems for region intersection graphs over minor-closed graph families. A key intermediate step in Lee's approach was a padded decomposition scheme for region intersection graphs. In 2024, Korhonen and Lokshtanov extended Lee's approach to the broader setting of graph classes excluding a fixed graph as an induced minor. These results have since found applications in a wide range of works. Later in 2024, a flaw was discovered in the construction of Lee's padded decomposition scheme, invalidating Lee's as well as Korhonen and Lokshtanov's separator results, and many works relying on them. In this work, we prove that string graphs with $m$ edges admit balanced separators of size $\mathcal{O}(\sqrt{m})$, and more generally obtain analogous $\mathcal{O}(\sqrt{m})$ bounds for region intersection graphs over fixed minor-closed graph families and for graphs excluding a fixed graph as an induced minor, thereby repairing the vast majority of the affected works. Furthermore, our balanced separators can be found in polynomial time. Our proof uses a different approach from Lee's and does not rely on padded decompositions. Since padded decompositions have also found applications independent of the separator theorems, particularly for string graphs, we also prove a padded decomposition result for region intersection graphs that is optimal for string graphs. We have formalized both the balanced separator and the padded decomposition results in Lean 4 with mathlib.

For a set $V$ of $n$ distinct positive integers, let $\mathrm{ML}(V)=\max_{t\in\mathbb{R}/\mathbb{Z}}\min_{v\in V}\|vt\|$, where $\|x\|$ is the distance from $x$ to the nearest integer. We prove that there is an absolute constant $c>0$ such that for every $n\ge2$ and every $V$, \[ \mathrm{ML}(V)>\frac{1+c}{2n}. \] The proof combines a refinement of the large GCD argument of Green and Walker with a new physical spillover inequality for interval multiplicities.

Let $C(n)$ denote the maximum number of directed Hamiltonian cycles in a tournament on $n$ vertices. We prove that, as $n\to\infty$, $$ C(n) = \left(\frac{\cosh 1}{\cos 1}\pm o(1)\right)\frac{(n-1)!}{2^n}. $$ The bound is asymptotically attained by the regular tournament with vertices $\mathbb Z/n\mathbb Z$ where $(i,j)$ is a directed edge if $j - i \pmod n< n/2$. This answers a question of Alon and proves a conjecture of Wormald. Among the other implications of these results is asymptotically determining the maximum number of Hamiltonian paths in a tournament on $n$ vertices. We provide our own exposition of these proofs, which were originally found by GPT-5.6.

Weighted dual skeletons are the combinatorial core of spectral duality structures. Their isomorphism classes, under Cartesian product and disjoint union, form a semiring graded by the degree. We identify it completely: a class is determined by its degree, a symmetric element of the group semiring N_0[R] and its number of fixed points. Equivalently, skeletons of a given degree are finite C_2-sets over the C_2-monoid (R,+), these data are their marks, and the semiring is an infinite-monoid analogue of a crossed Burnside semiring. The multiplicative monoid is not cancellative, the only obstruction being that multiplication by a skeleton without fixed points forgets the fixed points; accordingly, the Grothendieck ring has explicit zero divisors. A continuous family of semiring characters, with the degree and the number of fixed points, is a complete invariant, and for commensurable ratios the multiplicative Grothendieck group is described by Pólya's theorem. The main subject is factorization. The reduced monoid is atomic with bounded lengths, but factorization is not unique, the elasticity is infinite, and even the divisor-closed submonoid with one fixed point is not half-factorial. Without fixed points, every reducible skeleton splits off a single orbit, which gives a criterion by centers, exactly when the number of orbits is 8, 16, a prime or twice a prime. Irreducibility is generic in almost every type. Progression skeletons factor according to mixed-radix number systems, with all factorizations of equal length. Finally, orbit counting gives the dimension of the separatrix and the response rank of products.

Let q be an even prime power and n \ge 2. We construct line spreads of the symplectic polar space W(2n-1,q) by replacing pairwise disjoint reguli in a Desarguesian line spread. The construction is based on partitions of the points of PG(n-1,q^2) into points of a nondegenerate Hermitian variety and Baer sublines meeting that variety in exactly one point. In the plane case, the partition is invariant under a cyclic group of order q^2-q+ 1.

The classical theory of arcs in finite projective spaces provides a powerful geometric framework for studying maximum distance separable (MDS) codes and their possible lengths. In this paper, we investigate how this perspective extends to maximum sum-rank distance (MSRD) codes, whose geometric description involves systems of linear sets rather than individual projective points. Our main goal is to understand how the block structure of an MSRD code constrains its length. In dimension three, we determine the possible intersection patterns of lines with the associated linear sets and obtain explicit formulas for their characters and the weight distribution of the corresponding codes. These results lead to new length bounds and show that the block structure comes at a cost: the presence of a block of rank at least two reduces the maximum possible total length by at least $q-1$, and sufficiently long MSRD codes must be classical, that is, MDS codes over $\mathbb F_{q^m}$. We also prove that three-dimensional one-weight MSRD codes do not exist. In arbitrary dimension, we interpret shortening geometrically as projection and establish a general projection bound that extends classical counting arguments for arcs. This yields restrictions depending explicitly on the block profile and, for full-length blocks, identifies parameter ranges in which linearized Reed--Solomon codes attain the maximum possible number of blocks. Finally, we construct an exceptional three-dimensional MSRD code over $\mathbb F_9$ with three blocks of length two and propose a sum-rank analogue of the MDS conjecture.

We construct a $(16, 3072, 3)$-code, a $(17,6144,3)$-code, an $(18,12288,3)$-code and a $(19,24576,3)$-code. Consequently, we get four new lower bounds: $A(16,3) \geq 3072$, $A(17,3) \geq 6144$, $A(18,3) \geq 12288$ and $A(19,3) \geq~24576$. Each of the codes consists of a union of cosets of a linear code. The constructions are the result of a computer search executing a tabu search algorithm.

Given a set $S$ of $n$ points in general position in the plane, we define the $C$-set $C(p,q)$ of an oriented edge $(p,q)$ as the set of extreme points of the visibility set $V(p,q)$ facing $(p,q)$. Since every point of $V(p,q)$ that is not in $C(p,q)$ gives rise to an empty convex pentagon having $(p,q)$ as a boundary edge, it is natural to study the properties of $C$-sets in order to bound the number of empty convex pentagons of $S$. We prove tight bounds on the intersection size and union complexity of $C$-sets sharing an endpoint. We also consider the problem of bounding the number of empty pentagons and hexagons in terms of the number of interior and boundary points of $S$. While the hexagon bound is weak, it offers a potential step toward a superlinear lower bound. On the other hand, the two-parameter bound for pentagons, combined with the structural results on $C$-sets, yields a simple proof of an $Ω(n^{3/2})$ bound for the number of pentagons. While this is a significant improvement over previously published bounds, a recent preprint \cite{Astudillo2026} attains a better bound using completely different methods. Thus, the primary contribution of this paper lies in the structural results about $C$-sets and the two-parameter bounds for empty pentagons and hexagons.

A quasi-kernel of a digraph $D$ is an independent set from which every vertex is reachable by a directed path of length at most two. The Small Quasi-kernel Conjecture asserts that every source-free digraph on $n$ vertices has a quasi-kernel of size at most $n/2$, whereas the Large Quasi-kernel Conjecture asks for a quasi-kernel whose closed out-neighbourhood has size at least $n/2$. Spiro proved that the former implies the latter. In this paper, we establish a weighted transfer theorem: if every nonnegative integer weighting of a source-free digraph $D$ admits a quasi-kernel whose closed out-neighbourhood contains at least a $θ$-fraction of the total weight, then $D$ has a quasi-kernel of size at most $\lfloor(1-θ)α(D)+θμ\rfloor$ for $0<θ\le1/2$, where $μ$ is the maximum matching size between a maximum independent set and its complement. Using the independent blow-up construction of Spiro, we deduce that the universal small and large quasi-kernel assertions are equivalent for every such $θ$, with no loss in the parameter. In particular, the two conjectures are equivalent. As an application, we prove the half-order bound for source-free break digraphs.

For the mirror word $\mathbf{m}_n=a_1\cdots a_na_n\cdots a_1$, let $\mathcal{V}_n=\mathrm{V}(S(\mathbf{m}_n))$ and $\mathcal{W}_n=\mathrm{V}(S(\mathbf{m}_n)^0)$. We show that $[\mathcal{W}_n,\mathcal{W}_{n+1}]$ ($n\geq 1$) and $[\mathcal{V}_n,\mathcal{W}_n]$ ($n\geq 2$) have cardinality $2^{\aleph_0}$. Every variety in $[\mathcal{W}_2,\mathcal{W}_\infty]$ has infinite axiomatic rank. The unique limit subvariety of $\mathcal{W}_1$ is $\mathrm{V}(SR_6)$. For $n\geq 2$, we construct a distinct directed-path limit variety contained in $\mathcal{W}_n$ but not in $\mathcal{V}_n$.

We establish a volume bound for weighted graphs with positive Bakry--Émery curvature through entropy estimates for the heat flow and characterize the equality case. As a consequence, if a connected unweighted graph $G=(V,E)$ satisfies the Bakry--Émery curvature--dimension condition $CD(2,\infty)$ with respect to the unnormalized Laplacian, then $$ |V|\le 2^d, $$ where $d$ denotes the maximum degree. Equality holds if and only if $G$ is a hypercube. We also establish an analogous volume rigidity result for the normalized Laplacian.

For any finite poset we define a generating polynomial counting upsets, downsets, and their intersection. We investigate the behaviour of this polynomial with respect to poset operations and show that it distinguishes certain posets constructed with the operations of ordinal sum and disjoint union, including Series-Parallel posets as a special case. Lastly, we comment on connections to the causal set approach to quantum gravity.

We separate the generic positive-mass finiteness problem for planar six-body central configurations from finiteness on exceptional mass loci. The Chang--Chen diagram enumeration has 117 graphs. The arguments below confine 40 first-limit diagram obligations to proper necessary mass loci. In particular, a direct function-field argument establishes the No.~66 mass condition for both zero and nonzero drift. We establish the algebraic reduction from an infinite positive family to a germ with an unbounded seven-product, and use the stated diagram rules and computational certificates to confine its mass vector to the union of these loci. Finiteness on the exceptional positive mass loci, the proposed subject of Part II, will be discussed in another paper.

The Strong Total Cover Problem (STCP) is a novel covering problem defined on a graph $G = (V, E)$, where the objective is to find a minimum-cardinality subset $T \subseteq V \cup E$ such that every element of $V \cup E$ is covered. In this setting, a vertex covers itself and all its incident edges, while an edge covers itself together with its two endpoints. The STCP resembles classical covering problems such as Vertex Cover and Edge Cover problems, and naturally arises as the dual of the total matching problem. In this paper, we investigate the STCP from algorithmic, complexity, and polyhedral perspectives. We first establish close connections between STCP, the Dominating Set Problem, and the Maximum Induced Matching Problem. These relationships provide structural insights, imply the NP-hardness of STCP, and identify graph classes for which the problem is polynomial-time solvable. We then investigate the weighted version of STCP, showing that it remains NP-hard even on complete graphs with binary weights. On the other hand, we present a 2-approximation algorithm, and a polynomial-time algorithm for complete bipartite graphs. On the polyhedral side, we introduce the Strong Total Cover Polytope and derive several families of valid inequalities, some of which are shown to define facets. Finally, we provide a complete linear description of the associated polytope for triangular cactus graphs, revealing an interesting contrast with the considerably more intricate facial structure of the dominating set polytope on cactus graphs.

We derive an upper bound on the rate of a linear code capable of list decoding from insertion and deletion errors. Subsequently, we show that a linear code can list decode from at most $n - \frac{L}{L+1}k + 1$ insdel errors with fixed list size $L$, and that this bound is strict when the code does not contain the all-ones vector. We also provide a simple construction of codes achieving the optimal rate for any given list size capable of correcting a single insdel error. All the results hold for linear codes over finite fields of size $q \geq 3$.

Let $G$ be a finite simple graph and let $I_c(G)$ denote its complementary edge ideal. In this paper, we study the Castelnuovo-Mumford regularity, the depth and Serre depth for $(S_{2})$ of the symbolic powers of $I_c(G)$. We derive explicit formulas for $\operatorname{reg} I_c(G)^{(k)}$ and $\operatorname{reg} I_c(G)^{(k)}/I_c(G)^k$ for every $k\geq1$, in terms of the number and the sizes of the connected components of $G$. As applications, we determine their asymptotic behavior, and completely characterize the symbolic powers of complementary edge ideals having linear resolutions. We then investigate the symbolic depth function $k\mapsto\operatorname{depth} S/I_c(G)^{(k)}$. We determine explicitly its values for $k=2,3,4$, and establish bounds for the asymptotic depth. More generally, for an arbitrary squarefree monomial ideal $I$, we compare the local cohomology modules of $S/I^{(k)}$ for different symbolic powers, and derive corresponding inequalities for the depth and the Serre depth. Applying this to complementary edge ideals, we obtain $\operatorname{depth} S/I_{c}(G)^{(t)}\geq\operatorname{depth} S/I_{c}(G)^{(k)}$ for $k\geq 2t-1$, despite the fact that the symbolic depth function need not be non-increasing. Finally, we characterize complementary edge ideals satisfying Serre's condition $(S_r)$, and determine the Serre depth for $(S_{2})$ of all symbolic powers of complementary edge ideals. In particular, we obtain combinatorial characterizations of Serre's condition $(S_{2})$ and of the Cohen-Macaulayness of $S/I_{c}(G)^{(k)}$ for every $k\geq 1$.

Let $g>h\ge2$ be integers. For a nonempty set $W\subseteq\N$, let $\mathcal F^*(W)$ denote the set of its finite nonempty subsets. Let $$A_g(W)=\left\{\sum_{f\in F}a_fg^f: 1\leq a_f \leq g-1,F \in \mathcal F^*(W)\right\},$$ and let $\N=W_1\sqcup\cdots\sqcup W_h$ be a partition into infinite sets. We prove that $A=\bigcup_{i=1}^h A_g(W_i)$ is a minimal asymptotic basis of order $h$ for every such partition.

We give counterexamples to two conjectures of Brettell, Jowett, Oxley, Semple, and Whittle concerning tangles in matroid minors. We construct a matroid $P_0$ with a tangle $\mathcal T$ of order seven. For each $i\in\{4,5,6,7\}$, let $\mathcal T_i$ denote its order-$i$ truncation. No proper minor $N$ of $P_0$ admits, for every such $i$, a tangle of order $i$ whose breadth equals that of $\mathcal T_i$, and $P_0$ is not weakly $4$-connected. We also construct a matroid $P_1$ with a tangle of order four and breadth six, but no internally $4$-connected minor of $P_1$ admits a tangle of order four.

We describe a mixed subdivision of the $(n-1)$-dimensional Loday associahedron into $(n-1)!$ maximal cells which are combinatorial cubes, and we show that the face poset of this subdivision is isomorphic to the face poset of the subdivision of the $1\times 2\times \dotsb \times (n-1)$ box into unit cubes. More generally, we describe mixed subdivisions of generalized associahedra into pieces which are Minkowski sums of Bruhat interval polytopes. Our subdivisions arise from a torus-equivariant embedded (in a product of flag varieties) degeneration of brick varieties into reduced unions of products of Richardson varieties. The subdivision of Loday's associahedron allows us to `embed' the 1-skeleton of the permutahedron in the boundary of the associahedron.

We extend Wright's enumeration of connected labelled graphs with fixed surplus to irreducible critical finite type kernels and regular compact type kernels. Let $C_t(k,r)$ denote the total weight of connected labelled graphs with $k$ vertices and surplus $r$. Let $u>0$ satisfy $Ku=u$ and $\int u\,dμ=1$, and put $α=\int u^2\,dμ$ and $β=\int u^3\,dμ$. We prove that the rooted-tree radius $ρ$ is positive and real analytic near $1$, with $ρ(1)=1$ and $\logρ(t)=\frac{α^2}{2β}(t-1)^2+O(|t-1|^3)$, and that, for fixed $r\in\mathbb{Z}_{\ge0}$ and $0\le L < \infty$, $C_t(k,r)=w_rβ^{(r-1)/2}e^{-k}ρ(t)^{-k}k^{k+3r/2-2}\{1+O_{r,L}(k^{-1/2})\}$, uniformly for $|t-1|\le Lk^{-1/2}$, where $w_r$ is the classical Wright constant. At $t_n=1+λn^{-1/3}$, these asymptotics yield local size and surplus point-process limits for deterministic finite type models and annealed compact type Bollobas-Janson-Riordan models satisfying projective quadratic regularity. After rescaling component sizes by $β^{1/3}n^{-2/3}$, the limit is the Aldous process at parameter $αβ^{-2/3}λ$, and the corresponding type profiles concentrate at the Perron law $p(dx)=u(x)μ(dx)$. For every regular countable critical kernel, we construct graph sequences with growing finite supports and the same local limits, and identify the additive shift of the critical window caused by spectral perturbations of order $n^{-1/3}$.

For every fixed $k\ge 3$ and every integer $b\ge 2$, we construct a finite vertex-partitioned $k$-uniform hypergraph with blocks of size $b$ and no independent transversal. We show that the maximum number of edges meeting a block is $\left(\frac{(k-1)^{k-1}}{k^k}+O_k(b^{-1})\right)b^k,$ while the maximum vertex degree is $\left(\frac{(k-2)^{k-2}}{(k-1)^{k-1}}+O_k(b^{-1})\right)b^{k-1}$. This shows that the known bound on the number of edges meeting a block is asymptotically sharp even when the leading constant in the maximum vertex degree tends to zero, which answers a problem of Groenland, Kaiser, Treffers, and Wales. By blowing up the same construction, we further obtain for arbitrarily large $n$, there exists a $k$-uniform hypergraph with $n$ blocks, each of size at least $n$, and $Δ(G)<\left(1-\frac1k\right)^{k-1}n^{k-1}$, but with no independent transversal. This gives a negative answer to a problem of Haxell and Wdowinski.

We study the LOVÁSZ number of dense random circulant graphs generated by independent Bernoulli bits indexed by cyclic distances. Although only $O(n)$ independent random inputs determine $O(n^2)$ globally dependent edge indicators, we prove sharp expectation asymptotics along all odd orders, including composite orders, with leading constant one. This resolves a conjecture posed for random circulant graphs in 2025. The proof combines an exact Fourier reduction and complementary duality with a positive interior smoothing that reveals a nonlinear random fixed-point equation. To analyze this equation under the strong dependence of the distance-bit model, we construct canonical tree fields, establish growing-degree Gaussian approximations through polynomial comparison and Wick/Hermite expansions, and transfer the resulting approximation back to the original sign model. A deterministic residual estimate together with an explicit exceptional-event integration yields the sharp expectation asymptotics.

We show that for every graph $G$ and every positive integer $k$, $G$ contains either $k$ vertex-disjoint even cycles with no edges between distinct cycles, or a set of $O(k^2\log k)$ vertices whose closed neighborhood meets every even cycle of $G$. Moreover, we give a polynomial-time algorithm that outputs one of the two outcomes. As an application, we show that every $K_{1,t}$-free graph containing no induced packing of $k$ even cycles has tree-independence number $O(tk^2\log k)$, with a corresponding decomposition computable in polynomial time.

We find the 728 vertex-transitive directed strongly regular graphs with parameters $(v,k,t,λ,μ)$ where $1 \le v \le 39$ and $k < v/2$ and $0 < t < k$. A table with parameters and automorphism groups and some additional data is given.

We construct a weighted signed dual multigraph for the Cayley $2$-complex of a finite presentation and represent its $\ell^2$ face Laplacian as a signed graph Laplacian with a diagonal potential. We prove that the face spectral gap above the kernel vanishes for the Baumslag--Solitar groups $\operatorname{BS}(1,m)$, $m\ge2$, using explicit finitely supported face chains. Our main vanishing theorem gives the same conclusion for every finitely presented amenable group with ordinary first Betti number at least two.

We study the common spanning structure of connected finite simple graphs that are indistinguishable by uniformly initialized color refinement. We prove that any two such graphs with common cyclomatic number $r\ge2$ contain isomorphic spanning forests with at most $r-1$ components. This bound depends only on $r$ and is sharp for every $r\ge2$. We also determine the maximum, over all such graph pairs without restricting their order, of the minimum edge symmetric difference under vertex bijections: it is exactly $4(r-1)$.

For a graph $G$ with adjacency matrix $A_G$ and a coefficient field $\mathbb K$, put $ρ_{\mathbb K}(G)=\operatorname{rank}_{\mathbb K}(A_G+I)$. We answer the triangle-free Rank--Ramsey existence question of Beniamini, Linial and Shraibman. For every order $n$, we construct a triangle-free graph $H_n$ such that, simultaneously over all coefficient fields, $$ ρ_{\mathbb K}(H_n)=\bigl(4(2/3)^{3/4}+o(1)\bigr)n^{3/4}, $$ with an error uniform in the field. The graphs can be chosen Hamiltonian for all sufficiently large $n$. Our method combines ordered layers of point--line incidence flags with a common low-dimensional endpoint space. We determine the exact real rank, independence number and chromatic number of the affine lifts. For all triangle-free complete incidence lifts, we obtain a sharp two-term lower bound for complete incidence lifts, with sharpness witnessed by projective-plane incidence graphs over suitable coefficient fields. We also establish a third-order estimate and stability near equality. On the same explicit graphs, both the Lovász number and minimum semidefinite rank exceed the prescribed Boolean-matrix rank by polynomial factors. Thus neither parameter has a universal constant-factor upper bound in terms of complement rank. We determine Shannon capacity in the short-layer range.

We study two questions about the second-order Zarankiewicz numbers. The first is the recursive-line equality $z_2(m,n)=z_{RL}(m,n)$, known to hold in every computed case and conjectured in general. The second, here called \emph{overtake}, is the strict inequality $z_{2A}(m,n)>z_2(m,n)$ between the second-order augmented number and the second-order number. Both are governed by the number $H_{\mathrm{limited}}(m,n)$ of unoccupied cells in a limited extremal configuration. We prove that the first increase $z_2\to z_2+1$ already costs three unoccupied cells, forcing a unit of one-edge deficit, and the cell identity then bounds the excess $z_{2A}-z_2$ by $\lfloor(H_{\mathrm{limited}}-1)/2\rfloor$. In particular, when the recursive-line hole count is at most two, no overtake occurs. We conjecture the sharp budget $\lfloor H_{\mathrm{limited}}/3\rfloor$ and that $H_{\mathrm{limited}}\ge5$ is the threshold for an overtake. In the computed range $n\le7$, no overtake occurs at any order, the sole exception being the known case $(4,4)$. The recursive-line equality $z_2=z_{RL}$ is verified at every order in the range where both values are determined; the orders at which it remains unsettled are $(12,4)$ and $(14,4)$ at width four, $(11,5)$ at width five, and $(8,7)$ at width seven.

We prove the curious fact that, in any Coxeter group, the intersection of a principal left weak order ideal $[e,x]_L$ with a principal right weak order ideal $[e,y]_R$ has a unique maximal element $\mathrm{lr}(x,y)$ under Bruhat order. We apply this to resolve a conjecture of Hart and Rowley on involutions in weak order ideals. This fact arises from, and is applied to, our study of the theory of separable elements in finite Weyl groups. We use it to prove that for $U=[e,u]_R$ in a Coxeter group $W$, the multiplication map $W/U\times U\rightarrow W$ is surjective, where $W/U$ is the Björner-Wachs generalized quotient. This resolves and generalizes a conjecture of the authors. For finite Weyl groups, we further prove that this map is bijective if and only if $u$ is separable, thereby classifying the splittings of finite Weyl groups into weak order intervals, and resolving the natural extension of a question of Björner-Wachs.

Threshold graphs-the $\{P_4, C_4, 2K_2\}$-free graphs, equivalently those built from a single vertex by repeatedly adding isolated or dominating vertices-are among the most thoroughly studied graph classes in spectral graph theory. This survey collects results on the spectrum of threshold graphs across the full range of matrices studied in the literature: the adjacency, Laplacian, and signless Laplacian matrices; the distance, distance Laplacian, and distance signless Laplacian matrices; the eccentricity and Seidel matrices; and the normalized adjacency, Laplacian matrix-together with the associated graph energies, cospectrality questions, extremal spectral radius problems, and several generalizations (weighted, quasi-threshold, hypergraph, and random threshold graphs). We emphasize results from the recent years, including the foundational work of Chvátal--Hammer, Merris, Bapat, and Jacobs--Lazzarin--Trevisan--Tura. We also present a study of integral threshold graphs (those with all-integer spectrum) across all seven matrices. We close with a list of open problems and conjectures drawn directly from the surveyed literature and from this new analysis.

The colorful Carathéodory theorem states that if $V_1,\dots,V_{d+1}\subset\mathbb R^d$ satisfy $0\in\mathrm{conv}\;V_i$ for every $i$, then there exist points $v_i\in V_i$ such that $0\in\mathrm{conv}\;\{v_1,\dots,v_{d+1}\}$. We give a new proof based on triangulations and the classical KKM lemma. We lift the sets $V_i$ to parallel affine copies of $\mathbb R^d$ in $\mathbb R^d\times\mathbb R^d$ and use a triangulation of the resulting point configuration to construct a KKM cover. Using the same approach, we prove the very colorful Carathéodory theorem.

A graph $G = (V, E)$ that admits a bijective edge labeling $f:E \to\{1,\ldots ,|E|\}$ is local antimagic if $f$ induces a vertex labeling $f^+$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(xu)$, with $u$ ranging over all the vertices adjacent to $x$. The minimum number of distinct induced vertex labels over all local antimagic labelings of $G$ is the local antimagic chromatic number of $G$, denoted $χ_{la}(G)$. In this paper, we completely characterize all the disconnected one-point unions of cycles (having at most 3 components) with local antimagic chromatic number 2. Our approach allows the complete characterization of all such graphs with at least 4 components by a case-by-case analysis and every edge is assigned a unique label, up to isomorphism.

It has been conjectured that $χ_{\mathrm{la}}(T)\leq\ell(T)+2$ for every tree $T$ of order at least three, where $χ_{\mathrm{la}}(T)$ is the local antimagic chromatic number and $\ell(T)$ denotes the number of leaves. We disprove this bound and show that no absolute constant can replace $2$ in an inequality of this form. Our approach uses degree-based intervals containing all possible induced vertex weights under bijective edge labelings, together with a separation criterion that forces selected internal vertex weights to be distinct. We first construct caterpillars $T_3$ and $T_4$ satisfying $χ_{\mathrm{la}}(T_3)=\ell(T_3)+3$ and $χ_{\mathrm{la}}(T_4)=\ell(T_4)+4$, respectively. We then construct, for every positive integer $r$, infinitely many pairwise nonisomorphic caterpillars with exactly $r$ internal vertices for which every bijective edge labeling is antimagic. Each such caterpillar $T$ satisfies $χ_{\mathrm{la}}(T)=|V(T)|=\ell(T)+r$. Consequently, $χ_{\mathrm{la}}(T)-\ell(T)$ is unbounded even within the class of caterpillars, and no absolute constant $C$ can satisfy $χ_{\mathrm{la}}(T)\leq\ell(T)+C$ for every tree $T$.

Orthogonal arrays are foundational objects in combinatorial design theory and experimental design theory, with broad applications in computer science, coding theory, and cryptography. In this paper, we investigate the existence for mixed orthogonal arrays of strength two with six factors, and propose several new constructions based on incomplete orthogonal Latin squares, incomplete transversal designs, and $Σ$-resolvable transversal designs. As a result, we show that the necessary conditions for the existence of such mixed orthogonal arrays are also sufficient, except for a small number of known exceptions and nine unsettled cases.

We prove that the triangle $C_3$ is the only integral unicyclic graph with an odd cycle. The main tool is a spectral inequality that does not require integrality: if $G$ is a connected non-bipartite graph and $G-e$ is bipartite for some edge $e$, then the eigenvalues $λ_1\ge\cdots\geλ_n$ of $G$ satisfy $\sum_{i}(λ_i+λ_{n+1-i})^+\le 2$ and $0<λ_1+λ_n\le 1$. It follows from comparing $A(G)$ with the signed adjacency matrix obtained by reversing the sign of $e$, which is similar to $-A(G)$, through a common rank-one perturbation and Weyl's monotonicity theorem. For integral graphs in this class, an arithmetic lemma then gives $λ_n=1-λ_1$ and at least $λ_1-1\ge1$ triangles, which yields the classification. We also prove that an integral graph of odd girth $g$ has at least $(g-1)!/2$ cycles of length $g$, with equality for the Petersen graph when $g=5$, and we derive consequences for quantum periodicity a

A central conjecture of Ferroni, Jochemko, and Schröter posits that every positroid is Ehrhart positive. While Ehrhart positivity has recently been verified for notable classes such as lattice path matroids and series-parallel matroids, the general conjecture remains open. In this paper, we prove that the base polytope of any paving positroid has positive Ehrhart coefficients. This establishes a new class of Ehrhart positive positroids and provides substantial evidence supporting this conjecture.

We present two ways of constructing Ehrhart polynomials corresponding to certain triangles in $\mathbb{R}^3$. One of our methods employs Popoviciu's Theorem, while the other method uses a version of Pick's Theorem adapted to rank-2 lattices in $\mathbb{R}^3$. We then apply our methods to linear Diophantine equations of the form $ax+by+cz=n$ and develop upper and lower bounds on the number of solutions in nonnegative integers $x$, $y$, and $z$. The bounds we develop are closed form quasi-polynomials, and the difference between them is bounded by a constant depending only on $a$ and $b$. As an application, we prove that the $k$th Frobenius number exists for any triple of positive integers and any $k$.

We study the local $\mathrm v$-numbers of binomial edge ideals from a combinatorial perspective. For each minimal prime $P_{\mathcal S}$ of $J_G$, indexed by a cutset $\mathcal S$ of $G$, we consider two combinatorial invariants, $\mathrm v^-_{\mathcal S}(G)$ and $\mathrm v^+_{\mathcal S}(G)$, defined in terms of transversals of suitable hypergraphs, and show that the local $\mathrm v$-number $\mathrm v_{P_{\mathcal S}}(J_G)$ satisfies $\mathrm v^-_{\mathcal S}(G)\leq \mathrm v_{P_{\mathcal S}}(J_G)\leq \mathrm v^+_{\mathcal S}(G)$. Under a suitable hypothesis on the connected components, we provide explicit graph-theoretic descriptions of these invariants and analyze when they coincide, giving a combinatorial way to determine the local $\mathrm v$-numbers. As an application, we derive a sufficient condition for this coincidence, which applies to a broad class of graphs. Furthermore, we identify a constant that controls the gap between $\mathrm v^-_{\mathcal S}(G)$ and $\mathrm v^+_{\mathcal S}(G)$, thereby showing that the local $\mathrm{v}$-number lies within a bounded interval. Applications to cycles and trees illustrate both the equality criterion and the resulting bounds.

Norin and Steiner recently proved the Linear Hadwiger Conjecture. That is, there is an absolute constant $C$ such that every graph $G$ satisfies $χ(G)\leqslant C\,\text{had}(G)$, where $χ(G)$ is the chromatic number and $\text{had}(G)$ is the Hadwiger number of $G$. They estimate that their proof gives a non-optimised constant $C$ of order $10^{100}$. This paper uses AI assistance to optimise their argument, and shows that every graph $G$ satisfies $χ(G)\,\leqslant\,1{,}118{,}430\,\text{had}(G)$.

We give a deterministic polynomial-time algorithm for the Bilu--Linial signing problem on bipartite graphs. For every finite simple bipartite graph of maximum degree at most an integer $Δ\ge3$, the algorithm assigns signs to its edges so that the signed adjacency matrix has operator norm strictly less than $2\sqrt{Δ-1}$. Our algorithm builds on the randomized recursive repair framework of Jadbabaie, Saberi, and Sra~\cite{JSS26}, with deterministic rules for sign selection and vertex deletion.

Given any fixed integer $k \ge 2$ and sufficiently large $d$, we show that the largest possible fractional chromatic number of a $k$-uniform $d$-degenerate uncrowded hypergraph $H$ (i.e., with girth at least $5$) satisfies \[ χ_f(H) = (1 + o_d(1)) \left((k-1)\,\frac{d}{\log d}\right)^{\frac{1}{k-1}}. \] In fact, we prove that this holds for $k$-uniform $d$-degenerate hypergraphs of girth at least $g$, for any given $g \ge 5$. As a corollary, we obtain improved bounds on the fractional chromatic number of $d$-degenerate linear hypergraphs. This work builds upon a recent result by Allen, Dhawan, and Noel, extending it from graphs to hypergraphs. In addition to overcoming the new difficulties that arise in the hypergraph setting, our approach yields a simpler proof even in the original graph case. Our proof of the upper bound uses a simpler iterative procedure for sampling independent sets. We also establish bounds for fractional colorings with local demands, a framework introduced by Kelly and Postle, verifying a recent conjecture of Yu and Zhang. As a consequence, we obtain a degree-sequence bound on the independence number of uncrowded hypergraphs with a leading constant matching the shattering threshold. For the matching lower bound, we use a hypergraph variant of the uniform attachment model and harmonic vertex weights to bound the fractional chromatic number via linear programming duality, then remove all short cycles by deleting vertices of negligible total weight. We also replace the Catalan-number argument used in the graph case with a matrix-norm estimate, simplifying the analysis.

The lattice-coset method of Alon, Bucić, and Davies gives real solutions with controlled coordinates. We combine it with integer rounding to prescribe outdegrees and flows from spanning-tree packing. For every integer $q\ge3$, $q$ edge-disjoint spanning trees suffice for every outdegree prescription modulo $q$ whose sum is compatible with the number of edges. The tree count is optimal even for simple graphs. A common interval theorem extends the argument to totally unimodular matrices; for graphs, its partition inequalities admit a sharp allowance of two. Fractional packing characterizes when every prescription has a strongly connected realization and gives circular-flow bounds. In particular, for every integer $k\ge1$, every $(4k+2)$-edge-connected graph has circular flow number strictly below $2+1/k$, with optimal connectivity for this strict inequality. As a structural application, every four-edge-connected graph with no bond of size six, seven or eight has a nowhere-zero three-flow. Further consequences concern star decompositions, antisymmetric flows and contraction.

This paper investigates the preservation of three classes of Ehrhart properties under various operations on lattice polytopes. These operations include Cartesian products, lattice joins, lattice pyramids, free sums, Minkowski sums, Cayley sums, reflexive polarity, and integral dilations. Specifically, we consider the following properties frequently studied in Ehrhart theory: (i): Positivity of Ehrhart coefficients, including Ehrhart positivity and magic positivity. In particular, we present lattice point counting formulas for the polytopes generated by these operations. (ii): Coefficient properties of the $h^*$-polynomial, including symmetry, unimodality, log-concavity, ultra log-concavity, real-rootedness, and $γ$-positivity. (iii): Geometric properties, including the spanning property, the integer decomposition property, very ampleness, and the existence of unimodular triangulation, regular unimodular triangulation, and quadratic triangulation. We determine which properties are preserved under these eight operations, establishing preservation theorems or constructing explicit counterexamples. Furthermore, when a property is not preserved in general, we investigate sufficient or equivalent conditions for its preservation.

We prove a general inversion formula in the equivariant incidence algebras of geometric lattices that relates the equivariant Chow function with the equivariant super-reduced characteristic function. We apply this result to the case of minimal wonderful models for hyperplane arrangements associated to root systems, with the natural action of the corresponding Weyl group. Applying this formula to type $A$ (i.e. the partition lattices), we recover Getzler's compositional identity in type $A$. In type $B$ (i.e. the signed partition lattice), we recover Henderson's result, expressing the equivariant Chow generating series in terms of the same series in type $A$ and the equivariant characteristic generating series of type $B$. Moreover, we obtain a new compositional identity for the equivariant Chow generating series.

Given a subvariety of the Grassmannian and a data point, we seek to find a point on the subvariety minimizing the Euclidean distance to the data point. The number of complex critical points of this optimization problem is the Euclidean distance (ED) degree. We show that the ED discriminant of the whole Grassmannian, that is, the set of data points with a number of critical points different than the ED degree, is the discriminant of the characteristic polynomial of the data as a projection matrix. Another closely connected algebraic complexity measure for a subvariety in the Grassmannian is the Grassmann distance (GD) degree, which is the number of complex critical points of the distance optimization problem when the data point itself is in the Grassmannian. We give formulae for ED and GD degrees of geometrically meaningful subvarieties of the Grassmannian, namely, products of smaller Grassmannians, matroid realization varieties, and Schubert varieties.

We prove that every $n$-point set in the plane has a two-coloring with discrepancy $O(n^{1/4})$ for all triangles. This improves the previous bound $O(n^{1/4}\sqrt{\log n})$ and matches the classical lower bound.

We study Ehrhart coefficients, the integer decomposition property, and unimodular triangulations for two families of Hermite normal form simplices considered by Bruckamp, Caicedo, and Juhnke. The first family consists of simplices of the form $S_{\boldsymbol{a}}=\mathrm{conv}(0,e_1,\ldots,e_{d-1},\boldsymbol{a})$, where $\boldsymbol{a}=(a_1,\ldots,a_{d-1},N)$, and the second consists of the simplices $T_{d,N}=\mathrm{conv}\bigl(0,e_1,\ldots,e_{d-2},(d-2,\ldots,d-2,d-1,0),(1,\ldots,1,N)\bigr)$. For the family $T_{d,N}$, we prove unimodality of the Ehrhart coefficients in every dimension and determine the log-concave and real-rooted cases. For the subfamily $S_{\boldsymbol{a}}$ with $\boldsymbol{a}=(N-q,\ldots,N-q,N)$, we characterize both the integer decomposition property and the existence of a regular unimodular triangulation via a congruence condition on a negative continued fraction. We also give an arithmetic test for the integer decomposition property and finite triangulation tests for $S_{\boldsymbol{a}}$ with arbitrary $\boldsymbol{a}$. These results address three open questions of Bruckamp, Caicedo, and Juhnke.

For $n\ge5$, let $F\colon\mathbb{F}_2^n\to \mathbb{F}_2^n$ be almost perfect nonlinear and write $N=2^n$. It is proven that the linearity $\mathcal{L}(F)$ of $F$, i.e., the largest absolute Walsh coefficient of a nonzero component, is at most $N-6$. If $n$ is even, it is further proven that $\mathcal{L}(F)\le N-\sqrt N/4-2$. These bounds improve the general upper bound of $N-4$ in odd dimension and $N-6$ in even dimensions $n \geq 10$. It is further proven that, for each fixed $k$, the $k$-th largest absolute Walsh coefficient among nonzero components, counted with multiplicity, is at most $(1+O_k(2^{-n}))N/\sqrt{k}$ as $n\to\infty$. The second and fourth largest coefficients are at most $2\lfloor N/3\rfloor$ and $N/2$, respectively. Finally, a bound on the linearity in terms of the number $q$ of nonplateaued nonzero components is derived. In odd dimension, for $q>0$, we have $\mathcal{L}(F)^2\le N(1+\sqrt{q(N-1)})$, so that $\mathcal{L}(F)/N\to1$ implies $q/N\to1$. In even dimension, for every $1/2\le C<1$, the condition $q\le(4C-C^2-1)N/4+1$ implies $\mathcal{L}(F)\le CN$. In particular, $q\le3N/16+2$ implies $\mathcal{L}(F)\le N/2$.

We prove that Chapoton's $q$-Zeta numerator has nonnegative coefficients for the positive-root poset of every finite reduced irreducible crystallographic root system, graded by root height minus one and normalized by Chapoton's prescribed denominator. The same holds for every interval of the root poset with zero adjoined. The key observation is that adjoining a minimum changes the numerator only by the substitution $t\mapsto qt$. The numerator thereby becomes a nonnegative combination of flag $h$-numbers of a lower-semimodular lattice, and a classical labelling of the dual lattice gives a positive descent expansion. To make the coefficients explicit, we construct signed edge-lexicographic (EL) labellings of Ferrers-cell posets with nonincreasing boundaries. They give ballot-word formulas in types $A$, $B$, and $C$, which prove an observation of Chapoton in type $B$, and a coloured path formula in type $D$. For trapezoidal boundaries, one-boundary major-index enumerators evaluate the path sums in Gaussian-binomial form.

The well-known open problem of Bell and Skandera asks whether a real-rooted polynomial $f(t)$ with positive integer coefficients and constant term one is the $f$-polynomial of a simplicial complex. Mu and Welker proved that if the recursive decomposition $f(t)=g(t)+th(t)$ satisfies the corresponding coefficient inequality $h_i<g_i$, then this open problem has an affirmative answer. Mu and Welker also conjectured that the real-rootedness of $f(t)$ implies that of $g(t)$ and $h(t)$. We give counterexamples to the conjecture of Mu and Welker for every degree at least three, and prove that the assertion holds in degrees $1$ and $2$. Moreover, each polynomial we construct is the $f$-polynomial of a simplicial complex.

We give an FPRAS for the permanent of an $n\times n$ $0/1$ matrix with running time $\widetilde O(n^3)$. Our algorithm extends to a strongly polynomial FPRAS for arbitrary nonnegative matrices with the same running-time bound (but in the unit-cost arithmetic model). Jerrum, Sinclair, and Vigoda (2004) gave the first FPRAS for the permanent of a nonnegative matrix. The running time was subsequently improved to $\widetilde{O}(n^7)$ by Bezáková, Štefankovič, Vazirani, and Vigoda (2008), and recently to $\widetilde{O}(n^6)$ by Chen, Vigoda, and Yang (2026). We introduce a multicommodity-flow bound inspired by electrical flows, replacing the usual path-length factor by routing energy. For the classical JSV chain with perfect-matching weights multiplied by $n^2$, we prove a relaxation-time bound of $O(n^3\log n)$ and obtain comparable bounds for estimating the stationary probabilities of having a specified pair of unmatched vertices. We use a separate chain on assignments to generate a warm start at any given temperature, avoiding the long initialization of the JSV chain. Finally, we replace the JSV chain with a new chain that uses only $n$ hole weights and speeds up hole-weight learning by a factor of $n$.

Recently, Ferroni constructed a family of counterexamples to the well-known conjecture in Ehrhart theory stating that the $h^*$-polynomial of a lattice polytope with the integer decomposition property is unimodal. This raises the question of whether the $h^*$-polynomial of a lattice simplex with the integer decomposition property remains unimodal. In this note, we prove that every lattice simplex with the integer decomposition property and prime normalized volume has a unimodal $h^*$-polynomial. Furthermore, we establish several sufficient conditions for the unimodality of the $h^*$-polynomial of such simplices.

Beck and Pixton expressed the Ehrhart polynomial of the Birkhoff polytope as a weighted sum of constant terms of several multivariate rational functions. Xin and Zhang studied a class of constant terms $h_n(t)$, which can be regarded as a variation of the Morris constant term. They proved that $h_n(t)$ is a polynomial of degree $(n-1)^2$ and obtained many nice properties involving the Morris constant term identity. Let $h_n^*(y)=(1-y)^{(n-1)^2+1}\sum_{t\geq0}h_n(t)y^t$. For fixed $n\geq 3$, we obtain the following results for $h_n^*(y)$: (i): $h_n^*(y)$ is a polynomial with positive integer coefficients. (ii): $h_n^*(y)$ is real-rooted. In particular, all its roots are non-positive real numbers. (iii): $h_n^*(y)$ is Gamma-positive. Furthermore, $h_n^*(y)$ is palindromic, unimodal, and ultra log-concave. This confirms Xin and Zhang's conjecture regarding $h_n^*(y)$. In order to resolve this conjecture, we also developed an operator on the space of symmetric polynomials that preserves real stability. As a byproduct, we prove that every root of a Gamma polynomial associated with $h_n^*(y)$ is a negative real number.

Let $P$ be a $d$-dimensional lattice polytope with Ehrhart polynomial $L_P(t)$. Motivated by the study of Ehrhart positivity and magic positivity, we investigate the Taylor coefficients $\mathsf{A}_j(P;k)$ in the shifted expansion $L_P(t)=\sum_{j=0}^{d}\mathsf{A}_j(P;k)(t-k)^j$ about a real center $k$. In this paper, we obtain the following four main results. (i) We give exact formulas for these coefficients in terms of the ordinary Ehrhart coefficients, the $h^*$-vector, elementary symmetric functions, and Stirling numbers. (ii) We denote by $τ(P)$ and $τ^+(P)$ the smallest nonnegative integral centers at which all Taylor coefficients are nonnegative and positive, respectively. If $s$ is the degree of the $h^*$-polynomial, then $0\leqτ(P)\leqτ^+(P)\leq\min\{\max\{0,s-1\},\lfloor\frac{d-1}{2}\rfloor\}$. As an application, we slightly improve an upper bound due to Beck, De Loera, Develin, Pfeifle, and Stanley. That is, every real root of $L_P(t)$ lies in $[-d,\lfloor\frac{d-1}{2}\rfloor)$. (iii) Let $ρ(P)$ be the smallest nonnegative real center such that the Taylor coefficients are nonnegative. If $λ_{\mathbb{R}}(f)$ denotes the largest real zero of $f(t)$, with value $-\infty$ when no such zero exists, then $ρ(P)=\max\{0,\max_{0\leq j<d}λ_{\mathbb{R}}\!(L_P^{(j)})\}$. (iv) We establish structural properties of the Taylor coefficients $\mathsf{A}_j(P;k)$, including derivative interlacing, palindromic reflection symmetries, and Laguerre and Newton inequalities. As a final note, these results provide a systematic partial answer to an open problem listed on the website of the American Institute of Mathematics.

Sylvester's denumerant $d(t; \boldsymbol{A})$ counts the number of nonnegative integer solutions to $\sum_{i=1}^{N} a_i x_i = t$, where $\boldsymbol{A} = (a_1, \dots, a_N)$ is a sequence of positive integers with $\gcd(\boldsymbol{A}) = 1$. In 2025, Xin and Zhang gave a polynomial time algorithm in $N$ for computing $d(t; \boldsymbol{A})$ when the entries of $\boldsymbol{A}$ are bounded by a constant. In this paper, we extend this algorithm by incorporating Barvinok's algorithm, enabling it to handle the case where a fixed number of entries of $\boldsymbol{A}$ are allowed to be unbounded.

An $(α,β)$ Somos-$4$ sequence $S_n$ is defined by the recurrence $S_nS_{n-4}=αS_{n-1}S_{n-3}+βS_{n-2}^2$ ($n\geq 4$), with suitable initial values, where $α$ and $β$ are constant parameters. A widely studied question is the following: When does the Hankel transform of a generating function become an $(α,β)$ Somos-4 sequence? In particular, how can $α$ and $β$ be derived for such a function? A sufficient condition for this problem has been established by Wang and Zhang. In this paper, we obtain the following three main results. (i): We extend the Wang--Zhang sufficient condition by working over the rational function field. Then we combine this result with the Sulanke--Xin quadratic transformation to resolve all of Barry's currently unsolved $(α,β)$ Somos-4 conjectures, which arise in diverse contexts, including generalized Catalan recurrences, Riordan arrays, generalized Bernstein arrays, and elliptic curves. (ii): We show that the odd and even subsequences of an $(α,β)$ Somos-4 sequence are again $(α,β)$ Somos-4 sequences with transformed parameters. This is employed to establish Barry's Hurwitz transform conjecture. (iii): Using the theory of orthogonal polynomials, we prove a Hankel determinant formula and thereby prove a conjecture related to the $(α,β)$ Somos-4 sequence. In addition, we prove some conjectures on formulas for periodic Hankel determinants.

For a finite sequence of positive integers $\boldsymbol{a}=(a_1,\dots,a_n)$, the restricted partition function $q_{\boldsymbol{a}}(k)$ denote the number of nonnegative integer solutions to the equation $a_1x_1+a_2x_2+\cdots +a_nx_n=k$. It is proved to be a quasi-polynomial of degree $n-1$. Write $q_{\boldsymbol{a}}(k)=\sum_{j=0}^{n-1}c_j(k)k^j$ with periodic coefficient functions $c_j$, and set $b_m=\#\{i:m\mid a_i\}$. In 2008, Beck, Sam, and Woods conjectured that the minimum period of $c_j(k)$ is $\mathrm{lcm}\{m:b_m>j\}$. In this paper, we derive an exact root-of-unity formula for every coefficient function $c_j(k)$. The formula proves the conjectured divisibility upper bound, but it also reveals a lower bound for the period of $c_j(k)$. Both divisibility bounds are sharp. This leads us to construct a family of counterexamples to this conjecture.

In 2011/12, Ruskey, Sawada, Stevens and Williams showed that a binary cut-down de Bruijn sequence can be constructed containing all $n$-tuples of Hamming weight either $r$ or $r+1$ for every possible $r$, and no others. In this paper we examine extensions of this result that require choosing a weight-like function applying to $n$-tuples with symbols taken from an alphabet of arbitrary (finite) size. We consider three possible such weight functions, and in each case establish an analogous result to that of Ruskey et al.

Barry introduced a central transform of integer sequences and proposed four conjectures concerning the Hankel transforms of central transform of four rational families. We prove these four conjectures. The proofs are unified within a common algebraic framework: we interpret the Hankel determinants as Gram determinants and use a basis of shifted monic Chebyshev polynomials to reveal the finite-band structure of the associated Gram matrices.

We introduce ideal Gårding polynomials, a convexity-enhanced subclass of Gårding polynomials whose Gårding components are recursively convex under partial differentiation. This class strictly contains real stable polynomials and, after translation and homogenization, lies in the Lorentzian class. Our main result is that ideal Gårding polynomials still admit a robust structure theory despite this additional convexity: they are preserved under polarization, satisfy natural closure properties, and support a linear preserver theory. A key contribution of this paper is a universal model for univariate Gårding polynomials, described by monotone root sequences and equivalently by volume polynomials of Pitman--Stanley polytopes. We establish quotient concavity, and Newton--Maclaurin type inequalities, which leads to the polarization theorem, and suggests further connections with convex geometry and Lorentzian polynomials.

A set \(\mathcal{G}\) of integers is a \(g\)-Golomb ruler if each positive difference appears at most \(g\) times between any 2 elements of the set, and \(G(g,n)\) denotes the minimum diameter of such a ruler with \(n\) marks. We prove a general lemma for passing from certain modular constructions to ordinary \(g\)-Golomb rulers. The key point is that, in a modular \(g\)-Golomb ruler, no cyclic gap length can occur more than \(g\) times. This gives a larger guaranteed cut than the previous average gap argument. We apply this lemma to cyclic relative difference sets, Singer sets, Ruzsa--Spence rulers, and Paley quadratic residues to provide many competing constructions for \(g\)-Golomb Rulers. A computation on the grid \(1\le g\le500\), \(n=g+b\), \(2\le b\le500\), compares the four resulting construction families.

For a fixed graph $H$, \HFS\ asks whether at most $k$ edge subdivisions can make an input graph contain no induced copy of $H$. We establish a complexity dichotomy for every fixed nonempty $H$: the problem is polynomial-time solvable if every component of $H$ is a subdivided star or a subdivided bistar and at most one component is a subdivided bistar; it is NP-complete otherwise. In every NP-complete case, the Exponential Time Hypothesis rules out a $2^{o(k)}n^{O(1)}$-time algorithm. For every fixed $H$, the problem admits a $2^{O(k)}n^{O(1)}$-time algorithm.

We study Inverse Treblecross, the impartial avoidance version of the game Treblecross, in which completing a line of three X's is prohibited. We give a weak solution of the game: an empty board of $n$ cells is a $\mathscr{P}$-position (Sprague--Grundy value $0$) if and only if $n\equiv 0,2,3,6,9\pmod{10}$, and has value $1$ if $n\equiv 1,4,5,7,8\pmod{10}$. In particular the empty-board Sprague--Grundy sequence is the purely periodic sequence of period $10$ with values in $\{0,1\}$. The proof introduces two characteristic functions on $\mathbb Z/10\mathbb Z$ and a family of regular positions, and shows by induction that such a position splits, under a reduction move, into a disjunctive sum of regular positions whose sign product is preserved or inverted.

We initiate a probabilistic study of forward stability for products of Schubert polynomials through the record statistic (left-to-right maxima) of permutations. Building on the explicit record formula for forward stability obtained by Hardt and Wallach, we study random pairs of permutations drawn from three natural families: uniform permutations, Grassmannian permutations, and Boolean permutations. For each family, we determine record probabilities and use them to analyze the asymptotic behavior of forward stability. For uniform and Grassmannian permutations, we obtain asymptotics for the mean together with limiting distribution results. For Boolean permutations, we prove linear-order growth of the mean, and our analysis also produces an explicit time-inhomogeneous Markov chain that yields an exact linear-time uniform sampler. Beyond these cases, we prove that the record-set statistic is equidistributed on the avoidance classes of $132$ and $231$, and consequently the corresponding forward stability distributions coincide. We conclude with conjectures for numerous further permutation classes and a conjectural recursive criterion for when two avoidance classes have the same record-set distribution.

Let $M$ be an $n\times n$ matrix partitioned into blocks according to a partition $P=\{C_{1},\dots,C_{\ell}\}$ of its index set, and let $Q$ be the corresponding equitable quotient. We study when $Q$ contains every distinct eigenvalue of $M$, so that the distinct spectral data of a large structured matrix can be recovered from a lower-order quotient. We first correct the distinction between a coarsest equitable partition and a minimum-order quotient that captures all distinct eigenvalues. We then establish an exact block-lifting construction with characteristic polynomial $χ_M(x)=χ_Q(x)\prod_i(x-θ_i)^{|C_i|-1}$, derive multiplicity-design consequences, and give a necessary and sufficient eigenspace criterion for quotient capture. Further results quantify automatic capture through geometric multiplicity and describe exact spectral factors generated by twin cells in graph matrices. Applications to adjacency, weighted adjacency, Laplacian, signless Laplacian, distance, and distance-based Laplacian matrices are validated, including minimal one-cell refinements that recover eigenvalues hidden by collapsed twin classes.

We introduce an original notion of (upper) extra-fine sheaf on a topological space, for which Čech cohomology in strictly positive degree vanishes. We apply this notion when the topological space is a partially ordered set (poset) equipped with the Alexandroff topology and the sheaves are made of duals of decomposable functors of vector spaces. The decomposition of the functor is known as interaction decomposition and can be expressed by a novel sum-intersection condition. We use these results to compute the dimension of the space of global sections when the sheaves are derived from those freely generated over a presheaf (of finite sets); this generalizes and makes topological classical counting formulae for the number of solutions of the linearized marginal problem (Kellerer and Matúš). We finish with a comparison theorem between the Čech cohomology associated to a covering and the topos cohomology of the poset with coefficients in the presheaf, which is also the cohomology of a cosimplicial local system over the nerve of the poset. For that, we give a detailed treatment of cosimplicial local systems on simplicial sets. The appendixes present presheaves, sheaves relative Čech cohomology, and their application to the marginal problem.

Decorating the Spectre tile with hexagons reveals triangular hexagonal clusters whose structure we study. In the process we reprove that the Spectre tilings exist and are uniquely hierarchical. The proof is not computer-assisted.

The $λ$-backbone coloring of the graph $G$ with backbone $H$ is a graph-coloring problem in which we are given a graph $G$ and a subgraph $H$, and we want to assign colors to vertices in such a way that the endpoints of every edge from $G$ have different colors, and the endpoints of every edge from $H$ are assigned colors which differ by at least $λ$. In this paper we pursue research on backbone coloring of bounded-degree graphs with well-known classes of backbones. Our result is an almost complete classification of the complexity of deciding whether $BBC_λ(G, H) \le k$ for graphs with maximum degree at most $4$ and matching, galaxy, Hamiltonian path, and spanning tree backbones. We also determine the effect of allowing isolated vertices in matching and galaxy backbones.

A complete forcing set of a graph is a subset $S$ of its edges with the following property. For any perfect matching $M$, $M$ is the unique perfect matching containing the intersection of $M$ and $S$. The size of a smallest complete forcing set of a graph is called its complete forcing number. In this paper, we propose a polynomial-time algorithm that takes a graph and an ordering of its vertices as input, and outputs a complete forcing set. We analyze the size of the output for a carefully chosen ordering to derive an upper bound on the complete forcing numbers of graphs in terms of other graph-theoretical parameters, such as the degeneracy and the spectral radius of the underlying graph. We compare our results with previous findings in the field. For the class of edge-transitive graphs, we provide an explicit lower bound on the complete forcing number. This result is applied in particular to hypercube graphs and Cartesian powers of even cycles.

Extending classical algebro-geometric constructions to arbitrary matroids, we construct a $K$-class $T_M\in K(M)$ for every loopless matroid $M$. When $M$ is realizable by a linear subspace $L$, $T_M$ recovers the $K$-class of the tangent bundle of the wonderful compactification $W_L$. We derive two formulas for the total Chern class of $T_M$ (one combinatorial and one geometric) and show that the associated Todd class agrees with the Todd class appearing in the matroid Hirzebruch--Riemann--Roch formula. To develop a positivity theory entirely at the combinatorial level, we introduce the notion of a "fake effective cone", a combinatorial analogue of the classical effective cone, and use it to characterize big and nef divisors in $A(M)$. Finally, we define the $β_S$ classes, obtained from Cremona conjugates of the classical $α_S$ classes, and study their properties to provide a rich and computable family of combinatorially nef divisors.

Two projective (affine) planes with the same point sets are orthogoval if the common intersection of any two lines, one from each, has size at most two. The existence of a pair of orthogoval projective planes has been proven and published independently many times. A strength-$t$ covering array, denoted by CA$(N; t, k, v)$, is an $N \times k$ array over a $v$-set such that in any $t$-set of columns, each $t$-tuple occurs at least once in a row. A pair of orthogoval projective planes can be used to construct a strength-$3$ covering array CA$(2q^3-1; 3, q^2 + q + 1, q)$. Our work extends this result to construct arrays of strength $4$. A $k$-cap in a projective geometry is a set of $k$ points no three of which are collinear. In $PG(3,q)$, an ovoid is a maximum-sized $k$-cap with $k =q^2+1$. Its plane sections (circles) are the blocks of a $3-(q^2 + 1, q + 1, 1)$ design, called a Möbius plane of order $q$. For $q$ an odd prime power, we prove the existence of three truncated Möbius planes, such that for any choice of these circles, one from each plane, their intersection size is at most three. From this, we construct a strength-$4$ covering array CA$(3q^4-2; 4, \frac{q^2+1}{2}, q)$. For $q \geq 11$, these covering arrays improve the size of the best-known covering arrays with the same parameters by almost 25 percent. The CA$(3q^4 -3; 4, \frac{q^2 +1}{2}, q)$ is used as the main ingredient in a recursive construction to obtain a CA$(5q^4 - 4q^3 - q^2 + 2q; 4, q^2 +1, q)$. Some improvements are obtained in the size of the best-known arrays using these covering arrays.

We study a Markov chain with very different mixing rates depending on how mixing is measured. The chain is the "Burnside process on the hypercube $C_2^n$." Started at the all-zeros state, it mixes in a bounded number of steps, no matter how large $n$ is, in $\ell^1$ and in $\ell^2$. And started at general $x$, it mixes in at most $\log n$ steps in $\ell^1$. But, in $\ell^2$, it takes $\frac{n}{\log n}$ steps for most starting $x$. The $\ell^2$ mixing results follow from an explicit diagonalization of the Markov chain into binomial-coefficient-valued eigenvectors.

We show how the tools of modern algebraic combinatorics -- representation theory, Murphy elements, and particularly Schur--Weyl duality -- can be used to give an explicit orthonormal basis of eigenfunctions for a "curiously slowly mixing Markov chain" on the space of binary $n$-tuples. The basis is used to give sharp rates of convergence to stationarity.

Let $G=(V,E)$ be a simple graph and $(2k+1)$ be a prime integer. Let each vertex of $G$ be colored using one of the $(2k+1)$ colors, say $R_1,R_2,...,R_{2k+1}$. If every vertex has an equal number of neighbors of each color, then the coloring is a $(2k+1)$-neighborhood balanced coloring. We establish a number of results for common families of graphs and present some families of graphs that have this property.

Let $G=(V,E)$ be a graph without isolated vertices. A bijection $f\colon V\to \{1,2,\dots,|V|\}$ is called a local distance antimagic labeling if $w(u)\not=w(v)$ for every edge $uv\in E$, where the weight $w(u)$ of a vertex $u$ is defined as the sum of labels assigned to all vertices adjacent to $u$. The local distance antimagic chromatic number of $G$, denoted by $χ_{ld}(G)$, is defined as the minimum number of colors taken over all colorings of $G$ induced by local distance antimagic labelings. In this paper, we investigate local distance antimagic labelings of the direct product and the union of certain classes of graphs, namely, neighborhood balanced $k$-colored graphs and nearly neighborhood balanced $k$-colored graphs.

The investigation into large families of non-opposite flags in finite spherical buildings has been a recent addition to a long line of research in extremal combinatorics, extending classical results in vector and polar spaces. This line of research falls under the umbrella of Erdős-Ko-Rado (EKR) problems, but poses some extra difficulty on the algebraic level compared to aforementioned classical results. From the building theory point of view, it can be seen as a variation of the center conjecture for spherical buildings due to Tits, where we replace the convexity assumption by a maximality condition. In previous work, general upper bounds on the size of families of non-opposite flags were obtained by applying eigenvalue and representation-theoretic techniques to the Iwahori-Hecke algebras of non-exceptional buildings. More recently, the classification of families reaching this upper bound in type $A_n$, for $n$ odd, was accomplished by Heering, Lansdown, and Metsch. For buildings of type $B$, the corresponding Iwahori-Hecke algebra is more complicated and depends non-trivially on the type and rank of the underlying polar space. Nevertheless, we are able to find a uniform method based on antidesigns and obtain classification results for chambers (i.e.\ maximal flags) in most cases.

A holographic entropy inequality (HEI) is a linear inequality obeyed by Ryu-Takayanagi holographic entanglement entropies, or equivalently by the minimum cut function on weighted graphs. We establish a new combinatorial framework for studying HEIs, and use it to prove several properties they share, including two majorization-related properties as well as a necessary and sufficient condition for an inequality to be an HEI. We thereby resolve all the conjectures presented in [arXiv:2508.21823], proving two of them and disproving the other two. In particular, we show that the null reduction of any superbalanced HEI passes the majorization test defined in [arXiv:2508.21823], thereby providing strong new evidence that all HEIs are obeyed in time-dependent holographic states.