2025-11-24T21:55:17.095288

The number of primes in short intervals and numerical calculations for Harman's sieve

Li
The author gives nontrivial upper and lower bounds for the number of primes in the interval $[x - x^θ, x]$ for some $0.52 \leqslant θ\leqslant 0.525$, showing that the interval $[x - x^{0.52}, x]$ contains prime numbers for all sufficiently large $x$. This refines a result of Baker, Harman and Pintz (2001) and gives an affirmative answer to Harman and Pintz's argument. New arithmetic information, a delicate sieve decomposition, various techniques in Harman's sieve and accurate estimates for integrals are used to good effect.
academic

স্বল্প ব্যবধানে মৌলিক সংখ্যা এবং হারম্যানের চালনীর জন্য সংখ্যাগত গণনা

মৌলিক তথ্য

  • পেপার আইডি: 2308.04458
  • শিরোনাম: স্বল্প ব্যবধানে মৌলিক সংখ্যা এবং হারম্যানের চালনীর জন্য সংখ্যাগত গণনা
  • লেখক: রানবো লি
  • শ্রেণীবিভাগ: math.NT (সংখ্যা তত্ত্ব)
  • প্রকাশনার সময়: ২০২৩ সালের আগস্ট (সর্বশেষ সংস্করণ ২০২৫ সালের অক্টোবর)
  • পেপার লিঙ্ক: https://arxiv.org/abs/2308.04458

সারসংক্ষেপ

লেখক [x−xθ,x][x - x^θ, x] ব্যবধানে মৌলিক সংখ্যার পরিমাণের অ-তুচ্ছ উর্ধ্বসীমা এবং নিম্নসীমা প্রদান করেছেন, যেখানে 0.52⩽θ⩽0.5250.52 \leqslant θ \leqslant 0.525, এবং প্রমাণ করেছেন যে সমস্ত যথেষ্ট বড় xx এর জন্য, ব্যবধান [x−x0.52,x][x - x^{0.52}, x] মৌলিক সংখ্যা অন্তর্ভুক্ত করে। এটি বেকার, হারম্যান এবং পিন্টজ (২০০১) এর ফলাফল উন্নত করেছে এবং হারম্যান এবং পিন্টজ যুক্তির একটি ইতিবাচক উত্তর প্রদান করেছে। নিবন্ধে নতুন পাটিগণিত তথ্য, সূক্ষ্ম চালনী বিয়োজন, হারম্যান চালনীতে বিভিন্ন কৌশল এবং সমাকলনের নির্ভুল অনুমান কার্যকরভাবে ব্যবহার করা হয়েছে।

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

মূল সমস্যা

এই গবেষণা যে সমস্যাটি সমাধান করতে চায় তা হল ক্লাসিক্যাল স্বল্প ব্যবধানে মৌলিক বিতরণ সমস্যা: [x−xθ,x][x - x^θ, x] আকারের স্বল্প ব্যবধানে মৌলিক সংখ্যার পরিমাণের অ্যাসিম্পটোটিক আচরণ নির্ধারণ করা, বিশেষত এমন ন্যূনতম সূচক θθ খুঁজে বের করা যা এই ধরনের ব্যবধান অবশ্যই মৌলিক সংখ্যা অন্তর্ভুক্ত করে।

সমস্যার গুরুত্ব

১. তাত্ত্বিক তাৎপর্য: স্বল্প ব্যবধানে মৌলিক বিতরণ বিশ্লেষণাত্মক সংখ্যা তত্ত্বের মূল সমস্যাগুলির একটি, যা মৌলিক সংখ্যা উপপাদ্যের পরিমার্জনের সাথে সরাসরি সম্পর্কিত २. ঐতিহাসিক অবস্থান: ক্রামার ১৯৩৭ সালের অনুমান থেকে শুরু করে, এই সমস্যা অনেক গণিতবিদের মনোযোগ আকর্ষণ করেছে ३. প্রযুক্তিগত চ্যালেঞ্জ: চালনী, সূচক যোগফল অনুমান, এল-ফাংশন শূন্য বিতরণ ইত্যাদি গভীর তত্ত্ব একত্রিত করার প্রয়োজন

