ETH زيورخ ، سويسرا
تجد هذه الورقة مثيرة للاهتمام أو ترغب في مناقشة؟ Scite أو ترك تعليق على SciRate.
ملخص
يمكن لمحاكاة المثبت أن تحاكي بكفاءة فئة مهمة من الدوائر الكمومية التي تتكون حصريًا من بوابات كليفورد. ومع ذلك، فإن جميع الامتدادات الحالية لهذه المحاكاة للدوائر الكمومية العشوائية، بما في ذلك البوابات غير التابعة لـ Clifford، تعاني من وقت تشغيل أسي.
ولمواجهة هذا التحدي، نقدم نهجًا جديدًا لمحاكاة المثبت الفعال على الدوائر الكمومية العشوائية، على حساب الدقة المفقودة. فكرتنا الرئيسية هي ضغط تمثيل المجموع الأسي للحالة الكمومية في جمع $مجرد$ واحد يغطي (على الأقل) جميع الجمع الحدوث. يتيح لنا ذلك تقديم $textit{abstract Stabilizer Simulator}$ الذي يتعامل بكفاءة مع الجمع المجرد عن طريق المبالغة في التقريب$ لتأثير عمليات الدائرة بما في ذلك بوابات كليفورد، والبوابات غير كليفورد، والقياسات (الداخلية).
لقد قمنا بتنفيذ جهاز المحاكاة التجريدي الخاص بنا في أداة تسمى Abstraqt وأثبتنا تجريبيًا أن Abstraqt يمكنه إنشاء خصائص الدائرة المستعصية على التقنيات الحالية.
► بيانات BibTeX
ferences المراجع
[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
دليلنا يستخدم من قبل
لا يمكن أن تجلب استشهد تبادل البيانات أثناء آخر محاولة 2023-11-20 15:19:03: تعذر إحضار بيانات مستشهد بها من أجل 10.22331 / q-2023-11-20-1185 من Crossref. هذا أمر طبيعي إذا تم تسجيل DOI مؤخرًا. على إعلانات ساو / ناسا لم يتم العثور على بيانات حول الاستشهاد بالأعمال (المحاولة الأخيرة 2023-11-20 15:19:04).
نشرت هذه الورقة في الكم تحت نسبة المشاع الإبداعي 4.0 الدولية (CC BY 4.0) رخصة. يظل حقوق الطبع والنشر مع مالكي حقوق الطبع والنشر الأصليين مثل المؤلفين أو مؤسساتهم.
- محتوى مدعوم من تحسين محركات البحث وتوزيع العلاقات العامة. تضخيم اليوم.
- PlatoData.Network Vertical Generative Ai. تمكين نفسك. الوصول هنا.
- أفلاطونايستريم. ذكاء Web3. تضخيم المعرفة. الوصول هنا.
- أفلاطون كربون، كلينتك ، الطاقة، بيئة، شمسي، إدارة المخلفات. الوصول هنا.
- أفلاطون هيلث. التكنولوجيا الحيوية وذكاء التجارب السريرية. الوصول هنا.
- المصدر https://quantum-journal.org/papers/q-2023-11-20-1185/
- :يكون
- :ليس
- 1
- 10
- المرتبة الرابعة
- 11
- 12
- 13
- 14
- 15%
- المرتبة الرابعة
- 16
- المرتبة الرابعة
- 17
- 19
- 195
- 1998
- 20
- 2008
- 2012
- 2015
- 2017
- 2018
- 2019
- 2020
- 2021
- 2022
- 22
- 23
- 24
- 25
- 26%
- 27
- الثاني
- المرتبة الرابعة
- 7
- 70
- 75
- 8
- 9
- a
- الملخص
- الوصول
- ACM
- العنوان
- ادريان
- الانتماءات
- الكسندر
- الكل
- يسمح
- ايمي
- an
- تحليل
- و
- أندرو
- ذكرى سنوية
- نهج
- مجموعة
- AS
- جمعية
- At
- محاولة
- المؤلفة
- الكتاب
- الآلي
- على أساس
- البلسمينة
- Beyond
- بوب
- براد
- استراحة
- برونو
- by
- CA
- تسمى
- كامبردج
- CAN
- الشهادات
- تحدى
- تشارلز
- تشن
- تشاو
- كريس
- كريستوفر
- فئة
- التعليق
- جميل
- حساب
- الكمبيوتر
- علوم الكمبيوتر
- أجهزة الكمبيوتر
- الحوسبة
- مؤتمر
- تتكون
- إنشاء
- حقوق الطبع والنشر
- تصحيح
- التكلفة
- استطاع
- تغطية
- كريج
- عبر
- دانة
- دانيال
- البيانات
- ديفيد
- من
- فرحة
- شرح
- تصميم
- دييغو
- بحث
- نطاق
- المجالات
- دوغلاس
- أثناء
- e
- طبعة
- المحررين
- تأثير
- فعال
- بكفاءة
- إلكتروني
- تشابك
- إيريك
- إنشاء
- يوجين
- على وجه الحصر
- القائمة
- الأسي
- اضافات المتصفح
- FAST
- في حالة
- وجدت
- الإطار
- الأطر
- فرانسيسكو
- تبدأ من
- وظيفي
- البوابات و حواجز اللعب
- جيل
- جرينبيرج
- تجمع
- هارفارد
- هنري
- أصحاب
- لكن
- HPC
- HTTPS
- معلقة
- فكرة
- IEEE
- if
- صورة
- التنفيذ
- نفذت
- أهمية
- in
- بما فيه
- معلومات
- البنية التحتية
- المؤسسات
- وكتابة مواضيع مثيرة للاهتمام
- داخلي
- عالميا
- ترجمة
- إلى
- تقديم
- إيفان
- جيمس
- جافا سكريبت
- JIT
- جو
- جون
- جوناثان
- مجلة
- جون
- جوليا
- يونيو
- القفل
- لام
- لغة
- اللغات
- كبير
- على نطاق واسع
- اسم العائلة
- الأقل
- يترك
- لي
- Li
- حقوق الملكية الفكرية
- منطق
- ضائع
- آلية
- ماركو
- علامة
- مارتن
- ماثيو
- ماكس
- ماكس العرض
- قياسات
- مايكل
- نموذج
- شهر
- دولة
- الطبيعة
- الشبكات
- عصبي
- الشبكات العصبية
- لا
- عادي
- نوفمبر
- رواية
- نمباي
- NY
- تحدث
- of
- أوليفر
- on
- جاكيت
- المصدر المفتوح
- عمليات
- or
- برتقال
- أصلي
- لنا
- نتيجة
- صفحات
- ورق
- باتريك
- بول
- بيترسون
- رسالة دكتوراه
- مادي
- فيزياء
- بيير
- أفلاطون
- الذكاء افلاطون البيانات
- أفلاطون داتا
- دقة
- يقدم
- صحافة
- مبادئ
- خصوصية
- إجراءات
- محترف
- برمجة وتطوير
- لغات البرمجة
- البرامج
- HAS
- نشرت
- الناشر
- نشر
- بايثون
- qiskit
- كمية
- أجهزة الكمبيوتر الكم
- الاحصاء الكمية
- تشابك الكم
- المعلومات الكمية
- فيزياء الكم
- R
- رالف
- صف
- مؤخرا
- عقار مخفض
- المراجع
- مسجل
- بقايا
- تقرير
- التمثيل
- مراجعة
- أرز
- منافس
- ROBERT
- متانة
- وقت التشغيل
- s
- السلامة
- سلفادور
- سان
- سان فرانسيسكو
- حجم
- علوم
- العلوم والتكنولوجيا
- سكوت
- سكوت آرونسون
- الثاني
- أمن
- شيبارد
- سيلفا
- سيمون
- محاكاة
- محاكاة
- عزباء
- تطبيقات الكمبيوتر
- ستانلي
- الولايه او المحافظه
- ساكن
- ستيفان
- ستيفن
- هذه
- ندوة
- أنظمة
- تقني
- تقنيات
- تكنولوجيا
- أن
- •
- من مشاركة
- نظري
- أطروحة
- عنوان
- إلى
- أداة
- تايلر
- أنواع
- مع
- موحد
- عالمي
- جامعة
- URL
- us
- الولايات المتحدة الأميركية
- استخدام
- التحقق من صحة
- التحقق
- بواسطة
- حجم
- تريد
- منطقة مكتظة
- وكان
- we
- ويلسون
- مع
- خشب
- أعمال
- ورشة عمل
- wu
- عام
- ينغ
- نيويورك
- زفيرنت
- زيوريخ