⚛️ quantum physics

SDP bounds on quantum codes: rational certificates

यह शोध पत्र क्वांटम कोड्स पर सेमीडेफिनेट प्रोग्रामिंग बाउंड्स के लिए कठोर तर्कसंगत अक्षमता प्रमाण (rational infeasibility certificates) प्रदान करता है, जो संख्यात्मक परिशुद्धता की सीमाओं को पार करके $6 \leq n \leq 19$ के लिए $n$ -qubit कोड्स के अधिकतम आकार पर मौजूदा 18 ऊपरी सीमाओं में सफलतापूर्वक सुधार करता है।

मूल लेखक: Gerard Anglès Munné, Felix Huber

प्रकाशित 2026-03-23

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Gerard Anglès Munné, Felix Huber

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक क्वांटम वॉल्ट (quantum vault) बनाने की कोशिश कर रहे हैं। इस तिजोरी को कीमती जानकारी (क्वांटम बिट्स, या क्यूबिट्स) को बाहरी दुनिया के "शोर" (जैसे रेडियो पर आने वाली स्टेटिक या कांपते हाथ) से बचाकर सुरक्षित रखने के लिए डिज़ाइन किया गया है।

बड़ा सवाल यह है कि: यह तिजोरी कितनी बड़ी हो सकती है?

आपके पास स्थान की एक निश्चित मात्रा (क्यूबिट्स की संख्या, $n$ ) और सुरक्षा का एक आवश्यक स्तर (दूरी, $\delta$ , जो यह निर्धारित करता है कि तिजोरी कितने एरर/गलतियों को झेल सकती है) है। लक्ष्य यह है कि बिना असुरक्षित हुए इस तिजोरी में अधिक से अधिक अलग-अलग "चाबियाँ" (कोड का आकार, $K$ ) समा सकें।

दशकों से, गणितज्ञों ने यह बताने की कोशिश की है: "हम इसमें अधिकतम कितनी चाबियाँ फिट कर सकते हैं?"

समस्या: "धुंधला" कैलकुलेटर (The "Fuzzy" Calculator)

इस उत्तर को खोजने के लिए, शोधकर्ता लिनियर प्रोग्रामिंग (LP) और सेमीडेफिनेट प्रोग्रामिंग (SDP) जैसे शक्तिशाली गणितीय उपकरणों का उपयोग करते हैं। इन्हें ऐसे उन्नत कैलकुलेटर के रूप में समझें जो एक बॉक्स में अधिकतम वस्तुओं को ठूसने की कोशिश करते हैं।

हालाँकि, एक पेच है: ये कैलकुलेटर फ्लोटिंग-पॉइंट अरिथमेटिक (floating-point arithmetic) का उपयोग करते हैं।

उपमा: कल्पना कीजिए कि आप मिलीमीटर के निशानों वाले रूलर का उपयोग करके एक सटीक वृत्त (circle) को मापने की कोशिश कर रहे हैं। आपको एक बहुत ही करीब संख्या मिलती है, लेकिन यह सटीक नहीं है।
परिणाम: क्वांटम कोड की दुनिया में, कैलकुलेटर में होने वाली एक मामूली राउंडिंग एरर (rounding error) एक "ना" को "शायद" में, या एक "शायद" को "ना" में बदल सकती है। यदि कैलकुलेटर कहता है "आप 100 चाबियाँ नहीं फिट कर सकते," लेकिन वह केवल एक राउंडिंग एरर है, तो आप एक शानदार नया कोड खो सकते हैं। इसके विपरीत, यदि वह कहता है "आप 100 फिट कर सकते हैं," लेकिन वह एक ग्लिच (glitch) है, तो आप एक ऐसे वॉल्ट को बनाने में सालों बर्बाद कर सकते हैं जो गणितीय रूप से असंभव है।

अब तक, सबसे अच्छे परिणाम "संख्यात्मक अनुमान" (numerical guesses) थे—जो बहुत संभवतः सही थे, लेकिन सिद्ध (proven) नहीं थे।

