सार: सार स्टेबलाइज़र सिमुलेशन के माध्यम से क्वांटम सर्किट का विश्लेषण

[1] डेनियल गॉट्समैन. "क्वांटम कंप्यूटर का हाइजेनबर्ग प्रतिनिधित्व"। तकनीकी रिपोर्ट arXiv:क्वांट-ph/​9807006। आर्क्सिव (1998)।
https://​doi.org/​10.48550/​arXiv.quant-ph/​9807006
arXiv: बल्ली से ढकेलना-पीएच / 9807006

[2] स्कॉट एरोनसन और डैनियल गॉट्समैन। "स्टेबलाइजर सर्किट का बेहतर सिमुलेशन"। भौतिक समीक्षा ए 70, 052328 (2004)।
https: / / doi.org/ 10.1103 / PhysRevA.70.052328

[3] रॉबर्ट रैंड, आरती सुंदरम, कार्तिक सिंघल और ब्रैड लैकी। "क्लिफ़ोर्ड समूह से परे गॉट्समैन प्रकारों का विस्तार"। क्वांटम कंप्यूटिंग के लिए प्रोग्रामिंग भाषाओं पर दूसरी अंतर्राष्ट्रीय कार्यशाला (PLanQC 2021) में। (2021)। यूआरएल: https://​pldi21.sigplan.org/​details/​planqc-2021-papers/​9/​Extending-Gottesman-Types-Beyond-the-Clifford-Group.
https://​pldi21.sigplan.org/​details/​planqc-2021-papers/​9/​Extending-Gottesman-Types-Beyond-the-Clifford-Group

[4] एलेक्स किसिंजर और जॉन वैन डी वेटेरिंग। "जेडएक्स-कैलकुलस रिड्यूस्ड स्टेबलाइजर डीकंपोजिशन के साथ क्वांटम सर्किट का अनुकरण"। क्वांटम विज्ञान और प्रौद्योगिकी 7, 044001 (2022)।
https:/​/​doi.org/​10.1088/​2058-9565/​ac5d20

[5] सर्गेई ब्रावी, डैन ब्राउन, पैड्रिक कैलपिन, अर्ल कैंपबेल, डेविड गॉसेट और मार्क हॉवर्ड। "निम्न-रैंक स्टेबलाइजर डीकंपोजिशन द्वारा क्वांटम सर्किट का सिमुलेशन"। क्वांटम 3, 181 (2019)।
https:/​/​doi.org/​10.22331/​q-2019-09-02-181

[6] हाकोप पशायन, ओलिवर रियरडन-स्मिथ, कामिल कोरज़ेकवा, और स्टीफ़न डी. बार्टलेट। "क्वांटम सर्किट के लिए परिणाम संभावनाओं का तेजी से अनुमान"। पीआरएक्स क्वांटम 3, 020361 (2022)।
https: / / doi.org/ 10.1103 / PRXQuantum.3.020361

[7] "आंशिक और ग्राफ़िकल स्टेबलाइज़र अपघटन के साथ क्वांटम सर्किट का शास्त्रीय सिमुलेशन"। श्लॉस डैगस्टुहल - लाइबनिज-ज़ेंट्रम फर इंफॉर्मेटिक (2022)।
https://​doi.org/​10.4230/​LIPICS.TQC.2022.5

[8] पैट्रिक कूसोट और राधिया कूसोट। "सार व्याख्या: फिक्सप्वाइंट के निर्माण या अनुमान द्वारा कार्यक्रमों के स्थैतिक विश्लेषण के लिए एक एकीकृत जाली मॉडल"। प्रोग्रामिंग भाषाओं के सिद्धांतों पर चौथे एसीएम सिगैक्ट-सिगप्लान संगोष्ठी की कार्यवाही में। पृष्ठ 4-238। पीओपीएल '252न्यूयॉर्क, एनवाई, यूएसए (77)। एसीएम.
https: / / doi.org/ 10.1145 / १.१३,९४,२०८

