🔢 mathematics

The Spine: A Supersingular Highway

यह शोध पत्र $\ell=2$ और विशिष्ट अभाज्य संख्याओं $p$ के लिए सुपरसिंगुलर $\ell$ -आइसोजेनी ग्राफ (supersingular $\ell$ -isogeny graph) की रीढ़ (spine) के संरचनात्मक गुणों का विश्लेषण करता है, जिसमें औसत व्यास (mean diameter) की गणना करने के लिए दूरी और व्यास फलनों (distance and diameter functions) को व्युत्पन्न किया गया है और इस बात के हेतुइस्टिक्स (heuristics) स्थापित किए गए हैं कि रीढ़ की संरचना $p$ के साथ कैसे परिवर्तित होती है।

मूल लेखक: Taha Hedayat, Renate Scheidler, Sarah Arpin

प्रकाशित 2026-07-17

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

CC BY 4.0

मूल लेखक: Taha Hedayat, Renate Scheidler, Sarah Arpin

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

गणित के छिपे हुए राजमार्गों का गुप्त मानचित्र

कल्पना कीजिए कि एक ऐसी दुनिया है जहाँ आपके डिजिटल रहस्य एक ऐसे भूलभुलैया में बंद हैं जो इतनी जटिल है कि भविष्य का कोई सुपरकंप्यूटर भी इसका निकास नहीं खोज सकता। यह आइसोजेनी-आधारित क्रिप्टोग्राफी (isogeny-based cryptography) का वादा है, जो आने वाले क्वांटम कंप्यूटरों के युग में हमारे डेटा की रक्षा करने के लिए डिज़ाइन किया गया एक अत्याधुनिक क्षेत्र है। इस सुरक्षा के केंद्र में एक अजीब और सुंदर गणितीय वस्तु है: "सुपरसिंगुलर एलिप्टिक कर्व्स" (supersingular elliptic curves) से बना एक ग्राफ। इन कर्व्स को अद्वितीय, जादुई द्वीपों के रूप में सोचें। "आइसोजेनीज़" (isogenies) उन्हें जोड़ने वाले पुल हैं। कोड को तोड़ने के लिए, एक हैकर को इन द्वीपों की इस भूलभुलैया में एक विशिष्ट पथ खोजना होगा।

लंबे समय तक, गणितज्ञों को पता था कि इनमें से अधिकांश द्वीप एक विशाल, अनुमानित संरचना बनाते हैं जिसे "ज्वालामुखी" (volcano) कहा जाता है, जहाँ पुल एक सख्त पैटर्न का पालन करते हैं। हालाँकि, एक विशेष, पेचीदा मामला था जहाँ मानचित्र धुंधला हो गया था। इस विशिष्ट परिदृश्य में, पुल केवल एक व्यवस्थित ज्वालामुखी नहीं बनाते थे; उन्होंने एक रहस्यमय "रीढ़" (spine) बनाई जिसमें एक छिपा हुआ किनारा था जो कभी दो अलग-अलग द्वीपों को जोड़ता था और कभी नहीं। यह समझना कि यह रीढ़ वास्तव में कैसे व्यवहार करती है, अत्यंत महत्वपूर्ण है क्योंकि यदि पुल गलत तरीके से जुड़ते हैं, तो भूलभुलैया को हल करना आसान हो सकता है, जिससे सुरक्षा खतरे में पड़ सकती है। यह शोध पत्र मानचित्र के उस धुंधले कोने की गहराई में उतरता है ताकि यह पता लगाया जा सके कि रीढ़ वास्तव में कैसी दिखती है और वे रहस्यमय कनेक्शन कितनी बार होते हैं।

रीढ़: एक सुपरसिंगुलर राजमार्ग

इस शोध पत्र में, लेखक तहा हेदायात (Taha Hedayat) एक नए खोजे गए अजीब राजमार्ग प्रणाली का पता लगाने वाले एक मानचित्रकार की तरह कार्य करते हैं। यह "राजमार्ग" एलिप्टिक कर्व्स नामक गणितीय आकृतियों के बीच कनेक्शन का एक नेटवर्क है। विशेष रूप से, लेखक एक ऐसे मामले की जांच कर रहे हैं जहाँ सड़क के नियम थोड़े अजीब हो जाते हैं: जब शामिल अभाज्य संख्या (prime number) 2 है और एक अन्य संख्या, $p$ , 120 से विभाजित होने पर 71 या 119 का शेषफल छोड़ती है।

