क्यूएमए

From Vigyanwiki
Revision as of 17:02, 25 July 2023 by alpha>Indicwiki (Created page with "{{Short description|Quantum Merlin Arthur}} {{about|the mathematical theory|the coaxial RF connector|QMA and QN connector}} कम्प्यूटेशनल जटि...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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

क्यूएमए और बीक्यूपी के बीच संबंध जटिलता वर्गों [[एनपी (जटिलता)]] और पी (जटिलता) के बीच संबंध के अनुरूप है।[citation needed]. यह संभाव्य जटिलता वर्ग आर्थर-मर्लिन प्रोटोकॉल और बीपीपी (जटिलता) के बीच संबंध के अनुरूप भी है।[citation needed].

QAM एक संबंधित जटिलता वर्ग है, जिसमें काल्पनिक एजेंट आर्थर और मर्लिन अनुक्रम को अंजाम देते हैं: आर्थर एक यादृच्छिक स्ट्रिंग उत्पन्न करता है, मर्लिन एक क्वांटम प्रमाणपत्र (जटिलता) के साथ उत्तर देता है और आर्थर इसे BQP मशीन के रूप में सत्यापित करता है।

परिभाषा

एक भाषा L में है यदि एक बहुपद समय क्वांटम सत्यापनकर्ता V और एक बहुपद मौजूद है ऐसा है कि:[1][2][3]

  • , वहाँ एक क्वांटम अवस्था मौजूद है ऐसी संभावना है कि V इनपुट स्वीकार करता है से बड़ा है c.
  • , सभी क्वांटम अवस्थाओं के लिए , संभावना है कि V इनपुट स्वीकार करता है मै रुक जाना s.

कहाँ सभी क्वांटम अवस्थाओं में अधिकतम सीमा होती है qubits.

जटिलता वर्ग के बराबर परिभाषित किया गया है . हालाँकि, स्थिरांक बहुत महत्वपूर्ण नहीं हैं क्योंकि वर्ग अपरिवर्तित रहता है c और s को ऐसे किसी भी स्थिरांक पर सेट किया जाता है c से बड़ा है s. इसके अलावा, किसी भी बहुपद के लिए और , अपने पास

.

क्यूएमए में समस्याएं

चूंकि क्यूएमए में कई दिलचस्प वर्ग शामिल हैं, जैसे पी, बीक्यूपी और एनपी, उन वर्गों की सभी समस्याएं भी क्यूएमए में हैं। हालाँकि, ऐसी समस्याएँ हैं जो QMA में हैं लेकिन NP या BQP में नहीं हैं। ऐसी कुछ प्रसिद्ध समस्याओं पर नीचे चर्चा की गई है।

एक समस्या को क्यूएमए-हार्ड कहा जाता है, जो एनपी कठिन के समान है, यदि क्यूएमए में प्रत्येक समस्या इसमें कमी (जटिलता) हो सकती है। किसी समस्या को QMA-पूर्ण (जटिलता) कहा जाता है यदि वह QMA-हार्ड है और QMA में है।

स्थानीय हैमिल्टनियन समस्या

एक के-स्थानीय हैमिल्टनियन (क्वांटम यांत्रिकी) एक हर्मिटियन मैट्रिक्स है जो n क्वैबिट पर कार्य करता है जिसे इसके योग के रूप में दर्शाया जा सकता है हैमिल्टनियन शर्तें अधिकतम पर कार्य करती हैं प्रत्येक को क्वैबिट करता है।

सामान्य k-स्थानीय हैमिल्टनियन समस्या, k-स्थानीय हैमिल्टनियन दी गई है , सबसे छोटा eigenvalue खोजने के लिए का .[4] इसे हैमिल्टनियन की जमीनी अवस्था ऊर्जा भी कहा जाता है।

के-स्थानीय हैमिल्टनियन समस्या का निर्णय संस्करण एक प्रकार की वादा समस्या है और इसे के-स्थानीय हैमिल्टनियन के रूप में परिभाषित किया गया है और कहाँ , यह तय करने के लिए कि क्या कोई क्वांटम ईजेनस्टेट मौजूद है का संबद्ध eigenvalue के साथ , ऐसा है कि या अगर .

स्थानीय हैमिल्टनियन समस्या अधिकतम संतुष्टि समस्या|MAX-SAT का क्वांटम एनालॉग है। k-स्थानीय हैमिल्टनियन समस्या k ≥ 2 के लिए QMA-पूर्ण है।[5] क्वैबिट के द्वि-आयामी ग्रिड पर कार्य करने के लिए प्रतिबंधित 2-स्थानीय हैमिल्टनियन समस्या भी QMA-पूर्ण है।[6] यह दिखाया गया है कि के-स्थानीय हैमिल्टनियन समस्या अभी भी क्यूएमए-कठिन है, यहां तक ​​​​कि हैमिल्टनियनों के लिए भी जो प्रति कण 12 राज्यों के साथ निकटतम-पड़ोसी इंटरैक्शन के साथ कणों की 1-आयामी रेखा का प्रतिनिधित्व करते हैं।[7] यदि सिस्टम अनुवादात्मक रूप से-अपरिवर्तनीय है, तो इसकी स्थानीय हैमिल्टनियन समस्या QMA बन जाती हैEXP-पूर्ण (चूंकि समस्या इनपुट सिस्टम आकार में एन्कोड किया गया है, सत्यापनकर्ता के पास अब समान वादे के अंतर को बनाए रखते हुए घातीय रनटाइम है)।[8][9] QMA-कठोरता परिणाम ZX हैमिल्टनियन जैसे क्वैबिट के सरल जाली मॉडल के लिए जाने जाते हैं [10] कहाँ पॉल के मैट्रिक्स का प्रतिनिधित्व करें . ऐसे मॉडल सार्वभौमिक रुद्धोष्म क्वांटम गणना पर लागू होते हैं।

के-स्थानीय हैमिल्टनियन समस्याएं शास्त्रीय बाधा संतुष्टि समस्याओं के अनुरूप हैं।[11] निम्नलिखित तालिका शास्त्रीय सीएसपी और हैमिल्टनियन के बीच अनुरूप गैजेट को दर्शाती है।

Classical Quantum Notes
Constraint Satisfaction Problem Hamiltonian
Variable Qubit
Constraint Hamiltonian Term
Variable Assignment Quantum state
Number of constraints satisfied Hamiltonian's energy term
Optimal Solution Hamiltonian's ground state The most possible constraints satisfied


अन्य क्यूएमए-पूर्ण समस्याएं

ज्ञात QMA-पूर्ण समस्याओं की सूची https://arxiv.org/abs/1212.6312 पर पाई जा सकती है।

संबंधित वर्ग

QCMA (या MQA[2]), जो क्वांटम क्लासिकल मर्लिन आर्थर (या मर्लिन क्वांटम आर्थर) के लिए है, क्यूएमए के समान है, लेकिन प्रमाण एक शास्त्रीय स्ट्रिंग होना चाहिए। यह ज्ञात नहीं है कि QMA, QCMA के बराबर है या नहीं, हालाँकि QCMA स्पष्ट रूप से QMA में निहित है।

QIP(k), जो क्वांटम इंटरैक्टिव बहुपद समय (k संदेश) के लिए है, QMA का एक सामान्यीकरण है जहां मर्लिन और आर्थर k राउंड के लिए बातचीत कर सकते हैं। क्यूएमए क्यूआईपी(1) है। QIP(2) को PSPACE में जाना जाता है।[12] QIP (जटिलता) QIP(k) है जहां k को क्वैबिट की संख्या में बहुपद होने की अनुमति है। यह ज्ञात है कि QIP(3) = QIP.[13] यह भी ज्ञात है कि QIP = IP (जटिलता) = PSPACE[14]


अन्य वर्गों से संबंध

QMA निम्नलिखित संबंधों द्वारा अन्य ज्ञात जटिलता वर्गों से संबंधित है:

पहला समावेशन एनपी (जटिलता) की परिभाषा से होता है। अगले दो निष्कर्ष इस तथ्य से निकलते हैं कि प्रत्येक मामले में सत्यापनकर्ता को अधिक शक्तिशाली बनाया जा रहा है। क्यूसीएमए क्यूएमए में समाहित है क्योंकि सत्यापनकर्ता प्रमाण प्राप्त होते ही प्रमाण को मापकर शास्त्रीय प्रमाण भेजने के लिए बाध्य कर सकता है। तथ्य यह है कि क्यूएमए पीपी (जटिलता) में निहित है, एलेक्सी किताएव और जॉन वॉटरस (कंप्यूटर वैज्ञानिक) द्वारा दिखाया गया था। पीपी को PSPACE में भी आसानी से दिखाया जाता है।

यह अज्ञात है कि इनमें से कोई भी समावेशन बिना शर्त सख्त है, क्योंकि यह भी ज्ञात नहीं है कि क्या P पूरी तरह से PSPACE में समाहित है या P = PSPACE में। हालाँकि, QMA पर वर्तमान में सबसे अच्छी ज्ञात ऊपरी सीमाएँ हैं [15] [16]

और ,

दोनों कहाँ और में समाहित हैं . यह संभावना नहीं है कि के बराबर होती है , जैसा कि इसका तात्पर्य होगा -. यह अज्ञात है या नहीं या विपरीत।

संदर्भ

  1. Aharonov, Dorit; Naveh, Tomer (2002). "Quantum NP – A Survey". arXiv:quant-ph/0210077v1.
  2. 2.0 2.1 Watrous, John (2009). "Quantum Computational Complexity". In Meyers, Robert A. (ed.). जटिलता और सिस्टम विज्ञान का विश्वकोश. pp. 7174–7201. arXiv:0804.3401. doi:10.1007/978-0-387-30440-3_428.
  3. Gharibian, Sevag; Huang, Yichen; Landau, Zeph; Shin, Seung Woo (2015). "क्वांटम हैमिल्टनियन जटिलता". Foundations and Trends in Theoretical Computer Science. 10 (3): 159–282. arXiv:1401.3916. doi:10.1561/0400000066.
  4. O'Donnel, Ryan. "Lecture 24: QMA: Quantum Merlin Arthur" (PDF). Retrieved 18 April 2021.
  5. Kempe, Julia; Kitaev, Alexei; Regev, Oded (2006). "स्थानीय हैमिल्टनियन समस्या की जटिलता". SIAM Journal on Computing. 35 (5): 1070–1097. arXiv:quant-ph/0406180v2. doi:10.1137/S0097539704445226..
  6. Oliveira, Roberto; Terhal, Barbara M. (2008). "The complexity of quantum spin systems on a two-dimensional square lattice". Quantum Information and Computation. 8 (10): 900–924. arXiv:quant-ph/0504050. Bibcode:2005quant.ph..4050O.
  7. Aharonov, Dorit; Gottesman, Daniel; Irani, Sandy; Kempe, Julia (2009). "The power of quantum systems on a line". Communications in Mathematical Physics. 287 (1): 41–65. arXiv:0705.4077. Bibcode:2009CMaPh.287...41A. doi:10.1007/s00220-008-0710-3.
  8. Aharonov, Dorit; Gottesman, Daniel; Irani, Sandy; Kempe, Julia (1 April 2009). "एक लाइन पर क्वांटम सिस्टम की शक्ति". Communications in Mathematical Physics. 287 (1): 41–65. doi:10.1007/s00220-008-0710-3.
  9. Bausch, Johannes; Cubitt, Toby; Ozols, Maris (November 2017). "कम स्थानीय आयाम के साथ अनुवादात्मक रूप से अपरिवर्तनीय स्पिन श्रृंखलाओं की जटिलता". Annales Henri Poincaré. 18 (11): 3449–3513. doi:10.1007/s00023-017-0609-7.
  10. Biamonte, Jacob; Love, Peter (2008). "सार्वभौमिक रुद्धोष्म क्वांटम कंप्यूटरों के लिए साकार करने योग्य हैमिल्टनियन". Physical Review A. 78 (1): 012352. arXiv:0704.1287. Bibcode:2008PhRvA..78a2352B. doi:10.1103/PhysRevA.78.012352..
  11. Yuen, Henry. "उलझाव की जटिलता" (PDF). henryyuen.net. Retrieved 20 April 2021.
  12. Jain, Rahul; Upadhyay, Sarvagya; Watrous, John (2009). "Two-message quantum interactive proofs are in PSPACE". Proceedings of the 50th Annual IEEE Symposium on Foundations of Computer Science (FOCS '09). IEEE Computer Society. pp. 534–543. doi:10.1109/FOCS.2009.30. ISBN 978-0-7695-3850-1.
  13. Watrous, John (2003). "पीएसपीएसीई में निरंतर-गोल क्वांटम इंटरैक्टिव प्रूफ सिस्टम हैं". Theoretical Computer Science. 292 (3): 575–588. doi:10.1016/S0304-3975(01)00375-9.
  14. Jain, Rahul; Ji, Zhengfeng; Upadhyay, Sarvagya; Watrous, John (2011). "QIP = PSPACE". Journal of the ACM. 58 (6): A30. doi:10.1145/2049697.2049704.
  15. Vyalyi, Mikhail N. (2003). "QMA = PP implies that PP contains PH". Electronic Colloquium on Computational Complexity.
  16. Gharibian, Sevag; Yirka, Justin (2019). "The complexity of simulating local measurements on quantum systems". Quantum. 3: 189. doi:10.22331/q-2019-09-30-189.


बाहरी संबंध