Pontryagin Maximum Principle for Rydberg-blockaded state-to-state transfers: A semi-analytic approach

तकनीकी सारांश: रिडबर्ग-ब्लॉकडेडेड (Rydberg-blockaded) अवस्था-से-अवस्था स्थानांतरण के लिए पोंट्रियागिन अधिकतम सिद्धांत: एक अर्ध-विश्लेषणात्मक दृष्टिकोण

समस्या विवरण
यह शोध पत्र रिडबर्ग ब्लॉकेड शासन (Rydberg blockade regime) में कार्यरत न्यूट्रल-एटम क्वांटम प्रोसेसर के भीतर दो-और बहु-क्यूबिट ऑपरेशन्स के लिए समय-इष्टतम (time-optimal) अवस्था-से-अवस्था नियंत्रण की समस्या को संबोधित करता है। लक्ष्य उन वैश्विक लेजर पल्स के आकार को निर्धारित करना है जो उच्च निष्ठा (fidelity) बनाए रखते हुए विशिष्ट प्रारंभिक अवस्थाओं को लक्षित मैनिफोल्ड्स (जैसे उत्तेजित अवस्थाओं या एंटैंगल्ड गेट अवस्थाओं) में स्थानांतरित करने के लिए आवश्यक समय को न्यूनतम करते हैं। जबकि क्वांटम ऑप्टिमल कंट्रोल (QOC) एक सुस्थापित क्षेत्र है, उच्च-आयामी प्रणालियों के लिए आमतौर पर विशुद्ध रूप से संख्यात्मक अनुकूलन (जैसे GRAPE) पर निर्भर किया जाता है। लेखक इन विशिष्ट भौतिक प्रणालियों के लिए अर्ध-विश्लेषणात्मक समाधान प्राप्त करने हेतु पोंट्रियागिन अधिकतम सिद्धांत (PMP) को लागू करके विश्लेषणात्मक और गणनात्मक विधियों के बीच के अंतर को पाटने का प्रयास करते हैं।

कार्यप्रणाली
लेखक पोंट्रियागिन अधिकतम सिद्धांत (PMP) पर आधारित एक अर्ध-विश्लेषणात्मक दृष्टिकोण का उपयोग करते हैं। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

1. हैमिल्टनियन न्यूनीकरण (Hamiltonian Reduction): वैश्विक लेजर विकिरण के तहत $N$ रिडबर्ग परमाणुओं की जटिल अनेक-शरीर (many-body) गतिशीलता को सरल बनाया गया है। रिडबर्ग ब्लॉकेड (जहाँ मजबूत वान डर वाल्स अंतःक्रियाएं कई तात्कालिक उत्तेजनाओं को रोकती हैं) का लाभ उठाकर, सिस्टम हैमिल्टनियन को ब्लॉक-डायगोनल (block-diagonal) बनाया जाता है। यह गतिशीलता को $N$ स्वतंत्र, सामान्यतः गैर-तुल्य प्रभावी टू-लेवल सिस्टम्स (TLSs) के एक समूह में कम कर देता है।
2. PMP सूत्रीकरण: समय-इष्टतम नियंत्रण समस्या को श्रोडिंगर समीकरण और एक लक्षित मैनिफोल्ड द्वारा परिभाषित सीमा स्थितियों के अधीन समय $T$ के न्यूनीकरण के रूप में प्रस्तुत किया गया है। कोस्टेट्स (costates) और एक स्यूडो-हैमिल्टनियन (pseudo-Hamiltonian) को पेश करने के लिए PMP को इष्टतमता की आवश्यक शर्तों को व्युत्पन्न करने के लिए लागू किया गया है।
3. एक्सट्रीमल्स का वर्गीकरण: उम्मीदवार समाधानों को "सामान्य" ($\lambda_0 \neq 0$) और "असामान्य" ($\lambda_0 = 0$) एक्सट्रीमल्स में वर्गीकृत किया गया है।
   • असामान्य एक्सट्रीमल्स (Abnormal Extremals): लेखक व्युत्पन्न करते हैं कि $N=2$ के लिए, असामान्य एक्सट्रीमल्स उन लेजर डिट्यूनिंग्स (detunings) के अनुरूप होते हैं जो समय में स्थिर रहते हैं।
   • सामान्य एक्सट्रीमल्स (Normal Extremals): सामान्य एक्सट्रीमल्स के लिए, लेजर डिट्यूनिंग $\Delta(t) = \dot{\phi}(t)$ एक विशिष्ट साधारण अवकल समीकरण (ODE) का पालन करती है।
4. अर्ध-विश्लेषणात्मक व्युत्पत्ति: संरक्षित मात्राओं (त्रिज्याओं और कोस्टेट वेक्टर्स के प्रोजेक्शन) से संबंधित समन्वय रूपांतरणों (coordinate transformations) के माध्यम से, लेखक सिद्ध करते हैं कि $N=2$ TLSs के लिए इष्टतम लेजर डिट्यूनिंग एक चतुर्थ-क्रम क्षमता (quartic potential) में एक शास्त्रीय कण की गति के अनुसार विकसित होती है:
   $$\frac{1}{2}\dot{\Delta}^2 + V(\Delta) = 0$$
   जहाँ $V(\Delta)$ सिस्टम मापदंडों और संरक्षित मात्राओं पर निर्भर एक चतुर्थ-क्रम बहुपद है।