[9] पैट्रिक कूसोट और राधिया कूसोट। "सार व्याख्या रूपरेखा"। जर्नल ऑफ़ लॉजिक एंड कंप्यूटेशन 2, 511-547 (1992)।
https:/​/doi.org/​10.1093/​logcom/​2.4.511

[10] ब्रूनो ब्लैंचेट, पैट्रिक कूसोट, राधिया कूसोट, जेरोम फेरेट, लॉरेंट माउबोर्गने, एंटोनी माइन, डेविड मोन्नियाक्स और जेवियर प्रतिद्वंद्वी। "बड़े सुरक्षा-महत्वपूर्ण सॉफ़्टवेयर के लिए एक स्थिर विश्लेषक"। एसीएम सिगप्लान नोटिस 38, 196-207 (2003)।
https: / / doi.org/ 10.1145 / १.१३,९४,२०८

[11] फ्रांसेस्को लोगोज़ो और मैनुअल फ़ैन्ड्रिच। "पेंटागन्स: ऐरे एक्सेस के कुशल सत्यापन के लिए एक कमजोर संबंधपरक अमूर्त डोमेन"। कंप्यूटर प्रोग्रामिंग का विज्ञान 75, 796-807 (2010)।
https://​doi.org/​10.1016/​j.scico.2009.04.004

[12] टिमोन गेहर, मैथ्यू मिरमन, डाना ड्रैक्स्लर-कोहेन, पेटार त्सानकोव, स्वरत चौधरी, और मार्टिन वेचेव। "AI2: सार व्याख्या के साथ तंत्रिका नेटवर्क की सुरक्षा और मजबूती प्रमाणन"। 2018 में सुरक्षा और गोपनीयता (एसपी) पर आईईईई संगोष्ठी। पृष्ठ 3-18। सैन फ्रांसिस्को, सीए (2018)। आईईईई।
https://​doi.org/​10.1109/​SP.2018.00058

[13] माइकल ए. नीलसन और इसहाक एल. चुआंग। "क्वांटम गणना और क्वांटम जानकारी: 10 वीं वर्षगांठ संस्करण"। कैम्ब्रिज यूनिवर्सिटी प्रेस। (2010)।
https: / / doi.org/ 10.1017 / CBO9780511976667

[14] गैडी अलेक्जेंड्रोविक्ज़, थॉमस अलेक्जेंडर, पैनागियोटिस बार्कआउट्सोस, लुसियानो बेल्लो, येल बेन-हैम, डेविड बुचर, फ्रांसिस्को जोस कैबरेरा-हर्नांडेज़, जॉर्ज कारबालो-फ्रैंक्विस, एड्रियन चेन, चुन-फू चेन, जेरी एम. चाउ, एंटोनियो डी. कॉर्कोल्स-गोंजालेस , अबीगैल जे. क्रॉस, एंड्रयू क्रॉस, जुआन क्रूज़-बेनिटो, क्रिस कल्वर, साल्वाडोर डी ला पुएंते गोंजालेज, एनरिक डी ला टोरे, डेल्टन डिंग, यूजीन डुमित्रेस्कु, इवान ड्यूरन, पीटर एन्डेबक, मार्क एवरिट, इस्माइल फ़ारो सरटेज, अल्बर्ट फ्रिस्क, एंड्रियास फ्यूहरर, जे गैम्बेटा, बोर्जा गोडॉय गागो, जुआन गोमेज़-मोस्क्वेरा, डोनी ग्रीनबर्ग, इक्को हमामुरा, वोजटेक हैवलिसेक, जो हेल्मर्स, लुकास्ज़ हेरोक, हिरोशी होरी, शाओहान हू, ताकाशी इमामिची, तोशिनारी इटोको, अली जावदी-अभारी, नाओकी कनाज़ावा, एंटोन काराज़ीव, केविन क्रुसुलिच, पेंग लियू, यांग लुह, युन्हो माएंग, मैनोएल मार्क्स, फ्रांसिस्को जोस मार्टिन-फर्नांडीज, डगलस टी. मैकक्लर, डेविड मैके, सृजन मीसाला, एंटोनियो मेज़ाकापो, निकोलज मोल, डिएगो मोरेडा रोड्रिग्ज, जियाकोमो नैनीसिनी, पॉल नेशन , पॉलीन ओलिट्रॉल्ट, ली जेम्स ओ'रिओर्डन, हैनही पाइक, जेसुएस पेरेज़, अन्ना फान, मार्को पिस्तोइया, विक्टर प्रुत्यानोव, मैक्स रॉयटर, जूलिया राइस, अब्दोन रोड्रिग्ज डेविला, रेमंड हैरी पुत्रा रूडी, मिंगी रियू, निनाद सथाये, क्रिस श्नाबेल, एडी शाउटे, कनव सेतिया, युनोंग शि, एडेनिल्टन सिल्वा, युकियो सिराइची, सेयोन सिवाराजा, जॉन ए. स्मोलिन, माथियास सोकेन, हितोमी ताकाहाशी, इवानो टैवर्नेली, चार्ल्स टेलर, पीट टेलर, केन्सो ट्रैबिंग, मैथ्यू ट्रेनिश, वेस टर्नर, देसरी वोग्ट-ली , क्रिस्टोफ़ वुइलोट, जोनाथन ए. वाइल्डस्ट्रॉम, जेसिका विल्सन, एरिक विंस्टन, क्रिस्टोफर वुड, स्टीफ़न वुड, स्टीफ़न वॉर्नर, इस्माइल यूनुस अखलावेया, और क्रिस्टा ज़ौफ़ल। "किस्किट: क्वांटम कंप्यूटिंग के लिए एक ओपन-सोर्स फ्रेमवर्क" (2019)।