समाधान: "रेशनल सर्टिफिकेट" (The "Rational Certificate")

यह पेपर इन धुंधले अनुमानों को कठोर, अटूट प्रमाणों में बदलने का एक तरीका पेश करता है।

लेखकों, जेरार्ड एंगलेस मुन्ने और फेलिक्स हूबर ने रेशनल सर्टिफिकेट्स (Rational Certificates) का उपयोग करते हुए एक चतुर तकनीक का इस्तेमाल किया।

उपमा: कल्पना कीजिए कि आप एक जासूस हैं जो किसी संदिग्ध के दोषी होने को सिद्ध करने की कोशिश कर रहे हैं। गवाह (कैलकुलेटर) कहता है, "मुझे लगता है मैंने उसे देखा था, लेकिन मेरी आँखें धुंधली हैं।"
ट्रिक: धुंधली आँखों पर भरोसा करने के बजाय, लेखक एक "क्लस्टर्ड लो-रैंक सॉल्वर (Clustered Low-Rank Solver)" का उपयोग करते हैं। यह एक विशेष उपकरण है जो धुंधले, अनुमानित उत्तर को लेता है और उसे एक सटीक, पूर्ण भिन्न (fraction) में बदल देता है (जैसे 3.14159... को एक सटीक बीजगणितीय संख्या में बदलना)।
परिणाम: वे एक "सर्टिफिकेट" तैयार करते हैं। यह एक गणितीय दस्तावेज़ है जो कहता है, "हमने 100% निश्चितता के साथ सिद्ध किया है कि आप इस तिजोरी में $X$ से अधिक चाबियाँ नहीं रख सकते।" यदि सर्टिफिकेट मौजूद है, तो वह कोड अस्तित्व में नहीं हो सकता।

उन्होंने क्या पाया?

इस नए "सटीक प्रमाण" (exact proof) पद्धति का उपयोग करते हुए, उन्होंने 6 से 19 क्यूबिट्स तक के आकार के क्वांटम वॉल्ट्स का अध्ययन किया।

पुराने दोषों को सुधारा: उन्होंने पिछले 18 "सर्वश्रेष्ठ अनुमानों" को सिद्ध तथ्यों में बदल दिया कि इन कोड्स का अधिकतम आकार क्या है। उन्होंने पुष्टि की कि कुछ कोड वास्तव में अस्तित्व में ही नहीं रह सकते।
सीमाओं को कम किया: कई कोडों के लिए, उन्होंने केवल पुराने अनुमानों की पुष्टि ही नहीं की; बल्कि उन्होंने उन्हें और भी सख्त (tighten) कर दिया। उन्होंने सिद्ध किया कि वॉल्ट पहले की तुलना में अधिक छोटे हैं। उदाहरण के लिए, उन्होंने दिखाया कि एक निश्चित सुरक्षा स्तर वाले 19-क्यूबिट वॉल्ट के लिए, आप उम्मीद के मुताबिक उतनी चाबियाँ नहीं रख सकते।
विशिष्ट रहस्यों को सुलझाया: उन्होंने 9 चाबियों वाले 8-क्यूबिट वॉल्ट जैसे विशिष्ट कोडों के लिए सटीक प्रमाण दिए, जिससे यह सिद्ध हुआ कि यह असंभव है, जबकि पहले यह केवल एक प्रबल संदेह मात्र था।

यह क्यों मायने रखता है?

एक वास्तविक क्वांटम कंप्यूटर बनाने की दौड़ में, हमें ठीक-ठीक पता होना चाहिए कि क्या संभव है और क्या असंभव।

यदि हमें लगता है कि एक कोड मौजूद है जबकि वह नहीं है, तो हम उसे बनाने में समय और पैसा बर्बाद करते हैं।
यदि हमें लगता है कि एक कोड मौजूद नहीं है जबकि वह वास्तव में है, तो हम एक बड़ी सफलता को खो सकते हैं।

