Maximal Classicalization of Finite-Group Quantum Reference-Frame Noise

तकनीकी सारांश: परिमित-समूह क्वांटम संदर्भ-फ्रेम शोर का अधिकतम शास्त्रीयकरण (Maximal Classicalization)

समस्या विवरण
यह शोध पत्र इस समस्या का समाधान करता है कि कब एक शोरयुक्त परिमित क्वांटम संदर्भ फ्रेम (QRF), जिसे एक अज्ञात समूह तत्व $g \in G$ द्वारा संचालित एक यूनिटरी प्रतिनिधित्व $U$ के रूप में वर्णित किया गया है, को केवल शास्त्रीय पोस्ट-प्रोसेसिंग (post-processing) का उपयोग करके पूरी तरह से सुधारा जा सकता है। विशेष रूप से, एक स्रोत प्रायिकता नियम $p$ और एक लक्ष्य नियम $q$ दिए जाने पर, शोर चैनल को $\Phi^U_p(X) = \sum_{g} p(g) U_g X U_g^\dagger$ के रूप में परिभाषित किया गया है। दिशात्मक पोस्ट-प्रोसेसिंग त्रुटि (directional post-processing error) लक्ष्य चैनल और किसी भी क्वांटम चैनल $\Lambda$ के बीच न्यूनतम डायमंड-नॉर्म दूरी है जो स्रोत चैनल पर लागू होता है: $\delta^U(q|p) = \inf_{\Lambda \in \text{CPTP}} \frac{1}{2} \|\Phi^U_q - \Lambda \circ \Phi^U_p\|_\diamond$।

चूंकि शास्त्रीय सुधार (एक अतिरिक्त समूह तत्व का नमूना लेना और अनुवादों को संयोजित करना) एक ऊपरी सीमा $\delta_{cl}(q|p) = \min_{r \in P(G)} \frac{1}{2} \|q - r * p\|_1$ प्रदान करता है, केंद्रीय प्रश्न यह निर्धारित करना है कि किन परिस्थितियों में सभी युग्मों $p, q$ के लिए समानता बनी रहती है। यह समानता यह दर्शाती है कि कोई भी सुसंगत क्वांटम पोस्ट-प्रोसेसिंग (एन्साइला या समरूपता भंग करने में एंटैंगलमेंट का उपयोग करके) शास्त्रीय कनवल्शन (convolution) की तुलना में कोई लाभ नहीं देती है।

कार्यप्रणाली (Methodology)
लेखक परिमित-समूह प्रतिनिधित्व सिद्धांत (finite-group representation theory), क्वांटम सूचना सिद्धांत (विशेष रूप से डायमंड नॉर्म और चैनल विभेदन), और कॉनवेक्स ऑप्टिमाइज़ेशन का उपयोग करते हैं। प्रमुख कार्यप्रणाली उपकरण निम्नलिखित हैं:

• प्रतिनिधित्व सिद्धांत (Representation Theory): वाहक स्थान (carrier space) $H$ को $G$ के अपरिवर्तनीय प्रतिनिधित्वों (irreps) में अपघटन का विश्लेषण करना।
• ऑर्थोनॉर्मल ऑर्बिट्स (Orthonormal Orbits): एक अवस्था $|\Psi\rangle$ (संभावित रूप से एक एन्साइला के साथ) के अस्तित्व की जांच करना जिसका $G$-ऑर्बिट ऑर्थोनॉर्मल हो।
• ट्विरिंग और कंडीशनल एक्सपेक्टेशन (Twirling and Conditional Expectation): आइडेंटिटी चैनल और ट्वर्ल्ड चैनल के बीच की दूरी को बांधने के लिए प्रतिनिधित्व ट्विर मैप $E_U$ और पिम्सनर-पोपा इंडेक्स तर्कों का उपयोग करना।
• कंजुगेशन रिप्रेजेंटेशन (Conjugation Representation): प्रेरित चैनल से अंतर्निहित नियम की पहचान क्षमता निर्धारित करने के लिए मानचित्र $g \mapsto U_g \otimes U_g$ का परीक्षण करना।
• लीनियर प्रोग्रामिंग (Linear Programming): निर्णय गवाह (decision witnesses) स्थापित करने के लिए शास्त्रीय सुधार समस्या को एक परिमित लीनियर प्रोग्राम के रूप में तैयार करना।

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

1. प्रतिनिधित्व पूर्णता और सार्वभौमिक शास्त्रीयकरण की समानता:
   लेख पत्र सिद्ध करता है कि एक परिमित समूह $G$ के लिए एक परिमित-आयामी यूनिटरी प्रतिनिधित्व $U$ के लिए निम्नलिखित स्थितियाँ समतुल्य हैं:

   • $U$ प्रतिनिधित्व पूर्ण (representation complete) है (इसमें $G$ के प्रत्येक अपरिवर्तनीय प्रकार की कम से कम एक प्रति शामिल है)।
   • एक एन्साइला-सहायक इनपुट अवस्था मौजूद है जिसका एक ऑर्थोनॉर्मल $G$-ऑर्बिट है।
   • हस्ताक्षरित समूह माप (signed group measures) डायमंड नॉर्म में चैनलों में आइसोमेट्रिक रूप से एम्बेड होते हैं ($\|\Phi^U_\sigma\|_\diamond = \|\sigma\|_1$)।
   • सार्वभौमिक शास्त्रीयकरण (Universal classicalization) मान्य है: $\delta^U(q|p) = \delta_{cl}(q|p)$ सभी $p, q$ के लिए।

   यह स्थापित करता है कि प्रतिनिधित्व पूर्णता ही वह सटीक आवश्यक और पर्याप्त शर्त है जो क्वांटम पोस्ट-प्रोसेसिंग को शास्त्रीय कनवल्शन में बदलने के लिए उत्तरदायी है।

