arXiv Science⌕ Search

arXiv subjects

Alex Burgin

Publications and source records attributed to Alex Burgin.

8 recordsLinked to original sources
arXiv2026

Reasonable bounds for Restricted Polynomial Progressions in $\mathbb F^n_p$

Given an integer $k \geq 2$, there are integers $M_k$ and $P_k$ so that for all $A \subseteq \mathbb F^n_p$ does not contain a restricted polynomial progression of the form \begin{align*} x, x+\begin{pmatrix} y_1 \\ y_2 \\ \vdots \\ y_n \end{pmatrix}, x+\begin{pmatrix} y_1^2 \\ y_2^2 \\ \vdots \\ y_n^2 \end{pmatrix}, \ldots, x+\begin{pmatrix} y_1^{k-1} \\ y_2^{k-1} \\ \vdots \\ y_n^{k-1} \end{pmatrix}, \end{align*} where $x \in \mathbb F^n_p$, with $p>P_k$, and $y \in \{0,2, 3, \ldots, M_k\}^n \backslash \{\vec{0} \}$, for some fixed $M_k$, then $A$ must have density bounded above by $\frac{C}{(\log^{(k^{O(k)})} n)^c}$, where $C, c>0$ only depend on $k$ and $p$. For $k\geq 4$, the best previously known bound came from the density Hales--Jewett theorem and was of inverse Ackermann type. The proof uses a recent inverse theorem for noise stability of Bhangale, Khot, Liu and Minzer, which arose in the study of constraint satisfaction problems. The main new ingredient is a proof that the underlying distribution counting restricted polynomial progressions does not admit a nontrivial abelian embedding, by way of an involved algebraic argument. Reasonable bounds are provided for $P_k$ and $M_k$.

math.NT↗
arXiv2026

Szemerédi's Theorem Along Cantor Sets of Integers

Let $\mathcal C= \{k_1 0. $$ The averages above are uniform in the index $n$, and so the set of indices $n$ for which $m(A\cap T^{-k_n} A \cap \cdots \cap T^{-\ell k_n} A )>0$ is syndetic. By the Furstenberg correspondence principle, it follows that for every set of integers $A$ of positive upper Banach density there is a syndetic set $B$ of indices such that, for each $n \in B$, the set of $a$ with $a, a+k_n, \ldots, a+ \ell k_n \in A$ again has positive upper Banach density. A Cantor set contains an IP-set, so the existence of such progressions, and the positivity of the density above for a single index, already follow from the IP Szemerédi theorem of Furstenberg and Katznelson, and from the work of Kra and Shalom. The point of this paper is instead the frequency with which the step sizes $k_n$ may be found, measured in the natural enumeration of the Cantor set itself.

math.NT↗
arXiv2026

Integer Cantor Sets: Arithmetic Combinatorial Properties

Cantor sets of integers have a rich set of arithmetic combinatorial properties. We consider classical Cantor sets, with a base and a fixed set of allowed digits. For such sets, we (a) give examples of such sets that satisfy the intersective property with power savings (b) characterize uniform distribution, (c) establish polynomial mean ergodic theorems and (d) study metric pair correlation of Cantor sets.

math.DS↗
arXiv2026

Remarks on the Geometry of Sets in $\mathbb{Z}^d$ with Small Fourier $L^1$ Norm

We study geometric inverse problems for finite sets $A\subset \mathbb{Z}^d$ whose Fourier $L^1$ norm, or Wiener norm, \begin{align*} \|A\|:=\int_{\mathbb{T}^d}\Big|\sum_{a\in A}e(a\cdot t)\Big|dt \end{align*} is subpolynomial in $|A|$. In particular, we show a variety of geometric phenomena are incompatible with small Fourier $L^1$ norm. Our principal application concerns spherical Freiman models. Suppose $\|A\|=|A|^{o(1)}$ and $D\subseteq A$ is Freiman isomorphic to a set $S$ of lattice points on a sphere; then, $|D|/|A|$ must be polynomially small in $|A|$. Moreover, if $|D|/|A|$ is not too small, almost all of $S$ lies in a small number of spherical caps, and almost all caps have rich additive structure. The proof uses a new mechanism for studying additive structure across subsets of $A$, along with decoupling results of Bourgain-Demeter.

math.NT↗
arXiv2026

Ergodic Averages over Shrinking Sectors of $\mathbb Z[i]$

We study ergodic averages over Gaussian integers in shrinking angular sectors, which impose an increasingly restrictive directional relation between the real and imaginary coordinates. In uniquely ergodic systems, averages of continuous functions along $Ω$ converge to the invariant integral uniformly in the base point and sector location for sectors whose widths shrink subpolynomially in the norm cutoff. For finitely generated multiplicative actions, we prove a quantitative sector--disk comparison in an explicit logarithmic shrinking range, with a power-saving error in $\log N$, uniformly in the base point and sector location. The exponents depend only on the number of distinct prime transformations, and the result requires neither ergodicity nor angular-distribution hypotheses on the sets of primes inducing the individual transformations. Strong unique ergodicity then yields convergence to the invariant integral at each fixed base point. Consequences include asymptotic independence of relative angular position and $T^{Ω(n)} x$, Gaussian Liouville cancellation, and joint equidistribution modulo integers of prime-factor counts associated with two prime classes having divergent reciprocal-norm sums.

math.DS↗
arXiv2026

Sárközy's theorem for shifted primes with restricted digits

We study recurrence along shifted primes with restricted digits. By constructing a local approximant to the associated exponential sums, we prove the van der Corput property for shifted primes with restricted digits. This in turn shows that if $A\subset \mathbb{N}$ has positive upper Banach density, then there exists some prime $p$ with restricted digits and two elements $a_1,a_2\in A$ such that $a_1+p-1=a_2$.

math.NT↗
arXiv2022

Large sets avoiding infinite arithmetic / geometric progressions

We study some variants of the Erdős similarity problem. We pose the question if every measurable subset of the real line with positive measure contains a similar copy of an infinite geometric progression. We construct a compact subset $E$ of the real line such that $0$ is a Lebesgue density point of $E$, but $E$ does not contain any (non-constant) infinite geometric progression. We give a sufficient density type condition that guarantees that a set contains an infinite geometric progression. By slightly improving a recent result of Bradford, Kohut and Mooroogen arXiv:2205.04786, we construct a closed set $F\subset[0,\infty)$ such that the measure of $F\cap[t,t+1]$ tends to $1$ at infinity but $F$ does not contain any infinite arithmetic progression. We also slightly improve a more general recent result by Kolountzakis and Papageorgiou arXiv:2208.02637 for more general sequences. We give a sufficient condition that guarantees that a given Cantor type set contains at least one infinite geometric progression with any quotient between $0$ and $1$. This can be applied to most symmetric Cantor sets of positive measure.

math.MG↗