इस विशिष्ट परिदृश्य में, नेटवर्क आमतौर पर ज्वालामुखीय द्वीपों के ढेर जैसा दिखता है। इनमें से अधिकांश द्वीप आपस में खूबसूरती से मिल जाते हैं, लेकिन एक विशेष द्वीप अपने आप में मुड़ जाता है, जिससे एक अद्वितीय "फोल्डेड कंपोनेंट" (folded component) बनता है। फिर, एक नया, रहस्यमय पुल दिखाई देता है। बड़ा सवाल जो यह शोध पत्र पूछता है वह है: क्या यह नया पुल दो अलग-अलग द्वीपों को जोड़ता है (एक "एज अटैचमेंट") या क्या यह केवल एक ही द्वीप पर वापस लौट आता है?

इसका उत्तर देने के लिए, लेखक केवल पुलों को नहीं देखते; वे द्वीपों के "व्यास" (diameter) को मापते हैं। रोजमर्रा की भाषा में, व्यास वह सबसे लंबा संभव रास्ता है जो आपको एक द्वीप के एक तरफ से दूसरी ओर जाने के लिए तय करना होगा। यदि नया पुल दो अलग-अलग द्वीपों को जोड़ता है, तो पूरे सिस्टम में पैदल चलना बहुत लंबा हो जाता है। यदि पुल केवल वापस लौट आता है, तो पैदल चलना लगभग समान रहता है।

मुख्य खोज
यह शोध पत्र पूरे नेटवर्क के लिए "मीन डायमीटर" (औसत सबसे लंबा रास्ता) की गणना करता है। लेखक सिद्ध करते हैं कि यह औसत मान एक शक्तिशाली फिंगरप्रिंट की तरह कार्य करता है।

यदि औसत व्यास अधिक है: तो यह सुझाव देता है कि नए पुल ने दो अलग-अलग द्वीपों को जोड़ दिया है, जिससे वे एक विशाल पथ में विलीन हो गए।
यदि औसत व्यास कम है: तो यह सुझाव देता है कि पुल एक ही द्वीप के भीतर रहा, जिससे द्वीप अलग ही रहे।

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

डेटा क्या प्रकट करता है
लेखक ने इन कनेक्शनों के होने की आवृत्ति देखने के लिए 10,000 अलग-अलग अभाज्य संख्याओं पर सिमुलेशन चलाया। परिणाम आश्चर्यजनक थे:

सोलो एक्ट (Solo Act): लगभग 77.93% मामलों में, नेटवर्क में केवल एक ही द्वीप (फोल्डेड वाला) था। जोड़ने के लिए कोई अलग द्वीप नहीं थे, इसलिए कोई "एज अटैचमेंट" नहीं हो सका। नया पुल मौजूदा द्वीप के भीतर ही प्रकट हुआ।
कनेक्शन (The Connection): शेष 22.07% मामलों में, कई द्वीप थे। यहाँ, नया पुल एक यादृच्छिक यात्री की तरह कार्य करता था। इसने लगभग 67.29% बार दो अलग-अलग द्वीपों को जोड़ा, और 32.71% बार एक ही द्वीप के भीतर रहा।

इसका क्या अर्थ है (और क्या नहीं)
यह शोध पत्र इस विचार को स्पष्ट रूप से खारिज करता है कि नया पुल हमेशा द्वीपों को जोड़ता है या हमेशा एक ही जगह रहता है। इसके बजाय, डेटा बताता है कि व्यवहार कुछ हद तक यादृच्छिक है, हालांकि जब केवल एक ही द्वीप होता है तो मुख्य द्वीप के भीतर रहने की एक मजबूत प्रवृत्ति होती है।

लेखक एक दिलचस्प विचित्रता भी नोट करते हैं: जब पुल वास्तव में अलग-अलग द्वीपों को जोड़ता है, तो डेटा बताता है कि इसकी संभावना बहुत कम है कि पुल फोल्डेड द्वीप के बिल्कुल "सिरों" (ends) से जुड़ेगा। हालाँकि लेखक यह साबित नहीं कर सकते कि यह एक कठोर नियम है, डेटा दिखाता है कि यह व्यवहार अप्रत्याशित है और साधारण संभाव्यता की तुलना में बहुत कम बार होता है।

