क्यूएमए - Revision history

Indicwiki: 14 revisions imported from :alpha:क्यूएमए

2024-02-02T16:51:14Z

14 revisions imported from alpha:क्यूएमए

← Older revision	Revision as of 22:21, 2 February 2024
(No difference)

alpha>Neeraja: added Category:Vigyan Ready using HotCat

2024-02-02T06:21:02Z

added Category:Vigyan Ready using HotCat

← Older revision		Revision as of 11:51, 2 February 2024
Line 154:		Line 154:
	[[Category: Machine Translated Page]]		[[Category: Machine Translated Page]]
	[[Category:Created On 25/07/2023]]		[[Category:Created On 25/07/2023]]
			[[Category:Vigyan Ready]]

alpha>Artiverma at 11:53, 10 September 2023

2023-09-10T11:53:11Z

Show changes

alpha>Artiverma at 11:24, 10 September 2023

2023-09-10T11:24:37Z

Show changes

alpha>Artiverma at 06:03, 14 August 2023

2023-08-14T06:03:48Z

← Older revision		Revision as of 11:33, 14 August 2023
Line 2:		Line 2:
	{{about\|गणितीय सिद्धांत\|समाक्षीय आरएफ कनेक्टर\|क्यूएमए और क्यूएन कनेक्टर}}		{{about\|गणितीय सिद्धांत\|समाक्षीय आरएफ कनेक्टर\|क्यूएमए और क्यूएन कनेक्टर}}

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

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

alpha>Artiverma at 06:01, 14 August 2023

2023-08-14T06:01:54Z

Show changes

alpha>Artiverma at 15:09, 6 August 2023

2023-08-06T15:09:26Z

← Older revision		Revision as of 20:39, 6 August 2023
Line 15:		Line 15:
	जहाँ <math>\|\psi\rangle</math> सभी क्वांटम अवस्थाओं अवस्थाओं <math>p(\|x\|)</math> क्वैबिट्स पर निर्भर करता है I		जहाँ <math>\|\psi\rangle</math> सभी क्वांटम अवस्थाओं अवस्थाओं <math>p(\|x\|)</math> क्वैबिट्स पर निर्भर करता है I

	समष्टिता वर्ग <math>\mathsf{QMA}</math>, <math>\mathsf{QMA}({2}/{3},1/3)</math> के ~~बराबर~~ परिभाषित किया गया है I चूँकि, स्थिरांक बहुत महत्वपूर्ण नहीं हैं क्योंकि वर्ग अपरिवर्तित रहता है, {{mvar\|c}} और {{mvar\|s}} को ऐसे किसी भी स्थिरांक पर सेट किया जाता है, {{mvar\|c}} से {{mvar\|s}} बड़ा है I इसके अतिरिक्त, किसी भी बहुपद के लिए <math>q(n)</math> और <math>r(n)</math>, इस प्रकार है:-		समष्टिता वर्ग <math>\mathsf{QMA}</math>, <math>\mathsf{QMA}({2}/{3},1/3)</math> के समान परिभाषित किया गया है I चूँकि, स्थिरांक बहुत महत्वपूर्ण नहीं हैं क्योंकि वर्ग अपरिवर्तित रहता है, {{mvar\|c}} और {{mvar\|s}} को ऐसे किसी भी स्थिरांक पर सेट किया जाता है, {{mvar\|c}} से {{mvar\|s}} बड़ा है I इसके अतिरिक्त, किसी भी बहुपद के लिए <math>q(n)</math> और <math>r(n)</math>, इस प्रकार है:-
	:<math>\mathsf{QMA}\left(\frac{2}{3},\frac{1}{3}\right) =\mathsf{QMA}\left(\frac{1}{2}+\frac{1}{q(n)},\frac{1}{2}-\frac{1}{q(n)}\right)=\mathsf{QMA}(1-2^{-r(n)},2^{-r(n)})</math>		:<math>\mathsf{QMA}\left(\frac{2}{3},\frac{1}{3}\right) =\mathsf{QMA}\left(\frac{1}{2}+\frac{1}{q(n)},\frac{1}{2}-\frac{1}{q(n)}\right)=\mathsf{QMA}(1-2^{-r(n)},2^{-r(n)})</math>

