LIMDD: مخطط قرار لمحاكاة الحوسبة الكمومية بما في ذلك حالات التثبيت

LIMDD: مخطط قرار لمحاكاة الحوسبة الكمومية بما في ذلك حالات التثبيت

الطابع الزمني: 11 سبتمبر 2023 9:39 صباحًا

ليو فينكهويزين1, تيم كوبمانز1,2, ديفيد الكوس2,3, فدان دانجو1و ألفونس لارمان1

1جامعة ليدن ، هولندا
2جامعة دلفت للتكنولوجيا، هولندا
3وحدة الأجهزة الكمية الشبكية ، معهد أوكيناوا لجامعة الدراسات العليا للعلوم والتكنولوجيا ، أوكيناوا ، اليابان

تجد هذه الورقة مثيرة للاهتمام أو ترغب في مناقشة؟ Scite أو ترك تعليق على SciRate.

ملخص

تعتبر الطرق الفعالة لتمثيل ومحاكاة الحالات الكمومية والعمليات الكمومية ضرورية لتحسين الدوائر الكمومية. أثبتت مخططات القرار (DDs)، وهي بنية بيانات مدروسة جيدًا تستخدم في الأصل لتمثيل الوظائف المنطقية، قدرتها على التقاط الجوانب ذات الصلة بالأنظمة الكمومية، لكن حدودها ليست مفهومة جيدًا. في هذا العمل، نقوم بدراسة وسد الفجوة بين الهياكل القائمة على DD وشكليات التثبيت، وهي أداة مهمة لمحاكاة الدوائر الكمومية في النظام القابل للتتبع. نوضح أولاً أنه على الرغم من اقتراح DDs لتمثيل الحالات الكمومية المهمة بإيجاز، إلا أنها تتطلب في الواقع مساحة أسية لبعض حالات التثبيت. لمعالجة هذه المشكلة، نقدم متغيرًا أكثر قوة لمخطط القرار، يسمى Local Invertible Map-DD (LIMDD). لقد أثبتنا أن مجموعة الحالات الكمومية التي تمثلها LIMDDs متعددة الحجم تحتوي بشكل صارم على اتحاد حالات التثبيت ومتغيرات مخطط القرار الأخرى. أخيرًا، توجد دوائر يمكن لـ LIMDDs محاكاتها بكفاءة، في حين لا يمكن تمثيل حالات مخرجاتها بإيجاز من خلال نموذجي محاكاة متطورين: تقنيات تحلل المثبت لدوائر Clifford + $T$ وحالات منتج المصفوفة. ومن خلال توحيد نهجين ناجحين، تمهد LIMDDs الطريق لحلول أكثر قوة بشكل أساسي لمحاكاة وتحليل الحوسبة الكمومية.

LIMDD: مخطط قرار لمحاكاة الحوسبة الكمومية بما في ذلك حالات التثبيت وذكاء بيانات PlatoBlockchain. البحث العمودي. منظمة العفو الدولية.

صورة مميزة: على اليسار: مخطط فين لمجموعة الحالات الكمومية الممثلة بكفاءة بواسطة LIMDDs والعديد من الشكليات الأخرى. على اليمين: مثال على LIMDD، الذي يمثل بشكل مضغوط حالة كمومية قدرها $3$-qubit.

ملخص شعبي

تعد المحاكاة الكلاسيكية للدائرة الكمومية مهمة صعبة حسابيًا. في نهج مباشر، تنمو متطلبات الذاكرة لتخزين وصف الحالة الكمومية إلى $2^n$ لدائرة $n$-qubit. تعالج مخططات القرار هذه المشكلة من خلال توفير تمثيل مضغوط للحالة الكمومية. ومع ذلك، لم تكن حدود الأساليب المستندة إلى DD مفهومة جيدًا. في هذا العمل، نقوم بدراسة وسد الفجوة بين الهياكل القائمة على DD وشكليات التثبيت، وهي أداة مهمة أخرى لمحاكاة الدوائر الكمومية. نوضح أولاً أنه على الرغم من اقتراح DDs لتمثيل الحالات الكمومية المهمة بإيجاز، إلا أنها تتطلب في الواقع مساحة أسية لحالات استقرار معينة. لمعالجة هذه المشكلة، نقدم متغيرًا أكثر قوة لمخطط القرار، يسمى Local Invertible Map-DD (LIMDD). لقد أثبتنا أن هناك دوائر كمومية يمكن تحليلها بكفاءة بواسطة LIMDDs، ولكن ليس من خلال الأساليب القائمة على DD، ولا تقنيات التحلل المثبت، ولا حالات منتج المصفوفة. من خلال الاستفادة من نقاط القوة في كل من DD وشكلية التثبيت في بنية بيانات أكثر إيجازًا، فإن LIMDDs تمهد الطريق لمحاكاة وتحليل أكثر قوة للحوسبة الكمومية.

