From Null Modes to Gauge Generators: A Bordered Faddeev--Jackiw Theory of Constraint Chains

भौतिक प्रणालियों की गति के अध्ययन में, एक पेंडुलमम के झूलने से लेकर एक ग्रह की कक्षा तक, वैज्ञानिक अक्सर एक विचित्र समस्या का सामना करते हैं: कुछ प्रणालियों में उनकी आवश्यकता से अधिक चर (variables) होते हैं। कल्पना कीजिए कि आप एक ऐसी मशीन की गति का वर्णन करने का प्रयास कर रहे हैं जहाँ दो अलग-अलग डायल एक ही लीवर को नियंत्रित करते हैं। ऐसे मामलों में, भविष्य के व्यवहार की भविष्यवाणी करने के लिए उपयोग किए जाने वाले गणितीय समीकरण "डीजेनरेट" (degenerate) हो जाते हैं, जिसका अर्थ है कि वे एक एकल, अद्वितीय पथ चुनने में सक्षम नहीं होते हैं। इसके बजाय, एक एकल समाधान के बजाय, समीकरण संभावनाओं के एक परिवार की अनुमति देते हैं। भौतिकी में, यह स्वतंत्रता कोई त्रुटि नहीं है; यह एक विशेषता है जिसे 'गेज सिमिट्री' (gauge symmetry) कहा जाता है। यह हमें बताता है कि सिस्टम के वर्णन में कुछ परिवर्तन भौतिक वास्तविकता को बिल्कुल नहीं बदलते हैं। दशकों से, भौतिकविदों ने इन छिपी हुई सममितताओं (symmetries) को खोजने के लिए नियमों के एक विशिष्ट सेट पर भरोसा किया है, जिसमें स्वतंत्रता के गणितीय संकेतों को स्वयं भौतिक स्वतंत्रता के सीधे मानचित्र के रूप में माना गया है।

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

यह शोध पत्र एक आधुनिक तकनीक का परीक्षण करते हुए शुरू होता है जिसे फैडेव-जैकव एल्गोरिदम (Faddeev–Jackiw algorithm) कहा जाता है। यह जटिल यांत्रिक प्रणालियों का विश्लेषण करने का एक सुव्यवस्थित तरीका है, जो पुराने तरीकों की भारी मशीनरी को एक सरल, पुनरावृत्ति प्रक्रिया (iterative process) से बदल देता है। यह प्रक्रिया एक मैट्रिक्स (एक संख्या ग्रिड जो प्रणाली के बाधाओं का प्रतिनिधित्व करता है) बनाने का कार्य करती है। जैसे-जैसे एल्गोरिदम चलता है, यह इस ग्रिड में नई पंक्तियाँ और कॉलम जोड़ता है, जिसे "बॉर्डरिंग" (bordering) कहा जाता है, ताकि यह देखा जा सके कि क्या प्रणाली एक स्थिर अवस्था में स्थापित हो गई है। यदि ग्रिड पूरी तरह से व्युत्क्रमणीय (invertible) हो जाता है, तो प्रणाली बंधी हुई है। यदि इसमें एक "कर्नेल" (kernel)—निर्देशों का एक समूह जहाँ मैट्रिक्स कुछ नहीं करता—बना रहता है, तो पारंपरिक रूप से यह माना जाता है कि ये दिशाएँ गेज सममिति का प्रतिनिधित्व करती हैं। यह धारणा वर्षों से भौतिकविदों के लिए मानक संचालन प्रक्रिया रही है।

लेखक सिद्ध करते हैं कि यह धारणा गलत है। वे प्रदर्शित करते हैं कि मैट्रिक्स का कर्नेल एक मिला-जुला बैग है। इसमें दो अलग प्रकार की दिशाएँ शामिल हैं जो सतह पर एक जैसी दिखती हैं लेकिन बहुत अलग व्यवहार करती हैं। पहला प्रकार उन दिशाओं का प्रतिनिधित्व करता है जो बाधाओं की सतह के स्पर्शरेखीय (tangent) हैं; ये गणितीय मृत अंत हैं जो किसी भौतिक स्वतंत्रता के अनुरूप नहीं हैं। दूसरा प्रकार बाधाओं के वास्तविक स्वतंत्र संयोजनों का प्रतिनिधित्व करता है जो एक सममिति की ओर ले जा सकते हैं। पुरानी विधि इन दोनों प्रकारों को एक साथ गिनती है, जिससे सिस्टम की स्वतंत्रता का अतिरंजित अनुमान लगता है। शोधकर्ताओं ने इन दोनों समूहों को अलग करने के लिए एक सटीक सूत्र विकसित किया है, जो दिखाता है कि वास्तविक सममितताओं की संख्या अक्सर उन सभी शून्य दिशाओं (null directions) से बहुत कम होती है जिन्हें एल्गोरिदम रिपोर्ट करता है।

