Non-stabilizerness and violations of CHSH inequalities

तकनीकी सारांश: नॉन-स्टेबलाइज़रनेस और CHSH असमानताओं का उल्लंघन

समस्या विवरण
क्लॉज़र-हॉर्न-शिमोन-होल्ट (CHSH) असमानताओं का उल्लंघन क्वांटम गैर-स्थानीयता (non-locality) का एक प्रमुख लक्षण है, जिसे पारंपरिक रूप से एंटैंगलमेंट (entanglement) के कारण माना जाता है। हालाँकि, हालिया सैद्धांतिक विकास संकेत देते हैं कि केवल एंटैंगलमेंट ही पर्याप्त नहीं है; क्वांटम लाभ और इन असमानताओं का उल्लंघन करने के लिए नॉन-स्टेबलाइज़र संसाधन (जिसे अक्सर "मैजिक" कहा जाता है) भी आवश्यक हैं। जबकि इन संसाधनों की आवश्यकता स्थापित हो चुकी है, इस संबंध में विशिष्ट संरचनात्मक आवश्यकताओं का अभी तक मात्रात्मक रूप से लक्षण वर्णन नहीं किया गया है कि एंटैंगलमेंट और नॉन-स्टेबलाइज़र संसाधनों को CHSH उल्लंघन सक्षम करने के लिए कैसे परस्पर क्रिया करनी चाहिए। विशेष रूप से, यह स्पष्ट नहीं है कि नॉन-स्टेबलाइज़र संसाधन स्थानीय (local) होने चाहिए या गैर-स्थानीय (non-local), सममित (symmetric) होने चाहिए या असममित (asymmetric), और ये गुण अपूर्ण नियंत्रण के तहत उल्लंघन की संभावना को कैसे प्रभावित करते हैं।

कार्यप्रणाली
लेखक एक संसाधन-मुक्त ढांचे (resource-theoretic framework) को अपनाते हैं जहाँ प्रारंभिक अवस्था की तैयारी और मापन को "संसाधन-मुक्त" माना जाता है। वे एक मानक संसाधन-मुक्त तैयारी $\omega_0 = |00\rangle\langle 00|$ और एक संसाधन-मुक्त CHSH ऑपरेटर $B_0$ पर विचार करते हैं जो पाउली मापन (Pauli measurements) से बना है। उल्लंघन के लिए आवश्यक सभी संसाधन एक यूनिटरी इवोल्यूशन $U$ में एनकोड किए गए हैं ताकि अंतिम अवस्था $\omega_U = U\omega_0 U^\dagger$ हो।

नॉन-स्टेबलाइज़र संसाधनों को मापने के लिए, शोध पत्र स्टेबलाइज़र एंट्रॉपी (SE) का उपयोग करता है, विशेष रूप से 2-SE ($M_2$), जिसे पाउली स्ट्रिंग्स पर संभाव्यता वितरण के शिफ्टेड 2-रेनी एंट्रॉपी (shifted 2-Rényi entropy) के रूप में परिभाषित किया गया है। लेखक निम्नलिखित के बीच अंतर करते हैं:

1. कुल नॉन-स्टेबलाइज़रनेस ($M_2$): अवस्था का मैजिक।
2. नॉन-लोकल नॉन-स्टेबलाइज़रनेस ($M_{NL}$): वह मैजिक जिसे स्थानीय यूनिटरी ऑपरेशन्स द्वारा हटाया नहीं जा सकता, जिसे स्थानीय यूनिटरी ऑपरेशन्स के माध्यम से प्राप्त न्यूनतम $M_2$ के रूप में परिभाषित किया गया है।
3. लोकल नॉन-स्टेबलाइज़रनेस ($M_{LOC}$): अंतर $M_2 - M_{NL}$।

यह अध्ययन तीन प्राथमिक विश्लेषणात्मक उपकरणों का उपयोग करता है:

• सैद्धांतिक प्रमाण: क्लिफोर्ड ग्रुप (Clifford group) और स्टेबलाइज़र अवस्थाओं के गुणों का उपयोग करके CHSH उल्लंघन के लिए आवश्यक और पर्याप्त शर्तों को व्युत्पन्न करना।
• हायर एवरेजिंग (Haar Averaging): रैंडम यूनिटरीज के लिए उल्लंघन की संभावना और निश्चित संसाधन मानों (एंटैंगलमेंट एंट्रॉपी, $M_{NL}$, $M_{LOC}$) के लिए सशर्त संभावनाओं की गणना करना।
• आइसोस्पेक्ट्रल ट्वर्लिंग (Isospectral Twirling): एक फिक्स्ड स्पेक्ट्रा वाली यूनिटरीज के एंसेम्बल (ensembles) बनाने के लिए प्रतिनिधित्व सिद्धांत (representation theory) से एक तकनीक, जो एक "कोर" यूनिटरी $U_c$ द्वारा नियंत्रित होती है, लेकिन रैंडमाइज्ड आइगेनवेक्टर्स (एक सबग्रुप $G$, जैसे कि क्लिफोर्ड ग्रुप या पूर्ण यूनिटरी ग्रुप पर औसत) का उपयोग करती है। यह अवस्था तैयारी पर सीमित नियंत्रण वाले परिदृश्यों को मॉडल करता है।

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

1. नॉन-स्टेबलाइज़र संसाधनों की आवश्यकता:
   शोध पत्र सिद्ध करता है (थ्योरम 1) कि न तो शुद्ध (pure) और न ही मिश्रित (mixed) स्टेबलाइज़र अवस्थाएं (जहाँ $M_2=0$) मापन सेटिंग्स के बावजूद CHSH असमानताओं का उल्लंघन कर सकती हैं। इसके अलावा, यदि तैयारी यूनिटरी एक क्लिफोर्ड ऑपरेटर है, तो परिणामी अवस्था एक स्टेबलाइज़र अवस्था ही रहती है, और कोई उल्लंघन नहीं होता है।

2. उल्लंघन के लिए संरचनात्मक आवश्यकताएं:

• असममिति (Asymmetry): थ्योरम 2 प्रदर्शित करता है कि यदि यूनिटरी तैयारी $U$ क्विबिट्स के स्वैप (swap) के प्रति सममित है (स्वैप ऑपरेटर के साथ कम्यूट करती है), तो कोई CHSH उल्लंघन संभव नहीं है। संसाधनों को एलिस (Alice) और बॉब (Bob) के बीच असममित होना चाहिए।
• मैजिक की स्थानीयता (Locality of Magic): विरोधाभासी रूप से, शोध पत्र सिद्ध करता है कि नॉन-लोकल नॉन-स्टेबलाइज़रनेस CHSH उल्लंघनों के लिए हानिकारक है। थ्योरम 3 नॉन-लोकल मैजिक $M_{NL}$ के फलन के रूप में अधिकतम CHSH अपेक्षा मान $C(\theta)$ पर एक ऊपरी सीमा स्थापित करता है:
  $$C(\theta) \leq 2\sqrt{2} - \frac{\ln(2)}{\sqrt{2}} M_{NL}(\theta)$$
  परिणामस्वरूप, कोई भी गैर-शून्य $M_{NL}$ अवस्था को त्सिरलसन बाउंड (Tsirelson bound, $2\sqrt{2}$) तक पहुँचने से सख्ती से रोकता है। उल्लंघन को अधिकतम करने के लिए, यूनिटरी को लोकल नॉन-स्टेबलाइज़रनेस ($M_{LOC}$) इंजेक्ट करनी चाहिए। थ्योरम 4 पुष्टि करता है कि यदि $M_{LOC} = 0$ है, तो कोई उल्लंघन संभव नहीं है।

3. हायर मेजर के माध्यम से संभाव्यता विश्लेषण:
   $5 \times 10^7$ हायर-रैंडम टू-क्विबिट अवस्थाओं पर संख्यात्मक सिमुलेशन प्रकट करते हैं:

• एक रैंडम यूनिटरी द्वारा CHSH उल्लंघन करने की संभावना लगभग 2.51% है।
• हालांकि उच्च $M_{NL}$ वाली अवस्थाओं के CHSH उल्लंघन करने की संभावना कम $M_{NL}$ वाली अवस्थाओं की तुलना में अधिक होती है, लेकिन $M_{NL}$ की उपस्थिति से उल्लंघन का परिमाण कम हो जाता है।
• उल्लंघन की संभावना लोकल मैजिक ($M_{LOC}$) के संबंध में गैर-मोनोटोनिक (non-monotonic) है; रैंडम अवस्थाओं में बहुत उच्च $M_{LOC}$ अक्सर उच्च $M_{NL}$ के साथ सह-संबंधित होता है, जो उल्लंघन में बाधा डालता है।

4. आइसोस्पेक्ट्रल ट्वर्लिंग और एंसेम्बल निर्माण:
   लेखक सीमित नियंत्रण के तहत उल्लंघन की संभावना को अधिकतम करने के लिए यूनिटरीज के एंसेम्बल को व्यवस्थित रूप से बनाने के लिए आइसोस्पेक्ट्रल ट्वर्लिंग का उपयोग करते हैं।

• असममित ट्वर्लिंग (Asymmetric Twirling): केवल एक क्विबिट पर क्लिफोर्ड ग्रुप या पूर्ण यूनिटरी ग्रुप पर औसत निकालने से (असममित रूप से) दोनों क्विबिट्स पर सिमेट्रिक ट्वर्लिंग की तुलना में उल्लंघन की काफी उच्च संभावना प्राप्त होती है।
• क्लिफोर्ड ग्रुप की दक्षता: आश्चर्यजनक रूप से, यदि कोर यूनिटरी में आवश्यक नॉन-स्टेबलाइज़र संसाधन मौजूद हैं, तो एक एकल क्विबिट पर क्लिफोर्ड ग्रुप पर आइसोस्पेक्ट्रल ट्वर्लिंग करने से प्राप्त होने वाली उल्लंघन की संभावना पूर्ण यूनिटरी ग्रुप पर औसत लेने से प्राप्त होने वाली संभावना के तुल्य होती है।
• मजबूती (Robustness): पाया गया है कि उल्लंघन की संभावना ट्वर्लिंग की विषमता (asymmetry) पर अधिक निर्भर करती है बजाय कि नॉन-स्टेबलाइज़रनेस की सटीक मात्रा के, बशर्ते कि कोर यूनिटरी नॉन-क्लिफोर्ड हो।

महत्व
यह शोध पत्र गैर-स्थानीयता के लिए आवश्यक "मैजिक" का मात्रात्मक लक्षण वर्णन प्रदान करता है। यह CHSH उल्लंघनों की समझ को विशुद्ध रूप से एंटैंगलमेंट-केंद्रित दृष्टिकोण से बदलकर एक संसाधन-सिद्धांतिक दृष्टिकोण की ओर ले जाता है जहाँ नॉन-स्टेबलाइज़र संसाधनों की संरचना सर्वोपरि है। मुख्य निष्कर्ष यह है कि CHSH उल्लंघनों को सुगम बनाने के लिए नॉन-स्टेबलाइज़र संसाधन लोकल और असममित होने चाहिए—यह सहज धारणा को चुनौती देता है कि नॉन-लोकल मैजिक ही गैर-स्थानीयता का प्राथमिक चालक है।

आइसोस्पेक्ट्रल ट्वर्लिंग का उपयोग करके, यह कार्य शोर (noise) और सीमित नियंत्रण के विरुद्ध मजबूत क्वांटम नियंत्रण प्रोटोकॉल (यूनिटरी एंसेम्बल) डिजाइन करने के लिए एक व्यवस्थित तरीका प्रदान करता है, जो विशेष रूप से उच्च-संभावना वाले गैर-स्थानीय सहसंबंधों (non-local correlations) को लक्षित करता है। इसके उपग्रह-आधारित क्वांटम प्रयोगों या अपूर्ण गेट फिडेलिटी वाले सिस्टमों जैसे वास्तविक प्रयोगों के लिए महत्वपूर्ण निहितार्थ हैं। परिणाम बताते हैं कि भले ही नियंत्रण प्रतिबंधित हो (जैसे, क्लिफोर्ड ग्रुप का उपयोग करके), यदि संसाधनों की विषमता और स्थानीयता को सही ढंग से प्रबंधित किया जाए, तो हम उच्च-संभावना वाले उल्लंघन को इंजीनियर कर सकते हैं।