⚛️ quantum physics

Semidefinite extension complexity of the separable set, with applications to approximate disentanglers

यह शोध पत्र अनुमानित अनुकूलन समस्याओं (approximate optimization problems) के लिए पृथक क्वांटम अवस्थाओं (separable quantum states) के अर्ध-निश्चित प्रोग्रामिंग विस्तार जटिलता (semidefinite extension complexity) पर सुपरपॉलीनोमियल निचली सीमाएं स्थापित करता है, जो यह प्रदर्शित करता है कि समान योगात्मक त्रुटि $a$ वाले किसी भी अर्ध-निश्चित प्रोग्राम (semidefinite program) के लिए आकार कम से कम $d^{c_\theta\min\{a^{-1/3},d^\theta\}}$ होना आवश्यक है और इस प्रकार पिछले क्वैसी-पॉलीनोमियल (quasipolynomial) बंधों में सुधार करता है।

मूल लेखक: Sevag Gharibian, Carsten Hecht, Dorian Rudolph

प्रकाशित 2026-09-09

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

CC BY 4.0

मूल लेखक: Sevag Gharibian, Carsten Hecht, Dorian Rudolph

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

क्वांटम दुनिया में, सूचना उन कणों में संग्रहीत होती है जो एक साथ कई अवस्थाओं में रह सकते हैं, जिसे सुपरपोजिशन (superposition) नामक गुण कहा जाता है। जब ऐसे दो कण आपस में जुड़ जाते हैं, तो वे एक उलझे हुए जोड़े (entangled pair) का निर्माण करते हैं, जो उनके बीच की दूरी के बावजूद एक एकल इकाई के रूप में व्यवहार करते हैं। यह एंटैंगलमेंट (entanglement) सबसे शक्तिशाली सैद्धांतिक क्वांटम कंप्यूटरों के पीछे का इंजन है, जो उन्हें उन समस्याओं को हल करने की अनुमति देता है जिन्हें हल करने में क्लासिकल मशीनों को अनंत काल लग जाएगा। हालाँकि, एक विशिष्ट प्रकार का क्वांटम प्रूफ़ सिस्टम (quantum proof system) है, जिसका उपयोग जटिल गणनाओं को सत्यापित करने के लिए किया जाता है, जो एक अलग प्रकार के संसाधन पर निर्भर करता है: अनएंटैंगल्ड प्रूफ (unentangled proofs)। इस परिदृश्य में, एक सत्यापनकर्ता (verifier) को दो अलग-अलग सूचनाएं प्राप्त होती हैं जो एक-दूसरे से स्वतंत्र होने की गारंटी दी जाती हैं, जैसे दो अजनबी जिन्होंने कभी एक-दूसरे को नहीं देखा और जिनका कोई गुप्त संबंध नहीं है। इस क्षेत्र में केंद्रीय रहस्य यह है कि क्या एक सत्यापनकर्ता, जो केवल इन स्वतंत्र प्रमाणों की जांच कर सकता है, वास्तव में उतना ही शक्तिशाली है जितना कि वह जो एंटैंगल्ड (entangled) प्रमाणों की जांच कर सकता है। यदि वे समान रूप से शक्तिशाली हैं, तो इसका अर्थ होगा कि एंटैंगलमेंट के अजीब, गैर-स्थानीय संबंध इस विशिष्ट प्रकार के सत्यापन के लिए कोई मौलिक लाभ प्रदान नहीं करते हैं।

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

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

उनकी खोज का मूल "सेपरेबल स्टेट्स" (separable states) के अध्ययन में निहित है, जो वे क्वांटम अवस्थाएँ हैं जिन्हें स्वतंत्र भागों के सरल संयोजन के रूप में वर्णित किया जा सकता है। शोधकर्ताओं ने एक विशिष्ट प्रकार के गणितीय अनुकूलन (optimization) का उपयोग करके इन सेपरेबल स्टेट्स को अन्य सभी संभावित क्वांटम अवस्थाओं से अलग करने की कठिनाई पर ध्यान केंद्रित किया। उन्होंने दिखाया कि सेपरेबल स्टेट्स के व्यवहार को एक मानक गणितीय उपकरण, जिसे सेमीडेफिनिट प्रोग्राम (semidefinite program) के रूप में जाना जाता है, का उपयोग करके अनुमानित करने का कोई भी प्रयास इतनी विशाल संरचना की मांग करता है कि वह बड़े सिस्टम के लिए बेकार हो जाता है। इसे देखने के लिए, कल्पना करें कि आप एक जटिल, उच्च-आयामी वस्तु के आकार का वर्णन एक सपाट, द्वि-आयामी मानचित्र का उपयोग करके करने की कोशिश कर रहे हैं। शोधकर्ताओं ने सिद्ध किया कि आप कितना भी चतुराई से मानचित्र क्यों न बनाएं, यदि आप चाहते हैं कि वह पर्याप्त सटीक हो, तो मानचित्र स्वयं असंभव रूप से बड़ा होना चाहिए।

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

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

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

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

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