2. संसाधन लेखांकन (एन्साइला और वाहक आयाम):

   • न्यूनतम वाहक आयाम: सार्वभौमिक सटीक शास्त्रीयकरण की अनुमति देने वाला सबसे छोटा आयाम $d_{comp}(G) = \sum_{\lambda \in \text{Irr}(G)} d_\lambda$ है, जो रेगुलर रिप्रेजेंटेशन आयाम $N = \sum d_\lambda^2$ से स्पष्ट रूप से छोटा है।
   • एन्साइला लागत (Ancilla Costs): लेख एक ऑर्थोगोनल ऑर्बिट ($r_{orb}$) प्राप्त करने के लिए आवश्यक न्यूनतम एन्साइला आयाम और एक इनवेरिएंट कैलिब्रेशन सीड ($r_{inv}$) के लिए सटीक सूत्र व्युत्पन्न करता है। विशेष रूप से, वाहक में बहुलता (multiplicity) ऑर्बिट के लिए एन्साइला लागत को कम कर सकती है, लेकिन यह लुप्त अपरिवर्तनीय प्रकारों की भरपाई नहीं कर सकती।

3. अपूर्ण वाहकों के लिए मात्रात्मक विफलता:
   उन प्रतिनिधित्वों के लिए जो पूर्ण नहीं हैं, यह पत्र एक सटीक "क्वांटम-शास्त्रीय कमी अंतराल" (quantum-classical deficiency gap) व्युत्पन्न करता है।

   • अंतराल दृश्य प्लैंचेरल आयाम (visible Plancherel dimension) $S(U) = \sum_{\lambda: m_\lambda > 0} d_\lambda^2$ द्वारा शासित होता है।
   • आइडेंटिटी और ट्वर्ल के बीच डायमंड दूरी ठीक $1 - 1/S(U)$ है।
   • यूनिफॉर्म नियम के एक विशिष्ट विक्षोभ (perturbation) के लिए, कमी $\kappa(U) = \frac{N}{N-1}(1 - \frac{1}{S(U)})$ है।
   • उदाहरण: $S_3$ के निष्ठावान दो-आयामी मानक प्रतिनिधित्व के लिए (जिसमें दो 1D irreps की कमी है), कमी शास्त्रीय मान के सापेक्ष ठीक $10\%$ है, भले ही प्रतिनिधित्व निष्ठावान (faithful) हो।

4. पहचान क्षमता (Identifiability) और शास्त्रीयकरण के बीच अंतर:
   यह पत्र स्पष्ट करता है कि नियम पहचान क्षमता (मानचित्र $p \mapsto \Phi^U_p$ की इंजेक्शनिटी) एक सख्ती से कमजोर स्थिति है जो सार्वभौमिक शास्त्रीयकरण से भिन्न है। पहचान के लिए कंजुगेशन प्रतिनिधित्व $U \otimes U$ का पूर्ण होना आवश्यक है, न कि $U$ का। फलस्वरूप, एक प्रतिनिधित्व निष्ठावान हो सकता है और नियम की पहचान करने में सक्षम हो सकता है, फिर भी सार्वभौमिक शास्त्रीयकरण करने में विफल हो सकता है (जैसे, $S_3$ का मानक प्रतिनिधित्व)।

5. अनंत कॉम्पैक्ट समूह:
   लेखक दिखाते हैं कि अनंत कॉम्पैक्ट समूहों के लिए, कोई भी परिमित-आयामी वाहक सभी प्रायिकता नियमों को आइसोमेट्रिक रूप से एनकोड नहीं कर सकता (गैर-इंजेक्शनिटी सार्वभौमिक रूप से बनी रहती है)। हालांकि, किसी भी निर्धारित परिमित "दृश्य पीटर-वेयर्ड बैंड" (प्रतिबंधित फूरियर सपोर्ट वाले कार्यों का उपसमष्टि) के लिए, एक स्पष्ट कंडीशन नंबर के आधार पर स्थिर पुनर्निर्माण संभव है।

महत्व और दावे
यह पत्र उन मध्यवर्ती क्षेत्र को बंद करने का दावा करता जिसे पिछले केवल-पर्याप्त (sufficient-only) सिद्धांतों ने खुला छोड़ दिया था। इसका प्राथमिक महत्व यह स्थापित करने में है कि सार्वभौमिक शास्त्रीयकरण एक सख्त प्रति-शर्त (strict converse) है: सार्वभौमिक शास्त्रीयकरण यह मजबूर करता है कि वाहक में प्रत्येक अपरिवर्तनीय प्रकार शामिल हो। कार्य यह प्रदर्शित करता है कि शास्त्रीयकरण में बाधा केवल एक फूरियर मोड की हानि नहीं है (जो पहचान क्षमता को प्रभावित करती है), बल्कि पूरे समूह ऑर्बिट को हल करने में सक्षम एकल इनपुट अवस्था का अभाव है।

यह परिणामों के माध्यम से एक सटीक संसाधन पदानुक्रम प्रदान करता है:

1. निष्ठा (Faithfulness): $g \mapsto U_g$ इंजेक्शन (सबसे कमजोर)।
2. नियम पहचान क्षमता (Law Identifiability): कंजुगेशन प्रतिनिधित्व पूर्ण है।
3. सार्वभौमिक शास्त्रीयकरण (Universal Classicalization): वाहक प्रतिनिधित्व पूर्ण है (सबसे मजबूत)।

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