A Game-Theoretic Quantum Algorithm for Solving Magic Squares

यहाँ शोध पत्र "A Game-Theoretic Quantum Algorithm for Solving Magic Squares" (arXiv:2505.13366v1) का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र नॉन-लोकल गेम्स (NLGs), विशेष रूप से मैजिक स्क्वायर गेम (MSG) के लिए इष्टतम क्वांटम रणनीतियों की खोज की चुनौती को संबोधित करता है।

• संदर्भ: NLGs इंटरैक्टिव कार्य हैं जहाँ गैर-संवाद करने वाले खिलाड़ी (एलिस और बॉब) एक एंटैंगल्ड स्टेट (entangled state) साझा करते हैं ताकि वे एक रेफरी के विरुद्ध जीत सकें। वे शास्त्रीय सीमाओं से परे क्वांटम सहसंबंधों (quantum correlations) का परीक्षण करते हैं।
• मैजिक स्क्वायर गेम: यह एक 2-प्लेयर गेम है जहाँ खिलाड़ियों को $3 \times 3$ ग्रिड को $\pm 1$ मानों से भरना होता है। एलिस को एक पंक्ति (row) सौंपी जाती है (जिसका उत्पाद $+1$ होना चाहिए), और बॉब को एक कॉलम (column) सौंपा जाता है (जिसका उत्पाद $-1$ होना चाहिए)। वे तब जीतते हैं जब उनके उत्तर प्रतिच्छेदन सेल (intersecting cell) पर सहमत होते हैं।
• अंतराल (The Gap): हालांकि MSG के लिए पूर्ण क्वांटम रणनीति विश्लेषणात्मक रूप से ज्ञात है ($\omega_q = 1$ बनाम शास्त्रीय $\omega_c = 8/9$), ऐसे बड़े या अधिक जटिल खेलों के लिए ऐसी रणनीतियों को प्राप्त करने के लिए अक्सर जटिल विश्लेषणात्मक समाधानों की आवश्यकता होती है। लेखक एक वैरिएशनल क्वांटम एल्गोरिदम (VQA) दृष्टिकोण का प्रस्ताव करते हैं ताकि इन रणनीतियों को प्रथम सिद्धांतों (first principles) से सीखा जा सके, जिससे यह विधि निकट-अवधि (near-term) के क्वांटम हार्डवेयर के लिए स्केलेबल बन जाती है।

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

लेखक एक वैरिएशनल क्वांटम आइजनवैल्यू सॉल्वर (VQE) शैली के दृष्टिकोण का उपयोग करते हुए एक हाइब्रिड क्वांटम-क्लासिकल फ्रेमवर्क का प्रस्ताव करते हैं।

A. सैद्धांतिक ढांचा और हैमिल्टोनियन निर्माण (Theoretical Framework & Hamiltonian Construction)

• स्टेबलाइजर फॉर्मलिज्म (Stabilizer Formalism): खेल की बाधाओं को एक वैल्यू हैमिल्टोनियन ($H$) में एनकोड किया गया है।
• फिक्स्ड ऑब्जर्वेबल्स (Fixed Observables): लेखक एलिस (पंक्तियों) के लिए $\{A_i\}$ और बॉब (कॉलम) के लिए $\{B_j\}$ के रूप में फिक्स्ड पाउली ऑब्जर्वेबल्स का एक सेट परिभाषित करते हैं, जो 3-क्यूबिट सबसिस्टम पर कार्य करते हैं। इन्हें पाउली मैट्रिसेस ($X, Z$) के टेंसर उत्पादों से बनाया गया है ताकि प्रत्येक ऑपरेटर में ठीक एक $X$ और दो $Z$ हों।
  • प्रतिबंध: $A_i$ और $B_j$ को इस तरह डिज़ाइन किया गया है कि वे MSG में निहित विशिष्ट पैरिटी (parity) और एंटी-कम्यूटेशन नियमों को संतुष्ट करें।
• कॉस्ट फंक्शन (The Cost Function): हैमिल्टोनियन को इस प्रकार परिभाषित किया गया है:
  $$H = -\sum_{i,j} A_i \otimes B_j$$
  $H$ का ग्राउंड स्टेट एनर्जी एक पूर्ण जीत (मान $-9$) के अनुरूप है।$\langle H \rangle$ के एक्सपेक्टेशन वैल्यू को मिनिमाइज करना गेम जीतने की संभावना को अधिकतम करने के बराबर है।

B. वैरिएशनल सर्किट डिज़ाइन (Variational Circuit Design)

