arXiv++ Combinatorics

With regard to the Hadwiger-Nelson problem, several 5-chromatic unit distance graphs in the Euclidean plane have been discovered in recent years. While most constructions rely heavily on the Moser spindle, Voronov \textit{et al.} found examples on 64513 vertices that completely avoid it. In this note, we improve upon this result by presenting a 5-chromatic unit distance graph on 2131 vertices that similarly does not contain the Moser spindle. It is constructed utilizing the arcs of a 7-fold symmetric unit distance graph on 21 vertices.

For $n\geq 4$, let $T_n$ be the rank-3 matroid on $\mathbb{Z}/n\mathbb{Z}$ whose bases are the three-element non-zero-sum subsets. Let $X_1(n)^\circ$ denote the open subscheme of the modular curve $X_1(n)$ obtained by removing the cusps corresponding to reducible Néron polygons. For $n \geq 10$, we give a purely algebraic and incidence-theoretic proof that, for every field $k$ with $\mathrm{char}(k)$ not dividing $n$, there is a natural bijection between $X_1(n)^\circ(k)$ and rescaling classes of $k$-realizations of $T_n$. For $k = \mathbb{C}$, this recovers a theorem of Borisov and Roulleau. We then upgrade the field-valued correspondence to an isomorphism of schemes over $\mathbb{Z}[1/n]$. The main new ingredient is a deformation-theoretic argument which allows us to verify the isomorphism on points valued in Artinian local rings. As consequences, the modular curve $X_1(n)^\circ$ acquires a natural model over $\mathbb{Z}[1/n]$ as a matroid realization space, and, for primes $p \geq 11$, the non-representability of $T_p$ over $\mathbb{Q}$ is equivalent to the prime-order case of Mazur's celebrated theorem on rational torsion points of elliptic curves. In an appendix, we explain how to upgrade the realization space of a matroid from an affine scheme over $\mathbb{Z}$ to an affine band scheme (in the sense of Baker-Jin-Lorscheid) over $\mathbb{F}_1^{\pm}$.

Edge open packing is a relaxation of induced matching in which the selected edges may induce disjoint stars. We study the \textsc{Maximum Edge Open Packing} problem on permutation graphs, interval graphs, and well-partitioned chordal graphs. For the first two classes, we introduce an oriented star-conflict graph whose vertices are ordered edges. We prove that its compatibility graph admits a natural transitive orientation: a product-order orientation for permutation graphs and a left-to-right orientation for interval graphs. In each case, a maximum edge open packing is obtained from a maximum clique, equivalently a longest directed path, in the compatibility graph. Given the corresponding representation, both algorithms run in \(O(n^2+m^2)\leq O(n^4)\) time, where \(n=|V(G)|\) and \(m=|E(G)|\). For well-partitioned chordal graphs, we give a dynamic program over a partition tree. Its states use the fact that the endpoint set of an edge open packing meets each clique bag in at most two vertices. Given a partition-tree representation, the edge open packing number is computed in \(O(n^4)\) time, and an optimal packing can be reconstructed within the same time bound.

A latin square of order $n$ can be viewed as a partition of the $n \times n$ all-ones matrix into permutation matrix summands. Here, we consider a relaxation in which the matrix summands are allowed to be induced from shorter permutations. For $σ\in S_k$, the `fuzzy permutation matrix' $P_σ^{\uparrow n}$ arises from combining all $\binom{n}{k}^2$ order-preserving embeddings of the $k \times k$ permutation matrix $P_σ$ into an $n \times n$ matrix. We define a fuzzy latin square as a linear combination of $n \times n$ fuzzy permutation matrices $P_σ^{\uparrow n}$ equaling a constant matrix. We study various aspects of these objects, including certain relevant vector space dimensions and a census of fuzzy latin squares with a small number of terms. In particular, we determine strong conditions on four-term fuzzy latin squares in the `vanishing' case (when the constant matrix is all zeros). We also report on a computer-assisted classification of six-term fuzzy latin squares in the non-vanishing case.