[15] चार्ल्स आर. हैरिस, के. जारोड मिलमैन, स्टीफ़न जे. वान डेर वॉल्ट, राल्फ गोमर्स, पाउली वर्टानेन, डेविड कौरनपेउ, एरिक वीसर, जूलियन टेलर, सेबेस्टियन बर्ग, नथानिएल जे. स्मिथ, रॉबर्ट केर्न, मैटी पिकस, स्टीफ़न होयर, मार्टन एच. वैन केर्कविज्क, मैथ्यू ब्रेट, एलन हाल्डेन, जैमे फर्नांडीज डेल रियो, मार्क विबे, पीरू पीटरसन, पियरे जेरार्ड-मार्चेंट, केविन शेपर्ड, टायलर रेड्डी, वॉरेन वेकेसर, हमीर अब्बासी, क्रिस्टोफ गोहल्के और ट्रैविस ई. ओलिफैंट। "NumPy के साथ ऐरे प्रोग्रामिंग"। प्रकृति 585, 357-362 (2020)।
https:/​/​doi.org/​10.1038/​s41586-020-2649-2

[16] सिउ क्वान लैम, एंटोनी पित्रौ, और स्टेनली सीबेरट। "नुम्बा: एक एलएलवीएम-आधारित पायथन जेआईटी कंपाइलर"। एचपीसी में एलएलवीएम कंपाइलर इंफ्रास्ट्रक्चर पर दूसरी कार्यशाला की कार्यवाही में। पेज 1-6. एलएलवीएम '15न्यूयॉर्क, एनवाई, यूएसए (2015)। संगणक तंत्र संस्था।
https: / / doi.org/ 10.1145 / १.१३,९४,२०८

[17] क्रेग गिडनी. "स्टिम: एक तेज़ स्टेबलाइज़र सर्किट सिम्युलेटर"। क्वांटम 5, 497 (2021)।
https:/​/​doi.org/​10.22331/​q-2021-07-06-497

[18] हेनरी एस. वॉरेन. "हैकर की ख़ुशी"। एडिसन-वेस्ले प्रोफेशनल। (2012)। दूसरा संस्करण.
https: / / doi.org/ 10.5555 / १.१३,९४,२०८

