On pairs of primes with small order reciprocity

कल्पना कीजिए कि आप एक अत्यंत सुरक्षित डिजिटल तिजोरी बनाने की कोशिश कर रहे हैं। इसके ताले को अटूट बनाने के लिए, आपको दो विशाल, रहस्यमय संख्याओं (अभाज्यों) की आवश्यकता है जो एक-दूसरे के साथ "लुका-छिपी" का एक बहुत ही विशिष्ट खेल खेलती हैं। क्रिप्टोग्राफी की दुनिया में, ये संख्याएँ 'पेयरिंग-आधारित ज़ीरो-नॉलेज प्रूफ' नामक एक विशेष प्रकार के गणित की कुंजियाँ हैं। ये प्रमाण आपको अपना रहस्य प्रकट किए बिना यह सिद्ध करने देते हैं कि आप उस रहस्य को जानते हैं—जो गुमनाम मतदान या निजी लेनदेन के लिए एकदम सही है। लेकिन इन प्रमाणों के काम करने के लिए पर्याप्त तेज़ होने के लिए, उन दो अभाज्य संख्याओं को "मैत्रीपूर्ण" होना चाहिए। उन्हें एक विशिष्ट, छोटे संबंध की आवश्यकता होती जहाँ एक संख्या को दूसरी संख्या की घात (power) में बहुत तेज़ी से बदला जा सके, और इसके विपरीत भी। यदि वे बहुत दूर या बहुत जटिल हैं, तो गणित व्यावहारिक रूप से बहुत धीमा हो जाएगा। यदि वे बहुत सरल हैं, तो तिजोरी पर्याप्त सुरक्षित नहीं हो सकती है। बड़ा सवाल यह है कि क्या जंगली दुनिया में ऐसे पूर्ण, मैत्रीपूर्ण जोड़ों का वास्तव में अस्तित्व है, या वे केवल एक गणितीय मिथक हैं?

यह शोध पत्र उन विशिष्ट अभाज्य संख्याओं के जोड़ों की खोज के लिए एक विशाल डिजिटल खजाना खोज है। लेखक, क्रेग कोस्टेलो और गौरीश कोर्पल, ऐसे अभाज्य जोड़ों को खोजने के लिए निकले जहाँ प्रत्येक संख्या का दूसरे के सापेक्ष एक "छोटा क्रम" (small order) हो। सरल शब्दों में, इसका अर्थ यह है कि यदि आप एक अभाज्य संख्या को कुछ बार स्वयं से गुणा करते हैं, तो अंततः आपको एक ऐसी संख्या प्राप्त होगी जिसे दूसरी अभाज्य संख्या से विभाजित करने पर शेषफल 1 बचता है, और यह आश्चर्यजनक रूप से कम चरणों में होता है। वे इस संबंध को "ऑर्डर रेसिप्रोसिटी" (order reciprocity) कहते हैं।

यह क्यों महत्वपूर्ण है? क्योंकि इन जोड़ों को खोजना विशेष कर्व्स के "2-साइकिल" (2-cycle) के निर्माण का पहला चरण है जिनका उपयोग क्रिप्टोग्राफी में किया जाता है। ये 2-साइकिल डिजिटल डेटा को सुरक्षित करने के तरीके में क्रांति ला सकते हैं। हालाँकि, इसमें एक पेंच है: ज्ञात जोड़ों का एकमात्र परिवार (जिसे MNT परिवार कहा जाता है) पहले से ही अच्छी तरह से ज्ञात है, लेकिन इसमें कुछ खामियां हैं जो इसे आधुनिक सुरक्षा आवश्यकताओं के लिए आदर्श होने से कम बनाती हैं। लेखक जानना चाहते थे कि क्या बाहर अन्य जोड़े मौजूद हैं, विशेष रूप से थोड़े बड़े "ऑर्डर" (जैसे 12 या 50) वाले, जो अधिक सुरक्षित और कुशल हो सकते हैं।

उत्तर खोजने के लिए, टीम ने एक चतुर कंप्यूटर एल्गोरिदम—एक डिजिटल छलनी (sieve)—बनाया जो इन दुर्लभ संबंधों को पहचानने के लिए लाखों अभाज्य संख्याओं को स्कैन कर सके। उन्होंने केवल छोटी संख्याओं को नहीं देखा; उन्होंने 200 मिलियनवें अभाज्य तक गहराई से जाँच की। वे ऐसे जोड़ों की तलाश कर रहे थे जहाँ "ऑर्डर" संख्याएँ छोटी (2 और 50 के बीच) हों, जो व्यावहारिक क्रिप्टोग्राफी के लिए सबसे उपयुक्त है।

उनके खोज के परिणाम रोमांचक पुष्टि और आश्चर्यजनक दुर्लभता का मिश्रण थे। उन्होंने पाया कि प्रसिद्ध MNT परिवार (ऑर्डर 4 और 6 के साथ) उनके द्वारा जाँची गई सबसे बड़ी संख्याओं में भी सबसे आम प्रकार का जोड़ा है। हालाँकि, अन्य संयोजनों के लिए, ये जोड़े अविश्वसनीय रूप से दुर्लभ हैं। वास्तव में, उनका डेटाबेस बताता है कि जैसे-जैसे अभाज्य संख्याएँ बड़ी होती जाती हैं, इन विशेष जोड़ों को खोजना कठिन होता जाता है। उन्हें अपने पूरे विशाल खोज में (12, 12) ऑर्डर वाले जोड़े का ठीक एक उदाहरण मिला, और कई अन्य संयोजनों के लिए, उन्हें बिल्कुल कुछ भी नहीं मिला।

यह शोध पत्र इस रहस्य को हल करने का दावा नहीं करता कि क्या इन जोड़ों के अनंत परिवार मौजूद हैं। इसके बजाय, यह सुझाव देता है कि वे अत्यंत दुर्लभ हो सकते हैं। लेखक कई खुले प्रश्न पूछते हैं: क्या उनके द्वारा पाया गया वह एकल (12, 12) जोड़ा ही अस्तित्व में एकमात्र उदाहरण है? क्या कोई अन्य संयोजन हैं जो अनंत बार दिखाई देते हैं, या वे सभी बड़ी संख्याओं के बढ़ने के साथ समाप्त हो जाते हैं? उनका कार्य यह साबित नहीं करता कि ये जोड़े मौजूद नहीं हैं, बल्कि यह दृढ़ता से संकेत देता है कि यदि आप उनकी तलाश कर रहे हैं, तो आपको एक बहुत अच्छे मानचित्र और बहुत भाग्य की आवश्यकता होगी, क्योंकि वे संख्या ब्रह्मांड के सबसे गहरे और सबसे भीड़भाड़ वाले कोनों में छिपे हुए हैं।