Does QFT make sense in non-integer dimensions?

तकनीकी सारांश: "क्या गैर-पूर्णांक आयामों में QFT तर्कसंगत है?"

समस्या विवरण
यह शोधपत्र क्वांटम फील्ड थ्योरीज (QFTs) को पूर्णांक आयामों $d \in \mathbb{N}$ से भिन्नात्मक या जटिल आयामों $d \in \mathbb{C}$ तक विश्लेषणात्मक रूप से निरंतर (analytically continuing) करने की दीर्घकालिक समस्या को संबोधित करता है। जबकि आयामी नियमितीकरण (dimensional regularization/dim-reg) एक पूर्णांक $d$ के अत्यंत सूक्ष्म परिवेश में वेक्टर-जैसे सिद्धांतों (vector-like theories) के लिए सफलतापूर्वक कार्य करता है, लेखक तर्क देते हैं कि एक परिमित ओपन सेट (जिसमें कई अलग-अलग पूर्णांक शामिल हों) तक एक कठोर, गैर-परिवर्तनीय (non-perturbative) निरंतरता बाधित है। केंद्रीय मुद्दा यह है कि सामान्य सिद्धांत, जैसे कि QCD और QED, "लो-रैंक अपवादों" (low-rank exceptions) को प्रदर्शित करते हैं जहाँ प्रेक्षण (observables) विशिष्ट पूर्णांक आयामों पर गुणात्मक और असतत (discrete) परिवर्तन से गुजरते हैं। ये विच्छेदन (discontinuities) सभी $d$ में सिद्धांत का वर्णन करने वाले एक एकल, समान विश्लेषणात्मक फलन (analytic function) के अस्तित्व को रोकते हैं।

कार्यप्रणाली
लेखक किनेमैटिक्स (Lorentz समूह के प्रतिनिधित्व सिद्धांत) को डायनेमिक्स से अलग करके इस समस्या का समाधान करते हैं।

1. किनेमैटिक विश्लेषण: वे भिन्नात्मक $d$ पर स्थिर प्रतिनिधित्व (stable representations) को परिभाषित करने के लिए डेलिग्न श्रेणियों (Deligne categories) $\overline{\text{Rep}}(O(d))$ का उपयोग करते हैं। वे प्रदर्शित करते हैं कि जबकि "सच्चे टेंसर" (स्थिर प्रतिनिधित्वों के अनुक्रम) एक अद्वितीय विश्लेषणात्मक निरंतरता स्वीकार करते हैं, "छद्म-टेंसर" (pseudo-tensors) और स्पिनर्स (पिनर्स) से जुड़े प्रतिनिधित्व ऐसा नहीं करते हैं। विशेष रूप से, गामा मैट्रिसेस का ट्रेस $\text{tr}[\gamma_{\mu_1 \dots \mu_n}]$ सामान्य बड़े $d$ के लिए शून्य हो जाता है लेकिन विशिष्ट लो-रैंक अपवादों पर गैर-शून्य हो जाता है (उदाहरण के लिए, $\text{tr}[\gamma_{\mu\nu\rho}] \neq 0$ केवल $d=3$ पर होता है)।
2. परटर्बेटिव गणना: इन बाधाओं को स्पष्ट करने के लिए, लेखक वेक्टर-जैसे द्रव्यमान रहित (massless) QCD (और QED) के बड़े-$N_f$ सीमा में स्पष्ट गणनाएँ करते हैं। वे $1/N_f$ के अग्रणी क्रम (leading order) में ऑपरेटरों जैसे कि फर्मियन $\psi$ और स्केलर बाइलीनियर $\bar{\psi}\psi$ के स्केलिंग आयाम ($\Delta$) की गणना करते हैं।
3. ब्रांच संरचना विश्लेषण: वे सहसंबंध फलनों (correlation functions) और स्केलिंग आयामों का विश्लेषण करने के लिए "ईमानदार" परिणामों (जो कठोर गामा मैट्रिक्स ट्रेस का उपयोग करके सीधे पूर्णांक $d$ पर गणना किए गए हैं) की तुलना "विश्लेषणात्मक" परिणामों (जो स्थिर सीमा को मानकर—अर्थात विषम ट्रेसेस को शून्य मानकर—व्युत्पन्न किए गए हैं) से करते हैं।

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

