तकनीकी सारांश: सममिति के अंतर्गत सटीक यूनिटरी डिज़ाइन्स की यादृच्छिकता (Randomness)

1. समस्या विवरण

क्वांटम सूचना विज्ञान में, यूनिटरी $t$-डिज़ाइन randomized benchmarking, शैडो टोमोोग्राफी और डिकपलिंग जैसे प्रोटोकॉल के लिए एक मौलिक संसाधन के रूप में कार्य करते हैं। एक यूनिटरी $t$-डिज़ाइन ऑपरेटरों का एक ऐसा समूह (ensemble) है जिसके पहले $t$ सांख्यिकीय क्षण (statistical moments) पूर्ण यूनिटरी समूह $U(\mathcal{H})$ पर हेयर मेजर (Haar measure) के समान होते हैं। हालाँकि, भौतिक प्रणालियों में अक्सर कुछ सममितियाँ (symmetries) होती हैं (जैसे कण संख्या संरक्षण, घूर्णन अपरिवर्तनीयता) जो प्राप्त करने योग्य यूनिटरी विकास के सेट को प्रतिबंधित करती हैं। ऐसी स्थितियों में, मनमाने हेयर-रैंडम यूनिटरीज भौतिक रूप से सुलभ नहीं होते हैं।

इस समस्या को संबोधित करने के लिए, सिमेट्रिक $t$-डिज़ाइन (symmetric $t$-design) की अवधारणा पेश की गई: ऑपरेटरों का एक ऐसा समूह जो एक सममिति समूह $S$ के साथ कम्यूट (commute) करता है और जिसके क्षण (moments) सममिति-सम्मान करने वाले यूनिटरीज के उपसमूह, $U(\mathcal{H})_S$, पर हेयर मेजर के समान होते हैं।

इस कार्य में जांचा गया मुख्य प्रश्न यूनिटरी डिज़ाइन स्ट्रेंथ ($t_{\max}$) और सिमेट्रिक डिज़ाइन स्ट्रेंथ ($t^{(S)}_{\max}$) के बीच का संबंध है। विशेष रूप से, लेखक पूछते हैं: क्या किसी समूह (ensemble) की सिमेट्रिक डिज़ाइन स्ट्रेंथ, उसकी यूनिटरी डिज़ाइन स्ट्रेंथ से अधिक हो सकती है?

मित्सुहाशी और योशिओका [14] के पिछले कार्य ने प्रदर्शित किया कि क्लिफोर्ड ग्रुप (Clifford group) के लिए, सिमेट्रिक डिज़ाइन स्ट्रेंथ, इसकी यूनिटरी डिज़ाइन स्ट्रेंथ द्वारा कड़ाई से सीमित है (विशेष रूप से, ग्लोबल ऑन-साइट $U(1)$ और $SU(2)$ सममिति के लिए $t^{(S)}_{\max} \le 1$, जबकि $t_{\max}=3$ है)। इसने यह प्रश्न उठाया कि क्या यह "सममिति दंड" (symmetry penalty) परिमित यूनिटरी समूहों की एक सार्वभौमिक विशेषता है या ऐसे समूह भी मौजूद हैं जहाँ सममिति बाधाएं वास्तव में अनियंत्रित मामले की तुलना में प्रभावी यादृच्छिकता (डिज़ाइन स्ट्रेंथ) को बढ़ा देती हैं।

2. कार्यप्रणाली (Methodology)

लेखक परिमित यूनिटरी समूहों के निर्माण और विश्लेषण के लिए प्रतिनिधित्व सिद्धांत (representation theory), कॉम्पैक्ट समूहों पर हार्मोनिक विश्लेषण (harmonic analysis), और ज़ोनल स्फेरिकल फंक्शन्स (zonal spherical functions) के सिद्धांत का संयोजन उपयोग करते हैं।

2.1 परिभाषाएँ और ढांचा

