arXiv Science⌕ Search

arXiv subjects

Noah Kravitz

Publications and source records attributed to Noah Kravitz.

At least 19 recordsLinked to original sources
arXiv2026

Logarithmically larger deletion codes of all distances

The deletion distance between two binary words $u,v \in \{0,1\}^n$ is the smallest $k$ such that $u$ and $v$ share a common subsequence of length $n-k$. A set $C$ of binary words of length $n$ is called a $k$-deletion code if every pair of distinct words in $C$ has deletion distance greater than $k$. In 1965, Levenshtein initiated the study of deletion codes by showing that, for $k\ge 1$ fixed and $n$ going to infinity, a $k$-deletion code $C\subseteq \{0,1\}^n$ of maximum size satisfies $Ω_k(2^n/n^{2k}) \leq |C| \leq O_k( 2^n/n^k)$. We make the first asymptotic improvement to these bounds by showing that there exist $k$-deletion codes with size at least $Ω_k(2^n \log n/n^{2k})$. Our proof is inspired by Jiang and Vardy's improvement to the classical Gilbert--Varshamov bounds. We also establish several related results on the number of longest common subsequences and shortest common supersequences of a pair of words with given length and deletion distance.

math.CO↗
arXiv2026

Sets with Few Subset Sums

It is a classical fact that every $n$-element set of positive reals has at least $\binom{n+1}{2}+1$ distinct subset sums, with equality exactly for homogeneous arithmetic progressions (when $n\geq 4$). We establish stability versions of this inverse theorem in two regimes. First, for any parameter $M \leq n-4$, we precisely characterize the $n$-element sets of positive reals with at most $\binom{n+1}{2}+1+M$ subset sums. Second, for any constant $C$, we provide a characterization, sharp up to constants, of the $n$-element sets of positive reals with at most $Cn^2$ distinct subset sums. Along the way, we constrain (for any fixed $d \geq 2$) the structure of $n$-element subsets of $\mathbb{R}^d$ with $o(n^{d+1})$ subset sums.

math.CO↗
arXiv2026

Half-plane non-coexistence without FKG

For $μ$ an edge percolation measure on the infinite square lattice, let $μ_{\textit{hp}}$ (respectively, $μ^*_{hp}$) denote its marginal (respectively, the marginal of its planar dual process) on the upper half-plane. We show that if $μ$ is translation-invariant and ergodic and almost surely has only finitely many infinite clusters, then either almost surely $μ_{hp}$ has no infinite cluster, or almost surely $μ^*_{hp}$ has no infinite cluster. By the classical Burton--Keane argument, these hypotheses are satisfied if $μ$ is translation-invariant and ergodic and has finite-energy. In contrast to previous ``non-coexistence'' theorems, our result does not impose a positive-correlation (FKG) hypothesis on $μ$. Our arguments also apply to the random-cluster model (including the regime $q<1$, which lacks FKG), the uniform spanning tree, and the uniform odd subgraph.

math.PR↗
arXiv2026

Statistics of Erdős-Rényi random numerical semigroups

For $p>0$ a small parameter, let $\mathcal A \subseteq \mathbb{Z}_{>0}$ be a random subset where each positive integer is included independently with probability $p$. We show that, with high probability (as $p \to 0$), the numerical semigroup $\langle\mathcal A\rangle:=\{a_1+\cdots+a_k: k \geq 0, a_1, \ldots, a_k \in \mathcal A\}$ generated by $\mathcal A$ has Frobenius number and genus of size $\asymp p^{-1}(\log p^{-1})^2$ and embedding dimension of size $\asymp (\log p^{-1})^2$. This resolves an open problem of Bogart and the second author.

math.CO↗
arXiv2026

Gap sets of random generalized numerical semigroups

For a fixed positive integer $d$ and a small real $p>0$, sample a $p$-random subset $A \subseteq \mathbb{Z}_{\geq 0}^d$, and let $S:=\langle A \rangle$ be the generalized numerical semigroup generated by $A$. We show that with high probability (as $p \to 0$), the gap set $\mathbb{Z}_{\geq 0}^d \setminus S$ is well approximated by the shifted hyperboloid region $$\{(x_1, \ldots, x_d) \in \mathbb{R}_{\geq 0}^d: (x_1+\log p^{-1}) \cdots (x_d+\log p^{-1})\ll p^{-1}(\log p^{-1})^{d+1}\}.$$ This generalizes work of the second author, Morales, and Schildkraut on the $1$-dimensional setting. We also obtain the same result with $S$ replaced by the set of subset sums of $A$.

math.CO↗
arXiv2026

On the number of permutation-twisted dot products

Let $\mathbb{K}$ be a field of characteristic $0$. For each choice of distinct $a_1, \ldots, a_n\in \mathbb{K}$ and distinct $b_1, \ldots, b_n\in \mathbb{K}$, consider the sum $S=\sum_{i=1}^n a_i b_{π(i)}$ as $π$ ranges over the permutations of $[n]$. We show that this sum always assumes at least $Ω(n^3)$ distinct values. This ``support'' bound, which is optimal up to the value of the implicit constant, complements recent work of Do, Nguyen, Phan, Tran, and Vu, and of Hunter, Pohoata, and Zhu on the anticoncentration properties of $S$ when $a_1,\ldots,a_n,b_1,\ldots,b_n$ are real and $π$ is chosen uniformly at random.