यह पेपर एक "बेहतरीन अनुमान" वाले मानचित्र से परफेक्ट सैटेलाइट सटीकता वाले GPS में अपग्रेड करने जैसा है। यह इंजीनियरों को बताता है, "यहाँ मत ढूँढो; खजाना यहाँ नहीं है। लेकिन वहाँ देखो; सीमा बिल्कुल इतनी है।"

निचोड़ (The Bottom Line)

लेखकों ने क्वांटम कोड की सीमाओं को खोजने के एक अव्यवस्थित, अनुमानित तरीके को साफ किया और उसे एक गणितीय प्रमाण में बदल दिया। उन्होंने केवल नए कोड ही नहीं खोजे; बल्कि उन्होंने रेत पर एक अधिक स्पष्ट और सटीक रेखा खींची, जो हमें बताती है कि क्वांटम दुनिया कहाँ समाप्त होती है और असंभवता कहाँ से शुरू होती है।

यहाँ जेरार्ड एंगल्स मुन्ने और फेलिक्स ह्यूबर के शोध पत्र "SDP Bounds on Quantum Codes: Rational Certificates" का विस्तृत तकनीकी सारांश दिया गया है।

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

इस कार्य में संबोधित क्वांटम कोडिंग थ्योरी की केंद्रीय समस्या एक विशिष्ट ब्लॉक लंबाई ( $n$ ) और दूरी ( $\delta$ ) के लिए क्वांटम एरर-करेक्टिंग कोड के अधिकतम आकार ( $K$ ) को निर्धारित करना है। इसे $((n, K, \delta))_2$ कोड के अस्तित्व को खोजने के रूप में दर्शाया जाता है।

संदर्भ: जबकि लीनियर प्रोग्रामिंग (LP) बाउंड्स (क्वांटम मैकविलियाम्स आइडेंटिटी पर आधारित) ने लंबे समय से कोड के आकार पर ऊपरी सीमाएँ (upper bounds) प्रदान की हैं, वे अक्सर ढीली (loose) होती हैं।
अंतराल (The Gap): एक हालिया प्रगति ने सेमीडेफिनेट प्रोग्रामिंग (SDP) बाउंड्स पेश किए, जो LP बाउंड्स की तुलना में स्पष्ट रूप से अधिक मजबूत हैं। हालाँकि, ये SDP विधियाँ फ्लोटिंग-पॉइंट अंकगणिकी (floating-point arithmetic) पर निर्भर करती हैं। फलस्वरूप, परिणामी "इनफीजिबिलिटी सर्टिफिकेट्स" (प्रमाण कि एक निश्चित आकार का कोड अस्तित्व में नहीं हो सकता) संख्यात्मक अनुमान (numerical approximations) होते हैं। फ्लोटिंग-पॉइंट त्रुटियों के कारण, ये अनुमान कठोर गणितीय प्रमाण (rigorous mathematical proofs) के रूप में कार्य नहीं कर सकते, जिससे बाउंड्स औपचारिक रूप से अप्रमाणित रह जाते हैं।

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

लेखक संख्यात्मक SDP समाधानों को कठोर, परिमेय प्रमाण पत्रों (rigorous, rational infeasibility certificates) में बदलने की एक विधि प्रस्तावित करते हैं।

A. सैद्धांतिक ढांचा (Theoretical Framework)

यह कार्य पिछले अध्ययन (MNH25) द्वारा प्रस्तुत SDP फॉर्मूलेशन पर आधारित है, जो कोड प्रोजेक्टर से प्राप्त मोमेंट मैट्रिक्स $\Gamma(\varrho)$ का उपयोग करके क्वांटम कोड्स को अभिलक्षित करता है।

