⚛️ quantum physics

Unitary complexity in polynomial space

यह शोधपत्र यूनिटरी जटिलता वर्गों $\mathsf{unitaryP}$ और $\mathsf{unitaryPSPACE}$ के लिए सुदृढ़ परिभाषाएँ प्रस्तुत करता है और यह सिद्ध करता है कि क्वांटम कमिटमेंट्स (quantum commitments) का अस्तित्व या तो यूनिटरी संश्लेषण समस्या (unitary synthesis problem) की कठिनाई को दर्शाता है या पृथक्करण $\mathsf{BPP} \neq \mathsf{NEXP}$ को, जिससे क्वांटम क्रिप्टोग्राफिक धारणाओं को शास्त्रीय जटिलता सिद्धांत के प्रमुख खुले प्रश्नों से जोड़ा जाता है।

मूल लेखक: William Kretschmer, Ewin Tang

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

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

CC BY 4.0

मूल लेखक: William Kretschmer, Ewin Tang

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

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

इसी के समानांतर शास्त्रीय दुनिया का क्षेत्र क्वांटम कंप्यूटिंग का है, जहाँ मशीनें सूचना को संसाधित करने के लिए उप-परमाणु कणों के विचित्र गुणों का उपयोग करती हैं। यहाँ, नियम अलग हैं। एक क्वांटम कंप्यूटर केवल बिट्स को ऑन या ऑफ नहीं करता है; यह संभावनाओं की जटिल तरंगों (waves of probability) को नियंत्रित करता है। यह इसे कुछ ऐसे कार्य करने की अनुमति देता है जिन्हें करने में एक क्लासिकल कंप्यूटर को अनंत काल लग जाएगा। हालाँकि, एक गहरा रहस्य बना हुआ है: क्या क्वांटम कंप्यूटिंग की शक्ति एक पूरी तरह से नए प्रकार की कठिनाई पर निर्भर करती है, या यह गुप्त रूप से क्लासिकल कंप्यूटिंग का ही एक बहुत ही कुशल संस्करण है? विशेष रूप से, शोधकर्ताओं ने सोचा है कि क्या एक क्वांटम कंप्यूटर द्वारा किए जाने वाले प्रत्येक संभावित ऑपरेशन को चरणों के एक ऐसे अनुक्रम में तोड़ा जा सकता है जिसे एक क्लासिकल कंप्यूटर अंततः समझ सके, यदि उसे सही संकेत दिए जाएं। यदि उत्तर हाँ है, तो क्वांटम क्रिप्टोग्राफी की अद्वितीय शक्ति एक भ्रम हो सकती है। यदि उत्तर नहीं है, तो क्वांटम कंप्यूटरों के पास एक मौलिक शक्ति है जिसे क्लासिकल मशीनें कभी भी दोहरा नहीं सकतीं।

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

उनकी उपलब्धि को समझने के लिए, व्यक्ति को पहले उस कार्य की प्रकृति को समझना होगा जिसका वे विश्लेषण कर रहे हैं। कल्पना कीजिए कि एक क्वांटम कंप्यूटर एक ऐसे उपकरण के रूप में है जो एक जटिल, बहु-आयामी वस्तु को इस तरह से घुमा सकता है जो पूरी तरह से प्रतिवर्ती (reversible) है। "यूनिटरी सिंथेसिस समस्या" यह पूछती है कि क्या, ऐसे किसी भी रोटेशन के लिए, हम निर्देशों का एक ऐसा सेट पा सकते हैं जिसका पालन एक मानक कंप्यूटर उस रोटेशन को फिर से बनाने के लिए कर सकता है। यदि हम हमेशा ऐसा कर सके, तो इसका अर्थ होगा कि क्वांटम दुनिया, एक अर्थ में, क्लासिकल दुनिया का ही एक बहुत ही जटिल संस्करण है। शोधकर्ताओं ने इन रोटेशन्स के एक विशिष्ट वर्ग पर ध्यान केंद्रित किया: वे जिन्हें एक क्वांटम कंप्यूटर एक उचित मात्रा में मेमोरी का उपयोग करके कर सकता है। उन्होंने पूछा कि क्या इन विशिष्ट रोटेशन्स को एक ओरेकल (oracle) की सहायता से एक क्लासिकल कंप्यूटर द्वारा हमेशा सिंथेसाइज किया जा सकता है, जो अनिवार्य रूप से एक जादुई ब्लैक बॉक्स है जो तुरंत विशिष्ट प्रश्नों के उत्तर दे सकता है।

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