ঐতিহাসিক উন্নয়ন

  • ১৯৩০ হোহেইসেল: প্রথম প্রমাণ করেছেন যে এমন θ<1θ < 1 বিদ্যমান যার জন্য অ্যাসিম্পটোটিক সূত্র প্রযোজ্য (θ≥1−1/33000θ ≥ 1 - 1/33000)
  • ১৯৭२ হাক্সলি: শূন্য ঘনত্ব অনুমান ব্যবহার করে θθ কে 7/127/12 এ নামিয়ে এনেছেন
  • २०२४ গুথ-মেনার্ড: সর্বশেষ শূন্য ঘনত্ব ফলাফল θθ কে 17/3017/30 এ নামিয়ে এনেছে
  • চালনী উন্নয়ন: ১৯७९ সালে ইওয়ানিয়েক-জুটিলা চালনী প্রবর্তন করেছেন, পরবর্তীতে বিএইচপি (२००१) θ=0.525θ = 0.525 এ পৌঁছেছেন

বিদ্যমান সীমাবদ্ধতা

বেকার-হারম্যান-পিন্টজ (বিএইচপি) এর যুগান্তকারী কাজ যদিও θ=0.525θ = 0.525 এ পৌঁছেছে, তবে নিম্নলিখিত সমস্যা রয়েছে: १. গণনার বিস্তারিত প্রায় সম্পূর্ণভাবে বাদ দেওয়া হয়েছে, যা যাচাই এবং উন্নতি করা কঠিন করে তোলে २. কুমচেভ নির্দেশ করেছেন যে θ=0.52θ = 0.52 তখনকার প্রযুক্তির পরিধির বাইরে ३. সিস্টেমেটিক সংখ্যাগত গণনা কাঠামোর অভাব

মূল অবদান

१. ०.५२ বাধা অতিক্রম করা: প্রথমবারের মতো কঠোরভাবে প্রমাণ করেছেন যে θ=0.52θ = 0.52 সম্ভব, কুমচেভ দ্বারা উত্থাপিত প্রযুক্তিগত চ্যালেঞ্জ সমাধান করেছেন २. সম্পূর্ণ গণনা বিস্তারিত প্রদান: বিএইচপি কাজে বাদ দেওয়া বিশাল গণনা পূরণ করেছেন, ফলাফল যাচাইযোগ্য এবং পুনরুৎপাদনযোগ্য করেছেন ३. নতুন পাটিগণিত তথ্য উন্নয়ন: লেমাস ४.४-४.५ ইত্যাদি নতুন পাটিগণিত লেমা প্রমাণ করেছেন, চালনীর প্রযোজ্যতা সীমা প্রসারিত করেছেন ४. চালনী বিয়োজন অপ্টিমাইজ করা: ভূমিকা বিনিময়, বিপরীত বুকস্ট্যাব পরিচয় ইত্যাদি কৌশলের মাধ্যমে ক্ষতি অনুমান উল্লেখযোগ্যভাবে উন্নত করেছেন ५. সংখ্যাগত গণনা কাঠামো প্রতিষ্ঠা: সি++ এবং ম্যাথেমেটিকা ব্যবহার করে ক্রস-যাচাইকরণ, গণনার নির্ভুলতা নিশ্চিত করেছেন

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

কাজের সংজ্ঞা

ইনপুট: ধনাত্মক পূর্ণসংখ্যা xx এবং প্যারামিটার θ∈[0.52,0.525]θ \in [0.52, 0.525]আউটপুট: ব্যবধান [x−xθ,x][x - x^θ, x] এ মৌলিক সংখ্যার পরিমাণ π(x)−π(x−xθ)π(x) - π(x - x^θ) এর উর্ধ্বসীমা এবং নিম্নসীমা লক্ষ্য: প্রমাণ করা যে ধ্রুবক LB(θ),UB(θ)LB(θ), UB(θ) বিদ্যমান যাতে LB(θ)xθlog⁡x≤π(x)−π(x−xθ)≤UB(θ)xθlog⁡xLB(θ) \frac{x^θ}{\log x} ≤ π(x) - π(x - x^θ) ≤ UB(θ) \frac{x^θ}{\log x}

মূল স্থাপত্য: হারম্যান চালনী

१. মৌলিক সেটআপ

মূল প্যারামিটার সংজ্ঞায়িত করা:

  • A={a:a∈Z,x−y≤a<x}A = \{a : a ∈ Z, x - y ≤ a < x\}, যেখানে y=xθ+εy = x^{θ+ε}
  • B={b:b∈Z,x−y1≤b<x}B = \{b : b ∈ Z, x - y_1 ≤ b < x\}, যেখানে y1=xexp⁡(−3(log⁡x)1/3)y_1 = x \exp(-3(\log x)^{1/3})
  • S(C,z)=∑a∈C,(a,P(z))=11S(C, z) = \sum_{a∈C, (a,P(z))=1} 1

লক্ষ্য S(A,x1/2)S(A, x^{1/2}) অনুমান করতে রূপান্তরিত হয়।

२. চালনী বিয়োজন কৌশল