math.CO↗
arXiv2026

Quantitative concatenation for polynomial box norms

Using PET and quantitative concatenation techniques, we establish box-norm control with the "expected" directions for counting operators for general multidimensional polynomial progressions, with at most polynomial losses in the parameters. Such results are often useful first steps towards obtaining explicit upper bounds on sets lacking instances of given such progressions. In the companion paper arXiv:2407.08637, we complete this program for sets in $[N]^2$ lacking nondegenerate progressions of the form $(x, y), (x + P(z), y), (x, y + P(z))$, where $P \in \mathbb{Z}[z]$ is any fixed polynomial with an integer root of multiplicity $1$.

math.CO↗
arXiv2025

The distribution of prime values of random polynomials

The Bateman--Horn Conjecture predicts how often an irreducible polynomial $f(x) \in \mathbb{Z}[x]$ assumes prime values. We demonstrate that with sufficient averaging in the coefficients of $f$ (viz. exponential in the size of the inputs), one can not only prove Bateman--Horn results on average but also pin down precise information about the distribution of prime values. We show that 100\% of polynomials (in an $L^k$ sense for all $k \in \mathbb{N}$) satisfy the Bateman--Horn Conjecture, and that that 100\% of polynomials (in an $L^2$ sense) satisfy an appropriate polynomial analogue of the Hardy--Littlewood Prime Tuples Conjecture. We use the latter to prove that 100\% of polynomials satisfy the appropriate analogue of the Poisson Tail Conjecture, in the sense that the distribution of the gaps between consecutive prime values around the average spacing is Poisson. We also study the frequencies of sign patterns of the Liouville function evaluated at the consecutive outputs of $f$; viewing $f$ as a random variable, we establish the limiting distribution for every sign pattern. The Chowla problem along random polynomials is a special case. A key input behind all of our arguments is Leng's recent quantitative work on the higher-order Fourier uniformity of the von Mangoldt and Möbius functions (in turn relying on Leng, Sah, and Sawhney's quantitative inverse theorem for the Gowers norms).

math.NT↗
arXiv2025

Quantitative pyjama

The "pyjama stripe" with parameter $\varepsilon>0$ is the set $E(\varepsilon)$ of all complex numbers $z$ such that the distance from $\Re(z)$ to the nearest integer is at most $\varepsilon$. The Pyjama Problem of Iosevich, Kolountzakis, and Matolcsi asks whether, for every choice of $\varepsilon>0$, it is possible to cover the entire complex plane with finitely many rotations of $E(\varepsilon)$ around the origin. Manners obtained an affirmative answer to this question by studying a $\times 2, \times 3$-type problem over a suitable solenoid. Manners's argument provided no quantitative bounds (in terms of $\varepsilon$) on the number of rotations required, and Green has highlighted the problem of obtaining such quantitative bounds. Our main result is that $\exp\exp\exp(\varepsilon^{-O(1)})$ rotations of $E(\varepsilon)$ suffice to cover the complex plane. Our analysis makes use of the entropic tools developed by Bourgain, Lindenstrauss, Michel, and Venkatesh for quantitative $\times 2, \times 3$-type results.

math.DS↗
arXiv2025

On Graham's rearrangement conjecture over $\mathbb{F}_2^n$

A sequence $s_1,s_2,\ldots, s_k$ of elements of a group $G$ is called a valid ordering if the partial products $s_1, s_1 s_2, \ldots, s_1\cdots s_k$ are all distinct. A long-standing problem in combinatorial group theory asks whether, for a given group $G$, every subset $S \subseteq G\setminus \{\mathrm{id}\}$ admits a valid ordering; the instance of the additive group $\mathbb{F}_p$ is the content of a well-known 1971 conjecture of Graham. Most partial progress to date has concerned the edge cases where either $S$ or $G \setminus S$ is quite small. Our main result is an essentially complete resolution of the problem for $G=\mathbb{F}_2^n$: we show that there is an absolute constant $C>0$ such that every subset $S\subseteq \mathbb{F}_2^n \setminus \{0\}$ of size at least $C$ admits a valid ordering. Our proof combines techniques from additive and probabilistic combinatorics, including the Freiman--Ruzsa theorem and the absorption method. Along the way, we also solve the general problem for moderately large subsets: there is a constant $c>0$ such that for every group $G$ (not necessarily abelian), every subset $S \subseteq G\setminus \{\mathrm{id}\}$ of size at least $|G|^{1-c}$ admits a valid ordering. Previous work in this direction concerned only sets of size at least $(1-o(1))|G|$. A main ingredient in our proof is a structural result, similar in spirit to the Arithmetic Regularity Lemma, showing that every Cayley graph can be efficiently decomposed into mildly quasirandom components.

math.CO↗
arXiv2025

Finer control on relative sizes of iterated sumsets