इन परिभाषाओं के साथ, उन्होंने मुख्य प्रश्न को सुलझाया। उन्होंने प्रदर्शित किया कि किसी भी क्वांटम ऑपरेशन के लिए जिसे पॉलीनोमियल स्पेस (एक प्रबंधनीय मात्रा में मेमोरी) के साथ किया जा सकता है, केवल दो ही संभावनाएं हैं। या तो ऑपरेशन इतना जटिल है कि कोई भी क्लासिकल कंप्यूटर, चाहे वह कितना भी चतुर क्यों न हो या उसे ओरेकल से कितनी भी मदद मिले, उसे कुशलतापूर्वक सिंथेसाइज नहीं कर सकता। या, वह ऑपरेशन उतना कठिन नहीं है; इसे कुशलतापूर्वक सिंथेसाइज किया जा सकता है यदि क्लासिकल कंप्यूटर को NEXP सर्च प्रॉब्लम नामक एक विशिष्ट प्रकार की कठिन समस्या के बारे में प्रश्न पूछने की अनुमति दी जाए। यह दूसरा वर्ग क्लासिकल कॉम्प्लेक्सिटी थ्योरी में एक बहुत ऊँचा मानदंड है, जो उन समस्याओं का प्रतिनिधित्व करता है जो वर्तमान में हमारे द्वारा हल की जाने वाली सबसे कठिन समस्याओं से घातीय (exponentially) रूप से अधिक कठिन हैं।

इस निष्कर्ष के निहितार्थ गहरे हैं, विशेष रूप से क्रिप्टोग्राफी के भविष्य के लिए। क्वांटम क्रिप्टोग्राफी इस विचार पर निर्भर करती है कि कुछ कार्य, जैसे कि एक सुरक्षित कमिटमेंट स्कीम बनाना (एक तरीका जिससे एक गुप्त जानकारी को डिजिटल बॉक्स में इस तरह लॉक किया जाता है कि उसे बदला न जा सके या झाँका न जा सके), एक विरोधी के लिए तोड़ना असंभव है। यदि सुरक्षित क्वांटम कमिटमेंट्स मौजूद हैं, तो शोधकर्ताओं का तर्क कहता है कि हम एक बहुत ही विशिष्ट स्थिति में हैं। या तो यूनिटरी सिंथेसिस समस्या का उत्तर नकारात्मक है, जिसका अर्थ है कि ऐसे क्वांटल ऑपरेशन्स हैं जो क्लासिकल सिंथेसिस की पहुंच से मौलिक रूप से परे हैं, या क्लासिकल कॉम्प्लेक्सिटी का एक प्रमुख प्रश्न हल होना चाहिए। विशेष रूप से, यह संकेत देगा कि BPP (रैंडम चांस के साथ तेजी से हल होने वाली समस्याएं) नामक समस्याओं का वर्ग NEXP (एक्सपोनेंशियल टाइम और नॉन-डिटरमिनिज्म के साथ हल होने वाली समस्याएं) के बराबर नहीं है। यह एक ऐसा प्रश्न है जो चालीस वर्षों से अधिक समय से खुला पड़ा है।

