Modular Lower Bounds on Reeh-Schlieder State Preparation

तकनीकी सारांश: रीह–श्लीडरर (Reeh–Schlieder) अवस्था तैयारी पर मॉड्यूलर निचली सीमाएँ

समस्या विवरण
एल्जेब्रिक क्वांटम फील्ड थ्योरी (AQFT) में रीह–श्लीडरर प्रमेय यह स्थापित करता है कि मिन्कोव्स्की स्पेस में किसी भी बंधे हुए खुले क्षेत्र $O$ के लिए, स्थानीय ऑपरेटरों के माध्यम से वैक्यूम $\Omega$ पर कार्य करके उत्पन्न किए गए वेक्टर्स का सेट हीलबर्ट स्पेस $\mathcal{H}$ में सघन (dense) होता है। हालाँकि यह निहित करता है कि किसी भी लक्षित अवस्था (target state) को स्थानीय क्रियाओं द्वारा अनुमानित किया जा सकता है, लेकिन यह प्रमेय विशुद्ध रूप से अस्तित्व संबंधी (existential) है: यह न तो आवश्यक ऑपरेटर के नॉर्म $\|A\|$ पर कोई मात्रात्मक सीमा प्रदान करता है, न ही परिणामी अवस्था की ऊर्जा पर कोई प्रतिबंध लगाता है, और न ही $A$ को खोजने के लिए कोई रचनात्मक विधि देता है। चूँकि क्वांटम फील्ड थ्योरी (QFT) में स्थानीय बीजगणित (local algebras) टाइप III फैक्टर्स होते हैं, जो "एंटैंगलमेंट एम्बेज़लमेंट" (वैक्यूम से एंटैंगलमेंट निकालना) जैसी घटनाओं का समर्थन करते हैं, इसलिए महत्वपूर्ण खुला प्रश्न स्थानीय अवस्था तैयारी की लागत है। विशेष रूप से, एक विशिष्ट लक्षित अवस्था को तैयार करने के लिए स्थानीय ऑपरेटर कितना बड़ा होना चाहिए?

कार्यप्रणाली
लेखक स्थानीय ऑपरेटरों के नॉर्म पर एक मॉडल-स्वतंत्र निचली सीमा प्राप्त करने के लिए टोमिटा–ताकेसाकी मॉड्यूलर थ्योरी का उपयोग करते हैं। दृष्टिकोण इस प्रकार है:

1. मॉड्यूलर संरचना: एक स्थानीय बीजगणित $\mathcal{A}(O)$ और वैक्यूम अवस्था $\Omega$ के लिए, टोमिटा ऑपरेटर $S_O$ को $S_O(A\Omega) = A^*\Omega$ द्वारा परिभाषित किया जाता है। इसका पोलर अपघटन $S_O = J_O \Delta_O^{1/2}$ मॉड्यूलर ऑपरेटर $\Delta_O$ और मॉड्यूलर हैमिल्टनियन $K_O = -\log \Delta_O$ को पेश करता है।
2. नॉर्म अनुमान: लेखक एक स्थानीय ऑपरेटर $A$ द्वारा अवस्था $\xi = A\Omega$ तैयार करने के नॉर्म को लक्षित अवस्था पर मॉड्यूलर ऑपरेटर की क्रिया से जोड़ते हैं। $S_O(A\Omega) = A^*\Omega$ के गुण और मॉड्यूलर कंजुगेशन $J_O$ की आइसोमेट्रिक प्रकृति का लाभ उठाते हुए, वे $\|A\|$ और $\|\Delta_O^{1/2}\xi\|$ के बीच एक सीधा असमिका (inequality) संबंध स्थापित करते हैं।
3. कॉन्वेक्सिटी तर्क: स्व-अडजॉइंट ऑपरेटर $K_O$ के स्पेक्ट्रल मेजर पर कॉनवेक्स फलन $f(x) = e^{-x}$ पर जेन्सन की असमिका (Jensen's inequality) का उपयोग करते हुए, लेखक नॉर्म बाउंड को मॉड्यूलर हैमिल्टनियन के अपेक्षित मान पर निर्भर एक एक्सपोनेंशियल बाउंड में परिवर्तित करते हैं।
4. ज्यामितीय विशिष्टता: सामान्य बाउंड को उन विशिष्ट ज्यामितियों पर लागू किया जाता है जहाँ $K_O$ स्पष्ट रूप से ज्ञात है:
   • रिंडलर वेजेस (Rindler Wedges): बिस्ग्नोनो–विचमैन प्रमेय का उपयोग करते हुए, $K_O$ को बूस्ट जनरेटर के रूप में पहचाना जाता है।
   • कन्फॉर्मल फील्ड थ्योरी (CFT) बॉल्स: कासिनी–हर्टा–मायर्स फॉर्मूला का उपयोग करते हुए, $K_O$ को स्ट्रेस-एनर्जी टेंसर $T_{00}$ के एक भारित इंटीग्रल (weighted integral) के रूप में पहचाना जाता है।

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

1. सामान्य मॉड्यूलर निचली सीमा (प्रपोजिशन 1):
   यह पेपर स्थापित करता है कि किसी भी $A \in \mathcal{A}(O)$ के लिए जो $\xi = A\Omega$ तैयार करता है, ऑपरेटर नॉर्म इस प्रकार संतुष्ट होता है:
   $$\|A\| \geq \|\Delta_O^{1/2} \xi\|$$
   यदि लक्षित अवस्था $\hat{\xi}$ में मॉड्यूलर हैमिल्टनियन का परिमित अपेक्षित मान $\langle K_O \rangle_{\hat{\xi}}$ है, तो यह प्राप्त होता है:
   $$\|A\| \geq \|\xi\| \exp\left( -\frac{1}{2} \langle K_O \rangle_{\hat{\xi}} \right)$$
   यह परिणाम बताता है कि गहरी ऋणात्मक मॉड्यूलर ऊर्जा वाली अवस्थाओं को तैयार करने के लिए घातांकीय रूप से बड़े स्थानीय ऑपरेटरों की आवश्यकता होती है।

2. पोस्टसेलेक्शन ओवरहेड (कोरोलरी 2):
   एक स्थानीय ऑपरेटर $A$ को कॉन्ट्रैक्शन $B = A/\|A\|$ (जो स्थानीय माप के सफल परिणाम का प्रतिनिधित्व करता है) में पुनर्गठित करके, लेखक सफलता की प्रायिकता $p_{\text{succ}}$ पर एक निचली सीमा प्राप्त करते हैं:
   $$p_{\text{succ}} \leq \exp\left( \langle K_O \rangle_{\hat{\xi}} \right)$$
   परिणामस्वरूप, मॉड्यूलर ऊर्जा $-M$ वाली अवस्था को तैयार करने के लिए आवश्यक परीक्षणों की अपेक्षित संख्या $e^M$ के रूप में स्केल करती है। यह मॉड्यूलर ऊर्जा बाउंड को पोस्टसेलेक्शन के परिचालन लागत (operational cost) से जोड़ता है।

3. ज्यामितीय वास्तविकताएं:

   • वेजेस: रिंडलर वेज के लिए, मॉड्यूलर हैमिल्टनियन बूस्ट जनरेटर $K_{\text{boost}}$ के अनुरूप है। ऐसी अवस्थाएं जिनमें बड़ी ऋणात्मक बूस्ट ऊर्जा (त्वरित पर्यवेक्षकों के रिंडलर समय के सापेक्ष) होती है, उन्हें वेज में बिना घातांकीय लागत के स्थानीय ऑपरेटरों द्वारा तैयार नहीं किया जा सकता है।
   • CFT बॉल्स: एक कॉज़ल डायमंड के लिए, मॉड्यूलर हैमिल्टनियन ऊर्जा घनत्व का एक भारित इंटीग्रल है, $K_{DR} = 2\pi \int w_R(x) T_{00}(x) d^dx$। भार फलन $w_R(x)$ सीमा पर शून्य होता है और केंद्र में चरम पर होता है। पेपर प्रदर्शित करता है कि एक अवस्था की कुल ऊर्जा गैर-ऋणात्मक हो सकती है, फिर भी उसकी मॉड्यूलर ऊर्जा ऋणात्मक हो सकती है यदि ऋणात्मक ऊर्जा घनत्व केंद्र के पास केंद्रित है (जहाँ भार अधिक है) और क्षतिपूरक धनात्मक ऊर्जा सीमा के पास है (जहाँ भार कम है)। ऐसी अवस्थाओं में घातांकीय तैयारी लागत लगती है।

4. कुल ऊर्जा से भिन्नता:
   लेखक स्पष्ट करते हैं कि ऋणात्मक मॉड्यूलर ऊर्जा का अर्थ ऋणात्मक कुल मिन्कोव्स्की ऊर्जा नहीं है। यह चुने गए बीजगणित और क्षेत्र के विशिष्ट "मॉड्यूलर क्लॉक" के सापेक्ष ऋणात्मक ऊर्जा का प्रतिनिधित्व करता है। स्थानीय यूनिटरी केवल गैर-ऋणात्मक मॉड्यूलर ऊर्जा वाली अवस्थाएं उत्पन्न कर सकते हैं; ऋणात्मक मॉड्यूलर सेक्टर तक पहुँचने के लिए गैर-यूनिटरी ऑपरेशनों (माप) की आवश्यकता होती है जिनकी सफलता की प्रायिकता घातांकीय रूप से कम होती है।

महत्व और दावे
यह पेपर दावा करता है कि यह टोमिटा–ताकेसाकी थ्योरी के एक मानक अनुमान को अलग करता है और इसे एक मॉडल-स्वतंत्र तैयारी बाउंड के रूप में ऊपर उठाता है। इसका प्राथमिक महत्व रीह–श्लीडरर प्रमेय के "गैप" को मात्रात्मक रूप से निर्धारित करने में निहित है: हालांकि स्थानीय तैयारी सैद्धांतिक रूप से किसी भी अवस्था के लिए संभव है, लेकिन ऋणात्मक मॉड्यूलर ऊर्जा वाली अवस्थाओं के लिए यह घातांकीय रूप से महंगी है।

लेखक इस परिणाम को टाइप III बीजगणितों में "वैक्यूम एम्बेज़लमेंट" की अवधारणा के पूरक के रूप में देखते हैं। जबकि एम्बेज़लमेंट दिखाता है कि सिद्धांत रूप में मजबूत अवस्था रूपांतरण संभव है, यह कार्य उस संसाधन लागत (ऑपरेटर नॉर्म या पोस्टसेलेक्शन ओवरहेड) पर निचली सीमा स्थापित करता है जब उस रूपांतरण को एक एकल बंधे हुए स्थानीय क्रॉस ऑपरेटर (Kraus operator) के रूप में दर्शाया जाता है।

यह पेपर अपने दायरे के संबंध में स्पष्ट रूप से विनम्रता व्यक्त करता है:

• यह रीह–श्लीडरर के लिए कुशल अनुमानक (approximants) का निर्माण नहीं करता है।
• यह जटिलता वर्गों (complexity classes) के पृथक्करण को सिद्ध नहीं करता है।
• यह साधारण कुल ऊर्जा को सार्वभौमिक जटिलता माप के रूप में नहीं बनाता है।

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