2025-11-10T03:12:50.933511

A Congruence for Sums of Integer Powers Modulo Products of Distinct Primes

Huang, Wu
Let p1, p2,..., pn be distinct prime numbers, and let Nn be their product. We prove that, for any positive integer L that is divisible by the least common multiple of p1 minus one, p2 minus one, and so on, and for integers a1, a2,..., an satisfying that each ai is relatively prime to Nn and shares the same prime factor pi, a certain congruence relation holds among their Lth powers.
academic

স্বতন্ত্র মৌলিক সংখ্যার গুণফলের মডিউলে পূর্ণসংখ্যা শক্তির যোগফলের জন্য একটি সর্বসমতা

মৌলিক তথ্য

  • পত্র আইডি: 2510.10418
  • শিরোনাম: স্বতন্ত্র মৌলিক সংখ্যার গুণফলের মডিউলে পূর্ণসংখ্যা শক্তির যোগফলের জন্য একটি সর্বসমতা
  • লেখক: শাও-ইউয়ান হুয়াং, হসিউ-ইউ উ (জাতীয় তাইপেই শিক্ষা বিশ্ববিদ্যালয়, গণিত ও তথ্য শিক্ষা বিভাগ)
  • শ্রেণীবিভাগ: math.NT (সংখ্যা তত্ত্ব)
  • প্রকাশনার সময়: ২০২৫ সালের ১২ অক্টোবর (arXiv প্রাক-প্রিন্ট)
  • পত্রের লিঙ্ক: https://arxiv.org/abs/2510.10418

সারসংক্ষেপ

ধরুন p1,p2,,pnp_1, p_2, \ldots, p_n স্বতন্ত্র মৌলিক সংখ্যা এবং Nn=p1p2pnN_n = p_1p_2 \cdots p_n। এই পত্রটি প্রমাণ করে যে যেকোনো ধনাত্মক পূর্ণসংখ্যা LL যা lcm(p11,p21,,pn1)\text{lcm}(p_1-1, p_2-1, \ldots, p_n-1) দ্বারা বিভাজ্য এবং প্রাকৃতিক সংখ্যা aia_i যা gcd(ai,Nn)=pi\gcd(a_i, N_n) = p_i সন্তুষ্ট করে, তার জন্য নিম্নলিখিত সর্বসমতা বিদ্যমান: a1L+a2L++anLn1(modNn)a_1^L + a_2^L + \cdots + a_n^L \equiv n-1 \pmod{N_n}

অধিকন্তু, n=2,3n=2,3 এর ক্ষেত্রে, পত্রটি aη(modNn)a^\eta \pmod{N_n} অবশেষ সমস্যার সম্পূর্ণ সমাধান প্রদান করে।

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

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

  1. অবশেষ সমস্যার মৌলিকতা: aη?(modp1p2pn)a^\eta \equiv ? \pmod{p_1p_2 \cdots p_n} আকারের অবশেষ সমস্যা নির্ধারণ করা সংখ্যা তত্ত্বের একটি ধ্রুপদী সমস্যা, যা গোপনবিদ্যা, প্রাথমিকতা পরীক্ষা এবং গণনামূলক সংখ্যা তত্ত্বে ব্যাপক প্রয়োগ রয়েছে।
  2. বিদ্যমান পদ্ধতির সীমাবদ্ধতা:
    • ফার্মাটের ক্ষুদ্র উপপাদ্য শুধুমাত্র মৌলিক সংখ্যা মডিউলের জন্য প্রযোজ্য
    • অয়লার উপপাদ্য যদিও যৌগিক সংখ্যা মডিউলের জন্য প্রযোজ্য, তবে অয়লার ফাংশন ব্যবহার করা প্রয়োজন
    • যৌগিক সংখ্যা মডিউল পরিচালনা করার সময় সাধারণত চাইনিজ রিমেইন্ডার থিওরেম সংযুক্ত করা প্রয়োজন, যা প্রক্রিয়াটি জটিল করে তোলে
  3. একীভূত কাঠামোর প্রয়োজনীয়তা: বিদ্যমান পদ্ধতিতে একীভূত প্রক্রিয়াকরণ কাঠামোর অভাব রয়েছে, পত্রটি আরও সরাসরি সূত্র ব্যবস্থা প্রতিষ্ঠা করার লক্ষ্য রাখে, যাতে আরও বেশি মানুষ এই সূত্রগুলি সরাসরি প্রয়োগ করে সংশ্লিষ্ট অবশেষ পেতে পারে।
  4. নতুন সর্বসমতা বৈশিষ্ট্যের আবিষ্কার: গবেষণা প্রক্রিয়ায় আকর্ষণীয় সর্বসমতা বৈশিষ্ট্য আবিষ্কৃত হয়েছে, অর্থাৎ মৌলিক সংখ্যা শক্তির যোগফলের সর্বসমতা সম্পর্ক।