तकनीकी सारांश: सेपरेबल सेट की सेमीडेफिनेट एक्सटेंशन कॉम्प्लेक्सिटी (Semidefinite Extension Complexity)

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

यह शोध पत्र सेपरेबल स्टेट्स के सेट $\text{Sep}(d:d)$ पर एक टू-आउटकम मेजरमेंट ऑपरेटर $Q$ के अधिकतम स्वीकृति संभाव्यता (maximum acceptance probability) को अनुमानित करने की कम्प्यूटेशनल जटिलता को संबोधित करता है। यह अनुकूलन समस्या (optimization problem), जिसे $h_{\texttext{Sep}}(Q) = \max_{\sigma \in \text{Sep}(d:d)} \text{Tr}(Q\sigma)$ के रूप में परिभाषित किया गया है, $\text{QMA}(2)$ (दो अनएन्टैंगल्ड प्रमाणों के साथ क्वांटम मर्लिन-आर्थर) क्लास के लिए केंद्रीय है।

विशिष्ट ध्यान है एचएनडब्ल्यू (HNW) द्वारा स्थापित ढांचे के भीतर सेपरेबल सेट की सेमीडेफिनेट एक्सटेंशन कॉम्प्लेक्सिटी पर, जो निम्नलिखित बाधाओं के तहत $r$ के न्यूनतम आकार का अन्वेषण करता है:

साझा व्यवहार्य क्षेत्र (Common Feasible Region): सभी मेजरमेंट ऑपरेटर्स $Q$ एक ही एसडीपी (SDP) व्यवहार्य क्षेत्र $\mathcal{P}$ साझा करते हैं (जो $r \times r$ पीएसडी (PSD) मैट्रिसेस का एक स्पेक्ट्राहेड्रॉन है)।
ऑब्जेक्टिव-स्वतंत्र एम्बेडिंग (Objective-Independent Embedding): एक निश्चित मानचित्र $\iota$ मौजूद है जो प्योर प्रोडक्ट स्टेट्स को $\mathcal{P}$ में एम्बेड करता है ताकि एसडीपी ऑब्जेक्टिव $\Phi_Q$ , प्रत्येक प्रोडक्ट स्टेट $\tau$ के लिए स्वीकृति संभाव्यता $\text{Tr}(Q\tau)$ को पुनरुत्पादित करे, चाहे $Q$ कुछ भी हो।
अनुमान (Approximation): एसडीपी को एक निर्दिष्ट एडिटिव एरर (additive error) $a$ या रिलेटिव गैप (relative gap) $\varrho$ के भीतर $h_{\text{Sep}}$ का अनुमान लगाना चाहिए।

यह शोध पत्र इन निचले स्तर के बाउंड्स (lower bounds) को अनुमानित डिसेंटैंगलर्स (approximate disentanglers) पर भी लागू करता है, जो क्वांटम चैनल्स $\Lambda: \mathcal{L}(\mathbb{C}^D) \to \mathcal{L}(\mathbb{C}^d \otimes \mathbb{C}^d)$ हैं, जो मनमाने इनपुट को सेपरेबल स्टेट्स के करीब वाले स्टेट्स में मैप करते हैं और सभी सेपरेबल स्टेट्स को कवर करते हैं। लक्ष्य ऐसे चैनल्स के लिए आवश्यक न्यूनतम इनपुट आयाम $D$ को निर्धारित करना है।

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

लेखक पैटर्न-मैट्रिक्स लोअर बाउंड्स, स्यूडो-डेंसिटी तकनीकों, और स्पेक्ट्राहेड्रल ज्योमेट्री के संयोजन का उपयोग करते हैं।