• स्टेट प्रिपरेशन (State Preparation): सिस्टम तीन बेल पेयर्स ($|\Phi^+\rangle$) से बने 6-क्यूबिट एंटैंगल्ड स्टेट के साथ शुरू होता है, जो एलिस और बॉब के बीच प्रत्येक क्यूबिट जोड़ी के लिए एक है।
• पैरामीटराइज्ड यूनिटरीज (Parameterized Unitaries): फिक्स्ड ऑब्जर्वेबल्स को मापने के बजाय, खिलाड़ी फिक्स्ड ऑब्जर्वेबल्स को ट्रेन करने योग्य मेजरमेंट बेस में रोटेट करने के लिए स्थानीय यूनिटरी ट्रांसफॉर्मेशन $U_i(\theta)$ और $V_j(\phi)$ लागू करते हैं:
  $$\tilde{A}_i = U_i^\dagger A_i U_i, \quad \tilde{B}_j = V_j^\dagger B_j V_j$$
• एन्सात्ज़ (Ansatz): यूनिटरीज को PennyLane के StronglyEntanglingLayers टेम्पलेट का उपयोग करके लागू किया जाता है। इसमें सिंगल-क्यूबिट रोटेशन ($X, Y$) के बाद एंटैंगलिंग गेट्स (CNOT/CZ) की परतें शामिल हैं, जिसे 3 परतों के लिए दोहराया जाता है। यह 3-क्यूबिट लोकल हिल्बर्ट स्पेस पर पूर्ण एक्सप्रेसिबिलिटी और हार्डवेयर दक्षता सुनिश्चित करता है।

C. ऑप्टिमाइजेशन लूप (Optimization Loop)