[19] एलेक्स किसिंजर और जॉन वैन डी वेटेरिंग। "PyZX: बड़े पैमाने पर स्वचालित आरेखीय तर्क"। बॉब कोएके और मैथ्यू लीफ़र, संपादकों में, क्वांटम भौतिकी और तर्क पर 16वें अंतर्राष्ट्रीय सम्मेलन की कार्यवाही, चैपमैन यूनिवर्सिटी, ऑरेंज, सीए, यूएसए।, 10-14 जून 2019। सैद्धांतिक कंप्यूटर विज्ञान में इलेक्ट्रॉनिक कार्यवाही का खंड 318, पृष्ठ 229-241। ओपन पब्लिशिंग एसोसिएशन (2020)।
https: / / doi.org/ 10.4204 / EPTCS.318.14

[20] मैथ्यू एमी. "यूनिवर्सल क्वांटम सर्किट के बड़े पैमाने पर कार्यात्मक सत्यापन की ओर"। सैद्धांतिक कंप्यूटर विज्ञान में इलेक्ट्रॉनिक कार्यवाही 287, 1-21 (2019)।
https: / / doi.org/ 10.4204 / EPTCS.287.1

[21] नेंगकुन यू और जेन्स पाल्सबर्ग। "क्वांटम अमूर्त व्याख्या"। प्रोग्रामिंग भाषा डिजाइन और कार्यान्वयन पर 42वें एसीएम सिगप्लान अंतर्राष्ट्रीय सम्मेलन की कार्यवाही में। पृष्ठ 542-558। पीएलडीआई 2021न्यूयॉर्क, एनवाई, यूएसए (2021)। संगणक तंत्र संस्था।
https: / / doi.org/ 10.1145 / १.१३,९४,२०८

[22] एंटोनी माइन. "कमजोर संबंधपरक संख्यात्मक सार डोमेन"। पीएचडी थीसिस (2004)। यूआरएल: https:/​/​www-apr.lip6.fr/​ मेरा/​ये/दिस-रंग.पीडीएफ।
https://​/​www-apr.lip6.fr/​~min/​these/​these-color.pdf

[23] साइमन पेर्ड्रिक्स. "अमूर्त व्याख्या पर आधारित क्वांटम उलझाव विश्लेषण"। स्थैतिक विश्लेषण पर 15वीं अंतर्राष्ट्रीय संगोष्ठी की कार्यवाही में। पृष्ठ 270-282। एसएएस '08बर्लिन, हीडलबर्ग (2008)। स्प्रिंगर-वेरलाग।
https:/​/​doi.org/​10.1007/​978-3-540-69166-2_18

[24] केंटारो होंडा. "स्टेबलाइज़र औपचारिकता का उपयोग करके क्वांटम कार्यक्रमों में क्वांटम उलझाव का विश्लेषण"। सैद्धांतिक कंप्यूटर विज्ञान में इलेक्ट्रॉनिक कार्यवाही 195 (2015)।
https: / / doi.org/ 10.4204 / EPTCS.195.19

[25] केशा हिताला, रॉबर्ट रैंड, शिह-हान हंग, लियी ली और माइकल हिक्स। "क्वांटम प्रोग्राम को सही साबित करना"। सूचना विज्ञान में लीबनिज़ अंतर्राष्ट्रीय कार्यवाही (LIPIcs) 193, 21:1–21:19 (2021)।
https://​doi.org/​10.4230/​LIPIcs.ITP.2021.21

[26] क्रिस्टोफ़ चारेटन, सेबेस्टियन बार्डिन, फ्रांकोइस बोबोट, वैलेन्टिन पेर्रेल, और बेनोइट वेलिरॉन। "सर्किट-बिल्डिंग क्वांटम कार्यक्रमों के लिए एक स्वचालित डिडक्टिव सत्यापन ढांचा"। प्रोग्रामिंग भाषाओं और प्रणालियों में। पृष्ठ 148-177। स्प्रिंगर इंटरनेशनल पब्लिशिंग (2021)।
https:/​/​doi.org/​10.1007/​978-3-030-72019-3_6

[27] मिंगशेंग यिंग, शेंगगांग यिंग, और ज़ियाओडी वू। "क्वांटम कार्यक्रमों के अपरिवर्तनीय: लक्षण और पीढ़ी"। सिगप्लान नहीं. 52, 818-832 (2017)।
https: / / doi.org/ 10.1145 / १.१३,९४,२०८