چکیده: تجزیه و تحلیل مدارهای کوانتومی از طریق شبیه سازی تثبیت کننده انتزاعی

[1] دانیل گوتسمن. "نمایندگی هایزنبرگ از کامپیوترهای کوانتومی". گزارش فنی arXiv:quant-ph/​9807006. arXiv (1998).
https://doi.org/​10.48550/​arXiv.quant-ph/​9807006
arXiv:quant-ph/9807006

[2] اسکات آرونسون و دنیل گوتسمن "شبیه سازی بهبود یافته مدارهای تثبیت کننده". بررسی فیزیکی A 70, 052328 (2004).
https://doi.org/​10.1103/​PhysRevA.70.052328

[3] رابرت رند، آرتی ساندارام، کارتیک سینگال و برد لاکی. "توسعه انواع گتسمن فراتر از گروه کلیفورد". در دومین کارگاه بین المللی زبان های برنامه نویسی برای محاسبات کوانتومی (PLanQC 2021). (2021). آدرس اینترنتی: https://
https://pldi21.sigplan.org/​details/​planqc-2021-papers/​9/Extending-Gottesman-Types-Beyond-the-Clifford-Group

[4] الکس کیسینجر و جان ون دو وترینگ. شبیه سازی مدارهای کوانتومی با حساب ZX باعث کاهش تجزیه پایدارکننده شد. علم و فناوری کوانتومی 7، 044001 (2022).
https:/​/​doi.org/​10.1088/​2058-9565/​ac5d20

[5] سرگئی براوی، دن براون، پادریک کالپین، ارل کمپبل، دیوید گوست و مارک هاوارد. "شبیه سازی مدارهای کوانتومی با تجزیه پایدار کننده های درجه پایین". Quantum 3, 181 (2019).
https:/​/​doi.org/​10.22331/​q-2019-09-02-181

[6] هاکوپ پاشایان، الیور ریردون اسمیت، کمیل کورزکوا و استفن دی. بارتلت. "برآورد سریع احتمالات نتیجه برای مدارهای کوانتومی". PRX Quantum 3, 020361 (2022).
https://doi.org/​10.1103/​PRXQuantum.3.020361

[7] "شبیه سازی کلاسیک مدارهای کوانتومی با تجزیه پایدار کننده جزئی و گرافیکی". Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022).
https://doi.org/​10.4230/​LIPICS.TQC.2022.5

[8] پاتریک کوزوت و رادیا کوزوت. "تفسیر چکیده: یک مدل شبکه یکپارچه برای تحلیل استاتیکی برنامه ها با ساخت یا تقریب نقاط ثابت". در مجموعه مقالات چهارمین سمپوزیوم ACM SIGACT-SIGPLAN در اصول زبان های برنامه نویسی. صفحات 4-238. POPL '252نیویورک، نیویورک، ایالات متحده آمریکا (77). ACM.
https://doi.org/​10.1145/​512950.512973

[9] پاتریک کوزوت و رادیا کوزوت. "چارچوب های تفسیر انتزاعی". مجله منطق و محاسبات 2، 511-547 (1992).
https://doi.org/​10.1093/​logcom/​2.4.511

[10] برونو بلانشت، پاتریک کوسو، رادیا کوسو، ژروم فره، لوران موبورن، آنتوان مینه، دیوید مونیوکس و خاویر ریوال. "یک آنالایزر استاتیک برای نرم افزارهای بزرگ از نظر ایمنی". اطلاعیه های ACM SIGPLAN 38، 196-207 (2003).
https://doi.org/​10.1145/​780822.781153

[11] فرانچسکو لوگوزو و مانوئل فاهندریچ. "پنتاگون ها: یک دامنه انتزاعی رابطه ای ضعیف برای اعتبار سنجی کارآمد دسترسی های آرایه". Science of Computer Programming 75، 796-807 (2010).
https://doi.org/​10.1016/​j.scico.2009.04.004

[12] تیمون گر، متیو میرمن، دانا دراکسلر-کوهن، پتار تسانکوف، سوارات چاودوری و مارتین وچف. "AI2: گواهینامه ایمنی و استحکام شبکه های عصبی با تفسیر انتزاعی". در سال 2018 سمپوزیوم IEEE در مورد امنیت و حریم خصوصی (SP). صفحات 3-18. سانفرانسیسکو، کالیفرنیا (2018). IEEE.
https://doi.org/10.1109/SP.2018.00058

[13] مایکل ای. نیلسن و آیزاک ال. چوانگ. محاسبات کوانتومی و اطلاعات کوانتومی: نسخه دهمین سالگرد. انتشارات دانشگاه کمبریج. (10).
https://doi.org/​10.1017/​CBO9780511976667