Line 104:		Line 104:
	== संबंधित वर्ग ==		== संबंधित वर्ग ==

	क्यूसीएमए (या एमक्यूए<ref name="JW" />), जो क्वांटम क्लासिकल मर्लिन आर्थर (या मर्लिन क्वांटम आर्थर) के लिए है, क्यूएमए के समान है, किन्तु प्रमाण प्रतिष्ठित स्ट्रिंग होना चाहिए। यह ज्ञात नहीं है कि क्यूएमए, क्यूसीएमए के ~~बराबर~~ है या नहीं, चूँकि क्यूसीएमए स्पष्ट रूप से क्यूएमए में निहित है।		क्यूसीएमए (या एमक्यूए<ref name="JW" />), जो क्वांटम क्लासिकल मर्लिन आर्थर (या मर्लिन क्वांटम आर्थर) के लिए है, क्यूएमए के समान है, किन्तु प्रमाण प्रतिष्ठित स्ट्रिंग होना चाहिए। यह ज्ञात नहीं है कि क्यूएमए, क्यूसीएमए के समान है या नहीं, चूँकि क्यूसीएमए स्पष्ट रूप से क्यूएमए में निहित है।

	क्यूआईपी(k), जो [[क्वांटम इंटरैक्टिव बहुपद समय]] (k संदेश) के लिए है, क्यूएमए का सामान्यीकरण है जहां मर्लिन और आर्थर k राउंड के लिए चर्चा कर सकते हैं। क्यूएमए, क्यूआईपी(1) है। क्यूआईपी(2) को पीस्पेस में जाना जाता है।<ref>{{Cite book \| last1=Jain \| first1=Rahul \| last2=Upadhyay \| first2=Sarvagya \| last3=Watrous \| first3=John \| author3-link=John Watrous (computer scientist) \| title=[[Symposium on Foundations of Computer Science\|Proceedings of the 50th Annual IEEE Symposium on Foundations of Computer Science (FOCS '09)]] \| publisher=IEEE Computer Society \| isbn=978-0-7695-3850-1 \| year=2009 \| chapter=Two-message quantum interactive proofs are in PSPACE \| doi = 10.1109/FOCS.2009.30 \| pages=534–543}}</ref> क्यूआईपी (समष्टिता) क्यूआईपी(k) है, जहां k को क्वैबिट की संख्या में बहुपद होने की अनुमति है। यह ज्ञात है कि QIP(3) = QIP.<ref>{{Cite journal \| last1=Watrous \| first1=John \| author1-link=John Watrous (computer scientist) \| title=पीएसपीएसीई में निरंतर-गोल क्वांटम इंटरैक्टिव प्रूफ सिस्टम हैं\| year=2003 \| journal=[[Theoretical Computer Science (journal)\|Theoretical Computer Science]] \| volume=292 \| issue=3 \| pages=575–588 \| doi=10.1016/S0304-3975(01)00375-9 \| doi-access=free }}</ref> यह भी ज्ञात है कि QIP = IP (समष्टिता) = [[PSPACE]]।<ref>{{cite journal \| last1=Jain \| first1=Rahul \| last2=Ji \| first2=Zhengfeng \| last3=Upadhyay \| first3=Sarvagya \| last4=Watrous \| first4=John \| author4-link=John Watrous (computer scientist) \| journal = [[Journal of the ACM]] \| year=2011 \| title=QIP = PSPACE \| volume = 58 \| issue = 6 \| page = A30 \| doi = 10.1145/2049697.2049704}}		क्यूआईपी(k), जो [[क्वांटम इंटरैक्टिव बहुपद समय]] (k संदेश) के लिए है, क्यूएमए का सामान्यीकरण है जहां मर्लिन और आर्थर k राउंड के लिए चर्चा कर सकते हैं। क्यूएमए, क्यूआईपी(1) है। क्यूआईपी(2) को पीस्पेस में जाना जाता है।<ref>{{Cite book \| last1=Jain \| first1=Rahul \| last2=Upadhyay \| first2=Sarvagya \| last3=Watrous \| first3=John \| author3-link=John Watrous (computer scientist) \| title=[[Symposium on Foundations of Computer Science\|Proceedings of the 50th Annual IEEE Symposium on Foundations of Computer Science (FOCS '09)]] \| publisher=IEEE Computer Society \| isbn=978-0-7695-3850-1 \| year=2009 \| chapter=Two-message quantum interactive proofs are in PSPACE \| doi = 10.1109/FOCS.2009.30 \| pages=534–543}}</ref> क्यूआईपी (समष्टिता) क्यूआईपी(k) है, जहां k को क्वैबिट की संख्या में बहुपद होने की अनुमति है। यह ज्ञात है कि QIP(3) = QIP.<ref>{{Cite journal \| last1=Watrous \| first1=John \| author1-link=John Watrous (computer scientist) \| title=पीएसपीएसीई में निरंतर-गोल क्वांटम इंटरैक्टिव प्रूफ सिस्टम हैं\| year=2003 \| journal=[[Theoretical Computer Science (journal)\|Theoretical Computer Science]] \| volume=292 \| issue=3 \| pages=575–588 \| doi=10.1016/S0304-3975(01)00375-9 \| doi-access=free }}</ref> यह भी ज्ञात है कि QIP = IP (समष्टिता) = [[PSPACE]]।<ref>{{cite journal \| last1=Jain \| first1=Rahul \| last2=Ji \| first2=Zhengfeng \| last3=Upadhyay \| first3=Sarvagya \| last4=Watrous \| first4=John \| author4-link=John Watrous (computer scientist) \| journal = [[Journal of the ACM]] \| year=2011 \| title=QIP = PSPACE \| volume = 58 \| issue = 6 \| page = A30 \| doi = 10.1145/2049697.2049704}}