• डिज़ाइन स्ट्रेंथ (Design Strengths): एक भारित उपसमुच्चय $(X, p)$ के लिए, $t_{\max}(X, p)$ वह अधिकतम $t$ है जिससे वह समूह $U(\mathcal{H})$ में $t$-डिज़ाइन बनता है। $t^{(S)}_{\max}(X, p)$ वह अधिकतम $t'$ है जिससे सममिति-संगत उप-समूह $(X_S, p_S)$, $U(\mathcal{H})_S$ में सिमेट्रिक $t'$-डिज़ाइन बनता है।
• सममिति-सम्मान करने वाला उपसमुच्चय (Symmetry-Respecting Subset): $X_S = \{g \in X : [g, s] = 0, \forall s \in S\}$।
• ग्रुप डिज़ाइन्स (Group Designs): यह शोध पत्र विशेष रूप से उन समूहों का विश्लेषण करता है जहाँ ऑपरेटर एक समान प्रायिकता वितरण के साथ एक परिमित समूह $G$ बनाते हैं।

2.2 गणितीय उपकरण

• शूर-वेइल द्वैत और अपघटन (Schur-Weyl Duality and Decomposition): हिल्बर्ट स्पेस $\mathcal{H}$ को सममिति समूह $S$ के अपरिवर्तनीय निरूपणों (irreps) में विभाजित किया जाता है: $\mathcal{H} \cong \bigoplus_\lambda V_\lambda \otimes W_\lambda$, जहाँ $V_\lambda$, $S$ के irreps हैं और $W_\lambda$ मल्टीप्लिसिटी स्पेस हैं। $U(\mathcal{H})_S$ में ऑपरेटर $V_\lambda$ पर प्रभावहीन (trivially) कार्य करते हैं और $W_\lambda$ पर मनमाने ढंग से कार्य करते हैं।
• ज़ोनल स्फेरिकल फंक्शन्स (Zonal Spherical Functions): लेखक $(U(\mathcal{H}), K)$ के गेलैंड पेयर्स (Gelfand pairs) के सिद्धांत का उपयोग करते हैं, जहाँ $K = U(W) \times U(W^\perp)$ है। वे $U(\mathcal{H})$ के irreps से जुड़े ज़ोनल स्फेरिकल फंक्शन्स $Z_\mu(u)$ के शून्य (zeros) का विश्लेषण करते हैं। विशिष्ट शून्य अस्तित्व में होने से ऐसे समूहों का निर्माण संभव होता है जो $t$-डिज़ाइन हैं लेकिन $(t+1)$-डिज़ाइन नहीं हैं।
• वितरणों का अभिसरण (Convolution of Distributions): मुख्य समूहों का निर्माण यूनिटरी समूह पर प्रायिकता वितरणों के अभिसरण (convolution) पर आधारित है। लेम्मा 7 स्थापित करता है कि यदि $(X, p)$ एक $t$-डिज़ाइन है, तो $(XY, p \star q)$ भी किसी भी भारित उपसमुच्चय $(Y, q)$ के लिए एक $t$-डिज़ाइन होगा।
• परिमित समूह डिज़ाइन्स का वर्गीकरण: लेखक उन परिमित यूनिटरी समूहों के ज्ञात वर्गीकरण पर निर्भर करते हैं जो $t$-डिज़ाइन बनाते हैं (जैसे, बन्नाई आदि [31] और मित्सुहाशी/योशिओका [14] के परिणाम), जो उच्च डिज़ाइन स्ट्रेंथ वाले समूहों की संभावित संरचनाओं को प्रतिबंधित करता है।

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

3.1 सिमेट्री-बूस्टेड डिज़ाइन्स का अस्तित्व

प्राथमिक परिणाम (Theorem 1 और Corollary 2) यह सिद्ध करता है कि व्यापक सममिति परिवारों के लिए, ऐसे परिमित यूनिटरी समूह मौजूद हैं जहाँ सिमेट्रिक डिज़ाइन स्ट्रेंथ, यूनिटरी डिज़ाइन स्ट्रेंथ से स्पष्ट रूप से अधिक है।

