⚛️ quantum physics

En Route to a Standard QMA1 vs. QCMA Oracle Separation

यह शोध पत्र एक क्लासिकल ओरेकल (classical oracle) का निर्माण करके $\mathsf{QMA}_1$ और $\mathsf{QCMA}$ के बीच नए ओरेकल सेपरेशन (oracle separations) स्थापित करता है, जहाँ पूर्ववर्ती (former) प्रतिबंधित एडेप्टिव क्वेरी क्षमताओं (restricted adaptive query capabilities) के बावजूद पूर्ण पूर्णता (perfect completeness) के साथ सफल होता है, एक पूर्व क्रमपरिवर्तन-ओरेकल परिणाम (prior permutation-oracle result) को डिरैंडमाइज (derandomize) करता है, और इन जटिलता वर्गों (complexity classes) पर घातांकीय रूप से छोटे अंतराल (exponentially small gaps) के प्रभाव का विश्लेषण करता है।

मूल लेखक: David Miloschewsky, Supartha Podder, Dorian Rudolph

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

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

CC BY 4.0

मूल लेखक: David Miloschewsky, Supartha Podder, Dorian Rudolph

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

कल्पना कीजिए कि आप एक रहस्य सुलझाने की कोशिश कर रहे एक जासूस हैं। इस दुनिया में, आपकी मदद करने के लिए दो प्रकार के सहायक (assistants) हैं:

क्लासिकल असिस्टेंट (QCMA): यह सहायक आपको केवल सुरागों के साथ एक लिखित नोट (एक क्लासिकल स्ट्रिंग) दे सकता है। आप नोट पढ़ सकते हैं और यह जांचने के लिए ब्रह्मांड से कुछ सवाल पूछ सकते हैं कि क्या सुराग सच हैं।
क्टोम क्वांटम असिस्टेंट (QMA): यह सहायक आपको एक "क्वांटम नोट" (एक क्वांटम स्टेट) दे सकता है। यह नोट कई संभावनाओं का एक सुपरपोजिशन (superposition) है। यह जटिल, उलझी हुई (entangled) जानकारी को रख सकता है जिसे एक साधारण लिखित नोट नहीं रख सकता।

लंबे समय से, कंप्यूटर वैज्ञानिक यह सवाल पूछ रहे हैं: क्या क्वांटम असिस्टेंट वास्तव में क्लासिकल असिस्टेंट से अधिक शक्तिशाली है? या, यदि क्लासिकल असिस्टेंट को पर्याप्त सवाल पूछने की अनुमति दी जाए, तो क्या वे क्वांटम असिस्टेंट के बराबर सब कुछ हल कर सकते हैं?

यह शोध पत्र इस प्रश्न की खोज करता है, लेकिन एक बहुत ही विशिष्ट मोड़ के साथ: परफेक्ट कम्प्लीटनेस (Perfect Completeness)। इसका अर्थ यह है कि यदि उत्तर "YES" है, तो क्वांटम असिस्टेंट इसे 100% निश्चितता के साथ सिद्ध करने में सक्षम होना चाहिए। कोई अनुमान नहीं, कोई "शायद" नहीं।

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

1. "पॉइंटर-चेज़िंग" गेम (मुख्य खोज)

सहायकों का परीक्षण करने के लिए, लेखकों ने "पॉइंटर-चेज़िंग" नामक एक खेल बनाया। कल्पना कीजिए कि नंबरों की बाल्टियों से बना एक विशाल भूलभुलैया (maze) है।

एक गुप्त रास्ता (परम्यूटेशन) है जो इन बाल्टियों को आपस में जोड़ता है।
लक्ष्य: आपको यह निर्धारित करना है कि अंतिम बाल्टी में वस्तुओं की संख्या सम (even) है या विषम (odd)।
चुनौती: आप पूरी भूलभुलैया को एक साथ नहीं देख सकते। आपको यह पता लगाने के लिए सवाल पूछने होंगे कि रास्ता कहाँ जाता है।