alpha>Artiverma at 15:07, 6 August 2023

2023-08-06T15:07:09Z

alpha>Artiverma at 15:04, 6 August 2023

2023-08-06T15:04:13Z

← Older revision		Revision as of 20:34, 6 August 2023
Line 4:		Line 4:
	[[कम्प्यूटेशनल जटिलता सिद्धांत]] में, क्यूएमए, जो क्वांटम आर्थर-मर्लिन प्रोटोकॉल के लिए स्थित है, लैंग्वेज का समूह होता है, जिसके लिए, जब स्ट्रिंग लैंग्वेज में होती है, तो बहुपद-आकार का क्वांटम प्रमाण (क्वांटम स्थिति) होता है जो बहुपद समय क्वांटम सत्यापनकर्ता[[ एक कंप्यूटर जितना \| (क्वांटम कंप्यूटर]] पर चलने वाले) को उच्च संभावना के साथ इस तथ्य के सम्बन्ध में आश्वस्त करता है। इसके अतिरिक्त, जब स्ट्रिंग लैंग्वेज में नहीं होती है, तो प्रत्येक बहुपद-आकार की क्वांटम स्थिति को सत्यापनकर्ता द्वारा उच्च संभावना के साथ रद्द कर दिया जाता है।		[[कम्प्यूटेशनल जटिलता सिद्धांत]] में, क्यूएमए, जो क्वांटम आर्थर-मर्लिन प्रोटोकॉल के लिए स्थित है, लैंग्वेज का समूह होता है, जिसके लिए, जब स्ट्रिंग लैंग्वेज में होती है, तो बहुपद-आकार का क्वांटम प्रमाण (क्वांटम स्थिति) होता है जो बहुपद समय क्वांटम सत्यापनकर्ता[[ एक कंप्यूटर जितना \| (क्वांटम कंप्यूटर]] पर चलने वाले) को उच्च संभावना के साथ इस तथ्य के सम्बन्ध में आश्वस्त करता है। इसके अतिरिक्त, जब स्ट्रिंग लैंग्वेज में नहीं होती है, तो प्रत्येक बहुपद-आकार की क्वांटम स्थिति को सत्यापनकर्ता द्वारा उच्च संभावना के साथ रद्द कर दिया जाता है।

	क्यूएमए और [[बीक्यूपी]] के मध्य संबंध [[जटिलता वर्ग\|जटिलता वर्गों]] [[एन[[पी (जटिलता)]]]] और P (जटिलता) के मध्य संबंध के अनुरूप होता है।{{cn\|date=November 2022}} यह संभाव्य जटिलता वर्ग आर्थर-मर्लिन प्रोटोकॉल और [[बीपीपी (जटिलता)]] के मध्य संबंध के अनुरूप भी होता है।~~{{cn\|date=November 2022}}.~~		क्यूएमए और [[बीक्यूपी]] के मध्य संबंध [[जटिलता वर्ग\|जटिलता वर्गों]] [[एन[[पी (जटिलता)]]]] और P (जटिलता) के मध्य संबंध के अनुरूप होता है।{{cn\|date=November 2022}} यह संभाव्य जटिलता वर्ग आर्थर-मर्लिन प्रोटोकॉल और [[बीपीपी (जटिलता)]] के मध्य संबंध के अनुरूप भी होता है।

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

	जटिलता वर्ग <math>\mathsf{QMA}</math>, <math>\mathsf{QMA}({2}/{3},1/3)</math> के बराबर परिभाषित किया गया है I चूँकि, स्थिरांक बहुत महत्वपूर्ण नहीं हैं क्योंकि वर्ग अपरिवर्तित रहता है, {{mvar\|c}} और {{mvar\|s}} को ऐसे किसी भी स्थिरांक पर सेट किया जाता है, {{mvar\|c}} से {{mvar\|s}} बड़ा है I इसके अतिरिक्त, किसी भी बहुपद के लिए <math>q(n)</math> और <math>r(n)</math>, इस प्रकार है:-		जटिलता वर्ग <math>\mathsf{QMA}</math>, <math>\mathsf{QMA}({2}/{3},1/3)</math> के बराबर परिभाषित किया गया है I चूँकि, स्थिरांक बहुत महत्वपूर्ण नहीं हैं क्योंकि वर्ग अपरिवर्तित रहता है, {{mvar\|c}} और {{mvar\|s}} को ऐसे किसी भी स्थिरांक पर सेट किया जाता है, {{mvar\|c}} से {{mvar\|s}} बड़ा है I इसके अतिरिक्त, किसी भी बहुपद के लिए <math>q(n)</math> और <math>r(n)</math>, इस प्रकार है:-
	:<math>\mathsf{QMA}\left(\frac{2}{3},\frac{1}{3}\right) =\mathsf{QMA}\left(\frac{1}{2}+\frac{1}{q(n)},\frac{1}{2}-\frac{1}{q(n)}\right)=\mathsf{QMA}(1-2^{-r(n)},2^{-r(n)})</math>.		:<math>\mathsf{QMA}\left(\frac{2}{3},\frac{1}{3}\right) =\mathsf{QMA}\left(\frac{1}{2}+\frac{1}{q(n)},\frac{1}{2}-\frac{1}{q(n)}\right)=\mathsf{QMA}(1-2^{-r(n)},2^{-r(n)})</math>

	== क्यूएमए में समस्याएं ==		== क्यूएमए में समस्याएं ==
