⚛️ quantum physics

Unentangled stoquastic Merlin-Arthur proof systems: the power of unentanglement without destructive interference

यह शोधपत्र अनएन्टैंगल्ड (unentangled) स्टोक्वास्टिक मर्लिन-आर्थर प्रूफ सिस्टम के लिए जटिलता वर्ग $\sf StoqMA(2)$ को प्रस्तुत करता है और यह प्रदर्शित करता है कि, विनाशकारी व्यतिकरण (destructive interference) की अनुपस्थिति के बावजूद, यह आश्चर्यजनक रूप से शक्तिशाली है क्योंकि यह विशिष्ट स्थितियों के तहत $\sf PSPACE$ और $\sf EXP}$ के भीतर रहते हुए पोलिलॉगैरिद्मिक त्रुटि (polylogarithmic error) के साथ $\sf NP$ को समाहित करता है, जिससे साइन-प्रॉब्लम-फ्री (sign-problem-free) परिवेशों में अनएन्टैंगलमेंट की विशिष्ट कम्प्यूटेशनल शक्ति का अनावरण होता है।

मूल लेखक: Yupan Liu, Pei Wu

प्रकाशित 2026-05-01

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

CC BY 4.0

मूल लेखक: Yupan Liu, Pei Wu

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

कल्पना कीजिए कि आप एक बहुत ही कठिन पहेली को हल करने की कोशिश कर रहे हैं। कंप्यूटर विज्ञान की दुनिया में, इन पहेलियों की कठिनाई के अलग-अलग "स्तर" होते हैं, और "प्रूवर" (प्रमाण देने वाले) के विभिन्न प्रकार होते हैं (सोचिए कि वे जादूगर हैं) जो एक "वेरिफायर" (एक संदेही न्यायाधीश) को यह समझाने की कोशिश करते हैं कि उनके पास समाधान है।

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

यहाँ उन खोजों का विवरण दिया गया है जिन्हें लेखकों ने सरल उपमाओं का उपयोग करके समझाया है:

1. परिवेश: दो जादूगर और एक "रद्द न होने वाला" नियम

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

2. बड़ा प्रश्न

लेखकों ने पूछा: यदि आप "टेलीपैथी" (एंटैंगलमेंट) को हटा देते हैं और "रद्दीकरण" (विनाशकारी हस्तक्षेप) को भी हटा देते हैं, तो क्या यह प्रणाली कमजोर और हल करने में आसान हो जाएगी?

अंतर्ज्ञान (Intuition): आप सोच सकते हैं कि दोनों सुपरपावर्स को हटाने से जादूगर बेकार हो जाएंगे।
आश्चर्य: लेखकों ने पाया कि नहीं, यह प्रणाली अभी भी अविश्वसनीय रूप से शक्तिशाली है। बिना टेलीपैथी और बिना रद्दीकरण के भी, ये दो जादूगर अभी भी बहुत कठिन समस्याओं (विशेष रूप से, NP क्लास की समस्याएँ, जिसमें सुडोकू और शेड्यूलिंग शामिल हैं) को हल कर सकते हैं।

3. निचली सीमा (Lower Bound): वे कितने शक्तिशाली हैं?

ये "नो-कैंसल, नो-टेलीपैथी" जादूगर लगभग किसी भी समस्या के समाधान को सत्यापित करने के लिए पर्याप्त शक्तिशाली हैं जिसे जल्दी से जांचा जा सकता है।

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

4. ऊपरी सीमा (Upper Bound): उन्हें हल करना कितना कठिन है?

लेखकों ने यह भी पूछा: "इन जादूगरों का अनुकरण (सिमुलेट) करना एक कंप्यूटर के लिए कितना कठिन है?"