• Theorem 1: किन्हीं भी पूर्णांकों $t' \ge t > 0$ के लिए, एक आयाम $d_0$ मौजूद है कि किसी भी हिल्बर्ट स्पेस के आयाम $d \ge d_0$ और किसी भी क्लोज्ड सबग्रुप $S$ के लिए (जिसमें मल्टीप्लिसिटी-फ्री इर्रेप हो), एक भारित उपसमुच्चय $(X, p)$ मौजूद है जो निम्नलिखित को संतुष्ट करता है:
  $$t^{(S)}_{\max}(X, p) \ge t' > t = t_{\max}(X, p)$$
• लागू होने वाली सममितियाँ: यह परिणाम भौतिक रूप से प्रासंगिक सममितियों के लिए मान्य है, जिसमें ग्लोबल ऑन-साइट $U(1)$, $SU(d)$, और सबसिस्टम परम्यूटेशन सममितियाँ शामिल हैं, बशर्ते कि आयाम पर्याप्त रूप से बड़ा हो।
• निर्माण (Construction): प्रमाण रचनात्मक (constructive) है। इसमें एक $S$-सिमेट्रिक $t'$-डिज़ाइन $(Y, q)$ और एक यूनिटरी $t$-डिज़ाइन $(Z, r)$ का निर्माण करना, फिर उन्हें विशिष्ट यूनिटरीज के अभिसरण (convolution) के माध्यम से जोड़ना शामिल है जिन्हें विशिष्ट ज़ोनल स्फेरिकल फंक्शन्स के शून्य के रूप में चुना गया है। यह सुनिश्चित करता है कि संयुक्त समूह पूर्ण समूह में $t$-डिज़ाइन है, लेकिन सममिति उपसमूह पर उच्च $t'$ स्ट्रेंथ बनाए रखता है।

3.2 समूह डिज़ाइन्स पर सीमाएँ (Bounds on Group Designs)

शोध पत्र उस विशिष्ट मामले की जांच करता है जहाँ समूह एक परिमित समूह $G$ बनाता है।

• Theorem 3:
  1. किसी भी $t > 0$ के लिए, सममिति समूह $S$ और परिमित समूह $G \le U(\mathcal{H})_S$ मौजूद हैं ताकि $t^{(S)}_{\max}(G, \text{unif}) \ge t$ हो। अतः, मनमाने आयामों में समूहों के लिए कोई सार्वभौमिक ऊपरी सीमा (upper bound) मौजूद नहीं है।
  2. यदि $t^{(S)}_{\max}(G, p) > 5$ है, तो $U(\mathcal{H})_S$ को अबेलियन (abelian) होना चाहिए (सभी तत्व इरेप बेसिस में डायगोनल हैं)।
  3. गैर-अबेलियन समूह मौजूद हैं जिनकी सिमेट्रिक डिज़ाइन स्ट्रेंथ ठीक $t=5$ है।
• Theorem 4:
  1. ग्लोबल ऑन-साइट $U(1)$ और $SU(q)$ सममितियों के लिए, कोई भी परिमित यूनिटरी समूह जो समूह बनाता है, उसकी सिमेट्रिक डिज़ाइन स्ट्रेंथ अधिकतम 2 ($t^{(S)}_{\max} \le 2$) होती है। यह मित्सुहाशी-योशिओका के परिणाम (जिसने दिखाया था कि क्लिफोर्ड ग्रुप के लिए $t^{(S)}_{\max} \le 1$ है) को सभी परिमित समूह समूहों तक विस्तारित करता है।
  2. यदि सममिति समूह $S$ परिमित है और $|S| < \dim(\mathcal{H})/2$ है, तो $t^{(S)}_{\max} \le 3$ है।
  3. $t \in \{4, 5\}$ वाली सिमेट्रिक डिज़ाइन स्ट्रेंथ वाले समूहों की संरचना अत्यधिक प्रतिबंधित है, जो अनिवार्य रूप से $SL(2, 5)$ की प्रतियों और सापेक्ष चरणों (relative phases) से बनी है।