• समान विश्लेषणात्मकता में बाधा: यह शोधपत्र स्थापित करता है कि सामान्य ऑपरेटरों के लिए, विशेष रूप से पैरिटी-ओड (parity-odd) स्केलर जैसे $\bar{\psi}\psi$ के लिए, स्केलिंग आयाम $\Delta(d)$ $d$ का एक एकल विश्लेषणात्मक फलन नहीं है। इसके बजाय, सिद्धांत में "लो-रैंक अपवाद" होते हैं जहाँ ऑपरेटर विभिन्न स्पिन के ऑपरेटरों के समरूप (isomorphic) हो जाते हैं (जैसे, एक रैंक-3 एंटीसिमेट्रिक टेंसर $d=3$ पर एक स्केलर बन जाता है)। इससे स्तर क्रॉसिंग (level crossing) और ऑपरेटर मिक्सिंग होती है जो $d$ के फलन के रूप में असतत (discontinuous) होती है।
• शाखित संरचना (The Branched Structure): लेखक प्रस्तावित करते हैं कि QFT डेटा का विश्लेषणात्मक निरंतरता जटिल तल $\mathbb{C}$ पर नहीं, बल्कि इसके एक अनंत आवरण (infinite cover) पर रहता है।
  • ऑपरेटर $\bar{\psi}\psi$ के लिए, $\hat{\Delta}(\mathcal{O}_i)$ के रूप में विश्लेषणात्मक शाखाओं का एक अनंत परिवार मौजूद है, जहाँ $\mathcal{O}_i$ वे ऑपरेटर हैं जो विशिष्ट पूर्णांक आयामों पर $\bar{\psi}\psi$ के समरूप हो जाते हैं (जैसे, $d=3$ पर $\bar{\psi}\gamma_{\mu\nu\rho}\psi$, $d=5$ पर $\bar{\psi}\gamma_{\mu\nu\rho\sigma\tau}\psi$)।
  • प्रत्येक शाखा $\hat{\Delta}$ $d$ में विश्लेषणात्मक है और अपने विशिष्ट पूर्णांक $d$ के परिवेश में सही भौतिक स्केलिंग आयाम से मेल खाती है। कोई भी एकल शाखा सभी पूर्णांकों के लिए सही नहीं है।
  • यह संरचना इसलिए उत्पन्न होती है क्योंकि "स्थिर सीमा" (विषम ट्रेसेस को अनदेखा करना) एक विश्लेषणात्मक फलन देती है जो छोटे $d$ पर विफल हो जाता है, जबकि "ईमानदार" गणना एक असतत फलन प्रदान करती है।
• QCD/QED में स्पष्ट गणनाएँ:
  • विल्सन लाइन्स (Wilson Lines): दिखाया गया है कि विल्सन लूप का प्रत्याशा मान (expectation value) एक सुव्यवस्थित विश्लेषणात्मक निरंतरता स्वीकार करता है, क्योंकि यह स्थिर टेंसर संरचनाओं पर निर्भर करता है।
  • फर्मियन स्केलिंग आयाम: $\psi$ का स्केलिंग आयाम $d$ में विश्लेषणात्मक पाया गया है (अग्रणी क्रम में), क्योंकि यह $\bar{\psi}\psi$ जैसे मिश्रित स्केलर के समान लो-रैंक मिक्सिंग समस्याओं से ग्रस्त नहीं है।
  • स्केलर बाइलीनियर $\bar{\psi}\psi$: $\Delta(\bar{\psi}\psi)$ की गणना से पता चलता है कि इसमें $\text{tr}[\gamma_{\mu\nu\rho}]\text{tr}[\gamma^{\mu\nu\rho}]$ के समान एक पद है। यह पद स्थिर सीमा में सभी $d \neq 3$ के लिए शून्य है लेकिन $d=3$ पर गैर-शून्य है। फलस्वरूप, सहज विश्लेषणात्मक निरंतरता $d=3$ पर गलत उत्तर देती है। सही मान केवल उस शाखा को बदलकर प्राप्त किया जा सकता है जो $\bar{\psi}\gamma_{\mu\nu\rho}\psi$ ऑपरेटर से संबंधित है, जो $d=3$ पर इसका समरूप साथी है।