क्निल-लैमले स्थितियाँ (Knill-Laflamme Conditions): कोड का अस्तित्व मैट्रिक्स $\Gamma$ पर रैखिक और सेमीडेफिनेट बाधाओं (constraints) के एक सिस्टम की व्यवहार्यता से जुड़ा हुआ है।
सिमेट्री रिडक्शन (Symmetry Reduction): $n \le 19$ के लिए SDP को गणनात्मक रूप से सुलभ बनाने के लिए, लेखक नॉन-बाइनरी टेरविलीजर अलजेब्रा (non-binary Terwilliger algebra) का उपयोग करते हैं। यह वेरिएबल्स की संख्या को $O(n^4)$ (पूर्ण मैट्रिक्स फॉर्मूलेशन में) से घटाकर एक प्रबंधनीय आकार में बदल देता है, जो निरंतर भार (constant weight) और सपोर्ट वाले पाउली स्ट्रिंग्स के औसत के रूप में "मैट्रिक्स वेट्स" $\lambda_{i,j}^{t,p}$ का उपयोग करता है।

B. परिमेय प्रमाण पाइपलाइन (The Rational Certificate Pipeline)

संख्यात्मक समाधान के पोस्ट-प्रोसेसिंग में मुख्य नवाचार निहित है:

लो-रैंक सॉल्वर (Low-Rank Solver): वे एक विशेष उच्च-परिशुद्धता प्राइमल-डुअल इंटीरियर-प्वॉइंट सॉल्वर (Clustered Low-Rank Solver द्वारा Leijenhorst et al.) का उपयोग करते हैं। यह सॉल्वर समाधान की लो-रैंक संरचना और बाधाओं के क्लस्टरिंग का लाभ उठाकर एक अनुमानित संख्यात्मक समाधान खोजता है।
अनुमानित राउंडिंग (Heuristic Rounding): अनुमानित संख्यात्मक समाधान को बीजगणितीय संख्याओं (algebraic numbers) के क्षेत्र में सटीक मानों में राउंड किया जाता है।
सत्यापन (Verification): इनफीजिबिलिटी को कठोरता से सिद्ध करने के लिए, लेखक डुअल सॉल्यूशन मैट्रिसेस की पॉजिटिव सेमीडेफिनेटनेस (positive semidefiniteness) को सत्यापित करते हैं। फ्लोटिंग-पॉइंट आइजनवैल्यू पर भरोसा करने के बजाय, वे बीजगणितीय विस्तारों (विशेष रूप से $\mathbb{Q}(\sqrt{3})$ $Q (3)$ ) पर $LDL^T$ अपघटन (decomposition) करते हैं।
- वे $D$ के विकर्ण (diagonal) तत्वों की गैर-ऋणात्मकता की जाँच करने के लिए $\sqrt{3}$ जैसे अपरिमेय घटकों को परिमेय संख्याओं ( $r_\ell < \sqrt{3} < r_u$ ) के साथ बांधते हैं।
- यदि अपघटन इन परिमेय सीमाओं के तहत गैर-ऋणात्मक विकर्णों के साथ बना रहता है, तो इनफीजिबिलिटी गणितीय रूप से सिद्ध हो जाती है।

C. SDP के वेरिएंट्स (Variants of the SDP)

लेखक विभिन्न प्रकार के कोडों को कवर करने के लिए चार विशिष्ट SDP वेरिएंट्स के डुअल को हल करते हैं:

सामान्य कोड (General Codes): मानक सिमेट्री-रिड्यूस्ड SDP।
प्योर कोड्स (Pure Codes): अतिरिक्त बाधाएं जो डिटेक्टेबल एरर्स को कोड स्पेस के लंबवत (orthogonal) होने के लिए मजबूर करती हैं।
सेल्फ-डुअल कोड्स (Self-Dual Codes): लोवाज़ थेटा नंबर पर आधारित एक रिलैक्सेशन, विशेष रूप से $K=1$ के लिए।
एडिटिव (स्टेबलाइज़र) कोड्स (Additive/Stabilizer Codes): पूर्णांक भार और विशिष्ट पैरिटी स्थितियों को लागू करने वाली बाधाएं।

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