[14] گادی الکساندرویچ، توماس الکساندر، پاناژوتیس بارکوتسوس، لوسیانو بلو، ییل بن‌هایم، دیوید بوچر، فرانسیسکو خوزه کابررا-هرناندز، خورخه کاربالو-فرانکویس، آدریان چن، چون فو چن، جری ام. چاو، آنتونیو د. کورکولز-جیون ابیگیل جی کراس، اندرو کراس، خوان کروز-بنیتو، کریس کالور، سالوادور د لا پوئنته گونزالس، انریکه د لا توره، دلتون دینگ، یوجین دومیترسکو، ایوان دوران، پیتر ایندباک، مارک اوریت، اسماعیل فارو سرتاژ، آلبرت فریش، آندریاس فوهر، جی گامبتا، بورخا گودوی گاگو، خوان گومز-مسکورا، دانی گرینبرگ، ایکو هامامورا، ووتک هاولیکک، جو هلمرز، لوکاس هروک، هیروشی هوری، شائوهان هو، تاکاشی ایمامیچی، توشیناری ایتوکو، علی جوادی، علی جوادی-آب آنتون کارازیف، کوین کرسولیچ، پنگ لیو، یانگ لو، یونهو مائنگ، مانوئل مارکز، فرانسیسکو خوزه مارتین-فرناندز، داگلاس تی مک‌کلور، دیوید مک‌کی، سروجان میسالا، آنتونیو مزاکاپو، نیکولای مول، دیگو موردا گیدنیک، پائول‌نیکوم، دیگو موردا رودریکوم، ، پائولین اولیترو، لی جیمز اوریوردان، هانهی پیک، ژسوس پرز، آنا فان، مارکو پیستویا، ویکتور پروتیانوف، مکس رویتر، جولیا رایس، عبدون رودریگز داویلا، ریموند هری پوترا رودی، مینگی ریو، نینادریس شوته، کاناو ستیا، یونونگ شی، آدنیلتون سیلوا، یوکیو سیرایچی، سیون سیوارجاه، جان آ. اسمولین، ماتیاس سوکن، هیتومی تاکاهاشی، ایوانو تاورنلی، چارلز تیلور، پیت تیلور، کنسو ترابینگ، متیو ترینیش، وس لی ترنر، ، کریستف ویلو، جاناتان ای وایلدستروم، جسیکا ویلسون، اریک وینستون، کریستوفر وود، استفان وود، استفان ورنر، اسماعیل یونس آخالوایا و کریستا زوفل. "Qiskit: یک چارچوب منبع باز برای محاسبات کوانتومی" (2019).

[15] چارلز آر. هریس، کی جارود میلمن، استفان جی. ون در والت، رالف گومرز، پائولی ویرتانن، دیوید کورناپو، اریک ویزر، جولیان تیلور، سباستین برگ، ناتانیل جی. اسمیت، رابرت کرن، متی پیکوس، استفان هویر، مارتن H. van Kerkwijk، متیو برت، آلن هالدان، Jaime Fernández del Río، Mark Wiebe، Pearu Peterson، Pierre Gérard-Marchant، Kevin Sheppard، Tyler Reddy، Warren Weckesser، Hameer Abbasi، Christoph Gohlke و Travis E. Oliphant. ” برنامه نویسی آرایه با NumPy ” . Nature 585, 357–362 (2020).
https:/​/​doi.org/​10.1038/​s41586-020-2649-2

[16] سیو کوان لام، آنتوان پیترو و استنلی سیبرت. Numba: یک کامپایلر JIT پایتون مبتنی بر LLVM. در مجموعه مقالات دومین کارگاه در مورد زیرساخت کامپایلر LLVM در HPC. صفحات 1-6. LLVM '15نیویورک، نیویورک، ایالات متحده آمریکا (2015). انجمن ماشین های محاسباتی.
https://doi.org/​10.1145/​2833157.2833162

[17] کریگ گیدنی "Stim: یک شبیه ساز مدار تثبیت کننده سریع". Quantum 5, 497 (2021).
https:/​/​doi.org/​10.22331/​q-2021-07-06-497

[18] هنری اس. وارن. "لذت هکر". ادیسون وسلی حرفه ای. (2012). ویرایش 2.
https://doi.org/​10.5555/​2462741

[19] الکس کیسینجر و جان ون دو وترینگ. "PyZX: استدلال نموداری خودکار در مقیاس بزرگ". در باب کوک و متیو لیفر، ویراستاران، مجموعه مقالات شانزدهمین کنفرانس بین المللی فیزیک و منطق کوانتومی، دانشگاه چپمن، اورنج، کالیفرنیا، ایالات متحده آمریکا، 16-10 ژوئن 14. جلد 2019 مجموعه مقالات الکترونیکی در علوم کامپیوتر نظری، صفحات 318-229 انجمن انتشارات باز (241).
https://doi.org/​10.4204/​EPTCS.318.14

[20] متیو امی. "به سوی تایید عملکردی مدارهای کوانتومی جهانی". مجموعه مقالات الکترونیکی در علوم کامپیوتر نظری 287، 1-21 (2019).
https://doi.org/​10.4204/​EPTCS.287.1

[21] ننگکون یو و ینس پالسبرگ. "تفسیر انتزاعی کوانتومی". در مجموعه مقالات چهل و دومین کنفرانس بین المللی ACM SIGPLAN در زمینه طراحی و پیاده سازی زبان برنامه نویسی. صفحات 42-542. PLDI 558 نیویورک، نیویورک، ایالات متحده آمریکا (2021). انجمن ماشین های محاسباتی.
https://doi.org/​10.1145/​3453483.3454061

[22] آنتوان مینه. "دامنه های انتزاعی عددی رابطه ای ضعیف". پایان نامه دکتری (2004). آدرس اینترنتی: https://www-apr.lip6.fr/​mine/​these/​these-color.pdf.
https://www-apr.lip6.fr/​~mine/​these/​these-color.pdf

[23] سایمون پردریکس. "تحلیل درهم تنیدگی کوانتومی بر اساس تفسیر انتزاعی". در مجموعه مقالات پانزدهمین سمپوزیوم بین المللی آنالیز استاتیک. صفحات 15–270. SAS '282 برلین، هایدلبرگ (08). Springer-Verlag.
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. انتشارات بین المللی Springer (2021).
https:/​/​doi.org/​10.1007/​978-3-030-72019-3_6

[27] مینگشنگ یانگ، شنگانگ یانگ و شیائودی وو. تغییر ناپذیر برنامه های کوانتومی: خصوصیات و تولید. SIGPLAN نه. 52, 818-832 (2017).
https://doi.org/​10.1145/​3093333.3009840