In a graph, a set $D$ is $k$-dominating if every vertex in $V(G) \setminus D$ has at least $k$ neighbors in $D$. Jafari, Alikhani, and Bakhshesh introduced the concept of a $k$-coalition, which is a pair of disjoint sets $X_1$ and $X_2$ of vertices such that neither is a $k$-dominating set but $X_1 \cup X_2$ is a $k$-dominating set. A $k$-coalition partition is a vertex partition in which each set either forms a $k$-coalition with some other set or is itself a $k$-dominating set with exactly $k$ vertices. The $k$-coalition number $\operatorname{CO_k}(G)$ is the maximum number of sets in a $k$-coalition partition. We compute the $k$-coalition number for several families and bound the $k$-coalition number under disjoint union and graph join. We show that the set of possible sizes of $k$-coalition partitions forms an interval. Finally, we investigate $k$-coalition graphs and prove that every graph is a $k$-coalition graph.

For a graph $G$ of order $n$, let $\mathcal E(G)$ denote its adjacency energy and let $α(G)$ denote its independence number. A recent theorem of Kumar and Pragada states that $$\mathcal E(G)\ge 2\bigl(n-α(G)\bigr).$$ We determine all graphs attaining equality. More precisely, equality holds if and only if every connected component of $G$ is an isolated vertex, a balanced complete multipartite graph, or a graph obtained by taking the disjoint union of $K_{a,\ldots,a}$ and $K_{b,\ldots,b}$, with the same number $r\ge3$ of parts, and then completely joining corresponding parts.

In light of Lovász's longstanding question on the existence of Hamilton paths in vertex-transitive graphs, Du and Yuan considered a natural variant: what if vertex-transitivity is relaxed, while a high degree of symmetry--specifically edge-transitivity--is retained? To investigate this, they studied semisymmetric graphs (i.e. regular, edge-transitive, but not vertex-transitive graphs) and showed that every connected semisymmetric graph of order $2pq$, where $p$ and $q$ are distinct primes, contains a Hamilton cycle. In this paper, it is shown that for any prime $p$, every connected semisymmetric graph of order $2p^3$ also contains a Hamilton cycle.

By combining the recent results of Pierce and Xu on the higher-dimensional Burgess bound with the classical one-dimensional Burgess bound, we prove that for any sufficiently large prime $p$, there exists a Pythagorean triple $(a_p,b_p,c_p)$ with $a_p,b_p,c_p\in\mathbb{Z}\cap(0,p)$ such that $a_pb_p/2$ is a primitive root modulo $p$. This confirms a conjecture of Z.-W. Sun for all sufficiently large primes.

A classical problem in convex and discrete geometry asks for the convex polyhedron of greatest volume whose vertices are chosen from the unit sphere $\mathbb{S}^2$. For a prescribed number $N$ of vertices, the problem is known only in a small number of cases. In this paper we resolve the next outstanding case, $N=9$. We prove that every convex polyhedron with at most nine vertices on $\mathbb{S}^2$ has volume at most $3\sqrt{2\sqrt{3}-3}$, with equality, up to rotation, precisely for a triaugmented triangular prism of an explicitly determined shape. The proof combines combinatorial and geometric reductions with sharp volume estimates. By a theorem of Berman and Hanes (Mathematische Annalen, 1970), a volume maximizer must be simplicial, reducing the $2,606$ combinatorial types of $9$-vertex polyhedra to $50$. We prove that a maximizer cannot have a trivalent vertex, leaving only five combinatorial types, which are treated using geometric and combinatorial arguments. In particular, we determine the exact maximizer within the triaugmented triangular prism class, and characterize the equality case.