মূল অবদান

  1. প্রধান উপপাদ্য: স্বতন্ত্র মৌলিক সংখ্যার গুণফল মডিউলো হিসাবে ব্যবহার করার ক্ষেত্রে, নির্দিষ্ট শর্ত সন্তুষ্ট করে এমন পূর্ণসংখ্যা শক্তির যোগফলের সর্বসমতা সম্পর্ক প্রমাণ করেছে (উপপাদ্য 4)
  2. অবশেষ সমস্যার সম্পূর্ণ সমাধান: n=2,3n=2,3 এর ক্ষেত্রে aη(modNn)a^\eta \pmod{N_n} এর সম্পূর্ণ সূত্র প্রদান করেছে (উপপাদ্য 3 এবং উপপাদ্য 5)
  3. একীভূত তাত্ত্বিক কাঠামো: ফার্মাটের ক্ষুদ্র উপপাদ্যের উপর ভিত্তি করে একীভূত পদ্ধতি প্রতিষ্ঠা করেছে, বেশ কয়েকটি ধ্রুপদী অবশেষ সূত্র প্রসারিত করেছে
  4. নির্দিষ্ট গণনা সূত্র: সরাসরি প্রয়োগযোগ্য অবশেষ গণনা সূত্র প্রদান করেছে, জটিল চাইনিজ রিমেইন্ডার থিওরেম গণনা এড়িয়ে গেছে

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

মূল তাত্ত্বিক ভিত্তি

পত্রটি নিম্নলিখিত ধ্রুপদী উপপাদ্যের উপর ভিত্তি করে:

  • ফার্মাটের ক্ষুদ্র উপপাদ্য: যদি pp একটি মৌলিক সংখ্যা হয়, aNa \in \mathbb{N} এবং gcd(a,p)=1\gcd(a,p)=1, তাহলে ap11(modp)a^{p-1} \equiv 1 \pmod{p}
  • অয়লার উপপাদ্য: যদি gcd(a,n)=1\gcd(a,n)=1, তাহলে aϕ(n)1(modn)a^{\phi(n)} \equiv 1 \pmod{n}

প্রধান ফলাফল

উপপাদ্য 3 (n=2n=2 এর ক্ষেত্রে)

ধরুন pp এবং qq স্বতন্ত্র মৌলিক সংখ্যা, aNa \in \mathbb{N}, তাহলে:

  1. যদি gcd(a,pq)=pq\gcd(a,pq) = pq, তাহলে aη0(modpq)a^\eta \equiv 0 \pmod{pq}
  2. যদি gcd(a,pq)=1\gcd(a,pq) = 1, তাহলে alcm(p1,q1)η1(modpq)a^{\text{lcm}(p-1,q-1)\eta} \equiv 1 \pmod{pq}
  3. যদি gcd(a,pq)=q\gcd(a,pq) = q, তাহলে a(p1)ηqqp(modpq)a^{(p-1)\eta} \equiv qq_p \pmod{pq}
  4. যদি gcd(a,pq)=p\gcd(a,pq) = p, তাহলে a(q1)η1qqp(modpq)a^{(q-1)\eta} \equiv 1-qq_p \pmod{pq}

যেখানে qpq_p হল Zp\mathbb{Z}_p তে qq এর গুণক বিপরীত।

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

