الملخص: تحليل الدوائر الكمومية عبر محاكاة المثبتات المجردة

[1] دانيال جوتسمان. “تمثيل هايزنبرغ لأجهزة الكمبيوتر الكمومية”. التقرير الفني arXiv:quant-ph/9807006. أرخايف (1998).
https: / / doi.org/10.48550 / arXiv.quant-ph / 9807006
أرخايف: ضليع في الرياضيات، وعل / 9807006

[2] سكوت آرونسون ودانيال جوتسمان. "تحسين محاكاة دوائر التثبيت". المراجعة البدنية أ 70، 052328 (2004).
الشبكي: / / doi.org/ 10.1103 / PhysRevA.70.052328

[3] روبرت راند، آرثي سوندارام، كارتيك سينغال، وبراد لاكي. “توسيع أنواع جوتسمان إلى ما هو أبعد من مجموعة كليفورد”. في ورشة العمل الدولية الثانية حول لغات البرمجة للحوسبة الكمومية (PLanQC 2021). (2021). عنوان url: 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] ألكس كيسنجر وجون فان دي فيترينج. “محاكاة الدوائر الكمومية باستخدام حساب التفاضل والتكامل ZX يقلل من تحلل المثبت”. علوم وتكنولوجيا الكم 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] باتريك كوزوت وراضية كوزوت. “التفسير المجرد: نموذج شبكي موحد للتحليل الثابت للبرامج من خلال بناء أو تقريب النقاط الثابتة”. في وقائع الندوة الرابعة لـ ACM SIGACT-SIGPLAN حول مبادئ لغات البرمجة. الصفحات 4-238. POPL '252نيويورك، نيويورك، الولايات المتحدة الأمريكية (77). ايه سي ام.
الشبكي: / / 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).
الشبكي: / / doi.org/ 10.1145 / 780822.781153

[11] فرانشيسكو لوغوزو ومانويل فندريش. “البنتاغون: مجال مجرد علائقي ضعيف للتحقق الفعال من وصول المصفوفة”. علم برمجة الكمبيوتر 75، 796-807 (2010).
https://​/doi.org/10.1016/​j.scico.2009.04.004

[12] تيمون جير، ماثيو ميرمان، دانا دراشسلر كوهين، بيتار تسانكوف، سوارات تشودري، ومارتن فيتشيف. "AI2: شهادة السلامة والمتانة للشبكات العصبية مع التفسير المجرد". في ندوة IEEE لعام 2018 حول الأمن والخصوصية (SP). الصفحات 3-18. سان فرانسيسكو، كاليفورنيا (2018). IEEE.
https: / / doi.org/ 10.1109 / SP.2018.00058

[13] مايكل إيه نيلسن وإسحاق إل تشوانج. "الحساب الكمي والمعلومات الكمومية: الطبعة العاشرة للذكرى السنوية". صحافة جامعة كامبرج. (10).
الشبكي: / / doi.org/ 10.1017 / CBO9780511976667

[14] غادي ألكسندروفيتش، توماس ألكسندر، باناجيوتيس باركوتسوس، لوتشيانو بيلو، يائيل بن حاييم، ديفيد بوشر، فرانسيسكو خوسيه كابريرا هيرنانديز، خورخي كاربالو فرانسيس، أدريان تشين، تشون فو تشين، جيري إم تشاو، أنطونيو دي كوركوليس غونزاليس ، أبيجيل جيه كروس، أندرو كروس، خوان كروز بينيتو، كريس كولفر، سلفادور دي لا بوينتي غونزاليس، إنريكي دي لا توري، ديلتون دينغ، يوجين دوميتريسكو، إيفان دوران، بيتر إينديباك، مارك إيفريت، إسماعيل فارو سيرتاج، ألبرت فريش، أندرياس فوهرر، جاي جامبيتا، بورخا جودوي جاجو، خوان جوميز موسكويرا، دوني جرينبيرج، إيكو هامامورا، فويتيك هافليتشيك، جو هيلمرز، لوكاس هيروك، هيروشي هوري، شاوهان هو، تاكاشي إماميتشي، توشيناري إيتوكو، علي جوادي أبهاري، ناوكي كانازاوا، أنطون كارازييف، كيفن كروسوليتش، بينغ ليو، يانغ لوه، يونهو مينغ، مانويل ماركيز، فرانسيسكو خوسيه مارتن فرنانديز، دوغلاس تي مكلور، ديفيد مكاي، سروجان ميسالا، أنطونيو ميزاكابو، نيكولاي مول، دييغو موريدا رودريغيز، جياكومو نانيسيني، بول نيشن ، بولين أوليترولت، لي جيمس أوريوردان، هانهي بايك، خيسوس بيريز، آنا فان، ماركو بيستويا، فيكتور بروتيانوف، ماكس رويتر، جوليا رايس، عبدون رودريغيز دافيلا، ريموند هاري بوترا رودي، مينجي ريو، نيناد ساثاي، كريس شنابل، إيدي شوت، كاناف سيتيا، يونونج شي، أدينيلتون سيلفا، يوكيو سيرايتشي، سيون سيفاراجا، جون أ. سمولين، ماتياس سوكين، هيتومي تاكاهاشي، إيفانو تافيرنيللي، تشارلز تايلور، بيت تايلور، كينسو ترابينج، ماثيو ترينش، ويس تورنر، ديزيريه فوجت لي. وكريستوف فيو، وجوناثان أ. ويلدستروم، وجيسيكا ويلسون، وإريك وينستون، وكريستوفر وود، وستيفن وود، وستيفان وورنر، وإسماعيل يونس أخالوايا، وكريستا زوفال. "Qiskit: إطار مفتوح المصدر للحوسبة الكمومية" (2019).