► بيانات BibTeX

ferences المراجع

[1] ألوين زولنر وروبرت ويلي. “تصميم مسار واحد للدوائر القابلة للعكس: الجمع بين التضمين والتوليف للمنطق القابل للعكس”. معاملات IEEE حول التصميم بمساعدة الكمبيوتر للدوائر والأنظمة المتكاملة 37، 996-1008 (2017).
https: / / doi.org/ 10.1109 / TCAD.2017.2729468

[2] لوكاس بورغولزر وروبرت ويلي. “تحسين فحص التكافؤ القائم على DD للدوائر الكمومية”. في عام 2020، مؤتمر أتمتة التصميم الخامس والعشرون لآسيا وجنوب المحيط الهادئ (ASP-DAC). الصفحات 25-127. معهد مهندسي الكهرباء والإلكترونيات (132).
https: / / doi.org/ 10.1109 / ASP-DAC47756.2020.9045153

[3] لوكاس بورغولزر، وريتشارد كوينج، وروبرت ويلي. "توليد المحفزات العشوائية للتحقق من الدوائر الكمومية". في وقائع المؤتمر السادس والعشرين لأتمتة التصميم في آسيا وجنوب المحيط الهادئ. الصفحات 26-767. (772).
الشبكي: / / doi.org/ 10.1145 / 3394885.3431590

[4] لوكاس بورغولزر وروبرت ويلي. “فحص التكافؤ المتقدم للدوائر الكمومية”. معاملات IEEE حول التصميم بمساعدة الكمبيوتر للدوائر والأنظمة المتكاملة 40، 1810-1824 (2020).
https: / / doi.org/10.48550 / arXiv.2004.08420

[5] جون بريسكيل. "الحوسبة الكمية في عصر NISQ وما بعده". الكم 2 ، 79 (2018).
https: / / doi.org/10.48550 / arXiv.1801.00862

[6] دانيال جوتسمان. "تمثيل هايزنبرغ لأجهزة الكمبيوتر الكمومية" (1998). عنوان URL: arxiv.org/​abs/quant-ph/​9807006.
أرخايف: ضليع في الرياضيات، وعل / 9807006

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

[8] دانيال جوتسمان. "رموز المثبت وتصحيح الخطأ الكمي". أطروحة دكتوراه. معهد كاليفورنيا للتكنولوجيا. (1997).
https: / / doi.org/10.48550 / arXiv.quant-ph / 9705052
أرخايف: ضليع في الرياضيات، وعل / 9705052

[9] مارتن فان دن نيست، جيروين ديهين، وبارت دي مور. “الوحدوي المحلي مقابل تكافؤ كليفورد المحلي لدول الاستقرار”. فيز. القس أ 71، 062323 (2005).
الشبكي: / / doi.org/ 10.1103 / PhysRevA.71.062323

[10] ماتياس إنجلبريشت وباربرا كراوس. “التماثلات والتشابك في حالات الاستقرار”. فيز. القس أ 101، 062302 (2020).
الشبكي: / / doi.org/ 10.1103 / PhysRevA.101.062302

[11] روبرت روسندورف وهانز جيه بريجل. "كمبيوتر كمي أحادي الاتجاه". فيز. القس ليت. 86 ، 5188-5191 (2001).
الشبكي: / / doi.org/ 10.1103 / PhysRevLett.86.5188

[12] سيرجي برافي، غرايم سميث، وجون أ. سمولين. "تداول الموارد الحسابية الكلاسيكية والكمية". فيز. القس X 6، 021043 (2016).
الشبكي: / / doi.org/ 10.1103 / PhysRevX.6.021043

