🔢 mathematics

Approximating the quantum value of an LCS game is RE-hard

यह शोध पत्र हस्टैड के लॉन्ग-कोड टेस्ट को एंटैंगल्ड प्रोवर्स (entangled provers) के लिए सामान्यीकृत करता है और $\text{MIP}^* = \text{RE}$ स्थापित करने वाले हालिया परिणामों के साथ इसे जोड़कर, यह सिद्ध करता है कि एक विशिष्ट लीनियर कंस्ट्रेंट सैटिस्फैक्शन (LCS) गेम के क्वांटम मान का अनुमान लगाना RE-हार्ड है।

मूल लेखक: Aviv Taller, Thomas Vidick

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

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

CC BY 4.0

मूल लेखक: Aviv Taller, Thomas Vidick

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

मुख्य चित्र: परम "असंभव" पहेली

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

कंप्यूटर विज्ञान की दुनिया में, इसे नॉनलोकल गेम (Nonlocal Game) कहा जाता है।

क्लासिकल संदिग्ध (Classical Suspects): वे खेल शुरू होने से पहले लिखे गए एक गुप्त नोटबुक को साझा कर सकते हैं।
क्वांटम संदिग्ध (Quantum Suspects): वे एक "जादुई" एंटैंगल्ड स्टेट (जैसे पासे की एक जोड़ी जो हमेशा एक ही नंबर दिखाते हैं, चाहे वे कितनी भी दूर क्यों न हों) साझा कर सकते हैं। यह उन्हें अपने जवाबों को इस तरह से तालमेल बिठाने की अनुमति देता है जो क्लासिकल भौतिकी के लिए असंभव लगता है।

मुख्य खोज:
यह शोध पत्र सिद्ध करता है कि यदि आप यह पता लगाने की कोशिश करते हैं कि एक विशिष्ट प्रकार की पहेली (जिसे LCS गेम कहा जाता है) में क्वांटम संदिग्धों का सबसे अच्छा संभव स्कोर क्या हो सकता है, तो यह असंभव है कि कोई भी कंप्यूटर इसे पूरी तरह से हल कर सके।

वास्तव में, यह केवल "कठिन" (जैसे कि एक कठिन सुडोकू) नहीं है; यह RE-Hard है।

RE क्या है? "RE" (रिकर्सिवली एन्यूमेरेबल) को उन समस्याओं के वर्ग के रूप में सोचें जिनमें प्रसिद्ध "हाल्टिंग प्रॉब्लम" (Halting Problem) शामिल है। हाल्टिंग प्रॉब्लम पूछती है: "क्या यह कंप्यूटर प्रोग्राम हमेशा के लिए चलता रहेगा, या यह अंततः रुक जाएगा?" एलन ट्यूरिंग ने 1930 के दशक में सिद्ध किया था कि कोई भी कंप्यूटर हर संभव प्रोग्राम के लिए इस प्रश्न का उत्तर नहीं दे सकता।
परिणाम: लेखक दिखाते हैं कि इस गेम का क्वांटम स्कोर पता लगाना हाल्टिंग प्रॉब्लम को हल करने जितना ही असंभव है। यदि आप इस गेम को हल करने के लिए एक कंप्यूटर बना सकते, तो आप हाल्टिंग प्रॉब्लम को भी हल कर सकते थे, जिसका अर्थ है कि आप गणना के मौलिक नियमों को तोड़ सकते थे।

रूपक (Metaphor): "लॉन्ग-कोड" झूठ पकड़ने वाला यंत्र

इसे सिद्ध करने के लिए, लेखकों को क्लासिकल झूठ बोलने वालों को पकड़ने के लिए उपयोग किए जाने वाले एक पुराने उपकरण को क्वांटम झूठ बोलने वालों को पकड़ने के लिए अपग्रेड करना पड़ा।

