🔢 mathematics

How many points has an affine algebraic set in residue classes modulo n ?

यह शोध पत्र यह प्रदर्शित करता है कि प्रत्येक समान (uniform) एफ़ाइन बीजगणितीय समुच्चयों के परिवार के लिए, जिसमें वेइरस्ट्रैस सामान्य रूप (Weierstrass normal form) में एलिप्टिक कर्व्स भी शामिल हैं, एक अंकगणितीय सूत्र मौजूद है जो केवल बुनियादी संक्रियाओं और पूर्णांक घातांकों का उपयोग करके, परिवार के मापदंडों और $n$ के आधार पर $\mathbb{Z}/n\mathbb{Z}$ के भीतर उस समुच्चय की कार्डिनैलिटी (cardinality) को व्यक्त करता है।

मूल लेखक: Mihai Prunescu

प्रकाशित 2026-08-25✓ Author reviewed ⓘ

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Mihai Prunescu

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने नहीं लिखा है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

गणित के विशाल परिदृश्य में, एक शाखा समर्पित है समीकरणों के समाधानों को गिनने के लिए, लेकिन एक मोड़ के साथ: बजाय इसके कि सभी संख्याओं के अनंत सागर में से उत्तरों की तलाश की जाए, शोधकर्ता अपनी खोज को एक छोटे, दोहराव वाले चक्र तक सीमित कर देते हैं। एक घड़ी के चेहरे की कल्पना करें जहाँ संख्याएँ केवल एक से बारह तक जाती हैं; यदि आप दस और चार जोड़ते हैं, तो उत्तर चौदह नहीं, बल्कि दो होता है। यह मॉड्यूलर अंकगणित (modular arithmetic) की दुनिया है, एक ऐसी प्रणाली जहाँ संख्याएँ एक निश्चित सीमा तक पहुँचने के बाद वापस घूम जाती हैं, जिसे मॉडुलस (modulus) कहा जाता है। सदियों से, गणितज्ञ इस बात से मंत्रमुग्ध रहे हैं कि जब इन घड़ी जैसे ग्रिडों पर जटिल ज्यामितीय आकृतियाँ खींची जाती हैं, तो कितने बिंदु, या समाधान, मौजूद होते हैं। ये आकृतियाँ, जो अक्सर बहुपद समीकरणों (polynomial equations) द्वारा परिभाषित होती हैं, सरल रेखाओं से लेकर जटिल वक्रों या सतहों तक हो सकती हैं। चुनौती हमेशा यह रही है कि जैसे-जैसे ग्रिड का आकार बदलता है, समाधानों की संख्या अप्रत्याशित रूप से व्यवहार कर सकती है, ऊपर-नीचे उछल सकती है जो एक सरल नियम को चुनौती देती हुई प्रतीत होती है। इन गणनाओं को समझना केवल संख्याओं का खेल नहीं है; यह क्रिप्टोग्राफी और अभाज्य संख्याओं के अध्ययन के लिए मौलिक है, जहाँ इन समाधानों की छिपी हुई संरचना सुरक्षित संचार की कुंजियाँ रखती है।