[15] تشارلز آر هاريس ، ك.جارود ميلمان ، ستيفان ج.فان دير والت ، رالف جومرز ، باولي فيرتانين ، ديفيد كورنابو ، إريك فيزر ، جوليان تايلور ، سيباستيان بيرج ، ناثانيال ج.سميث ، روبرت كيرن ، ماتي بيكوس ، ستيفان هوير ، مارتين فان كيركويجك ، ماثيو بريت ، ألان هالدين ، خايمي فرنانديز ديل ريو ، مارك ويب ، بيرو بيترسون ، بيير جيرارد مارشانت ، كيفن شيبارد ، تايلر ريدي ، وارين ويكيسر ، وحمير عباسي ، وكريستوف جولكي ، وترافيس إي أوليفانت. "برمجة المصفوفة مع NumPy". Nature 585 ، 357–362 (2020).
https:/​/​doi.org/​10.1038/​s41586-020-2649-2

[16] سيو كوان لام وأنطوان بيترو وستانلي سيبرت. "Numba: مترجم Python JIT القائم على LLVM". في وقائع ورشة العمل الثانية حول البنية التحتية للمترجم LLVM في HPC. الصفحات 1-6. LLVM '15نيويورك، نيويورك، الولايات المتحدة الأمريكية (2015). جمعية للآلات البرمجية.
الشبكي: / / doi.org/ 10.1145 / 2833157.2833162

[17] كريج جيدني. "Stim: محاكي دائرة استقرار سريع". الكم 5 ، 497 (2021).
https:/​/​doi.org/​10.22331/​q-2021-07-06-497

[18] هنري س. وارن. “فرحة القراصنة”. أديسون ويسلي بروفيشنال. (2012). الطبعة الثانية.
الشبكي: / / doi.org/ 10.5555 / 2462741

[19] ألكس كيسنجر وجون فان دي فيترينج. “PyZX: الاستدلال التخطيطي الآلي واسع النطاق”. في بوب كوك وماثيو ليفر، المحررين، وقائع المؤتمر الدولي السادس عشر حول فيزياء الكم والمنطق، جامعة تشابمان، أورانج، كاليفورنيا، الولايات المتحدة الأمريكية، 16-10 يونيو 14. المجلد 2019 من الإجراءات الإلكترونية في علوم الكمبيوتر النظرية، الصفحات 318-229. جمعية النشر المفتوحة (241).
الشبكي: / / doi.org/ 10.4204 / EPTCS.318.14

[20] ماثيو ايمي. “نحو التحقق الوظيفي على نطاق واسع من الدوائر الكمومية العالمية”. الإجراءات الإلكترونية في علوم الكمبيوتر النظرية 287، 1–21 (2019).
الشبكي: / / doi.org/ 10.4204 / EPTCS.287.1

[21] نينغكون يو وجينس بالسبيرج. “التفسير المجرد الكمي”. في وقائع المؤتمر الدولي الثاني والأربعين ACM SIGPLAN حول تصميم لغة البرمجة وتنفيذها. الصفحات 42-542. PLDI 558 نيويورك، نيويورك، الولايات المتحدة الأمريكية (2021). جمعية للآلات البرمجية.
الشبكي: / / 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. ساس '282 برلين، هايدلبرغ (08). سبرينغر-فيرلاغ.
https:/​/​doi.org/​10.1007/​978-3-540-69166-2_18

[24] كينتارو هوندا. “تحليل التشابك الكمي في البرامج الكمومية باستخدام شكلية المثبت”. الإجراءات الإلكترونية في علوم الكمبيوتر النظرية 195 (2015).
الشبكي: / / 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).
الشبكي: / / doi.org/ 10.1145 / 3093333.3009840