Variational Approach for Uniform Quantum Permutation Generators

तकनीकी सारांश: एकसमान क्वांटम क्रमपरिवर्तन जनरेटरों के लिए वेरिएशनल दृष्टिकोण

समस्या विवरण
एकसमान यादृच्छिक क्रमपरिवर्तन (uniform random permutation) का निर्माण शास्त्रीय और क्वांटम दोनों गणनाओं में एक मौलिक प्रिमिटिव है, जिसके अनुप्रयोग क्रिप्टोग्राफी, क्वांटम त्रुटि सुधार और अनुकूलन (optimization) में हैं। जबकि फिशर-येट्स शफल (Fisher–Yates shuffle) जैसे शास्त्रीय तरीके एकसमान क्रमपरिवर्तन उत्पन्न कर सकते हैं, क्वांटम कार्यान्वयन महत्वपूर्ण हार्डवेयर बाधाओं का सामना करते हैं। मौजूदा सटीक क्वांटम निर्माण, जो एकसमान क्रमपरिवर्तन पीढ़ी के लिए उपयोग किए जाते हैं, आमतौर पर 'ऑल-टू-ऑल' क्यूबिट कनेक्टिविटी की धारणा रखते हैं और उनमें द्विघाती सर्किट गहराई ($O(n^2)$) की आवश्यकता होती है। हालांकि, निकट-अवधि (near-term) क्वांटम उपकरण स्थानीय इंटरेक्शन टोपोलॉजी (जैसे, लिनियर नियर-नेबोर, हेवी-हेक्स लैटिस) द्वारा सीमित होते हैं, जो सटीक एकसमान वितरण उत्पन्न करने की व्यवहार्यता को मौलिक रूप से बदल देते हैं। संबोधित मुख्य चुनौती यह है कि क्या बाधित टोपोलॉजी पर स्थानीय गेट विकल्पों को इस तरह व्यवस्थित किया जा सकता है कि वे सिमेट्रिक ग्रुप $S_n$ पर एक सटीक एकसमान वितरण प्रेरित करें, और यदि ऐसा है, तो यूनिवर्सल परम्यूटेशन रूटिंग की तुलना में उनके संसाधन लागत (डेप्थ और साइज) क्या हैं।

कार्यप्रणाली
लेखक हार्डवेयर कनेक्टिविटी बाधाओं के अनुरूप तैयार किया गया एक वेरिएशनल क्वांटम सर्किट (VQC) ढांचा प्रस्तावित करते हैं। इस दृष्टिकोण में तीन मुख्य चरण शामिल हैं:

1. एन्सेटल स्पेसिफिकेशन (Ansatz Specification): सर्किट पैरामीट्रिक कंट्रोल्ड-स्वैप (PCS) गेट्स का उपयोग करता है। मानक कंट्रोल्ड-स्वैप के विपरीत, यहाँ कंट्रोल क्यूबिट्स को Pauli-Y अक्ष पर एक रोटेशन $\hat{R}_y(\theta)$ के माध्यम से तैयार किया जाता है। यह "स्वैप" और "नो-स्वैप" शाखाओं का एक सुपरपोजिशन बनाता है, जहाँ पैरामीटर $\theta$ सक्रियण की संभावना निर्धारित करता है।
2. आर्किटेक्चर डिज़ाइन: सर्किट टोपोलॉजी एक इंटरेक्शन ग्राफ $G=(V, E)$ द्वारा निर्धारित होती है जो भौतिक क्यूबिट कनेक्टिविटी का प्रतिनिधित्व करती है। लेखक ऐसे लेयर्ड आर्किटेक्चर डिजाइन करते हैं जहाँ प्रत्येक लेयर विलगित (disjoint) PCS ऑपरेशन्स का एक सेट लागू करती है। महत्वपूर्ण रूप से, आर्किटेक्चर को पूर्व-निर्धारित (a priori) रूप से यह सुनिश्चित करने के लिए चुना गया है कि यह पूर्ण सिमेट्रिक ग्रुप $S_n$ को उत्पन्न कर सके (यूनिवर्सल रूटैबिलिटी), जबकि वेरिएशनल पैरामीटर्स को केवल लक्षित एकसमान सांख्यिकी (uniform statistics) को लागू करने के लिए अनुकूलित किया जाता है।
3. अनुकूलन (Optimization): एक कॉस्ट फंक्शन जो प्रेरित चैनल और लक्षित सिमेट्रिक प्रोजेक्टर ($\Pi_{sym}$) के बीच के फ्रोबेनियस नॉर्म (Frobenius norm) के अंतर पर आधारित है, उसे मिनिमाइज किया जाता है। लक्ष्य ऐसे पैरामीटर्स $\Theta$ खोजना है जिससे सर्किट सभी क्रमपरिवर्तनों पर एकसमान सुपरपोजिशन को लागू करे।

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

