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

Basic Information

• Paper ID: 2510.13076
• Title: Sárközy's theorem for shifted primes with restricted digits
• Author: Alex Burgin (Georgia Institute of Technology)
• Classification: math.NT (Number Theory)
• Publication Date: October 15, 2025
• Paper Link: https://arxiv.org/abs/2510.13076

Abstract

This paper investigates Sárközy's theorem for shifted primes with restricted digits. For a base $b \geq 2$ and a digit set $\mathcal{A} \subset \{0,...,b-1\}$, let $\mathcal{P}$ denote the set of primes whose base-$b$ digits are restricted to $\mathcal{A}$. The author proves that if $A \subset \mathbb{N}$ has positive upper Banach density, then there exist a prime $p \in \mathcal{P}$ and two elements $a_1, a_2 \in A$ such that $a_2 = a_1 + p - 1$. The main technical tools are the Furstenberg correspondence principle and the discretized Hardy-Littlewood circle method employed by Maynard. As a byproduct, the paper also establishes a Dirichlet-type theorem for the distribution of $\mathcal{P}$ in residue classes and a Vinogradov-type theorem on the decay of exponential sums.

Research Background and Motivation

Problem Background

1. Sárközy-type Problems: A central problem in arithmetic combinatorics investigating forbidden difference patterns in integer sets. For a set $S$, if $A \subset \mathbb{Z}$ satisfies $a_1 - a_2 \notin S$ for all $a_1, a_2 \in A$, what is the structure of $A$?
2. Intersective Sets: Many sets $S$ (such as perfect squares, shifted primes $\{p \pm 1 : p \in P\}$, etc.) are intersective, meaning that if $A$ avoids all differences in $S$, then $A$ is small, satisfying $\lim_{N\to\infty}\frac{\#(A \cap \{-N,...,N\})}{2N+1} = 0$.
3. Primes with Restricted Digits: Inspired by Maynard's results on primes with restricted digits, this work studies sets satisfying two simultaneous constraints: being both shifted primes and having restricted digits.

Research Motivation

This paper aims to prove that the set of shifted primes with restricted digits $P_C - 1$ (where $C$ is the restricted digit set) retains the intersective property, thereby generalizing Sárközy's classical result to sparser subsets of primes.

Core Contributions

1. Main Theorem: Proves that for a set $A$ with positive upper Banach density, there exist a prime $p$ with restricted digits and $a_1, a_2 \in A$ such that $a_2 = a_1 + p - 1$.
2. Dirichlet-type Theorem: Establishes asymptotic formulas for the distribution of restricted-digit primes in residue classes, generalizing Maynard's results.
3. Vinogradov-type Theorem: Proves decay properties of exponential sums over restricted-digit primes.
4. van der Corput Sets: Demonstrates that $P_C - 1$ is a van der Corput set, which is stronger than being intersective.

Methodology Details

Problem Setup

Let $b \geq 2$ be a base and $A := \{0,...,b-1\} \setminus \{d_1,...,d_s\}$ be the set of allowed digits. Define the restricted digit set: $C := \left\{\sum_{i=0}^N n_i b^i : n_i \in A, N \in \mathbb{N}_0\right\}$

The goal is to prove that if $A \subset \mathbb{N}$ has positive upper Banach density, then there exist a prime $p \in P_C$ (primes in $C$) and $a_1, a_2 \in A$ such that $a_1 + p - 1 = a_2$.

Core Technical Framework

1. Furstenberg Correspondence Principle

Through dynamical systems theory, the combinatorial problem is transformed into an ergodic-theoretic problem. The key result is:

Proposition 7: For any measure-preserving system $(X,\mathcal{B},\mu,T)$ and $f \in L^{\infty}(X,\mathcal{B},\mu)$ with $f \geq 0, f \not\equiv 0$, the set $\{n > 0 : \int f \cdot T^n f d\mu > 0\}$ contains elements from $P_C - 1$.

2. Exponential Sum Estimates

Precise estimates are established for the Fourier transform $\hat{C}_{b^N}(t)$ of the restricted digit set:

$\hat{C}_{b^N}(x) = \prod_{i=0}^{N-1}\left(\sum_{c \in A} e(b^i c x)\right)$

Key estimates include:

• $L^1$ Bound: $\sup_{x \in \mathbb{R}} \sum_{a \leq b^N} |\hat{C}_{b^N}(x + a/b^N)| \leq (C_0 b \log b)^N$
• Large Sieve Estimates and Mixed Estimates to control sums at different scales
• $L^{\infty}$ Bound: Exponential decay for poorly approximable rationals

3. Circle Method Decomposition

Uses the discretized Hardy-Littlewood circle method:

Proposition 28: For $\alpha < 1/5$, $\sum_{n<b^N} 1_C(n)\Lambda(n)e(n\theta) = \sum_{d<\log^{A'}(b^N)} \frac{\mu(d)}{\phi(d)} \sum_{\ell \in (Z/dZ)^*} \hat{C}_{b^N}\left(\theta + \frac{\ell}{d}\right) + O_A\left(\frac{(b-s)^N}{\log^A(b^N)}\right)$

Technical Innovations

1. Riesz Product Structure: The Fourier transform of the restricted digit set exhibits a special product structure allowing precise analytic control.
2. $b$-adic Methods: Exploits the periodicity properties of $b$-adic expansions to decompose the problem into subproblems at different scales.
3. Condition Optimization: By requiring $b - s > (k+1)b^{4/5+\epsilon}$, the main term dominates.

Main Results

Theorem 3 (Main Theorem)

Let $A \subset \mathbb{N}$ have positive upper Banach density, and $C = C(b,\mathcal{A})$ satisfy:

• (I) $1 \in \mathcal{A}$
• (II) The forbidden digit set $\{d_1,...,d_s\} = \bigsqcup_{i=1}^k I_i$ (disjoint union of intervals)
• (III) $b - s > (k+1)b^{4/5+\epsilon}$, $b$ sufficiently large

Then there exist a prime $p \in C$ and $a_1, a_2 \in A$ such that $a_1 + p - 1 = a_2$.

Theorem 4 (Dirichlet-type Theorem)

For any $m \geq 1$ and $t \in \mathbb{Z}/m\mathbb{Z}$, $\sum_{\substack{0 \leq n < b^N \\ n \equiv t \pmod{m}}} 1_C(n)\Lambda(n) = \kappa_{m,t}(b-s)^N + O_C\left(\frac{(b-s)^N}{\log^C(b^N)}\right)$

where $\kappa_{m,t}$ is an explicit constant.

Theorem 6 (Vinogradov-type Theorem)

For any irrational $\theta$, $\sum_{0 \leq n < b^N} 1_C(n)\Lambda(n)e(n\theta) = o((b-s)^N)$

Technical Details

Core Lemmas for Fourier Estimates

Lemma 12 ($L^1$ Bound): If $C_0 := k + 1 + \frac{2(b-s)}{b}\log b$, then $\sup_{x \in \mathbb{R}} \sum_{a \leq b^N} \left|\hat{C}_{b^N}\left(x + \frac{a}{b^N}\right)\right| \leq (C_0 b \log b)^N$

Lemma 20 ($L^{\infty}$ Bound): Let $1 < d < b^{N/3}$, $\ell \in \mathbb{Z}$ such that $b^i\ell/d \notin \mathbb{Z}$ for all $i \geq 1$, and $|\epsilon| < (2b^{2N/3})^{-1}$. Then $\left|\hat{C}_{b^N}\left(\frac{\ell}{d} + \epsilon\right)\right| \leq (b-s)^N \exp(-cN/\log d)$

Inversion Theorem

Proposition 24: For $\theta, x \in \mathbb{T}$ and sufficiently large $B$, $\sum_{\substack{|\eta| < \log_B(b^N) \\ b^N x + \eta \in \mathbb{Z}}} \hat{C}_{b^N}\left(\theta + x + \frac{\eta}{b^N}\right) \sum_{k=0}^{b^N-1} e\left(-\frac{k\eta}{b^N}\right) = b^N \hat{C}_{b^N}(\theta + x) + O\left(\frac{b^N(b-s)^N}{\log^A(b^N)}\right)$

Proof Strategy

Step 1: Establish Exponential Sum Estimates

Analyze the product structure of $\hat{C}_{b^N}(t)$ to establish precise upper bounds in different regions.

Step 2: Apply Circle Method

Decompose the exponential sum into major arcs (near rationals with small denominators) and minor arcs (remaining regions), handling major arcs via the inversion theorem and controlling minor arcs through Fourier estimates.

Step 3: Furstenberg Correspondence

Use the spectral theorem and mean ergodic theorem to reduce the dynamical systems problem to the asymptotic behavior of exponential sums.

Related Work

1. Sárközy (1978): Proved the intersective property of shifted primes, initiating this research direction.
2. Green (2024): Achieved breakthrough power-saving results on Sárközy's problem for shifted primes.
3. Maynard (2021): Established asymptotic formulas for primes with restricted digits, providing technical foundations for this work.
4. Furstenberg (1977): Established the correspondence between combinatorics and ergodic theory.

Conclusions and Discussion

Main Conclusions

This paper successfully generalizes Sárközy's theorem to shifted primes with restricted digits, proving that the intersective property persists even under this dual constraint.

Limitations

1. The condition $b - s > (k+1)b^{4/5+\epsilon}$ is quite restrictive, limiting the scope of applicability.
2. The exponent 4/5 stems from known bounds on exponential sums over primes and may not be optimal.
3. The results are qualitative without quantified power-saving estimates.

Future Directions

1. Quantified Estimates: Can power-saving bounds be obtained as Green achieved for shifted primes?
2. Exponent Improvement: Can the 4/5 exponent condition be relaxed?
3. More General Patterns: Extend to more complex additive combinatorial patterns.

In-Depth Evaluation

Strengths

1. Technical Innovation: Cleverly combines analytic number theory (circle method), ergodic theory (Furstenberg correspondence), and Fourier analysis.
2. Deep Results: Establishes nontrivial additive combinatorial structures on extremely sparse prime subsets.
3. General Methodology: The developed techniques have potential value for studying other number-theoretic problems with restricted digits.
4. Completeness: Not only proves the main result but also establishes corresponding distribution theorems and exponential sum estimates.

Weaknesses

1. Restrictive Conditions: Technical conditions are relatively stringent, limiting practical applicability.
2. Non-constructive: The proof is existential without providing algorithms for finding specific examples.
3. Complex Constants: The dependence relationships among various constants are intricate, making numerical estimation difficult.

Impact

This paper makes important contributions at the intersection of analytic number theory and additive combinatorics, opening new technical pathways for studying prime distribution under restricted conditions. The developed methodology has significant reference value for related problems.

Applicable Scenarios

The method applies to studying additive properties of prime subsets under various restrictions, particularly those involving digit restrictions and congruence conditions.

References

1. Sárközy, A. (1978). On difference sets of sequences of integers. III. Acta Math. Acad. Sci. Hungar.
2. Green, B. (2024). On Sárközy's theorem for shifted primes. J. Amer. Math. Soc.
3. Maynard, J. (2021). Primes and Polynomials with restricted digits. International Mathematics Research Notices.
4. Furstenberg, H. (1977). Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions. Anal. Math.

This paper demonstrates considerable technical depth and innovation, successfully extending the classical Sárközy theorem to a more refined and challenging setting, making meaningful contributions to the development of analytic number theory and additive combinatorics.