[13] سيرجي برافي وديفيد جوسيت. “تحسين المحاكاة الكلاسيكية للدوائر الكمومية التي تهيمن عليها بوابات كليفورد”. فيز. القس ليت. 116، 250501 (2016).
الشبكي: / / doi.org/ 10.1103 / PhysRevLett.116.250501

[14] سيرجي برافي، دان براون، بادريك كالبين، إيرل كامبل، ديفيد جوسيت، ومارك هوارد. “محاكاة الدوائر الكمومية عن طريق تحلل المثبتات ذات الرتبة المنخفضة”. الكم 3، 181 (2019).
https:/​/​doi.org/​10.22331/​q-2019-09-02-181

[15] ييفي هوانغ وبيتر لوف. “رتبة التثبيت التقريبية وتحسين المحاكاة الضعيفة للدوائر التي يهيمن عليها كليفورد للكوديت”. فيز. القس أ 99، 052307 (2019).
الشبكي: / / doi.org/ 10.1103 / PhysRevA.99.052307

[16] لوكاس كوشيا وبيتر لوف. “طريقة الطور الثابت في دوال ويغنر المنفصلة والمحاكاة الكلاسيكية للدوائر الكمومية”. الكم 5، 494 (2021).
https:/​/​doi.org/​10.22331/​q-2021-07-05-494

[17] لوكاس كوشيا وموهان ساروفار. “المحاكاة الكلاسيكية للدوائر الكمومية باستخدام عمليات حذف غاوسية أقل”. المراجعة البدنية أ 103، 022603 (2021).
الشبكي: / / doi.org/ 10.1103 / PhysRevA.103.022603

[18] شيلدون ب. أكيرز. “مخططات القرار الثنائية”. IEEE رسائل هندسة الكمبيوتر 27، 509-516 (1978).
الشبكي: / / doi.org/ 10.1109 / TC.1978.1675141

[19] راندال إي براينت. “الخوارزميات القائمة على الرسم البياني لمعالجة الوظائف المنطقية”. IEEE ترانس. أجهزة الكمبيوتر 35، 677-691 (1986).
الشبكي: / / doi.org/ 10.1109 / TC.1986.1676819

[20] راندال إي براينت وييرنج آن تشين. "التحقق من الدوائر الحسابية بمخططات العزوم الثنائية". في مؤتمر أتمتة التصميم الثاني والثلاثين. الصفحات 32-535. معهد مهندسي الكهرباء والإلكترونيات (541).
https: / / doi.org/ 10.1109 / DAC.1995.250005

[21] جي إف فيامونتس، إيل ماركوف، وجي بي هايز. “محاكاة عالية الأداء تعتمد على QuIDD للدوائر الكمومية”. في مؤتمر ومعرض تصميم الإجراءات والأتمتة والاختبار في أوروبا. المجلد 2، الصفحات 1354-1355 المجلد 2. (2004).
https: / / doi.org/ 10.1109 / DATE.2004.1269084

[22] ري باهار، إي إيه فروم، سي إم جاونا، جي دي هاتشتيل، إي ماسي، إيه باردو، وإف سومينزي. "مخططات القرار الجبرية وتطبيقاتها". في وقائع المؤتمر الدولي لعام 1993 حول التصميم بمساعدة الكمبيوتر (ICCAD). الصفحات 188-191. (1993).
https://​/doi.org/10.1109/​ICCAD.1993.580054

[23] جورج إف فيامونتس، وإيجور إل ماركوف، وجون بي هايز. “تحسين محاكاة مستوى البوابة للدوائر الكمومية”. معالجة المعلومات الكمومية 2، 347-380 (2003).
https://​/doi.org/​10.1023/​B:QINP.0000022725.70000.4a

[24] ماساهيرو فوجيتا، وباتريك سي ماكجير، وجي سي واي يانغ. “مخططات القرار الثنائية متعددة الأطراف: بنية بيانات فعالة لتمثيل المصفوفة”. الطرق الرسمية في تصميم النظام 10، 149-169 (1997).
الشبكي: / / doi.org/ 10.1023 / A: 1008647823331

[25] إي إم كلارك، وكيه إل ماكميلان، وإكس تشاو، وإم. فوجيتا، وجي. يانغ. “التحويلات الطيفية للوظائف المنطقية الكبيرة مع تطبيقات لرسم الخرائط التكنولوجية”. في وقائع المؤتمر الدولي الثلاثين لأتمتة التصميم. الصفحات 30-54. DAC '60 نيويورك، نيويورك، الولايات المتحدة الأمريكية (93). جمعية للآلات البرمجية.
الشبكي: / / doi.org/ 10.1145 / 157485.164569

