2025-11-15T04:22:11.347744

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

Burgin
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.
academic

সার্কোজির উপপাদ্য সীমাবদ্ধ অঙ্কের স্থানান্তরিত মৌলিক সংখ্যার জন্য

মৌলিক তথ্য

  • গবেষণাপত্র ID: 2510.13076
  • শিরোনাম: সার্কোজির উপপাদ্য সীমাবদ্ধ অঙ্কের স্থানান্তরিত মৌলিক সংখ্যার জন্য
  • লেখক: অ্যালেক্স বার্গিন (জর্জিয়া প্রযুক্তি প্রতিষ্ঠান)
  • শ্রেণীবিভাগ: math.NT (সংখ্যা তত্ত্ব)
  • প্রকাশনার সময়: ২০২৫ সালের ১৫ অক্টোবর
  • গবেষণাপত্র লিঙ্ক: https://arxiv.org/abs/2510.13076

সারসংক্ষেপ

এই গবেষণাপত্রটি সীমাবদ্ধ অঙ্কের স্থানান্তরিত মৌলিক সংখ্যার জন্য সার্কোজির উপপাদ্য অধ্যয়ন করে। b2b\geq 2 ভিত্তি এবং অঙ্ক সেট A{0,...,b1}\mathcal{A}\subset \{0,...,b-1\} এর জন্য, P\mathcal{P} দ্বারা bb ভিত্তিতে অঙ্ক A\mathcal{A} এ সীমাবদ্ধ মৌলিক সংখ্যার সেট নির্দেশ করা হয়। লেখক প্রমাণ করেছেন যে যদি ANA\subset \mathbb{N} ধনাত্মক উপরি Banach ঘনত্ব থাকে, তবে একটি মৌলিক সংখ্যা pPp\in \mathcal{P} এবং দুটি উপাদান a1,a2Aa_1,a_2\in A বিদ্যমান যাতে a2=a1+p1a_2=a_1+p-1। প্রধান প্রযুক্তিগত সরঞ্জাম হল Furstenberg সংশ্লিষ্ট নীতি এবং Maynard দ্বারা ব্যবহৃত বিচ্ছিন্ন Hardy-Littlewood বৃত্ত পদ্ধতি। পার্শ্বপণ্য হিসাবে, P\mathcal{P} এর অবশিষ্ট শ্রেণীতে বিতরণের Dirichlet-ধরনের উপপাদ্য এবং সম্পর্কিত সূচক যোগের ক্ষয়ের Vinogradov-ধরনের উপপাদ্যও প্রমাণ করা হয়েছে।

গবেষণা পটভূমি এবং প্রেরণা

সমস্যার পটভূমি

  1. সার্কোজি-ধরনের সমস্যা: পাটিগণিত সমন্বয়বিদ্যার মূল সমস্যা, যা পূর্ণসংখ্যা সেটে নিষিদ্ধ পার্থক্য প্যাটার্ন অধ্যয়ন করে। সেট SS এর জন্য, যদি AZA \subset \mathbb{Z} সমস্ত a1,a2Aa_1, a_2 \in A এর জন্য a1a2Sa_1 - a_2 \notin S সন্তুষ্ট করে, তবে AA এর কাঠামো কী?
  2. ছেদ-মুক্ত সেট: অনেক সেট SS (যেমন বর্গ সংখ্যা, স্থানান্তরিত মৌলিক সংখ্যা {p±1:pP}\{p \pm 1 : p \in P\} ইত্যাদি) ছেদ-মুক্ত, অর্থাৎ যদি AA SS এ সমস্ত পার্থক্য নিষিদ্ধ করে, তবে AA ছোট, limN#(A{N,...,N})2N+1=0\lim_{N\to\infty}\frac{\#(A \cap \{-N,...,N\})}{2N+1} = 0 সন্তুষ্ট করে।
  3. সীমাবদ্ধ অঙ্কের মৌলিক সংখ্যা: Maynard এর সীমাবদ্ধ অঙ্কের মৌলিক সংখ্যার ফলাফল দ্বারা অনুপ্রাণিত, একযোগে দুটি ধরনের সীমাবদ্ধতা সহ সেট অধ্যয়ন করা হয়: স্থানান্তরিত মৌলিক সংখ্যা এবং সীমাবদ্ধ অঙ্ক উভয়ই।

গবেষণার প্রেরণা