বুকস্ট্যাব পরিচয়ের মাধ্যমে পুনরাবৃত্তিমূলক বিয়োজন: S(C,z)=S(C,w)−∑w≤p<zS(Cp,p)S(C, z) = S(C, w) - \sum_{w≤p<z} S(C_p, p)

মূল ধারণা: বিরল সেট AA এবং ঘন সেট BB এর অ্যাসিম্পটোটিক সম্পর্ক প্রমাণ করা: S(A,z)=yy1(1+o(1))S(B,z)S(A, z) = \frac{y}{y_1}(1 + o(1))S(B, z)

३. অঞ্চল বিভাজন

সমাকলন অঞ্চল তিনটি উপঅঞ্চলে বিভক্ত করা:

  • অঞ্চল A: {α2:1/4≤α1≤2/5,1/3(1−α1)≤α2≤min⁡(α1,1/2(1−α1))}\{α_2 : 1/4 ≤ α_1 ≤ 2/5, 1/3(1-α_1) ≤ α_2 ≤ \min(α_1, 1/2(1-α_1))\}
  • অঞ্চল B: {α2:1/3≤α1≤1/2,max⁡(1/2α1,1−2α1)≤α2≤1/2(1−α1)}\{α_2 : 1/3 ≤ α_1 ≤ 1/2, \max(1/2 α_1, 1-2α_1) ≤ α_2 ≤ 1/2(1-α_1)\}
  • অঞ্চল C: অবশিষ্ট অঞ্চল

প্রযুক্তিগত উদ্ভাবন পয়েন্ট

१. নতুন পাটিগণিত তথ্য (লেমাস ४.४-४.५)

ঐতিহ্যবাহী টাইপ-II তথ্য টাইপ-II५ এবং টাইপ-II६ এ প্রসারিত করা, আরও সূক্ষ্ম হোল্ডার অসমতা এবং গড় উপপাদ্যের মাধ্যমে:

লেমা ४.४: পাঁচ-মাত্রিক ক্ষেত্রে, নির্দিষ্ট শর্ত সন্তুষ্ট হলে অ্যাসিম্পটোটিক সূত্র পাওয়া যায়: ∑l1l2l3l4l5∈Aal1bl2cl3dl4el5\sum_{l_1l_2l_3l_4l_5∈A} a_{l_1}b_{l_2}c_{l_3}d_{l_4}e_{l_5}

२. ভূমিকা বিনিময় কৌশল

চার-মাত্রিক এবং ছয়-মাত্রিক যোগফলে, পরিবর্তনশীল ভূমিকা বিনিময়ের মাধ্যমে, বৃহত্তর ४D ক্ষতি ছোট ६D ক্ষতি দ্বারা প্রতিস্থাপন করা।

३. বিপরীত বুকস্ট্যাব পরিচয়

∑α4S(Ap1p2p3p4,(x/(p1p2p3p4))1/2)=∑α4S(Ap1p2p3p4,p4)−∑α4∑α4<α5<1/2(1−α1−α2−α3−α4)S(Ap1p2p3p4p5,p5)\sum_{α_4} S(Ap_1p_2p_3p_4, (x/(p_1p_2p_3p_4))^{1/2}) = \sum_{α_4} S(Ap_1p_2p_3p_4, p_4) - \sum_{α_4} \sum_{α_4<α_5<1/2(1-α_1-α_2-α_3-α_4)} S(Ap_1p_2p_3p_4p_5, p_5)

এই "বিভাজন" কৌশলের মাধ্যমে, প্রায়-মৌলিক সংখ্যা দৃশ্যমান করা হয়, এভাবে ক্ষতি হ্রাস করা হয়।

পরীক্ষামূলক সেটআপ

গণনা পরিবেশ

  • হার্ডওয়্যার: ইন্টেল(আর) জিয়ন(আর) প্ল্যাটিনাম ८३८३C সিপিইউ, १६० থ্রেড
  • সফটওয়্যার: সি++ (প্রধান গণনা) + ম্যাথেমেটিকা १४ (ক্রস-যাচাইকরণ)
  • সমান্তরালীকরণ: ८० ওল্ফ্রাম কোর

সংখ্যাগত সমাকলন কৌশল

१. স্তরযুক্ত গণনা: মাত্রা ক্রমবর্ধমান ক্রমে সমাকলন গণনা করা २. ত্রুটি নিয়ন্ত্রণ: উর্ধ্ব সীমা ফাংশন ω1(u)ω_1(u) এবং নিম্ন সীমা ফাংশন ω0(u)ω_0(u) ব্যবহার করা ३. ক্রস-যাচাইকরণ: সি++ এবং ম্যাথেমেটিকা স্বাধীনভাবে গণনা করে তুলনা করা

