The verifier side of speculative window decoding: a predictability bracket, a machine-checked blast-radius bound, and a decoder-agnostic recover loop

तकनीकी सारांश: स्पेक्युलेटिव विंडो डिकोडिंग का वेरिफायर पक्ष

समस्या विवरण
रियल-टाइम क्वांटम एरर करेक्शन (QEC) एक महत्वपूर्ण लेटेंसी बाधा का सामना कर रहा है। सिंड्रोम राउंड एक निश्चित हार्डवेयर कैडेन्स (सुपरकंडक्टिंग क्वबिट्स के लिए लगभग एक माइक्रोसेकंड) पर आते हैं, लेकिन डिकोडर अक्सर तालमेल नहीं बिठा पाते, जिससे सिंड्रोम बैकलॉग बढ़ता जाता है और अंततः डिकोहेरेंस लॉजिकल स्टेट को नष्ट कर देता है। जबकि "विंडो डिकोडिंग" सिंड्रोम हिस्ट्री को समानांतर करने योग्य टुकड़ों में विभाजित करती है, आस-पास की विंडोज़ आपस में क्रमिक रूप से निर्भर रहती हैं: एक विंडो में किया गया सुधार अगली विंडो के डिकोडिंग समस्या को निर्धारित करता है। पिछले कार्यों, विशेष रूप से SWIPER और ARTERY ने इस सीरियल बाधा को हटाने के लिए स्पेक्यूलेशन (अनुमान) का उपयोग करने का प्रयास किया: यानी क्रॉस-बॉर्डर निर्णयों का पूर्वानुमान लगाना ताकि डाउनस्ट्रीम विंडोज़ जल्दी शुरू हो सकें, जबकि पूर्ण डिकोडिंग सत्यापन के लिए बाद में (लेजीली) चलती रहे। हालाँकि, इन प्रणालियों ने केवल प्रेडिक्टर पक्ष को लागू किया (लगभग 90% सटीकता प्राप्त की) और एक कठोर वेरिफायर पक्ष की कमी थी। फलस्वरूप, चार मौलिक प्रश्न अनुत्तरित रह गए: भविष्यवाणी की सटीकता की सैद्धांतिक सीमा, गलत भविष्यवाणी का सबसे खराब स्थिति वाला "ब्लास्ट रेडियस" (प्रसार क्षेत्र), क्या उन सीमाओं को देखते हुए स्पेक्यूलेशन करना जोखिम लेने योग्य है, और क्या पूर्ण प्रेडिक्ट-वेरिफाई-रिकवर लूप वास्तव में लेटेंसी को छिपाता है और वास्तविक डिकोडर पर सही ढंग से रिकवर करता है।

कार्यप्रणाली (Methodology)
लेखकों ने इन प्रश्नों का उत्तर देने के लिए Stim (रोटेटेड सरफेस कोड) और PyMatching (मिनिमम-वेट परफेक्ट मैचिंग, MWVM) का उपयोग करके एक पुनर्गठित SWIPER हारनेस का निर्माण किया। कार्यप्रणाली चार चरणों में आगे बढ़ती है:

1. प्रेडिक्टेबिलिटी ब्रैकेटिंग: केवल एक ही ह्यूरिस्टिक प्रेडिक्टर पर निर्भर रहने के बजाय, लेखकों ने रेडियस-$R$ लोकल MWPM डिकोडर का उपयोग करके प्राप्त होने वाली सटीकता की एक ऊपरी सीमा ("सीलिंग") स्थापित की। यह डिकोडर केवल बाउंड्री कट के $R$ राउंड के भीतर के सिंड्रोम डेटा का उपयोग करता है, और ओपन बाउंड्रीज के साथ बिल्कुल वैसा ही व्यवहार करता है जैसा एक विंडो डिकोडर करता है। यह किसी भी प्रेडिक्टर द्वारा प्राप्त की जा सकने वाली सैद्धांतिक सीमा को निर्धारित करता है।
2. ब्लास्ट रेडियस बाउंडिंग और फाल्सिफिकेशन: लेखकों ने एक विंडो के माध्यम से गलत भविष्यवाणी (गलत डिपेंडेंसी बिट्स) के प्रसार का मॉडल तैयार किया। उन्होंने पहले Lean 4 में एक मशीन-चेक्ड प्रोबेबिलिटी कोर का उपयोग करके एक वर्स्ट-केस टेम्पोरल बाउंड स्थापित किया, जो एक रिडक्शन हाइपोथेसिस (कमी पर आधारित) पर निर्भर था कि गलत भविष्यवाणी के प्रसार के लिए एक दोषपूर्ण पथ (faulty path) की आवश्यकता होती है। इसके बाद, उन्होंने इस रिडक्शन मैकेनिज्म को गलत साबित करने के लिए एक शार्प सिंगल-बिट एडवर्सरी के विरुद्ध "शॉट-दर-शॉट" परीक्षण किया।
3. कंपाइलर पास डेरिवेशन: मापी गई प्रेडिक्टेबिलिटी और ब्लास्ट रेडियस का उपयोग करते हुए, एक इष्टतम रीस्टार्ट पॉलिसी प्राप्त करने के लिए एक कंपाइलर पास विकसित किया गया। यह पास एक एब्स्ट्रैक्ट विंडो डिपेंडेंसी ग्राफ पर कार्य करता है, जो एक कॉस्ट मॉडल के आधार पर स्पेक्यूलेशन फ्लैग्स के साथ बाउंड्रीज को एनोटेट करता है: $cost = predictability \times slack - blast\_radius$।
4. रनटाइम निष्पादन और डिकोडर एगोस्टिसिज्म: हारनेस पर पूर्ण प्रेडिक्ट-वेरिफाई-रिकवर लूप चलाने के लिए एक रनटाइम एक्सेक्यूटर बनाया गया। यह निर्धारित करने के लिए कि कौन से निष्कर्ष स्पेक्यूलेशन फ्रेमवर्क के आंतरिक हैं और कौन से विशिष्ट MWPM डिकोडर के, लेखकों ने एक दूसरे, एल्गोरिदम के रूप में भिन्न डिकोडर: यूनियन-फाइंड (Union-Find) डिकोडर (अनवेटेड क्लस्टर ग्रोथ) का उपयोग करके प्रमुख प्रयोगों को दोबारा चलाया।

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

