On minima of theta and Epstein zeta functions in dimension four

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

दो शोधकर्ताओं, सेनपिंग लुओ और जुनचेंग वेई ने अंततः इस चार-आयामी पहेली को हल कर दिया है। उन्होंने सिद्ध किया कि चार-आयामी स्थान में सभी संभावित दोहराव वाले पैटर्नों के बीच, एक विशिष्ट व्यवस्था, जिसे 'रूट लैटिस D4' (root lattice D4) के रूप में जाना जाता है, निर्विवाद विजेता है। यह वह विशिष्ट संरचना है जो ऊर्जा के एक विशिष्ट माप, जिसे 'थीटा फंक्शन' (theta function) कहा जाता है, को न्यूनतम करती है, जो लैटिस के प्रत्येक बिंदु का दूसरे प्रत्येक बिंदु पर प्रभाव को जोड़ता है। उनका कार्य इस बात की भी पुष्टि करता है कि यही संरचना एक संबंधित माप जिसे 'एपस्टीन ज़ेटा फंक्शन' (Epstein zeta function) कहा जाता है, को न्यूनतम करती है, जो लंबी दूरी तक बिंदुओं की परस्पर क्रिया का वर्णन करता है। इस प्रमाण से पहले, गणितज्ञ जानते थे कि D4 लैटिस एक 'लोकल विनर' (स्थानीय विजेता) था—अर्थात यह अपने निकटतम पड़ोसियों से बेहतर था—लेकिन वे निश्चित नहीं हो सकते थे कि क्या यह एक 'ग्लोबल विनर' (वैश्विक विजेता) है, यानी सभी संभावित आकृतियों में से पूर्णतः सर्वश्रेष्ठ है। लुओ और वेई ने इस अंतर को पाट दिया, और कठोरता से यह प्रदर्शित किया कि कोई अन्य व्यवस्था इसे मात नहीं दे सकती।

यह समझने के लिए कि उन्होंने क्या किया, व्यक्ति को समस्या की प्रकृति को समझना होगा। शोधकर्ता एक चार-आयामी ग्रिड पर विचार कर रहे थे जहाँ बिंदुओं का घनत्व स्थिर है; आप सिस्टम को "बेहतर" बनाने के लिए केवल अधिक बिंदु नहीं जोड़ सकते। इसके बजाय, आपको ग्रिड के आकार को ही बदलना होगा। लक्ष्य उस आकार को खोजना है जो बिंदुओं के बीच की सभी परस्पर क्रियाओं के योग को जितना संभव हो उतना कम कर सके। भौतिकी की भाषा में, यह "ग्राउंड स्टेट" (ground state) खोजने के समान है, जो एक प्रणाली द्वारा प्राप्त की जा सकने वाली सबसे स्थिर विन्यास है। D4 लैटिस बिंदुओं की एक विशिष्ट, अत्यधिक सममित व्यवस्था है। इसे पूर्णांक निर्देशांकों के एक सेट से बनाया गया है जिसमें एक विशेष नियम है: किसी भी बिंदु में निर्देशांकों का योग एक सम संख्या होना चाहिए। एक मानक घनत्व के साथ स्केल किए जाने पर, इस आकृति का एक अद्वितीय गुण होता है जहाँ इसके बिंदु बिना ओवरलैप हुए यथासंभव घनी तरह से पैक होते हैं, जिससे एक ऐसी संरचना बनती है जो उल्लेखनीय रूप से संतुलित है।

समाधान का मार्ग एक सरल गणना नहीं बल्कि संभावनाओं के विभिन्न क्षेत्रों की एक जटिल यात्रा थी। शोधकर्ताओं को हर अन्य संभावित आकृति के विरुद्ध D4 लैटिस की तुलना करनी थी। वे जानते थे कि कुछ चरम स्थितियों के लिए, D4 लैटिस स्पष्ट रूप से श्रेष्ठ है। उदाहरण के लिए, जब बिंदु बहुत दूर होते हैं, तो D4 व्यवस्था आसानी से जीत जाती है। इसी तरह, जब बिंदु बहुत करीब होते हैं, तब भी यह जीत जाती है। कठिनाई मध्य क्षेत्र में थी, आकृतियों का वह विशाल क्षेत्र जो न तो बहुत अधिक खिंचा हुआ था और न ही बहुत अधिक संकुचित। इस मध्य क्षेत्र में, प्रतिस्पर्धा अत्यंत तीव्र थी, और D4 लैटिस तथा उसके प्रतिद्वंद्वियों के बीच का अंतर अविश्वसनीय रूप से सूक्ष्म था।

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

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

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

परिणाम एक पूर्ण और पूर्ण प्रमाण है। D4 लैटिस केवल एक स्थानीय पसंदीदा नहीं है; यह वैश्विक न्यूनतम (global minimum) है। इसका अर्थ है कि इन विशिष्ट परस्पर क्रिया के नियमों द्वारा शासित किसी भी चार-आयामी तंत्र के लिए, प्रकृति न्यूनतम ऊर्जा अवस्था प्राप्त करने के लिए हमेशा D4 व्यवस्था को ही चुनेगी। यह कार्य 1970 के दशक के अंत से खुले एक प्रश्न को हल करता है, एक ऐसा प्रश्न जिसने कई दशकों तक कई गणितज्ञों के प्रयासों को विफल कर दिया था। यह 2006 में अन्य प्रमुख शोधकर्ताओं द्वारा किए गए एक अनुमान की भी पुष्टि करता है, जिन्होंने D4 लैटिस की स्थानीय स्थिरता स्थापित की थी लेकिन इसकी वैश्विक प्रधानता को सिद्ध नहीं कर सके थे।

इस कार्य के निहितार्थ शुद्ध गणित से परे भी हैं। भौतिकी में, क्रिस्टल में परमाणुओं की व्यवस्था और कुछ सामग्रियों में इलेक्ट्रॉनों का व्यवहार अक्सर इन लैटिस संरचनाओं का उपयोग करके मॉडल किया जाता है। यद्यपि हम त्रि-आयामी दुनिया में रहते हैं, लेकिन भौतिकी के उच्च-आयामी सिद्धांतों को समझने और कोडिंग एवं संचार में जटिल अनुकूलन समस्याओं को हल करने के लिए चार आयामों का गणित अत्यंत महत्वपूर्ण है। चार आयामों में D4 लैटिस को इष्टतम आकार सिद्ध करके, लुओ और वेई ने इन अनुप्रयोगों के लिए एक ठोस आधार प्रदान किया है। उन्होंने दिखाया है कि चार आयामों की छिपी हुई ज्यामिति में, एक एकल, पूर्ण व्यवस्था है जिसे प्रकृति पसंद करती है, एक ऐसी संरचना जो किसी भी अन्य संभावित व्यवस्था की तुलना में अधिक कुशल है। चार-आयामी न्यूनतम का रहस्य अंततः सुलझ गया है, जो अंतरिक्ष की ज्यामिति के बारे में एक सुंदर और सटीक सत्य को प्रकट करता है।