Anticoncentration and State Design of Doped Real Clifford Circuits and Tensor Networks

तकनीकी सारांश: डोप्ड रियल क्लिफोर्ड सर्किट्स और टेंसर नेटवर्क का एंटीकंसंट्रेशन और स्टेट डिज़ाइन

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

कार्यप्रणाली
लेखक स्टेबलाइज़र टैबलो फॉर्मलिज्म (stabilizer tableau formalism) को एक नव विकसित रियल क्लिफोर्ड ग्रुप के लिए वेिंगार्ट कैलकुलस (Weingarten calculus) के साथ जोड़कर एक कठोर विश्लेषणात्मक ढांचा अपनाते हैं।

1. वेिंगार्ट कैलकुलस: लेखक कम्यूटेंट एल्जेब्रा $\text{Comm}_k(R_n)$ के पदों में रियल क्लिफोर्ड ग्रुप $R_n$ के सटीक $k$-वें मोमेंट को व्यक्त करके वास्तविक $R_n$ का व्युत्पन्न प्राप्त करते हैं। वे इस कम्यूटेंट के लिए एक ऑर्थोगोनल आधार $\Xi_k$ का निर्माण करते हैं और संगत वेिंगार्ट मैट्रिक्स को बेस ओवरलैप्स के ग्राम मैट्रिक्स के स्यूडो-इनवर्स के रूप में परिभाषित करते हैं।
2. स्टेबलाइज़र टैबलो: अवस्थाओं की गणना करने और ओवरलैप्स को मापने के लिए, लेखक स्टेबलाइज़र टैबलो फॉर्मलिज्म का उपयोग करते हैं। वे स्टेबलाइज़र अवस्थाओं की गिनती को रियल डोमेन ($R\text{Stab}_N$) तक सीमित करते हैं, यह पहचानते हुए कि रियल स्टेबलाइज़र अवस्थाओं के लिए प्रत्येक जनरेटर प्रति जनरेटर $Y=iZX$ ऑपरेटरों की एक सम संख्या की आवश्यकता होती है, जो जटिल मामले की तुलना में अवस्था गणना को कम कर देती है।
3. आर्किटेक्चर: अध्ययन तीन विशिष्ट आर्किटेक्चर का विश्लेषण करता है:
   • ग्लोबल रैंडम रियल क्लिफोर्ड: संदर्भ अवस्था $|0\rangle^{\otimes N}$ पर कार्य करता है।
   • रैंडम मैट्रिक्स प्रोडक्ट स्टेट्स (RMPS): ओवरलैपिंग ब्लॉक्स पर स्थानीय रियल क्लिफोर्ड गेट्स के साथ क्रमिक "स्टेयरकेस" आर्किटेक्चर, जो बॉन्ड डायमेंशन $\chi$ के साथ एंटैंगलमेंट संरचना को लागू करता है।
   • लोकल ग्लूड सर्किट्स (Local Glued Circuits): सिस्टम को पैच में विभाजित करने वाले उथले (shallow) सर्किट जहाँ गेट्स आसन्न जोड़ों (adjacent pairs) पर कार्य करते हैं।
4. डोपिंग रणनीति: संसाधन अवस्था $|\Psi(r)\rangle = |\psi\rangle^{\otimes r} \otimes |0\rangle^{\otimes N-r}$ के माध्यम से इंजेक्ट किए जाते हैं, जहाँ $|\psi\rangle$ रियल मैजिक ($|H\rangle$), कॉम्प्लेक्स मैजिक ($|T\rangle$), या इमेजिनरी अवस्थाओं ($|\pm i\rangle$) का प्रतिनिधित्व करता है।

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

1. ऑर्थोगोनल क्लिफोर्ड पोर्टर-थॉमस (OCPT) वितरण
लेखक रैंडम रियल स्टेबलाइज़र अवस्थाओं के सटीक ओवरलैप वितरण को व्युत्पन्न करते हैं। वे एक नए यूनिवर्सलिटी क्लास की पहचान करते हैं जो यूनिटरी क्लिफोर्ड और ऑर्थोगोनल हार एन्सेम्बल्स दोनों से भिन्न है, जिसे ऑर्थोगोनल क्लिफोर्ड पोर्टर-थॉमस (OCPT) वितरण कहा जाता है।

• यह वितरण पार्टिसिपेशन एंट्रॉपी $g$ (या $n = N-g$) द्वारा नियंत्रित होता है। थर्मोडायनामिक लिमिट में, संभाव्यता वितरण $P(n)$, $q$-पोचहैमर प्रतीकों (q-Pochhammer symbols) के साथ समीकरण (8) द्वारा दिया जाता है।
• यह वितरण रियल क्लिफोर्ड सर्किट्स के लिए एक बेसलाइन को परिभाषित करता है, जो मानक पोर्टर-थॉमस वितरण के समान है जो यूनिटरी सर्किट के लिए होता है।

2. स्थानीय आर्किटेक्चर का अभिसरण (Convergence)
अध्ययन यह सिद्ध करता है कि स्थानीय आर्किटेक्चर इन वैश्विक सांख्यिकी को कुशलतापूर्वक प्राप्त करते हैं:

• RMPS: RMPS के लिए इनवर्स पार्टिसिपेशन रेशियो (IPRs), एक बहुपद बॉन्ड डायमेंशन $\chi = \text{poly}(N)$ के साथ OCPT वितरण की ओर अभिसरित होते हैं। वितरण को OCPT और एक पॉइसन वितरण के कॉन्वोल्यूशन के रूप में दिखाया गया है, जो स्केलिंग वेरिएबल $x \approx N/\chi$ पर निर्भर करता है।
• लोकल सर्किट्स: उथले स्थानीय सर्किट (विशेष रूप से ब्रिकवर्क सर्किट्स) लॉगरिदमिक डेप्थ $t \sim O(\log N)$ पर पूर्ण एंटीकंसंट्रेशन प्राप्त करते हैं। यह पुष्टि करता है कि स्थानीय रियल आर्किटेक्चर गहरे सर्किट्स की आवश्यकता के बिना वैश्विक रैंडम सांख्यिकी को संतृप्त (saturate) कर सकते हैं।

3. संसाधन आवश्यकताओं का पदानुक्रम (Hierarchy of Resource Requirements)
एक केंद्रीय निष्कर्ष विभिन्न सांख्यिकीय व्यवस्थाओं के बीच संक्रमण के लिए आवश्यक संसाधन लागतों में एक स्पष्ट अलगाव है:

• रियल मैजिक ($|H\rangle$): सिस्टम को ऑर्थोगोनल हार सांख्यिकी ($R\text{Haar}$) की ओर ले जाने के लिए $r = O(\log N)$ रियल मैजिक अवस्थाओं की आवश्यकता होती है।
• कॉम्प्लेक्स मैजिक ($|T\rangle$): इसी तरह, यूनिटरी हार सांख्यिकी ($C\text{Haar}$) तक पहुँचने के लिए $O(\log N)$ कॉम्प्लेक्स मैजिक अवस्थाओं की आवश्यकता होती है।
• इमेजिनरी रिसोर्सेज ($|\pm i\rangle$): उल्लेखनीय रूप से, एक एकल इमेजिनरी रिसोर्स ($r=1$) रियल सिमेट्री को तोड़ने और सख्ती से यूनिटरी क्लिफोर्ड सांख्यिकी ($C\text{Stab}$) को पुनः प्राप्त करने के लिए पर्याप्त है। ऐसा इसलिए है क्योंकि एक एकल इमेजिनरी अवस्था, रियल ऑपरेशन्स के साथ मिलकर, पूर्ण कॉम्प्लेक्स बेस को जेनरेट करती है।

4. स्टेट डिज़ाइन गुण
फ्रेम पोटेंशियल विश्लेषण पुष्टि करता है कि डिज़ाइन गुण IPR द्वारा स्थापित पदानुक्रम का पालन करते हैं।

• लॉगरिदमिक मैजिक (रियल या कॉम्प्लेक्स) के साथ डोपिंग करने से संबंधित हार लिमिट्स की ओर अभिसरण होता है।
• एक एकल इमेजिनरी क्यूबिट यूनिटरी क्लिफोर्ड डिज़ाइन गुणों को पुनः प्राप्त करने के लिए पर्याप्त है, जो रियल बैकबोन से कॉम्प्लेक्स यूनिटरी सांख्यिकी तक पहुँचने के लिए न्यूनतम संसाधन लागत को स्थापित करता है।

महत्व
यह पेपर रियल क्लिफोर्ड सिस्टम में एंटीकंसंट्रेशन और स्टेट डिज़ाइन का एक व्यापक लक्षण वर्णन स्थापित करता है। OCPT वितरण को परिभाषित करके, यह रियल हिल्बर्ट स्पेस में क्वांटम अराजकता (quantum chaos) के लिए एक न्यूनतम बेसलाइन प्रदान करता है। इनके निष्कर्ष "फाइन-ग्रेन्ड" संसाधन प्रबंधन की रणनीति को प्रकट करते हैं: आप एक रियल क्लिफोर्ड बैकबोन को रियल मैजिक अवस्थाओं और एक एकल इमेजिनरी क्यूबिट के साथ डोप करके एक यूनिटरी स्टेट डिज़ाइन कुशलतापूर्वक बना सकते हैं, बजाय इसके कि पूर्ण कॉम्प्लेक्स-मैजिक कंट्रोल की आवश्यकता हो।

इन परिणामों के तत्काल निहितार्थ हैं:

• रेबिट-आधारित क्वांटम कंप्यूटेशन (Rebit-based Quantum Computation): रियल-हिल्बर्ट-स्पेस-आधारित कंप्यूटेशन को स्केलेबल बनाने के लिए सटीक संसाधन लागतों को मापना।
• रैंडमाइज्ड बेंचमार्किंग: विशिष्ट रिसोर्स इंजेक्शन द्वारा प्रेरित सांख्यिकीय संक्रमणों को स्पष्ट करके रियल रैंडमाइज्ड बेंचमार्किंग प्रोटोकॉल को सूचित करना।
• रिसोर्स थ्योरी: क्वांटम अराजकता (chaos) को चलाने के लिए "मैजिक" (नॉन-स्टेबिलाइज़रनेस) और "इमेजिनैरिटी" (नॉन-रियलिटी) के बीच स्केल के स्पष्ट अलगाव को प्रदर्शित करना।

यह कार्य नए प्रयोगात्मक हार्डवेयर का प्रस्ताव नहीं करता है बल्कि डोप्ड रियल सर्किट्स के सांख्यिकीय व्यवहार को समझने के लिए सैद्धांतिक आधार प्रदान करता है, जो निकट-अवधि (near-term) उपकरणों और उन त्रुटि सुधार योजनाओं के लिए महत्वपूर्ण है जो रियल या प्रतिबंधित रिसोर्स सेट्स पर निर्भर करती हैं।