पुरानी समस्या: सामान्य क्वांटम जादूगरों (एंटैंगलमेंट और रद्दीकरण के साथ) के लिए, हमें सीमा नहीं पता है। सबसे अच्छा अनुमान यह है कि यह इतना कठिन है कि इसमें अकल्पनीय समय लगता है (NEXP)।
नई खोज: क्योंकि ये जादूगर "नो-कैंसल" जादू का उपयोग करते हैं, लेखकों ने उन्हें बहुत तेज़ी से सिमुलेट करने का एक तरीका खोजा है।
- यदि जादूगर बहुत सटीक हैं (परफेक्ट कम्पलीटनेस), तो समस्या को PSPACE में हल किया जा सकता है (ऐसी समस्याएँ जिन्हें बहुत अधिक मेमोरी लेकिन उचित समय के साथ हल किया जा सकता है)।
- यदि जादूगर थोड़े कम सटीक हैं, तो यह EXP (एक्सपोनेंशियल टाइम) में है।
रूपक: कल्पना करें कि आप घास के ढेर में सुई खोजने की कोशिश कर रहे हैं।
- सामान्य क्वांटम: सुई एक जादुिक आयाम में छिपी हो सकती है जो हर सेकंड बदलता है। हमें इसे जल्दी से खोजने का तरीका नहीं पता।
- इस शोध पत्र की प्रणाली: सुई एक सामान्य घास के ढेर में है, लेकिन घास चिपचिपी और सकारात्मक है। लेखकों ने पाया कि एक विशिष्ट "छलनी" (एक एल्गोरिदम जिसे Sum-of-Squares कहा जाता है) इस घास को उम्मीद से कहीं अधिक तेज़ी से छान सकती है।

5. "आयताकार" रहस्य (The "Rectangular" Secret)

उन्होंने ऊपरी सीमा को कैसे हल किया? उन्होंने एक छिपे हुए ज्यामितीय संरचना की खोज की कि जिस तरह से ये जादूगर काम करते हैं।

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

6. "परफेक्ट" बनाम "लगभग परफेक्ट" का अंतर

शोध पत्र एक सूक्ष्म लेकिन महत्वपूर्ण अंतर बनाता है:

परफेक्ट कम्पलीटनेस के बिना: यदि जादूगरों को छोटी गलतियाँ करने की अनुमति है, तो वे उन सबसे शक्तिशाली क्वांटम प्रणालियों जितने शक्तिशाली हैं जिन्हें हम जानते हैं (NEXP)।
परफेक्ट कम्पलीटनेस के साथ: यदि जादूगरों को 100% सटीक होना चाहिए (कोई गलती की अनुमति नहीं), तो उनकी शक्ति काफी कम हो जाती है (PSPACE तक)।
यह क्यों मायने रखता है: यह दिखाता है कि "नो-कैंसल" नियम एक सख्त सीमा लगाता है। आप इस विशिष्ट प्रणाली में सर्वश्रेष्ठ के दोनों रूप (पूर्ण सटीकता और अधिकतम शक्ति) एक साथ नहीं रख सकते।

सारांश

यह शोध पत्र एक विशिष्ट प्रकार के क्वांटम प्रूफ सिस्टम का "पावर एनालिसिस" है।

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

संक्षेप में: क्वांटम मैकेनिक्स की "रद्दीकरण" विशेषता को हटाने से सिस्टम कमजोर नहीं होता है; बल्कि, यह इसे विश्लेषण करने में आसान बनाता है जबकि यह आश्चर्यजनक रूप से शक्तिशाली बना रहता है।

यहाँ युपन Liu और पेई वू के शोध पत्र "Unentangled stoquastic Merlin–Arthur proof systems: the power of unentanglement without destructive interference" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण और प्रेरणा (Problem Statement and Motivation)

यह शोध पत्र StoqMA(2) की कम्प्यूटेशनल शक्ति की जांच करता है, जो क्वांटम जटिलता सिद्धांत (quantum complexity theory) में दो अलग-अलग अवधारणाओं को मिलाकर परिभाषित एक जटिलता वर्ग (complexity class) है:

Stoquasticity (स्टोक्वास्टिकिटी): क्वांटम हैमिल्टोनियन (और सत्यापन सर्किट) पर एक प्रतिबंध, जहाँ ऑफ-डायगोनल मैट्रिक्स तत्व वास्तविक और गैर-धनात्मक होते हैं। यह "साइन समस्या" (sign problem) को समाप्त करता है, जिससे विनाशकारी हस्तक्षेप (destructive interference) रुक जाता है और सिस्टम को स्टोकेस्टिक प्रक्रियाओं (जैसे रैंडम वॉक) के माध्यम से मॉडल किया जा सकता है। वर्ग StoqMA (एकल प्रूवर) ज्ञात रूप से MA और AM के बीच मध्यवर्ती है।
Unentanglement (अनएंटैंगलमेंट): यह प्रतिबंध कि प्रूवर(ओं) द्वारा प्रदान किया गया साक्ष्य (witness/proof) कई रजिस्टरों में एक सेपरेबल स्टेट (separable state) होना चाहिए। वर्ग QMA(2) (दो अनएंटैंगल्ड प्रूवर्स) QMA का सामान्यीकरण है, लेकिन यह अत्यंत कठिन है; इसकी सर्वोत्तम ज्ञात ऊपरी सीमा (upper bound) NEXP है, और यह ज्ञात नहीं है कि क्या यह QMA में सिमट जाता है।