5. संख्यात्मक अनुकूलन: हालांकि डिट्यूनिंग का कार्यात्मक रूप विश्लेषणात्मक रूप से व्युत्पन्न किया गया है, लेकिन क्षमता (potential) के विशिष्ट गुणांक (coefficients) PMP द्वारा अनिर्धारित रहते हैं। लेखक सीमा स्थितियों (लक्षित मैनिफोल्ड) को संतुष्ट करने और निष्ठा को अधिकतम करने के लिए (BFGS एल्गोरिदम का उपयोग करके) संख्यात्मक अनुकूलन का उपयोग करते हैं। यह हाइब्रिड दृष्टिकोण अंतिम नियंत्रण प्रोफाइल प्रदान करता है।

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

• सामान्य औपचारिकता: $N$ क्यूबिट्स के लिए एक सामान्य औपचारिकता स्थापित की गई है, जो यह प्रदर्शित करती है कि कैसे रिडबर्ग ब्लॉकेड हैमिल्टनियन की ब्लॉक-डायगोनल संरचना बहु-क्यूबिट प्रणालियों पर PMP के अनुप्रयोग की अनुमति देती है।
• असामान्य एक्सट्रीमल्स का विश्लेषण ($N=2$):
  • दो टू-लेवल सिस्टम्स के समवर्ती उत्तेजन (Case i) के लिए, लेखक सिद्ध करते हैं कि असामान्य एक्सट्रीमल्स मौजूद नहीं हैं।
  • एक कंट्रोल्ड-जेड (CZ) गेट के कार्यान्वयन (Case ii) के लिए, वे सिद्ध करते हैं कि यदि असामान्य एक्सट्रीमल्स मौजूद हैं, तो वे स्थिर डिट्यूनिंग के अनुरूप होते हैं और समय-इष्टतम समाधान की तुलना में स्पष्ट रूप से धीमे (उप-इष्टतम) हैं।
• चतुर्थ-क्रम क्षमता पत्राचार (Quartic Potential Correspondence): प्राथमिक सैद्धांतिक परिणाम यह प्रदर्शन है कि $N=2$ के लिए, एक सामान्य एक्सट्रीमल का लेजर डिट्यूनिंग एक चतुर्थ-क्रम क्षमता में कण की गति का अनुसरण करता है। यह नियंत्रण समस्या के एक न्यूनीकरण, अर्ध-विश्लेषणात्मक सूत्रीकरण को प्रदान करता है।
• सत्यापन: लेखक इस पद्धति को दो विशिष्ट मामलों पर लागू करते हैं:
  1. दो टू-लेवल सिस्टम्स का समवर्ती उत्तेजन।
  2. एक CZ गेट का कार्यान्वयन (एकल-क्यूबिट रोटेशन तक)।
     दोनों मामलों में, ODE को एकीकृत करके और गुणांकों को अनुकूलित करके प्राप्त अर्ध-विश्लेषणात्मक पल्स, पूर्णतः संख्यात्मक ग्रेडिएंट एसेंट पल्स इंजीनियरिंग (GRAPE) एल्गोरिदम से प्राप्त परिणामों से पूरी तरह मेल खाते हैं।
• सामान्यीकरण: यह दृष्टिकोण मनमानी अवस्था-से-अवस्था स्थानांतरण के लिए लागू होने योग्य दिखाया गया है, जिसमें विभिन्न प्रक्षेप पथों (trajectories) के लिए उदाहरण दिए गए हैं, जिनमें कंडीशनल फेज शिफ्ट और विशिष्ट स्टेट स्टीयरिंग शामिल हैं।

महत्व और दावे
यह शोध पत्र दावा करता है कि पोंट्रियागिन अधिकतम सिद्धांत रिडबर्ग ब्लॉकेड शासन में बहु-क्यूबिट अवस्था-से-अवस्था स्थानांतरण समस्याओं की अंतर्निहित संरचना को उजागर करने के लिए एक शक्तिशाली ढांचा प्रदान करता है। नियंत्रण समस्या को एक क्षमता में कण की गति में कम करके, लेखक पूर्णतः संख्यात्मक समाधानों के विकल्प के रूप में एक विकल्प प्रदान करते हैं। इसका महत्व इसके "अर्ध-विश्लेषणात्मक" स्वभाव में निहित है: यह विश्लेषणात्मक सिद्धांत की संरचनात्मक अंतर्दृष्टि (डिट्यूनिंग को नियंत्रित करने वाला ODE) को संख्यात्मक अनुकूलन (विशिष्ट क्षमता मापदंडों को खोजना) की सटीकता के साथ जोड़ता है। यह विधि प्रमाणित करती है कि विश्लेषणात्मक अंतर्दृष्टि को उन बहु-क्यूबिट प्रणालियों के लिए भी निकाला जा सकता है जिन्हें आमतौर पर केवल संख्यात्मक रूप से माना जाता है। लेखक PMP उम्मीदवारों के लिए सामान्य अस्तित्व या विशिष्टता (existence or uniqueness) की समस्या को हल करने का दावा नहीं करते हैं, बल्कि यह प्रदर्शित करते हैं कि इन विशिष्ट भौतिक मॉडलों के लिए, PMP स्थितियाँ सुलभ और इष्टतम समाधान प्रदान करती हैं।