⚛️ quantum physics

A Multi-Level Integrity Evaluation Framework for Quantum Circuits under Controlled Anomaly Injection

यह शोध पत्र क्वांटम सर्किटों के लिए एक बहु-स्तरीय अखंडता मूल्यांकन ढांचे का प्रस्ताव करता है जो एकल-पक्ष सत्यापन की सीमाओं को दूर करने के लिए संरचनात्मक (Structural), परिचालन (Operational) और इंटरेक्शन ग्राफ (Interaction Graph) मेट्रिक्स को जोड़ता है, और नियंत्रित विसंगति इंजेक्शन (anomaly injection) के माध्यम से यह प्रदर्शित करता है कि उन विचलन का विश्वसनीय रूप से पता लगाने के लिए एक मिश्रित दृष्टिकोण आवश्यक है जिन्हें केवल संरचनात्मक विश्लेषण नहीं पकड़ पाता है।

मूल लेखक: Ejaz Ahmed, Boshuai Ye, Syed Hamza Shah, Muhammad Azeem Akbar, Arif Ali Khan

प्रकाशित 2026-04-30

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

CC BY 4.0

मूल लेखक: Ejaz Ahmed, Boshuai Ye, Syed Hamza Shah, Muhammad Azeem Akbar, Arif Ali Khan

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

कल्पना कीजिए कि आप अपने एक मित्र को एक बहुत ही नाजुक, जटिल ओरिगामी पक्षी (origami bird) भेज रहे हैं। क्वांटम कंप्यूटिंग की दुनिया में, यह "पक्षी" एक क्वांटम सर्किट (quantum circuit) है—निर्देशों का एक समूह जो क्वांटम कंप्यूटर को एक समस्या हल करने के लिए बताता है।

समस्या यह है कि आपके मित्र तक पहुँचने से पहले, इस पक्षी को मेल वाहक (सॉफ्टवेयर कंपाइलर) या किसी चालाक चोर (एडवर्सरी) द्वारा मोड़ा, खोला या गुप्त रूप से बदला जा सकता है। इस शोध पत्र के लेखक चिंतित हैं: हमें कैसे पता चलेगा कि जो पक्षी हमें प्राप्त हुआ है वह बिल्कुल वही है जो हमने भेजा था, और क्या यह उसी तरह से उड़ेगा जैसा कि हम चाहते थे?

यहाँ उनके समाधान का एक सरल विवरण दिया गया है, जिसमें रोजमर्रा के उपमाओं (analogies) का उपयोग किया गया है।

समस्या: एक बार देखना काफी नहीं है

पारंपरिक रूप से, लोग इन "पक्षियों" की जाँच केवल दो तरीकों से करते थे:

"तहों की गिनती" वाली जाँच (संरचनात्मक/Structural): वे कागज को देखते थे कि तहों की संख्या और सामान्य आकार सही है या नहीं।
"उड़ने दें" वाली जाँच (व्यवहार संबंधी/Behavioral): वे वास्तव में पक्षी को लॉन्च करते थे यह देखने के लिए कि क्या वह सही ढंग से उड़ता है।

शोध पत्र का तर्क है कि इनमें से कोई भी विधि अकेले पर्याप्त नहीं है।

जाल (The Trap): आपके पास एक ऐसा पक्षी हो सकता है जो मूल पक्षी जैसा ही दिखता हो (तहों की समान संख्या, समान आकार), लेकिन उसे गुप्त रूप से इस तरह से फिर से मोड़ा गया है कि वह उड़ने के बजाय दुर्घटनाग्रस्त हो जाए। "तहों की गिनती" वाली जाँच कहेगी, "सब ठीक लग रहा है!" जबकि पक्षी विफल हो जाएगा।
लागत (The Cost): "उड़ने दें" वाली जाँच त्रुटियों को पकड़ने के लिए उत्तम है, लेकिन यह महंगी और धीमी है क्योंकि आपको हर बार पक्षी को वास्तव में लॉन्च करना पड़ता है।

समाधान: एक तीन-स्तरीय सुरक्षा प्रणाली