मिहाई प्रुनेसु (Mihai Prunescu) नामक एक शोधकर्ता ने अब यह प्रदर्शित किया है कि पूर्णांक गुणांकों (integer coefficients) द्वारा परिभाषित इन ज्यामितीय आकृतियों के किसी भी परिवार के लिए, ग्रिड के किसी भी आकार के लिए समाधानों की सटीक संख्या की गणना करने के लिए वास्तव में एक एकल, निश्चित विधि (recipe) मौजूद है। यह विधि कोई अस्पष्ट अनुमान या घंटों तक चलने वाला कंप्यूटर सिमुलेशन नहीं है; यह बुनियादी अंकगणितीय क्रियाओं—योग, घटाव, गुणा, शेषफल के साथ भाग, और घातांक—का एक विशिष्ट, परिमित अनुक्रम है जिसे एक बार लिखा जा सकता है और हमेशा के लिए उपयोग किया जा सकता है। शोध पत्र सिद्ध करता है कि आकृति कितनी भी जटिल क्यों न हो या ग्रिड कितना भी बड़ा क्यों न हो, बिंदुओं की गणना को एक "पद" (term) के रूप में व्यक्त किया जा सकता है, जो एक आत्मनिर्भर गणितीय निर्देश है जो आकृति के मापदंडों और ग्रिड के आकार को इनपुट के रूप में लेता है और बिंदुओं की सटीक संख्या को आउटपुट के रूप में देता है। यह परिणाम 'एफाइन बीजगणितीय सेट' (affine algebraic sets) नामक आकृतियों की एक विस्तृत श्रेणी पर लागू होता है, जिसमें आधुनिक एन्क्रिप्शन में उपयोग किए जाने वाले प्रसिद्ध दीर्घवृत्त (elliptic curves) शामिल हैं।

इस खोज की यात्रा समस्या को एक विशिष्ट प्रकार के समीकरण में शून्यों को गिनने की समस्या में अनुवादित करके शुरू हुई। लेखक ने दिखाया कि ग्रिड पर मूल ज्यामितीय समीकरणों के समाधान पूरी तरह से वर्गों के योग (sums of squares) से बनी एक नई, अधिक जटिल समीकरण के समाधानों के अनुरूप होते हैं। क्योंकि वर्गों का योग केवल तभी शून्य हो सकता है जब उसका प्रत्येक भाग शून्य हो, इसलिए यह नया समीकरण एक सख्त फिल्टर के रूप में कार्य करता है, जो ठीक से केवल रुचि के बिंदुओं को अलग करता है। अगला चरण यह सिद्ध करना था कि ये सभी समाधान एक अनुमानित, परिमित बॉक्स के भीतर फिट बैठते हैं। चरों के अधिकतम संभावित मानों का सावधानीपूर्वक विश्लेषण करके, शोधकर्ता ने एक सीमा स्थापित की जो ग्रिड के आकार के बढ़ने के साथ एक ज्ञात तरीके से बढ़ती है। इसका अर्थ था कि समाधानों की अनंत खोज को एक विशिष्ट सीमा के भीतर एक परिमित खोज में बदला जा सकता था।

एक बार जब खोज एक परिमित बॉक्स के भीतर सीमित हो गई, तो शोध पत्र ने एक चतुर गणना तकनीक का उपयोग किया जो एक समाधान की उपस्थिति को एक लाइट स्विच की तरह मानती है। एक विशाल संख्या का निर्माण करके जिसके बाइनरी अंक यह दर्शाते हैं कि किसी विशिष्ट स्थान पर समाधान मौजूद है या नहीं, लेखक केवल उस बाइनरी स्ट्रिंग में 'एक' (ones) की संख्या गिनकर कुल समाधानों को गिन सकते थे। यह गणना प्रक्रिया, जो ज्यामितिक प्रगति (geometric progressions) और अंक योग (digit sums) को संभालने में सक्षम विशिष्ट अंकगणितीय फलनों पर निर्भर करती है, फिर यह दिखाने के लिए उपयोग की गई कि इसे "प्रारंभिक फलनों" (elementary functions) की परिभाषा में अनुमत केवल बुनियादी अंकगणितीय क्रियाओं का उपयोग करके व्यक्त किया जा सकता है। परिणाम एक बंद सूत्र (closed formula) है जो प्रत्येक संभावित ग्रिड आकार और आकृति को परिभाषित करने वाले प्रत्येक संभावित मापदंड के लिए काम करता है।