सरल शब्दों में, पेपर का तर्क है कि सुरक्षित क्वांटम क्रिप्टोग्राफी को सिद्ध करना केवल बेहतर क्वांटम डिवाइस बनाने का मामला नहीं है। यह क्लासिकल कंप्यूटिंग की सबसे गहरी सैद्धांतिक सीमाओं से अटूट रूप से जुड़ा हुआ है। यदि हम बिना शर्त यह सिद्ध कर सके कि क्वांटम कमिटमेंट्स सुरक्षित हैं, तो हम साथ ही साथ क्लासिकल कंप्यूटिंग के दो विशाल, दशकों पुराने रहस्यों में से एक का उत्तर देने के लिए मजबूर होंगे। या तो हमें यह स्वीकार करना होगा कि क्वांटम ऑपरेशन्स को सोचना जितना हमने सोचा था उससे मौलिक रूप से अधिक कठिन रूप से सिम्युलेट किया जा सकता है, या हमें यह सिद्ध करना होगा कि एक विशिष्ट, अविश्वसनीय रूप से शक्तिशाली प्रकार का क्लासिकल कंप्यूटेशन एक मानक रैंडमाइज्ड कंप्यूटेशन की तुलना में स्पष्ट रूप से अधिक सक्षम है।

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

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

तकनीकी सारांश: बहुपद स्थान में यूनिटरी जटिलता (Unitary Complexity in Polynomial Space)

समस्या विवरण
यह शोध पत्र क्वांटम क्रिप्टोग्राफिक प्रिमिटिव्स (primitives), विशेष रूप से क्वांटम कमिटमेंट स्कीम्स (quantum commitment schemes), की मूलभूत जटिलता और शास्त्रीय जटिलता सिद्धांत (classical complexity theory) के साथ उनके संबंध को संबोधित करता है। जबकि शास्त्रीय क्रिप्टोग्राफी $P \neq NP$ की हार्डनेस धारणा पर निर्भर करती है, हालिया ऑरेकल सेपरेशन (oracle separations) यह सुझाव देते हैं कि क्वांटम क्रिप्टोग्राफी अस्तित्व में हो सकती है भले ही $P = NP$ हो। इसने "माइक्रोक्रिप्ट" (Microcrypt) प्रतिमान को जन्म दिया है, जहाँ क्वांटम कमिटमेंट्स को क्वांटम क्रिप्टोग्राफी के लिए न्यूनतम प्रिमिटिव के रूप में देखा जाता है। हालांकि, इन कमिटमेंट्स के पीछे निहित जटिलता-सैद्धांतिक कठोरता (complexity-theoretic hardness) अभी भी अस्पष्ट है।

एक केंद्रीय अनसुलझा मुद्दा यूनिटरी सिंथेसिस समस्या (unitary synthesis problem) है (अहारोनोव और नील, 2007 द्वारा प्रस्तावित): क्या कोई बहुपद-समय वाला क्वांटम एल्गोरिदम मौजूद है जो किसी भी $n$ -क्यूबिट यूनिटरी ट्रांसफॉर्मेशन $U$ को एक शास्त्रीय ऑरेकल तक पहुँच के साथ लागू कर सकता है? एक सकारात्मक समाधान यह संकेत देगा कि यूनिटरी कार्यान्वयन के लिए सुपरपोलिनोमियल लोअर बाउंड्स (superpolynomial lower bounds), शास्त्रीय फलनों (classical functions) के लिए सुपरपोलिनोमियल कठोरता प्रदान करते हैं। इसके विपरीत, एक नकारात्मक समाधान सीधे तौर पर विशिष्ट क्रिप्टोग्राफिक स्कीम्स की कठोरता के बारे में जानकारी नहीं दे पाएगा।

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

कार्यप्रणाली और परिभाषाएँ
शोध पत्र पहले मौजूदा यूनिटरी जटिलता वर्गों (विशेष रूप से बोस्तान्सी इ.ए. [BEMPQY26] और झांड्री [Zha25] द्वारा) की महत्वपूर्ण वैचारिक खामियों की पहचान करता है। मुख्य मुद्दे निम्नलिखित हैं:

त्रुटि स्केलिंग (Error Scaling): पूर्व परिभाषाएँ अक्सर त्रुटि के लिए $1/\epsilon$ (त्रुटि का व्युत्क्रम बहुपद) के साथ स्केल करती हैं, जो संरचना (composition) के तहत पैथोलॉजिकल व्यवहार (जैसे, सेल्फ-लोनेस विफल होना) की ओर ले जाता है और फेज एनकोडिंग (phase encoding) के माध्यम से कठिन समस्याओं को निम्न-जटिलता वर्गों में "स्मगल" करने की अनुमति देता है।
गारबेज हैंडलिंग (Garbage Handling): परिभाषाएँ इस बात पर भिन्न होती हैं कि कार्यान्वयन को अनिसिल क्यूबिट्स (ancilla qubits) को शून्य अवस्था में वापस करना चाहिए (गारबेज-फ्री) या मनमाने गारबेज स्टेट्स की अनुमति देनी चाहिए।

इनसे निपटने के लिए, लेखक प्रथम सिद्धांतों के आधार पर unitaryP और unitaryPSPACE के लिए नई, कठोर परिभाषाएँ प्रस्तावित करते हैं:

त्रुटि स्केलिंग: जटिलता को $1/\epsilon$ के बजाय $\log(1/\epsilon)$ के साथ बहुपद रूप से स्केल होना चाहिए। यह संरचना के तहत मजबूती सुनिश्चित करता है और सोलोवे-किटा (Solovay-Kitaev) प्रमेय के साथ संरेखण सुनिश्चित करता है।
गारबेज-फ्री बनाम प्रोजेक्टिव (Garbage-Free vs. Projective): लेखक दो वर्ग परिभाषित करते हैं:
- unitaryP/unitaryPSPACE: कार्यान्वयन "क्लीन" (अनिसिला को $|0\rangle$ पर रीसेट करना) होना चाहिए, जो ग्लोबल फेज को सुरक्षित रखता है।
- projUnitaryP/projUnitaryPSPACE: कार्यान्वयन गारबेज (अनिसिला को $|g\rangle$ अवस्था में) उत्पन्न कर सकता है, जो प्रभावी रूप से ग्लोबल फेज को अनदेखा करता है (प्रोजेक्टिव यूनिटरी ग्रुप)।
ऑरेकल एक्सेस: ऑरेकल एक यूनिटरी $U$ और उसके होमोमोर्फिज्म ( $U^\dagger, U^*, U^T$ , और कंट्रोल्ड वर्जन) तक पहुँच प्रदान करते हैं, जो कंपोजेबिलिटी (composability) सुनिश्चित करते हैं।

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

