⚛️ quantum physics

On estimating Schatten norm and power distances between quantum states

यह शोध पत्र $\alpha > 1$ के लिए एक कुशल बहुपद-समय क्वांटम एस्टिमेटर प्रस्तुत करके और यह सिद्ध करके कि मानक जटिलता धारणाओं के तहत $1 \leq \alpha \leq 1 + \text{negl}(n)$ और $0 < \alpha < 1$ के लिए यह समस्या QSZK-पूर्ण और दुर्बोध हो जाती है, क्वांटम अवस्थाओं के बीच शैटन $\alpha$ -नॉर्म दूरियों का अनुमान लगाने की कम्प्यूटेशनल जटिलता को स्थापित करता है, जो पूर्ववर्ती कार्यों की तुलना में एक घातीय गति (exponential speedup) प्राप्त करता है।

मूल लेखक: Yupan Liu, Qisheng Wang

प्रकाशित 2026-06-24

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

CC BY 4.0

मूल लेखक: Yupan Liu, Qisheng Wang

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

कल्पना कीजिए कि आपके पास दो रहस्यमय बक्से हैं, बॉक्स A और बॉक्स B। प्रत्येक बॉक्स के अंदर एक जटिल, अदृश्य क्वांटम अवस्था (एक अद्वितीय, चमकते हुए संभाव्यता के बादल की तरह सोचें) है। आपका लक्ष्य यह पता लगाना है: ये दोनों बादल एक-दूसरे से कितने अलग हैं?

क्वांटम दुनिया में, हमारे पास "अंतर" को मापने के कई तरीके हैं। सबसे प्रसिद्ध एक है ट्रेस डिस्टेंस (Trace Distance)। इसे ऐसे समझें जैसे आप मानचित्र पर दो शहरों के बीच की दूरी को एक सीधी रेखा का उपयोग करके मापते हैं। यह यह बताने के लिए स्वर्ण मानक (gold standard) है कि दो क्वांटम अवस्थाएँ कितनी अलग हैं।

हालाँकि, कभी-कभी केवल सीधी रेखा पर्याप्त नहीं होती। शायद आप "वक्राकार" (curved) दूरी, या किसी विशिष्ट प्रकार के इलाके के माध्यम से दूरी मापना चाहते हैं। यहीं पर शैटन नॉर्म्स (Schatten Norms) काम आते हैं। ये अलग-अलग प्रकार के रूलर या मानचित्रों की तरह हैं। कुछ रूलर (जिन्हें $\alpha$ कहा जाता है) सीधे और तीखे होते हैं, जबकि अन्य गोल या नरम होते हैं।

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

खेल के दो मुख्य नियम

लेखकों ने एक दिलचस्प विभाजन की खोज की है कि यह माप कितना कठिन है, यह इस बात पर निर्भर करता है कि आप कौन सा रूलर चुनते हैं:

1. "आसान" ज़ोन: वे रूलर जहाँ $\alpha > 1$ है

कल्पना कीजिए कि आपके पास एक ऐसा रूलर है जो थोड़ा वक्राकार या खिंचा हुआ है (जहाँ $\alpha$ 1 से बड़ी संख्या है, जैसे 1.5 या 2)।

पुराना तरीका: पिछले वैज्ञानिकों ने इस अंतर को मापने के लिए पहले बादलों के हर एक सूक्ष्म विवरण (उनकी "रैंक") को सूचीबद्ध करने की कोशिश की। यदि बादल विशाल और जटिल थे, तो इसमें बहुत समय लगता था—जैसे दो ढेरों के बीच की दूरी मापने के लिए समुद्र तट पर रेत के हर एक कण को गिनने की कोशिश करना। इसे पूरा करने में लगने वाला समय बादलों के आकार के साथ तेजी से (exponentially) बढ़ता जाता था।
नया तरीका (यह शोध पत्र): लेखकों ने एक नया स्कैनर बनाया जिसे बादलों की जटिलता से कोई फर्क नहीं पड़ता। यह "रेत के कणों" को अनदेखा करता है और सीधे बड़े चित्र (big picture) को देखता है।
- परिणाम: उन्होंने एक ऐसा एल्गोरिदम बनाया जो रैंक-स्वतंत्र (rank-independent) है। चाहे बादल सरल हों या अविश्वसनीय रूप से जटिल, स्कैनर लगभग समान समय लेता है।
- उपमा: यह एक दीवार में हर एक ईंट को गिनने के बजाय लेजर से दीवार की छाया को मापने जैसा है। यह घातीय रूप से (exponentially) तेज़ है।

