1सैद्धांतिक भौतिकी संस्थान, ईटीएच ज्यूरिख, 8093 ज्यूरिख, स्विट्जरलैंड
2कंप्यूटिंग और गणितीय विज्ञान विभाग, कैलिफोर्निया प्रौद्योगिकी संस्थान, सीए ९११२५, संयुक्त राज्य अमेरिका
इस पेपर को दिलचस्प खोजें या चर्चा करना चाहते हैं? Scate या SciRate पर एक टिप्पणी छोड़ दें.
सार
स्व-परीक्षण केवल शास्त्रीय इनपुट-आउटपुट सहसंबंधों के आधार पर एक मनमानी क्वांटम प्रणाली को चिह्नित करने की एक विधि है, और डिवाइस-स्वतंत्र क्वांटम सूचना प्रसंस्करण के साथ-साथ क्वांटम जटिलता सिद्धांत में एक महत्वपूर्ण भूमिका निभाता है। स्व-परीक्षण पर पहले के कार्यों में इस धारणा की आवश्यकता होती है कि सिस्टम की स्थिति कई पार्टियों के बीच साझा की जाती है जो केवल स्थानीय माप करते हैं और संवाद नहीं कर सकते। यहां, हम $textit{एकाधिक गैर-संचारी}$ पार्टियों की सेटिंग को प्रतिस्थापित करते हैं, जिसे व्यवहार में लागू करना मुश्किल है, एक $textit{एकल कम्प्यूटेशनल रूप से बाध्य}$ पार्टी द्वारा। विशेष रूप से, हम एक प्रोटोकॉल का निर्माण करते हैं जो एक शास्त्रीय सत्यापनकर्ता को दृढ़ता से प्रमाणित करने की अनुमति देता है कि एक एकल कम्प्यूटेशनल रूप से बाध्य क्वांटम डिवाइस ने एक बेल जोड़ी तैयार की होगी और उस पर सिंगल-क्विबिट मापन किया होगा, जो कि डिवाइस के राज्य और माप दोनों पर लागू आधार के परिवर्तन तक है। . इसका मतलब यह है कि कम्प्यूटेशनल मान्यताओं के तहत, सत्यापनकर्ता उलझाव की उपस्थिति को प्रमाणित करने में सक्षम है, एक संपत्ति जो आमतौर पर एक एकल क्वांटम डिवाइस के अंदर दो अलग-अलग उप-प्रणालियों से जुड़ी होती है। इसे प्राप्त करने के लिए, हम पहली बार ब्रैकर्स्की एट अल द्वारा शुरू की गई तकनीकों पर निर्माण करते हैं। (२०१८) और महादेव (२०१८) जो एक शास्त्रीय सत्यापनकर्ता को क्वांटम डिवाइस के कार्यों को बाधित करने की अनुमति देते हैं, यह मानते हुए कि डिवाइस पोस्ट-क्वांटम क्रिप्टोग्राफी को नहीं तोड़ता है।
विशेष रुप से प्रदर्शित छवि: शास्त्रीय सत्यापनकर्ता और अविश्वसनीय कम्प्यूटेशनल रूप से बाध्य क्वांटम डिवाइस के बीच इंटरएक्टिव प्रोटोकॉल। यदि डिवाइस प्रोटोकॉल में गुजरता है, तो उसने प्रोटोकॉल में अपनी प्रतिक्रिया उत्पन्न करने के लिए एक ईपीआर स्थिति तैयार और मापी होगी। प्रोटोकॉल इसलिए सत्यापनकर्ता को डिवाइस-स्वतंत्र तरीके से ईपीआर राज्य की तैयारी और माप को प्रमाणित करने की अनुमति देता है।
► BibTeX डेटा
► संदर्भ
[1] डब्ल्यू. ऐलो, एस. भट्ट, आर. ओस्ट्रोव्स्की, और एसआर राजगोपालन। "किसी भी दूरस्थ प्रक्रिया कॉल का तेजी से सत्यापन: लघु गवाह-एनपी के लिए अलग-अलग एक दौर के सबूत", ऑटोमेटा, भाषाएं और प्रोग्रामिंग - आईसीएएलपी 2000, कंप्यूटर विज्ञान में व्याख्यान नोट्स, स्प्रिंगर, 463-474 (2000)।
https://doi.org/10.1007/3-540-45022-X_39
[2] जी. अलागिक, एएम चाइल्ड्स, एबी ग्रिलो, और एस.-एच। त्रिशंकु। "क्वांटम गणना का गैर-संवादात्मक शास्त्रीय सत्यापन", प्रीप्रिंट (2019)। arXiv:1911.08101.
arXiv: 1911.08101
[3] एम। बेन-ओर, सी। क्रेपौ, डी। गॉट्समैन, ए। हसीदिम, और ए। स्मिथ। "सिक्योर मल्टीपार्टी क्वांटम कंप्यूटेशन (केवल) एक सख्त ईमानदार बहुमत के साथ", कंप्यूटर विज्ञान की नींव पर आईईईई 47 वीं वार्षिक आईईईई संगोष्ठी (एफओसीएस), 249-260 (2006)।
https: / / doi.org/ 10.1109 / FOCS.2006.68
[4] जेड ब्रेकरस्की, पी. क्रिस्टियानो, यू. महादेव, यू. वज़ीरानी, और टी. विदिक। "एक एकल क्वांटम डिवाइस से क्वांटमनेस और प्रमाणित यादृच्छिकता का एक क्रिप्टोग्राफिक परीक्षण", कंप्यूटर विज्ञान की नींव (एफओसीएस), 59-320 (331) पर आईईईई 2018 वां वार्षिक संगोष्ठी। arXiv:1804.00640v3.
https: / / doi.org/ 10.1109 / FOCS.2018.00038
arXiv: 1804.00640v3
[5] जेएस बेल। "आइंस्टीन पोडॉल्स्की रोसेन विरोधाभास पर", फिजिक्स फिजिक फिजिका 1, 195-200 (1964)।
https: / / doi.org/ 10.1103 / PhysicsPhysiqueFizika.1.195
[6] A. Bouland, B. Fefferman, C. Nirkhe, और U. Vazirani। "क्वांटम रैंडम सर्किट सैंपलिंग की जटिलता और सत्यापन पर", नेचर फिजिक्स 15, 159–163 (2019)।
https://doi.org/10.1038/s41567-018-0318-2
[7] ए. ब्रॉडबेंट और एबी ग्रिलो। "क्यूएमए-कठोरता की स्थिरता के स्थानीय घनत्व मैट्रिसेस के अनुप्रयोगों के साथ क्वांटम शून्य-ज्ञान", IEEE 61वाँ वार्षिक संगोष्ठी ऑन फ़ाउंडेशन ऑफ़ कंप्यूटर साइंस (FOCS), 196–205 (2020)।
https://doi.org/ 10.1109/FOCS46700.2020.00027
[8] Z. Brakerski, V. Koppula, U. Vazirani, और T. Vidick। "क्वांटमनेस के सरल प्रमाण", प्रीप्रिंट (2020)। arXiv: २००५.०४८२६।
arXiv: 2005.04826
[9] के. भारती, एम. रे, ए. वरवित्सियोटिस, एनए वारसी, ए. कैबेलो, और एल.-सी. कुवेक "गैर-प्रासंगिकता असमानताओं के माध्यम से क्वांटम सिस्टम का मजबूत स्व-परीक्षण", Phys। रेव लेट। 122, 250403 (2019)। arXiv:1812.07265.
https: / / doi.org/ 10.1103 / PhysRevLett.122.250403
arXiv: 1812.07265
[10] ए. कोजोकारू, एल. कोलिसन, ई. काशेफ़ी, और पी. वाल्डेन। "QFactory: क्लासिकली-इंस्ट्रक्टेड रिमोट सीक्रेट क्यूबिट्स प्रिपरेशन", क्रिप्टोलॉजी में एडवांस - ASIACRYPT 2019, कंप्यूटर साइंस में लेक्चर नोट्स, स्प्रिंगर, 615-645 (2019)। arXiv: १९०४.०६३०३।
https://doi.org/10.1007/978-3-030-34578-5_22
arXiv: 1904.06303
[11] एन.-एच. चिया, के.-एम. चुंग, और टी. यामाकावा। "कुशल सत्यापनकर्ता के साथ क्वांटम संगणना का शास्त्रीय सत्यापन", प्रीप्रिंट (2019)। arXiv:1912.00990।
arXiv: 1912.00990
[12] ए. कोलाडेनजेलो, एबी ग्रिलो, एस. जेफ़री, और टी. विदिक। "सत्यापनकर्ता-ऑन-ए-लीश: क्वासिलिनियर संसाधनों के साथ सत्यापन योग्य प्रत्यायोजित क्वांटम गणना के लिए नई योजनाएं", क्रिप्टोलॉजी में अग्रिम - EUROCRYPT 2019, कंप्यूटर विज्ञान में व्याख्यान नोट्स, स्प्रिंगर 11478 LNCS, 247-277 (2019)। arXiv:१७०८.०७३५९।
https://doi.org/10.1007/978-3-030-17659-4_9
arXiv: 1708.07359
[13] सी. क्रेप्यू, डी. गॉट्समैन, और ए. स्मिथ। "सिक्योर मल्टी-पार्टी क्वांटम कम्प्यूटेशन", कंप्यूटिंग के सिद्धांत पर 34वें वार्षिक एसीएम संगोष्ठी की कार्यवाही, 643-652 (2002)।
https: / / doi.org/ 10.1145 / १.१३,९४,२०८
[14] ए। कोलाडेनजेलो, केटी गोह, और वी। स्कारानी। "सभी शुद्ध द्विदलीय उलझे हुए राज्य स्व-परीक्षण किए जा सकते हैं", नेचर कम्युनिकेशंस 8, 15485 (2017)। arXiv:१६११.०८०६२.
https: / / doi.org/ 10.1038 / ncomms15485
arXiv: 1611.08062
[15] आर कोलबेक। सुरक्षित बहु-पक्ष संगणना के लिए क्वांटम और सापेक्षवादी प्रोटोकॉल, पीएचडी थीसिस, कैम्ब्रिज विश्वविद्यालय (2006)। arXiv: ०९११.३८१४।
arXiv: 0911.3814
[16] ए। कोलाडेनजेलो, टी। विदिक, और टी। झांग। "प्रीप्रोसेसिंग के साथ QMA के लिए गैर-संवादात्मक शून्य-ज्ञान तर्क", वार्षिक अंतर्राष्ट्रीय क्रिप्टोलॉजी सम्मेलन (CRYPTO), 799–828 (2020)।
https://doi.org/10.1007/978-3-030-56877-1_28
[17] वाई। डोडिस, एस। हलेवी, आरडी रोथब्लम, और डी। विच। "डरावना एन्क्रिप्शन और इसके अनुप्रयोग", क्रिप्टोलॉजी में अग्रिम - क्रिप्टो २०१६, कंप्यूटर विज्ञान में व्याख्यान नोट्स, स्प्रिंगर, ९३-१२२ (२०१६)।
https://doi.org/10.1007/978-3-662-53015-3_4
[18] डब्ल्यूटी गोवर्स और ओ. हाटामी। "परिमित समूहों के अनुमानित प्रतिनिधित्व के लिए उलटा और स्थिरता प्रमेय", सोबोर्निक: गणित 208, 1784 (2017)।
https: / / doi.org/ 10.1070 / SM8872
[19] ए. घोरघिउ और टी. विदिक। "कम्प्यूटेशनल रूप से सुरक्षित और कंपोज़ेबल रिमोट स्टेट तैयारी", कंप्यूटर विज्ञान की नींव (एफओसीएस), 60-1024 (1033) पर आईईईई 2019 वीं वार्षिक संगोष्ठी।
https: / / doi.org/ 10.1109 / FOCS.2019.00066
[20] जेड जी, ए नटराजन, टी विदिक, जे राइट, और एच यूएन। "${एमआईपी}^*={आरई}$", प्रीप्रिंट (2020)। arXiv: २००१.०४३८३।
arXiv: 2001.04383
[21] वाईटी कलाई, आर. रज़, और आरडी रोथब्लम। "हाउ टू डेलिगेट कंप्यूटेशंस: द पावर ऑफ़ नो-सिग्नलिंग प्रूफ़", थ्योरी ऑफ़ कंप्यूटिंग (STOC) पर 46वें वार्षिक ACM SIGACT संगोष्ठी की कार्यवाही, 485-494 (2014)।
https: / / doi.org/ 10.1145 / १.१३,९४,२०८
[22] यू महादेव। "क्वांटम संगणना का शास्त्रीय सत्यापन", कंप्यूटर विज्ञान की नींव (एफओसीएस), 59-259 (267) पर आईईईई 2018वीं वार्षिक संगोष्ठी। arXiv:1804.01082v2.
https: / / doi.org/ 10.1109 / FOCS.2018.00033
arXiv: 1804.01082v2
[23] टी. मेटगर, वाई. डुलेक, ए. कोलाडांगेलो, और आर. अर्नोन-फ़्रीडमैन. "डिवाइस-स्वतंत्र क्वांटम कुंजी वितरण कम्प्यूटेशनल मान्यताओं से", प्रीप्रिंट (2020)। arXiv:२०१०.०४१७५.
arXiv: 2010.04175
[24] सीए मिलर और वाई. शी। "स्पॉट-चेकिंग प्रोटोकॉल से यादृच्छिकता विस्तार के लिए सार्वभौमिक सुरक्षा", कंप्यूटिंग 46 पर सियाम जर्नल, 1304-1335 (2017)। arXiv: १४११.६६०८।
https: / / doi.org/ 10.1137 / 15M1044333
arXiv: 1411.6608
[25] डी मेयर्स और ए याओ। "स्व परीक्षण क्वांटम उपकरण", क्वांटम जानकारी। संगणना। 4, 273-286 (2004)। arXiv:क्वांट-पीएच/0307205।
arXiv: बल्ली से ढकेलना-पीएच / 0307205
https: / / dl.acm.org/ दोई / 10.5555 / २०,१६,९८५.२०,१६,९८६
[26] एम. मैककेग, टीएच यांग, और वी. स्कारानी। "सिंगल का मजबूत स्व-परीक्षण", भौतिक विज्ञान के जर्नल ए: गणितीय और सैद्धांतिक 45, 455304 (2012)।
https://doi.org/10.1088/1751-8113/45/45/455304
[27] ए नटराजन और जे राइट। "एमआईपी में एनईईएक्सपी*", कंप्यूटर विज्ञान की नींव पर आईईईई 60वीं वार्षिक संगोष्ठी (एफओसीएस), 510-518 (2019)। arXiv:1904.05870।
https: / / doi.org/ 10.1109 / FOCS.2019.00039
arXiv: 1904.05870
[28] एस. पोपेस्कु और डी. रोहरलिच। "कौन से राज्य बेल की असमानता का अधिकतम उल्लंघन करते हैं?", भौतिकी पत्र ए 169, 411–414 (1992)।
https://doi.org/10.1016/0375-9601(92)90819-8
[29] आर. राज. "एक समानांतर पुनरावृत्ति प्रमेय", कंप्यूटिंग 27 पर SIAM जर्नल, 763–803 (1998)।
https: / / doi.org/ 10.1137 / S0097539795280895
[30] ओ रेगेव। "लैटिस पर, त्रुटियों के साथ सीखना, यादृच्छिक रैखिक कोड, और क्रिप्टोग्राफी", जे। एसीएम 56 (2009)।
https: / / doi.org/ 10.1145 / १.१३,९४,२०८
[31] BW Reichardt, F. Unger, और U. Vazirani। "क्वांटम सिस्टम का शास्त्रीय आदेश", प्रकृति 496, 456 (2013)। arXiv:१२०९.०४४९।
https: / / doi.org/ 10.1038 / nature12035
arXiv: 1209.0449
[32] I. upić और जे. बाउल्स। "क्वांटम सिस्टम का स्व-परीक्षण: एक समीक्षा", प्रीप्रिंट (2019)। arXiv: १९०४.१००४२।
https://doi.org/10.22331/q-2020-09-30-337
arXiv: 1904.10042
[33] वी. स्कारानी। बेल नॉनलोकैलिटी, ऑक्सफोर्ड यूनिवर्सिटी प्रेस (2019)।
[34] एसजे समर्स और आर वर्नर। "बेल की असमानताओं का अधिकतम उल्लंघन क्वांटम क्षेत्र सिद्धांत में सामान्य है", गणितीय भौतिकी में संचार 110, 247-259 (1987)।
https: / / doi.org/ 10.1007 / BF01207366
[35] टी. विदिक। उलझे हुए खेलों की जटिलता। पीएचडी थीसिस, 2011।
https://digitalassets.lib.berkeley.edu/etd/ucb/text/Vidick_berkeley_0028E_11907.pdf
[36] यू. वज़ीरानी और टी. विदिक। "प्रमाणित क्वांटम पासा: या, ट्रू रैंडम नंबर जेनरेशन सिक्योर अगेंस्ट क्वांटम एडवर्सरीज़", ४४वें वार्षिक एसीएम सिगैक्ट सिम्पोजियम ऑन थ्योरी ऑफ़ कंप्यूटिंग (STOC), ६१-७६ (२०१२) की कार्यवाही। arXiv:११११.६०५४.
https: / / doi.org/ 10.1145 / १.१३,९४,२०८
arXiv: 1111.6054
[37] टी. विदिक और टी. झांग। "क्वांटम ज्ञान के शास्त्रीय प्रमाण", प्रीप्रिंट (2020)। arXiv:2005.01691।
arXiv: 2005.01691
[38] एम वाइल्ड। "क्लासिकल से क्वांटम शैनन थ्योरी तक", प्रीप्रिंट (2011)। arXiv: 1106.1445v8.
https: / / doi.org/ 10.1017 / १.१३,९४,२०८
arXiv: 1106.1445v8
द्वारा उद्धृत
[३४] किशोर भारती, अल्बा सेरवेरा-लिआर्टा, थी हा क्याव, तोबियास हग, सुमेर अल्परिन-ली, अभिनव आनंद, मथियास डीग्रोटे, हरमनी हेमोनन, जैकब एस। कोट्टमन, टिम मेनके, वाई-केओंग मोक, सुकिन सिम, लियोंग- चुआन केवेक और एलन आसपुरु-गुज़िक, "शोर मध्यवर्ती पैमाने पर क्वांटम (NISQ) एल्गोरिदम", arXiv: 2101.08448.
[२] अलेक्जेंड्रू घोरघिउ और मैटी जे। होबन, "उथले सर्किट आउटपुट की एन्ट्रापी का अनुमान लगाना कठिन है", arXiv: 2002.12814.
[३] थॉमस विदिक और टीना झांग, "क्वांटम ज्ञान के शास्त्रीय प्रमाण", arXiv: 2005.01691.
[२०] यू कै, बाइचु यू, पूजा जयचंद्रन, निकोलस ब्रूनर, वेलेरियो स्कारानी, और जीन-डेनियल बंसल, "दो उप-प्रणालियों की किसी भी परिभाषा के लिए प्रवेश", भौतिक समीक्षा A 103 5, 052432 (2021).
[५] टोनी मेटगर, यफके दुलेक, एंड्रिया कोलाडांगेलो, और रोटेम अर्नोन-फ्राइडमैन, "कम्प्यूटेशनल मान्यताओं से डिवाइस-स्वतंत्र क्वांटम कुंजी वितरण", arXiv: 2010.04175.
[६] टोमोयुकी मोरिमे, "विश्वसनीय केंद्र के साथ क्वांटम कंप्यूटिंग की सूचना-सैद्धांतिक-ध्वनि गैर-संवादात्मक शास्त्रीय सत्यापन", arXiv: 2003.10712.
[७] टोमोयुकी मोरिमे और युकी टेकुची, "विश्वसनीय केंद्र सत्यापन मॉडल और शास्त्रीय चैनल दूरस्थ राज्य तैयारी", arXiv: 2008.05033.
[८] किशोर भारती, महर्षि रे, जेन-पेंग जू, मासाहिटो हयाशी, लिओंग-चुआन क्वेक, और अदन कैबेलो, "घंटी परिदृश्यों में स्व-परीक्षण के लिए ग्राफ-सैद्धांतिक ढांचा", arXiv: 2104.13035.
उपरोक्त उद्धरण से हैं SAO / NASA ADS (अंतिम अद्यतन सफलतापूर्वक 2021-09-16 17:11:41)। सूची अधूरी हो सकती है क्योंकि सभी प्रकाशक उपयुक्त और पूर्ण उद्धरण डेटा प्रदान नहीं करते हैं।
नहीं ला सके Crossref डेटा द्वारा उद्धृत आखिरी प्रयास के दौरान 2021-09-16 17:11:40: क्रॉसफ़ीयर से 10.22331 / q-2021-09-16-544 के लिए उद्धृत डेटा प्राप्त नहीं कर सका। हाल ही में डीओआई पंजीकृत हुआ तो यह सामान्य है।
यह पत्र क्वांटम में प्रकाशित हुआ है क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 इंटरनेशनल (CC बाय 4.0) लाइसेंस। कॉपीराइट मूल कॉपीराइट धारकों जैसे लेखकों या उनकी संस्थाओं के पास रहता है।
प्लेटोए. Web3 फिर से कल्पना की गई। डेटा इंटेलिजेंस प्रवर्धित।
एक्सेस करने के लिए यहां क्लिक करें।