लेखक एक नया ढांचा प्रस्तावित करते हैं जो सर्किट की अखंडता की जांच करने के लिए तीन अलग-अलग लेंसों का उपयोग करता है। वे इसे "मल्टी-लेवल इंटीग्रिटी इवैल्यूएशन फ्रेमवर्क" कहते हैं।

इसे एक पैकेज के निरीक्षण करने वाली सुरक्षा टीम की तरह समझें:

1. स्ट्रक्चरल इंटीग्रिटी स्कोर (SIS) – "ब्लूप्रिंट की जाँच"

यह क्या करता है: यह सर्किट के वैश्विक आकार को देखता है। यह गेट्स (तहों) की गिनती करता है, गहराई (स्टैक कितना ऊँचा है) को मापता है, और कनेक्शन की जाँच करता है।
उपमा: यह जाँचने जैसा है कि क्या पैकेज में सही संख्या में बॉक्स हैं और क्या टेप सामान्य दिख रहा है।
कमजोरी: यह तेज़ और आसान है, लेकिन इसकी एक "अंध बिंदु" (blind spot) है। यदि कोई दो समान दिखने वाले मोड़ों को बदल देता है या कुल संख्या बदले बिना मोड़ों के क्रम को पुनर्व्यवस्थित कर देता है, तो यह जाँच इसे पूरी तरह से मिस कर देती है।

2. इंटरैक्शन ग्राफ स्कोर (IGS) – "संबंध मानचित्र"

यह क्या करता है: यह देखता है कि सर्किट के विभिन्न हिस्से एक-दूसरे से कैसे बात करते हैं। यह निर्भरताओं (कि किसे किसके पहले कार्य करने की आवश्यकता है) और विशिष्ट प्रकार के ऑपरेशन्स को मैप करता है।
उपमा: कल्पना कीजिए कि एक नृत्य पंक्ति में कौन किसका हाथ पकड़े हुए है, इसका एक मानचित्र। यदि दो नर्तक अपनी जगह बदल लेते हैं लेकिन पंक्ति की लंबाई समान दिखती है, तो "ब्लूप्रिंट चेक" (SIS) इसे मिस कर सकता है। लेकिन "रिलेशनशिप मैप" (IGS) देख लेगा कि व्यक्ति A अब व्यक्ति C के बजाय व्यक्ति B का हाथ पकड़े हुए है।
लाभ: यह उन चालाक पुनर्व्यवस्थाओं को पकड़ लेता है जिन्हें ब्लूप्रिंट चेक मिस कर देता है, लेकिन इसके लिए पक्षी को वास्तव में लॉन्च करने की आवश्यकता नहीं होती। यह एक "प्री-फ्लाइट" जाँच है जो केवल तहों की गिनती करने से अधिक स्मार्ट है।

3. ऑपरेशनल इंटीग्रिटी स्कोर (OIS) – "फ्लाइट टेस्ट"

यह क्या करता है: यह वास्तव में सर्किट को चलाता है (या इसका सिमुलेशन करता है) और परिणामों की मूल परिणाम से तुलना करता है। यह यह मापने के लिए जेन्सन-शैनन डिस्टेंस (Jensen-Shannon distance) नामक एक गणितीय उपकरण का उपयोग करता है कि आउटपुट "बादल" अपेक्षित बादल से कितना भिन्न है।
उपमा: यह वास्तविक उड़ान परीक्षण है। क्या पक्षी उड़ता है? क्या वह वहीं उतरता है जहाँ उसे उतरना चाहिए?
लाभ: यह अंतिम सत्य बताने वाला है। यदि पक्षी गलत उड़ता है, तो यह जाँच इसे 100% पकड़ लेती है।
नुकसान: यह धीमा और महंगा है, विशेष रूप से बड़े पक्षियों (बड़े सर्किटों) के लिए।

बड़ी खोज: "अंध बिंदु" (The Blind Spot)

शोधकर्ताओं ने 133 अलग-अलग क्वांटम सर्किटों में "विसंगतियों" (जानबूझकर की गई गलतियाँ) को इंजेक्ट करके इन तीन विधियों का परीक्षण किया। उन्होंने एक चौंकाने वाला सच पाया:

स्ट्रक्चरल ब्लाइंड स्पॉट: कई मामलों में, "ब्लूप्रिंट चेक" (SIS) ने कहा कि सर्किट 95% सटीक है। यह संरचनात्मक रूप से मूल के समान दिख रहा था।
वास्तविकता: हालाँकि, "फ्लाइट टेस्ट" (OIS) ने खुलासा किया कि वे "परफेक्ट दिखने वाले" सर्किट जिनमें से 93.85% वास्तव में खराब थे या अलग व्यवहार कर रहे थे।
मध्य मार्ग: "रिलेशनशिप मैप" (IGS) ने महंगे फ्लाइट टेस्ट को चलाए बिना इन छिपे हुए दोषों में से 72.58% को पकड़ लिया।

निष्कर्ष (The Takeaway)

आप क्वांटम सर्किट को जाँचने के केवल एक तरीके पर भरोसा नहीं कर सकते।

यदि आप केवल संरचना की जाँच करते हैं, तो आप छिपे हुए तोड़-फोड़ को मिस कर सकते हैं।
यदि आप केवल व्यवहार की जाँच करते हैं, तो इसमें बहुत अधिक समय और पैसा खर्च होता है।

सर्वश्रेष्ठ रणनीति: एक स्तरित दृष्टिकोण (layered approach) अपनाएं।

त्वरित, सस्ते पहले लुक के लिए ब्लूप्रिंट चेक (SIS) का उपयोग करें।
यदि यह पास हो जाता है, तो चालाक पुनर्व्यवस्थाओं को पकड़ने के लिए रिलेशनशिप मैप (IGS) का उपयोग करें।
केवल सबसे महत्वपूर्ण जाँचों के लिए, अंतिम परिणाम की पुष्टि करने हेतु फ्लाइट टेस्ट (OIS) का उपयोग करें।

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

यहाँ शोध पत्र "A Multi-Level Integrity Evaluation Framework for Quantum Circuits under Controlled Anomaly Injection" का विस्तृत तकनीकी सारांश दिया गया है।

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

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

पहचाना गया मुख्य मुद्दा "संरचनात्मक-व्यवहार संबंधी अंतराल" (structural-behavioral gap) है। संरचनात्मक समानता, व्यवहार संबंधी समानता की गारंटी नहीं देती है। गेट रीऑर्डरिंग, प्रतिस्थापन (substitution), या आइडल क्विबिट्स (idle qubits) पर "ट्रोजन" (Trojan) ऑपरेशन्स का समावेश जैसे रूपांतरण वैश्विक संरचनात्मक विवरणों को संरक्षित रख सकते हैं (जिससे सर्किट संरचनात्मक रूप से समान दिखता है), जबकि कम्प्यूटेशनल व्यवहार को महत्वपूर्ण रूप से बदल सकते हैं। केवल एक मीट्रिक पर निर्भर रहने से अपूर्ण मूल्यांकन होता है और ऐसे "ब्लाइंड स्पॉट्स" (blind spots) बनते हैं जहाँ अखंडता के उल्लंघन का पता नहीं चल पाता।

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

लेखक संरचनात्मक, इंटरेक्शन-लेवल और व्यवहार संबंधी आयामों में सर्किट अखंडता का मूल्यांकन करने के लिए एक तीन-स्तरीय मीट्रिक फ्रेमवर्क प्रस्तावित करते हैं। यह फ्रेमवर्क तीन अलग-अलग स्कोर का उपयोग करके एक टेस्ट सर्किट ( $C$ ) की एक संदर्भ सर्किट ( $C_{ref}$ ) के विरुद्ध तुलना करता है:

A. स्ट्रक्चरल इंटीग्रिटी स्कोर (SIS)

प्रकार: प्री-एग्जीक्यूशन (स्थिर/Static)।
तंत्र: चार घटकों में सामान्यीकृत अंतरों का उपयोग करके वैश्विक संरचनात्मक विचलन को मापता है: गेट काउंट, सर्किट डेप्थ, टू-क्विबिट गेट उपयोग, और इंटरेक्शन टोपोलॉजी (DAG)।
सूत्र: $SIS = 1 - \Delta_{struct}$ , जहाँ $\Delta_{struct}$ सापेक्ष अंतरों का एक भारित योग (weighted sum) है।
सीमा: कुशल है लेकिन संरचना-संरक्षित अर्थ संबंधी परिवर्तनों (structure-preserving semantic changes) के प्रति असंवेदनशील है।