• लिनियर टोपोलॉजी निर्माण: लेखक लिनियर नियर-नेबोर टोपोलॉजी के लिए इस ढांचे को विशेष रूप से लागू करते हैं। वे स्वैप संभावनाओं को परिभाषित करने के लिए एक रिकर्सिव मैट्रिक्स $M_n$ का उपयोग करते हुए एक स्पष्ट निर्माण प्रस्तुत करते हैं।

  • प्रदर्शन: यह निर्माण $O(n)$ सर्किट डेप्थ और $O(n^2)$ सर्किट साइज (विशेष रूप से $n(n-1)/2$ कंट्रोल्ड-स्वैप्स) के साथ सटीक एकरूपता (exact uniformity) प्राप्त करता है।
  • सुधार: यह उन पिछले सटीक निर्माणों की तुलना में डेप्थ में एक रैखिक-कारक सुधार है जिन्हें $O(n^2)$ डेप्थ और 'ऑल-टू-ऑल' कनेक्टिविटी की आवश्यकता थी।
  • अनुभवजन्य सत्यापन: $n=12$ तक के सिस्टम साइज के लिए संख्यात्मक अनुकूलन मशीन प्रिसिजन ($10^{-15}$) तक अभिसरित (converge) होता है, जो यह सुझाव देता है कि रिकर्सिव संरचना एक सटीक एकसमान चैनल उत्पन्न करती है। लेखक कंजैक्चर 1 (Conjecture 1) प्रस्तुत करते हैं, जो यह दावा करता है कि यह इंडक्टिवली निर्मित सर्किट सभी $n$ के लिए एक एकसमान कोहेरेंट सुपरपोजिशन उत्पन्न करता है।

• बेनेश-जैसे आर्किटेक्चर की सीमाएं: शोध पत्र एक क्वांटम बेनेश नेटवर्क की जांच करता है, जो एक लॉगरिदमिक-डेप्थ ($O(\log n)$) आर्किटेक्चर है और यूनिवर्सल परम्यूटेशन रूटिंग के लिए जाना जाता है।

  • गैर-एकरूपता का प्रमाण: लेखक सिद्ध करते हैं कि एक क्वांटम बेनेश-जैसा आर्किटेक्चर अंतर्निहित रूप से गैर-एकसमान (intrinsically non-uniform) है। अपनी क्षमता के बावजूद कि यह प्रत्येक क्रमपरिवर्तन को साकार कर सकता है और इसकी डेप्थ लॉगरिदमिक है, कोई भी वेरिएशनल पैरामीटर $S_n$ पर सटीक एकसमान वितरण प्रेरित नहीं कर सकता है।
  • साक्ष्य: $n=8$ के लिए संख्यात्मक अनुकूलन एक परिमित अवशेष (finite residual $\approx 10^{-2}$) पर रुक जाता है, जो लक्षित सिमेट्रिक प्रोजेक्टर तक पहुँचने में विफल रहता है। इससे कंजैक्चर 2 (Conjecture 2) निकलता है, जो कहता है कि $n=8$ के लिए, कोई भी पैरामीटर सेट एकरूपता प्रदान नहीं करता है।

• जटिलता पृथक्करण (Complexity Separation): परिणाम यह सुझाव देते कि "परम्यूटेशन रियलाइजेबिलिटी" (किसी विशिष्ट क्रमपरिवर्तन को उत्पन्न करने की क्षमता) और "सटीक एकसमान क्रमपरिवर्तन पीढ़ी" (सभी $S_n$ पर एकसमान वितरण उत्पन्न करने की क्षमता) के बीच एक सख्त अलगाव है। लेखक कंजैक्चर 3 (Conjecture 3) का प्रस्ताव करते हैं, जो बताता है कि स्थानीयता की बाधाओं के तहत, सटीक एकसमान पीढ़ी के लिए सर्किट साइज $\Omega(n^2)$ और डेप्थ $\Omega(n)$ की आवश्यकता होती है, जो इसे यूनिवर्सल रूटिंग की तुलना में स्पर्शोन्मुख रूप से (asymptotically) अधिक मांग वाला बनाता है।

महत्व
यह शोध पत्र सटीक क्रमपरिवर्तन पीढ़ी में सर्किट टोपोलॉजी की भूमिका को स्पष्ट करता है। यह दर्शाता है कि जबकि बेनेश-प्रकार के नेटवर्क यूनिवर्सल रूटिंग के लिए इष्टतम हैं, वे वेरिएशनल ऑप्टिमाइजेशन के तहत सटीक एकसमान सैंपलिंग के लिए अपर्याप्त हैं। इसके विपरीत, लिनियर टोपोलॉजी, जिसे अक्सर प्रतिबंधात्मक माना जाता है, सटीक एकसमान पीढ़ी का समर्थन कर सकती है यदि स्वैप संभावनाओं को वेरिएशनल दृष्टिकोण के माध्यम से सावधानीपूर्वक ट्यून किया जाए।

यह कार्य यह स्पष्ट करता है कि सटीक एकसमान क्रमपरिवर्तन पीढ़ी, केवल क्रमपरिवर्तन साकार करने की तुलना में एक सख्त रूप से मजबूत आवश्यकता है। यह दोनों कार्यों के बीच एक औपचारिक जटिलता पृथक्करण के लिए आधार तैयार करता है और वेरिएशनल क्वांटम सर्किट को हार्डवेयर-प्रतिबंधित एकसमान सैंपलिंग के लिए एक स्वाभाविक ढांचे के रूप में पहचानता है। लेखक अपने सैद्धांतिक प्रमाणों के संबंध में विनम्र रहते हैं, यह नोट करते हुए कि हालांकि लिनियर टोपोलॉजी निर्माण के लिए संख्यात्मक साक्ष्य मजबूत हैं, फिर भी सभी $n$ के लिए एक औपचारिक प्रमाण अभी भी खुला है, और यह भी कि क्या सटीक एकसमान पीढ़ी के लिए $O(n^2)$ साइज और $O(n)$ डेप्थ से कम स्पर्शोन्मुख संसाधनों की संभावना है।