Let $W$ be an arbitrary Coxeter group. The shifted Bruhat interval $[w_1,w_2]\,x^{-1}$, the translate of the Bruhat interval $[w_1,w_2]$ by an element $x$, is partially ordered by the Bruhat order of $W$. These posets arise from affine pavings of Richardson varieties, and in general they are neither twisted intervals nor tilted Bruhat intervals. Our main result is that the shifted lower intervals $[e,w]\,x^{-1}$ are EL-shellable for every Coxeter group, via an explicit labeling of each cover by a reflection. Along the way we show that $[e,w]\,x^{-1}$ is a graded poset with a unique maximum given by the Demazure product and a unique minimum given by an opposite Demazure operator that we introduce.

We study the simplicial boundary $\partial\mathcal{FS}$ of Culler-Vogtmann Outer space via thickenings defined by graph-theoretic connectivity. Let $C'$ be the subcomplex of the free splitting complex obtained from $\partial\mathcal{FS}$ by adding all stable graphs that are not $3$-edge connected, together with their faces. We prove that the inclusion $\partial\mathcal{FS}\hookrightarrow C'$ is $(2n-3)$-connected. The proof shows, more precisely, that adding graphs with cut vertices is a homotopy equivalence, while the only non-contractible fibres in the $2$-bond thickening occur over $θ$-graphs. The result gives further evidence that $\partial\mathcal{FS}$ may be $(2n-3)$-spherical, an $\operatorname{Out}(F_n)$-analogue of Rognes's connectivity conjecture for the common basis complex. It also gives a topological, universal-cover perspective that unifies several existing results about the commutative graph complex.

Starting from an integer composition, form its consecutive absolute differences, provided that they are nonzero and pairwise distinct, and then permute these differences arbitrarily before repeating the operation. The depth of the composition is the maximum possible number of successive iterations. We determine the least positive integer admitting a composition of any prescribed depth. If a(n) is the least positive integer having a composition of depth n, then $a(n)=n+1+\lceil n(n+1)/4\rceil+\lfloor n/2\rfloor$. We also prove that every integer k at least a(n) has a composition of depth at least n. Consequently, if d(k) denotes the maximum depth of a composition of k, then $d(k)=\max\{n\geq 0:a(n)\leq k\}$. Finally, we classify and enumerate all compositions attaining the minimum a(n). Their number is given by four factorial formulas according to n modulo 4.

We study edge-spectral supersaturation for two families of color-critical graphs with chromatic number three. For an integer $r\geq 1$, we define the spectral threshold \[ g_r(m):=\frac{r-1+\sqrt{4m-r^2+1}}{2}, \] which is the tight upper bound on the spectral radius of graphs avoiding $K_{s,t}^+$ (when $t+1\geq s\geq 3$) and $C_{2k+1}$ (when $r=k$), realized by split-graph constructions. First, let $t+1 \geq s\geq 3$ be fixed integers, and let $K_{s,t}^{+}$ be obtained by adding an edge to the part of size $s$ in $K_{s,t}$. We prove that every sufficiently large $m$-edge graph $G$ with $ρ(G)>g_{s-1}(m)$ contains $Ω(m^{(s+t-1)/2})$ copies of $K_{s,t}^{+}$. Second, for any fixed $k\geq 2$, the condition $ρ(G)>g_k(m)$ forces $N(C_{2k+1},G)=Ω(m^k).$ We also construct graphs showing that both lower bounds are tight up to constant factors. These results establish that exceeding the tight spectral Turán threshold $g_r(m)$ forces not just a single copy, but the optimal polynomial number of copies of these color-critical graphs. Thus, crossing the relevant split-graph spectral threshold forces the optimal polynomial order of copies, extending edge-spectral existence theorems to supersaturation results in the delicate three-chromatic regime.