2. "कठिन" ज़ोन: वे रूलर जहाँ $\alpha < 1$ है

अब, कल्पना कीजिए कि आपके पास एक ऐसा रूलर है जो बहुत ही लचीला या संकुचित (compressed) है (जहाँ $\alpha$ 0 और 1 के बीच की संख्या है)।

समस्या: इस ज़ोन में, "सीधी रेखा" वाली दूरी अब ठीक से काम नहीं करती। गणित जटिल हो जाता है, और दूरी का माप एक सामान्य रूलर की तरह व्यवहार करना बंद कर देता है (यह त्रिकोण असमानता/triangle inequality को तोड़ देता है, जिसका अर्थ है कि दो बिंदुओं के बीच का सबसे छोटा रास्ता सीधा नहीं रह जाता)।
समाधान: लेखक इस दूरी के एक "पावर्ड" (powered) संस्करण (परिणाम का वर्ग या घन करना) का उपयोग करने का सुझाव देते हैं ताकि यह फिर से एक उचित रूलर की तरह व्यवहार कर सके।
चुनौती: इन लचीले रूलर्स के लिए, आप जटिलता से बच नहीं सकते। स्कैनर को अभी भी यह जानने की आवश्यकता होती है कि बादल कितने जटिल (rank) हैं। इसमें लगने वाला समय जटिलता के साथ बढ़ता है, हालांकि लेखकों ने इसे पहले की तुलना में बहुत अधिक कुशल बनाया है।

"डाइकोटॉमी" (बड़ा विभाजन)

यह शोध पत्र क्वांटम दुनिया में एक तीव्र "फेज़ ट्रांजिशन" (phase transition) को प्रकट करता है, जो बिल्कुल वैसा ही है जैसे पानी 0°C पर तुरंत बर्फ बन जाता है।

यदि आप एक ऐसा रूलर उपयोग करते हैं जहाँ $\alpha = 1$ है (ट्रेस डिस्टेंस): तो यह समस्या "QSZK-complete" है। यह एक फैंसी तरीका है यह कहने का कि यह एक बहुत कठिन कार्य है जिसे एक क्वांटम कंप्यूटर कुशलतापूर्वक हल नहीं कर सकता। यह एक जटिल पहेली को सुलझाने जैसा है जहाँ आपको यह साबित करना होता है कि आप उत्तर जानते हैं, बिना अपना काम दिखाए। यह क्रिप्टोग्राफिक-स्तर की कठिनाई है।
यदि आप एक ऐसा रूलर उपयोग करते हैं जहाँ $\alpha > 1$ है (थोड़ा सा भी बड़ा, जैसे 1.001): तो समस्या अचानक आसान (BQP-complete) हो जाती है। एक क्वांटम कंप्यूटर इसे कुशलतापूर्वक हल कर सकता है।
आश्चर्य: लेखक दिखाते हैं कि इस स्पीडअप के लिए आपको 2 या 3 जैसी बड़ी संख्या की आवश्यकता नहीं है। 1 से एक छोटा सा कदम ऊपर (जैसे 1.001) भी समस्या को "तेजी से हल करने में असंभव" से बदलकर "तेजी से हल करने में आसान" बना देता है।

उन्होंने यह कैसे किया? (गुप्त नुस्खा)

अपने सुपर-फास्ट स्कैनर को बनाने के लिए, लेखकों ने क्वांटम सिंगुलर वैल्यू ट्रांसफॉर्मेशन (QSVT) नामक एक गणितीय ट्रिक का उपयोग किया।

QSVT को एक जादुई लेंस के रूप में सोचें जो क्वांटम बादलों से आने वाले प्रकाश को नया आकार दे सकता है।

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

निष्कर्षों का सारांश

$\alpha > 1$ के लिए: हम अब पहले की तुलना में घातीय रूप से तेज़ (exponentially faster) क्वांटम अवस्थाओं के बीच की दूरी का अनुमान लगा सकते हैं। हमें अवस्थाओं की जटिलता जानने की आवश्यकता नहीं है। यह समस्या क्वांटम कंप्यूटरों के लिए आसान बनाता है।
$0 < \alpha < 1$ के लिए: हम दूरी का अनुमान लगा सकते हैं, लेकिन हमें अभी भी अवस्थाओं की जटिलता (rank) जानने की आवश्यकता है। हालाँकि, लेखकों ने इस प्रक्रिया को पहले के प्रयासों की तुलना में बहुत अधिक कुशल बनाया है।
सीमा (Boundary): $\alpha = 1$ (ट्रेस डिस्टेंस) पर एक स्पष्ट रेखा है। जैसे ही आप 1 से थोड़ा भी ऊपर जाते हैं, समस्या आसान हो जाती है।