B. ऑपरेशनल इंटीग्रिटी स्कोर (OIS)

प्रकार: निष्पादन-आधारित (डायनेमिक/Dynamic)।
तंत्र: संदर्भ और टेस्ट सर्किट के आउटपुट प्रोबेबिलिटी डिस्ट्रीब्यूशन की तुलना करके व्यवहार संबंधी विचलन को मापता है।
मीट्रिक: डिस्ट्रीब्यूशन $p$ और $q$ के बीच अंतर को मापने के लिए जेन्सन-शैनन डिस्टेंस (JSD) का उपयोग करता है।
सूत्र: $OIS = 1 - JSD(p, q)$।
सीमा: कार्यात्मक शुद्धता के लिए अत्यधिक सटीक है लेकिन कम्प्यूटेशनल रूप से महंगा है (क्विबिट संख्या के साथ घातीय स्केलिंग) और इसके लिए सिमुलेशन या हार्डवेयर निष्पादन की आवश्यकता होती है।

C. इंटरेक्शन ग्राफ सेमैटिक-लॉजिकल स्कोर (IGS)

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

प्रयोगात्मक सेटअप (Experimental Setup)

डेटासेट: QASMBench सुइट से 133 सर्किट (जिन्हें $\le$ 40 क्विबिट और $\le$ 2000 गेट्स तक फ़िल्टर किया गया है)।
एनोमली इंजेक्शन (Anomaly Injection): तीन गंभीरता स्तरों (0.1, 0.3, 0.6) पर नियंत्रित व्यवधान पेश किए गए। इनके प्रकारों में गेट डिलीशन/इंसर्शन, गेट सब्स्टीट्यूशन, रीऑर्डरिंग, क्विबिट स्वैप और "ट्रोजन" ऑपरेशन्स (आइडल क्विबिट्स पर छिपी हुई गतिविधि) शामिल थे।
तुलना: विशिष्ट संवेदनशीलता को अलग करने के लिए एक ही डेटासेट पर तीनों मीट्रिक्स का स्वतंत्र रूप से मूल्यांकन किया गया।

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

स्ट्रक्चरल-बिहेवियरल गैप का अनुभवजन्य प्रदर्शन: अध्ययन इस बात का ठोस प्रमाण प्रदान करता है कि उच्च SIS (संरचनात्मक समानता) व्यवहार संबंधी समानता सुनिश्चित नहीं करता है, विशेष रूप से गेट रीऑर्डरिंग या सब्स्टीट्यूशन जैसे रूपांतरणों के तहत।
बहु-स्तरीय अखंडता फ्रेमवर्क: संरचनात्मक, इंटरेक्शन-लेवल और व्यवहार संबंधी आयामों के पूरक अंतर्दृष्टि प्रदान करने के लिए SIS, OIS और IGS को संयोजित करने वाला एक एकीकृत फ्रेमवर्क।
"स्ट्रक्चरल ब्लाइंड स्पॉट्स" की पहचान: लेखक उन परिदृश्यों को परिभाषित और विश्लेषण करते हैं जहाँ $SIS \ge 0.95$ (संरचनात्मक रूप से अविभेद्य) है, फिर भी विसंगतियाँ मौजूद हैं।
सहसंबंध विश्लेषण (Correlation Analysis): शोध पत्र इंटरेक्शन-लेवल समानता (IGS) और व्यवहार संबंधी समानता (OIS) के बीच संबंध की जांच करता है, और पाता है कि वे दृढ़ता से सहसंबंधित नहीं हैं।

4. मुख्य परिणाम (Key Results)