ধরুন p1,p2,,pnp_1, p_2, \ldots, p_n স্বতন্ত্র মৌলিক সংখ্যা, a1,a2,,anNa_1, a_2, \ldots, a_n \in \mathbb{N} যা gcd(ai,p1p2pn)=pi\gcd(a_i, p_1p_2 \cdots p_n) = p_i সন্তুষ্ট করে, তাহলে যেকোনো ধনাত্মক পূর্ণসংখ্যা LL যা lcm(p11,p21,,pn1)\text{lcm}(p_1-1, p_2-1, \ldots, p_n-1) দ্বারা বিভাজ্য:

a1L+a2L++anLn1(modp1p2pn)a_1^L + a_2^L + \cdots + a_n^L \equiv n-1 \pmod{p_1p_2 \cdots p_n}

উপপাদ্য 5 (n=3n=3 এর ক্ষেত্রে)

ধরুন p<q<rp < q < r মৌলিক সংখ্যা, L=lcm(p1,q1,r1)L = \text{lcm}(p-1, q-1, r-1), ধরে নিন qr1(modp)qr \equiv 1 \pmod{p}, তাহলে বিভিন্ন gcd(a,pqr)\gcd(a,pqr) ক্ষেত্রে aLa^L এর নির্দিষ্ট অবশেষ সূত্র প্রদান করা হয়েছে।

প্রমাণ কৌশল

উপপাদ্য 3 এর প্রমাণ পদ্ধতি

  1. ক্ষেত্র বিশ্লেষণ: gcd(a,pq)\gcd(a,pq) এর বিভিন্ন মানের উপর ভিত্তি করে চারটি ক্ষেত্র আলোচনা করা হয়েছে
  2. ফার্মাটের ক্ষুদ্র উপপাদ্য প্রয়োগ: ap11(modp)a^{p-1} \equiv 1 \pmod{p} এবং aq11(modq)a^{q-1} \equiv 1 \pmod{q} ব্যবহার করা হয়েছে
  3. গুণক বিপরীত গণনা: নির্মাণ এবং মডিউলো ক্রিয়াকলাপের বৈশিষ্ট্যের মাধ্যমে নির্দিষ্ট অবশেষ মান নির্ধারণ করা হয়েছে

উপপাদ্য 4 এর প্রমাণ পদ্ধতি

  1. গাণিতিক আনয়ন: মৌলিক সংখ্যার সংখ্যা nn এর উপর আনয়ন করা হয়েছে
  2. ভিত্তি ক্ষেত্র: n=1,2n=1,2 এর ক্ষেত্র ইতিমধ্যে পূর্ববর্তী ফলাফল দ্বারা প্রতিষ্ঠিত হয়েছে
  3. আনয়ন পদক্ষেপ: ধরে নিন n=kn=k এর জন্য সত্য, n=k+1n=k+1 এর জন্যও সত্য প্রমাণ করা হয়েছে
  4. মূল পর্যবেক্ষণ: gcd\gcd এর বৈশিষ্ট্য এবং ফার্মাটের ক্ষুদ্র উপপাদ্যের প্রয়োগ ব্যবহার করা হয়েছে

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

যাচাইকরণ উদাহরণ

উদাহরণ 1 (n=2n=2)

  • পরামিতি: 133=7×19133 = 7 \times 19, L=18=lcm(6,18)L = 18 = \text{lcm}(6,18)
  • যাচাইকরণ ফলাফল: 718+191877+571(mod133)7^{18} + 19^{18} \equiv 77 + 57 \equiv 1 \pmod{133}

উদাহরণ 2 (n=3n=3)

  • পরামিতি: 66=2×3×1166 = 2 \times 3 \times 11, L=10=lcm(1,2,10)L = 10 = \text{lcm}(1,2,10)
  • যাচাইকরণ ফলাফল: 210+310+111034+45+552(mod66)2^{10} + 3^{10} + 11^{10} \equiv 34 + 45 + 55 \equiv 2 \pmod{66}

উদাহরণ 3 (n=4n=4)

  • পরামিতি: p1=3,p2=7,p3=11,p4=17p_1=3, p_2=7, p_3=11, p_4=17, L=240L = 240
  • যাচাইকরণ ফলাফল: 3240η+7240η+11240η+17240η3(mod3927)3^{240\eta} + 7^{240\eta} + 11^{240\eta} + 17^{240\eta} \equiv 3 \pmod{3927}