এই গবেষণাপত্রটি প্রমাণ করার লক্ষ্য রাখে যে সীমাবদ্ধ অঙ্কের স্থানান্তরিত মৌলিক সংখ্যা সেট PC1P_C - 1 (যেখানে CC সীমাবদ্ধ অঙ্কের সেট) এখনও ছেদ-মুক্ত বৈশিষ্ট্য বজায় রাখে, যা সার্কোজির ধ্রুপদী ফলাফলকে আরও বিরল মৌলিক সংখ্যার উপসেটে সাধারণীকরণ করে।

মূল অবদান

  1. প্রধান উপপাদ্য: ধনাত্মক উপরি Banach ঘনত্ব সহ সেট AA এর জন্য, একটি সীমাবদ্ধ অঙ্কের মৌলিক সংখ্যা pp এবং a1,a2Aa_1, a_2 \in A বিদ্যমান যাতে a2=a1+p1a_2 = a_1 + p - 1 প্রমাণ করা হয়েছে।
  2. Dirichlet-ধরনের উপপাদ্য: অবশিষ্ট শ্রেণীতে সীমাবদ্ধ অঙ্কের মৌলিক সংখ্যার বিতরণের জন্য অ্যাসিম্পটোটিক সূত্র প্রতিষ্ঠা করা হয়েছে, Maynard এর ফলাফল সাধারণীকরণ করে।
  3. Vinogradov-ধরনের উপপাদ্য: সীমাবদ্ধ অঙ্কের মৌলিক সংখ্যার উপর সূচক যোগের ক্ষয় বৈশিষ্ট্য প্রমাণ করা হয়েছে।
  4. van der Corput সেট: PC1P_C - 1 একটি van der Corput সেট প্রমাণ করা হয়েছে, যা ছেদ-মুক্ততার চেয়ে শক্তিশালী।

পদ্ধতির বিস্তারিত বিবরণ

কাজের সংজ্ঞা

b2b \geq 2 ভিত্তি হতে দিন, A:={0,...,b1}{d1,...,ds}A := \{0,...,b-1\} \setminus \{d_1,...,d_s\} অনুমোদিত অঙ্কের সেট হতে দিন। সীমাবদ্ধ অঙ্কের সেট সংজ্ঞায়িত করুন: C:={i=0Nnibi:niA,NN0}C := \left\{\sum_{i=0}^N n_i b^i : n_i \in A, N \in \mathbb{N}_0\right\}

লক্ষ্য হল প্রমাণ করা যে যদি ANA \subset \mathbb{N} ধনাত্মক উপরি Banach ঘনত্ব থাকে, তবে একটি মৌলিক সংখ্যা pPCp \in P_C (CC এ মৌলিক সংখ্যা) এবং a1,a2Aa_1, a_2 \in A বিদ্যমান যাতে a1+p1=a2a_1 + p - 1 = a_2

মূল প্রযুক্তিগত কাঠামো

1. Furstenberg সংশ্লিষ্ট নীতি

গতিশীল সিস্টেম তত্ত্বের মাধ্যমে, সমন্বয়বিদ্যা সমস্যাকে ergodic তত্ত্ব সমস্যায় রূপান্তরিত করুন। মূল বিষয় হল প্রমাণ করা:

প্রস্তাব 7: যেকোনো পরিমাপ-সংরক্ষণ সিস্টেম (X,B,μ,T)(X,\mathcal{B},\mu,T) এবং fL(X,B,μ)f \in L^{\infty}(X,\mathcal{B},\mu) এর জন্য যা f0,f≢0f \geq 0, f \not\equiv 0 সন্তুষ্ট করে, সেট {n>0:fTnfdμ>0}\{n > 0 : \int f \cdot T^n f d\mu > 0\} PC1P_C - 1 এ উপাদান অন্তর্ভুক্ত করে।

2. সূচক যোগ অনুমান

সীমাবদ্ধ অঙ্কের সেটের Fourier রূপান্তর C^bN(t)\hat{C}_{b^N}(t) এর নির্ভুল অনুমান প্রতিষ্ঠা করুন:

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

মূল অনুমান অন্তর্ভুক্ত করে:

  • L1L^1 সীমানা: supxRabNC^bN(x+a/bN)(C0blogb)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
  • বৃহৎ চালনী অনুমান এবং মিশ্র অনুমান বিভিন্ন স্কেলের যোগ নিয়ন্ত্রণের জন্য
  • LL^{\infty} সীমানা: খারাপ যুক্তিসঙ্গত অনুমানের জন্য, সূচক ক্ষয় প্রদান করুন

