A density calculus for quantum field theory

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

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

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

इसे हल करने के लिए, किबे और रॉय ने 'हागरुप नॉनकम्यूटेटिव एलपी स्पेसेस' (Haagerup noncommutative Lp spaces) नामक एक परिष्कृत गणितीय ढांचे की ओर रुख किया। यह ढांचा बिना मूल बीजगणित पर ट्रेस की आवश्यकता के डेंसिटी मैट्रिसेस और उनकी घातों (पावर्स) को परिभाषित करने का एक तरीका प्रदान करता है। उनके निर्माण की कुंजी एक सहायक अवस्था (ऑक्सिलरी स्टेट) का परिचय है, जो एक संदर्भ विन्यास के रूप में कार्य करता है जो एक शुरुआती बिंदु के रूप में सेवा करता है। इस संदर्भ का उपयोग करते हुए, वे एक बड़ा बीजगणित (क्रॉस्ड प्रोडक्ट) निर्मित करते हैं, जिसमें मूल ऑब्जर्वेबल्स के साथ-साथ ऑपरेटरों का एक नया सेट शामिल होता है जो समय के प्रवाह, जिसे 'मॉड्यूलर फ्लो' कहा जाता है, का प्रतिनिधित्व करते हैं। इस बड़े स्थान में, एक नए प्रकार का ट्रेस मौजूद है, जो उन विशिष्ट वस्तुओं के लिए सुव्यवस्थित और परिमित है जिन्हें शोधकर्ता मापना चाहते हैं। वे फिर अपने "हागरुप डेंसिटीज" को इस बड़े स्थान के भीतर विशेष ऑपरेटरों के रूप में परिभाषित करते हैं जो समय के प्रभाव के तहत एक सटीक तरीके से स्केल करते हैं। ये डेंसिटीज परिचित डेंसिटी मैट्रिसेस के विकल्प के रूप में कार्य करती हैं, जिससे शोधकर्ता बिल्कुल वैसे ही अपेक्षा मान (एक्सपेक्टेशन वैल्यू) और सूचना माप की गणना कर सकते हैं जैसे वे एक परिमित प्रणाली में करते हैं।

शोधकर्ताओं ने अपने नए कैलकुलस का परीक्षण एक विशिष्ट उदाहरण पर किया जिसमें एक 'चिरल करंट' शामिल है, जो एक ऐसी क्वांटम फील्ड है जो एक रेखा के अनुदिश एक दिशा में बहती है। उन्होंने फील्ड की वैक्यूम अवस्था से शुरुआत की, जो फील्ड की न्यूनतम ऊर्जा विन्यास है, और फिर एक 'कोहेरेंट एक्साइटेशन' बनाई, जो निर्वात में जोड़ी गई एक चिकनी, तरंग जैसी विक्षोभ (डिस्टर्बेंस) है। इसके बाद उन्होंने एक विशिष्ट प्रश्न पूछा: उत्तेजित अवस्था और निर्वात के बीच अंतर करने वाली सूचना, प्रेक्षण किए जा रहे क्षेत्र की सीमा के हिलने पर कैसे बदलती है? पेपर की भाषा में, उन्होंने 'सैंडविचड रेनी डायवर्जेंस' (sandwiched Rényi divergence) की गणना की, जो एक माप है जो 'अल्फा' नामक पैरामीटर पर निर्भर करता है। यह पैरामीटर इस माप को दो अवस्थाओं के बीच के सूक्ष्म ओवरलैप से लेकर अत्यधिक अंतर तक, विभिन्न पहलुओं को टटोलने की अनुमति देता है।

अपने नए डेंसिटी कैलकुलस का उपयोग करते हुए, शोधकर्ताओं ने इस डायवर्जेंस के लिए एक सटीक सूत्र व्युत्पन्न किया। उन्होंने पाया कि यह माप अल्फा के एक से अधिक सभी मानों के लिए परिमित और सुपरिभाषित है। इससे भी महत्वपूर्ण बात यह है कि उन्होंने यह जांचा कि प्रेक्षण क्षेत्र की सीमा के खिसकने पर यह माप कैसे बदलता है। उन्होंने इस सूचना माप के परिवर्तन की दर, यानी सीमा के स्थान के सापेक्ष डेरिवेटिव (अवकलज) की गणना की। उनके परिणामों ने दिखाया कि प्रथम डेरिवेटिव हमेशा नकारात्मक होता है, जिसका अर्थ है कि जैसे-जैसे प्रेक्षण का क्षेत्र सिकुड़ता है, अवस्थाओं को अलग करने वाली सूचना कम होती जाती है। यह 'डेटा प्रोसेसिंग' के एक मौलिक सिद्धांत की पुष्टि करता है, जो कहता है कि आप सिस्टम के एक हिस्से को त्यागकर सूचना प्राप्त नहीं कर सकते। इससे भी अधिक महत्वपूर्ण बात यह है कि उन्होंने दूसरे डेरिवेटिव की गणना की और पाया कि यह हमेशा सकारात्मक होता है। यह परिणाम 'रेनी क्वांटम नल एनर्जी कंडीशन' (Rényi quantum null energy condition) को सत्यापित करता है, जो एक गहरा भौतिक नियम है जो सूचना स्थान के वक्रता (कर्वेचर) को फील्ड के ऊर्जा घनत्व से जोड़ता है।

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

अपनी गणना में, शोधकर्ताओं ने एक विशिष्ट सेटअप का उपयोग किया जहाँ फील्ड एक अर्ध-रेखा (half-line) पर परिभाषित है, और सीमा एक प्रारंभिक स्थिति से बाद की स्थितियों तक चलती है। उन्होंने उत्तेजित अवस्था को एक 'यूनिटरी ऑपरेटर' का उपयोग करके तैयार किया, जो एक गणितीय उपकरण है जो संभाविताओं को संरक्षित करते हुए अवस्था को घुमाता है। फिर उन्होंने इस अवस्था को अर्ध-रेखा के छोटे और छोटे क्षेत्रों तक सीमित कर दिया। गणना में उत्तेजित अवस्था की डेंसिटी को वैक्यूम डेंसिटी और एक विशिष्ट ऑपरेटर (जो उत्तेजना का प्रतिनिधित्व करता है) के पदों में व्यक्त करना शामिल था। इन ऑपरेटरों को हागरुप स्पेस के भीतर हेरफेर करके, वे उस कारक को अलग करने में सक्षम हुए जो डायवर्जेंस को निर्धारित करता है। उन्हें प्राप्त अंतिम सूत्र उत्तेजना के आयाम (एम्प्लीट्यूड) और कट से सीमा की दूरी पर निर्भर करता है। परिणाम एक स्पष्ट, क्लोज्ड-फॉर्म अभिव्यक्ति है जो दिखाती है कि सूचना सामग्री क्षेत्र की ज्यामिति के साथ कैसे स्केल करती है।

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

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

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

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