यह समझने के लिए कि यह क्यों महत्वपूर्ण है, हमें यह देखना होगा कि क्या होता है जब एक प्रणाली स्वतंत्र नहीं होती है। अध्ययन से पता चलता है कि एक गैर-शून्य मल्टीप्लायर ब्लॉक वाला शून्य दिशा (null direction) एक सममिति जनरेटर नहीं है। इसके बजाय, यह एक श्रृंखला की पहली कड़ी है। एक वास्तविक सममिति के अस्तित्व के लिए, इस पहली कड़ी को एक विशिष्ट तरीके से दूसरी कड़ी से जुड़ना चाहिए। प्रणाली को एक दूसरे, स्वतंत्र शर्त को पूरा करना चाहिए जिसमें प्रणाली की संभावित ऊर्जा (potential energy) शामिल है। यदि यह दूसरी शर्त पूरी नहीं होती है, तो श्रृंखला टूट जाती है, और आभासी स्वतंत्रता गायब हो जाती है। एल्गोरिदम इसलिए रुक जाता है क्योंकि गणितीय संकुचन (contractions) लुप्त हो जाते हैं, लेकिन यह गलत कारण से रुकता है। यह इसलिए रुकता है क्योंकि प्रणाली कमजोर बाधाओं के एक लूप में फंसी हुई है, न कि इसलिए कि इसने एक वास्तविक सममिति पा ली है।

शोधकर्ताओं ने इस नई समझ का परीक्षण एक प्रति-उदाहरण (counterexample) के साथ किया: चार चरों वाली एक प्रणाली। इस सेटअप में, मानक एल्गोरिदम रुक जाता है और दो शून्य मोड (null modes) रिपोर्ट करता है, जिससे संकेत मिलता है कि प्रणाली में दो सममितियाँ हैं। हालाँकि, जब शोधकर्ताओं ने अपने नए 'चेन मानदंड' (chain criterion) को लागू किया, तो उन्होंने पाया कि श्रृंखला बंद नहीं हुई। प्रणाली वास्तव में बंधी हुई थी, जिसमें कोई गेज स्वतंत्रता नहीं थी। बाधाएँ "सेकंड क्लास" (second class) थीं, जिसका अर्थ था कि वे कठोर थीं और व्यवहार को पूरी तरह से निर्धारित करती थीं। एल्गोरिदम इस तथ्य से धोखा खा गया था कि बाधाएँ 'वीकली वैनिशिंग' (weakly vanishing) थीं, एक ऐसी स्थिति जिसने पुराने नियमों को तो संतुष्ट किया लेकिन नए, सख्त परीक्षण में विफल रही। यह प्रति-उदाहरण सिद्ध करता है कि मानक 'हाल्टिंग क्राइटेरियन' (halting criterion) गेज स्वतंत्रता के अस्तित्व के लिए आवश्यक तो है, लेकिन पर्याप्त नहीं है।

अध्ययन यह भी स्पष्ट करता है कि इन गणनाओं में उपयोग किए जाने वाले विभिन्न गणितीय पिंडों (objects) के बीच क्या संबंध है। यह एक पिछले वर्गीकरण को सुधारता है जहाँ एक विशिष्ट मैट्रिक्स ब्लॉक को पॉइसन ब्रैकेट (Poisson brackets) के समान माना जाता था, जो बाधाओं की परस्पर क्रिया का वर्णन करते हैं। लेखक दिखाते हैं कि ये अलग-अलग वस्तुएं हैं जिनके अलग-अलग गुण हैं; एक सममित (symmetric) है जबकि दूसरी विषम (antisymmetric) है। वे सिद्ध करते हैं कि बॉर्डर किया गया मैट्रिक्स वास्तव में एक बड़े, रिड्यूस्ड कंस्ट्रेंट मैट्रिक्स के एक विशिष्ट ब्लॉक की गणना करता है, लेकिन यह उस महत्वपूर्ण ब्लॉक को छोड़ देता है जो यह निर्धारित करता है कि बाधाएँ वास्तव में 'फर्स्ट-क्लास' (first-class) हैं या नहीं। यही वह लापता हिस्सा है जो स्पर्शरेखीय दिशाओं को वास्तविक सममितियों से अलग करता है।

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

यह अंतर इस बात पर प्रकाश डालता है कि भौतिक विज्ञानी अपने समीकरणों में मापदंडों (parameters) को कैसे संभालते हैं। अध्ययन इस बात पर जोर देता है कि गणना के दौरान भौतिक मापदंडों पर निर्भर कारकों, जैसे कि स्प्रिंग की कठोरता, को संरक्षित करने का महत्व है, न कि उन्हें जल्दी से रद्द करने का। यदि कोई शोधकर्ता कठोरता कारक को रद्द कर देता है, तो वे अनजाने में उस महत्वपूर्ण सीमा को मिटा सकते हैं जहाँ सिस्टम का स्वरूप बदल जाता है। लेखक दिखाते हैं कि जिस बिंदु पर कठोरता कारक शून्य होता है, वहाँ सिस्टम एक ऐसे संक्रमण (transition) से गुजर सकता है जहाँ एक 'डायनामिकल अनडिटरमिनेसी' (dynamical indeterminacy) प्रकट या लुप्त हो सकती है। ये संक्रमण परिचित 'बाइफरकेशन' (bifurcations) के समान नहीं हैं जहाँ संतुलन बिंदु टकराते या विभाजित होते हैं; ये सिस्टम की स्वतंत्रता के मूल चरित्र में परिवर्तन हैं।

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