Exponent-one blockers and a Mordell-Weil construction of Euler bricks

यहाँ रेने पेशमैन (René Peschmann) के शोध पत्र "Exponent-one blockers and a Mordell–Weil construction of Euler bricks" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र संख्या सिद्धांत (number theory) की एक प्रसिद्ध खुली समस्या "परफेक्ट क्यूबॉइड प्रॉब्लम" (Perfect Cuboid Problem) को संबोधित करता है, जो 18वीं शताब्दी से चली आ रही है।

• परिभाषा: एक परफेक्ट क्यूबॉइड एक आयताकार समांतर पटल (rectangular parallelepiped) है जिसके तीन किनारे ($e_1, e_2, e_3$) और तीनों फलक विकर्ण (face diagonals) तथा अंतरिक्ष विकूर्ण (space diagonal) पूर्णांक होते हैं।
• वर्तमान स्थिति: आज तक किसी भी परफेक्ट क्यूबॉइड का उदाहरण नहीं मिला है, और न ही इसके अस्तित्व न होने को सिद्ध किया जा सका है।
• कार्यक्षेत्र: यह शोध पत्र "बॉडी क्यूबॉइड्स" (Body Cuboids) या "यूलर ब्रिक्स" (Euler Bricks) पर केंद्रित है, जहाँ किनारे और फलक विकर्ण पूर्णांक होते हैं, लेकिन अंतरिक्ष विकूर्ण का पूर्णांक होना आवश्यक नहीं है। ये प्रचुर मात्रा में उपलब्ध हैं और शास्त्रीय अनंत परिवारों (जैसे सांडर्सन, यूलर) तथा एक विशाल आकस्मिक (sporadic) सेट द्वारा पैरामीटराइज़ किए गए हैं।
• उद्देश्य: लेखक बॉडी क्यूबॉइड्स के संरचनात्मक गुणों की जांच करते हैं ताकि यह समझा जा सके कि वे परफेक्ट क्यूबॉइड बनने में क्यों विफल रहते हैं, और नए उदाहरणों का एक विशाल डेटासेट उत्पन्न करते हैं ताकि उनके अस्तित्व न होने संबंधी अनुमानों (conjectures) का परीक्षण किया जा सके।

2. कार्यप्रणाली (Methodology)

यह शोध पत्र बीजगणितीय ज्यामिति (algebraic geometry) (एलिप्टिक फाइब्रेशन) और संगणनात्मक संख्या सिद्धांत (computational number theory) (बड़े पैमाने पर गुणनखंड और सत्यापन) के दोहरे दृष्टिकोण का उपयोग करता है।

A. पैरामीट्राइजेशन (Master-Hits)

यह अध्ययन दो सह-अभाज्य पाइथागोरियन युग्मों $(a, b)$ और $(m, n)$ के आधार पर बॉडी क्यूबॉइड्स के एक विशिष्ट पैरामीट्राइजेशन का उपयोग करता है।

• पैरामीटर्स: $a > b > 0$, $m > n > 0$, जहाँ $a-b$ और $m-n$ विषम (odd) हैं।
• निर्माण: किनारे $x = U_1 U_2$, $y = V_1 U_2$, $z = U_1 V_2$ के रूप में परिभाषित हैं, जहाँ $U_i, V_i, W_i$ पाइथागोरियन त्रिकों (triples) से प्राप्त होते हैं।
• मास्टर-हिट स्थिति (Master-Hit Condition): एक टुपल $(a, b, m, n)$ एक "मास्टर-हिट" है यदि तीसरा फलक विकर्ण एक पूर्णांक है। इसके लिए यह आवश्यक है कि $M(a, b, m, n) = (V_1 U_2)^2 + (U_1 V_2)^2$ एक पूर्ण वर्ग हो।
• परफेक्ट क्यूबॉइड अवरोध (Perfect Cuboid Obstruction): एक मास्टर-हिट तभी परफेक्ट क्यूबॉइड बनेगा यदि अंतरिक्ष विकूर्ण का वर्ग, $f_1 = (W_1 U_2)^2 + (U_1 V_2)^2$, भी एक पूर्ण वर्ग हो।

B. मोर्डेल-वील निर्माण (Mordell–Weil Construction - Generator)

शास्त्रीय खोज सीमाओं से परे नए मास्टर-हिट्स उत्पन्न करने के लिए, लेखक एक एलिप्टिक फाइब्रेशन (elliptic fibration) का निर्माण करते हैं:

1. फाइब्रेशन: एक निश्चित सह-अभाज्य युग्म $(m, n)$ के लिए, मास्टर-हिट समीकरण एक जेनस-वन क्वार्टिक वक्र $H_{m,n}$ को परिभाषित करता है।
2. रूपांतरण: क्वार्टिक-टू-वीयरस्ट्रॉस रूपांतरण का उपयोग करके, $H_{m,n}$ को एक एलिप्टिक वक्र $E_{m,n}$ में मैप किया जाता है।
3. एल्गोरिदम: लेखक परिमेय बिंदुओं (rational points) को उत्पन्न करने के लिए मोर्डेल-वील समूह $E_{m,n}(\mathbb{Q})$ का उपयोग करते हैं।
   • $E_{m,n}$ पर परिमेय बिंदु $P$ को एक परिमेय फलन $\tau(P)$ के माध्यम से वापस क्वार्टिक पर लाया जाता है।
   • एक बिंदु एक वैध मास्टर-हिट प्रदान करता है यदि $\tau(P)$ एक धनात्मक परिमेय वर्ग है और वह पैरिटी/सह-अभाज्यता की शर्तों को पूरा करता है।
4. पैमाना (Scale): यह एल्गोरिथमिक जनरेटर अत्यधिक ऊँचाई (ऊपर $10^{888}$ तक) वाले मापदंडों वाले मास्टर-हिट्स की खोज करने की अनुमति देता है, जो व्यापक खोज (exhaustive search) की पहुँच से बहुत आगे है।

C. संगणनात्मक सत्यापन (Computational Verification)

यह शोध पत्र 1,284,670 मास्टर-हिट्स के एक विशाल डेटाबेस पर निर्भर करता है।

• गुणनखंडन (Factorization): इनमें से 151,575 के लिए, स्पेस-डायगोनल नॉर्म $f_1$ का पूर्ण गुणनखंड trial division, sympy, और YAFY (QS/GNFS) वाले पाइपलाइन का उपयोग करके किया गया था।
• सत्यापन स्क्रिप्ट: कस्टम पायथन/सेज (Python/Sage) स्क्रिप्ट पूर्णांक अंकगणित, गुणनखंड स्थिरता और "ब्लॉकर" गुणों को सत्यापित करती हैं।

3. मुख्य योगदान (Key Contributions)

योगदान 1: सत्यापित एक्सपोनेंट-वन ब्लॉकर घटना (The Verified Exponent-One Blocker Phenomenon)

शोध पत्र $f_1$ के अभाज्य गुणनखंडन के संबंध में एक मजबूत अनुमान को सूत्रबद्ध और संगणनात्मक रूप से सत्यापित करता है।

• अनुमान 4.1 (यूनिवर्सल एक्सपोनेंट-वन ब्लॉकर): प्रत्येक मास्टर-हिट के लिए, $f_1$ का एक अभाज्य भाजक $\ell$ मौजूद है जो:
  1. एक्सपोनेंट वन: $v_\ell(f_1) = 1$ (अभाज्य संख्या ठीक एक बार आती है)।
  2. जेनेरिसिटी (Genericity): $\ell$ पैरामीटर्स $(a, b, m, n)$ (जैसे $a, b, m, n, a+b, a^2+b^2$, आदि) से प्राप्त 29 "कैनोनिकल एक्सप्रेशन" की एक निश्चित सूची के साथ सह-अभाज्य है।
• महत्व: यह केवल एक विषम-घातांक (odd-exponent) अभाज्य संख्या खोजने से कहीं अधिक सशक्त है। घातांक 3, 5, आदि वाली अभाज्य संख्या भी $f_1$ को पूर्ण वर्ग होने से रोक सकती है, लेकिन उसमें एक वर्ग गुणनखंड (square factor) होगा। देखा गया अवरोध प्रिमिटिव (primitive) (घातांक 1) है, जिसका अर्थ है कि पूर्ण वर्ग होने में विफलता मौलिक है और उच्च घातों का परिणाम नहीं है।
• सत्यापन: यह घटना सभी 151,575 पूर्णतः गुणनखंडित रिकॉर्ड्स के लिए बिना किसी अपवाद के लागू होती है।
• विविधताओं का खंडन: शोध पत्र दिखाता है कि स्वाभाविक सुदृढ़ीकरण विफल हो जाते हैं:
  • सबसे बड़ा 'आउटसाइड-पैरामीटर' अभाज्य संख्या हमेशा ब्लॉकर नहीं होता है।
  • सबसे छोटा 'आउटसाइड-पैरामीटर' ब्लॉकर हमेशा एक्सपोनेंट-वन नहीं होता है।

योगदान 2: मोर्डेल-वील जनरेटर (The Mordell–Weil Generator)

लेखक एक कठोर एल्गोरिथम निर्माण प्रदान करते हैं जो 1,222,841 नए मास्टर-हिट्स (61,829 के आधार में जोड़ते हुए) उत्पन्न करता है।

