जेफिरनेट लोगो

क्वांटम अभिकलन के लिए शास्त्रीय शून्य-ज्ञान तर्क

दिनांक:

थॉमस विदिक1 और टीना झांग2

1कंप्यूटिंग और गणितीय विज्ञान विभाग, कैलिफोर्निया प्रौद्योगिकी संस्थान, यूएसए
2भौतिकी, गणित और खगोल विज्ञान विभाग, कैलिफोर्निया प्रौद्योगिकी संस्थान, यूएसए

इस पेपर को दिलचस्प खोजें या चर्चा करना चाहते हैं? Scate या SciRate पर एक टिप्पणी छोड़ दें.

सार

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

► BibTeX डेटा

► संदर्भ

[1] डोरिट अहरोनोव, माइकल बेन-ओर, और एलाद एबन। क्वांटम कम्प्यूटेशंस के लिए इंटरएक्टिव सबूत। एंड्रयू ची-चिह याओ में, संपादक, कंप्यूटर विज्ञान में नवाचार - आईसीएस 2010, सिंघुआ विश्वविद्यालय, बीजिंग, चीन, 5-7 जनवरी, 2010। कार्यवाही, पृष्ठ 453-469। सिंघुआ यूनिवर्सिटी प्रेस, 2010. यूआरएल https:/​conference.iiis.tsinghua.edu.cn/​ICS2010/​content/​papers/​35.html।
https://conference.iiis.tsinghua.edu.cn/​ICS2010/​content/​papers/​35.html

[2] डोरिट अहरोनोव, माइकल बेन-ओर, एलाद एबन और उर्मिला महादेव। क्वांटम कम्प्यूटेशंस के लिए इंटरएक्टिव सबूत। arXiv प्रीप्रिंट arXiv:1704.04487, 2017.
arXiv: 1704.04487

[3] गोरजन अलागिक, एंड्रयू एम। चाइल्ड्स, एलेक्स बी। ग्रिलो, और शिह-हान हंग। क्वांटम गणना का गैर-संवादात्मक शास्त्रीय सत्यापन। arXiv ई-प्रिंट, पृष्ठ arXiv:1911.08101, नवंबर 2019,।
arXiv: 1911.08101

[4] गाइल्स ब्रासर्ड, डेविड चाउम और क्लाउड क्रेप्यू। ज्ञान का न्यूनतम प्रकटीकरण प्रमाण। जे. कम्प्यूट. सिस्ट। विज्ञान।, 37(2):156–189, अक्टूबर 1988। 10.1016/0022-0000(88)90005-0।
https:/​/​doi.org/​10.1016/​0022-0000(88)90005-0

[5] ऐनी ब्रॉडबेंट, जोसेफ फिट्ज़सिमोंस, और एल्हम काशेफ़ी। यूनिवर्सल ब्लाइंड क्वांटम कम्प्यूटेशन। कंप्यूटर साइंस की नींव में, 2009। FOCS'09। 50वीं वार्षिक IEEE संगोष्ठी, पृष्ठ 517-526 पर। आईईईई, 2009. 10.1109/फोकस.2009.36।
https: / / doi.org/ 10.1109 / focs.2009.36

[6] ऐनी ब्रॉडबेंट और एलेक्स बी ग्रिलो। स्थानीय रूप से अनुकरणीय प्रमाणों से QMA के लिए शून्य-ज्ञान। arXiv प्रीप्रिंट arXiv:1911.07782, 2019।
arXiv: 1911.07782

[7] ऐनी ब्रॉडबेंट, झेंगफेंग जी, फेंग सॉन्ग और जॉन वाटरस। QMA के लिए जीरो-नॉलेज प्रूफ सिस्टम। कंप्यूटर विज्ञान की नींव में (एफओसीएस), 2016 आईईईई 57वीं वार्षिक संगोष्ठी पर, पृष्ठ 31-40। आईईईई, 2016. 10.1109/फोकस.2016.13.
https: / / doi.org/ 10.1109 / focs.2016.13

