क्यूएमए पूरी समस्याओं का वादा समस्याओं क्यों होना चाहिए?


10

मैं क्वांटम जटिलता सिद्धांत पर पेपर पर वाट्सएप के उत्कृष्ट सर्वेक्षण पेपर पढ़ रहा हूं। इसमें वह कहता है कि अगर एक QMA-अपूर्ण समस्या को एक रिक्त वादा (Ie Be a language) पाया गया तो आश्चर्य होगा। ऐसा क्यों है?

क्या यह इस तथ्य के साथ करना है कि के-स्थानीय हैमिल्टन समस्या एक वादा समस्या है?

इसके अलावा, यह मुझे एक संबंधित प्रश्न की ओर ले जाता है: क्या QMA- पूर्ण समस्याएं हैं जो स्वाभाविक रूप से "क्वांटम" प्रकृति में नहीं हैं?


3
मुझे लगता है कि यह एक दिलचस्प बात होगी क्योंकि क्यूएमए को एक शब्दार्थ वर्ग के रूप में परिभाषित किया गया है, इस तरह की पूरी समस्या एक वाक्यात्मक चरित्रांकन देगी। Cstheory / Mathoverflow पर वाक्य रचना / अर्थ जटिलता के बारे में संबंधित प्रश्नों की जाँच करें।
केव

3
इसके अलावा, यह घटना विशेष रूप से QMA के लिए विशिष्ट नहीं है। अन्य शब्दार्थिक रूप से परिभाषित वर्ग जैसे एमए बीपीपी भी पूर्ण भाषा नहीं है।
रॉबिन कोठारी

1
मुझे आश्चर्य है कि किसी समस्या के लिए "क्वांटम नहीं" होने के लिए आवश्यक और पर्याप्त परिस्थितियां क्या हैं। मुझे लगता है कि कोई भी समस्या जो पूरी तरह से सकारात्मक मानचित्र को आमंत्रित करती है ( जैसे किसी दिए गए सीपी मानचित्र को उल्टा, या दूर से उलटा?) या दसियों उत्पाद संरचना ( उदाहरण के लिए, एक सकारात्मक अर्धचालक ऑपरेटर, जो कि k- स्थानीय प्रस्तुति में दिया गया है, की तुलना में eigenvalues ​​कम है? डेल्टा, या क्या वे सभी डेल्टा से काफी अधिक हैं?) संदिग्ध क्वांटम समस्याओं के उदाहरण होंगे, चाहे वे क्वांटम चैनलों / विकास या एक कुल प्रणाली के राज्य स्थान के संदर्भ में प्रस्तुत किए गए हों या नहीं ...
Niel de Beaudad

जवाबों:


हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.