• कवरेज: ये हिट्स 411 अलग-अलग एलिप्टिक फाइबर को कवर करते हैं।
• नवीनता: जनरेट किए गए ब्रिक्स के पैरामीटर्स पहले से ज्ञात किसी भी ब्रिक्स की तुलना में बहुत बड़े हैं, जो गुणात्मक रूप से व्यापक खोज की पहुंच से बाहर हैं।
• परिणाम: जनरेट किए गए 1,284,670 ब्रिक्स में से एक भी परफेक्ट क्यूबॉइड नहीं है (सटीक पूर्णांक वर्ग जाँच द्वारा सत्यापित)।

योगदान 3: संरचनात्मक अपघटन (Structural Decomposition)

शोध पत्र $f_1$ का एक कैनोनिकल अपघटन प्रस्तुत करता है:
$$f_1 = g_0^2 (\xi^2 + \eta^2)$$
जहाँ $g_0 = \gcd(W_1 U_2, U_1 V_2)$ है और $\xi, \eta$ सह-अभाज्य पूर्णांक हैं।

• अनुमान 4.14: $(\xi^2 + \eta^2)$ कभी भी पूर्ण वर्ग नहीं होता है।
• निहितार्थ: यदि यह अनुमान सत्य है, तो यह एक ब्लॉकर की उपस्थिति को दर्शाता है (अनुमान 4.7), जो बदले में यह दर्शाता है कि इस श्रेणी में कोई परफेक्ट क्यूबॉइड मौजूद नहीं है। यह समस्या को यह जाँचने तक सीमित कर देता है कि क्या विशिष्ट युग्म $(\xi, \eta)$ एक पाइथागोरियन त्रिक बना सकते हैं।

4. परिणाम (Results)

• डेटाबेस का आकार: शोध पत्र 1,284,670 मास्टर-हिट्स का डेटाबेस स्थापित करता है।
• परफेक्ट क्यूबॉइड की स्थिति: इस डेटासेट में शून्य परफेक्ट क्यूबॉइड मिले।
• ब्लॉकर सांख्यिकी:
  • 100% पूर्णतः गुणनखंडित रिकॉर्ड्स एक्सपोनेंट-वन ब्लॉकर स्थिति को संतुष्ट करते हैं।
  • डेटाबेस का 95.2% हिस्सा नए मोर्डेल-वील जनरेटर से आता है।
  • जनरेटर ऐसे ब्रिक्स बनाता है जो शास्त्रीय अनंत परिवारों (Saunderson, Lenhart, Himane) का हिस्सा नहीं हैं, जो पुष्टि करता है कि जनरेटर एक "स्पोरैडिक" संरचना तक पहुँचता है।
• रैंक की खोज: छह एलिप्टिक फाइबर को कम से कम 5 का मोर्डेल-वील रैंक पाया गया (जो मानक डिसेंट सीमाओं के कारण पहले 4 बताया गया था), जिससे डेटाबेस के सबसे बड़े ब्रिक्स की खोज हुई।

5. महत्व (Significance)

• संरचनात्मक अंतर्दृष्टि: यह शोध पत्र केवल ब्रूट-फोर्स सर्च से आगे बढ़कर यह पहचानने के लिए कि बॉडी क्यूबॉइड्स परफेक्ट क्यूबॉइड बनने में क्यों विफल रहते हैं: एक प्रिमिटिव, जेनेरिक, एक्सपोनेंट-वन अभाज्य ब्लॉकर की उपस्थिति। यह सुझाव देता है कि अवरोध पैरामीट्राइजेशन की ज्यामिति के प्रति आंतरिक है, न कि केवल छोटी संख्याओं का संयोग।
• पद्धतिगत प्रगति: उच्च-ऊँचाई (high-height) वाले समाधानों की खोज के लिए मोर्डेल-वील समूह गणना का सफल अनुप्रयोग डायफेंटाइन ज्यामिति (Diophantine geometry) को अन्वेषण करने के लिए एक शक्तिशाली नया उपकरण प्रदान करता है।
• अस्तित्व न होने के प्रमाण: हालांकि यह एक प्रमाण नहीं है, फिर भी अनुभवजन्य साक्ष्य अत्यधिक है। तथ्य यह है कि "एक्सपोनेंट-वन ब्लॉकर" घटना पैरामीटर आकार के 12 क्रमों (orders of magnitude) तक फैले डेटासेट में सार्वभौमिक रूप से लागू होती है, यह मजबूती से समर्थन करती है कि इस पैरामीट्राइजेशन क्लास के भीतर परफेक्ट क्यूबॉइड्स का अस्तित्व नहीं है।
• खुले प्रश्न: शोध पत्र प्रमाण के मार्ग को स्पष्ट रूप से रेखांकित करता है: यह सिद्ध करना कि कैनोनिकल अपघटन में सह-अभाज्य युग्म $(\xi, \eta)$ कभी भी पाइथागोरियन त्रिक नहीं बना सकता (अनुमान 4.14), इस श्रेणी में परफेक्ट क्यूबॉइड्स के गैर-अस्तित्व को बिना शर्त सिद्ध कर देगा।

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