इसका क्या अर्थ है (शोध पत्र के अनुसार)

यह शोध पत्र पूरी तरह से कंप्यूटेशनल कॉम्प्लेक्सिटी (गणना करना कितना कठिन है) और एल्गोरिदम (गणना करने के चरण) पर केंद्रित है।

यह सिद्ध करता है कि क्वांटम दूरी मापन के कुछ प्रकारों के लिए, क्वांटम कंप्यूटरों के पास पुराने तरीकों की तुलना में भारी लाभ है।
यह नए स्कैनर के लिए विशिष्ट "ब्लूप्रिंट" (एल्गोरिदम) प्रदान करता है।
यह सैद्धांतिक सीमाओं को स्थापित करता है: कुछ समस्याएं स्वाभाविक रूप से कठिन हैं (जिनके लिए रैंक के ज्ञान की आवश्यकता होती है), जबकि अन्य स्वाभाविक रूप से आसान हैं (रैंक से स्वतंत्र)।

लेखक यह दावा नहीं करते हैं कि इससे तुरंत चिकित्सा उपकरण ठीक हो जाएंगे या नए क्वांटम कंप्यूटर बन जाएंगे। इसके बजाय, उन्होंने क्वांटम कंप्यूटिंग के सिद्धांत में एक मौलिक पहेली को हल किया है: हम अलग-अलग गणितीय लेंसों का उपयोग करके क्वांटम अवस्थाओं के बीच के अंतर को कुशलतापूर्वक कैसे माप सकते हैं? उन्होंने पाया कि अधिकांश लेंसों के लिए, उत्तर "बहुत कुशलता से" है, बशर्ते आप उनके नए तरीके का उपयोग करें।

तकनीकी सारांश: क्वांटम अवस्थाओं के बीच शैटन नॉर्म (Schatten Norm) और पावर डिस्टेंस (Power Distances) का अनुमान लगाना

समस्या विवरण

यह शोध पत्र दो $n$ -qubit क्वांटम अवस्थाओं, $\rho_0$ और $\rho_1$ (जो उनके स्टेट-प्रिपरेशन सर्किट द्वारा दी गई हैं), के बीच की दूरी का अनुमान लगाने की कम्प्यूटेशनल जटिलता की जांच करता है। मुख्य ध्यान क्वांटम शैटन $\alpha$ -नॉर्म दूरी पर है, जिसे $T_\alpha(\rho_0, \rho_1) := \frac{1}{2}\|\rho_0 - \rho_1\|_\alpha = \frac{1}{2}\text{tr}(|\rho_0 - \rho_1|^\alpha)^{1/\alpha}$ के रूप में परिभाषित किया गया है, और इसके पावर्ड संस्करण, क्वांटम शैटन $\alpha$ -पावर डिस्टेंस पर, $\Lambda_\alpha(\rho_0, \rho_1) := \frac{1}{2}\text{tr}(|\rho_0 - \rho_1|^\alpha)$ पर है।

मुख्य प्रश्न क्वांटम शैटन $\alpha$ -नॉर्म के साथ क्वांटम स्टेट डिस्टिंग्विशेबिलिटी प्रॉब्लम (QSD $_\alpha$ ) की कम्प्यूटेशनल जटिलता है: यह तय करना कि क्या $T_\alpha(\rho_0, \rho_1) \geq 2/5$ है या $T_\alpha(\rho_0, \rho_1) \leq 1/5$ है। लेखक ट्रेस डिस्टेंस ( $\alpha=1$ ) — जो कि QSZK-पूर्ण (QSZK-complete) है — और $\ell_2$ -जैसे मापों (जैसे हिलबर्ट-श्मिड्ट डिस्टेंस, $\alpha=2$ ) — जो कि BQP में हैं — के बीच एक जटिलता द्वैत (complexity dichotomy) को हल करने का प्रयास कर रहे हैं। वे यह पूछते हैं कि क्या यह द्वैत सभी स्थिरांक $\alpha > 1$ के लिए लागू होता है या क्या यह इस बात पर निर्भर करता है कि $\alpha$ एक सम (even) या विषम (odd) पूर्णांक है।