[26] سكوت سانر وديفيد مكاليستر. “مخططات القرار الجبرية (AADDs) وتطبيقها على الاستدلال الاحتمالي المنظم”. في وقائع المؤتمر الدولي التاسع عشر المشترك للذكاء الاصطناعي. الصفحات 19-1384. IJCAI'1390 سان فرانسيسكو، كاليفورنيا، الولايات المتحدة الأمريكية (05). Morgan Kaufmann Publishers Inc. عنوان URL: www.ijcai.org/​Proceedings/​2005/​Papers/​05.pdf.
https://​/​www.ijcai.org/​Proceedings/​05/​أوراق/​1439.pdf

[27] د مايكل ميلر وميتشل أ ثورنتون. “QMDD: هيكل مخطط القرار للدوائر العكسية والكمية”. في الندوة الدولية السادسة والثلاثون للمنطق متعدد القيم (ISMVL'36). الصفحات 06-30. معهد مهندسي الكهرباء والإلكترونيات (30).
https: / / doi.org/ 10.1109 / ISMVL.2006.35

[28] ألوين زولنر وروبرت ويلي. “المحاكاة المتقدمة للحسابات الكمومية”. معاملات IEEE حول التصميم بمساعدة الكمبيوتر للدوائر والأنظمة المتكاملة 38، 848-859 (2018).
https: / / doi.org/10.48550 / arXiv.1707.00865

[29] شين هونغ، شيانغ تشن تشو، سانجيانغ لي، يوان فنغ، ومينغ شنغ ينغ. “مخطط قرار قائم على شبكة موتر لتمثيل الدوائر الكمومية”. ايه سي ام ترانس. ديس. تلقائي. الإلكترون. النظام. 27 (2022).
الشبكي: / / doi.org/ 10.1145 / 3514355

[30] ستيفان هيلميتش، وريتشارد كوينج، وإيجور إل ماركوف، وروبرت ويلي. "دقيقة حسب الحاجة، وفعالة قدر الإمكان: التقريبات في محاكاة الدوائر الكمومية القائمة على DD". مؤتمر ومعرض التصميم والأتمتة والاختبار في أوروبا، التاريخ 2021، غرونوبل، فرنسا، 1-5 فبراير 2021. الصفحات 188-193. معهد مهندسي الكهرباء والإلكترونيات (2021).
https: / / doi.org/ 10.23919 / DATE51398.2021.9474034

[31] جورج إف فيامونتس، وإيجور إل ماركوف، وجون بي هايز. “محاكاة الدوائر الكمومية”. سبرينغر العلوم والإعلام التجاري. (2009).
https:/​/​doi.org/​10.1007/​978-90-481-3065-8

[32] شين هونغ، مينغشنغ ينغ، يوان فنغ، شيانغ تشن تشو، وسانجيانغ لي. “فحص التكافؤ التقريبي للدوائر الكمومية الصاخبة”. في عام 2021، مؤتمر ACM/IEEE لأتمتة التصميم (DAC) الثامن والخمسين. الصفحات 58-637. (642).
https: / / doi.org/ 10.1109 / DAC18074.2021.9586214

[33] هانز جي بريجيل وروبرت راوسندورف. “التشابك المستمر في صفائف من الجسيمات المتفاعلة”. فيز. القس ليت. 86، 910-913 (2001).
الشبكي: / / doi.org/ 10.1103 / PhysRevLett.86.910

[34] وولفغانغ دور، غيفري فيدال، وجي إجناسيو سيراك. "يمكن تشابك ثلاث كيوبتات بطريقتين غير متكافئتين". المراجعة البدنية أ 62، 062314 (2000).
https: / / doi.org/10.48550 / arXiv.quant-ph / 0005115
أرخايف: ضليع في الرياضيات، وعل / 0005115

[35] إريك شيتامبار، وديبي ليونج، ولورا مانشينسكا، وماريس أوزولس، وأندرياس وينتر. "كل ما أردت دائمًا معرفته عن LOCC (لكنك كنت تخشى أن تسأله)". الاتصالات في الفيزياء الرياضية 328، 303-326 (2014).
https: / / doi.org/10.48550 / arXiv.1210.4583

[36] ستيفن آر وايت. “صياغة مصفوفة الكثافة لمجموعات إعادة التطبيع الكمي”. رسائل المراجعة البدنية 69، 2863 (1992).
الشبكي: / / doi.org/ 10.1103 / PhysRevLett.69.2863

[37] D. بيريز جارسيا، F. Verstraete، إم إم وولف، وجي آي سيراك. "تمثيلات حالة منتج المصفوفة". المعلومات الكمومية والحساب 7، 401-430 (2007).
https: / / doi.org/10.48550 / arXiv.2011.12127

[38] جيفري فيدال. “محاكاة كلاسيكية فعالة للحسابات الكمومية المتشابكة قليلاً”. رسائل المراجعة البدنية 91، 147902 (2003).
https: / / doi.org/10.48550 / arXiv.quant-ph / 0301063
أرخايف: ضليع في الرياضيات، وعل / 0301063

[39] عدنان درويش وبيير ماركيز. “خريطة تجميع المعرفة”. مجلة أبحاث الذكاء الاصطناعي 17، 229-264 (2002).
الشبكي: / / doi.org/ 10.5555 / 1622810.1622817

[40] كارل إس بريس، وريتشارد إل روديل، وراندال إي براينت. “التنفيذ الفعال لحزمة BDD”. في وقائع المؤتمر السابع والعشرون لأتمتة التصميم ACM/IEEE. الصفحات 27-40. (45).
الشبكي: / / doi.org/ 10.1145 / 123186.123222

[41] دونالد إرفين كنوث. "فن برمجة الكمبيوتر. المجلد 4، الملزمة 1". أديسون ويسلي. (2005).
https:/​/​doi.org/​10.1090/​s0002-9904-1973-13173-8

[42] فابيو سومينزي. "التلاعب الفعال في مخططات القرار". المجلة الدولية لأدوات البرمجيات لنقل التكنولوجيا 3، 171-181 (2001).
الشبكي: / / doi.org/ 10.1007 / s100090100042

[43] كوينراد إم آر أودينيرت ومارتن بي بلينيو. "التشابك في حالات الاستقرار المختلطة: الأشكال الطبيعية وإجراءات التخفيض". المجلة الجديدة للفيزياء 7، 170 (2005). عنوان URL:.
https:/​/​doi.org/​10.1088/​1367-2630/​7/​1/​170

[44] مارك هاين، وولفغانغ دور، ينس إيزيرت، روبرت راوسندورف، إم نيست، وإتش جي بريجيل. “التشابك في حالات الرسم البياني وتطبيقاته”. في وقائع المدرسة الدولية للفيزياء "إنريكو فيرمي". المجلد 162: أجهزة الكمبيوتر الكمومية والخوارزميات والفوضى. دائرة الرقابة الداخلية الصحافة (2006).
https:/​/​doi.org/​10.3254/​978-1-61499-018-5-115

[45] سكوت آرونسون. “الصيغ المتعددة الخطوط والتشكيك في الحوسبة الكمومية”. في وقائع الندوة السنوية السادسة والثلاثين ACM حول نظرية الحوسبة. الصفحة 118-127. STOC '04نيويورك، نيويورك، الولايات المتحدة الأمريكية (2004). جمعية للآلات البرمجية.
الشبكي: / / doi.org/ 10.1145 / 1007352.1007378

[46] سيرجي برافي وأليكسي كيتايف. “حساب الكم العالمي مع بوابات كليفورد المثالية والملحقات الصاخبة”. فيز. القس أ 71، 022316 (2005).
الشبكي: / / doi.org/ 10.1103 / PhysRevA.71.022316

[47] بينيت ، وتشارلز إتش بينيت ، وهربرت ج.برنشتاين ، وساندو بوبيسكو ، وبنجامين شوماخر. "تركيز التشابك الجزئي بالعمليات المحلية". مراجعة البدنية أ 53 ، 2046 (1996).
https: / / doi.org/10.48550 / arXiv.quant-ph / 9511030
أرخايف: ضليع في الرياضيات، وعل / 9511030

[48] ديفيد واي فينشتاين وميتشل أ ثورنتون. “على المتغيرات التي تم تخطيها في مخططات القرار الكمومية متعددة القيم”. في عام 2011، ندوة IEEE الدولية الحادية والأربعون حول المنطق متعدد القيم. الصفحات 41-164. إيي (169).
https: / / doi.org/ 10.1109 / ISMVL.2011.22

[49] ريتشارد جيه ليبتون، ودونالد جيه روز، وروبرت إندري تارجان. “تشريح متداخل معمم”. مجلة SIAM للتحليل العددي 16، 346-358 (1979).
الشبكي: / / doi.org/ 10.5555 / 892164

[50] إم فان دن نيست، دبليو دور، جي فيدال، وإتش جي بريجل. “المحاكاة الكلاسيكية مقابل العالمية في الحساب الكمي القائم على القياس”. فيز. القس أ 75، 012337 (2007).
الشبكي: / / doi.org/ 10.1103 / PhysRevA.75.012337

[51] فيت جيلينك. “عرض رتبة الشبكة المربعة”. الرياضيات التطبيقية المنفصلة 158، 841-850 (2010).
https:/​/​doi.org/​10.1007/​978-3-540-92248-3_21

[52] هيلين فارجير، بيير ماركيز، ألكسندر نيفو، ونيكولاس شميدت. “خريطة تجميع المعرفة لمخططات القرار ذات القيمة الحقيقية المطلوبة”. في وقائع مؤتمر AAAI حول الذكاء الاصطناعي. المجلد 28. (2014).
https: / / doi.org/ 10.1609 / aaai.v28i1.8853

[53] روبرت دبليو فلويد. "إسناد المعاني للبرامج". في التحقق من البرنامج. الصفحات 65-81. سبرينغر (1993).
https:/​/​doi.org/​10.1007/​978-94-011-1793-7_4

[54] جي دبليو دي باكر ولامبرت جي إل تي ميرتنز. “على اكتمال طريقة التوكيد الاستقرائي”. مجلة علوم الكمبيوتر والنظام 11، 323-357 (1975).
https:/​/​doi.org/​10.1016/​S0022-0000(75)80056-0

[55] إنجو فيجنر. "البرامج المتفرعة ومخططات القرار الثنائية: النظرية والتطبيقات". سيام. (2000).
الشبكي: / / doi.org/ 10.1137 / 1.9780898719789

[56] جيمس ماكلونج. “إنشاءات وتطبيقات حالات W”. أطروحة الدكتوراه. معهد ووستر للفنون التطبيقية. (2020).

[57] سرينيفاسان أروناتشالام، وسيرجي برافي، وتشينماي نيرخي، وبريان أوجورمان. "التعقيد المعلمي للتحقق الكمي" (2022).
الشبكي: / / doi.org/ 10.4230 / LIPIcs.TQC.2022.3

[58] ألكس كيسنجر وجون فان دي فيترينج. "تقليل عدد T باستخدام حساب التفاضل والتكامل ZX" (2019).
الشبكي: / / doi.org/ 10.1103 / PhysRevA.102.022406

[59] هيمانشو ثابليال، وإدجارد مونوز كورياس، وتي إس إس فارون، وترافيس إس هامبل. “تصميمات الدوائر الكمومية لتقسيم الأعداد الصحيحة لتحسين عدد T وعمق T”. معاملات IEEE حول الموضوعات الناشئة في الحوسبة 9، 1045-1056 (2019).
https: / / doi.org/10.48550 / arXiv.1809.09732

[60] وانغ جيان، تشانغ تشيوان، وتانغ تشاو جينغ. “مخطط الاتصال الآمن الكمي مع حالة W”. الاتصالات في الفيزياء النظرية 48، 637 (2007).
https:/​/​doi.org/​10.1088/​0253-6102/​48/​4/​013

[61] ون ليو، ويونغ بن وانغ، وزينغ تاو جيانغ. "بروتوكول فعال للمقارنة الكمومية الخاصة للمساواة مع حالة W". البصريات الاتصالات 284، 3160-3163 (2011).
الشبكي: / / doi.org/ 10.1016 / j.optcom.2011.02.017

[62] فيكتوريا ليبينسكا، جلاوتشيا مورتا، وستيفاني وينر. “إرسال مجهول في شبكة كمومية صاخبة باستخدام الحالة ${W}$”. فيز. القس أ 98، 052320 (2018).
الشبكي: / / doi.org/ 10.1103 / PhysRevA.98.052320

[63] بول تافرتشوفر ومسعود بيدرام. “مخططات القرار الثنائية ذات القيمة الحدية”. الطرق الرسمية في تصميم النظام 10، 243-270 (1997).
الشبكي: / / doi.org/ 10.1023 / A: 1008691605584

[64] ميغانا سيستلا، سوارات تشودوري، وتوماس ريبس. “CFLOBDDs: مخططات القرار الثنائية المرتبة ذات اللغة الخالية من السياق” (2023). أرخايف:2211.06818.
أرخايف: 2211.06818

[65] ميغانا سيستلا، سوارات تشودري، وتوماس ريبس “المحاكاة الكمومية الرمزية مع كواسيمودو”. في كونستانتين إنيا وأكاش لال، محررا التحقق بمساعدة الكمبيوتر. الصفحات 213-225. شام (2023). سبرينغر نيتشر سويسرا.
https:/​/​doi.org/​10.1007/​978-3-031-37709-9_11

[66] راجيف ألور وب. مادوسودان. “اللغات المنسدلة بشكل واضح”. في وقائع الندوة السنوية السادسة والثلاثين ACM حول نظرية الحوسبة. الصفحات 202-211. STOC '04نيويورك، نيويورك، الولايات المتحدة الأمريكية (2004). جمعية للآلات البرمجية.
الشبكي: / / doi.org/ 10.1145 / 1007352.1007390

[67] ميغانا سيستلا، سوارات تشودوري، وتوماس ريبس "مخططات القرار الثنائية المرتبة ذات السياق الحر واللغة" (2023). أرخايف:2305.13610.
أرخايف: 2305.13610

[68] عدنان درويش. “SDD: تمثيل قانوني جديد لقواعد المعرفة المقترحة”. في وقائع المؤتمر الدولي الثاني والعشرون المشترك حول الذكاء الاصطناعي – المجلد الثاني. . مطبعة AAAI (2011).

[69] دوجا كيسا، جاي فان دن بروك، آرثر تشوي، وعدنان درويش. “مخططات القرار الجملي الاحتمالية”. في وقائع المؤتمر الدولي الرابع عشر لمبادئ تمثيل المعرفة والاستدلال. الصفحات 558-567. KR'14. مطبعة AAAI (2014). عنوان URL: cdn.aaai.org/ocs/8005/8005-36908-1-PB.pdf.
https://​/​cdn.aaai.org/​ocs/​8005/​8005-36908-1-PB.pdf

[70] كينجو ناكامورا وشوهي دينزومي وماساكي نيشينو. “التحول المتغير SDD: مخطط قرار أكثر إيجازًا”. في سيمون فارو ودومينيكو كانتوني، محررين، الندوة الدولية الثامنة عشرة حول الخوارزميات التجريبية (SEA 18). المجلد 2020 من إجراءات لايبنيز الدولية في المعلوماتية (LIPIcs)، الصفحات 160:22–1:22. داغستوهل، ألمانيا (13). Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
https://​/​doi.org/​10.4230/​LIPIcs.SEA.2020.22

[71] فولفجانج غونتر ورولف دريشسلر. "تقليل bdds باستخدام التحولات الخطية القائمة على التقنيات التطورية". في عام 1999 ندوة IEEE الدولية حول الدوائر والأنظمة (ISCAS). المجلد الأول، الصفحات 1-387. معهد مهندسي الكهرباء والإلكترونيات (390).
https: / / doi.org/ 10.1109 / ISCAS.1999.777884

[72] باربرا إم ترهال وديفيد بي ديفينسينزو. “المحاكاة الكلاسيكية للدوائر الكمومية غير المتفاعلة”. فيز. القس أ 65، 032325 (2002).
الشبكي: / / doi.org/ 10.1103 / PhysRevA.65.032325

[73] ريتشارد جوزا وأكيماسا مياكي. “بوابات الثقاب والمحاكاة الكلاسيكية للدوائر الكمومية”. الإجراءات: العلوم الرياضية والفيزيائية والهندسية الصفحات 3089-3106 (2008).
الشبكي: / / doi.org/ 10.1098 / rspa.2008.0189

[74] مارتن هيبينستريت، وريتشارد جوزا، وباربرا كراوس، وسيرجي ستريلشوك. “القوة الحسابية لبوابات الثقاب مع الموارد التكميلية”. المراجعة البدنية أ 102، 052604 (2020).
الشبكي: / / doi.org/ 10.1103 / PhysRevA.102.052604

[75] رومان أوروس. "مقدمة عملية لشبكات التنسور: حالات منتج المصفوفة وحالات الزوج المتشابك المتوقعة". حوليات الفيزياء 349 ، 117-158 (2014).
الشبكي: / / doi.org/ 10.1016 / j.aop.2014.06.013

[76] بوب كويك وروس دنكان. "تفاعل المراقبات الكمومية: الجبر الفئوي والرسوم البيانية". المجلة الجديدة للفيزياء 13 ، 043016 (2011).
https:/​/​doi.org/​10.1007/​978-3-540-70583-3_25

[77] رينو فيلمارت. “مخططات القرار الكمية متعددة القيم في الحسابات الرسومية” (2021). أرخايف:2107.01186.
أرخايف: 2107.01186

[78] ريتشارد رودل. “الترتيب الديناميكي المتغير لمخططات القرار الثنائية المرتبة”. في وقائع المؤتمر الدولي لعام 1993 حول التصميم بمساعدة الكمبيوتر (ICCAD). الصفحات 42-47. معهد مهندسي الكهرباء والإلكترونيات (1993).
https://​/doi.org/10.1109/​ICCAD.1993.580029

[79] إيوت فان دن بيرج وكريستان تيمي. “تحسين الدائرة لمحاكاة هاميلتون عن طريق القطر المتزامن لمجموعات باولي”. الكم 4، 322 (2020).
https:/​/​doi.org/​10.22331/​q-2020-09-12-322

[80] يوجين إم لوكس، وفيرينك راكوتشي، وتشارلز آر بي رايت. “بعض الخوارزميات لمجموعات التقليب غير القادرة”. مجلة الحساب الرمزي 23، 335-354 (1997).
https://​/doi.org/10.1006/​jsco.1996.0092

[81] بافول دوريس، ويوراي هرومكوفيتش، وستاسيس جوكنا، ومارتن سويرهوف، وجورج شنيتجر. “حول تعقيد الاتصالات متعددة الأقسام”. المعلومات والحساب 194، 49-75 (2004).
https: / / doi.org/ 10.1016 / j.ic.2004.05.002

[82] هيكتور ج. جارسيا، وإيجور إل. ماركوف، وأندرو دبليو كروس. "خوارزمية المنتج الداخلي الفعالة لحالات التثبيت" (2012). أرخايف:1210.6646.
أرخايف: 1210.6646

[83] "Stabranksearcher: رمز للعثور على (الحدود العليا) رتبة استقرار الحالة الكمومية". https://​/github.com/​timcp/​StabRankSearcher (2021).
https://​/github.com/timcp/​StabRankSearcher

[84] بادريك كالبين. “استكشاف الحساب الكمي من خلال عدسة المحاكاة الكلاسيكية”. أطروحة الدكتوراه. UCL (كلية لندن الجامعية). (2020).
https://​/doi.org/10.5555/AAI28131047

دليلنا يستخدم من قبل

[1] ديميتريوس ثانوس، وتيم كوبمانز، وألفونس لارمان، "التحقق السريع من التكافؤ للدوائر الكمومية لبوابات كليفورد"، أرخايف: 2308.01206, (2023).

[2] روبرت ويلي، وستيفان هيلميش، ولوكاس بورغهولزر، "أدوات للحوسبة الكمومية بناءً على مخططات القرار"، أرخايف: 2108.07027, (2021).

الاستشهادات المذكورة أعلاه من إعلانات ساو / ناسا (تم آخر تحديث بنجاح 2023-09-12 14:57:20). قد تكون القائمة غير كاملة نظرًا لأن جميع الناشرين لا يقدمون بيانات اقتباس مناسبة وكاملة.

On خدمة Crossref's cited-by service لم يتم العثور على بيانات حول الاستشهاد بالأعمال (المحاولة الأخيرة 2023-09-12 14:57:15).

نشرت هذه الورقة في الكم تحت نسبة المشاع الإبداعي 4.0 الدولية (CC BY 4.0) رخصة. يظل حقوق الطبع والنشر مع مالكي حقوق الطبع والنشر الأصليين مثل المؤلفين أو مؤسساتهم.

الطابع الزمني:

اكثر من مجلة الكم