• प्रेडिक्टेबिलिटी लोकल है और लगभग संतृप्त (Saturated) है: क्रॉस-बॉर्डर निर्णय कट के प्रत्येक तरफ लगभग तीन राउंड के सिंड्रोम द्वारा निर्धारित होता है। $R=3$ के रिसीप्टिव फील्ड के साथ एक लोकल MWPM ~0.999 सटीकता प्राप्त करता है, जो यह दर्शाता है कि पिछले प्रेडिक्टर्स (SWIFER) की ~90% सटीकता कोई मौलिक सीमा नहीं थी, बल्कि इसमें कुछ अतिरिक्त क्षमता (कोड डिस्टेंस के आधार पर 0.019 से 0.063) बची हुई थी।
• ब्लास्ट रेडियस एक है (टेम्पोरल कंटेनमेंट): एक गलत भविष्यवाणी के अगली विंडो तक पहुँचने की वर्स्ट-केस संभावना कमिट विड्थ $W$ के साथ तेजी से (exponentially) घटती है। मानक विड्थ ($W=d$) पर, प्रसार की संभावना लॉजिकल एरर रेट से कई गुना कम है (जैसे, $d=7$ पर $10^{-7}$ बनाम $10^{-5}$)। यह स्थापित करता है कि टेम्पोरल ब्लास्ट रेडियस प्रभावी रूप से एक है, जिसका अर्थ है कि स्पेक्यूलेशन कोई एरर फ्लोर (त्रुटि तल) पेश नहीं करता है।
• फॉल्टी-पाथ मैकेनिज्म का खंडन: Lean 4 प्रमाण इस हाइपोथेसिस पर सशर्त था कि प्रसार के लिए एक "फॉल्टी पाथ" (फ्लिप और कट को जोड़ने वाला त्रुटियों का एक श्रृंखला) की आवश्यकता होती है। शॉट-दर-शॉट फाल्सिफिकेशन ने दिखाया कि यह हाइपोथेसिस गलत है: प्रसार बिना किसी दोषपूर्ण पथ के भी नियमित रूप से होता है। वास्तविक तंत्र एक ग्लोबल मिनिमम-वेट री-पेयरिंग है, जहाँ डिकोडर एक मौजूदा डिफेक्ट को फ्लिप्ड बिट की ओर पुनः रूट करता है क्योंकि यह स्थानीय अवशोषण की तुलना में सस्ता है। यह तंत्र डिजेनरेसी (degeneracy) द्वारा संचालित होता है, विशेष रूप से निकट-थ्रेशोल्ड शोर (near-threshold noise) के दौरान।
• सटीक रिकवरी और लेटेंसी हाइडिंग: रनटाइम एक्सेक्यूटर ने पुष्टि की कि प्रेडिक्ट-वेरिफाई-रिकवर लूप सटीक रूप से रिकवर करता है। 16 विंडोज़ की एक श्रृंखला पर, सिस्टम ~16.00 का स्पीडअप प्राप्त करता है (सैद्धांतिक अधिकतम), जो सीरियल कमिट-चेन स्टाल को नगण्य रीस्टार्ट पेनल्टी ($\sim 10^{-5}$) तक सीमित कर देता है।
• डिकोडर-अग्नोस्टिक स्ट्रक्चरल फेनोमेनोलॉजी: हालांकि पूर्ण सटीकता के परिमाण और विशिष्ट "मिन-वेट" तंत्र डिकोडर-विशिष्ट हैं, लेकिन संरचनात्मक निष्कर्ष मजबूत हैं। यूनियन-फाइंड डिकोडर ने पुष्टि की कि कट निर्णय स्थानीय है (R=3 पर संतृप्त होता है) और बिना किसी फॉल्टी पाथ के प्रसार बना रहता है, जो स्पेक्यूलेशन रैपर की संरचनात्मक फेनोमेनोलॉजी को मान्य करता है।

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

1. सुरक्षा सिद्ध करना: यह प्रदर्शित करना कि स्पेक्यूलेशन कोई एरर फ्लोर पेश नहीं करता है, क्योंकि गलत भविष्यवाणियों को मशीन-चेक्ड प्रोबेबिलिटी बाउंड के साथ एक रेडियस-वन तक सीमित किया गया है।
2. तंत्र को स्पष्ट करना: सहज "फॉल्टी पाथ" मॉडल को सही "ग्लोबल री-पेयरिंग" तंत्र से बदलना, जो समझाता है कि बिना प्रत्यक्ष एरर चेन के भी प्रसार क्यों होता है।
3. स्वचालन सक्षम करना: एक कंपाइलर पास प्रदान करना जो हार्डकोडिंग के बजाय मापे गए नंबरों से रीस्टार्ट पॉलिसी प्राप्त करता है, जिससे यह दृष्टिकोण विभिन्न कोड लेआउट और कंट्रोल स्टैक के लिए पोर्टेबल बन जाता है।
4. पुन: प्रयोज्यता: प्रेडिक्ट-वेरिफाई-रिकवर रैपर को एक पुन: प्रयोज्य परत के रूप में स्थापित करना जो किसी भी डिकोडर के ऊपर स्थित होती है, जिससे स्पेक्यूलेशन लॉजिक को विशिष्ट डिकोडिंग एल्गोरिदम से अलग किया जा सके।

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