इसके अतिरिक्त, यह शोध पत्र $0 < \alpha < 1$ के क्षेत्र का भी अध्ययन करता है। इस रेंज में, $T_\alpha$ अब एक मीट्रिक नहीं रह जाता (त्रिभुज असमानता/triangle inequality विफल हो जाती है), जबकि $\Lambda_\alpha$ एक वैध डिस्टेंस मीट्रिक (एक क्वासी-नॉर्म पावर) बना रहता है। लेखक इस क्षेत्र में $\Lambda_\alpha$ के लिए कुशल एस्टिमेटर्स (estimators) की खोज करते हैं।

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

1. कुशल क्वांटम एस्टिमेटर्स (Efficient Quantum Estimators)

लेखक क्वांटम सिंगुलर वैल्यू ट्रांसफॉर्मेशन (QSVT) और लीनियर कॉम्बिनेशन ऑफ यूनिटरीज (LCU) पर आधारित क्वांटम एल्गोरिदम विकसित करते हैं।

$\alpha > 1$ के लिए (रैंक-स्वतंत्र/Rank-Independent):
मूल चुनौती फलन $f(x) = \text{sgn}(x)|x|^{\alpha-1}$ का कुशलतापूर्वक सन्निकटन (approximation) करने की है। लेखक साइन्ड पॉजिटिव पावर्स (signed positive powers) के लिए सर्वश्रेष्ठ यूनिफॉर्म पॉलीनोमियल एप्रोक्सिमेशन (बर्नस्टीन के कार्य और Tsallis एंट्रॉपी पर हालिया परिणामों से प्रेरित) का उपयोग करते हैं।
- वे एक पॉलीनोमियल $P(x)$ का निर्माण करते हैं जो $[-1, 1]$ पर यूनिफॉर्म एरर $\epsilon$ के साथ $\frac{1}{2}\text{sgn}(x)|x|^{\alpha-1}$ का सन्निकटन करता है।
- QSVT का उपयोग करके, वे $\text{sgn}(\nu)|\nu|^{\alpha-1}$ का एक ब्लॉक-एनकोडिंग लागू करते हैं जहाँ $\nu = \rho_0 - \rho_1$ है।
- दूरी का अनुमान हैडेमार्ड टेस्ट (Hadamard tests) के माध्यम से $\text{tr}(\rho_0 \cdot \text{sgn}(\nu)|\nu|^{\alpha-1}) - \text{tr}(\rho_1 \cdot \text{sgn}(\nu)|\nu|^{\alpha-1})$ की गणना करके लगाया जाता है।
- मुख्य नवाचार: पूर्ववर्ती दृष्टिकोणों (जैसे [WGL+24]) के विपरीत, जो प्रोजेक्टर के रैंक-डिपेंडेंट ब्लॉक-एनकोडिंग पर निर्भर थे, यह विधि उन पॉलीनोमियल एप्रोक्सिमेशन का उपयोग करती है जो रैंक पर निर्भर नहीं हैं, जिससे रैंक-स्वतंत्र क्वेरी और सैंपल कॉम्प्लेक्सिटी प्राप्त होती है।
$0 < \alpha < 1$ के लिए (रैंक-कुशल/Rank-Efficient):
इस रेंज में, फलन $x^{\alpha-1}$ में $x=0$ पर एक सिंगुलैरिटी (singularity) होती है। लेखक स्केल्ड साइन्ड पावर्स के लिए पॉलीनोमियल एप्रोक्सिमेशन का उपयोग करते हैं जो शून्य से दूर (एक कटऑफ $\delta$ का उपयोग करके) मान्य होते हैं।
- एल्गोरिदम $\text{sgn}(\nu)|\nu|^{\alpha-1}$ को एक ऐसे पॉलीनोमियल के साथ सन्निकटित करके $\Lambda_\alpha$ का अनुमान लगाता है जो बाउंडेड (bounded) है लेकिन शून्य के पास एरर उत्पन्न करता है।
- यह दृष्टिकोण एक रैंक-डिपेंडेंट कॉम्प्लेक्सिटी की ओर ले जाता है, विशेष रूप से रैंक $r$ के बहुपद (polynomial) के रूप में, लेकिन पिछले बॉउंड्स में सुधार करता है।