हम कितने आश्वस्त हैं?
यह याद रखना महत्वपूर्ण है कि ये निष्कर्ष 10,000 विशिष्ट संख्याओं के सिमुलेशन पर आधारित हैं। लेखक स्पष्ट रूप से कहते हैं कि ये "ह्यूरिस्टिक्स" (पैटर्न पर आधारित शिक्षित अनुमान) और "अनुभवजन्य अवलोकन" (empirical observations) हैं, न कि हर संभावित संख्या के लिए पूर्ण गणितीय प्रमाण। नमूना आकार, जो एक मनुष्य के लिए बड़ा है, मौजूद अभाज्य संख्याओं की अनंत संख्या की तुलना में "क्रिप्टोग्राफिक रूप से छोटा" है। हालाँकि, डेटा में पैटर्न इतने सुसंगत हैं कि लेखक आश्वस्त हैं कि "मीन डायमीटर" का उपयोग करके संरचना को पहचानने की विधि वैध है।

संक्षेप में, यह शोध पत्र एक नया उपकरण प्रदान करता है—एक गणितीय पैमाना जिसे "मीन डायमीटर" कहा जाता है—जो शोधकर्ताओं को एक सुपरसिंगुलर नेटवर्क को देखने और तुरंत यह जानने की अनुमति देता है कि उसके छिपे हुए पुलों ने द्वीपों को मिला दिया है या बस एक नया लूप जोड़ दिया है। यह हमें उन गणितीय भूलभुलैया के आकार को समझने में मदद करता है जो हमारी डिजिटल दुनिया को सुरक्षित रखते हैं।

तकनीकी सारांश: द स्पाइन: अ सुपरसिंगुलर हाईवे

समस्या विवरण
यह शोध पत्र एक परिमित क्षेत्र $\mathbb{F}_p$ पर सुपरसिंगुलर $\ell$ -आइसोजेनी ग्राफ के "स्पाइन" ( $Sp_\ell$ ) के संरचनात्मक लक्षण वर्णन को संबोधित करता है। स्पाइन को $G_\ell(\mathbb{F}_p)$ के पूर्ण आइसोजेनी ग्राफ के उपग्राफ (subgraph) के रूप में परिभाषित किया गया है, जिसमें वे शीर्ष (एलिप्टिक कर्व्स) शामिल हैं जिनके $j$ -इनवैरिएंट $\mathbb{F}_p$ पर परिभाषित हैं। पिछले कार्यों, विशेष रूप से [HAS26] ने, $p$ और $\ell$ की कई कॉंग्रुएंस स्थितियों (congruence conditions) के लिए $Sp_\ell$ के स्पष्ट ग्राफ़-सैद्धांतिक विवरण प्रदान किए, लेकिन उन्होंने एक विशिष्ट मामला अनसुलझा छोड़ दिया: $\ell=2$ और $p \equiv 71, 119 \pmod{120}$ ।

इस विशिष्ट मामले में, पूर्ण ग्राफ $G_\ell(\mathbb{F}_p)$ से $Sp_\ell$ में संक्रमण एक घटक के "फोल्डिंग" (folding) और अन्य के "स्टैकिंग" (stacking) के माध्यम से होता है। महत्वपूर्ण रूप से, स्पाइन में एक नया किनारा (edge) जोड़ा जाता है जो $\mathbb{F}_p$ पर परिभाषित नहीं है। अनसुलझी समस्या यह निर्धारित करना है कि क्या यह नया किनारा एक "एज अटैचमेंट" (दो पहले से विच्छेदित घटकों को जोड़ने वाला) के रूप में कार्य करता है या एक ही घटक के भीतर आंतरिक रहता है। यह अंतर महत्वपूर्ण है क्योंकि एज अटैचमेंट ग्राफ के व्यास (diameter) और कनेक्टिविटी को महत्वपूर्ण रूप से बदलते हैं, जो सीधे तौर पर आइसोजेनी-आधारित क्रिप्टोग्राफी में उपयोग किए जाने वाले पाथ-फाइंडिंग एल्गोरिदम की दक्षता को प्रभावित करते हैं।

कार्यप्रणाली
लेखक $\ell=2$ और $p \equiv 71, 119 \pmod{120}$ के लिए $Sp_\ell$ की संरचना का विश्लेषण करने के लिए बीजगणितीय संख्या सिद्धांत (algebraic number theory) और ग्राफ सिद्धांत के संयोजन का उपयोग करते हैं।

