math.CO ↗ arXiv
5274 papers in this category
Squarefree Matrix Formulas for the CWR Invariant of Alternating Knots and Links
We give weighted-matrix formulas for the components of the $CWR$ invariant of oriented non-split alternating links. After recalling the known trace formulas for $CWR_{2}$ and $CWR_{3}$, we give a construction uniform in $k$: attaching an independent commuting variable to each vertex of a consolidated Tait graph and extracting the squarefree part of the resulting trace isolates simple cycles from closed walks. This yields a formula for $CWR_k$ for every $k\ge 3$, a log-determinant generating polynomial for each of the two Tait graphs, and an equivalent Moebius-inversion formula over principal submatrices.
Specializing the uniform formula, we obtain explicit closed weighted formulas for $CWR_{4}$ and $CWR_{5}$. We also record a bipartiteness criterion for the vanishing of all odd components and a characteristic-polynomial formula for the unweighted specialization of the first nonvanishing odd component. The graph-theoretic constructions apply to arbitrary finite simple loopless weighted graphs; the alternating-link hypothesis enters through the invariance theorem for $CWR$.
A Moser-spindle-free 5-chromatic unit distance graph on 2131 vertices in the plane
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.
Elliptic matroids and modular curves
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}$.
Maximum Edge Open Packing in Permutation, Interval, and Well-Partitioned Chordal Graphs
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.
Fuzzy latin squares and balanced permutation pattern statistics
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.
On k-coalition partitions of graphs
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.
Extremal Graphs for the Energy-Independence Number Inequality
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.
Hamilton cycles of semisymmetric graphs of order $2p^3$
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.
On the Burgess bound and Pythagorean triples involving primitive roots
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.
The maximum volume polytope with nine vertices inscribed in the sphere
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.
Shifted lower Bruhat intervals are EL-shellable
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.
Bond thickenings of the simplicial boundary of Outer space
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.
Iterated Distinct Absolute Differences of Integer Compositions
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.
Edge-spectra supersaturation for tripartite color-critical graphs
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.
The generalized Griesmer and antiGriesmer bounds
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.
A Two-Player Zero Forcing Game
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.
A stability theorem for Berge Hamiltonian cycles under a minimum degree condition
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.
Information and Locality in Cayley Graphs
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.
The $(t,p)$-Norm in Classical Extremal Problems
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.
Subdivided expanders and counterexamples to the Tree Product Conjecture
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.