Exact distinguishability between real-valued and complex-valued Haar random quantum states

समस्या विवरण
हायर रैंडम क्वांटम अवस्थाएँ (Haar random quantum states) क्वांटम सूचना सिद्धांत के लिए मौलिक हैं, जो शैडो टॉमोग्राफी, क्वांटम लाभ प्रदर्शन और बेंचमार्किंग जैसे अनुप्रयोगों का आधार बनती हैं। हालाँकि, यूनिटरी समूह पर हेयर मेजर (Haar measure) से नमूने लेने के लिए घातांकीय आकार (exponential size) के क्वांटम सर्किटों की आवश्यकता होती है, जो इसे अव्यवहारिक बनाता है। फलस्वरूप, अनुसंधान "अनुमानित अवस्था $t$-डिज़ाइन" (approximate state $t$-designs) पर केंद्रित है—जो कि ऐसी अवस्थाओं के समूह हैं जिन्हें कुशलतापूर्वक तैयार किया जा सकता है और जो हेयर वितरण के पहले $t$ मोमेंट्स की नकल करते हैं। एक विशिष्ट वर्ग, जिसे 'एसिम्प्टोटिकली रैंडम स्टेट्स' (ARS) के रूप में जाना जाता है, वास्तविक-मान वाले क्वांटम राज्यों का उपयोग करता है। जबकि वास्तविक-मान वाली क्वांटम थ्योरी कभी-कभी जटिल थ्योरी के समान कम्प्यूटेशनल शक्ति प्रदान कर सकती है, यह ज्ञात है कि यह सभी क्वांटम घटनाओं का वर्णन करने के लिए अपर्याप्त है। एक महत्वपूर्ण खुला प्रश्न बना हुआ है: क्या वास्तविक-मान वाले स्टेट $t$-डिज़ाइन के प्रदर्शन पर वास्तविक-मान वाले समकक्षों की तुलना में मौलिक सीमाएँ हैं? विशेष रूप से, क्या वास्तविक-मान वाले समूह, जटिल-मान वाले समूहों की तुलना में यूनिटरी समूह पर हेयर मेजर का उतना ही करीब से अनुमान लगा सकते हैं? और साइकोड-रैंडम स्टेट्स (PRS) और इमेजिनैरिटी टेस्टिंग (imaginarity testing) जैसे क्रिप्टोग्राफिक प्रिमिटिव्स के लिए इसके क्या निहितार्थ हैं?

कार्यप्रणाली
लेखक इसे $O_d$ पर हेयर मेजर के अनुसार $d$-आयामी वास्तविक-मान वाले क्वांटम स्टेट की $t$ प्रतियों से प्राप्त होने वाले डेंसिटी मैट्रिक्स का विश्लेषणात्मक अध्ययन करके संबोधित करते हैं। मुख्य तकनीकी दृष्टिकोण शामिल है:

1. स्पेक्ट्रल डीकंपोजिशन (Spectral Decomposition): लेखक वास्तविक हेयर रैंडम स्टेट की $t$ प्रतियों से जुड़े डेंसिटी मैट्रिक्स $\rho^R_{d,t}$ का सटीक स्पेक्ट्रल डीकंपोजिशन व्युत्पन्न करते हैं। यह ऑर्थोगोनल समूह के रिप्रेजेंटेशन थ्योरी का लाभ उठाकर प्राप्त किया गया है।
2. हारमोनिक पॉलिनोमिअल्स के साथ आइसोमोर्फिज्म (Isomorphism to Harmonic Polynomials): वे सिमेट्रिक सबस्पेस $\vee^t \mathbb{R}^d$ और $d$ वेरिएबल्स में डिग्री $t$ के होमोजेनियस पॉलिनोमिअल्स $P^t_d$ के बीच एक आइसोमोर्फिज्म स्थापित करते हैं। कोइफमैन और वीस (1968) के एक शास्त्रीय परिणाम का उपयोग करते हुए, वे इस पॉलिनोमिअल स्पेस को हार्मोनिक पॉलिनोमिअल्स $H^t_d$ और द्विघाती रूप (quadratic form) $q = \sum X_i^2$ के मल्टीपल्स के उप-स्थानों में विभाजित करते हैं।
3. शूर लेम्मा का अनुप्रयोग (Schur's Lemma Application): यह दिखाते हुए कि $O_d$ का हार्मोनिक उप-स्थानों पर रिप्रेजेंटेशन इरैड्यूसिबल (irreducible) है, वे शूर लेम्मा लागू करते हैं ताकि यह निर्धारित किया जा सके कि डेंसिटी मैट्रिक्स प्रत्येक उप-स्थान पर आइडेंटिटी के स्केलर मल्टीपल के रूप में कार्य करता है। यह प्रत्येक आइगेनवैल्यू और उनकी मल्टीप्लिसिटी के सटीक गणना की अनुमति देता है।
4. ट्रेस डिस्टेंस गणना (Trace Distance Calculation): व्युत्पन्न आइगेनवैल्यू का उपयोग करते हुए, वे वास्तविक ($\rho^R_{d,t}$) और जटिल ($\rho^C_{d,t}$) हेयर रैंडम स्टेट्स के बीच सटीक ट्रेस डिस्टेंस की गणना करते हैं। यह दूरी दोनों समूहों के बीच भेद करने की क्षमता को मापती है।

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

1. सटीक स्पेक्ट्रल डीकंपोजिशन (थ्योरम 1): पेपर $\rho^R_{d,t}$ के आइगेनवैल्यू $\lambda_k$ और मल्टीप्लिसिटी $\alpha_k$ के लिए क्लोज्ड-फॉर्म एनालिटिकल एक्सप्रेशन प्रदान करता है। आइगेनवैल्यू इस प्रकार दिए गए हैं:
   $$\lambda_k = \frac{t!(d-2)!!}{(2k)!!(d+2t-2k-2)!!}$$
   मल्टीप्लिसिटी हार्मोनिक पॉलिनोमिअल सबस्पेस के आयामों द्वारा निर्धारित होती है।
2. सटीक डिस्टिंगुइशेबिलिटी (कोरोलरी 1): लेखक वास्तविक और जटिल हेयर रैंडम स्टेट्स के बीच ट्रेस डिस्टेंस का सटीक सूत्र व्युत्पन्न करते हैं। वे दिखाते हैं कि जब $t \sim \alpha\sqrt{d}$ हो, तो ट्रेस डिस्टेंस $1 - e^{-\alpha^2/2}$ की ओर अभिसरित होता है। यह एक पहले से व्युत्पन्न अपर बाउंड को एक सटीक लोअर बाउंड प्रदान करके पूर्ण करता है।
3. अनुमान के लिए मौलिक निचली सीमा (लेम्मा 4 और प्रोपोजिशन 1): ट्रेस नॉर्म के लिए डेटा प्रोसेसिंग इनइक्वेलिटी का उपयोग करते हुए, वे सिद्ध करते हैं कि किसी भी वास्तविक-मान वाले स्टेट्स के समूह के लिए, जटिल हेयर मेजर तक ट्रेस डिस्टेंस, वास्तविक हेयर मेजर और जटिल हेयर मेजर के बीच की दूरी द्वारा लोअर-बाउंडेड है। यह एक मौलिक सीमा स्थापित करता: कोई भी वास्तविक-मान वाला $t$-डिज़ाइन, जटिल हेयर मेजर के अनुमान में वास्तविक हेयर मेजर से बेहतर प्रदर्शन नहीं कर सकता।
4. ARS और PRS के लिए निहितार्थ: परिणाम बताते हैं कि वास्तविक-मान वाले ARS कंस्ट्रक्शन का एप्रोक्सिमेशन पैरामीटर $\epsilon$ अधिकतम $t^2/d$ के क्रम में स्केल करता है। यह वास्तविक-मान वाले प्रूडो-रैंडम स्टेट कंस्ट्रक्शन के प्रदर्शन को सीमित करता है, जो यह सुझाव देता कि गैर-शून्य "इमेजिनैरिटी" (जटिल एम्प्लीट्यूड) $t/d$ के साथ स्केल करने वाले एप्रोक्सिमेशन पैरामीटर्स प्राप्त करने के लिए एक आवश्यक शर्त है।
5. इमेजिनैरिटी टेस्टिंग के लिए बेहतर बाउंड्स (प्रोपोजिशन 2): लेखक किसी अवस्था की इमेजिनैरिटी को टेस्ट करने के लिए आवश्यक प्रतियों की संख्या के संबंध में हॉग, भारती और को (2025) के कार्य का सामान्यीकरण और सुधार करते हैं। वे पिछले बाउंड को $\Omega(\sqrt{2^n})$ से बदलकर $\sqrt{2 \ln(3/2) d} + o(\sqrt{d})$ कर देते हैं, जो किसी भी आयाम $d$ के लिए पिछले बाउंड को $\sqrt{2}$ के कारक से बेहतर बनाता है। वे हेयर रैंडम स्टेट्स के लिए इमेजिनैरिटी के वितरण को भी व्युत्पन्न करते हैं, जो दिखाता है कि यह पावर लॉ (विशेष रूप से बीटा वितरण) का पालन करता है।

महत्व
यह पेपर वास्तविक-मान वाले क्वांटम स्टेट एनसेम्बल्स की सीमाओं की एक मौलिक समझ प्रदान करने का दावा करता है। वास्तविक हेयर रैंडम स्टेट्स के स्पेक्ट्रल गुणों को विश्लेषणात्मक रूप से चरित्रित करके, यह प्रदर्शित करता है कि वास्तविक-मान वाले अनुमान जटिल हेयर रैंडम स्टेट्स की पूरी तरह से नकल नहीं कर सकते, चाहे निर्माण विधि कोई भी हो। इसके सीधे निहितार्थ हैं:

• क्वांटम क्रिप्टोग्राफी: यह वास्तविक-मान वाले ARS और PRS कंस्ट्रक्शन की सुरक्षा और दक्षता पर एक सैद्धांतिक सीमा निर्धारित करता है, जो यह दर्शाता है कि इष्टतम प्रदर्शन के लिए जटिल एम्प्लीट्यूड संभवतः आवश्यक हैं।
• रिसोर्स थ्योरीज: यह अवस्था में जटिल संख्याओं (इमेजिनैरिटी) की उपस्थिति का पता लगाने के लिए आवश्यक संसाधनों (प्रतियों की संख्या) के सटीक मात्रात्मक बाउंड प्रदान करता है, जो पिछले एसिम्प्टोटिक परिणामों को परिष्कृत करता है।
• तकनीकी उपयोगिता: व्युत्पन्न स्पेक्ट्रल डीकंपोजिशन और सिमेट्रिक सबस्पेस एवं हार्मोनिक पॉलिनोमिअल्स के बीच आइसोमोर्फिज्म को भविष्य के अनुसंधान और रिप्रेजेंटेशन थ्योरी में स्वतंत्र उपयोगिता के लिए उपकरणों के रूप में प्रस्तुत किया गया है।

लेखक डिस्टिंग्विशिंग मेजरमेंट (distinguishing measurement) के कार्यान्वयन के संबंध में विनम्र रहते हैं, यह नोट करते हुए कि हालांकि सैद्धांतिक बाउंड प्राप्त करने के लिए एक स्पष्ट प्रोजेक्टिव मेजरमेंट मौजूद है, लेकिन इसका कुशल कार्यान्वयन (जैसे कि शूर ट्रांसफॉर्म के माध्यम से) एक खुला प्रश्न बना हुआ है। इसी तरह, वे स्वीकार करते हैं कि हालांकि वे सिद्ध करते हैं कि कुछ विशिष्ट एप्रोक्सिमेशन पैरामीटर्स के लिए जटिल एम्प्लीट्यूड आवश्यक हैं, लेकिन अन्य विशिष्ट पैरामीटर्स के लिए आवश्यक इमेजिनैरिटी की सटीक मात्रा अध्ययन का एक खुला क्षेत्र है।