math.CO ↗ arXiv
7121 papers in this category
Duals of algebraic matroids need not be algebraic
We give an example showing that the dual of an algebraic matroid need not be algebraic. Our example is a matroid of rank 6 on 10 elements which is algebraic in characteristic 2. It is obtained by gluing an algebraic realization of the non-Fano matroid to a realization of the Fano matroid. Its dual is shown not to be algebraic using the Ingleton-Main lemma.
Degeneracy bounds, stability, and a sharp gap for $B$-colorings
A $B$-coloring of a graph is a proper edge-coloring in which every $4$-cycle is rainbow, and $q_B(G)$ denotes the minimum number of colors in such a coloring. Let $Δ_2(G)$ denote the maximum number of common neighbors of two distinct vertices of $G$. We prove that, for integers $1\le d\leΔ$, every finite simple $d$-degenerate graph $G$ with $Δ(G)\leΔ$ satisfies $$q_B(G)\le Δ+(d-1)Δ_2(G)\le dΔ.$$ Consequently, $dΔ$ is the exact maximum, with equality precisely for graphs containing $K_{d,Δ}$. More generally, if $q_B(G)\ge dΔ-s$, where $0\le s<Δ$, then $G$ contains $K_{d,Δ-s}$; if also $s<d$, then $G$ has at least $d-s$ vertices of degree $Δ$ with the same open neighborhood. For $Δ\ge3$, we further show that every $K_{3,Δ}$-free 3-degenerate graph satisfies $q_B(G)\le3Δ-2$; the example $K_{3,Δ-1}$ shows that this bound is best possible up to one.
For loopless multigraphs, we establish a sharp gap in the possible values of $q_B(G)$. For every integer $Δ\ge3$, every finite loopless multigraph $G$ with $Δ(G)\leΔ$ satisfies $$q_B(G)\leΔ(Δ-1)$$ unless $G$ has a component isomorphic to $K_{Δ,Δ}$, in which case $q_B(G)=Δ^2$. The bound $Δ(Δ-1)$ is attained by both $K_{Δ,Δ-1}$ and $K_{Δ,Δ}-e$. Consequently, among finite loopless multigraphs with maximum degree at most $Δ$, no value of $q_B(G)$ lies strictly between $Δ^2-Δ$ and $Δ^2$.
Almost Linear 3-Spanners of Temporal Cliques
Temporal graphs model dynamic networks by assigning positive integer time labels to the edges, while information propagates along temporal paths, whose edge labels are traversed in nondecreasing order. A temporal $α$-spanner of a temporal graph with $n$ vertices is a temporal subgraph that approximates the minimum-hop temporal distance between every pair of vertices within a factor of $α$. While general temporal graphs may not admit sparse temporal $α$-spanners for any value of $α$, temporal cliques are known to admit temporal $(2k-1)$-spanners of size $\widetilde{\mathcal{O}}(kn^{1+1/k})$ for every positive integer $k$.
We present a simple recursive algorithm that computes, for every temporal clique on $n$ vertices, a temporal $3$-spanner of size $n^{1+2/\sqrt{\ln n}}=n^{1+o(1)}$, thereby improving the previous best upper bound of $\widetilde{\mathcal{O}}(n^{3/2})$. We also show that a modified version of our algorithm computes temporal $3$-spanners of size $\mathcal{O}(nL)$ when the lifetime is bounded by $L$, i.e., all time labels are in $\{1,\ldots,L\}$, thus improving the previous bound of $\mathcal{O}(2^Ln\log n)$. Both results are particularly striking in light of the known lower bound of $Ω(n^2)$ on the size of temporal $2$-spanners, which already holds for temporal cliques of lifetime $L\geq 3$.
Both algorithms rely on a new simple recursive decomposition that certifies temporal connectivity for a large collection of source-target pairs using only $\mathcal{O}(n)$ carefully selected edges and recursively processes only the remaining pairs. Besides yielding substantially improved upper bounds, this approach is significantly simpler than previous constructions.
Localized Persistent Commutative Algebra
We develop a localized persistent theory of commutative algebra for Stanley-Reisner rings, based on local cohomology supported at a coordinate prime rather than at the maximal ideal. The construction is modeled on the persistent Stanley-Reisner theory of Suwayyid and Wei (arXiv:2503.23482) and its functorial development for graphs and hypergraphs (arXiv:2512.17619), in which invariants of the face ring such as graded Betti numbers and f- and h-vectors are persisted across a filtration. That framework is built from the minimal free resolution and is thus Tor-theoretic; we work instead on the injective side, and the resulting modules record information localized at a single vertex, complementing the global picture given by maximal-support local cohomology. For a vertex prime $p_i = (x_j : j \neq i)$ we prove an exact $\mathbb{Z}^n$-graded decomposition of $H^q_{p_i}(k[Δ])$ into the maximal-support local cohomology of the deletion and of the link of the vertex $i$, the first in $x_i$-degree zero and the second repeated in every positive $x_i$-degree; at the level of graded dimensions this recovers the vertex-prime case of Rahimi's bigraded formula. With Hochster's formula this yields a closed combinatorial description of every multigraded piece. Building on this structure we introduce per-vertex persistent local cohomology numbers, prove a persistent links-Hochster formula, obtain interval decompositions of the resulting reversed-arrow persistence modules and a bottleneck stability theorem, retain multiplication by the uninverted variable as a morphism of persistence modules that the two barcodes alone do not determine, and extend the theory to an arbitrary coordinate prime, where the multiplication maps of the uninverted variables assemble into a commuting Boolean diagram of persistence modules.
A Counterexample to Teschner's Bondage-Number Conjecture
For a finite simple graph $G$ with at least one edge, the bondage number $b(G)$ is the least number of edges whose deletion increases the domination number $γ(G)$. Teschner conjectured that $b(G)\le \tfrac32Δ(G)$ for every graph $G$. We disprove this conjecture by giving a connected cubic bipartite graph on eighteen vertices with \[
γ(G)=6
\qquad\text{and}\qquad
b(G)=5. \] The domination number is established by a complete counting argument across the bipartition. An explicit five-edge deletion raises the domination number from six to seven. For the matching lower bound, we give an exact finite certificate: the graph has 297 minimum dominating sets, and deleting any one of its $\binom{27}{4}=17{,}550$ four-edge subsets leaves at least one of those sets dominating. The enumeration is deterministic, uses only exact integer and set operations, and is reproduced by the complete standard-library verifier included in the appendix.
All-Minors Matrix-Tree Theory for Superport Networks: Completed Quotient-Incidence Determinants and Conductance-Weighted Subdivision Extensions
An electrical network can be summarized at its boundary by a response matrix: prescribed boundary voltages determine boundary currents. A superport network adds a constraint by grouping boundary terminals into superports, requiring the total current in each group to be zero and making voltage differences inside the groups the natural coordinates. Earlier work determined forest formulas for a single response entry and for the determinant of the whole response matrix. The missing case was an arbitrary subdeterminant, or minor: one needs to know not only which spanning forests contribute, but also the sign carried by each forest. This paper supplies that sign rule. After choosing one reference vertex in each superport, the response is \[ L=\left(D^{T}K^{-1}D\right)^{-1}, \] with \(K\) the grounded weighted Laplacian and \(D\) recording the selected voltage differences. Contracting the components of a physical spanning forest \(F\) produces a much smaller quotient port graph \(H_F\). Its reduced incidence matrix \[ B_F=Q_FD \] has columns only of the forms \[ 0,\qquad \pm e_a,\qquad e_a-e_b. \] Hence every square incidence minor is exactly \(0\) or \(\pm1\). For a \(k\)-set of response coordinates \(I\), append to \(B_F\) the selector rows \(E_I^{T}\) and define the completed quotient-incidence determinant \[ \widehatχ_F(I) = \det \begin{pmatrix} B_F\\ E_I^{T} \end{pmatrix}. \] For coordinate sets \(I,J\) of the same size, the arbitrary response minor is a weighted spanning-forest sum whose coefficient is simply \[ \widehatχ_F(I)\widehatχ_F(J). \] Thus the Jacobi complementary-minor factors used in the derivation disappear from the final theorem. Direct block-triangular reduction gives \[ \widehatχ_F(I)\in\{0,\pm1\}, \] with nonvanishing occurring exactly when the complementary quotient edges \(N\setminus I\) form a spanning tree of \(H_F\).
Large induced subgraphs with $k$ vertices of maximum degree
We prove that, for every integer $k\ge 2$, there exists a constant $c_k>0$ such that every graph on $n\ge R(k,k)$ vertices with maximum degree $Δ$ contains an induced subgraph on at least $n-c_k\sqrtΔ$ vertices whose maximum degree is attained by at least $k$ vertices. This confirms a conjecture of Caro and Yuster in strong form.
Iterated-sumset spectra: The complete exponent law and its rank geometry
For integers $h,k\geq 1$, let $hA$ be the $h$-fold sumset of $A$ and put $\mathcal{R}(h,k)=\{|hA|:A\subset\mathbb{Z}, |A|=k\}$. Previously, the fixed-cardinality exponent law was known only for $k\leq 3$; every fixed $k\geq 4$ remained open. We settle the problem in full by determining the complete fixed-cardinality exponent law: $|\mathcal{R}(h,k)|=\begin{cases}1,&k\leq 2,\\ h,&k=3,\\ h^{k-1+o_k(1)},&k\geq 4\end{cases}$. Here $o_k(1)\to 0$ as $h\to\infty$ with $k$ fixed. More sharply, for fixed $k\geq 4$, an interval of length $Θ_k(h^{k-1})$ contains at least $h^{k-1-o_k(1)}$ attainable values. At $k=4$ we prove $|\mathcal{R}(h,4)|=Θ(h^3)$ with positive lower density in its ambient interval, disproving Nathanson's proposed $o(h^3)$ and $O(h^2)$ bounds. One bounded addition-table geometry drives these results, coupling Hilbert-energy amplification to optimal finite-observation compression. Every ordered real $k$-set ($k\geq 2$) has an integer model in $[0,O_k(h^{k-2})]$ preserving every sum equality and strict comparison through degree $h$; the exponent $k-2$ is sharp. The universal label-realization length is therefore $Θ_k(h^{k-2})$, one power sharper than Nathanson's $O_k(h^{k-1})$ bound. For $h\geq 2$ and $k\geq 3$, minimum active rank equals realization-frequency codimension, exponent-shape codimension, and sampling-rarity exponent; a full-exponent family has maximal-rank witnesses with Cohen-Macaulay toric coordinate rings. At rank zero, for $h\geq 2$, it proves the conjectural OEIS A227589 formula $\binom{h+2}{2}+\mathbf{1}_{\{2\nmid h\}}$ for the least normalized diameter of a four-point $B_h$-set. It also gives exact fixed-$(h,k)$ popularity laws for $k$-subsets of $\{1,\ldots,q\}$ as $q\to\infty$, resolving Nathanson's Problems 9 and 10.
The directional localization game on graphs
In the localization game on a graph $G$, a team of cops searches for an invisible, mobile robber on $G$ by "probing" vertices; each probe tells the cops the distance from the probed vertex to the robber. The cops win if they can uniquely determine the robber's location. In this paper, we introduce a related game: the directional localization game. In this game, instead of probes returning distances, they return directions: when the cops probe a vertex $v$, the robber must respond with one or more neighbors of $v$ that lie on a shortest path from $v$ to the robber's location. The minimum number of cops needed to win this game on $G$ is the directional localization number of $G$. We study the directional localization game on several classes of graphs, including chordal graphs, Cartesian products, and incidence graphs of projective planes. We also bound the directional localization number of a graph $G$ in terms of the degeneracy and the treewidth of $G$.
BiLipschitz and bounded displacement equivalence of Delone sets
We survey biLipschitz (BL) and bounded displacement (BD) equivalence of Delone sets, with an emphasis on examples arising in aperiodic order. After recalling the classical results of Burago-Kleiner, McMullen, and Laczkovich, we discuss criteria for rectifiability, uniform spreadness, and BD equivalence, and how these relate to discrepancy and point-counting estimates. We then focus on Delone sets associated with substitution tilings, where these questions can often be studied through the combinatorial and spectral properties of the underlying substitution rules. We also consider selected classes of cut-and-project sets and briefly discuss extensions beyond BL and BD equivalence.
An infinite small-step $\mathbb Z^3$-walk with no collinear triple
We construct an infinite walk in $\mathbb{Z}^3$ whose steps come from a fixed set of sixteen vectors and no three of whose vertices are collinear, answering a problem of Gerver and Ramsey popularized as Erdős Problem 193.
A short proof that $R(3,k)=Θ(k^2/\log k)$
We give a nibble-free construction proving $R(3,k)\ge(1/200+o(1))k^2/\log k$. We also include Shearer's proof bounding the independence number of a triangle-free graph, which implies $R(3,k)\le (1+o(1))(k^2/\log k)$.
Polynomial configurations and pointwise averages along Piatetski-Shapiro sequences
In this paper, we prove that for every integer $k\geq2$ and every $c>1$ sufficiently close to $1$, there is $κ>0$ such that every sufficiently large subset of $\{1,\ldots,N\}$ of density at least $(\log\log N)^{-κ}$ contains \[
x,\quad x+\lfloor n^c\rfloor,\quad x+\lfloor n^c\rfloor^2,
\quad\ldots,\quad x+\lfloor n^c\rfloor^k. \] We also prove pointwise almost-everywhere convergence of the associated multiple ergodic averages.
Minimum Weakly Saturated Graphs and Bootstrap Percolation in General Host Graphs
A graph $G$ is weakly $H$-saturated if one can obtain $K_n$ by adding one edge to $G$ at a time, where each additional edge creates at least one new copy of $H$. The minimum number of edges needed for a weakly $H$-saturated graph $G$ of order $n$ is known as the weak saturation number of $H$, written $wsat(n,H)$. A graph $G$ is minimum weakly saturated if $wsat(n,G)=|E(G)|-1$ for some value of $n$.
We explore classes of minimum weakly saturated graphs and their connection to the $H$-bootstrap percolation process, as well as weak saturation in a more general setting than the complete graph.
Comments on the recent improvements of the MRRW bounds
The asymptotic McEliece--Rodemich--Rumsey--Welch bound (1977) limits the largest attainable rate of binary codes as a function of the relative distance. After a nearly half-century hiatus, this result was recently improved in two concurrent works, by OpenAI and by O. Alrabiah and V. Guruswami. The two arguments look entirely different, a Delsarte certificate on the one hand, a classical-quantum channel and the pretty good measurement on the other, and they yield the same bound. The purpose of this note is to explain why: in both proofs, a subspace is attached to every codeword and moved with it, and the bound counts how many such subspaces fit in the ambient space, exactly in the first case and in the probabilistic sense of typicality in the second. We also present the OpenAI proof in the language and context of coding theory, as an extension of the spectral method in which the single vector attached to a codeword is replaced by a subspace.
Permutation Wordle
We introduce a guessing game, ``Permutation Wordle,'' in which a
guesser attempts to recover a setter's hidden permutation of the set
$\{1, \ldots, n\}$. In each round, the guesser submits a word over
the alphabet $\{1, \ldots, n\}$, and, as in the game Wordle, learns
which entries are correct. We describe a natural strategy and prove
that it is optimal in a strong sense: for every $r$, it solves at least as
many secrets within $r$ rounds as any possible strategy.
The number of permutations it solves in exactly $k+1$ rounds is the
Eulerian number $A(n,k)$.
A stronger upper bound on the D-chromatic index
For a graph $G$, a proper edge coloring of $G$ is called a D-coloring if every diamond subgraph of $G$ is rainbow. Let $χ'_D(G)$ be the D-chromatic index of $G$, which is the smallest integer $k$ such that $G$ admits a D-coloring with $k$ colors. Let $Δ$ be the maximum degree of $G$. The only known Brooks-type upper bound on $χ'_D(G)$ is $\frac{9}{16}Δ^2 + \frac{1}{2}Δ$, given by a greedy coloring. In this paper, using a probabilistic method, we obtain the first improvement upon this upper bound by proving that $χ'_D(G) \le (1-c)\frac{9}{16}Δ^2$ for some $c > 0$ and sufficiently large $Δ$.
Sufficiency of Hall's Condition for Graphic List Coloring
For finite simple graphs $G,H$ on a common vertex set $V$, we say that $H$ is $G$-colorable if $H$ admits a proper list coloring with list assignment $L(v)=N_G(v)$ for all $v\in V$. This notion of coloring a graph using the neighborhood of another graph on the same vertex set, which we call \emph{graphic list coloring}, has connections to several classical topics, including systems of distinct representatives and graph factorizations. In this paper, we investigate when a necessary Hall-type condition, introduced by Hilton and Johnson in 1990, is also sufficient for $H$ to be $G$-colorable. We characterize all graphs $H$ that are $G$-colorable whenever the pair $(H,G)$ satisfies Hall's condition, answering a question raised by Johnson. We then consider the dual problem of characterizing graphs $G$ such that, whenever $(H,G)$ satisfies Hall's condition, $H$ is $G$-colorable. In this vein, we obtain complete results for several families of graphs, such as forests, complete multipartite graphs, and grid graphs.
Almost perfect graph classes
A graph $G$ is perfect if $ω(H) = χ(H)$ for each induced subgraph $H$ of $G$. In 2002, Chudnovsky, Robertson, Seymour, and Thomas famously proved the Strong Perfect Graph Theorem. Motivated by this forbidden induced subgraph characterization of the class of perfect graphs as well as the possible extension of efficient algorithms on perfect graphs, we consider the structure of graphs that are almost perfect. We say a graph is $c$-apex perfect if there is a constant $c$ number of vertices such that, upon the deletion of these vertices, what remains is a perfect graph. In this paper, we characterize the class of the sets of graphs $\mathcal{H}$ with $|\mathcal{H}|\leq 2$ for which there exists $c \in \mathbb{N}$ with the property that each $\mathcal{H}$-free graph is $c$-apex perfect. We also extend these results to several notable subclasses of perfect graphs, including chordal, interval, split, bipartite, and complete multipartite graphs.
On the Turán number of the expansion of the book
The book with $t$ pages is the graph on $t+2$ vertices consisting of $t$ triangles which intersect at exactly one common edge. For a given graph $F$, the $r$-expansion $F^r$ of $F$ is the $r$-uniform hypergraph obtained from $F$ by adding $r-2$ distinct new vertices to each edge of $F$. We determine the Turán number of the 3-expansion of the book graph for sufficiently large $n$.