Line 69:		Line 69:
	{\| class="wikitable"		{\| class="wikitable"
	\|-		\|-
	! scope="col" \| ~~Classical~~		! scope="col" \| क्लासिकल
	! scope="col" \| ~~Quantum~~		! scope="col" \| क्वांटम
	! scope="col" \| ~~Notes~~		! scope="col" \| नोट्स
	\|-		\|-
	\| ~~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~~		\| सबसे संभावित बाधाओं को पूर्ण किया गया
	\|}		\|}

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

	यह अज्ञात है कि इनमें से कोई भी समावेशन बिना ~~शर्त~~ सख्त है, क्योंकि यह भी ज्ञात नहीं है कि क्या ~~P पूरी तरह~~ से ~~PSPACE~~ में समाहित है या P = ~~PSPACE में।~~ चूँकि, ~~QMA~~ पर वर्तमान में सबसे ~~अच्छी~~ ज्ञात ऊपरी सीमाएँ हैं		यह अज्ञात है कि इनमें से कोई भी समावेशन बिना नियम सख्त है, क्योंकि यह भी ज्ञात नहीं है कि क्या पी पूर्ण रूप से पीस्पेस में समाहित है या पी = पीस्पेस में है। चूँकि, क्यूएमए पर वर्तमान में सबसे उचित ज्ञात ऊपरी सीमाएँ हैं:<ref>{{cite journal
	<ref>{{cite journal
	\| last = Vyalyi		\| last = Vyalyi
	\| first = Mikhail N.		\| first = Mikhail N.
Line 122:		Line 121:
	\| year = 2003		\| year = 2003
	\| url = https://eccc.weizmann.ac.il/eccc-reports/2003/TR03-021/index.html		\| url = https://eccc.weizmann.ac.il/eccc-reports/2003/TR03-021/index.html
	}}</ref>		}}</ref><ref>{{cite journal
	<ref>{{cite journal
	\| last = Gharibian		\| last = Gharibian
	\| first = Sevag		\| first = Sevag
Line 137:		Line 135:
	}}</ref>		}}</ref>
	:<math>\mathsf{QMA}\subseteq\mathsf{A_0PP}</math> और <math>\mathsf{QMA}\subseteq\mathsf{P^{QMA[log]}}</math>,		:<math>\mathsf{QMA}\subseteq\mathsf{A_0PP}</math> और <math>\mathsf{QMA}\subseteq\mathsf{P^{QMA[log]}}</math>,
	दोनों जहाँ <math>\mathsf{A_0PP}</math> और <math>\mathsf{P^{QMA[log]}}</math> ~~में समाहित हैं~~ <math>\mathsf{PP}</math>. यह संभावना नहीं है कि <math>\mathsf{QMA}</math> ~~के बराबर होती है~~ <math>\mathsf{P^{QMA[log]}}</math>, जैसा कि इसका तात्पर्य ~~होगा~~ <math>\mathsf{QMA}=\mathsf{co}</math>-<math>\mathsf{QMA}</math>. यह अज्ञात है या नहीं <math>\mathsf{P^{QMA[log]}}\subseteq\mathsf{A_0PP}</math> या ~~विपरीत।~~		दोनों जहाँ <math>\mathsf{A_0PP}</math> और <math>\mathsf{P^{QMA[log]}}</math> <math>\mathsf{PP}</math> में समाहित हैं। यह संभावना नहीं है कि <math>\mathsf{QMA}</math> <math>\mathsf{P^{QMA[log]}}</math> के समान होता है, जैसा कि इसका तात्पर्य <math>\mathsf{QMA}=\mathsf{co}</math>-<math>\mathsf{QMA}</math> होता है। यह अज्ञात है या नहीं <math>\mathsf{P^{QMA[log]}}\subseteq\mathsf{A_0PP}</math> या इसके विपरीत है।

	==संदर्भ==		==संदर्भ==