शोध पत्र दीर्घवृत्तों (elliptic curves) पर विशेष जोर देता है, जो एक विशिष्ट घन समीकरण (cubic equation) द्वारा परिभाषित होते हैं और आधुनिक संख्या सिद्धांत के केंद्र में हैं। इन वक्रों के लिए, लेखक ने किसी भी मॉडुलस के लिए वक्र पर बिंदुओं को गिनने वाला स्पष्ट सूत्र निर्मित किया। हालाँकि सूत्र स्वयं अविश्वसनीय रूप से लंबा और जटिल है, जिसमें दर्जनों नेस्टेड ऑपरेशन और बड़े घातांक शामिल हैं, इसकी उपस्थिति ही वास्तविक विजय है। यह सिद्ध करता है कि इन बिंदुओं का व्यवहार अराजक या यादृच्छिक नहीं है बल्कि एक कठोर, गणनीय नियम द्वारा शासित है। लेखक स्वीकार करते हैं कि यद्यपि ये सूत्र वास्तविक दुनिया में व्यावहारिक गणनाओं के लिए उपयोग किए जाने के लिए बहुत जटिल हैं, उनकी उपस्थिति इन गणनाओं की प्रकृति के बारे में थे एक सैद्धांतिक प्रश्न को सुलझा देती है। यह कार्य पुष्टि करता है कि पूर्णांक गुणांकों द्वारा परिभाषित बीजगणितीय सेटों के प्रत्येक परिवार के लिए, एक मॉड्यूलर रिंग में बिंदुओं की संख्या केवल एक संख्या नहीं है जिसे प्रयास और त्रुटि (trial and error) द्वारा पाया जा सकता है, बल्कि एक मान है जिसे एक निश्चित, परिमित अंकगणितीय अभिव्यक्ति द्वारा उत्पन्न किया जा सकता है।

तकनीकी सारांश: "रेसिड्यू क्लासेस मोड n में एक एफाइन बीजगणितीय सेट में कितने बिंदु हैं?"

समस्या विवरण
यह शोध पत्र पूर्णांकों के वलय $\mathbb{Z}/n\mathbb{Z}$ पर परिभाषित एफाइन बीजगणितीय सेट्स (affine algebraic sets) की सटीक कार्डिनैलिटी (cardinality) निर्धारित करने की समस्या को संबोधित करता है। विशेष रूप से, पूर्णांक गुणांकों और पैरामीटर्स $\vec{\lambda} \in \mathbb{Z}^s$ वाले बहुपद समीकरणों के एक निकाय के लिए, $(\mathbb{Z}/n\mathbb{Z})^m$ में समाधानों की संख्या के लिए एक क्लोज्ड-फॉर्म अभिव्यक्ति (closed-form expression) खोजने का लक्ष्य है। लेखक इसे एक अरिथमेटिक टर्म (arithmetic term) के रूप में निर्मित करने पर ध्यान केंद्रित करते हैं, जिसे बुनियादी अंकगणितीय संक्रियाओं (योग, घटाव, गुणा, शेषफल के साथ विभाजन, और पूर्णांक घातांक) के एक निश्चित परिमित संयोजन के रूप में परिभाषित किया गया है।

कार्यप्रणाली
यह दृष्टिकोण कालमार एलिमेंटरी फंक्शन्स (Kalmar elementary functions) (जिन्हें एलिमेंटरी फंक्शन्स भी कहा जाता है) के सिद्धांत पर आधारित है, जो गैर-ऋणात्मक पूर्णांकों के ऐसे अनुक्रम हैं जिन्हें इटरेटेड एक्सपोनेंशियल टाइम (iterated exponential time) में गणनीय (computable) बनाया जा सकता है। कार्यप्रणाली निम्नलिखित तार्किक चरणों के माध्यम से आगे बढ़ती है:

अरिथमेटिक टर्म्स और एलिमेंटरी फंक्शन्स: यह शोध पत्र मज्जेंटी (Mazzanti) और मार्चेंकोव (Marchenkov) के परिणामों का उपयोग करता है, जो यह स्थापित करते हैं कि कालमार एलिमेंटरी फंक्शन्स को अरिथमेटिक टर्म्स के रूप में व्यक्त किया जा सकता है। इन टर्म्स में $x \dot{-} y$ (अरिथमेटिक डिफरेंस), $\lfloor x/y \rfloor$ , और घातांक जैसी संक्रियाएं शामिल हैं।
हैमिंग वेट (Hamming Weight) के माध्यम से ज़ीरो की गणना: $f(\vec{x}) = 0$ $f (x) = 0$ के समाधानों की गणना करने की समस्या को एक विशिष्ट बड़े पूर्णांक $M$ $M$ के हैमिंग वेट (बाइनरी प्रतिनिधित्व में 1s की संख्या) की गणना करने की समस्या में बदलने की मुख्य तकनीक।
- एक डोमेन $[0, t-1]^k$ पर फलन $f$ के लिए, जो $2^w$ द्वारा सीमित है, लेखक एक योग $M = \sum 2^{2^w v(\vec{a})} \delta(f(\vec{a}), w)$ का निर्माण करते हैं, जहाँ $\delta$ एक विशिष्ट अरिथमेटिक टर्म है।
- $M$ का हैमिंग वेट फलन के ज़ीरो की संख्या $d$ से रैखिक रूप से संबंधित होता है, जिससे $d$ को अंकगणितीय संक्रियाओं के माध्यम से निकाला जा सकता है।
गैर-ऋणात्मक डायोफेंटाइन समीकरणों में रूपांतरण: $\mathbb{Z}/n\mathbb{Z}$ $Z / n Z$ पर बहुपद समीकरणों को लागू करने के लिए, लेखक समीकरणों के निकाय $F_i(\vec{\lambda}, \vec{x}) = 0$ $F_{i} (λ, x) = 0$ को प्राकृतिक संख्याओं $\mathbb{N}$ $N$ पर एक एकल गैर-ऋणात्मक डायोफेंटाइन समीकरण $G(\vec{\lambda}, n, \vec{x}, \vec{y}, \vec{z}) = 0$ $G (λ, n, x, y, z) = 0$ में परिवर्तित करते हैं।
- यह गुणांकों और पैरामीटर्स को उनके मोड $n$ के रेसिड्यू (residue) से बदलकर (उपयोग करते हुए टर्म $c \pmod n$ ) प्राप्त किया जाता है।
- समीकरण का निर्माण वर्गों के योग के रूप में किया जाता है: $\sum (G_i^2 - n^2 y_i^2)^2 + \sum (x_j + z_j - n + 1)^2 = 0$ ।
- यह रूपांतरण सुनिश्चित करता है कि $\mathbb{N}$ में समाधान $(\mathbb{Z}/n\mathbb{Z})^m$ में समाधानों के अनुरूप एक बायजेक्टिव (bijective) संबंध रखते हैं।
खोज स्थान (Search Space) को सीमित करना: लेखक यह सिद्ध करते हैं कि अरिथमेटिक टर्म्स $t(n)$ और $w(n)$ का अस्तित्व है जो चरों और डायोफेंटाइन समीकरण के मान को सीमित करते हैं। यह सुनिश्चित करता है कि खोज स्थान एक परिमित हाइपरक्यूब $[0, t(n)]^k$ है और फलन के मान $2^{w(n)}$ से कम हैं, जो हैमिंग वेट गणना तकनीक की पूर्व-आवश्यकताओं को पूरा करते हैं।
सामान्यीकृत ज्यामितीय प्रगति (Generalized Geometric Progressions): हाइपरक्यूब पर योग को सामान्यीकृत ज्यामितीय प्रगति $G_r(q, t) = \sum_{j=0}^t j^r q^j$ का उपयोग करके किया जाता है। शोध पत्र नोट करता है कि इन प्रगतियों को अरिथमेटिक टर्म्स के माध्यम से संगणना किया जा सकता है, जिससे अंतिम योग को एक क्लोज्ड-फॉर्म अरिथमेटिक टर्म के रूप में व्यक्त करना संभव हो जाता है।