We present three proofs of the generalized Griesmer bound together with the corresponding proofs of the generalized antiGriesmer bound. The first proof follows from inequalities relating consecutive minimum and maximum subcode support weights. We also write the projective construction of Tsfasman and Vlăduţ as a residual code argument and express the geometric proof of Kurz, Landjev, and Rousseva in terms of shortened subcodes. In addition, complements in repeated simplex codes show that the two bounds are equivalent. The residual and shortening arguments also determine the consequences of equality for the resulting residual codes and shortened subcodes. Finally, the complement relation transfers known divisibility results for Griesmer codes to antiGriesmer codes.

We introduce a competitive two-player zero forcing game on a connected graph. Alice and Bob alternately seed white vertices or perform legal zero forces in their own colours, and each player seeks to minimise their own number of seeds. A force preservation rule prevents avoidable blocking of an opponent's established force. Because distinct continuations can be equally good for the player to move, optimal play is defined by a set-valued backward induction, and \(Z_g(G)\) is the minimum total number of seeds among the resulting optimal outcomes. We prove that \(Z_g(G)\geq Z(G)\), determine \(Z_g\) for paths, cycles, stars, complete graphs, and complete bipartite graphs, and characterise the graphs with \(Z_g(G)=2\) by an alternating two-chain forcing schedule. We also show that \(Z_g\) is not minor-monotone and that edge subdivision can either increase or decrease the parameter. Exact computation verifies \(Z_g(G)\leq2Z(G)\) through order nine.

In this paper, we study extremal and stability problems for Berge Hamiltonian cycles in $r$-uniform hypergraphs under a minimum degree condition. Let $ g_r(n,t)=\binom{n-t}{r}+t\binom{t}{r-1}$, and let $t=t(k)$ be the unique integer satisfying $\binom{t-1}{r-1}<k\le \binom{t}{r-1}$. Using a sharp Pósa-type degree sequence theorem of Salia, we prove an extremal upper bound on the number of hyperedges in an $n$-vertex $r$-uniform hypergraph with minimum degree at least $k$ and with no Berge Hamiltonian cycle. We also prove a stability theorem in the dense range before the first minimizer of $g_r(n,t)$: every near-extremal example is contained in one of two natural non-Hamiltonian constructions.

A de Bruijn sequence is the cyclic prototype of a Cayley-graph observation problem: when does the ordered label word on a translated window $gY$ determine the vertex $g$? We distinguish three parameters. The unrestricted number $\operatorname{sep}_q(G)$ minimizes an arbitrary separating pattern; the connected number $\operatorname{csep}_q(G,S)$ requires a connected Cayley window containing $Y_S=\{1\}\cup S$; and the one-step number $χ_1(G,S)$ fixes $Y_S$ and minimizes the alphabet. Thus $\operatorname{sep}_q$ is a group-level baseline, $\operatorname{csep}_q$ measures the cost of locality, and $χ_1$ tests the smallest prescribed local window. The organizing theme is the tension between information and locality. Carbon tori test the gap between $\operatorname{sep}_q$ and $\operatorname{csep}_q$: for generalized dihedral groups $\mathbb{F}_{\ell^d}^{\times}\rtimes C_2$ we prove, for odd prime powers $\ell$, the sharp baseline $\operatorname{sep}_\ell=d+1$ and construct connected zig-zag windows, while the order-$14$ Heawood torus satisfies $\operatorname{sep}_4=2$ and $\operatorname{csep}_4=4$. The spherical $A_5$ example and a finite simple-group comparison test the fixed one-step window: explicit symmetric cubic generating tuples give $χ_1(A_5,S)=3$ and $χ_1(\operatorname{PSL}_2(\mathbb{F}_7),S)=4$, both at the counting bound, with structured matrix-coefficient certificates. Cyclic-coset packings, finite-field coordinates, and restricted matrix coefficients are used only as the construction tools these two examples require.