मुख्य प्रश्न:
क्या अनएंटैंगलमेंट और स्टोक्वास्टिकिटी का संयोजन (अर्थात, StoqMA(2)) एक ऐसा वर्ग उत्पन्न करता है जो:

पर्याप्त शक्तिशाली हो ताकि QMA(2) के मजबूत निचले स्तरों (lower bounds) को पुनः प्राप्त कर सके (जैसे, छोटे प्रमाणों के साथ NP को कैप्चर करना)?
विनाशकारी हस्तक्षेप की अनुपस्थिति के कारण पर्याप्त प्रतिबंधित हो ताकि NEXP (जो सामान्य QQMA(2) के लिए सर्वोत्तम सीमा है) से काफी बेहतर ऊपरी सीमाओं को स्वीकार कर सके?

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

लेखक क्वांटम जटिलता, डिस्ट्रीब्यूशन टेस्टिंग और कॉम्बिनेटोरियल ऑप्टिमाइज़ेशन की तकनीकों के मिश्रण का उपयोग करते हैं:

Branch-Overlap के माध्यम से Distribution Testing: लेखक StoqMA सत्यापन और डिस्ट्रीब्यूशन टेस्टिंग के बीच संबंध का लाभ उठाते हैं। एक स्टोक्ैस्टिक वेरीफायर को रिवर्सिबल सर्किट पर "ब्रांच-ओवरलैप टेस्ट" करने वाले रूप में देखा जा सकता है। कम्प्यूटेशनल बेसिस ब्रांचेस के स्क्वेयर्ड एम्प्लीट्यूड का विश्लेषण करके, वे सत्यापन प्रक्रिया को प्रोडक्ट डिस्ट्रीबशंस के गुणों के परीक्षण में मैप करते हैं।
Stoquastic Product Test और Symmetrization: वे यह सत्यापित करने के लिए कि क्या एक स्टेट प्रोडक्ट स्टेट है, एक "स्टोक्वास्टिक प्रोडक्ट टेस्ट" और यह जाँचने के लिए कि क्या कई प्रमाण समान हैं, एक "स्टोक्वास्टिक इक्वैलिटी टेस्ट" विकसित करते हैं। ये उपकरण उन्हें कई प्रूवर्स को दो में संकुचित करने और साक्ष्यों को सिमेट्राइज़ (symmetrize) करने की अनुमति देते हैं, जिससे वर्ग की मजबूती स्थापित होती है।
Rectangular Closure Testing: ऊपरी सीमा विश्लेषण के लिए, लेखक एक नवीन कॉम्बिनेटोरियल तकनीक पेश करते हैं। वे देखते हैं कि पूर्ण (या निकट-पूर्ण) पूर्णता (completeness) के साथ StoqMA(2) के लिए, साक्ष्य अवस्था (witness state) का सपोर्ट एक "रेक्टेंगल" (दो सेटों का कार्टेशियन उत्पाद) बनाता है। वे वेरीफायर के परम्यूटेशन के तहत इन सेटों के "रेक्टेंगुलर क्लोजर" का परीक्षण करने के लिए एक एल्गोरिदम डिजाइन करते हैं। यदि सेट क्लोज्ड नहीं है, तो "एस्केपिंग मास" (escaping mass) तेजी से बढ़ता है, जिससे रिजेक्शन होता है।
Sum-of-Squares (SoS) Hierarchy: सामान्य ऊपरी सीमा के लिए, वे बराक, केल्नर और स्टुरर (BKS) के Sum-of-Squares एल्गोरिदम का उपयोग और परिशोधन करते हैं। वे BKS एल्गोरिदम के विश्लेषण को कड़ा करते हैं ताकि यह दिखाया जा सके कि आवश्यक SoS रिलैक्सेशन की डिग्री प्रूवर्स की संख्या ( $t^3$ ) के बजाय उनके वर्ग ( $t^2$ ) पर निर्भर करती है, जो Exponential Time Hypothesis (ETH) के तहत अनुकूलता (optimality) स्थापित करने के लिए महत्वपूर्ण है।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. निचले स्तर (Lower Bounds): अनएंटैंगलमेंट की शक्ति