क्वांटम लाभ (Quantum Advantage):
क्वांटम असिस्टेंट पूरे रास्ते का "सुपरपोजिशन" अपने क्वांटम नोट में रख सकता है। वे अंतिम बाल्टी की समता (parity) को तुरंत और 100% निश्चितता के साथ जांच सकते हैं। यह एक ऐसे मानचित्र की तरह है जो अंधेरे में पूरे रास्ते को चमकते हुए दिखाता है।

क्लासिकल संघर्ष (Classical Struggle):
क्लासिकल असिस्टेंट के पास एक लिखित नोट है। समता का पता लगाने के लिए, उन्हें रास्ते पर कदम-दर-कदम चलना होगा।

लेखकों ने सिद्ध किया कि यदि क्लासिकल असिस्टेंट के सवाल पूछने के राउंड (rounds) सीमित हैं (भले ही वे प्रत्येक राउंड में लाखों सवाल पूछें), तो वे इस पहेली को हल नहीं कर सकते।
वे करीब तो पहुँच सकते हैं, लेकिन वे बिना किसी विशेष प्रकार की "चीटिंग" के कभी भी 100% सुनिश्चित नहीं हो सकते जो क्वांटम असिस्टेंट के पास स्वाभाविक रूप से होती है।

परिणाम:
उन्होंने पाया कि एक विशिष्ट "मानक" पहेली (क्लासिकल ऑरेकल का उपयोग करके) जहाँ क्वांटम असिस्टेंट 100% निश्चितता के साथ जीतता है, लेकिन क्लासिकल असिस्टेंट हार जाता है, भले ही उन्हें समानांतर (parallel) में बहुत सारे सवाल पूछने की अनुमति दी जाए, जब तक कि वे अपने पूछताछ के डेप्थ (depth) या स्तरों में सीमित हों।

2. "इन-प्लेस" पहेली (रैंडमनेस को हटाना)

पिछले शोध ने दिखाया था कि क्वांटम असिस्टेंट समान खेल जीत सकते थे, लेकिन केवल तभी जब भूलभुलदर्शी को रैंडम तत्वों (जैसे ताश की गड्डी को फेंटना) का उपयोग करके बनाया गया हो। आलोचकों ने पूछा: "क्या होगा अगर भूलभुलैया बिना किसी रैंडमनेस के, नियत (deterministic) रूप से बनाई गई हो? क्या क्वांटम असिस्टेंट अभी भी जीत सकता है?"

खोज:
लेखकों ने उस रैंडम भूलभुलैया को "डिरैंडमाइज" (derandomize) कर दिया। उन्होंने एक विशिष्ट, निश्चित भूलभुलदर्शी (एक डिटरमिनिस्टिक परम्यूटेशन) बनाई जहाँ क्वांटम असिस्टेंट अभी भी 100% निश्चितता के साथ जीतता है, और क्लासिकल असिस्टेंट अभी भी हार जाता है। यह एक मजबूत परिणाम है क्योंकि यह भाग्य या रैंडम चांस पर निर्भर नहीं है; यह समस्या की मौलिक संरचना पर निर्भर करता है।

3. "टिनी गैप" (Tiny Gap) की समस्या

कई कंप्यूटर समस्याओं में, एक "YES" उत्तर और एक "NO" उत्तर के बीच एक "गैप" होता है। आमतौर पर, यदि गैप छोटा है, तो हम गणितीय ट्रिक्स का उपयोग करके इसे बड़ा कर सकते हैं (एम्प्लीफिकेशन)।

हालाँकि, लेखकों ने एक ऐसी स्थिति देखी जहाँ गैप एक्सपोनेंशियल रूप से सूक्ष्म (exponentially tiny) है (इतना छोटा कि यह लगभग अदृश्य है)।

उन्होंने दिखाया कि एक निश्चित (fixed) सूक्ष्म गैप के लिए, क्वांटम असिस्टेंट अभी भी समस्या को हल कर सकता है जबकि क्लासिकल असिस्टेंट नहीं कर सकता।
लेकिन, यदि गैप को अनिश्चित रूप से छोटा होने की अनुमति दी जाती है (हर मामले के लिए बदलता हुआ), तो क्लासिकल असिस्टेंट इसे हल कर सकता है।
निष्कर्ष: यह सुझाव देता है कि कोई जादुई "एम्प्लीफायर" नहीं है जो इन विशिष्ट प्रकार की समस्याओं के लिए एक सूक्ष्म, लगभग अदृश्य गैप को बड़े, स्पष्ट गैप में बदल सके।