গণনা যাচাইকরণ

পত্রটি নির্দিষ্ট সংখ্যাসূচক গণনার মাধ্যমে তাত্ত্বিক ফলাফলের সঠিকতা যাচাই করেছে, সূত্রের ব্যবহারিকতা প্রদর্শন করেছে।

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

প্রধান ফলাফল যাচাইকরণ

  1. উপপাদ্য 4 এর যাচাইকরণ: একাধিক নির্দিষ্ট উদাহরণের মাধ্যমে প্রধান সর্বসমতা সম্পর্ক যাচাই করা হয়েছে
  2. অবশেষ সূত্রের নির্ভুলতা: উদাহরণ 3 এবং উদাহরণ 4 নির্দিষ্ট গণনায় উপপাদ্য 3 এবং উপপাদ্য 5 এর প্রয়োগ বিস্তারিতভাবে প্রদর্শন করেছে
  3. সূত্রের ব্যবহারিকতা: ঐতিহ্যবাহী পদ্ধতির তুলনায়, নতুন সূত্র আরও সরাসরি গণনার পথ প্রদান করেছে

গণনা সুবিধা

  • চাইনিজ রিমেইন্ডার থিওরেম এড়ানো: সরাসরি অবশেষ সূত্র প্রদান করে, জটিল CRT গণনার প্রয়োজন নেই
  • একীভূত প্রক্রিয়াকরণ কাঠামো: বিভিন্ন ক্ষেত্রে একই তাত্ত্বিক ভিত্তি ব্যবহার করা হয়
  • স্পষ্ট শর্ত বিচার: gcd\gcd মানের মাধ্যমে প্রযোজ্য সূত্র স্পষ্টভাবে নির্ধারণ করা হয়

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

ধ্রুপদী সংখ্যা তত্ত্ব ফলাফল

  1. ফার্মাটের ক্ষুদ্র উপপাদ্য: পত্রের তাত্ত্বিক ভিত্তি
  2. অয়লার উপপাদ্য: সাধারণ যৌগিক সংখ্যা মডিউল পরিচালনার ধ্রুপদী পদ্ধতি
  3. চাইনিজ রিমেইন্ডার থিওরেম: যৌগিক সংখ্যা মডিউল পরিচালনার ঐতিহ্যবাহী সরঞ্জাম

এই পত্রের উদ্ভাবনী দিক

  1. সরাসরি সূত্র: CRT এর জটিল গণনা প্রক্রিয়া এড়িয়ে গেছে
  2. নতুন সর্বসমতা বৈশিষ্ট্য: মৌলিক সংখ্যা শক্তির যোগফলের আকর্ষণীয় সর্বসমতা সম্পর্ক আবিষ্কার করেছে
  3. সম্পূর্ণ শ্রেণীবিভাগ আলোচনা: বিভিন্ন gcd\gcd ক্ষেত্রে সম্পূর্ণ প্রক্রিয়াকরণ পরিকল্পনা প্রদান করেছে

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

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

  1. নতুন সর্বসমতা সম্পর্ক প্রতিষ্ঠা করেছে: উপপাদ্য 4 এর মূল সর্বসমতা সম্পর্ক প্রমাণ করেছে
  2. ব্যবহারিক গণনা সূত্র প্রদান করেছে: n=2,3n=2,3 এর জন্য সম্পূর্ণ অবশেষ গণনা পদ্ধতি প্রদান করেছে
  3. তাত্ত্বিক কাঠামো একীভূত করেছে: ফার্মাটের ক্ষুদ্র উপপাদ্যের উপর ভিত্তি করে একীভূত প্রক্রিয়াকরণ পদ্ধতি প্রতিষ্ঠা করেছে

