For a base $b\geq 2$ and a set of digits $\mathcal{A}\subset \{0,...,b-1\}$, let $\mathcal{P}$ denote the set of prime numbers with digits restricted to $\mathcal{A}$, when written in base-$b$. We prove that if $A\subset \mathbb{N}$ has positive upper Banach density, then there exists a prime $p\in \mathcal{P}$ and two elements $a_1,a_2\in A$ such that $a_2=a_1+p-1$. The key ingredients are the Furstenberg correspondence principle and a discretized Hardy-Littlewood circle method used by Maynard. As a byproduct of our work, we prove a Dirichlet-type theorem for the distribution of $\mathcal{P}$ in residue classes, and a Vinogradov-type theorem for the decay of associated exponential sums. These estimates arise from the unique structure of associated Fourier transforms, which take the form of Riesz products.
论文ID : 2510.13076标题 : Sárközy's theorem for shifted primes with restricted digits作者 : Alex Burgin (Georgia Institute of Technology)分类 : math.NT (数论)发表时间 : 2025年10月15日论文链接 : https://arxiv.org/abs/2510.13076 本文研究限制数字的移位素数的Sárközy定理。对于进制 b ≥ 2 b\geq 2 b ≥ 2 A ⊂ { 0 , . . . , b − 1 } \mathcal{A}\subset \{0,...,b-1\} A ⊂ { 0 , ... , b − 1 } P \mathcal{P} P b b b A \mathcal{A} A A ⊂ N A\subset \mathbb{N} A ⊂ N p ∈ P p\in \mathcal{P} p ∈ P a 1 , a 2 ∈ A a_1,a_2\in A a 1 , a 2 ∈ A a 2 = a 1 + p − 1 a_2=a_1+p-1 a 2 = a 1 + p − 1 P \mathcal{P} P
Sárközy型问题 ：算术组合学的核心问题，研究整数集合中的禁止差值模式。对于集合 S S S A ⊂ Z A \subset \mathbb{Z} A ⊂ Z a 1 , a 2 ∈ A a_1, a_2 \in A a 1 , a 2 ∈ A a 1 − a 2 ∉ S a_1 - a_2 \notin S a 1 − a 2 ∈ / S A A A 交集性集合 ：许多集合 S S S { p ± 1 : p ∈ P } \{p \pm 1 : p \in P\} { p ± 1 : p ∈ P } A A A S S S A A A lim N → ∞ # ( A ∩ { − N , . . . , N } ) 2 N + 1 = 0 \lim_{N\to\infty}\frac{\#(A \cap \{-N,...,N\})}{2N+1} = 0 lim N → ∞ 2 N + 1 # ( A ∩ { − N , ... , N }) = 0 限制数字的素数 ：受Maynard关于限制数字素数结果的启发，研究同时具有两种约束的集合：既是移位素数又是限制数字的数。本文旨在证明限制数字的移位素数集合 P C − 1 P_C - 1 P C − 1 C C C
主要定理 ：证明了对于具有正上Banach密度的集合 A A A p p p a 1 , a 2 ∈ A a_1, a_2 \in A a 1 , a 2 ∈ A a 2 = a 1 + p − 1 a_2 = a_1 + p - 1 a 2 = a 1 + p − 1 Dirichlet型定理 ：建立了限制数字素数在剩余类中分布的渐近公式，推广了Maynard的结果。Vinogradov型定理 ：证明了限制数字素数上指数和的衰减性质。van der Corput集合 ：证明了 P C − 1 P_C - 1 P C − 1 设 b ≥ 2 b \geq 2 b ≥ 2 A : = { 0 , . . . , b − 1 } ∖ { d 1 , . . . , d s } A := \{0,...,b-1\} \setminus \{d_1,...,d_s\} A := { 0 , ... , b − 1 } ∖ { d 1 , ... , d s } C : = { ∑ i = 0 N n i b i : n i ∈ A , N ∈ N 0 } C := \left\{\sum_{i=0}^N n_i b^i : n_i \in A, N \in \mathbb{N}_0\right\} C := { ∑ i = 0 N n i b i : n i ∈ A , N ∈ N 0 }
目标是证明如果 A ⊂ N A \subset \mathbb{N} A ⊂ N p ∈ P C p \in P_C p ∈ P C C C C a 1 , a 2 ∈ A a_1, a_2 \in A a 1 , a 2 ∈ A a 1 + p − 1 = a 2 a_1 + p - 1 = a_2 a 1 + p − 1 = a 2
通过动力系统理论，将组合问题转化为遍历理论问题。关键是证明：
命题7 ：对任意测度保持系统 ( X , B , μ , T ) (X,\mathcal{B},\mu,T) ( X , B , μ , T ) f ∈ L ∞ ( X , B , μ ) f \in L^{\infty}(X,\mathcal{B},\mu) f ∈ L ∞ ( X , B , μ ) f ≥ 0 , f ≢ 0 f \geq 0, f \not\equiv 0 f ≥ 0 , f ≡ 0 { n > 0 : ∫ f ⋅ T n f d μ > 0 } \{n > 0 : \int f \cdot T^n f d\mu > 0\} { n > 0 : ∫ f ⋅ T n fd μ > 0 } P C − 1 P_C - 1 P C − 1
建立限制数字集合的Fourier变换 C ^ b N ( t ) \hat{C}_{b^N}(t) C ^ b N ( t )
C ^ b N ( x ) = ∏ i = 0 N − 1 ( ∑ c ∈ A e ( b i c x ) ) \hat{C}_{b^N}(x) = \prod_{i=0}^{N-1}\left(\sum_{c \in A} e(b^i c x)\right) C ^ b N ( x ) = ∏ i = 0 N − 1 ( ∑ c ∈ A e ( b i c x ) )
关键估计包括：
L 1 L^1 L 1 sup x ∈ R ∑ a ≤ b N ∣ C ^ b N ( x + a / b N ) ∣ ≤ ( C 0 b log b ) N \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 sup x ∈ R ∑ a ≤ b N ∣ C ^ b N ( x + a / b N ) ∣ ≤ ( C 0 b log b ) N 大筛估计 和混合估计 用于控制不同尺度的和L ∞ L^{\infty} L ∞ 使用离散化的Hardy-Littlewood圆方法：
命题28 ：对 α < 1 / 5 \alpha < 1/5 α < 1/5 ∑ n < b N 1 C ( n ) Λ ( n ) e ( n θ ) = ∑ d < log A ′ ( b N ) μ ( d ) ϕ ( d ) ∑ ℓ ∈ ( Z / d Z ) ∗ C ^ b N ( θ + ℓ d ) + O A ( ( b − s ) N log A ( b N ) ) \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) ∑ n < b N 1 C ( n ) Λ ( n ) e ( n θ ) = ∑ d < l o g A ′ ( b N ) ϕ ( d ) μ ( d ) ∑ ℓ ∈ ( Z / d Z ) ∗ C ^ b N ( θ + d ℓ ) + O A ( l o g A ( b N ) ( b − s ) N )
Riesz乘积结构 ：限制数字集合的Fourier变换具有特殊的乘积结构，允许精确的解析控制。b b b b b b 条件优化 ：通过要求 b − s > ( k + 1 ) b 4 / 5 + ϵ b - s > (k+1)b^{4/5+\epsilon} b − s > ( k + 1 ) b 4/5 + ϵ 设 A ⊂ N A \subset \mathbb{N} A ⊂ N C = C ( b , A ) C = C(b,\mathcal{A}) C = C ( b , A )
(I) 1 ∈ A 1 \in \mathcal{A} 1 ∈ A (II) 禁止数字集合 { d 1 , . . . , d s } = ⨆ i = 1 k I i \{d_1,...,d_s\} = \bigsqcup_{i=1}^k I_i { d 1 , ... , d s } = ⨆ i = 1 k I i (III) b − s > ( k + 1 ) b 4 / 5 + ϵ b - s > (k+1)b^{4/5+\epsilon} b − s > ( k + 1 ) b 4/5 + ϵ b b b 则存在素数 p ∈ C p \in C p ∈ C a 1 , a 2 ∈ A a_1, a_2 \in A a 1 , a 2 ∈ A a 1 + p − 1 = a 2 a_1 + p - 1 = a_2 a 1 + p − 1 = a 2
对任意 m ≥ 1 m \geq 1 m ≥ 1 t ∈ Z / m Z t \in \mathbb{Z}/m\mathbb{Z} t ∈ Z / m Z ∑ 0 ≤ n < b N n ≡ t ( m o d m ) 1 C ( n ) Λ ( n ) = κ m , t ( b − s ) N + O C ( ( b − s ) N log C ( b N ) ) \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) ∑ 0 ≤ n < b N n ≡ t ( mod m ) 1 C ( n ) Λ ( n ) = κ m , t ( b − s ) N + O C ( l o g C ( b N ) ( b − s ) N )
其中 κ m , t \kappa_{m,t} κ m , t
对任意无理数 θ \theta θ ∑ 0 ≤ n < b N 1 C ( n ) Λ ( n ) e ( n θ ) = o ( ( b − s ) N ) \sum_{0 \leq n < b^N} 1_C(n)\Lambda(n)e(n\theta) = o((b-s)^N) ∑ 0 ≤ n < b N 1 C ( n ) Λ ( n ) e ( n θ ) = o (( b − s ) N )
引理12 （L 1 L^1 L 1 C 0 : = k + 1 + 2 ( b − s ) b log b C_0 := k + 1 + \frac{2(b-s)}{b}\log b C 0 := k + 1 + b 2 ( b − s ) log b sup x ∈ R ∑ a ≤ b N ∣ C ^ b N ( x + a b N ) ∣ ≤ ( C 0 b log b ) N \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 sup x ∈ R ∑ a ≤ b N C ^ b N ( x + b N a ) ≤ ( C 0 b log b ) N
引理20 （L ∞ L^{\infty} L ∞ 1 < d < b N / 3 1 < d < b^{N/3} 1 < d < b N /3 ℓ ∈ Z \ell \in \mathbb{Z} ℓ ∈ Z i ≥ 1 i \geq 1 i ≥ 1 b i ℓ / d ∉ Z b^i\ell/d \notin \mathbb{Z} b i ℓ / d ∈ / Z ∣ ϵ ∣ < ( 2 b 2 N / 3 ) − 1 |\epsilon| < (2b^{2N/3})^{-1} ∣ ϵ ∣ < ( 2 b 2 N /3 ) − 1 ∣ C ^ b N ( ℓ d + ϵ ) ∣ ≤ ( b − s ) N exp ( − c N / log d ) \left|\hat{C}_{b^N}\left(\frac{\ell}{d} + \epsilon\right)\right| \leq (b-s)^N \exp(-cN/\log d) C ^ b N ( d ℓ + ϵ ) ≤ ( b − s ) N exp ( − c N / log d )
命题24 ：对 θ , x ∈ T \theta, x \in \mathbb{T} θ , x ∈ T B B B ∑ ∣ η ∣ < log B ( b N ) b N x + η ∈ Z C ^ b N ( θ + x + η b N ) ∑ k = 0 b N − 1 e ( − k η b N ) = b N C ^ b N ( θ + x ) + O ( b N ( b − s ) N log A ( b N ) ) \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) ∑ ∣ η ∣ < l o g B ( b N ) b N x + η ∈ Z C ^ b N ( θ + x + b N η ) ∑ k = 0 b N − 1 e ( − b N k η ) = b N C ^ b N ( θ + x ) + O ( l o g A ( b N ) b N ( b − s ) N )
通过分析 C ^ b N ( t ) \hat{C}_{b^N}(t) C ^ b N ( t )
将指数和分解为主弧（小分母有理数附近）和次弧（其他区域），主弧用反演定理处理，次弧用Fourier估计控制。
通过光谱定理和平均遍历定理，将动力系统问题归结为指数和的渐近行为。
Sárközy (1978) ：证明了移位素数的交集性，开创了这一研究方向。Green (2024) ：在移位素数的Sárközy问题上取得了幂次节省的突破。Maynard (2021) ：建立了限制数字素数的渐近公式，为本文提供了技术基础。Furstenberg (1977) ：建立了组合学与遍历理论的对应关系。本文成功地将Sárközy定理推广到限制数字的移位素数，证明了即使在这种双重约束下，交集性质仍然保持。
条件 b − s > ( k + 1 ) b 4 / 5 + ϵ b - s > (k+1)b^{4/5+\epsilon} b − s > ( k + 1 ) b 4/5 + ϵ 4/5这个指数来自于素数上指数和的已知界限，可能不是最优的。 结果是定性的，没有给出量化的幂次节省估计。 量化估计 ：是否能像Green对移位素数那样，获得幂次节省的量化界限？指数改进 ：能否将4/5的指数条件放松？更一般的模式 ：推广到更复杂的加性组合模式。技术创新 ：巧妙结合了解析数论（圆方法）、遍历理论（Furstenberg对应）和Fourier分析。结果深刻 ：在非常稀疏的素数子集上建立了非平凡的加性组合结构。方法通用 ：所发展的技术对研究其他限制数字的数论问题具有潜在价值。完整性 ：不仅证明了主要结果，还建立了相应的分布定理和指数和估计。条件限制 ：技术条件相对严格，实际应用范围有限。非构造性 ：证明是存在性的，没有提供寻找具体例子的算法。常数依赖 ：各种常数的依赖关系比较复杂，数值估计困难。本文在解析数论和加性组合学的交叉领域做出了重要贡献，为研究限制条件下的素数分布问题开辟了新的技术路径。所发展的方法论对相关问题具有重要的参考价值。
该方法适用于研究各种限制条件下的素数子集的加性性质，特别是涉及数字限制、同余条件等约束的情况。
Sárközy, A. (1978). On difference sets of sequences of integers. III. Acta Math. Acad. Sci. Hungar. Green, B. (2024). On Sárközy's theorem for shifted primes. J. Amer. Math. Soc. Maynard, J. (2021). Primes and Polynomials with restricted digits. International Mathematics Research Notices. Furstenberg, H. (1977). Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions. Anal. Math. 本文在技术上具有相当的深度和创新性，成功地将经典的Sárközy定理推广到了更加精细和困难的设定中，为解析数论和加性组合学的发展做出了有意义的贡献。