4. ग्राउंड स्टेट की "ऊर्जा" (हैमिल्टोनियन - Hamiltonians)

अंत में, यह शोध पत्र भौतिकी (physics) के साथ इन जासूसी खेलों को जोड़ता है। क्वांटम भौतिकी में, किसी सिस्टम की "ग्राउंड स्टेट" (सबसे कम ऊर्जा अवस्था) को खोजना एक जटिल पहेली को सुलझाने जैसा है।

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

सारांश

यह शोध पत्र सिद्ध करता है कि क्वांटम विटनेस (नोट्स) मौलिक रूप से क्लासिकल विटनेस से अधिक शक्तिशाली हैं, विशेष रूप से उन परिदृश्यों में जहाँ हम 100% निश्चितता (परफेक्ट कम्प्लीटनेस) की मांग करते हैं।

उपमा: यह दिखाने जैसा है कि एक जादुई, सर्वव्यापी मानचित्र (क्वांटम) वाला जासूस 100% निश्चितता के साथ एक भूलभुलैया को हल कर सकता है, जबकि संकेतों की एक लिखित सूची (क्लासिकल) वाला जासूस भटक जाता है, चाहे वह कितनी भी बार दिशा पूछ ले, जब तक कि वह एक साथ बहुत सारे लेयर्स (layers) में सवाल न पूछ सके।
महत्व: यह क्वांटम कंप्यूटिंग के बारे में हमारी समझ के अंतर को भरता है, यह दिखाते हुए कि क्वांटम जानकारी केवल "तेज़" नहीं है, बल्कि यह उन समस्याओं को हल कर सकती है जो संरचनात्मक रूप से क्लासिकल जानकारी के लिए पूर्ण रूप से (perfectly) हल करना असंभव है, यहाँ तक कि एक मानक, गैर-रैंडमाइज्ड सेटिंग में भी।

यहाँ मिलोशेव्स्की, पोडर और रुडोल्फ के शोध पत्र "En Route to a Standard QMA1 vs. QCMA Oracle Separation" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण और प्रेरणा

इस शोध पत्र में संबोधित क्वांटम जटिलता सिद्धांत (complexity theory) का केंद्रीय प्रश्न QMA (क्वांटम मर्लिन-आर्थर) और QCMA (क्वांटम क्लासिकल मर्लिन-आर्थर) के बीच का संबंध है।

QMA: एक भाषा QMA में है यदि एक क्वांटम वेरीफायर (verifier) को एक क्वांटम विटनेस (witness) का उपयोग करके उच्च प्रायिकता के साथ "YES" इंस्टेंस स्वीकार करने के लिए मनाया जा सकता है।
QCMA: यही सेटिंग है, लेकिन विटनेस को एक क्लासिकल स्ट्रिंग तक सीमित रखा गया है।
अंतराल (The Gap): यह ज्ञात है कि $\text{QCMA} \subseteq \text{QMA}$ है। खुला प्रश्न यह है कि क्या यह समावेशन (inclusion) मानक (unrelativized) दुनिया में सख्त ( $\text{QCMA} \subsetneq \text{QMA}$ ) है। जबकि ऑरेकल सेपरेशन (oracle separations) मौजूद हैं, पिछले परिणाम अक्सर क्वांटम ऑरेकल या रैंडमाइज्ड क्लासिकल ऑरेकल पर निर्भर करते थे, या परफेक्ट कम्प्लीटनेस (perfect completeness) प्राप्त करने में विफल रहे।