2. हार्डनेस और लोअर बॉउंड्स (Hardness and Lower Bounds)

कम्प्यूटेशनल हार्डनेस स्थापित करने के लिए, लेखक $T(\rho_0, \rho_1)$ को $T_\alpha$ और $\Lambda_\alpha$ से जोड़ने वाले नए रैंक-डिपेंडेंट इनइक्वेलिटीज (inequalities) व्युत्पन्न करते हैं।

इनइक्वेलिटीज: वे सिद्ध करते हैं कि प्योर स्टेट्स के लिए, $T_\alpha$ और $T$ एक स्थिरांक कारक द्वारा संबंधित हैं, लेकिन मिक्स्ड स्टेट्स के लिए, संबंध अवस्थाओं के रैंक पर निर्भर करता है। विशेष रूप से, $T(\rho_0, \rho_1) \leq 2(\text{rank}(\rho_0)^{1-\alpha} + \text{rank}(\rho_1)^{1-\alpha})^{-1/\alpha} T_\alpha(\rho_0, \rho_1)$ ।
रिडक्शन (Reductions):
- BQP-हार्डनेस: प्योर स्टेट्स तक सीमित करके, लेखक दिखाते हैं कि $T_\alpha$ (के लिए $\alpha \geq 1$ ) या $\Lambda_\alpha$ (के लिए $0 < \alpha < 1$ ) के माध्यम से अवस्थाओं को अलग करना (distinguishing) मानक BQP-कंप्लीट समस्या (PureQSD) जितना कठिन है।
- QSZK-हार्डनेस: $\alpha$ के $1 $के अत्यंत निकट होने पर (विशेष रूप से$ 1 \leq \alpha(n) \leq 1 + \text{negl}(n) $), वे$ T_\alpha$ के लिए एक पार्शियल पोलराइजेशन लेम्मा (partial polarization lemma) का उपयोग करते हैं। यह लेम्मा उन्हें $T_\alpha$ में गैप को एम्प्लीफाई करने की अनुमति देता है, ठीक वैसे ही जैसे ट्रेस डिस्टेंस के लिए पोलराइजेशन काम करता है, जिससे सिद्ध होता है कि इस क्षेत्र में QSD $_\alpha$ एक QSZK-पूर्ण समस्या है।
- स्थिर $0 < \alpha < 1$ के लिए, वे ट्रेस डिस्टेंस पर पोलराइजेशन लागू करके और $T^\alpha$ और रैंक के संदर्भ में $\Lambda_\alpha$ के ऊपरी स्तर (upper bound) का उपयोग करके यह दिखाते हैं कि PoweredQSD $_\alpha$ एक QSZK-हार्ड समस्या है।

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

1. कुशल क्वांटम एल्गोरिदम

स्थिर $\alpha > 1$ के लिए: लेखक $O(1)$ क्वेरीज़ (रैंक-स्वतंत्र) का उपयोग करके $\epsilon$ $ϵ$ एडिटिव एरर के साथ $T_\alpha(\rho_0, \rho_1)$ $T_{α} (ρ_{0}, ρ_{1})$ का अनुमान लगाने के लिए एक कुशल क्वांटम एल्गोरिदम प्रस्तुत करते हैं। इसका टाइम कॉम्प्लेक्सिटी $\text{poly}(n)$ $poly (n)$ है यदि स्टेट-प्रिपरेशन सर्किट का आकार पॉलीनोमियल है।
- यह पिछले सर्वश्रेष्ठ परिणाम [WGL+24] की तुलना में एक एक्सपोनेंशियल स्पीडअप (exponential speedup) है, जिसकी क्वेरी कॉम्प्लेक्सिटी रैंक $r$ पर निर्भर थी $\tilde{O}(r^{3+1/\{\alpha/2\}}/\epsilon^{4\alpha+\dots})$ ।
- सैंपल कॉम्प्लेक्सिटी को भी $\tilde{O}(1/\epsilon^{3\alpha+2+\dots})$ तक सुधारा गया है (रैंक-स्वतंत्र)।
स्थिर $0 < \alpha < 1$ के लिए: एक कुशल एल्गोरिदम $\Lambda_\alpha(\rho_0, \rho_1)$ का अनुमान $\tilde{O}(r^{2/(\alpha-1)}/\epsilon^{2/\alpha})$ क्वेरी कॉम्प्लेक्सिटी के साथ लगाता है। यह पिछले सर्वश्रेष्ठ बॉउंड $\tilde{O}(r^{5/\alpha}/\epsilon^{5/\alpha+1})$ में सुधार करता है लेकिन अभी भी रैंक $r$ पर निर्भर है।