3. বৃত্ত পদ্ধতি বিয়োজন

বিচ্ছিন্ন Hardy-Littlewood বৃত্ত পদ্ধতি ব্যবহার করুন:

প্রস্তাব 28: α<1/5\alpha < 1/5 এর জন্য, n<bN1C(n)Λ(n)e(nθ)=d<logA(bN)μ(d)ϕ(d)(Z/dZ)C^bN(θ+d)+OA((bs)NlogA(bN))\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)

প্রযুক্তিগত উদ্ভাবনী বিন্দু

  1. Riesz পণ্য কাঠামো: সীমাবদ্ধ অঙ্কের সেটের Fourier রূপান্তর একটি বিশেষ পণ্য কাঠামো রয়েছে, যা নির্ভুল বিশ্লেষণাত্মক নিয়ন্ত্রণ অনুমতি দেয়।
  2. bb-adic পদ্ধতি: bb-adic সম্প্রসারণের পর্যায়ক্রমিক বৈশিষ্ট্য ব্যবহার করে, সমস্যাটিকে বিভিন্ন স্কেলের উপ-সমস্যায় বিয়োজন করুন।
  3. শর্ত অপ্টিমাইজেশন: bs>(k+1)b4/5+ϵb - s > (k+1)b^{4/5+\epsilon} প্রয়োজন করে, প্রধান পদ আধিপত্য নিশ্চিত করুন।

প্রধান ফলাফল

উপপাদ্য 3 (প্রধান উপপাদ্য)

ANA \subset \mathbb{N} ধনাত্মক উপরি Banach ঘনত্ব থাকতে দিন, C=C(b,A)C = C(b,\mathcal{A}) সন্তুষ্ট করুক:

  • (I) 1A1 \in \mathcal{A}
  • (II) নিষিদ্ধ অঙ্ক সেট {d1,...,ds}=i=1kIi\{d_1,...,d_s\} = \bigsqcup_{i=1}^k I_i (ব্যবধানের বিচ্ছিন্ন সংযোজন)
  • (III) bs>(k+1)b4/5+ϵb - s > (k+1)b^{4/5+\epsilon}, bb যথেষ্ট বড়

তবে একটি মৌলিক সংখ্যা pCp \in C এবং a1,a2Aa_1, a_2 \in A বিদ্যমান যাতে a1+p1=a2a_1 + p - 1 = a_2

উপপাদ্য 4 (Dirichlet-ধরনের উপপাদ্য)

যেকোনো m1m \geq 1 এবং tZ/mZt \in \mathbb{Z}/m\mathbb{Z} এর জন্য, 0n<bNnt(modm)1C(n)Λ(n)=κm,t(bs)N+OC((bs)NlogC(bN))\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)

যেখানে κm,t\kappa_{m,t} একটি স্পষ্ট ধ্রুবক।

উপপাদ্য 6 (Vinogradov-ধরনের উপপাদ্য)

যেকোনো অযুক্তিসঙ্গত সংখ্যা θ\theta এর জন্য, 0n<bN1C(n)Λ(n)e(nθ)=o((bs)N)\sum_{0 \leq n < b^N} 1_C(n)\Lambda(n)e(n\theta) = o((b-s)^N)

প্রযুক্তিগত বিবরণ

Fourier অনুমানের মূল লেম্মা

লেম্মা 12 (L1L^1 সীমানা): যদি C0:=k+1+2(bs)blogbC_0 := k + 1 + \frac{2(b-s)}{b}\log b, তবে supxRabNC^bN(x+abN)(C0blogb)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

লেম্মা 20 (LL^{\infty} সীমানা): 1<d<bN/31 < d < b^{N/3} হতে দিন, Z\ell \in \mathbb{Z} যাতে সমস্ত i1i \geq 1 এর জন্য bi/dZb^i\ell/d \notin \mathbb{Z}, এবং ϵ<(2b2N/3)1|\epsilon| < (2b^{2N/3})^{-1}, তবে C^bN(d+ϵ)(bs)Nexp(cN/logd)\left|\hat{C}_{b^N}\left(\frac{\ell}{d} + \epsilon\right)\right| \leq (b-s)^N \exp(-cN/\log d)