परफेक्ट कम्प्लीटनेस ( $QMA_1$ ): QMA का एक संस्करण जहाँ वेरीफायर को प्रत्येक "YES" इंस्टेंस को ठीक 1 की प्रायिकता के साथ स्वीकार करना चाहिए। यह अज्ञात है कि क्या $\text{QMA} = \text{QMA}_1$ है। यह शोध पत्र विशेष रूप से मानक क्लासिकल ऑरेकल का उपयोग करके $QMA_1$ को QCMA से अलग करने पर लक्षित है।

2. कार्यप्रणाली और तकनीकें

लेखक ऑरेकल निर्माण, ट्रांसक्रिप्ट विश्लेषण और हैमिल्टोनियन जटिलता तकनीकों के संयोजन का उपयोग करते हैं।

A. पॉइंटर-चेज़िंग परम्यूटेशन ऑरेकल (Pointer-Chasing Permutation Oracles)

मुख्य निर्माण एक "पॉइंटर-चेज़िंग" समस्या पर आधारित है जो इंडेक्स के बकेट्स (buckets) पर कार्य करने वाले एक परम्यूटेशन $\pi$ द्वारा परिभाषित है।

सेटअप: परम्यूटेशन बकेट्स $I_1, \dots, I_b$ के माध्यम से गुजरने वाली विलगित श्रृंखलाओं (disjoint chains) से बना है। समस्या प्री-इमेज सेट $S_b = \pi^{-1}([N])$ की सम/विषम (even/odd) तत्वों पर प्रतिबंध के आधार पर पैरिटी (parity) निर्धारित करना है।
QMA1 विटनेस: विटनेस यूनिफॉर्म सुपरपोजिशन स्टेट $|S_b\rangle$ है। वेरीफायर इस क्वांटम स्टेट का उपयोग करके पैरिटी और मैपिंग गुणों को परफेक्ट कम्प्लीटनेस (प्रायिकता 1) के साथ जांच सकता है।
QCMA लोअर बाउंड: लेखक क्लासिकल विटनेस और एडेप्टिव क्वेरीज (adaptive queries) के "ट्रांसक्रिप्ट" का विश्लेषण करते हैं। वे वेरीफायर द्वारा एकत्र की गई जानकारी के आधार पर एक "कैनोनिकल" परम्यूटेशन $\pi'$ को परिभाषित करते हैं। वे सिद्ध करते हैं कि यदि ट्रांसक्रिप्ट "अच्छा" है (जो उच्च प्रायिकता के साथ होता है), तो वेरीफायर की स्थिति वास्तविक परम्यूटेशन और एक संशोधित परम्यूटेशन के बीच अविभेद्य (indistinguishable) होती है, जो समस्या के इंस्टेंस को YES से NO में बदल देता है। यह विभिन्न ऑरेकल के तहत स्टेट्स के बीच की दूरी को बांधने के लिए एक पैरेलल-क्वेरी हाइब्रिड मेथड (लेम्मा 2.5) पर निर्भर करता है।

B. बाउंडेड एडेप्टिविटी और पैरेललाइजेशन (Bounded Adaptivity and Parallelization)

बाउंडेड एडेप्टिविटी: लेखक QCMA वेरीफायर को क्वेरीज के एक निश्चित संख्या में एडेप्टिव राउंड $R$ तक सीमित करते हैं।
पैरेललाइजेशन (Feynman-Kitaev): वे सर्किट-टू-हैमिल्टोनियन निर्माण का उपयोग यह दिखाने के लिए करते हैं कि कोई भी $R$ -राउंड QMA (या $QMA_1$ ) एल्गोरिदम एकल-राउंड वेरीफायर में $O(R^4)$ पैरेलल क्वेरीज के साथ पैरेललाइज किया जा सकता है। यह उन्हें उच्च क्वेरी कॉम्प्लेक्सिटी के साथ बाउंडेड-राउंड मॉडल्स से सिंगल-राउंड मॉडल्स तक परिणामों को ले जाने की अनुमति देता है।

C. डिरैंडमाइजेशन और गैप विश्लेषण (Derandomization and Gap Analysis)