ग्राफ अपघटन (Graph Decomposition): शोध पत्र $G_\ell(\mathbb{F}_p)$ से $Sp_\ell$ में संक्रमण को मॉडल करने के लिए $\Gamma$ और $\Theta$ फलनों (functions) का उपयोग करता है (जिन्हें [HAS26] में औपचारिक रूप दिया गया है)। $\Gamma$ , $\mathbb{F}_{p^2}$ -आइसोमोर्फिज्म क्लासेस के $\mathbb{F}_p$ -आइसोमोर्फिज्म क्लासेस में विलय (stacking और folding) का प्रतिनिधित्व करता है, जबकि $\Theta$ गैर- $\mathbb{F}_p$ किनारों को जोड़ता है।
घटक विश्लेषण (Component Analysis): मध्यवर्ती ग्राफ $\Gamma(G_\ell(\mathbb{F}_p))$ $Γ (G_{ℓ} (F_{p}))$ के घटकों को दो प्रकारों में वर्गीकृत किया गया है:
- फोल्डेड कंपोनेंट ( $F$ ): एक ट्री-जैसी संरचना जिसमें $j$ -इनवैरिएंट 1728 और 8000 शामिल हैं।
- स्टैक्ड कंपोनेंट्स ( $T$ ): आइसोमोर्फिक घटकों के विलय से बनी चक्र-जैसी (cycle-like) संरचनाएं।
मेट्रिक व्युत्पत्ति (Metric Derivation): शोध पत्र $F$ और $T$ दोनों के लिए दूरी (distance), विलक्षणता (eccentricity), और व्यास (diameter) कार्यों के स्पष्ट सूत्र व्युत्पन्न करता है। यह स्थापित करता है कि एक स्टैक्ड कंपोनेंट का व्यास $\frac{1}{2}(\text{ord}(\ell)+3)$ है और फोल्डेड कंपोनेंट का $\frac{1}{2}(\text{ord}(\ell)+1)$ है, जहाँ $\text{ord}(\ell)$ है $\mathbb{Q}(\sqrt{-p})$ के क्लास ग्रुप में $\ell$ के ऊपर स्थित अभाज्य का क्रम।
एज प्रभाव विश्लेषण (Edge Impact Analysis): लेखक $\Theta$ $Θ$ द्वारा जोड़े गए नए किनारे $E$ $E$ के प्रभाव का तीन परिदृश्यों के तहत विश्लेषण करते हैं:
- $E$ एक स्टैक्ड कंपोनेंट के भीतर आंतरिक है।
- $E$ फोल्डेड कंपोनेंट के भीतर आंतरिक है।
- $E$ दो अलग-अलग घटकों को जोड़ता है (एज अटैचमेंट)।
मीन डायमीटर ह्यूरिस्टिक (Mean Diameter Heuristic): एक प्रमुख पद्धतिगत योगदान एक विच्छेदित ग्राफ के "मीन डायमीटर" की परिभाषा है। यह शोध पत्र सिद्ध करता है कि $Sp_\ell$ का मीन डायमीटर केवल तभी बढ़ता है जब एक एज अटैचमेंट होता है। यह गणना किए गए मीन डायमीटर मान के आधार पर संरचनात्मक मामलों के बीच अंतर करने की अनुमति देता है।
कंप्यूटेशनल सत्यापन (Computational Verification): यूनिवर्सिटी ऑफ कैलगरी के MSX1 सर्वर का उपयोग करके, लेखक ने 10,000 अभाज्य संख्याओं (सीमा 17,471 से 2,186,519 तक) के लिए मीन डायमीटर की गणना की जो कॉंग्रुएंस स्थितियों को पूरा करती हैं। इन मानों की तुलना क्लास नंबर $h(-p)$ और $\text{ord}(\ell)$ से प्राप्त सैद्धांतिक सीमाओं से की गई ताकि प्रत्येक अभाज्य के लिए स्पाइन की संरचना को वर्गीकृत किया जा सके।

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