Inspired by recent questions of Nathanson, we show that for any infinite abelian group $G$ and any integers $m_1, \ldots, m_H$, there exist finite subsets $A,B \subseteq G$ such that $|hA|-|hB|=m_h$ for each $1 \leq h \leq H$. We also raise, and begin to address, questions about the smallest possible cardinalities and diameters of such sets $A,B$.

math.CO↗
arXiv2025

The structure of Lonely Runner spectra

For each subtorus $T$ of $(\mathbb{R}/\mathbb{Z})^n$, let $D(T)$ denote the (infimal) $L^\infty$-distance from $T$ to the point $(1/2,\ldots, 1/2)$. The $n$-th Lonely Runner spectrum $\mathcal{S}(n)$ is defined to be the set of all values achieved by $D(T)$ as $T$ ranges over the $1$-dimensional subtori of $(\mathbb{R}/\mathbb{Z})^n$ that are not contained in the coordinate hyperplanes. The Lonely Runner Conjecture predicts that $\mathcal{S}(n) \subseteq [0,1/2-1/(n+1)]$. Rather than attack this conjecture, we study the structure of the sets $\mathcal{S}(n)$. The main purpose of this note is to show that the set of accumulation points of $\mathcal{S}(n)$ is precisely $\mathcal{S}(n-1)$.

math.CO↗
arXiv2025

Simultaneous generating sets for flags

We prove that any triple of complete flags in $\mathbb R^d$ admits a common generating set of size $\lfloor 5d/3\rfloor$ and that this bound is sharp. This result extends the classical linear-algebraic fact -- a consequence of the Bruhat decomposition of $\text{GL}_d(\mathbb R)$ -- that any pair of complete flags in $\mathbb R^d$ admits a common generating set of size $d$. We also deduce an analogue for $m$-tuples of flags with $m>3$.

math.CO↗
arXiv2025

Graham's rearrangement conjecture beyond the rectification barrier

A 1971 conjecture of Graham (later repeated by Erdős and Graham) asserts that every set $A \subseteq \mathbb{F}_p \setminus \{0\}$ has an ordering whose partial sums are all distinct. We prove this conjecture for sets of size $|A| \leqslant e^{(\log p)^{1/4}}$; our result improves the previous bound of $\log p/\log \log p$. One ingredient in our argument is a structure theorem involving dissociated sets, which may be of independent interest.

math.CO↗
arXiv2025

Relative sizes of iterated sumsets

Let $hA$ denote the $h$-fold sumset of a subset $A$ of an abelian group. Resolving a problem of Nathanson, we show that for any prescribed permutations $σ_1, \ldots, σ_H \in \mathfrak{S}_n$, there exist finite subsets $A_1, \ldots, A_n \subseteq \mathbb{Z}$ such that for each $1 \leq h \leq H$, the relative order of the quantities $|h A_1|, \ldots, |h A_n|$ is given by $σ_h$. We also establish extensions where $\mathbb{Z}$ is replaced by any other infinite abelian group or where one prescribes some equalities (not only inequalities) among the sumset sizes.

math.CO↗
arXiv2024

Bender--Knuth Billiards in Coxeter Groups

Let $(W,S)$ be a Coxeter system, and write $S=\{s_i:i\in I\}$, where $I$ is a finite index set. Fix a nonempty convex subset $\mathscr{L}$ of $W$. If $W$ is of type $A$, then $\mathscr{L}$ is the set of linear extensions of a poset, and there are important Bender--Knuth involutions $\mathrm{BK}_i\colon\mathscr{L}\to\mathscr{L}$ indexed by elements of $I$. For arbitrary $W$ and for each $i\in I$, we introduce an operator $τ_i\colon W\to W$ (depending on $\mathscr{L}$) that we call a noninvertible Bender--Knuth toggle; this operator restricts to an involution on $\mathscr{L}$ that coincides with $\mathrm{BK}_i$ in type $A$. Given a Coxeter element $c=s_{i_n}\cdots s_{i_1}$, we consider the operator $\mathrm{Pro}_c=τ_{i_n}\cdotsτ_{i_1}$. We say $W$ is futuristic if for every nonempty finite convex set $\mathscr{L}$, every Coxeter element $c$, and every $u\in W$, there exists an integer $K\geq 0$ such that $\mathrm{Pro}_c^K(u)\in\mathscr{L}$. We prove that finite Coxeter groups, right-angled Coxeter groups, rank-3 Coxeter groups, affine Coxeter groups of types $\widetilde A$ and $\widetilde C$, and Coxeter groups whose Coxeter graphs are complete are all futuristic. When $W$ is finite, we actually prove that if $s_{i_N}\cdots s_{i_1}$ is a reduced expression for the long element of $W$, then $τ_{i_N}\cdotsτ_{i_1}(W)=\mathscr{L}$; this allows us to determine the smallest integer $\mathrm{M}(c)$ such that $\mathrm{Pro}_c^{\mathrm{M}(c)}(W)=\mathscr{L}$ for all $\mathscr{L}$. We also exhibit infinitely many non-futuristic Coxeter groups, including all irreducible affine Coxeter groups that are not of type $\widetilde A$, $\widetilde C$, or $\widetilde G_2$.

math.CO↗