• Gross–Neveu–Yukawa मॉडल: लेखक इन निष्कर्षों को QED-Gross–Neveu–Yukawa मॉडल तक विस्तारित करते हैं, यह दिखाते हुए कि स्केलर इंटरैक्शन जोड़ने से भी ब्रांच संरचना समाप्त नहीं होती; लो-रैंक बाधाएं बनी रहती हैं।

महत्व और दावे
शोधपत्र का दावा है कि QFTs को $d$ और $N$ के निरंतर मापदंडों द्वारा जुड़े एक सुचारू परिवार के रूप में देखने का अंतर्ज्ञान $1/d$ में इन असतत, गैर-परिवर्तनीय प्रभावों के कारण मौलिक रूप से त्रुटिपूर्ण है।

• आयामी नियमितीकरण पर: लेखक सुझाव देते हैं कि मानक 't Hooft-Veltman विधि (जो प्रभावी रूप से विषम ट्रेसेस को शून्य कर देती है) केवल एक विशिष्ट पूर्णांक $d$ (जैसे, $d=4$) के सूक्ष्म परिवेश में ही मान्य है। यह अन्य पूर्णांकों (जैसे, $d=3$) पर सही परिणाम देने वाले वैश्विक विश्लेषणात्मक निरंतरता प्रदान करने में विफल रहती है।
• विशिष्टता (Uniqueness) पर: वे तर्क देते हैं कि एक अद्वितीय विश्लेषणात्मक निरंतरता केवल तभी संभव है जब $d \to \infty$ पर "अच्छे व्यवहार" को लागू किया जाए। हालाँकि, चूंकि निश्चित $N_f$ के लिए पर्याप्त बड़े $d$ पर $1/d$ विस्तार विफल हो जाता है, इसलिए निरंतरता की विशिष्टता को परटर्बेटिव रूप से स्थापित नहीं किया जा सकता है।
• कायरल सिद्धांतों (Chiral Theories) पर: शोधपत्र नोट करता है कि कायरल सिद्धांत (जो $\gamma_*$ से जुड़े हैं) और भी गंभीर बाधाओं का सामना करते हैं, जहाँ $\gamma_*$ वाले ट्रेसेस के कारण सम पूर्णांकों पर विच्छेदन अपेक्षित है।
• निष्कर्ष: शोधपत्र निष्कर्ष निकालता है कि यद्यपि एक अर्थपूर्ण निरंतरता मौजूद है, इसके लिए एक शाखित संरचना (branched structure) के माध्यम से नेविगेट करने की आवश्यकता है जहाँ आपको विशिष्ट पूर्णांक आयाम के अनुकूल सही विश्लेषणात्मक शाखा चुननी होगी। ऐसा कोई एकल सूत्र नहीं है जो $d$ में विश्लेषणात्मक हो और सभी $d \in \mathbb{N}$ के लिए सही हो। यह अलग-अलग पूर्णांक-आयामी द्वैतताओं (जैसे, $d=3$ और $d=4$ के बीच Seiberg-like dualities) के बीच अंतर-संबंध (interpolate) करने के लिए विश्लेषणात्मक निरंतरता के उपयोग की व्यवहार्यता को चुनौती देता है।