সীমাবদ্ধতা

  1. শর্তের সীমাবদ্ধতা: উপপাদ্য 5 এর জন্য অতিরিক্ত শর্ত qr1(modp)qr \equiv 1 \pmod{p} প্রয়োজন
  2. জটিলতা বৃদ্ধি: মৌলিক সংখ্যার সংখ্যা বৃদ্ধির সাথে সাথে সূত্র জটিল হয়ে ওঠে
  3. বিশেষ ক্ষেত্র: বর্তমানে শুধুমাত্র n=2,3n=2,3 এর জন্য সম্পূর্ণ সমাধান প্রদান করা হয়েছে

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

  1. বৃহত্তর nn এ সম্প্রসারণ: n4n \geq 4 এর ক্ষেত্রে সম্পূর্ণ অবশেষ সূত্র প্রতিষ্ঠা করা
  2. শর্তের সাধারণীকরণ: উপপাদ্য 5 এ অতিরিক্ত শর্ত শিথিল করা যায় কিনা তা গবেষণা করা
  3. অ্যালগরিদম অপ্টিমাইজেশন: আরও দক্ষ গণনা অ্যালগরিদম বিকাশ করা

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

সুবিধা

  1. তাত্ত্বিক উদ্ভাবন: নতুন সংখ্যা তত্ত্ব সর্বসমতা বৈশিষ্ট্য আবিষ্কার করেছে, তাত্ত্বিক মূল্য রয়েছে
  2. ব্যবহারিক মূল্য: সরাসরি ব্যবহারযোগ্য গণনা সূত্র প্রদান করেছে, জটিল CRT গণনা এড়িয়ে গেছে
  3. প্রমাণ কঠোর: গাণিতিক আনয়ন ইত্যাদি কঠোর প্রমাণ পদ্ধতি ব্যবহার করেছে
  4. উদাহরণ সমৃদ্ধ: একাধিক নির্দিষ্ট উদাহরণের মাধ্যমে তাত্ত্বিক ফলাফল যাচাই করেছে

অপূর্ণতা

  1. সম্পূর্ণতা সীমিত: শুধুমাত্র n=2,3n=2,3 এর জন্য সম্পূর্ণ সমাধান প্রদান করেছে
  2. শর্ত কঠোর: কিছু ফলাফলের জন্য অতিরিক্ত সীমাবদ্ধ শর্ত প্রয়োজন
  3. সাধারণীকরণ কঠিন: পদ্ধতি বৃহত্তর nn এ সম্প্রসারণে প্রযুক্তিগত চ্যালেঞ্জ রয়েছে

প্রভাব

  1. সংখ্যা তত্ত্ব অবদান: মডিউলো ক্রিয়াকলাপ তত্ত্বে নতুন দৃষ্টিভঙ্গি এবং সরঞ্জাম প্রদান করেছে
  2. প্রয়োগ সম্ভাবনা: গোপনবিদ্যা এবং গণনামূলক সংখ্যা তত্ত্বে সম্ভাব্য প্রয়োগ মূল্য রয়েছে
  3. শিক্ষা মূল্য: সংখ্যা তত্ত্ব শিক্ষায় নতুন উদাহরণ এবং পদ্ধতি প্রদান করেছে

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

  1. গোপনবিদ্যা প্রয়োগ: RSA ইত্যাদি জনসাধারণ-চাবি গোপনবিদ্যা ব্যবস্থায় মডিউলো সূচক ক্রিয়াকলাপ
  2. প্রাথমিকতা পরীক্ষা: ফার্মাট পরীক্ষার উপর ভিত্তি করে অ্যালগরিদম অপ্টিমাইজেশন
  3. গণনামূলক সংখ্যা তত্ত্ব: দক্ষ মডিউলো ক্রিয়াকলাপ প্রয়োজন এমন সংখ্যাসূচক গণনা পরিস্থিতি

সংদর্ভ

পত্রটি সংখ্যা তত্ত্ব এবং গোপনবিদ্যা ক্ষেত্রের ধ্রুপদী সাহিত্য উদ্ধৃত করেছে, যার মধ্যে রয়েছে:

  • বার্টনের "প্রাথমিক সংখ্যা তত্ত্ব"
  • হার্ডি এবং রাইটের "সংখ্যা তত্ত্বের পরিচয়"
  • মেনেজেস এবং অন্যদের "প্রয়োগকৃত গোপনবিদ্যার হ্যান্ডবুক"
  • RSA অ্যালগরিদমের মূল পত্র ইত্যাদি

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