कठोर प्रमाण (Rigorous Proofs): यह पेपर SDP से प्राप्त क्वांटम कोड बाउंड्स के लिए पहले सटीक, परिमेय इनफीजिबिलिटी सर्टिफिकेट्स प्रदान करता है। यह संख्यात्मक साक्ष्य को औपचारिक गणितीय प्रमाणों में बदल देता है।
बेहतर बाउंड्स (Improved Bounds): यह पद्धति $6 \le n \le 19$ के लिए अधिकतम $n$ -क्यूबिट कोड्स के आकार के लिए 18 मौजूदा ऊपरी बाउंड्स में सुधार करती है।
स्केलेबिलिटी प्रदर्शन (Scalability Demonstration): यह कार्य प्रदर्शित करता है कि SDP, सिमेट्री रिडक्शन और परिमेय राउंडिंग के साथ मिलकर, क्वांटम कोडिंग थ्योरी के लिए एक व्यावहारिक और स्केलेबल उपकरण है, जो पिछली सीमाओं को पार करता है।
ओपन डेटा (Open Data): सभी सर्टिफिकेट और कोड सार्वजनिक रूप से उपलब्ध कराए गए हैं, जिससे स्वतंत्र सत्यापन संभव है।

4. परिणाम (Results)

लेखक नॉन-एडिटिव क्वांटम कोड्स के लिए बाउंड्स की एक व्यापक तालिका प्रस्तुत करते हैं। मुख्य निष्कर्ष इस प्रकार हैं:

ज्ञात मामलों के लिए सटीक प्रमाण: वे उन कोड्स के गैर-अस्तित्व के लिए सटीक प्रमाण प्रदान करते हैं जो पहले केवल संख्यात्मक रूप से दिखाए गए थे, जैसे कि $((8, 9, 3))_2$ , $((10, 5, 4))_2$ , और $((7, 1, 4))_2$ ।
नए ऊपरी बाउंड्स (New Upper Bounds):
- $n=14, \delta=3$ के लिए, बाउंड को 295 से घटाकर 290 (प्योर कोड्स के लिए) किया गया है।
- $n=17, \delta=5$ के लिए, बाउंड को 64 से घटाकर 59 किया गया है, जो यह सिद्ध करता है कि स्टेबलाइज़र कोड $[[17, 6, 5]]_2$ का अस्तित्व नहीं है।
- $n=19, \delta=5$ के लिए, बाउंड को 249 तक कम किया गया है, जो नॉन-एडिटिव कोड $((19, 28, 5))_2$ (और इसके विस्तार के रूप में स्टेबलाइज़र कोड $[[19, 28, 5]]_2$ ) के गैर-अस्तित्व को सिद्ध करता है।
इम्प्योरिटी बाधाएं (Impurity Constraints): परिणाम पुष्टि करते हैं कि कुछ कोड, जैसे कि $((6, 2, 3))_2$ , इम्प्योर (अर्थात वे सख्त प्योर कोड स्थितियों को संतुष्ट नहीं कर सकते) होने चाहिए, जो पिछले विश्लेषणात्मक परिणामों का विस्तार करते हैं।
तुलना: SDP बाउंड्स लगातार मानक लीनियर प्रोग्रामिंग बाउंड्स से बेहतर प्रदर्शन करते हैं, विशेष रूप से उच्च दूरी और बड़े $n$ के लिए।

5. महत्व (Significance)

यह पेपर क्वांटम सूचना सिद्धांत में संख्यात्मक अनुकूलन (numerical optimization) और कठोर गणितीय प्रमाण के बीच के अंतर को पाटता है।

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

संक्षेप में, लेखकों ने क्वांटम कोड बाउंड्स को "संख्यात्मक रूप से संभावित" से "गणितीय रूप से सिद्ध" में सफलतापूर्वक अपग्रेड किया है, जिससे क्वांटम कोडिंग समुदाय के लिए एक मजबूत टूलकिट उपलब्ध हुई है।