Given integers $r>t\ge1$ and a real number $p>0$, the $(t,p)$-norm $||\mathcal{H}||_{t,p}$ of an $r$-graph $\mathcal{H}$ is the sum of the $p$-th powers of the degrees $d_{\mathcal{H}}(T)$ over all $t$-subsets $T\subseteq V(\mathcal{H})$. When $t=r-1$, this is the codegree $p$-norm. For all sufficiently large $n$, we obtain the following results. The first two apply in both the convex range $p>1$ and the concave range $0<p<1$. First, for $r$-graphs with matching number at most $s$, we determine the maximum $(t,p)$-norm. Second, for $k$-intersecting families, we establish an Erdős--Ko--Rado-type theorem for the $(t,p)$-norm. Third, for $P_\ell^r$-free hypergraphs, we determine the maximum $(t,p)$-norm for every $1\le t\le r-1$ and $p>1$. In each of the three settings, we also characterize all extremal families.

Distel, Gollin, Harvey, Hendrey, Hickingbotham, Mohar and Wood (2023) conjectured that graphs of degree-$d$ polynomial growth can be embedded into the strong product of $d$ trees, each with linear growth, and a constant-size complete graph. Very recently, the case $d = 4$ of the conjecture was disproved by Illingworth, Norin and Steiner (2026). In this paper, we provide counterexamples to the conjecture for every integer $d \geq 2$, thus leaving $d=1$ as the only open case. Our counterexamples are appropriately subdivided cubic expanders. Our main contribution is to construct, for every real number $d>1$, subdivisions of cubic expanders with degree-$d$ polynomial growth and whose balanced separators have size $Ω(n^{1-1/d}\log n)$, where $n$ denotes the number of vertices.

Given a scheme $X$ of finite type over the complex numbers, the Behrend function is a constructible function $ν_X: X(\mathbb C) \rightarrow \mathbb Z $ introduced by Behrend in order to define enumerative invariants in Donaldson--Thomas theory. Even in simple cases, the Behrend function is very difficult to compute. In this article, we tackle the problem of computing the Behrend function of zero-dimensional schemes. We obtain a number of explicit formulas, in particular, for arbitrary zero-dimensional monomial schemes, thus providing vast generalizations of previous work of Graffeo--Ricolfi. Our main tools come from the theory of blowup algebras. Along the way, we establish results of independent interest related to the integer decomposition property, weighted Veronese subrings, and reduced fiber rings.

We prove that the set $Π_{\therefore,\infty}$ of uniform Turán densities of possibly infinite families of $3$-graphs contains a terminal interval: there exists $δ>0$ such that $[1-δ,1]\subseteqΠ_{\therefore,\infty}$. Consequently, $Π_{\therefore,\infty}$ has positive Lebesgue measure and Hausdorff dimension $1$.

Let $H$ be a fixed graph with $q=e(H)\ge3$ and containing two adjacent edges, and let $\ell\ge q$ be fixed. We establish an entropy-transference principle for rainbow-$H$-free edge-colourings of the binomial random graph at the natural scale $p=n^{-1/m_2(H)}$. Below a sufficiently small constant multiple of this scale, almost all host edges may be coloured freely; above a sufficiently large constant multiple, the exponential counting rate is governed exactly by a deterministic template-entropy optimisation on complete graphs. An exact Hall-palette inequality evaluates this rate throughout the universal range $q\le\ell\le(q-1)^{q/(q-2)}$, where the dense-side base is $q-1$, and a robust form yields counting stability below the endpoint. For arbitrary fixed $\ell$, deletion-profile bounds determine the first-order many-colour behaviour and characterise when the $(q-1)$-colour rate persists for every fixed number of colours. This extends the random Gallai-colouring transition from triangles to every fixed non-matching graph and provides a general mechanism for transferring dense template entropy to sparse random hosts.

In this paper, we study the dimension of the correlated equilibrium polytope of finite games. Under the oriented-matroid notion of genericity, we prove that if a generic game is not full-dimensional, then there exists a subgame whose correlated equilibrium polytope is affinely isomorphic to that of the original game. This settles and generalizes an earlier conjecture of Brandenburg, Hollering, and Portakal (2024). Moreover, we show that the existence of a correlated equilibrium whose slices are all non-zero implies that the correlated equilibrium polytope is either full-dimensional or a singleton.