2.1 HNW ढांचा और PSD रैंक

मुख्य तकनीक ली-रघवेंद्र-स्टुलर (LRS) प्रमेय पर निर्भर करती है, जो एक विशिष्ट गैर-ऋणात्मक मैट्रिक्स (जिसे "स्लैक मैट्रिक्स" कहा जाता है) के PSD रैंक को एक एसडीपी फॉर्मूलेशन के आकार से जोड़ती है।

स्लैक मैट्रिक्स निर्माण: लेखक एक मैट्रिक्स $M$ का निर्माण करते हैं जहाँ पंक्तियाँ "विटनेसेस" (ब्लॉक-पजिटिव ऑपरेटर्स $W_T$ ) के अनुरूप हैं और कॉलम "स्टेट्स" (प्रोडक्ट स्टेट्स $\sigma_S$ ) के अनुरूप हैं। मैट्रिक्स के प्रविष्टियाँ (entries) $M(T, S) = \text{Tr}(W_T \sigma_S)$ हैं।
फैक्टरइजेशन: आकार $r$ का एक एसडीपी, जो एक साझा व्यवहार्य क्षेत्र रखता है, इस मैट्रिक्स के आकार $r+1$ के PSD फैक्टरइजेशन को दर्शाता है। अतः, $M$ के PSD रैंक पर एक निचला बाउंड, एसडीपी आकार पर एक निचला बाउंड प्रदान करता है।

2.2 नैपसैक पैटर्न मैट्रिक्स (The Knapsack Pattern Matrix)

पूर्ववर्ती कार्य (HNW) के विपरीत, जो ग्राफ 3-कलरबिलिटी पर आधारित QMA(2) प्रोटोकॉल का उपयोग करता था, यह शोध पत्र सेंट्रल नैपसैक पॉलीनोमियल पर आधारित एक मैट्रिक्स का निर्माण करता है:
$f_m(x) = \frac{1}{m^2} \left[ \left( \sum_{i=1}^m x_i - \frac{m}{2} \right)^2 - \frac{1}{4} \right]$
जहाँ $m$ एक विषम पूर्णांक (odd integer) है। बूलियन हाइपरक्यूब $\{0,1\}^m$ पर, $f_m(x) \geq 0$ है। हालांकि, ग्रिगोरिएव का स्यूडो-एक्सपेक्टेशन फंक्शनल $\mathcal{G}_m$ , $f_m$ को एक ऋणात्मक मान (विशेष रूप से $-1/4m^2$ ) देता है, क्योंकि यह गैर-मौजूद हैमिंग वेट लेयर $m/2$ को वैध मानता है।

2.3 चेबिशेव पॉलीनोमियल्स के माध्यम से प्रवर्धन (Amplification via Chebyshev Polynomials)

बड़े अनुमानित त्रुटियों (कांस्टेंट या इनवर्स-पॉलीनोमियल) को संभालने के लिए, लेखक एक चेबिशेव-हाडामाड प्रवर्धन लागू करते हैं:

वे मैट्रिक्स प्रविष्टियों पर एक पॉलीनोमियल ट्रांसफॉर्मेशन $P_\ell(u) = (1 + T_\ell(2u-1))/2$ लागू करते हैं।
यह ट्रांसफॉर्मेशन $[0,1]$ की रेंज में प्रविष्टियों की गैर-ऋणात्मकता को बनाए रखता है लेकिन "फॉर्मल" नेगेटिव पॉइंट पर नेगेटिव स्यूडो-एक्सपेक्टेशन वैल्यू को $\ell^2$ के कारक से प्रवर्धित (amplify) करता है।
महत्वपूर्ण रूप से, लेखक पहचान $P_\ell(u) = u Q_\ell(u)^2$ का उपयोग करके PSD रैंक में वृद्धि को बांधते हैं, यह दिखाते हुए कि रैंक लागत पॉलीनोमियल डिग्री के साथ केवल रैखिक रूप से बढ़ती है, जिससे यह तर्क बड़े एरर पैरामीटर्स के साथ स्केल करने योग्य हो जाता है।

2.4 विटनेसेस और स्टेट्स का निर्माण

प्रपोजिशन 4.1 स्पष्ट रूप से निर्मित करता है:

प्रोडक्ट स्टेट्स: $\sigma_S$ जो एक विशिष्ट बेसिस वेक्टर्स के सुपरपोजिशन का उपयोग करके सबसेट्स $S \subseteq [N]$ को एनकोड करता है।
ब्लॉक-पॉजिटिव विटनेसेस: $W_T$ जो डायगोनल प्रोजेक्टर्स और स्वैप ऑपरेटर $F$ से जुड़े एक पेनल्टी टर्म से निर्मित होते हैं। ये विटनेसेस इस तरह डिज़ाइन किए गए हैं कि वे प्रोडक्ट स्टेट्स पर गैर-ऋणात्मक हों लेकिन एंटैंगल्ड स्टेट्स पर ऋणात्मक हो सकते हैं, और इनका नॉर्म बाउंड एम्बिएंट डायमेंशन से स्वतंत्र $O(m)$ है।

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

3.1 SDP फॉर्मूलेशन के लिए लोअर बाउंड्स

शोध पत्र $h_{\text{Sep}}$ का अनुमान लगाने वाले SDP फॉर्मूलेशन के आकार $r$ के लिए एक नया लोअर बाउंड स्थापित करता है।

थ्योरम 5.4: किसी भी निश्चित $0 < \theta < 2/7$ के लिए, ऐसे स्थिरांक $c_\theta, a_\theta > 0$ मौजूद हैं कि पर्याप्त बड़े $d$ और अनुमानित त्रुटि $a \leq a_\theta$ के लिए, $h_{\text{Sep}}$ को एडिटिव एरर $a$ तक अनुमानित करने वाला कोई भी एसडीपी आकार निम्न होगा:
$r \geq d^{c_\theta \min\{a^{-1/3}, d^\theta\}}$
HNW के साथ तुलना: HNW ने त्रुटि $O(1/d^2)$ के लिए $d^{\log d / \text{polylog} \log d}$ का लोअर बाउंड सिद्ध किया था। नया बाउंड कांस्टेंट एरर के लिए लागू होता है और पर्याप्त छोटे एरर ( $a \leq d^{-3\theta}$ ) के लिए HNW बाउंड को $d$ की पावर के घातांक (exponential) में सुधार कर $d^{\Omega(d^\theta)}$ तक ले जाता है।
ज्यामितीय व्याख्या: कोरोलरी 5.6 इसे स्पेक्ट्राहेड्रल शैडो (spectrahedral shadows) तक विस्तारित करती है, यह सिद्ध करती है कि सेपरेबल सेट $\text{Sep}(d:d)$ को समाहित करने वाला और इसके ट्रेस डिस्टेंस $a$ के भीतर स्थित कोई भी कॉनवेक्स सेट कम से कम $d^{c_\theta \min\{(2a)^{-1/3}, d^\theta\}}$ का स्पेक्ट्राहेड्रल लिफ्ट (spectrahedral lift) आवश्यक रखता है। यह फाउजी (Fawzi) के प्रमेय का मात्रात्मक प्रतिरूप प्रदान करता है कि सेपरेबल सेट का कोई सटीक सेमीडेफिनेट प्रतिनिधित्व नहीं है।

3.2 अनुमानित डिसेंटैंगलर्स के लिए लोअर बाउंड्स

लेखक एसडीपी लोअर बाउंड्स को डिसेंटैंगलर्स के इनपुट डायमेंशन $D$ पर लागू करते हैं।

थ्योरम 1.1: एक $(\varepsilon, \delta)$ -अनुमानित डिसेंटैंगलर के लिए, कुल त्रुटि $a = \varepsilon + \delta$ है, और इनपुट डायमेंशन $D$ संतुष्ट करता है:
$\log D \geq c M_a \log(2 + R_a)$
जहाँ $M_a$ और $R_a$ क्रमशः $d$ और $a$ के फलन हैं जो एसडीपी बाउंड से प्राप्त होते हैं।
कोरोलरी 1.2 (मात्रात्मक विकास):
- यदि $a \leq n^{-c}$ (क्यूबिट्स की संख्या $n = \log d$ में इनवर्स पॉलीनोमियल), तो $\log D = \Omega(n^{1+c/3})$ । यह एक सुपरलीनियर संख्या में इनपुट क्यूबिट्स को अनिवार्य करता है।
- यदि $a$ का क्रम $(\log d)^{18/7} / d^{6/7}$ है, तो $\log D = \Omega(d^{2/7} / (\log d)^{6/7})$ ।
QMA(2) के लिए निहितार्थ: ये परिणाम डिसेंटैलर रणनीति द्वारा $\text{QMA} = \text{QMA}(2)$ को सिद्ध करने की संभावना को खारिज करते हैं, यदि प्रॉमिस गैप सुपर-पॉलीनोमियल रूप से छोटा ( $n^{-\omega(1)}$ ) है, क्योंकि ऐसी रणनीति के लिए सुपर-पॉलीनोमियल इनपुट क्यूबिट्स की आवश्यकता होगी।