alpha>Artiverma at 14:46, 6 August 2023

2023-08-06T14:46:03Z

← Older revision		Revision as of 20:16, 6 August 2023
Line 64:		Line 64:
	<math>		<math>
	H_{ZX} = \sum_{i}h_i Z_i + \sum_{i} \Delta_i X_i + \sum_{i<j}J^{ij}Z_iZ_j + \sum_{i<j}K^{ij}X_iX_j		H_{ZX} = \sum_{i}h_i Z_i + \sum_{i} \Delta_i X_i + \sum_{i<j}J^{ij}Z_iZ_j + \sum_{i<j}K^{ij}X_iX_j
	</math> जहाँ <math>Z, X</math> [[पॉल के मैट्रिक्स]] <math>\sigma_z, \sigma_x</math>का प्रतिनिधित्व करते है, ऐसे मॉडल सार्वभौमिक [[रुद्धोष्म क्वांटम गणना]] पर ~~लागू~~ होते हैं।		</math> जहाँ <math>Z, X</math> [[पॉल के मैट्रिक्स]] <math>\sigma_z, \sigma_x</math>का प्रतिनिधित्व करते है, ऐसे मॉडल सार्वभौमिक [[रुद्धोष्म क्वांटम गणना\|एडियाबेटिक क्वांटम गणना]] पर प्रस्तावित होते हैं।

	के-स्थानीय हैमिल्टनियन समस्याएं ~~शास्त्रीय~~ बाधा संतुष्टि समस्याओं के अनुरूप हैं।<ref>{{cite web \|last1=Yuen \|first1=Henry \|title=उलझाव की जटिलता\|url=http://henryyuen.net/fall2020/complexity_of_entanglement_notes.pdf \|website=henryyuen.net \|access-date=20 April 2021}}</ref> निम्नलिखित तालिका ~~शास्त्रीय~~ सीएसपी और हैमिल्टनियन के मध्य अनुरूप गैजेट को ~~दर्शाती~~ है।		k-स्थानीय हैमिल्टनियन समस्याएं प्रतिष्ठित बाधा संतुष्टि समस्याओं के अनुरूप हैं।<ref>{{cite web \|last1=Yuen \|first1=Henry \|title=उलझाव की जटिलता\|url=http://henryyuen.net/fall2020/complexity_of_entanglement_notes.pdf \|website=henryyuen.net \|access-date=20 April 2021}}</ref> निम्नलिखित तालिका प्रतिष्ठित सीएसपी और हैमिल्टनियन के मध्य अनुरूप गैजेट को प्रदर्शित करती है।
	{\| class="wikitable"		{\| class="wikitable"
	\|-		\|-
Line 100:		Line 100:
	'''अन्य क्यूएमए-पूर्ण समस्याएं'''		'''अन्य क्यूएमए-पूर्ण समस्याएं'''

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

	== संबंधित वर्ग ==		== संबंधित वर्ग ==

	~~QCMA~~ (या ~~MQA~~<ref name="JW" />), जो क्वांटम क्लासिकल मर्लिन आर्थर (या मर्लिन क्वांटम आर्थर) के लिए है, क्यूएमए के समान है, किन्तु प्रमाण ~~शास्त्रीय~~ स्ट्रिंग होना चाहिए। यह ज्ञात नहीं है कि ~~QMA~~, ~~QCMA~~ के बराबर है या नहीं, चूँकि ~~QCMA~~ स्पष्ट रूप से ~~QMA~~ में निहित है।		क्यूसीएमए (या एमक्यूए<ref name="JW" />), जो क्वांटम क्लासिकल मर्लिन आर्थर (या मर्लिन क्वांटम आर्थर) के लिए है, क्यूएमए के समान है, किन्तु प्रमाण प्रतिष्ठित स्ट्रिंग होना चाहिए। यह ज्ञात नहीं है कि क्यूएमए, क्यूसीएमए के बराबर है या नहीं, चूँकि क्यूसीएमए स्पष्ट रूप से क्यूएमए में निहित है।

	~~QIP~~(k), जो [[क्वांटम इंटरैक्टिव बहुपद समय]] (k संदेश) के लिए है, ~~QMA~~ का सामान्यीकरण है जहां मर्लिन और आर्थर k राउंड के लिए ~~बातचीत~~ कर सकते हैं। क्यूएमए क्यूआईपी(1) है। ~~QIP~~(2) को ~~PSPACE~~ में जाना जाता है।<ref>{{Cite book \| last1=Jain \| first1=Rahul \| last2=Upadhyay \| first2=Sarvagya \| last3=Watrous \| first3=John \| author3-link=John Watrous (computer scientist) \| title=[[Symposium on Foundations of Computer Science\|Proceedings of the 50th Annual IEEE Symposium on Foundations of Computer Science (FOCS '09)]] \| publisher=IEEE Computer Society \| isbn=978-0-7695-3850-1 \| year=2009 \| chapter=Two-message quantum interactive proofs are in PSPACE \| doi = 10.1109/FOCS.2009.30 \| pages=534–543}}</ref>		क्यूआईपी(k), जो [[क्वांटम इंटरैक्टिव बहुपद समय]] (k संदेश) के लिए है, क्यूएमए का सामान्यीकरण है जहां मर्लिन और आर्थर k राउंड के लिए चर्चा कर सकते हैं। क्यूएमए, क्यूआईपी(1) है। क्यूआईपी(2) को पीस्पेस में जाना जाता है।<ref>{{Cite book \| last1=Jain \| first1=Rahul \| last2=Upadhyay \| first2=Sarvagya \| last3=Watrous \| first3=John \| author3-link=John Watrous (computer scientist) \| title=[[Symposium on Foundations of Computer Science\|Proceedings of the 50th Annual IEEE Symposium on Foundations of Computer Science (FOCS '09)]] \| publisher=IEEE Computer Society \| isbn=978-0-7695-3850-1 \| year=2009 \| chapter=Two-message quantum interactive proofs are in PSPACE \| doi = 10.1109/FOCS.2009.30 \| pages=534–543}}</ref> क्यूआईपी (जटिलता) क्यूआईपी(k) है, जहां k को क्वैबिट की संख्या में बहुपद होने की अनुमति है। यह ज्ञात है कि QIP(3) = QIP.<ref>{{Cite journal \| last1=Watrous \| first1=John \| author1-link=John Watrous (computer scientist) \| title=पीएसपीएसीई में निरंतर-गोल क्वांटम इंटरैक्टिव प्रूफ सिस्टम हैं\| year=2003 \| journal=[[Theoretical Computer Science (journal)\|Theoretical Computer Science]] \| volume=292 \| issue=3 \| pages=575–588 \| doi=10.1016/S0304-3975(01)00375-9 \| doi-access=free }}</ref> यह भी ज्ञात है कि QIP = IP (जटिलता) = [[PSPACE]]।<ref>{{cite journal \| last1=Jain \| first1=Rahul \| last2=Ji \| first2=Zhengfeng \| last3=Upadhyay \| first3=Sarvagya \| last4=Watrous \| first4=John \| author4-link=John Watrous (computer scientist) \| journal = [[Journal of the ACM]] \| year=2011 \| title=QIP = PSPACE \| volume = 58 \| issue = 6 \| page = A30 \| doi = 10.1145/2049697.2049704}}
	~~QIP~~ (जटिलता) ~~QIP~~(k) है जहां k को क्वैबिट की संख्या में बहुपद होने की अनुमति है। यह ज्ञात है कि QIP(3) = QIP.<ref>{{Cite journal \| last1=Watrous \| first1=John \| author1-link=John Watrous (computer scientist) \| title=पीएसपीएसीई में निरंतर-गोल क्वांटम इंटरैक्टिव प्रूफ सिस्टम हैं\| year=2003 \| journal=[[Theoretical Computer Science (journal)\|Theoretical Computer Science]] \| volume=292 \| issue=3 \| pages=575–588 \| doi=10.1016/S0304-3975(01)00375-9 \| doi-access=free }}</ref> यह भी ज्ञात है कि QIP = IP (जटिलता) = [[PSPACE]]।<ref>{{cite journal \| last1=Jain \| first1=Rahul \| last2=Ji \| first2=Zhengfeng \| last3=Upadhyay \| first3=Sarvagya \| last4=Watrous \| first4=John \| author4-link=John Watrous (computer scientist) \| journal = [[Journal of the ACM]] \| year=2011 \| title=QIP = PSPACE \| volume = 58 \| issue = 6 \| page = A30 \| doi = 10.1145/2049697.2049704}}
	</ref>		</ref>

	== अन्य वर्गों से संबंध ==		== अन्य वर्गों से संबंध ==
	~~QMA~~ निम्नलिखित संबंधों द्वारा अन्य ज्ञात जटिलता वर्गों से संबंधित है:		क्यूएमए निम्नलिखित संबंधों द्वारा अन्य ज्ञात जटिलता वर्गों से संबंधित है:
	:<math>\mathsf{P} \subseteq \mathsf{NP} \subseteq \mathsf{MA} \subseteq \mathsf{QCMA} \subseteq \mathsf{QMA}\subseteq \mathsf{PP} \subseteq \mathsf{PSPACE}</math>		:<math>\mathsf{P} \subseteq \mathsf{NP} \subseteq \mathsf{MA} \subseteq \mathsf{QCMA} \subseteq \mathsf{QMA}\subseteq \mathsf{PP} \subseteq \mathsf{PSPACE}</math>
	~~पहला~~ समावेशन एनपी (जटिलता) की परिलैंग्वेज से होता है। अगले दो निष्कर्ष इस तथ्य से निकलते हैं कि प्रत्येक ~~मामले~~ में सत्यापनकर्ता को अधिक शक्तिशाली बनाया जा रहा है। क्यूसीएमए क्यूएमए में समाहित है क्योंकि सत्यापनकर्ता प्रमाण प्राप्त होते ही प्रमाण को मापकर ~~शास्त्रीय~~ प्रमाण ~~भेजने~~ के लिए बाध्य कर सकता है। तथ्य यह है कि क्यूएमए [[पीपी (जटिलता)]] में निहित है, [[एलेक्सी किताएव]] और [[जॉन वॉटरस (कंप्यूटर वैज्ञानिक)]] द्वारा ~~दिखाया~~ गया था। पीपी को ~~PSPACE~~ में भी ~~आसानी~~ से ~~दिखाया~~ जाता है।		प्रथम समावेशन एनपी (जटिलता) की परिलैंग्वेज से होता है। अगले दो निष्कर्ष इस तथ्य से निकलते हैं कि प्रत्येक विषय में सत्यापनकर्ता को अधिक शक्तिशाली बनाया जा रहा है। क्यूसीएमए, क्यूएमए में समाहित है क्योंकि सत्यापनकर्ता प्रमाण प्राप्त होते ही प्रमाण को मापकर प्रतिष्ठित प्रमाण प्रेक्षित करने के लिए बाध्य कर सकता है। तथ्य यह है कि क्यूएमए [[पीपी (जटिलता)]] में निहित है, [[एलेक्सी किताएव]] और [[जॉन वॉटरस (कंप्यूटर वैज्ञानिक)]] द्वारा प्रदर्शित किया गया था। पीपी को पीस्पेस में भी सरलता से प्रदर्शित किया जाता है।

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

← Older revision		Revision as of 11:33, 14 August 2023
Line 2:		Line 2:
	{{about\|गणितीय सिद्धांत\|समाक्षीय आरएफ कनेक्टर\|क्यूएमए और क्यूएन कनेक्टर}}		{{about\|गणितीय सिद्धांत\|समाक्षीय आरएफ कनेक्टर\|क्यूएमए और क्यूएन कनेक्टर}}

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

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