A note on complete gauge-fixing and the constraint algebra

यहाँ गंगा सिंह मंचंडा के शोध पत्र "A note on complete gauge-fixing and the constraint algebra" का विस्तृत तकनीकी सारांश दिया गया है।

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

प्रतिबंधित हैमिल्टोनियन प्रणालियों (गेज सिद्धांतों) में, लैग्रेंजियन से हैमिल्टोनियन रूपान्तरण के लिए बाधाओं (constraints) की पहचान करने हेतु डिराक-बर्मन एल्गोरिदम (Dirac–Bergmann algorithm) की आवश्यकता होती है।

• मुख्य मुद्दा: गेज-फिक्सिंग के लिए प्रथम-श्रेणी के बाधाओं (first-class constraints, $\gamma_a \approx 0$) से जुड़ी गेज स्वतंत्रता को समाप्त करने के लिए शर्तों ($\sigma_a \approx 0$) को लागू करना आवश्यक है। एक वैध गेज-फिक्सिंग के लिए स्वीकार्यता मानदंड यह है कि गेज स्थितियों और प्रथम-श्रेणी के बाधाओं के बीच पॉइसन ब्रैकेट मैट्रिक्स का सारणिक (determinant) शून्य नहीं होना चाहिए: $\det \Delta \neq 0$, जहाँ $\Delta_{ab} = \{\sigma_a, \gamma_b\}$।
• जटिलता: कई भौतिक सिद्धांतों (जैसे संशोधित गुरुत्वाकर्षण/modified gravity) में अतिरिक्त द्वितीय-श्रेणी के बाधाएँ (second-class constraints, $\chi_\alpha \approx 0$) होती हैं। जब ये उपस्थित होती हैं, तो बाधाओं का पूर्ण सेट $\Phi_A = (\gamma_a, \chi_\alpha, \sigma_a)$ बन जाता है। प्रणाली के सुव्यवस्थित होने के लिए, संयुक्त बाधा मैट्रिक्स $M = \{\Phi_A, \Phi_B\}$ का व्युत्क्रमणीय (invertible) होना अनिवार्य है ($\det M \neq 0$)।
• प्रश्न: क्या द्वितीय-श्रेणी की बाधाओं की उपस्थिति और गेज स्थितियों के साथ उनके संभावित क्रॉस-कपलिंग्स (जिसे मैट्रिक्स $R = \{\chi_\alpha, \sigma_b\}$ द्वारा दर्शाया गया है) $\det \Delta \neq 0$ होने पर भी $M$ की व्युत्क्रमणीयता को बिगाड़ सकते हैं? इसके विपरीत, क्या क्रॉस-कपलिंग्स उस गेज-फिक्सिंग को "बचा" (rescue) सकते हैं जहाँ $\det \Delta = 0$ हो? अभ्यासकर्ता इस बात को लेकर चिंतित रहते हैं कि द्वितीय-श्रेणी का क्षेत्र गेज-फिक्सिंग की स्वीकार्यता के सत्यापन को जटिल बना सकता है।

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

लेखक संयुक्त बाधा मैट्रिक्स $M$ की संरचना का विश्लेषण करने के लिए रैखिक बीजगणित तकनीकों, विशेष रूप से शूर पूरक (Schur complement) का उपयोग करते हैं।

• परिभाषाएँ:
  • $\gamma_a$: $F$ स्वतंत्र प्रथम-श्रेणी की बाधाएँ।
  • $\chi_\alpha$: $S$ द्वितीय-श्रेणी की बाधाएँ।
  • $\sigma_a$: $F$ गेज-फिक्सिंग स्थितियाँ।
  • $\Delta = \{\sigma_a, \gamma_b\}$: गेज-फिक्सिंग/प्रथम-श्रेणी ब्लॉक।
  • $C = \{\chi_\alpha, \chi_\beta\}$: द्वितीय-श्रेणी बाधा मैट्रिक्स (परिभाषा के अनुसार व्युत्क्रमणीय, $\det C \neq 0$)।
  • $R = \{\chi_\alpha, \sigma_b\}$: क्रॉस-कपलिंग ब्लॉक।
• मैट्रिक्स निर्माण: लेखक $(\gamma_a, \sigma_a, \chi_\alpha)$ के क्रम में बाधाओं को पुनर्व्यवस्थित करके एक ब्लॉक मैट्रिक्स $\tilde{M}$ बनाते हैं। प्रथम-श्रेणी बाधाओं की "सशक्त" (strong) परिभाषा के तहत (जहाँ उनके सभी बाधाओं के साथ ब्रैकेट शून्य होते हैं), मैट्रिक्स का रूप इस प्रकार होता है:
  $$\tilde{M} \approx \begin{pmatrix} 0 & -\Delta^T & 0 \\ \Delta & Q & -R^T \\ 0 & R & C \end{pmatrix}$$
  जहाँ $Q = \{\sigma_a, \sigma_b\}$।