A graph $Γ$ is $(c,t)$-sparse for $c > 0$ and $t \ge 1$ if for every pair of vertex subsets $A, B \subseteq V(Γ)$ with $|A|, |B| \ge t$, the number of edges $e(A,B)$ between them satisfies $ e(A,B) \le (1 - c)|A||B|$. In this paper, we prove that for every integer $\ell\ge2$, there are $\varepsilon > 0, C, C' > 0$ such that if an $n$-vertex graph $Γ$ is $(1-\varepsilon,t)$-sparse for some $t$, and has at least $Ct^{1-1/\ell}n^{1+1/\ell}$ edges, then $Γ$ contains at least $C'n^2t^{2\ell-2}$ induced copies of $C_{2\ell}$. This partially resolves a problem of Ding, Gao, Liu, Luan, and Sun.

In this paper, we study proper and complete edge-colorings of Johnson graphs $J(n,2)$, also called $n$-triangular graphs. They are isomorphic both to the 2-token graphs of complete graphs and to the line graphs of complete graphs. A $t$-edge-coloring of a graph $G$ is a function that assigns one color from $\{1,2,\ldots,t\}$ to each edge. Such a coloring is called proper if no two incident edges receive the same color, and complete if every pair of distinct colors appears on a pair of incident edges. The achromatic index, denoted by $α_2(G)$, is the largest integer $t$ for which $G$ admits a proper and complete $t$-edge-coloring. We establish new lower and upper bounds for $α_2(J(n,2))$, provide explicit proper and complete edge-colorings attaining the lower bounds, and determine the exact value of $α_2(J(n,2))$ for several values of $n$.

The classical Durfee-square argument gives a combinatorial proof of the pentagon identity for the quantum dilogarithm. Just as the pentagon identity is associated with the $A_2$ quiver, Keller's identity is associated with the square-product quiver $A_2\square A_2$. Previous proofs of Keller's identity use cluster categories or spectral sequences in rapid-decay equivariant cohomology. We give three proofs of Keller's identity: a generating-function proof, an explicit weight-preserving bijection on colored partitions, and a standard-monomial proof using a four-colored arc algebra. Their common mechanism is an iterated Durfee decomposition: two possible pairings give horizontal and vertical decompositions, while a third binary step accounts for the coupling factor. These constructions provide a ``superpotential analogue'' of the Durfee-square argument.

Slime Trail is a two-player combinatorial game in which the players alternately move a shared token to an adjacent vertex, permanently removing each vertex the token leaves, while attempting to reach a goal node. Ferland and Burke (2017) proved that Slime Trail is PSPACE-complete on arbitrary planar graphs and asked whether the same holds for the grid version actually used in play. We resolve this open problem by proving that Cardinal Grid Slime Trail, that is, Slime Trail on a square grid with four-directional movement, is PSPACE-complete. We adapt their QBF reduction to the grid setting, designing grid-compatible gadgets that respect the degree-4 bound and the parity constraints of the integer lattice. We further show the construction extends, under a 45-degree rotation, to the eight-directional variant.

In 2016, Berkovich and Uncu proved that, for all nonnegative integers $i$, $j$, and $n$, the number of strict partitions of $n$ with $i$ odd-indexed odd parts and $j$ even-indexed odd parts equals the number of strict partitions of $n$ with $i$ parts congruent to $1$ modulo $4$ and $j$ parts congruent to $3$ modulo $4$. Their proof used generating functions, and they asked for a combinatorial proof. We answer their question with an explicit bijection, assembled from three classical ingredients: $2$-modular diagrams, an insertion algorithm of Chen, Gao, Ji, and Li, and Glaisher's bijection. AxiomProver autonomously formalized and verified the proof of the main theorem in Lean.