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 (조지아 공과대학교)분류 : 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 정리를 더욱 정교하고 어려운 설정으로 성공적으로 일반화하여, 해석적 수론과 가법 조합론의 발전에 의미 있는 기여를 했다.