1. पुराना उपकरण: हॉस्टैड का लॉन्ग-कोड टेस्ट (Håstad's Long-Code Test)

कल्पना कीजिए कि एक जासूस (वेरिफायर) एक झूठ बोलने वाले को पकड़ने की कोशिश कर रहा है। जासूस संदिग्ध से संख्याओं की एक लंबी सूची (एक "लॉन्ग कोड") सुनाने को कहता है।

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

2. अपग्रेड: क्वांटम झूठ पकड़ने वाला यंत्र (The Quantum Lie Detector)

लेखकों (एविव टैलर और थॉमस विडिक) ने हॉस्टैड के परीक्षण को लिया और उसे मजबूत किया। उन्होंने सिद्ध किया कि भले ही एलिस और बॉब क्वांटम एंटैंगलमेंट (उस "जादुई पासे") का उपयोग करें, फिर भी वे परीक्षण को प्रभावी ढंग से धोखा नहीं दे पाएंगे।

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

प्रमाण के तीन स्तंभ

"क्वांटम झूठ बोलने वालों" से "हल करने के लिए असंभव" तक पहुँचने के लिए, लेखकों ने एक पहेली के तीन विशाल हिस्सों को जोड़ा:

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

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

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

रूपक: यदि आप एक सिक्का उछालते हैं और हेड्स आता है, तो यह भाग्य है। यदि आपको लगातार 1,000 बार हेड्स मिलता है, तो आप निश्चित रूप से धोखाधड़ी कर रहे हैं। लेखकों ने "झूठ पकड़ने" की शक्ति को बढ़ाने के लिए इसका उपयोग किया।

सब कुछ एक साथ जोड़ना:

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

यह क्यों मायने रखता है?

आप पूछ सकते हैं, "एलिस और बॉब वाले गणित के पहेली से किसे फर्क पड़ता है?"

यह परिणाम दो बहुत अलग दुनियाओं को जोड़ता है:

कंप्यूटर विज्ञान (जटिलता सिद्धांत - Complexity Theory): यह हमें कंप्यूटरों की गणना करने की पूर्ण सीमाओं के बारे में बताता है।
क्वांटम भौतिकी और गणित (ग्रुप थ्योरी): यह "नॉन-हाइपरलिनियर ग्रुप्स" के बारे में एक गहरे रहस्य को छूता है।

"नॉन-हाइपरलिनियर ग्रुप" का रहस्य:
गणित में एक प्रसिद्ध खुला प्रश्न है: "क्या कुछ अजीब गणितीय संरचनाएं (ग्रुप्स) मौजूद हैं जिन्हें परिमित मैट्रिसेस (finite matrices) द्वारा अनुमानित नहीं किया जा सकता है?"

यदि उत्तर हाँ है, तो इसका अर्थ है कि कुछ क्वांटम रणनीतियाँ मौजूद हैं जो कंप्यूटर पर सिम्युलेट की जा सकने वाली किसी भी चीज़ से मौलिक रूप से भिन्न हैं।
लेखक दिखाते हैं कि यदि हम उनके LCS गेम को बिना किसी त्रुटि (जीरो एरर) के पूरी तरह से हल कर सकते, तो हम सिद्ध कर देते कि ये अजीब ग्रुप मौजूद हैं।
चूंकि हम गेम को हल नहीं कर सकते (यह RE-hard है), इसलिए हम इन विलक्षण गणितीय वस्तुओं के अस्तित्व को सिद्ध करने या खंडन करने में असमर्थ हैं।

एक वाक्य में सारांश

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

यहाँ अवीव टैलर और थॉमस विडिक के शोध पत्र "Approximating the Quantum Value of an LCS Game is RE-hard" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र लीनियर कंस्ट्रेंट सिस्टम (LCS) गेम्स के क्वांटम मान (quantum value) (एंटैंगल्ड प्रोवर्स का उपयोग करके अधिकतम जीतने की संभावना) को अनुमानित करने की कम्प्यूटेशनल जटिलता को संबोधित करता है।

संदर्भ: 2001 के एक महत्वपूर्ण परिणाम में, हास्टैड (Håstad) ने सिद्ध किया था कि LCS गेम्स के क्लासिकल मान को अनुमानित करना NP-hard है। यह $\mathbb{F}_2$ पर लीनियर इक्वेशंस (linear equations) पर आधारित "लॉन्ग-कोड टेस्ट" (long-code test) में 3SAT को कम (reduce) करके प्राप्त किया गया था।
क्वांटम चुनौती: हाल ही में $MIP^* = RE$ (एंटैंगल्ड प्रोवर्स के साथ मल्टी-प्रोवर इंटरैक्टिव प्रूफ द्वारा सुलभ भाषाओं का वर्ग रिकर्सिवली एन्यूमेरेबल (RE) भाषाओं के बराबर है) को स्थापित करने वाले ब्रेकथ्रू के साथ, यह ज्ञात हो गया कि सामान्य नॉनलोकल गेम्स के क्वांटम मान को अनुमानित करना RE-hard है। हालाँकि, यह एक खुला प्रश्न बना हुआ था कि क्या यह हार्डनेस विशेष रूप से दो प्रोवर्स वाले LCS गेम्स (जहाँ वर्िफायर लीनियर इक्वेशंस की जाँच करता है) के लिए भी लागू होती है।
लक्ष्य: लेखक यह सिद्ध करने का लक्ष्य रखते हैं कि एक LCS गेम के क्वांटम मान को अनुमानित करना RE-hard है, विशेष रूप से यह दिखाना कि कुछ स्थिरांकों (constants) के लिए वर्ग $LIN\text{-}MIP^*_{1-\varepsilon, s} = RE$ है।

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

लेखक हास्टैड के क्लासिकल लॉन्ग-कोड टेस्ट को क्वांटम सेटिंग में सामान्यीकृत करके 'हाल्टिंग प्रॉब्लम' (Halting Problem) से एक LCS गेम में रिडक्शन का निर्माण करते हैं। प्रमाण की रणनीति हास्टैड के प्रमाण के तीन क्लासिकल घटकों को क्वांटम क्षेत्र में अनुकूलित करने की है:

लॉन्ग-कोड टेस्ट (मुख्य योगदान):
- लेखक तीन बिट्स पर "डिस्टॉर्टेड लीनियर टेस्ट" (distorted linear test) पर निर्भर हास्टैड के लॉन्ग-कोड टेस्ट का सामान्यीकरण करते हैं।
- वे सिद्ध करते हैं कि यह टेस्ट पूर्ण (complete) है (यदि कोई समाधान मौजूद है, तो क्वांटम प्रोवर्स उच्च संभावना के साथ जीत सकते हैं) और सटीक (sound) है (यदि कोई समाधान मौजूद नहीं है, तो एंटैंगल्ड प्रोवर्स भी उच्च संभावना के साथ नहीं जीत सकते)।
- तकनीकी नवाचार: इस प्रमाण के लिए क्लासिकल रैंडमाइज्ड एल्गोरिदम के बजाय एंटैंगल्ड प्रोवर्स (क्वांटम रणनीतियों) को संभालने की आवश्यकता होती है। इसमें साझा एंटैंगल्ड स्टेट पर कार्य करने वाले बाइनरी ऑब्जर्वेबल्स (यूनिटरी इनवोल्यूशन) के व्यवहार का विश्लेषण शामिल है। एक प्रमुख तकनीकी बाधा यह है कि क्लासिकल प्रमाणों में उपयोग की जाने वाली मानक "फोल्डिंग" (folding) और "कंडीशनिंग" (conditioning) तकनीकों को क्वांटम ऑपरेटर्स की बीजगणितीय संरचना (विशेष रूप से, यह सुनिश्चित करना कि ऑब्जर्वेबल्स कम्यूट करते हैं या ट्रेस इनइक्वलिटीज़ के माध्यम से उनके नॉन-कम्यूटेटिविटी का विश्लेषण करना) को संरक्षित करने के लिए अनुकूलित किया जाना चाहिए।
PCP प्रमेय का प्रतिस्थापन:
- क्लासिकल PCP प्रमेय के स्थान पर, लेखक डोंग एट अल. [Da22] के परिणाम का उपयोग करते हैं जो कॉन्स्टेंट-लेंथ आन्सर्स के साथ $MIP^* = RE$ स्थापित करता है। यह एक शुरुआती बिंदु प्रदान करता है: हाल्टिंग प्रॉब्लम के लिए एक प्रोटोकॉल जहाँ वर्िफायर बहुपद-लंबाई (polynomial-length) के प्रश्न पूछता है और कॉन्स्टेंट-लंबाई के उत्तर प्राप्त करता है।
पैरेलल रिपिटिशन का प्रतिस्थापन:
- साउंडनेस गैप को बढ़ाने के लिए, लेखक डायनुर, स्टीलर और विडिक [DSV15] द्वारा एंटैंगल्ड प्रोजेक्शन गेम्स के लिए पैरेलल रिपिटिशन प्रमेय का उपयोग करते हैं।
- वे पहले एक सामान्य $MIP^*$ प्रोटोकॉल (जो प्रोजेक्शन गेम नहीं हो सकता है) को एक प्रोजेक्शन गेम (जहाँ बॉब का जीतने वाला उत्तर एलिस द्वारा विशिष्ट रूप से निर्धारित होता है) में मैप करते हैं। यह एक मानक प्रोजेक्शन तकनीक का उपयोग करके किया जाता है, जिसके बाद NO इंस्टेंस की जीतने की संभावना को तेजी से कम करने के लिए पैरेलल रिपिटिशन प्रमेय का उपयोग किया जाता है।
बूलियन कंस्ट्रेंट सिस्टम (BCS) के माध्यम से एकीकरण:
- लेखक कल्फ और मास्टेल [CM25] द्वारा किए गए एक हालिया अवलोकन का लाभ उठाते हैं कि हाल्टिंग प्रॉब्लम से रिडक्शन को बूलियन कंस्ट्रेंट सिस्टम (BCS) गेम्स में रिडक्शन के रूप में देखा जा सकता है।
- इसके बाद वे इन BCS गेम्स से लीनियर कंस्ट्रेंट सिस्टम (LCS) गेम्स में एक विशिष्ट रिडक्शन का निर्माण करते हैं। यह चरण गैर-तुच्छ है क्योंकि सामान्य BCS गेम्स को हमेशा LCS गेम्स में बीजगणितीय रूप से मैप नहीं किया जा सकता है जो संबद्ध $*$ -algebras की संरचना को सुरक्षित रखे (जो परफेक्ट पूर्णता प्राप्त करने में एक बाधा है)।

3. मुख्य योगदान (Key Contributions)

लॉन्ग-कोड टेस्ट की क्वांटम साउंडनेस: प्राथमिक तकनीकी योगदान यह सिद्ध करना है कि हास्टैड का लॉन्ग-कोड टेस्ट एंटैंगल्ड प्रोवर्स के विरुद्ध साउंड है। वे दिखाते हैं कि यदि क्वांटम जीतने की संभावना 1 के करीब है, तो प्रोवर्स के पास एक वैध असाइनमेंट (linear system के लिए) के साथ सह-संबंधित (correlate) होने वाली रणनीति होनी चाहिए।
दो-प्रोवर LCS गेम्स के लिए हार्डनेस: यह शोध पत्र स्थापित करता है कि दो प्रोवर्स वाले LCS गेम्स के क्वांटम मान को अनुमानित करना RE-hard है। यह महत्वपूर्ण है क्योंकि पिछले $MIP^*$ परिणाम अक्सर तीन या अधिक प्रोवर्स की आवश्यकता रखते थे या गेम के प्रकार को लीनियर इक्वेशंस तक सीमित नहीं करते थे।
साउंडनेस पैरामीटर्स: लेखक विशिष्ट साउंडनेस पैरामीटर प्राप्त करते हैं।
- क्लासिकल प्रोवर्स के लिए, साउंडनेस थ्रेशोल्ड $5/6$ है।
- एंटैंगल्ड प्रोवर्स के लिए, प्राप्त साउंडनेस बाउंड $35/36$ है।
- परिणाम पर्याप्त छोटे $\varepsilon$ के लिए पूर्णता (completeness) $1-\varepsilon$ और साउंडनेस $s$ (जहाँ $1/2 < s < 1$ ) के लिए मान्य है।
परफेक्ट पूर्णता के लिए बीजगणितीय बाधाएं: यह पत्र चर्चा करता है कि परफेक्ट पूर्णता (YES इंस्टेंस के लिए ठीक 1 की जीतने की संभावना) प्राप्त करना कठिन क्यों है। यह एक बीजगणितीय बाधा को उजागर करता है: सामान्य BCS गेम्स हमेशा एक LCS गेम के $*$ -algebra में मैपिंग स्वीकार नहीं करते हैं। यह सुझाव देता है कि $LIN\text{-}MIP^*_{1, s} = RE$ (परफेक्ट पूर्णता) को सिद्ध करना नॉन-हाइपरलिनियर ग्रुप्स (non-hyperlinear groups) के अस्तित्व को सिद्ध करने के समान होगा, जो कि ऑपरेटर अलजेब्रा में एक बड़ा खुला प्रश्न है।

4. मुख्य परिणाम (Main Results)

प्रमेय (Theorem): ऐसे स्थिरांक $1 > s > 1/2$ $1 > s > 1/2$ मौजूद हैं और प्रत्येक पर्याप्त छोटे $\varepsilon > 0$ $ε > 0$ के लिए, वर्ग $LIN\text{-}MIP^*_{1-\varepsilon, s}$ $L I N - M I P_{1 - ε, s}^{*}$ बराबर $RE$ है।
- यहाँ, $LIN$ वर्िफायर के प्रेडिकेट (predicate) की रैखिकता (linearity) को संदर्भित करता है (गेम एक LCS गेम है)।
- इसका तात्पर्य यह है कि एक ऐसे LCS गेम के बीच अंतर करना RE-hard है जिसका क्वांटम मान कम से कम $1-\varepsilon$ है और एक ऐसा गेम जिसका मान $s$ है।
उप-प्रमेय (Corollary): एक LCS गेम के क्वांटम मान को अनुमानित करने की समस्या अनिर्णायक (undecidable) है (इस अर्थ में कि गैप समस्या RE-hard है)।

5. महत्व (Significance)

जटिलता और ऑपरेटर अलजेब्रा को जोड़ना: यह परिणाम क्वांटम जटिलता सिद्धांत ( $MIP^*$ ) और समूहों के प्रतिनिधित्व सिद्धांत (representation theory of groups) (ग्रुप्स के माध्यम से) के बीच संबंध को गहरा करता है। यह दिखाता है कि LCS गेम्स को अनुमानित करने की कठिनाई सीधे तौर पर विलक्षण गणितीय वस्तुओं (नॉन-हाइपरलिनियर ग्रुप्स) के अस्तित्व से जुड़ी हुई है।
दो-प्रोवर सीमा: केवल दो प्रोवर्स के साथ इसे प्राप्त करके, लेखक पिछले $MIP^*$ परिणामों की तुलना में मॉडल को सरल बनाते हैं जो अक्सर बीजगणितीय हेरफेर को सरल बनाने के लिए तीन या अधिक प्रोवर्स पर निर्भर करते थे। यह हार्डनेस परिणाम को अधिक मजबूत और व्यापक रेंज के क्वांटम इंटरैक्टिव प्रूफ परिदृश्यों के लिए लागू करने योग्य बनाता है।
परफेक्ट पूर्णता पर सीमाएं: यह पत्र इस बात के लिए पुख्ता सबूत प्रदान करता है कि एंटैंगल्ड प्रोवर्स के साथ LCS गेम्स के लिए परफेक्ट पूर्णता प्राप्त करना संभवतः असंभव है, जब तक कि ग्रुप थ्योरी में बड़ी सफलता न मिले (नॉन-हाइपरलिनियर ग्रुप्स के अस्तित्व को सिद्ध करना)। यह वर्तमान बीजगणितीय तकनीकों के साथ क्या प्राप्त किया जा सकता है, इसकी एक स्पष्ट सीमा निर्धारित करता है।
तकनीकी प्रगति: क्लासिकल लॉन्ग-कोड टेस्ट का क्वांटम सेटिंग में विस्तार एंटैंगल्ड रणनीतियों का विश्लेषण करने के लिए नए उपकरण प्रदान करता है, विशेष रूप से नॉनलोकल गेम्स में ऑब्जर्वेबल्स के "फोल्डिंग" और "कंडीशनिंग" को क्वांटम मैकेनिक्स के अनुरूप तरीके से संभालना।

संक्षेप में, टैलर और विडिक ने हास्टैड के क्लासिकल हार्डनेस प्रूफ को सफलतापूर्वक क्वांटम डोमेन में सामान्यीकृत किया है, यह सिद्ध करते हुए कि लीनियर इक्वेशंस और दो एंटैंगल्ड प्रोवर्स तक सीमित होने के बावजूद, जीतने की संभावना को निर्धारित करने की समस्या हाल्टिंग प्रॉब्लम जितनी कठिन है।