[8] जैकब डी। बियामोंटे और पीटर जे। लव। सार्वत्रिक रुद्धोष्म क्वांटम कंप्यूटरों के लिए प्राप्य हैमिल्टनियन। शारीरिक समीक्षा ए, 78:012352, जुलाई 2008, 10.1103/physreva.78.012352।
https: / / doi.org/ 10.1103 / physreva.78.012352

[9] माइकल बेन-ओर, ओडेड गोल्डरिच, शफी गोल्डवासर, जोहान हस्ताद, जो किलियन, सिल्वियो मिकाली और फिलिप रोगवे। सिद्ध करने योग्य सब कुछ शून्य-ज्ञान में सिद्ध होता है। खंड 403, पृष्ठ 37-56, 08 1988। 10.1007/0-387-34799-2_4।
https:/​/​doi.org/​10.1007/​0-387-34799-2_4

[10] नीर बिटान्स्की और ओमरी शमुएली। निरंतर दौर में पोस्ट-क्वांटम शून्य ज्ञान। arXiv प्रीप्रिंट arXiv:1912.04769, 2019।
arXiv: 1912.04769

[11] एंड्रिया कोलाडांगेलो, थॉमस विदिक और टीना झांग। क्यूएमए के लिए गैर-संवादात्मक शून्य-ज्ञान तर्क, प्रीप्रोसेसिंग के साथ। arXiv प्रीप्रिंट arXiv:1911.07546, 2019।
arXiv: 1911.07546

[12] जोसेफ एफ फिट्ज़सिमोंस और एल्हम काशेफ़ी। बिना शर्त सत्यापन योग्य अंधा क्वांटम गणना। शारीरिक समीक्षा ए, 96(1):012303, 2017. 10.1103/physreva.96.012303।
https: / / doi.org/ 10.1103 / physreva.96.012303

[13] शफी गोल्डवासर, सिल्वियो मिकाली और चार्ल्स रैकॉफ। इंटरैक्टिव प्रूफ सिस्टम की ज्ञान जटिलता। कंप्यूटिंग पर सियाम जर्नल, 18(1):186–208, 1989. 10.1137/0218012।
https: / / doi.org/ 10.1137 / १.१३,९४,२०८

[14] ओडेड गोल्डरेइच, सिल्वियो मिकाली, और एवी विगडरसन। सबूत जो कुछ भी नहीं देते हैं लेकिन उनकी वैधता या एनपी में सभी भाषाओं में शून्य-ज्ञान प्रमाण प्रणाली है। जे. एसीएम, 38(3):690–728, जुलाई 1991। 10.1145/116825.116852।
https: / / doi.org/ 10.1145 / १.१३,९४,२०८

[15] एलेक्सी यू किताएव, अलेक्जेंडर शेन, मिखाइल एन व्याली, और मिखाइल एन व्याली। शास्त्रीय और क्वांटम गणना। संख्या 47. अमेरिकी गणितीय समाज, 2002। 10.1090/जीएसएम/047/10।
https://​doi.org/​10.1090/​gsm/​047/​10

[16] उर्मिला महादेव। क्वांटम संगणनाओं का शास्त्रीय सत्यापन। कंप्यूटर विज्ञान की नींव (एफओसीएस), 2018 आईईईई 59वीं वार्षिक संगोष्ठी में, पृष्ठ 259-267, अक्टूबर 2018। 10.1109/फोकस.2018.00033।
https: / / doi.org/ 10.1109 / focs.2018.00033

[17] टोमोयुकी मोरिमे और जोसेफ एफ। फिट्ज़सिमोंस। एक ही कहावत के साथ तदर्थ सत्यापन पोस्ट करें। arXiv ई-प्रिंट, मार्च 2016, https:/​arxiv.org/​pdf/​1603.06046.pdf। 10.1103/फिज रेवलेट.120.040501।
https: / / doi.org/ 10.1103 / PhysRevLett.120.040501
https: / / arxiv.org/ पीडीएफ / 1603.06046.pdf