यह शोध पत्र प्रदर्शित करता है कि StoqMA(2) आश्चर्यजनक रूप से शक्तिशाली है, जो विनाशकारी हस्तक्षेप की कमी के बावजूद QMA(2) के सर्वोत्तम ज्ञात निचले स्तरों को पुनः प्राप्त करता है।

NP के लिए लघु प्रमाण (Short Proofs for NP):
- परिणाम: $\text{NP} \subseteq \text{StoqMA}(2)$ , $\tilde{O}(\sqrt{n})$ -qubit प्रमाणों और $2^{-\text{polylog}(n)}$ पूर्णता त्रुटि (completeness error) के साथ।
- महत्व: यह सर्वोत्तम ज्ञात QMA(2) प्रोटोकॉल (जैसे [ABD+09, CD10]) से मेल खाता है, जो NP को कैप्चर करने के लिए $\tilde{O}(\sqrt{n})$ क्वबिट्स का उपयोग करते हैं, केवल परफेक्ट पूर्णता के नुकसान को छोड़कर।
- लॉगारिदमिक प्रमाण: वे यह भी दिखाते हैं कि $\text{NP} \subseteq \text{StoqMA}(2)$ , $O(\log n)$ -qubit प्रमाणों और इन्वर्स-पॉलीनोमियल गैप के साथ, जो ब्लियर-टैप प्रोटोकॉल [BT12] से मेल खाता है।
सटीक जटिलता (Precise Complexity):
- परिणाम: $\text{PreciseStoqMA}(2) = \text{NEXP}$ ।
- महत्व: यह स्थापित करता है कि एक्सपोनेंशियल रूप से छोटी प्रॉमिस गैप के साथ, StoqMA(2), PreciseQMA(2) जितना शक्तिशाली है।
मजबूती (Robustness): वे सिद्ध करते हैं कि नगण्य पूर्णता त्रुटि के लिए, किसी भी $k \ge 2$ के लिए $\text{StoqMA}(k) = \text{StoqMA}(2)$ है, जो प्रूवर संपीड़न के तहत वर्ग की मजबूती को दर्शाता है।

B. ऊपरी सीमाएँ (Upper Bounds): संरचनात्मक सीमाएँ

लेखक दिखाते हैं कि स्टोक्वास्टिकिटी ऐसी संरचना प्रदान करती है जिसका लाभ उठाया जा सकता है, जिससे QMA(2) की साधारण NEXP सीमा से कहीं अधिक मजबूत ऊपरी सीमाएँ प्राप्त होती हैं।

निकट-पूर्ण पूर्णता (Near-Perfect Completeness):
- परिणाम: $\text{StoqMA}(2)^1$ (पूर्णता त्रुटि $2^{-2^{\text{poly}(n)}}$ के साथ), PSPACE के अंतर्गत आता है।
- परिणाम: $\text{PreciseStoqMA}(2)^1$ (ट्रिपल-एक्सपोनेंशियल रूप से छोटी त्रुटि के साथ), EXP के अंतर्गत आता है।
- महत्व: यह QMA(2) के विपरीत है, जहाँ पूर्ण पूर्णता के साथ भी NEXP से बेहतर सीमा प्राप्त नहीं होती है। यह संकेत देता है कि सिंगल-प्रूवर और मल्टी-प्रूवर स्टोक्वास्टिक सिस्टम के बीच पूर्ण पूर्णता के संबंध में एक मौलिक अंतर है।
सामान्य ऊपरी सीमा (General Upper Bound):
- परिणाम: $\text{StoqMA}(k) \subseteq \text{EXP}$ , यदि $k$ बहुपद रूप से सीमित है।
- विधि: परिष्कृत Sum-of-Squares (SoS) एल्गोरिदम के माध्यम से प्राप्त।
- अनुकूलता (Optimality): लेखक सिद्ध करते हैं कि उनके पैरामीटर Exponential Time Hypothesis (ETH) के तहत अनिवार्य रूप से अनुकूल हैं। प्रूवर्स की संख्या या प्रमाण की लंबाई पर उनके प्रोटोकॉल या SoS एल्गोरिदम में कोई भी सुधार SAT के लिए सब-एक्सपोनेंशियल-टाइम एल्गोरिदम को लागू करेगा, जो ETH का उल्लंघन करता है।