प्रमुख योगदान और परिणाम

सामान्य प्रमेय (Theorem 3.1): यह शोध पत्र सिद्ध करता है कि पूर्णांक पैरामीटर्स $\vec{\lambda}$ वाले बहुपद समीकरणों द्वारा परिभाषित किसी भी एफाइन बीजगणितीय सेट्स के लिए, एक अरिथमेटिक टर्म $f(\vec{\lambda}, n)$ मौजूद है जो $\mathbb{Z}/n\mathbb{Z}$ पर सेट में बिंदुओं की संख्या की सटीक गणना करता है।
एलिप्टिक कर्व्स (Theorem 4.1): लेखक शॉर्ट वीयरस्ट्रैस नॉर्मल फॉर्म ( $x_2^2 = x_1^3 + Ax_1 + B$ $x_{2}^{2} = x_{1}^{3} + A x_{1} + B$ ) में एलिप्टिक कर्व्स के लिए स्पष्ट रूप से ऐसा एक सूत्र निर्मित करते हैं। वे विशिष्ट सीमाएँ $t(n) = (n+1)^2$ $t (n) = (n + 1)^{2}$ और $w(n) = n + 90$ $w (n) = n + 90$ प्राप्त करते हैं और परिणामी अरिथमेटिक टर्म $f(A, B, n)$ $f (A, B, n)$ की संरचना का वर्णन करते हैं।
- इस टर्म में एक निर्मित पूर्णांक $M(A, B, n)$ का हैमिंग वेट शामिल है, जो 51 उप-टर्म्स (एक फ्री टर्म और 50 मोनोमियल योगदान) का योग है।
- निर्माण $G_{12}$ तक की सामान्यीकृत ज्यामितीय प्रगति का उपयोग करता है।

महत्व और दावे
यह शोध पत्र मुख्य रूप से इन सूत्रों की सैद्धांतिक उपस्थिति के मामले में महत्व का दावा करता है, न कि उनकी व्यावहारिक उपयोगिता के मामले में।

क्लोज्ड फॉर्म्स का अस्तित्व: यह कार्य प्रदर्शित करता है कि $\mathbb{Z}/n\mathbb{Z}$ पर एफाइन बीजगणितीय सेट्स की कार्डिनैलिटी न केवल गणनीय है, बल्कि बुनियादी अंकगणितीय संक्रियाओं के एक निश्चित, परिमित संयोजन के रूप में व्यक्त करने योग्य भी है।
व्यावहारिकता पर विनम्रता: लेखक स्पष्ट रूप से कहते हैं कि "सूत्र व्यावहारिक उपयोग के लिए बहुत जटिल हैं।" वे इन सूत्रों को क्रिप्टोग्राफी या संख्या सिद्धांत एल्गोरिदम में तत्काल कार्यान्वयन के लिए प्रस्तावित नहीं करते हैं।
खुला प्रश्न: शोध पत्र स्वीकार करता है कि जबकि ऐसे टर्म्स के अस्तित्व को सिद्ध किया गया है, उनके टर्म्स की जटिलता उच्च है, और यह अज्ञात है कि समान सूत्र कितने सरल हो सकते हैं।

संक्षेप में, यह शोध पत्र एक रचनात्मक प्रमाण प्रदान करता है कि $\mathbb{Z}/n\mathbb{Z}$ पर एफाइन बीजगणितीय सेट्स के लिए पॉइंट-काउंटिंग फलन अरिथमेटिक टर्म्स के वर्ग में आता है, जो एलिमेंटरी फंक्शन्स पर पिछले कार्यों को रेसिड्यू रिंग्स के विशिष्ट डोमेन तक विस्तारित करता है।

इसी तरह के और पेपर