• प्रमाण तकनीक: लेखक ऊपरी-बाएँ $2F \times 2F$ ब्लॉक (जिसे $A$ द्वारा दर्शाया गया है) के शूर पूरक (Schur complement) को लेकर $\tilde{M}$ के सारणिक की गणना करते हैं।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. गुणनखंड प्रमेय (The Factorisation Theorem)

प्राथमिक परिणाम संयुक्त बाधा मैट्रिक्स के सारणिक का सटीक गुणनखंडन है:
$$\det M \approx \pm (\det \Delta)^2 \det C$$
तर्क प्रक्रिया:

1. ऊपरी-बायाँ ब्लॉक $A = \begin{pmatrix} 0 & -\Delta^T \\ \Delta & Q \end{pmatrix}$ का सारणिक $(\det \Delta)^2$ है (यह मानते हुए कि $\det \Delta \neq 0$)।
2. $\tilde{M}$ में $A$ का शूर पूरक $C - (0, R)A^{-1}(0, -R^T)^T$ के रूप में निकाला जाता है।
3. महत्वपूर्ण रूप से, गणना से पता चलता है कि क्रॉस-कपलिंग पद $R$ पूरी तरह से रद्द (cancel out) हो जाता है, जिससे शूर पूरक $C$ के बराबर रह जाता है।
4. इसलिए, $\det \tilde{M} = \det A \cdot \det C = (\det \Delta)^2 \det C$।

B. क्षेत्रों का विसंयोजन (Decoupling of Sectors)

चूँकि द्वितीय-श्रेणी की बाधाओं की परिभाषा के अनुसार $\det C \neq 0$ है, इसलिए पूर्ण मैट्रिक्स $M$ की व्युत्क्रमणीयता केवल $\Delta$ की व्युत्क्रमणीयता पर निर्भर करती है।

• परिणाम: $\det M \neq 0 \iff \det \Delta \neq 0$।
• निहितार्थ: द्वितीय-श्रेणी का क्षेत्र गेज-फिक्सिंग क्षेत्र से पूरी तरह से विसंयोजित (decouple) हो जाता है। क्रॉस-कपलिंग्स ($R$) गेज-फिक्सिंग की स्वीकार्यता को प्रभावित नहीं करते हैं।

C. लैग्रेंजियन पूर्णता से संबंध (Connection to Lagrangian Completeness)

यह शोध पत्र हैमिल्टोनियन और लैग्रेंजियन स्वरूपों के बीच के अंतर को पाटता है:

• बीजगणितीय मामला (Algebraic Case): जब गेज रूपांतरणों में मापदंडों (parameters) के समय के अवकलज (time derivatives) शामिल नहीं होते हैं, तो हैमिल्टोनियन स्वीकार्यता मानदंड ($\det \Delta \neq 0$) लैग्रेंजियन "पूर्णता" मानदंड (मोतोहाशी, सुयामा, ताकाहाशी) के गणितीय रूप से समतुल्य होता है, जो यह सुनिश्चित करता है कि गेज मापदंडों को अद्वितीय रूप से निर्धारित किया जा सके।
• गैर-बीजगणितीय मामला (Non-Algebraic Case): यदि समय के अवकलज शामिल हैं, तो $\det \Delta \neq 0$ लैग्रेंजियन पूर्णता के लिए पर्याप्त नहीं है। हालाँकि, बीजगणितीय गुणनखंडन पहचान (factorisation identity) मान्य रहती है, लेकिन यह विभेदक ऑपरेटरों (differential operators) के और अधिक विश्लेषण के बिना पूर्ण पूर्णता की गारंटी नहीं देती है।

D. गुरुत्वाकर्षण पर अनुप्रयोग (Application to Gravity)

लेखक इस ढांचे को सामान्य सापेक्षता (General Relativity) और संशोधित गुरुत्वाकर्षण में गोलाकार सममित स्पेस-टाइम (spherically symmetric spacetime) पर लागू करते हैं:

• मीट्रिक एंसेट (Metric Ansatz): एक सामान्य गोलाकार सममित मीट्रिक में $C=0$ और $E=1$ सेट करना क्रिया (action) के स्तर पर एक गेज-फिक्सिंग के रूप में कार्य करता है।
• मानक GR: निर्वात ADM गुरुत्वाकर्षण में, कोई द्वितीय-श्रेणी की बाधाएँ नहीं होती हैं ($S=0$)। गुणनखंडन $\det M = (\det \Delta)^2$ में बदल जाता है, जो मानक परिणामों की पुष्टि करता है।
• संशोधित गुरुत्वाकर्षण (Modified Gravity): स्केलर-टेन्सर या मैसिव ग्रेविटी जैसे सिद्धांतों में, द्वितीय-श्रेणी की बाधाएँ सामान्य हैं। गुणनखंडन यह सिद्ध करता है कि इन बाधाओं की उपस्थिति उन गेज-फिक्सिंग स्थितियों को अमान्य नहीं करती है जो मानक GR में काम करती हैं। गेज-फिक्सिंग की पूर्णता केवल $\det \Delta$ द्वारा निर्धारित होती है, चाहे द्वितीय-श्रेणी का क्षेत्र कितना भी जटिल क्यों न हो।

4. महत्व और निहितार्थ (Significance and Implications)

1. व्यावहारिक सरलीकरण: जटिल द्वितीय-श्रेणी वाले सिद्धांतों (जो संशोधित गुरुत्वाकर्षण में सामान्य हैं) में, पूर्ण $(2F+S) \times (2F+S)$ मैट्रिक्स $M$ का निर्माण करने के बजाय केवल $\det \Delta \neq 0$ को सत्यापित करना पर्याप्त है।
2. सैद्धांतिक एकीकरण: यह परिणाम हैमिल्टोनियन स्वीकार्यता मानदंड (हेनेक्स एवं टीलेटहोइम) और लैग्रेंजियन पूर्णता मानदंड (मोतोहाशी आदि) के बीच एक कठोर बीजगणितीय लिंक प्रदान करता है, जो दर्शाता है कि वे बीजगणितीय सीमा में सुसंगत हैं।
3. गेज विकल्पों की मजबूती: यह शोधकर्ताओं को आश्वस्त करता है कि सामान्य सापेक्षता (जहाँ $S=0$) के लिए विकसित गेज-फिक्सिंग रणनीतियाँ संशोधित गुरुत्वाकर्षण सिद्धांतों के लिए भी वैध बनी रहेंगी, बशर्ते कि गेज स्थितियाँ मानक $\det \Delta \neq 0$ की शर्त को पूरा करती हों। क्रॉस-कपलिंग्स द्वारा व्युत्क्रमणीयता को बिगाड़ने का "खतरा" गणितीय रूप से खारिज कर दिया गया है।
4. ज्यामितीय अंतर्दृष्टि: गुणनखंडन एक ज्यामितीय विसंयोजन (geometric decoupling) को दर्शाता है जहाँ गेज ऑर्बिट्स (gauge orbits) द्वितीय-श्रेणी सतह को सुरक्षित रखती हैं, जो प्रथम-श्रेणी बाधाओं की सशक्त परिभाषा का परिणाम है।

5. सीमाएँ (Limitations)

लेखक दो विशिष्ट सीमाएँ नोट करते हैं:

• नियमितता (Regularity): यह परिणाम मानता है कि सभी बाधाएँ नियमित (regular) हैं; अप्रभावी बाधाओं (ineffective constraints) वाले सिद्धांत इसके दायरे से बाहर हैं।
• गैर-बीजगणिक मामले (Non-Algebraic Cases): उन मामलों में जहाँ गेज रूपांतरणों में मापदंडों के समय के अवकलज शामिल होते हैं, गुणनखंडन एक पहचान (identity) के रूप में तो मान्य रहता है, लेकिन यह स्वतः ही पूर्ण लैग्रेंजियन पूर्णता की गारंटी नहीं देता है, जो कि एक विभेदक ऑपरेटर के कर्नेल (kernel) पर निर्भर करता है।

निष्कर्ष (Conclusion)

मंचंडा का शोध पत्र बाधित गतिकी (constrained dynamics) में एक लंबे समय से चली आ रही चिंता को हल करता है, यह सिद्ध करते हुए कि द्वितीय-श्रेणी का क्षेत्र गेज-फिक्सिंग क्षेत्र से बीजगणितीय रूप से विसंयोजित है। यह जटिल गुरुत्वाकर्षण सिद्धांतों में गेज-फिक्सिंग की वैधता को सत्यापित करने के लिए एक शक्तिशाली, सरल मानदंड प्रदान करता है, यह सुनिश्चित करता है कि द्वितीय-श्रेणी की बाधाओं की उपस्थिति गेज विकल्पों की वैधता को बाधित नहीं करती है।