C. पूर्ण पूर्णता का पृथक्करण (Separation of Perfect Completeness)

एक सूक्ष्म लेकिन महत्वपूर्ण निष्कर्ष परफेक्ट पूर्णता (perfect completeness) का व्यवहार है:

सिंगल-प्रूवर मामले में, $\text{PreciseStoqMA} = \text{PreciseStoqMA}^1 = \text{PSPACE}$ ।
दो-प्रूवर मामले में, $\text{PreciseStoqMA}(2) = \text{NEXP}$ , लेकिन $\text{PreciseStoqMA}(2)^1 \subseteq \text{EXP}$ ।
यह सुझाव देता है कि सटीक (precise) शासन में अनएंटैंगलमेंट की शक्ति तब खो जाती है जब पूर्ण पूर्णता लागू की जाती है, एक ऐसी घटना जो सामान्य क्वांटम मामले में नहीं देखी जाती है (जहाँ $\text{PreciseQMA}(2) = \text{PreciseQMA}(2)^1$ )।

4. महत्व और प्रभाव (Significance and Impact)

क्लासिक और क्वांटम के बीच सेतु: यह शोध पत्र एक कठोर ढांचा प्रदान करता है कि कैसे "साइन-प्रॉब्लम-फ्री" क्वांटम सिस्टम (स्टोक्वास्टिक) अनएंटैंगलमेंट के गैर-कॉन्वेक्स (non-convex) प्रतिबंध के साथ मिलकर व्यवहार करते हैं। यह दिखाता है कि जबकि अनएंटैंगलमेंट शक्ति को बढ़ाता है (NEXP को कैप्चर करता है), विनाशकारी हस्तक्षेप की कमी (स्टोक्वास्टिकिटी) क्लास को पर्याप्त रूप से प्रतिबंधित करती है ताकि वह विशिष्ट त्रुटि शासन के लिए EXP/PSPACE के भीतर आ जाए।
एल्गोरिदम की अनुकूलता: BKS Sum-of-Squares एल्गोरिदम के विश्लेषण को कड़ा करके, लेखक स्थापित करते हैं कि टेंसर ऑप्टिमाइज़ेशन के लिए वर्तमान एल्गोरिदम संभवतः ETH के तहत अनुकूल हैं। यह इस डोमेन में भविष्य के एल्गोरिदम सुधारों के लिए एक ठोस बाधा प्रदान करता है।
नई तकनीकें: Rectangular Closure Testing का परिचय सेपरेटेबल स्टेट्स के विश्लेषण के लिए एक नया कॉम्बिनेटोरियल टूल प्रदान करता है, जो संभावित रूप से प्रोडक्ट स्टेट्स और लोकल हैमिल्टोनियंस से संबंधित अन्य समस्याओं में भी लागू हो सकता है।
जटिलता परिदृश्य (Complexity Landscape): परिणाम विभिन्न बाधाओं (अनएंटैंगलमेंट, साइन समस्या, पूर्ण पूर्णता) के तहत MA, AM, StoqMA, QMA, और QMA(2) के बीच संबंधों को स्पष्ट करते हुए क्वांटम जटिलता वर्गों के पदानुक्रम को परिष्कृत करते हैं।

संक्षेप में, यह शोध पत्र प्रदर्शित करता है कि StoqMA(2) जटिलता सिद्धांत में एक "स्वीट स्पॉट" (sweet spot) है: यह सबसे कठिन ज्ञात अनएंटैंगल्ड प्रूफ सिस्टम (NEXP) को सिम्युलेट करने के लिए पर्याप्त शक्तिशाली है, लेकिन इतना संरचित भी है (स्टोक्वास्टिकिटी के कारण) कि यह कुशल ऊपरी सीमाएँ (EXP/PSPACE) प्रदान करता है जो सामान्य QMA(2) के लिए असंभव हैं।