स्ट्रक्चरल ब्लाइंड स्पॉट्स: उन मामलों में जहाँ स्ट्रक्चरल इंटीग्रिटी स्कोर (SIS) उच्च ( $\ge 0.95$ $\geq 0.95$ ) रहा, जो कोई संरचनात्मक परिवर्तन नहीं दर्शाता:
- OIS ने 93.85% मामलों में विसंगतियों का पता लगाया।
- IGS ने 72.58% मामलों में विसंगतियों का पता लगाया।
- यह पुष्टि करता है कि विश्वसनीय सत्यापन के लिए केवल संरचनात्मक विश्लेषण अपर्याप्त है।
मीट्रिक संवेदनशीलता:
- SIS: गेट इंसर्शन/डिलीशन के प्रति अत्यधिक संवेदनशील है लेकिन गेट रीऑर्डरिंग या सब्स्टीट्यूशन का पता लगाने में विफल रहता है।
- OIS: सभी प्रकार की विसंगतियों का लगातार पता लगाता है लेकिन उच्च कम्प्यूटेशनल लागत और विचरण (variance) पैदा करता है, विशेष रूप से क्विबिट संख्या बढ़ने पर।
- IGS: कम कम्प्यूटेशनल ओवरहेड के साथ इंटरेक्शन-लेवल विचलन (जैसे रीऑर्डरिंग, ट्रोजन) का सफलतापूर्वक पता लगाता है, जो एक कुशल प्री-एग्जीक्यूशन फ़िल्टर के रूप में कार्य करता है।
सहसंबंध की कमजोरी: IGS और OIS के बीच सहसंबंध कमजोर (Pearson $r \approx 0.28$ ) है और विसंगति की गंभीरता बढ़ने पर और कम हो जाता है। यह सिद्ध करता है कि इंटरेक्शन-लेवल समानता, व्यवहार संबंधी समानता की गारंटी नहीं देती है; दोनों परतें आवश्यक हैं।
दक्षता: IGS क्विबिट संख्या के साथ स्थिर, कम रनटाइम बनाए रखता है, जबकि OIS का रनटाइम तेजी से (exponentially) बढ़ता है और 10–14 क्विबिट के बाद अस्थिर हो जाता है।

5. महत्व और निहितार्थ (Significance and Implications)

सुरक्षा (Security): यह फ्रेमवर्क क्लाउड-आधारित क्वांटम कंप्यूटिंग में महत्वपूर्ण सुरक्षा चिंताओं को संबोधित करता है। हमलावर ऐसे "ट्रोजन" सर्किट या दुर्भावनापूर्ण संशोधन पेश कर सकते हैं जो संरचनात्मक मीट्रिक्स को सुरक्षित रखते हैं लेकिन निष्पादन व्यवहार को बदल देते हैं। एक बहु-स्तरीय दृष्टिकोण इन सूक्ष्म खतरों का पता लगाने के लिए आवश्यक है।
वैलिडेशन वर्कफ़्लो ऑप्टिमाइज़ेशन: परिणाम एक चरणबद्ध सत्यापन पाइपलाइन का सुझाव देते हैं:
1. तीव्र, मोटे संरचनात्मक स्क्रीनिंग के लिए SIS।
2. इंटरेक्शन-लेवल और सेमैटिक विसंगतियों के कुशल, प्री-एग्जीक्यूशन विश्लेषण के लिए IGS।
3. महत्वपूर्ण सर्किट के चयनात्मक, उच्च-विश्वास व्यवहार संबंधी सत्यापन के लिए OIS।
भविष्य की दिशाएँ: लेखक सर्किट मॉनिटरिंग को स्वचालित करने के लिए इन मीट्रिक्स को एक एकीकृत "वेटेड इंटीग्रिटी इंडेक्स" में संयोजित करने का प्रस्ताव करते हैं और शोर मॉडल (noise models) तथा बड़े पैमाने के सर्किटों के लिए इस फ्रेमवर्क का विस्तार करने की योजना बना रहे हैं।

निष्कर्षतः, यह शोध पत्र तर्क देता है कि क्वांटम सर्किट अखंडता के लिए कोई भी एकल मीट्रिक पर्याप्त नहीं है। जटिल NISK वर्कफ़्लो में शुद्धता सुनिश्चित करने के लिए संरचना, इंटरेक्शन डिपेंडेंसी और व्यवहार संबंधी परिणामों का एक साथ विश्लेषण करने वाला एक बहु-आयामी दृष्टिकोण आवश्यक है।