• उद्देश्य: कॉस्ट फंक्शन $L(\theta, \phi) = \langle \psi | \sum \tilde{A}_i \otimes \tilde{B}_j | \psi \rangle$ को मिनिमाइज करना।
• एल्गोरिदम: पैरामीटर्स $\theta$ और $\phi$ को अपडेट करने के लिए ऑटोमैटिक डिफरेंशिएशन (PennyLane autograd) के साथ एडम (Adam) ऑप्टिमाइज़र का उपयोग किया जाता है।
• मुख्य अंतर्दृष्टि: अनुकूलन के दौरान फिक्स्ड ऑपरेटर्स की कम्यूटेशन संरचना सुरक्षित रहती है। लेखक इस तथ्य का लाभ उठाते हैं कि एक खिलाड़ी के सेट के भीतर के ऑब्जर्वेबल्स कम्यूट करते हैं ($[A_i, A_{i'}] = 0$), जिससे यह सुनिश्चित होता है कि जैसे-जैसे रणनीति सीखी जाती है, स्थानीय अनुकूलता (local compatibility) और नो-सिग्नलिंग स्थितियाँ बनी रहती हैं।

3. मुख्य योगदान (Key Contributions)

1. बीजगणितीय व्याख्यात्मकता (Algebraic Interpretability): पिछले कार्यों के विपरीत जो NLGs को ब्लैक-बॉक्स ऑप्टिमाइजेशन समस्याओं के रूप में मानते हैं, यह शोध पत्र MSG के बीजगणितीय ढांचे (स्टेबलाइजर्स और कम्यूटेशन संबंध) का स्पष्ट रूप से विश्लेषण करता है। यह दर्शाता है कि कैसे ये बीजगणितीय गुण वैरिएशनल सर्च का मार्गदर्शन करते हैं।
2. हैमिल्टोनियन एनकोडिंग (Hamiltonian Encoding): एक विशिष्ट वैल्यू हैमिल्टोनियन का निर्माण जो पैरिटी और कंसिस्टेंसी बाधाओं को एनकोड करता है, जिससे VQA बिना किसी पूर्व विश्लेषणात्मक ज्ञान के सटीक जीतने वाली रणनीति को "सीख" सकता है।
3. हार्डवेयर दक्षता (Hardware Efficiency): एक शैलो (shallow), हार्डवेयर-एफिशिएंट एन्सात्ज़ (StronglyEntanglingLayers) का उपयोग इस दृष्टिकोण को निकट-अवधि (NISQ) क्वांटम उपकरणों के लिए उपयुक्त बनाता है।
4. कम्यूटेटिविटी का सत्यापन (Validation of Commutativity): यह कार्य अनुभवजन्य रूप से सत्यापित करता है कि वैरिएशनल ऑप्टिमाइजेशन स्थानीय ऑब्जर्वेबल्स के बीच आवश्यक कम्यूटेशन संबंधों को संरक्षित करता है, जो सीखी गई रणनीति की भौतिक वैधता सुनिश्चित करता है।

4. परिणाम (Results)

लेखकों ने निम्नलिखित परिणामों के साथ व्यापक संख्यात्मक सिमुलेशन किए:

• अभिसरण (Convergence): कॉस्ट फंक्शन लगभग 30 ऑप्टिमाइजेशन स्टेप्स के भीतर सैद्धांतिक न्यूनतम $-9.0$ तक तेजी से अभिसरित हुआ।
• जीत की दर (Win Rate): सीखी गई रणनीति ने सभी 9 इनपुट कॉम्बिनेशनों में 100% जीत दर (पूर्ण फिडेलिटी) प्राप्त की।
• एक्सपेक्टेशन वैल्यूज (Expectation Values):
  • जॉइंट ऑब्जर्वेबल्स $\langle \tilde{A}_i \otimes \tilde{B}_j \rangle$ लगातार $+1.0$ ( $10^{-6}$ के भीतर) तक पहुँचे, जो जीतने की स्थिति को संतुष्ट करते हैं।
  • मार्जिनल एक्सपेक्टेशन वैल्यूज $\langle \tilde{A}_i \rangle$ और $\langle \tilde{B}_j \rangle$ अक्सर शून्य के करीब रहे, जो पुष्टि करते हैं कि रणनीति स्थानीय पूर्वानुमान के बजाय नॉन-लोकल कोरिलेशन पर निर्भर करती है।
• बाधा सत्यापन (Constraint Verification):
  • पैरिटी (Parity): एलिस के रो आउटपुट ने विषम (odd) पैरिटी बनाए रखी; बॉब के कॉलम आउटपुट ने सम (even) पैरिटी बनाए रखी।
  • कंसिस्टेंसी (Consistency): ओवरलैपिंग सेल के आउटपुट उच्च फिडेलिटी ($\approx +1.0$) के साथ सहमत हुए।
  • कम्यूटेटिविटी (Commutativity): पोस्ट-ट्रेनिंग कम्यूटेटर $[\tilde{A}_i, \tilde{A}_{i'}]$ और $[\tilde{B}_j, \tilde{B}_{j'}]$ शून्य के करीब ($<10^{-6}$) रहे, जो पुष्टि करता है कि रणनीति नो-सिग्नलिंग शर्त का सम्मान करती है।

5. महत्व और भविष्य का दृष्टिकोण (Significance and Future Outlook)

• स्केलेबिलिटी (Scalability): यह फ्रेमवर्क बड़े खेलों (जैसे, $n \times n$ मैजिक स्क्वेयर्स) के लिए सामान्यीकृत है। लेखक सुझाव देते हैं कि $n \times n$ ग्रिड के लिए, क्यूबिट की संख्या $n$ के साथ रैखिक रूप से बढ़ती है, और हैमिल्टोनियन में $n^2$ ऑपरेटर जोड़े होते हैं।
• सैद्धांतिक सेतु (Theoretical Bridge): यह पेपर सेमी-सिंपल ली बीजगणित (विशेष रूप से पाउली मैट्रिसेस का बीजगणित) को गेम रणनीतियों से जोड़ता है। यह सुझाव देता है कि इन बीजगणितों के कार्टन डिकम्पोजिशन (Cartan decompositions) बड़े, विश्लेषणात्मक रूप से कठिन खेलों के लिए रणनीतियों के निर्माण हेतु एक व्यवस्थित मार्ग प्रदान कर सकते हैं।
• व्यावहारिक अनुप्रयोग (Practical Application): फिक्स्ड ऑब्जर्वेबल्स के बजाय यूनिटरीज पर ऑप्टिमाइज करके, यह दृष्टिकोण हार्डवेयर शोर और कैलिब्रेशन डेटा के अनुकूल है, जो वास्तविक क्वांटम हार्डवेयर पर डिवाइस-इंडिपेंडेंट वेरिफिकेशन और सेल्फ-टेस्टिंग का मार्ग प्रशस्त करता है।
• व्यापक प्रभाव (Broader Impact): यह कार्य अन्य बाइनरी कंस्ट्रेंट सिस्टम और नॉन-लोकल गेम्स को हल करने के लिए एक टेम्पलेट प्रदान करता है जहाँ विश्लेषणात्मक समाधान अज्ञात हैं, जो फाउंडेशनल क्वांटम मैकेनिक्स और व्यावहारिक क्वांटम एल्गोरिदम डिज़ाइन के बीच के अंतर को पाटता है।

संक्षेप में, यह कार्य प्रदर्शित करता है कि वैरिएशनल क्वांटम एल्गोरिदम न केवल अनुमान लगा सकते हैं, बल्कि समस्या की अंतर्निहित बीजगणितीय संरचना का लाभ उठाकर नॉन-लोकल गेम्स के लिए सटीक क्वांटम रणनीतियों को पुनः प्राप्त (recover) कर सकते हैं, जो निकट-अवधि हार्डवेयर पर क्वांटम लाभ की खोज के लिए एक आशाजनक मार्ग प्रदान करता है।