डिरैंडमाइजेशन: वे पिछले परम्यूटेशन ऑरेकल सेप्रेशन्स (Fefferman और Kimmel) में आवश्यक रैंडमनेस को एक डिटरमिनिस्टिक इन-प्लेस ऑरेकल बनाकर हटा देते हैं।
एक्सपोनेंशियल रूप से छोटे गैप्स: वे एक्सपोनेंशियल रूप से छोटे कम्प्लीटनेस-साउंडनेस गैप्स ( $\text{PreciseQMA}$ और $\text{PreciseQCMA}$ ) वाली क्लासेज की जांच करते हैं। वे यह दिखाने के लिए हालिया कार्यों (BHV26) की प्रमाण तकनीकों को अनुकूलित करते हैं कि जब गैप $O(2^{-n})$ के रूप में स्थिर हो, तो सेपरेशन होता है, लेकिन यह भी नोट करते हैं कि ऐसे सभी गैप्स का यूनियन (PreciseQCMA) समस्या को हल करता है, जो यह दर्शाता है कि इन क्लासेज के लिए कुशल गैप एम्प्लीफिकेशन संभव नहीं है।

D. हैमिल्टोनियन ग्राउंड स्टेट कॉम्प्लेक्सिटी

लेखक ऑरेकल सेप्रेशन्स को स्पार्स हैमिल्टोनिअन्स के ग्राउंड स्टेट्स तैयार करने की सर्किट जटिलता से जोड़ते हैं। अपने QMA वेरीफायर पर सर्किट-टू-हैमिल्टोनियन निर्माण लागू करके, वे हैमिल्टोनियन तक ऑरेकल एक्सेस के साथ अनुमानित ग्राउंड स्टेट्स तैयार करने के लिए आवश्यक सर्किट साइज पर लोअर बाउंड प्राप्त करते हैं।

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

परिणाम 1: बाउंडेड एडेप्टिविटी सेपरेशन (थ्योरम 3.12)

कथन: किसी भी बहुपद $R$ के लिए, एक क्लासिकल ऑरेकल मौजूद है जिसके सापेक्ष $\text{QMA}_1 \not\subseteq \text{QCMA}$ है, बशर्ते कि QCMA वेरीफायर को क्वेरीज के $R$ एडेप्टिव राउंड्स (प्रति राउंड कई एक्सपोनेंशियल पैरेलल क्वेरीज के साथ) तक सीमित किया गया हो।
महत्व: यह एक मानक क्लासिकल ऑरेकल का उपयोग करके $QMA_1$ को QCMA से अलग करने वाला पहला परिणाम है, हालांकि इसमें बाउंडेड एडेप्टिविटी का प्रतिबंध है। यह दिखाता है कि एक्सपोनेंशियल पैरेललिज्म के साथ भी, एडेप्टिविटी की एक सीमित गहराई QCMA को $QMA_1$ के बराबर करने के लिए अपर्याप्त है।

परिणाम 2: डिटरमिनिस्टिक इन-प्लेस सेपरेशन (थ्योरम 3.9)

कथन: एक डिटरमिनिस्टिक इन-प्लेस परम्यूटेशन ऑरेकल मौजूद है जिसके सापेक्ष $\text{QMA}_1 \not\subseteq \text{QCMA}$ है, भले ही QCMA वेरीफायर को $2^{o(n)}$ एडेप्टिव राउंड्स की अनुमति दी गई हो।
महत्व: यह Fefferman-Kimmel सेपरेशन को डिरैंडमाइज करता है और इसे $QMA_1$ तक मजबूत बनाता है। यह स्थापित करता है कि क्वांटम विटनेस डिटरमिनिस्टिक ऑरेकल वाले सख्त इन-प्लेस मॉडल में भी शक्ति का लाभ प्रदान करते हैं।

परिणाम 3: एक्सपोनेंशियल रूप से छोटे गैप्स के साथ सेपरेशन (थ्योरम 3.20)