परिभाषाओं की समानता (समय और स्थान):
- लेखक सिद्ध करते हैं कि "क्लीन" और "गारबेज" परिभाषाएँ गहराई से संबंधित हैं। विशेष रूप से, $U \in \text{projUnitaryP}$ यदि और केवल यदि $U \otimes U^\dagger \in \text{unitaryP}$ ।
- महत्वपूर्ण रूप से, बहुपद स्थान के लिए, वे एक मजबूत परिणाम सिद्ध करते हैं: UnitaryPSPACE सामान्य रूप से गारबेज को मिटा सकता है। वे दिखाते हैं कि प्रत्येक $U \in \text{projUnitaryPSPACE}$ के लिए, एक $V \in \text{unitaryPSPACE}$ मौजूद है जिससे $U = \phi V$ (जहाँ $\phi$ एक ग्लोबल फेज है)। यह मैट्रिक्स एंट्रीज की गणनात्मकता (computability of matrix entries) के माध्यम से चरित्र चित्रण द्वारा प्राप्त किया गया है: एक यूनिटरी $\text{unitaryPSPACE}$ में है यदि और केवल यदि इसकी प्रविष्टियों (entries) को किसी भी परिशुद्धता तक बहुपद स्थान में अनुमानित किया जा सकता है।
- विपरीत: गारबेज-इरेज़र (garbage-erasure) संपत्ति यूनिटरी ऑरेल्स के सापेक्ष विफल हो जाती है, जहाँ टोपोलॉजिकल बाधाएं ग्लोबल फेज के निरंतर असाइनमेंट को रोकती हैं।
मुख्य द्वैत (Dichotomy) (लेम्मा 1.2 / लेम्मा 7.4):
यह शोध पत्र किसी भी यूनिटरी $U \in \text{unitaryPSPACE}$ के लिए एक मौलिक द्वैत स्थापित करता है:
- या तो $U$ यूनिटरी सिंथेसिस-हार्ड है (अर्थात, $U \notin \text{unitaryP}^{\text{ALL}}$ , जिसका अर्थ है कि इसे किसी भी शास्त्रीय ऑरेकल के सापेक्ष कुशलतापूर्वक सिंथेसाइज नहीं किया जा सकता है),
- या $U$ कुशलतापूर्वक NEXP सर्च समस्याओं में रिड्यूस होता है (अर्थात, $U \in \text{unitaryP}^{\text{FNEXP}}$ , जहाँ FNEXP का अर्थ है NEXP समस्याओं के साक्ष्यों (witnesses) तक पहुँच)।
क्रिप्टोग्राफी और जटिलता के लिए निहितार्थ:
- प्रमेय 1.1: यदि क्वांटम कमिटमेंट्स (EFI पेयर्स के समकक्ष) मौजूद हैं, तो या तो यूनिटरी सिंथेसिस समस्या का कोई बहुपद-समय समाधान नहीं है, या $\text{BPP} \neq \text{NEXP}$ ।
- यह इंगsित करता है कि क्वांटम कमिटमेंट्स के अस्तित्व का अनकंडीशनल (unconditional) प्रमाण प्राप्त करने के लिए कम से कम दो लंबे समय से खुले जटिलता-सैद्धांतिक प्रश्नों को हल करने की आवश्यकता होगी: यूनिटरी सिंथेसिस समस्या (20+ वर्षों से खुला) या BPP और NEXP का सेपरेशन (40+ वर्षों से खुला)।
- अनुवर्ती (Corollary) 7.10: यदि एक शास्त्रीय ऑरेकल $L$ मौजूद है जिसके सापेक्ष $\text{unitaryP}^L_{\text{PSPACE}} \neq \text{unitaryPSPACE}^L$ है, तो या तो यूनिटरी सिंथेसिस समस्या गलत है ( $\text{unitaryP}^{\text{ALL}} \neq \text{unitaryALL}$ ) या $\text{NC} \neq \text{NP}$ । यह समझाता है कि ऐसा ऑरेकल बनाना कठिन क्यों रहा है।

महत्व
शोध पत्र का दावा है कि उनकी परिभाषाएँ यूनिटरी जटिलता सिद्धांत के लिए एक "मजबूत" और "सुंदर" आधार प्रदान करती हैं, जो त्रुटि स्केलिंग और गारबेज के संबंध में पिछले विसंगतियों को हल करती हैं। $\text{unitaryPSPACE}$ के एंट्रीवाइज (entrywise) लक्षण वर्णन को स्थापित करके, लेखक प्रदर्शित करते हैं कि स्पेस-बाउंडेड यूनिटरी कंप्यूटेशन शास्त्रीय जटिलता वर्गों से मजबूती से जुड़ा हुआ है।

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

शोध पत्र यह नोट करते हुए समाप्त होता है कि जबकि बहुपद स्थान में गारबेज मिटाना संभव है, यह प्रश्न कि क्या यह बहुपद समय में संभव है (अर्थात, क्या $\text{unitaryP} = \text{projUnitaryP}$ है?) खुला है, हालांकि वे यूनिटरी ऑरेल्स के सापेक्ष एक नकारात्मक उत्तर प्रदान करते हैं।

इसी तरह के और पेपर