অঞ্চল সংজ্ঞা

१३টি ভিন্ন সমাকলন অঞ্চল সংজ্ঞায়িত করা হয়েছে (UC01UC_{01} থেকে UC13UC_{13}, VC1VC_1 থেকে VC7VC_7 ইত্যাদি), প্রতিটি নির্দিষ্ট চালনী বিয়োজন পথের সাথে সংশ্লিষ্ট।

পরীক্ষামূলক ফলাফল

প্রধান ফলাফল

উপপাদ্য १: সমস্ত যথেষ্ট বড় xx এর জন্য, ব্যবধান [x−x0.52,x][x - x^{0.52}, x] মৌলিক সংখ্যা অন্তর্ভুক্ত করে।

উপপাদ্য २: 0.52≤θ≤0.5250.52 ≤ θ ≤ 0.525 এবং ε>0ε > 0 এর জন্য, LB(θ)xθ+εlog⁡x≤π(x)−π(x−xθ+ε)≤UB(θ)xθ+εlog⁡xLB(θ) \frac{x^{θ+ε}}{\log x} ≤ π(x) - π(x - x^{θ+ε}) ≤ UB(θ) \frac{x^{θ+ε}}{\log x}

নির্দিষ্ট সংখ্যাগত ফলাফল:

θLB(θ)UB(θ)
0.520>0.004<2.874
0.521>0.075<2.700
0.522>0.134<2.583
0.523>0.169<2.536
0.524>0.209<2.437
0.525>0.249<2.347

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

নিম্নসীমা উন্নতি

নতুন বিয়োজন কৌশলের মাধ্যমে, মোট ক্ষতি নিয়ন্ত্রণ করা হয়েছে:

  • অঞ্চল A: < 0.241 (२-মাত্রিক ক্ষতি)
  • অঞ্চল C: < 0.514 (উচ্চ-মাত্রিক ক্ষতিপূরণ অন্তর্ভুক্ত)
  • মোট ক্ষতি: < 0.996, নিম্নসীমা > 0.004 নিশ্চিত করা

উর্ধ্বসীমা গণনা

উর্ধ্বসীমা গণনা আরও জটিল, মোট ক্ষতি < 1.874, উর্ধ্বসীমা < 2.874 পাওয়া যায়।

সংখ্যাগত যাচাইকরণ

সি++ এবং ম্যাথেমেটিকা গণনা ফলাফলের তুলনা ভাল সামঞ্জস্য প্রদর্শন করে, ত্রুটি গ্রহণযোগ্য পরিসরে।

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

ঐতিহাসিক উন্নয়ন সূত্র

१. ক্লাসিক্যাল পদ্ধতি: রিম্যান জেটা ফাংশন শূন্য বিতরণের উপর ভিত্তি করে বিশ্লেষণাত্মক পদ্ধতি २. চালনী বিপ্লব: ইওয়ানিয়েক-জুটিলা (१९७९) চালনী প্রবর্তন করেছেন ३. বিএইচপি যুগান্তকারী: হারম্যান চালনী এবং ওয়াট শক্তি গড় উপপাদ্য একত্রিত করা ४. পরবর্তী উন্নয়ন: বিভিন্ন প্রযুক্তিগত উন্নতি এবং সংখ্যাগত অপ্টিমাইজেশন

এই পেপারের অবস্থান

  • বিএইচপি কাঠামোর মধ্যে গভীর অপ্টিমাইজেশন
  • প্রথমবারের মতো সম্পূর্ণ যাচাইযোগ্য গণনা প্রদান
  • আরও উন্নতির জন্য ভিত্তি স্থাপন করা

প্রয়োগ এবং সম্প্রসারণ

পেপার १५টি গুরুত্বপূর্ণ প্রয়োগ প্রদর্শন করে:

१. পাটিগণিত অগ্রগতিতে মৌলিক সংখ্যা (উপপাদ্য ३)

π(x;q,a)−π(x−x0.52;q,a)≥0.004x0.52φ(q)log⁡xπ(x; q, a) - π(x - x^{0.52}; q, a) ≥ 0.004 \frac{x^{0.52}}{φ(q) \log x}

२. মৌলিক সংখ্যা ফাঁক সমস্যা (উপপাদ্য ४)

স্বল্প ব্যবধানে ≫ x0.52(log⁡x)−kx^{0.52}(\log x)^{-k} পরপর মৌলিক সংখ্যার জোড়া বিদ্যমান, ফাঁক সীমাবদ্ধ।