3.3 बोसोनिक सेपरेबिलिटी (Bosonic Separability)

कोरोलरी 5.7 इन लोअर बाउंड्स को टू-पार्टिकल बोसोनिक सेपरेबल बॉडी (स्टेट्स जिनका रूप $|\psi\rangle\langle\psi|^{\otimes 2}$ है) तक विस्तारित करती है, यह दिखाते हुए कि समान जटिलता बाउंड लागू होते हैं।

4. महत्व और दावे (Significance and Claims)

लेखक निम्नलिखित महत्व का दावा करते हैं:

SDP-विशिष्ट लोअर बाउंड्स: यह कार्य $h_{\text{Sep}}$ के सामान्य एसडीपी विस्तारित फॉर्मूलेशन के लिए पहला अनकंडीशनल इन्फोर्मेशन-थ्योरेटिक लोअर बाउंड प्रदान करता है, जो सेपरेबल सेट को कांस्टेंट या इनवर्स-पॉलीनोमियल ट्रेस डिस्टेंस के भीतर अनुमानित करता है। समकालीन कार्य [BGH+26] क्वांटम ऑरेकल सेपरेशन के माध्यम से डिसेंटैंगलर्स के लिए मजबूत लोअर बाउंड स्थापित करता है, लेकिन उनका रिडक्शन सामान्य एसडीएफ (SDP) फॉर्मूलेशन पर लागू नहीं होता है। अतः, एसडीपी-विशिष्ट लोअर बाउंड्स (थ्योरम 5.4 और कोरोलरी 5.5) सेमीडेफिनेट कॉम्प्लेक्सिटी के संदर्भ में इस कार्य का प्राथमिक योगदान बने हुए हैं।
मात्रात्मक सुधार: ये बाउंड्स HNW के परिणामों में महत्वपूर्ण सुधार करते हैं, जो कांस्टेंट या इनवर्स-पॉलीनोमियल एरर के लिए $d$ के क्वैसी-पॉलीनोमियल से एक्सपोनेंशियल लोअर बाउंड की ओर बढ़ते हैं।
डिसेंटैंगलर रणनीति का खंडन: परिणाम दर्शाते हैं कि डिसेंटैलर दृष्टिकोण $\text{QMA}(2)$ को सिम्युलेट करने के लिए एक ऐसे चैनल का उपयोग नहीं कर सकता जिसमें पॉलीनोमियल इनपुट क्यूबिट्स हों, यदि चैनल एरर प्रॉमिस गैप के सापेक्ष पर्याप्त छोटा है।
कार्यप्रणालीगत प्रगति: यह कार्य नैपसैक पॉलीनोमियल और चेबिशेव प्रवर्धन का उपयोग करके LRS प्रमेय के एक परिष्कृत अनुप्रयोग को पेश करता है, जो पिछले प्रोटोकॉल-आधारित निर्माणों की तुलना में एरर पैरामीटर्स और PSD रैंक लागत पर बेहतर नियंत्रण की अनुमति देता है।

लेखक समकालीन कार्य [BGH+26] को स्वीकार करते हैं जो डिसेंटैलर के लिए मजबूत लोअर बाउंड ( $\log D = \Omega(\sqrt{d})$ ) सिद्ध करने के लिए क्वांटम ऑरेकल सेपरेशन का उपयोग करता है, हालांकि वे नोट करते हैं कि बॉस्टैंसी एट अल. का रिडक्शन सामान्य एसडीपी फॉर्मूलेशन पर लागू नहीं होता है, जिससे एसडीपी-विशिष्ट लोअर बाउंड्स (थ्योरम 5.4 और कोरोलरी 5.5) इस कार्य का मुख्य योगदान बने रहते हैं। परिणाम लीन (Lean) प्रमाणों द्वारा समर्थित हैं।