math.CO ↗ arXiv
7121 papers in this category
Universal Fourier-inertia bounds for prescribed even distances
The study of set families with restricted Hamming distances is a classical topic of extremal combinatorics and coding theory. Let \(H=\{A\subseteq[n]: |A|\text{ is even}\}\) be the even subcube. Let \(\ell_1,\dots,\ell_t\) be distinct positive integers and set \(\mathcal L=\{2\ell_1,\dots,2\ell_t\}\). We prove that, for all sufficiently large \(n\), every family \(\mathcal F\subseteq H\) satisfying \( |A\triangle B|\in\mathcal L \) for all \(A\ne B\in\mathcal F\) has \[ |\mathcal F|\le \sum_{i=0}^{t}\binom{n-1}{i}. \] This is best possible as a universal bound, with equality attained at the distance set \(\mathcal L=\{2,4,\dots,2t\}\).
Our proof uses a Fourier-inertia argument based on a universal low/high boundary-layer sign pattern for the Fourier transform of the distance-polynomial kernel on the even subcube: the prescribed distances enter only through lower-order Fourier terms, while the leading boundary-layer signs depend solely on \(t\). This even-subcube result immediately yields an odd-subcube analogue and, through parity reductions, provides bounds for arbitrary distance sets. In particular, this approach recovers the classical interval bounds of Kleitman and the corresponding interval bounds of Huang--Klurman--Pohoata, while offering a direct spectral proof of the maximality of \(\{2,4,\dots,2t\}\) among all fixed \(t\)-distance sets.
On growth rates of infinite and finite sumsets
We study growth rates of infinite and finite sumset patterns in sets of positive density. In the infinite setting, we show that no such rate exists, answering a question of Kra, Moreira, Ritcher, and Robertson. Namely, for any proposed growth rate $\mathcal{H}: \mathbb{N} \to \mathbb{N}$ tending to infinity, we construct a set $A$ of lower density $1$ such that whenever $B,C \subseteq \mathbb{N}$ are infinite and $B+C \subseteq A$ we have the minimum of $|B\cap [N]|$ and $|C \cap [N]|$ is less than $\mathcal{H}(N)$ for infinitely many $N$. In the finitary setting, we prove that for all $δ\in (0,1)$, for all sufficiently large $N$, for all subsets $A$ of $\{1,\dots,N\}$ of proportion $δ$, one can always find sumset patterns $B+C\subseteq A$ with $|B|$ and $|C|$ of order $\log N$, partially resolving a conjecture of Kra, Moreira, Richter, and Robertson. Moreover, we generalize our second result to the case of the $k$-fold sum $B_1 + B_2 + \ldots + B_k \subseteq A$.
Minimum degree stability for graphs without odd-cycle blow-up
For fixed integers $g\ge 2$ and $t\ge 1$, and every $\varepsilon>0$, we prove that there exists a constant $ρ>0$ such that every $n$-vertex graph $G$ with $δ(G)\ge (2/(2g+1)+\varepsilon)n$ either contains $C_{2g-1}[t]$, or can be made bipartite by deleting $O(n^{2-ρ})$ edges. This gives an affirmative answer to a question of Illingworth in [Minimum degree stability of $H$-free graphs, Combinatorica, 43(1):129-147, 2023.]
Tomography of quantum states with bounded extent
We give a general framework for tomography of states that have bounded-extent with respect to a structured class of states. Let $\textsf{C}$ be a family of $n$-qubit states such that: $(i)$ $\textsf{C}$ is succinctly representable and $(ii)$ there is a weak agnostic learner of $\textsf{C}$. We give a tomography protocol for an unknown state $|ψ\rangle$ that is promised to admit a decomposition of the form $|ψ\rangle = \sum_i c_i |φ_i\rangle$, where $|φ_i\rangle \in \textsf{C}$ with bounded $\ell_1$-norm of the coefficients (which we call extent). Our main contribution is to show that a weak agnostic learner for $\textsf{C}$ can be boosted into a tomography algorithm for states with bounded extent with respect to $\textsf{C}$.
Our reduction is black-box and applies broadly across model classes. As an application, when $\textsf{C}$ is the class of stabilizer states, we obtain tomography algorithms for states with stabilizer extent $ξ$ up to trace distance $\varepsilon$, in time $\textsf{poly}(n,(ξ/\varepsilon)^{\log(ξ/\varepsilon)})$, which is improvable to $ \textsf{poly}(n,ξ,1/\varepsilon)$ assuming the algorithmic polynomial Freiman-Ruzsa conjecture in the high-doubling regime. When the unknown state $|ψ\rangle$ is arbitrary, we give an algorithmic decomposition result in the spirit of a weak regularity lemma for quantum states with respect to $\textsf{C}$ and show that the structure in $|ψ\rangle$ that is explainable by $\textsf{C}$ can be efficiently learned. Our main conceptual message is that agnostic learning of a structured base class automatically yields learnability of its low-complexity linear span.
Gaps in Multiplicative Sidon Sets II
With $ρ= \frac{13-\sqrt{69}}{10} \approx 0.47$, it was recently established that there exist multiplicative Sidon sets (sets without any non-trivial solutions to $ab = cd$) in $\{1, 2, \ldots, n\}$ with maximal gap size $\ll_{\varepsilon} n^{ρ+ \varepsilon}$. Here we improve upon this result and show that one can take $ρ= \frac{10}{33} \approx 0.303$ instead.
Adjacency Spectral Radius Under Laplacian Sparsification: Deterministic and Probabilistic Bounds
Spielman-Srivastava spectral sparsification preserves Laplacian quadratic forms to within (1 +/- epsilon), but does not directly control the adjacency spectral radius lambda_1, which governs the NIMFA epidemic threshold and arises in spectral clustering. We prove |lambda_1(A_H) - lambda_1(A_G)| <= epsilon(2 Delta - lambda_1) deterministically, with a sharp epsilon*lambda_1 bound for reweighting sparsifiers via Perron-Frobenius monotonicity. Under effective-resistance sampling, Matrix Bernstein gives O(epsilon Delta / sqrt(c)) with high probability. Combining eigenvector delocalization with resolvent perturbation theory, we establish that for graphs with delocalized Perron eigenvectors and spectral gap = Omega(Delta), the distortion is O(epsilon Delta sqrt(log n) / sqrt(n)) + O(epsilon^2 Delta^2 / delta_gap), with corollaries for Erdos-Renyi graphs, regular expanders, and stochastic block models. Lower bounds establish tightness for regular graphs.
Improved bounds on the b-chromatic number using the independence and chromatic numbers
A b-coloring of a graph $G$ is a proper vertex coloring where each color class contains at least one vertex (a b-vertex) adjacent to a vertex in every other color class. The maximum number of colors in such a coloring is the b-chromatic number, ${\rm b}(G)$. A ${\rm b}^{\ast}$-coloring is a variation in which a b-vertex is adjacent to a b-vertex in every other color class. We employ the ${\rm b}^{\ast}$-coloring to prove that any $n$-vertex graph $G$ with independence number at most $t$ satisfies ${\rm b}(G) \leq ((t-1)n+tχ(G))/(2t-1)$. This bound extends the bounds of Kouider and Zaker (2006) and Alkhateeb and Kohl (2011). We show that this bound is sharp for all $t\geq 2$ and $χ(G)\geq 3$. Furthermore, we provide a refined bound based on the maximum number of vertex-disjoint independent sets of size $t$. Finally, we present an upper bound on the ${\rm b}^{\ast}$-chromatic number of $K_{1,s}$-free graphs.
Dirac subgraphs of powers of cycles are Hamiltonian
We show that, for every $\varepsilon>0$ and all sufficiently large $k$, any spanning subgraph of the $k$th power of a cycle with minimum degree at least $(1+\varepsilon)k$ contains a Hamilton cycle. This asymptotically settles a conjecture of Espuny Díaz, Lichev, and Wesolek.
Minimal Posets Realizing \texorpdfstring{$\mathbb{Z}_2 \times \mathbb{Z}_4$} as Automorphism Group
We prove $β(\mathbb{Z}_2 \times \mathbb{Z}_4) = 14$, where $β(G)$ denotes the minimum cardinality $|P|$ among finite posets $P$ with $\Aut(P) \cong G$. The lower bound is established by a complete case analysis of orbit decompositions of $P$ under faithful $G$-actions, organized by the largest orbit size. The upper bound is realized by an explicit $14$-element poset whose automorphism group is computed by a height-function argument together with a rigidity analysis of its covering relations.
The singular cohomology ring of a uniform matroid: combinatorics and Lefschetz properties
The singular cohomology ring of a matroid is an algebraic invariant which generalizes the Chow ring of a matroid. We study combinatorial and Lefschetz properties of the singular cohomology ring of a uniform matroid. Combinatorially, we construct an explicit basis for the singular cohomology ring in terms of Koszul homology. From this basis we derive multiple formulas for the Hodge numbers of the cohomology ring that recover and extend known formulas for the Chow polynomial of a uniform matroid. We also use this basis to show that the singular cohomology ring of a uniform matroid satisfies the "quasi-projective strong Lefschetz property" -- a slight weakening of the Hard Lefschetz property found in the Chow ring of a matroid.
A Comparison of cluster algebra structures arising from $i$-boxes and Demazure weaves
We compare two cluster algebras related to a positive element $\mathtt{b}$ in the braid group of finite $ADE$ type. One is the localized bosonic extension ${\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})$ equipped with an initial seed arising from an admissible chain $\mathfrak{C}$ of $i$-boxes, which is deeply connected to monoidal categorification. The other is the coordinate ring $\mathbb{C}[X({\underlineΔ} {\boldsymbol{i}})]$ of the braid variety $X({\underlineΔ} {\boldsymbol{i}})$ equipped with an initial seed arising from a Demazure weave $\mathfrak{W}$, where ${\boldsymbol{i}}$ and ${\underlineΔ}$ are expression sequences of $\mathtt{b}$ and the half twist $Δ$, respectively. We explicitly construct a Demazure weave $\mathfrak{W}_{\underlineΔ}(\mathfrak{C})$ for each admissible chain $\mathfrak{C}$ associated with ${\boldsymbol{i}}$, and prove that there exists an algebra isomorphism $\varphi_{\boldsymbol{i}}\colon {\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})\to\mathfrak{C}[X({\underlineΔ} {\boldsymbol{i}})]$ which is compatible with the two seeds arising from $\mathfrak{C}$ and $\mathfrak{W}_{\underlineΔ}(\mathfrak{C})$. Moreover, the isomorphism $\varphi_{\boldsymbol{i}}$ sends the PBW vectors ${\overline{\mathsf{p}}}_{\boldsymbol{i},k} \in {\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})$ to the coordinates $z_k \in \mathfrak{C}[X({\underlineΔ} {\boldsymbol{i}})]$ indexed by the letters of ${\boldsymbol{i}}$. As applications, we investigate a connection between Demazure weaves and signed words via the $i$-boxes and interpret the isomorphism $\varphi_{\boldsymbol{i}}$ from the viewpoint of monoidal categorification using Hernandez--Leclerc categories.
Ideals defining components of two-row Springer fibers
Springer fibers are subvarieties of the flag variety parameterized by nilpotent matrices. They are central objects of study in geometry representation theory. This paper focuses on two-row Springer fibers, those corresponding to nilpotent matrices with two Jordan blocks. Irreducible components of two-row Springer fibers are in bijection with two-row standard Young tableaux and also with noncrossing matchings.
Inspired by the combinatorial commutative algebra of matrix Schubert varieties, we define a polynomial ideal for each noncrossing matching and prove that these ideals define the corresponding components of the Springer fiber. Our proofs leverage geometric descriptions of Springer fibers established by Fung, Stroppel--Webster, Fresse, and Goldwasser--Nadeem--Sun--Tymoczko. Using these ideals to compute examples, we give two conjectural formulas for the cohomology class of each component of a two-row Springer fiber. We apply commutative algebra techniques to prove these conjectures for a specific family of two-row tableaux.
An automated proof that R(B_8,B_10)=37
We present a short proof that the book Ramsey number $R(B_8,B_{10})$ equals 37. The lower bound $R(B_8,B_{10}) \ge 37$ is already available in the literature, so it is enough to rule out a 37-vertex graph containing neither a copy of $B_8$ nor a copy of $B_{10}$ in its complement. The problem as well as the proof were found with AutoMath, an AI-assisted mathematical discovery workflow developed by the first author. A Lean formalization of the upper-bound argument is available in the accompanying repository.
Torsoids in Path-Like Graphs without nontrivial even 2-separation
Bowler et al. introduced the concept of torsoids that describes the 1-separations of a directed graph in a canonical way building on previous progress by Lov{á}sz. To fully understand the structure of directed graphs with respect to their 1-separations it remains to find a global structure along which the torsoids are arranged. In this paper, we start the investigation of this global structure for a specific class of directed graphs.
On the maximum number of $k$-holes in point sets with no $(k + 1)$-hole
The classical problem of Erdős asks for the minimum number of empty convex $k$-gons determined by an $n$-element point set in the plane. The celebrated empty hexagon theorem, proved independently by Gerken and Nicolás, shows that every sufficiently large planar point set contains a $6$-hole, while Horton's famous construction shows the existence of arbitrarily large point sets with no $7$-hole. In this paper, we initiate the study of the maximum number of $k$-holes in planar point sets with no $(k+1)$-hole. More precisely, for each fixed $k\geq 6$, let $h_k(n)$ be the maximum number of $k$-holes determined by a planar point set in general position, of size at most $n$, and with no $(k+1)$-hole. We prove that there are absolute constants $c_1,c_2>0$ such that $(c_1/k)^{\lfloor k/3\rfloor} n^{\lfloor k/3\rfloor} \leq h_k(n)\leq (c_2/k)^{\lceil k/2\rceil} n^{\lceil k/2\rceil}$.
Planar higher-rank trees have rank at most four
We prove that a finite, connected, singly connected, locally convex higher-rank tree whose $1$-skeleton is planar and which is \emph{non-degenerate}, in the sense that every edge of each colour forms a commuting square with every other colour, has rank at most four. Under these hypotheses this establishes the planarity conjecture stated in \cite{Pask}. The obstruction side of the argument uses only the non-planarity of $K_5$; it makes no appeal to the four-colour theorem. The engine is a monotonicity property of the set of colours emitted at a vertex (``backward propagation''), which forces, in any finite singly connected non-degenerate $k$-graph, a single vertex emitting all $k$ colours; once $k\ge 5$, local convexity manufactures a subdivision of $K_5$ at such a vertex.
Strong colorings based on oscillations
We show that for any uncountable cardinal $κ$, there is a coloring $c: [κ]^2\to ω$ such that $c''A \otimes B = ω$ for any $A, B\subseteq κ$ of order type $ω_1$ that are stationary in their common supremum. In particular, the stationary version of Erdős-Rado theorem and the higher dimensional Friedman's property are both inconsistent. We demonstrate that the theorem is optimal in various ways.
On graphs whose cycle space is spanned by their Hamilton cycles
The cycle space of a graph $G$, denoted $\mathcal{C}(G)$, is a vector space over ${\mathbb F}_2$, spanned by all incidence vectors of edge-sets of cycles of $G$. If $G$ has $n$ vertices, then $\mathcal{C}_n(G)$ denotes the subspace of $\mathcal{C}(G)$, spanned by the incidence vectors of Hamilton cycles of $G$. We consider several known sufficient conditions for Hamiltonicity and show that an appropriate and fairly mild strengthening of each such condition in fact ensures the stronger property $\mathcal{C}_n(G) = \mathcal{C}(G)$. In particular, we consider the classical Chvátal-Erdős criterion and prove that (under various additional restrictions) if $n$ is odd and $κ(G) \geq c α(G)$, where $c$ is a sufficiently large absolute constant, then $\mathcal{C}_n(G) = \mathcal{C}(G)$. Moreover, considering the McDiarmid-Yolov criterion we prove that if $n$ is odd and $δ(G) \geq \max \left\{2 \tildeα(G) + 9, \tildeα(G) + 18 \right\}$, where $\tildeα(G)$ is the so-called bipartite independence number of $G$, then $\mathcal{C}_n(G) = \mathcal{C}(G)$. We also prove that if $n$ is odd and $G$ admits $16 α(G) + 12$ pairwise disjoint connected dominating sets, $\mathcal{C}_n(G) = \mathcal{C}(G)$. Finally, we consider an effective Chvátal-Erdős type criterion for bipartite graphs and prove that if $G$ is a balanced bipartite graph on $2n$ vertices, satisfying $α_{\emph{BIP}}(G) \leq 2 δ(G) - 24$, then $\mathcal{C}_{2n}(G) = \mathcal{C}(G)$.
Geometric Sidon Problems
This paper considers geometric problems of the following type: given a point set $P \subset \mathbb R^2$, one seeks a large subset avoiding a prescribed geometric configuration. Our main result states that, for any $P \subset \mathbb R^2$, there exists a subset $P' \subset P$ with $|P'| \gg |P|^{1/3}$ such that all of the distances determined by $P'$ are distinct. This improves a result of Charalambides. We make heavy use of a result of Li and Postle concerning the independence number of hypergraphs which satisfy some edge distribution conditions, as well as tools from incidence geometry.
A master theorem for topological zeta functions of matroids
We study the topological zeta function of a loopless matroid $\mathsf{M}$ and its Möbius transform. We provide a novel and manifest description (a ``Master Theorem'') for both functions and all of their coefficients, which can be used to give transparent solutions to several open questions and conjectures on topological zeta functions of matroids, even in greater generality than what was anticipated. As applications we solve conjectures of van der Veer (2019), Kutler (2023), and Mengesha, Miranda, and Sun (2026).