বিপরীত উপপাদ্য

প্রস্তাব 24: θ,xT\theta, x \in \mathbb{T} এবং যথেষ্ট বড় BB এর জন্য, η<logB(bN)bNx+ηZC^bN(θ+x+ηbN)k=0bN1e(kηbN)=bNC^bN(θ+x)+O(bN(bs)NlogA(bN))\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)

প্রমাণ কৌশল

প্রথম পদক্ষেপ: সূচক যোগ অনুমান প্রতিষ্ঠা করুন

C^bN(t)\hat{C}_{b^N}(t) এর পণ্য কাঠামো বিশ্লেষণ করে, বিভিন্ন অঞ্চলে নির্ভুল উপরি সীমানা প্রতিষ্ঠা করুন।

দ্বিতীয় পদক্ষেপ: বৃত্ত পদ্ধতি প্রয়োগ করুন

সূচক যোগকে প্রধান চাপ (ছোট হর যুক্তিসঙ্গত সংখ্যার কাছাকাছি) এবং গৌণ চাপে (অন্যান্য অঞ্চল) বিয়োজন করুন, প্রধান চাপ বিপরীত উপপাদ্য দ্বারা পরিচালনা করুন, গৌণ চাপ Fourier অনুমান দ্বারা নিয়ন্ত্রণ করুন।

তৃতীয় পদক্ষেপ: Furstenberg সংশ্লিষ্টতা

বর্ণালী উপপাদ্য এবং গড় ergodic উপপাদ্যের মাধ্যমে, গতিশীল সিস্টেম সমস্যাটিকে সূচক যোগের অ্যাসিম্পটোটিক আচরণে হ্রাস করুন।

সম্পর্কিত কাজ

  1. সার্কোজি (1978): স্থানান্তরিত মৌলিক সংখ্যার ছেদ-মুক্ততা প্রমাণ করেছেন, এই গবেষণা দিকটি উদ্বোধন করেছেন।
  2. গ্রীন (2024): স্থানান্তরিত মৌলিক সংখ্যার সার্কোজি সমস্যায় শক্তি সঞ্চয়ের অগ্রগতি অর্জন করেছেন।
  3. Maynard (2021): সীমাবদ্ধ অঙ্কের মৌলিক সংখ্যার অ্যাসিম্পটোটিক সূত্র প্রতিষ্ঠা করেছেন, এই গবেষণাপত্রের জন্য প্রযুক্তিগত ভিত্তি প্রদান করেছেন।
  4. Furstenberg (1977): সমন্বয়বিদ্যা এবং ergodic তত্ত্বের মধ্যে সংশ্লিষ্টতা প্রতিষ্ঠা করেছেন।

উপসংহার এবং আলোচনা

প্রধান উপসংহার

এই গবেষণাপত্রটি সার্কোজি উপপাদ্যকে সীমাবদ্ধ অঙ্কের স্থানান্তরিত মৌলিক সংখ্যায় সফলভাবে সাধারণীকরণ করেছে, প্রমাণ করেছে যে এই দ্বিগুণ সীমাবদ্ধতার অধীনেও, ছেদ-মুক্ত বৈশিষ্ট্য বজায় থাকে।

সীমাবদ্ধতা

  1. শর্ত bs>(k+1)b4/5+ϵb - s > (k+1)b^{4/5+\epsilon} অত্যন্ত কঠোর, প্রয়োগের পরিসীমা সীমিত করে।
  2. 4/5 সূচক মৌলিক সংখ্যার উপর সূচক যোগের পরিচিত সীমানা থেকে আসে, সম্ভবত সর্বোত্তম নয়।
  3. ফলাফল গুণগত, পরিমাণগত শক্তি সঞ্চয় অনুমান প্রদান করে না।

ভবিষ্যত দিকনির্দেশনা

  1. পরিমাণগত অনুমান: স্থানান্তরিত মৌলিক সংখ্যার জন্য গ্রীনের মতো, শক্তি সঞ্চয়ের পরিমাণগত সীমানা পাওয়া যায় কি?
  2. সূচক উন্নতি: 4/5 সূচক শর্ত শিথিল করা যায় কি?
  3. আরও সাধারণ প্যাটার্ন: আরও জটিল যোজক সমন্বয় প্যাটার্নে সাধারণীকরণ করুন।

গভীর মূল্যায়ন