स्पष्ट व्यास सूत्र (Explicit Diameter Formulas): यह शोध पत्र $\ell=2, p \equiv 71, 119 \pmod{120}$ के विशिष्ट मामले के लिए फोल्डेड और स्टैक्ड कंपोनेंट्स के लिए दूरी, विलक्षणता और व्यास कार्यों का पहला पूर्ण व्युत्पत्ति प्रदान करता है।
मीन डायमीटर के माध्यम से संरचनात्मक विभेदन: यह स्पाइन के मीन डायमीटर की गणना करके एज अटैचमेंट और गैर-अटैचमेंट परिदृश्यों के बीच अंतर करने के लिए एक कठोर विधि स्थापित करता है। $\text{ord}(\ell)$ , $h(-p)$ , और मीन डायमीटर दिए जाने पर स्पाइन की संरचना निर्धारित करने के लिए एक एल्गोरिदम (एल्गोरिदम 1) प्रदान किया गया है।
अनुभवजन्य ह्यूरिस्टिक्स (Empirical Heuristics): व्यापक गणना के माध्यम से, शोध पत्र क्लास ग्रुप में 2 के ऊपर स्थित अभाज्य द्वारा क्लास ग्रुप उत्पन्न करने की आवृत्ति और नए किनारे के स्थान के वितरण के संबंध में डेटा-संचालित ह्यूरिस्टिक्स प्रदान करता है।

परिणाम
10,000 अभाज्य संख्याओं के कंप्यूटेशनल अध्ययन ने निम्नलिखित अनुभवजन्य परिणाम दिए:

क्लास ग्रुप जनरेशन: लगभग 77.93% मामलों में, 2 के ऊपर का अभाज्य क्लास ग्रुप को उत्पन्न करता है ( $h(-p) = \text{ord}(\ell)$ )। इन उदाहरणों में, स्पाइन केवल फोल्डेड कंपोनेंट से बना होता है, और कोई एज अटैचमेंट नहीं होता है।
एज अटैचमेंट फ्रीक्वेंसी: शेष 22.07% मामलों में (जहाँ स्टैक्ड कंपोनेंट्स मौजूद हैं), लगभग 67.29% उदाहरणों में एज अटैचमेंट होता है।
एज लोकेशन: जब एज अटैचमेंट होता है, तो फोल्डेड कंपोनेंट और दो स्टैक्ड कंपोनेंट्स के बीच होने वाले अटैचमेंट के बीच लगभग समान विभाजन होता है।
गैर-अटैचिंग एडजेस: जब कोई अटैचमेंट नहीं होता है, तो नया किनारा शायद ही कभी ग्राफ के व्यास को कम करता है (कई घटकों वाले लगभग 3.08% मामले)।
वितरण विसंगतियां (Distribution Anomalies): डेटा सुझाव देता है कि नया किनारा फोल्डेड कंपोनेंट के भीतर एक छोटे, गैर-अटैचिंग किनारे के रूप में होने की संभावना उतनी नहीं है जितना कि एक शुद्ध यादृच्छिक वितरण (random distribution) में हो सकती है।

महत्व
यह शोध पत्र दावा करता है कि यह $\ell=2$ और $p$ की विशिष्ट कॉंग्रुएंस क्लासेस के लिए सुपरसिंगुलर आइसोजेनी ग्राफ स्पाइन के संबंध में साहित्य के एक विशिष्ट अंतराल को हल करता है। व्यास कार्यों और एज अटैचमेंट का पता लगाने के लिए मीन डायमीटर के माध्यम से एक विधि प्रदान करके, यह कार्य स्पाइन की कनेक्टिविटी की भविष्यवाणी करने के लिए एक उपकरण प्रदान करता है। यह आइसोजेनी-आधारित क्रिप्टोसिस्टम के सुरक्षा मापदंडों को समझने के लिए महत्वपूर्ण है, क्योंकि पाथ-फाइंडिंग समस्या की कठिनाई ग्राफ के व्यास और कनेक्टिविटी से जुड़ी होती है।

लेखक विनम्रतापूर्वक नोट करते हैं कि हालांकि डेटा मजबूत रुझान दिखाता है (जैसे कि 2 के ऊपर के अभाज्य द्वारा क्लास ग्रुप उत्पन्न करने की उच्च आवृत्ति), नमूना आकार "क्रिप्टोग्राफिक रूप से छोटा" है और परिणाम सभी $p$ के लिए सिद्ध प्रमेय के बजाय अनुभवजन्य ह्यूरिस्टिक्स हैं। शोध पत्र निष्कर्ष निकालता है कि इस पद्धति को [HAS26] के अन्य मामलों में विस्तारित किया जा सकता है और देखे गए लघु गैर-अटैचिंग किनारों के अभाव की आगे जांच की जानी चाहिए।

गणित के छिपे हुए राजमार्गों का गुप्त मानचित्र

रीढ़: एक सुपरसिंगुलर राजमार्ग

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