2. कम्प्यूटेशनल कॉम्प्लेक्सिटी द्वैत (Computational Complexity Dichotomy)

यह शोध पत्र QSD $_\alpha$ की जटिलता में एक स्पष्ट चरण संक्रमण (phase transition) स्थापित करता है:

मामला $\alpha > 1$ (फिक्स्ड कॉन्स्टेंट): QSD $_\alpha$ एक BQP-कंप्लीट समस्या है। यह समस्या क्वांटम कंप्यूटर पर कुशलतापूर्वक हल की जा सकती है, और एस्टिमेटर रैंक-स्वतंत्र है।
मामला $1 \leq \alpha(n) \leq 1 + \text{negl}(n)$ : QSD $_\alpha$ एक QSZK-पूर्ण समस्या है। जब तक BQP = QSZK न हो, तब तक कोई कुशल क्वांटम एस्टिमेटर मौजूद नहीं है।
मामला $0 < \alpha < 1$ (फिक्स्ड कॉन्स्टेंट): PoweredQSD $_\alpha$ एक QSZK-हार्ड समस्या है।

3. नए इनइक्वेलिटीज (New Inequalities)

लेखक ट्रेस डिस्टेंस को शैटन नॉर्म्स और पावर डिस्टेंस से जोड़ने वाले नए रैंक-डिपेंडेंट इनइक्वेलिटीज प्रदान करते हैं। ये इनइक्वेलिटीज स्वतंत्र रूप से भी महत्वपूर्ण हैं और हार्डनेस रिडक्शन के लिए महत्वपूर्ण हैं, विशेष रूप से यह दिखाने के लिए कि कैसे "आसान" क्षेत्र (प्योर स्टेट्स) उच्च रैंक वाले "कठिन" क्षेत्र (मिक्स्ड स्टेट्स) में परिवर्तित होता है जब $\alpha, 1$ के करीब पहुँचता है।

महत्व

यह शोध पत्र परिचय में दिए गए समस्या 1 को हल करता है, जो सामान्य शैटन $\alpha$ -नॉर्म के संबंध में क्लोजनेस टेस्टिंग की कम्प्यूटेशनल जटिलता के बारे में था।

यह प्रदर्शित करता है कि $\ell_1$ -जैसे मापों (QSZK-हार्डनेस के लिए) और $\ell_2$ -जैसे मापों (BQP-कंटेनमेंट के लिए) के बीच का द्वैत केवल सम और विषम पूर्णांकों के बीच का अंतर नहीं है, बल्कि $\alpha=1$ और किसी भी स्थिरांक $\alpha > 1$ के बीच एक तीव्र संक्रमण (sharp transition) है।
$\alpha > 1$ के लिए रैंक-स्वतंत्र एस्टिमेटर्स का विकास एक महत्वपूर्ण तकनीकी प्रगति है, जिसने उस प्रमुख बाधा को हटा दिया है जिसके लिए पहले अवस्था के रैंक के ज्ञान या उस पर निर्भरता की आवश्यकता होती थी।
ये परिणाम क्वांटम स्टेट डिस्टिंग्विशेबिलिटी के परिदृश्य को स्पष्ट करते हैं, यह दिखाते हुए कि जबकि $\alpha > 1$ के लिए $T_\alpha$ , ट्रेस डिस्टेंस के लिए एक प्राकृतिक निचला स्तर (lower bound) प्रदान करता है, यह $T_\alpha$ के विपरीत (स्वयं ट्रेस डिस्टेंस के समान नहीं) किसी भी निश्चित $\alpha > 1$ के लिए कुशलतापूर्वक गणनीय (computable) हो जाता है।

लेखक उल्लेख करते हैं कि $\alpha = \infty$ का मामला एक खुला प्रश्न बना हुआ है, जिसमें संबंधित प्रॉमिस प्रॉब्लम QSD $_\infty$ BQP-हार्ड है और QMA में निहित है, लेकिन इसकी BQP में समावेशन वर्तमान में अज्ञात है। इसके अतिरिक्त, वे यह प्रश्न भी खुला छोड़ देते हैं कि क्या टेबल 1 में मात्रात्मक बॉउंड्स (quantitative bounds) को और अधिक सुधारा जा सकता है।