সুবিধা

  1. প্রযুক্তিগত উদ্ভাবন: বিশ্লেষণাত্মক সংখ্যা তত্ত্ব (বৃত্ত পদ্ধতি), ergodic তত্ত্ব (Furstenberg সংশ্লিষ্টতা) এবং Fourier বিশ্লেষণ চতুরভাবে একত্রিত করেছে।
  2. গভীর ফলাফল: অত্যন্ত বিরল মৌলিক সংখ্যার উপসেটে অ-তুচ্ছ যোজক সমন্বয় কাঠামো প্রতিষ্ঠা করেছে।
  3. পদ্ধতি সার্বজনীন: উন্নত প্রযুক্তি অন্যান্য সীমাবদ্ধ অঙ্কের সংখ্যা তাত্ত্বিক সমস্যা অধ্যয়নে সম্ভাব্য মূল্য রয়েছে।
  4. সম্পূর্ণতা: শুধুমাত্র প্রধান ফলাফল প্রমাণ করেনি, সংশ্লিষ্ট বিতরণ উপপাদ্য এবং সূচক যোগ অনুমানও প্রতিষ্ঠা করেছে।

অপূর্ণতা

  1. শর্ত সীমাবদ্ধতা: প্রযুক্তিগত শর্ত অপেক্ষাকৃত কঠোর, প্রকৃত প্রয়োগের পরিসীমা সীমিত।
  2. অ-গঠনমূলক: প্রমাণ অস্তিত্বমূলক, নির্দিষ্ট উদাহরণ খুঁজে পাওয়ার জন্য অ্যালগরিদম প্রদান করে না।
  3. ধ্রুবক নির্ভরতা: বিভিন্ন ধ্রুবকের নির্ভরতা সম্পর্ক জটিল, সংখ্যাগত অনুমান কঠিন।

প্রভাব

এই গবেষণাপত্রটি বিশ্লেষণাত্মক সংখ্যা তত্ত্ব এবং যোজক সমন্বয়বিদ্যার ছেদ ক্ষেত্রে গুরুত্বপূর্ণ অবদান রেখেছে, সীমাবদ্ধ শর্তের অধীনে মৌলিক সংখ্যা বিতরণ সমস্যা অধ্যয়নের জন্য নতুন প্রযুক্তিগত পথ উন্মোচন করেছে। উন্নত পদ্ধতিবিদ্যা সম্পর্কিত সমস্যার জন্য গুরুত্বপূর্ণ রেফারেন্স মূল্য রয়েছে।

প্রযোজ্য পরিস্থিতি

এই পদ্ধতি বিভিন্ন সীমাবদ্ধ শর্তের অধীনে মৌলিক সংখ্যা উপসেটের যোজক বৈশিষ্ট্য অধ্যয়নের জন্য প্রযোজ্য, বিশেষত অঙ্ক সীমাবদ্ধতা, সর্বসম শর্ত ইত্যাদি সীমাবদ্ধতা জড়িত ক্ষেত্রে।

তথ্যসূত্র

  1. Sárközy, A. (1978). পূর্ণসংখ্যা ক্রমের পার্থক্য সেটে। III. Acta Math. Acad. Sci. Hungar.
  2. Green, B. (2024). স্থানান্তরিত মৌলিক সংখ্যার জন্য সার্কোজির উপপাদ্যে। J. Amer. Math. Soc.
  3. Maynard, J. (2021). সীমাবদ্ধ অঙ্কের মৌলিক সংখ্যা এবং বহুপদ। International Mathematics Research Notices.
  4. Furstenberg, H. (1977). কর্ণ পরিমাপের ergodic আচরণ এবং Szemerédi এর পাটিগণিত অগ্রগতিতে একটি উপপাদ্য। Anal. Math.

এই গবেষণাপত্রটি প্রযুক্তিগতভাবে উল্লেখযোগ্য গভীরতা এবং উদ্ভাবনী বৈশিষ্ট্য রয়েছে, ধ্রুপদী সার্কোজি উপপাদ্যকে আরও সূক্ষ্ম এবং কঠিন সেটিংয়ে সফলভাবে সাধারণীকরণ করেছে, বিশ্লেষণাত্মক সংখ্যা তত্ত্ব এবং যোজক সমন্বয়বিদ্যার উন্নয়নে অর্থপূর্ণ অবদান রেখেছে।