३. গোল্ডব্যাক সমস্যা

  • উপপাদ্য ६: প্রায় সমস্ত ব্যবধান [x,x+x13/225][x, x + x^{13/225}] এ সমান সংখ্যা গোল্ডব্যাক সংখ্যা
  • উপপাদ্য ७: ব্যবধান [x,x+x26/1075][x, x + x^{26/1075}] গোল্ডব্যাক সংখ্যা অন্তর্ভুক্ত করে

४. অন্যান্য প্রয়োগ

কাল্পনিক দ্বিঘাত ক্ষেত্রের প্রধান আদর্শ বিতরণ, কারমাইকেল সংখ্যা অনুমান, লিনিক ধ্রুবক ইত্যাদি অন্তর্ভুক্ত।

সিদ্ধান্ত এবং আলোচনা

প্রধান সিদ্ধান্ত

१. প্রযুক্তিগত যুগান্তকারী: সফলভাবে θ = 0.52 এর বাধা অতিক্রম করেছেন २. পদ্ধতি উদ্ভাবন: একাধিক চালনী অপ্টিমাইজেশন কৌশল উন্নত করেছেন ३. গণনা যাচাইকরণ: সম্পূর্ণ সংখ্যাগত যাচাইকরণ কাঠামো প্রতিষ্ঠা করেছেন ४. বিস্তৃত প্রয়োগ: একাধিক সংখ্যা তত্ত্ব সমস্যায় উন্নতি অর্জন করেছেন

সীমাবদ্ধতা

१. পদ্ধতি সীমাবদ্ধতা: এখনও হারম্যান চালনী কাঠামোর মধ্যে, গুণগত লাফ পাওয়া কঠিন २. গণনা জটিলতা: উচ্চ-মাত্রিক সমাকলন গণনা অত্যন্ত জটিল, আরও উন্নতি সীমাবদ্ধ করে ३. ধ্রুবক সমস্যা: যদিও সূচক উন্নত করেছেন কিন্তু ধ্রুবক এখনও অপ্টিমাইজেশন স্থান আছে

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

१. নতুন চালনী কৌশল: বিদ্যমান কাঠামোর বাইরে নতুন পদ্ধতি অন্বেষণ করা २. গণনা অপ্টিমাইজেশন: আরও দক্ষ সংখ্যাগত গণনা কৌশল উন্নয়ন করা ३. তাত্ত্বিক যুগান্তকারী: এল-ফাংশন শূন্য বিতরণের সাথে নতুন সংযোগ খোঁজা

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

সুবিধা

१. প্রযুক্তিগত গভীরতা: অত্যন্ত জটিল প্রযুক্তিগত কাঠামোর মধ্যে বাস্তব যুগান্তকারী অর্জন করেছেন २. গণনা কঠোরতা: অভূতপূর্ব গণনা বিস্তারিত এবং যাচাইকরণ প্রদান করেছেন ३. প্রয়োগ সমৃদ্ধ: বিস্তৃত সংখ্যা তত্ত্ব প্রয়োগ প্রদর্শন করেছেন ४. পদ্ধতি উদ্ভাবন: একাধিক মূল্যবান প্রযুক্তিগত উন্নতি উন্নয়ন করেছেন

অপূর্ণতা

१. পাঠ্য কঠিনতা: প্রযুক্তিগত বিস্তারিত অত্যন্ত জটিল, বোঝার প্রবেশদ্বার খুব উচ্চ २. উন্নতি পরিমাণ: যদিও যুগান্তকারী কিন্তু উন্নতি তুলনামূলকভাবে সীমিত ३. সার্বজনীনতা: পদ্ধতি অত্যন্ত বিশেষায়িত, অন্যান্য সমস্যায় সম্প্রসারণ কঠিন

প্রভাব

१. একাডেমিক মূল্য: এই ক্ষেত্রের একটি গুরুত্বপূর্ণ প্রযুক্তিগত সমস্যা সমাধান করেছেন २. পদ্ধতি অবদান: চালনী তত্ত্বে নতুন প্রযুক্তিগত সরঞ্জাম প্রদান করেছেন ३. ব্যবহারিক মূল্য: একাধিক সম্পর্কিত সমস্যায় সরাসরি প্রয়োগ তৈরি করেছেন

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

এই পদ্ধতি বিশেষভাবে চালনী ক্ষতি নির্ভুলভাবে নিয়ন্ত্রণের প্রয়োজন এমন সংখ্যা তত্ত্ব সমস্যার জন্য উপযুক্ত, বিশেষত স্বল্প ব্যবধান বিতরণ সম্পর্কিত বিভিন্ন সমস্যা।

সংদর্ভ

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

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