[18] टोमोयुकी मोरिमे, डैनियल नागाज और नॉर्बर्ट शुच। क्वांटम सबूतों को केवल सिंगल-क्विबिट माप का उपयोग करके सत्यापित किया जा सकता है। शारीरिक समीक्षा ए, 93:022326, फरवरी 2016, 10.1103/physreva.93.022326।
https: / / doi.org/ 10.1103 / physreva.93.022326

[19] डेनियल माइकियानसियो और क्रिस पीकर्ट। जाली के लिए जाल: सरल, कड़ा, तेज, छोटा। क्रिप्टोलॉजी ईप्रिंट आर्काइव, रिपोर्ट 2011/501, 2011। 10.1007/​978-3-642-29011-4_41। https://​/eprint.iacr.org/​2011/​501.
https:/​/​doi.org/​10.1007/​978-3-642-29011-4_41
https: / / eprint.iacr.org/ 2011/501

[20] क्रिस मैरियट और जॉन वाटरस। क्वांटम आर्थर-मर्लिन गेम्स। कम्प्यूटेशनल जटिलता, 14(2):122-152, 2005. 10.1109/ccc.2004.1313850.
https: / / doi.org/ 10.1109 / ccc.2004.1313850

[21] ओडेड रेगेव। जाली पर, त्रुटियों के साथ सीखना, यादृच्छिक रैखिक कोड और क्रिप्टोग्राफी। जर्नल ऑफ द एसीएम (जेएसीएम), 56(6):34, 2009. 10.1145/1568318.1568324।
https: / / doi.org/ 10.1145 / १.१३,९४,२०८

[22] बेन डब्ल्यू रीचर्ड्ट, फाल्क अनगर, और उमेश वज़ीरानी। क्वांटम सिस्टम की शास्त्रीय कमान। प्रकृति, 496(7446):456, 2013. 10.1038/प्रकृति12035।
https: / / doi.org/ 10.1038 / nature12035

[23] जॉन वाटरस। क्वांटम हमलों के खिलाफ शून्य-ज्ञान। कंप्यूटिंग पर सियाम जर्नल, 39(1):25-58, 2009. 10.1137/060670997.
https: / / doi.org/ 10.1137 / १.१३,९४,२०८

द्वारा उद्धृत

[1] ऐनी ब्रॉडबेंट और एलेक्स बी। ग्रिलो, "स्थानीय रूप से अनुकरणीय प्रमाणों से क्यूएमए के लिए शून्य-ज्ञान", arXiv: 1911.07782.

[2] गोरजन अलागिक, एंड्रयू एम। चाइल्ड्स, एलेक्स बी। ग्रिलो, और शिह-हान हंग, "क्वांटम गणना का गैर-संवादात्मक शास्त्रीय सत्यापन", arXiv: 1911.08101.

[3] एंड्रिया कोलाडांगेलो, थॉमस विदिक, और टीना झांग, "क्यूएमए के लिए गैर-संवादात्मक शून्य-ज्ञान तर्क, प्रीप्रोसेसिंग के साथ", arXiv: 1911.07546.

[३] थॉमस विदिक और टीना झांग, "क्वांटम ज्ञान के शास्त्रीय प्रमाण", arXiv: 2005.01691.

[5] प्रभंजन अनंत और रोलैंडो एल. ला प्लाका, "सिक्योर क्वांटम एक्सट्रैक्शन प्रोटोकॉल", arXiv: 1911.07672.

उपरोक्त उद्धरण से हैं SAO / NASA ADS (अंतिम अद्यतन सफलतापूर्वक 2020-06-03 17:37:01)। सूची अधूरी हो सकती है क्योंकि सभी प्रकाशक उपयुक्त और पूर्ण उद्धरण डेटा प्रदान नहीं करते हैं।

On Crossref की उद्धृत सेवा द्वारा कार्यों का हवाला देते हुए कोई डेटा नहीं मिला (अंतिम प्रयास 2020-06-03 17:36:59)।

स्रोत: https://quantum-journal.org/papers/q-2020-05-14-266/

स्पॉट_आईएमजी

नवीनतम खुफिया

स्पॉट_आईएमजी