कथन: एक क्लासिकल ऑरेकल मौजूद है जो $\text{QMA}(2^{-n})$ को $\text{QCMA}(2^{-n})$ से अलग करता है।
महत्व: यह इन क्लासेज के व्यवहार को संबोधित करता है जब कम्प्लीटनेस-साउंडनेस गैप एक्सपोनेंशियल रूप से छोटा होता है। यह प्रमाण देता है कि $\text{PreciseQMA}$ और $\text{PreciseQCMA}$ को स्थिर गैप्स तक कुशलतापूर्वक गैप-एम्प्लीफाई नहीं किया जा सकता है, क्योंकि $\text{PreciseQCMA}$ (जिसमें यह समस्या शामिल है) $\text{NPPP}$ में समाहित है, जबकि सेपरेशन फिक्स्ड गैप संस्करण के लिए बना रहता है।

परिणाम 4: सर्किट कॉम्प्लेक्सिटी लोअर बाउंड्स (थ्योरम 3.22 और 3.24)

कथन: $O(1)$ -स्पार्स हैमिल्टोनिअन्स (और बाउंडेड एडेप्टिविटी के तहत फ्रस्ट्रेशन-फ्री वेरिएंट्स) के परिवार मौजूद हैं, जिनके लिए किसी भी स्टेट को, जो ग्राउंड स्टेट के करीब ऊर्जा रखती है, ऑरेकल एक्सेस के साथ भी तैयार करने के लिए $2^{\Omega(n^{1/3})}$ (या समान सुपर-पॉलिनोमियल बाउंड्स) के आकार के सर्किट की आवश्यकता होती है।
महत्व: यह ऑरेकल कॉम्प्लेक्सिटी को NLTS (No Low-Energy Trivial States) अनुमान से जोड़ता है। यह सिद्ध करता है कि ऑरेकल एक्सेस के माध्यम से दिए गए स्पार्स हैमिल्टोनिअन्स के लिए, अनुमानित ग्राउंड स्टेट्स को तैयार करने के लिए बड़े क्वांटम सर्किटों की आवश्यकता होती है, जो NLTS अंतर्दृष्टि को ऑरेकल सेटिंग तक विस्तारित करता है।

4. महत्व और प्रभाव

QMA बनाम QCMA प्रश्न पर प्रगति: हालांकि अनबाउंडेड एडेप्टिविटी के साथ पूर्ण $QMA_1$ और QCMA का सेपरेशन अभी भी खुला है, यह शोध पत्र बाउंडेड एडेप्टिविटी और डिटरमिनिस्टिक इन-प्लेस ऑरेल्स के लिए प्रश्न को हल करके महत्वपूर्ण प्रगति करता है।
परफेक्ट कम्प्लीटनेस: ये परिणाम परफेक्ट कम्प्लीटनेस ( $QMA_1$ ) के साथ सेपरेशन प्राप्त करने वाले पहले परिणाम हैं, जो पिछले सेप्रेशन्स की दीर्घकालिक सीमा को संबोधित करते हैं।
डिरैंडमाइजेशन: एक डिटरमिनिस्टिक इन-प्लेस ऑरेकल सेपरेशन का निर्माण ऑरेकल में रैंडमाइजेशन की आवश्यकता को समाप्त करता है, जिससे सेपरेशन अधिक सुदृढ़ और मानक जटिलता धारणाओं के करीब हो जाता है।
हैमिल्टोनियन कॉम्प्लेक्सिटी: यह शोध पत्र ऑरेकल कॉम्प्लेक्सिटी और भौतिक हैमिल्टोनियन गुणों के बीच के अंतर को पाटता है, यह दिखाते हुए कि ऑरेकल-आधारित सेपरेशन सीधे तौर पर स्पार्स हैमिल्टोनिअन्स के ग्राउंड स्टेट्स तैयार करने की सर्किट जटिलता पर लोअर बाउंड प्रदान करते हैं। यह NLTS प्रमेय को एक नया दृष्टिकोण प्रदान करता है।
गैप एम्प्लीफिकेशन की सीमाएं: $\text{PreciseQMA}/\text{PCMA}$ के संबंध में निष्कर्ष एक्सपोनेंशियल रूप से छोटे गैप वाली क्लासेज के लिए एरर रिडक्शन की मौलिक सीमाओं का सुझाव देते हैं, जो इन क्लासेज और उनके मानक समकक्षों के बीच के अंतर को पुख्ता करते हैं।