3.3 बूस्टेड स्ट्रेंथ वाले ग्रुप डिज़ाइन्स

Theorem 5 समस्या 3 का समाधान करता है: क्या एक परिमित समूह $G$ में $t^{(S)}_{\max} > t_{\max}$ हो सकता है?

• लेखक सिद्ध करते हैं कि किसी भी $t > 1$ के लिए, एक परिमित समूह $G$ और सममिति $S$ मौजूद है ताकि $t^{(S)}_{\max}(G, \text{unif}) \ge t$ हो जबकि $t_{\max}(G, \text{unif}) = 1$ हो।
• यह प्रदर्शित करता है कि परिमित समूह डिज़ाइन्स के प्रतिबंधात्मक वर्ग के भीतर भी, सममिति प्रभावी यादृच्छिकता को बढ़ा सकती है।

4. महत्व और दावे

यह शोध पत्र इस खुले प्रश्न को हल करने का दावा करता है कि क्या सममिति बाधाएं कभी डिज़ाइन स्ट्रेंथ को बढ़ा सकती हैं।

• विपरीत परिणाम (Counter-Intuitive Finding): क्लिफोर्ड ग्रुप के व्यवहार के विपरीत (जहाँ सममिति डिज़ाइन स्ट्रेंथ को कम करती है), लेखक दिखाते हैं कि सामान्य परिमित समूहों के लिए, सममिति एक "फ़िल्टर" के रूप में कार्य कर सकती है जो कम-यादृच्छिकता वाले घटकों को हटा देती है, जिससे एक ऐसा उप-समूह बचता है जिसमें मूल समूह के वैश्विक क्षणों की तुलना में उच्च सांख्यिकीय क्षण होते हैं।
• व्यापकता (Generality): ऐसे "सिमेट्री-बूस्टेड" डिज़ाइन्स का अस्तित्व पर्याप्त उच्च आयामों में व्यापक श्रेणी की सममितियों के लिए सामान्य (generic) दिखाया गया है, न कि केवल एक विसंगति।
• संरचनात्मक अंतर्दृष्टि: यह कार्य सममिति के तहत परिमित समूह डिज़ाइन्स पर सटीक संरचनात्मक सीमाएँ प्रदान करता है। यह स्पष्ट करता है कि हालांकि उच्च सिमेट्रिक डिज़ाइन स्ट्रेंथ संभव है, लेकिन यह सख्त बीजगणितीय बाधाएं (जैसे, $t > 5$ के लिए अबेलियन संरचना) लागू करती है और $U(1)$ तथा $SU(q)$ जैसी विशिष्ट भौतिक सममितियों के लिए, समूह डिज़ाइन्स की सिमेट्रिक स्ट्रेंथ गंभीर रूप से सीमित (अधिकतम 2) है।
• सीमाएँ (Limitations): लेखक स्पष्ट रूप से नोट करते हैं कि उनके निर्माण गणितीय हैं और वे आवश्यक रूप से स्थानीय क्वांटम गेट्स के साथ कार्यान्वित होने वाले व्यावहारिक गेट सेट्स के अनुरूप नहीं हैं। वे अपने मुख्य अस्तित्व प्रमाणों को मल्टीप्लिसिटी-फ्री स्थिति वाली सममितियों तक भी सीमित रखते हैं, हालांकि वे तर्क देते हैं कि यह एक तकनीकी बल्कि मौलिक सीमा है।

संक्षेप में, यह शोध पत्र स्थापित करता है कि सममिति और यादृच्छिकता के बीच का संबंध सूक्ष्म है: जबकि सममिति अक्सर उपलब्ध ऑपरेशनों के सेट को प्रतिबंधित करती है, यह विशिष्ट गणितीय निर्माणों में, एक ऐसा उप-समूह बना सकती है जो मूल समूह की तुलना में "अधिक यादृच्छिक" (उच्च डिज़ाइन स्ट्रेंथ के अर्थ में) है, जो बिना सममिति बाधाओं के था।