LIMDD: نمودار تصمیم گیری برای شبیه سازی محاسبات کوانتومی شامل حالت های تثبیت کننده

بازنشر افلاطون

دنبال: 0

لیو وینخویزن¹, تیم کوپمنز^1,2, دیوید الکوس^2,3, ودران دونژکو¹و آلفونس لارمن¹

¹دانشگاه لیدن، هلند
²دانشگاه صنعتی دلفت، هلند
³واحد دستگاه های کوانتومی شبکه ای، دانشگاه فارغ التحصیل موسسه علم و فناوری اوکیناوا، اوکیناوا، ژاپن

این مقاله را جالب می دانید یا می خواهید بحث کنید؟ SciRate را ذکر کنید یا در SciRate نظر بدهید.

چکیده

روش‌های کارآمد برای نمایش و شبیه‌سازی حالات کوانتومی و عملیات کوانتومی برای بهینه‌سازی مدارهای کوانتومی بسیار مهم هستند. نمودارهای تصمیم گیری (DDs)، یک ساختار داده به خوبی مطالعه شده که در ابتدا برای نمایش توابع بولی استفاده می شد، ثابت کرده اند که می توانند جنبه های مرتبط سیستم های کوانتومی را به تصویر بکشند، اما محدودیت های آنها به خوبی درک نشده است. در این کار، ما شکاف بین ساختارهای مبتنی بر DD موجود و فرمالیسم تثبیت‌کننده، ابزاری مهم برای شبیه‌سازی مدارهای کوانتومی در رژیم قابل حمل را بررسی و پل می‌کنیم. ما ابتدا نشان می‌دهیم که اگرچه DDها به طور خلاصه حالت‌های کوانتومی مهم را نشان می‌دهند، اما در واقع به فضای نمایی برای حالت‌های تثبیت‌کننده خاصی نیاز دارند. برای رفع این مشکل، یک نوع نمودار تصمیم گیری قدرتمندتر به نام Local Invertible Map-DD (LIMDD) را معرفی می کنیم. ما ثابت می‌کنیم که مجموعه حالت‌های کوانتومی نشان‌داده‌شده توسط LIMDD‌های با اندازه چندگانه، به‌طور دقیق شامل ترکیب حالت‌های تثبیت‌کننده و دیگر انواع نمودار تصمیم‌گیری است. در نهایت، مدارهایی وجود دارد که LIMDD ها می توانند به طور موثر شبیه سازی کنند، در حالی که حالت های خروجی آنها را نمی توان به طور خلاصه با دو الگوی شبیه سازی پیشرفته نشان داد: تکنیک های تجزیه تثبیت کننده برای مدارهای کلیفورد + $T$ و حالت های ماتریس-محصول. بنابراین با اتحاد دو رویکرد موفق، LIMDD ها راه را برای راه حل های اساسا قدرتمندتر برای شبیه سازی و تجزیه و تحلیل محاسبات کوانتومی هموار می کنند.

LIMDD: نمودار تصمیم‌گیری برای شبیه‌سازی محاسبات کوانتومی شامل هوش داده‌های پلاتو بلاک چین ایالات تثبیت‌کننده. جستجوی عمودی Ai.

تصویر ویژه: سمت چپ: نمودار ون مجموعه ای از حالات کوانتومی که به طور موثر توسط LIMDD ها و چندین فرمالیسم دیگر نشان داده شده است. راست: نمونه ای از LIMDD که به طور فشرده یک حالت کوانتومی 3$-کیوبیت را نشان می دهد.

خلاصه محبوب

شبیه سازی کلاسیک مدار کوانتومی یک کار محاسباتی دشوار است. در یک رویکرد ساده، نیازهای حافظه برای ذخیره توصیف یک حالت کوانتومی به صورت $2^n$ برای یک مدار $n$-qubit افزایش می یابد. نمودارهای تصمیم گیری این مشکل را با ارائه یک نمایش فشرده از یک حالت کوانتومی حل می کنند. با این حال، محدودیت های روش های مبتنی بر DD به خوبی درک نشده بود. در این کار، ما شکاف بین ساختارهای مبتنی بر DD موجود و فرمالیسم تثبیت‌کننده، ابزار مهم دیگری برای شبیه‌سازی مدارهای کوانتومی را بررسی و پل می‌کنیم. ما ابتدا نشان می‌دهیم که اگرچه DDها به طور خلاصه حالت‌های کوانتومی مهم را نشان می‌دهند، اما در واقع به فضای نمایی برای حالت‌های تثبیت‌کننده خاصی نیاز دارند. برای رفع این مشکل، یک نوع نمودار تصمیم گیری قدرتمندتر به نام Local Invertible Map-DD (LIMDD) را معرفی می کنیم. ما ثابت می‌کنیم که مدارهای کوانتومی وجود دارند که می‌توانند به‌طور مؤثر توسط LIMDD‌ها تحلیل شوند، اما نه با روش‌های مبتنی بر DD موجود، نه تکنیک‌های تجزیه پایدارکننده، و نه حالت‌های محصول ماتریسی. بنابراین، LIMDD ها با به کارگیری نقاط قوت هر دو فرمالیسم DD و تثبیت کننده در یک ساختار داده مختصر تر، راه را برای شبیه سازی و تحلیل اساسی قوی تر محاسبات کوانتومی هموار می کنند.

► داده های BibTeX

@article{Vinkhuijzen2023limdddecision، doi = {10.22331/q-2023-09-11-1108}، url = {https://doi.org/10.22331/q-2023-09-11-1108}، عنوان = {{LIDD }: {A} {D}تصمیم {D}ایگرام برای {S}شبیه‌سازی {Q}انتومی {C}رایانه‌سازی {I}شامل {S}tabilizer {S}tates}، نویسنده = {Vinkhuijzen، Lieuwe و Coopmans، Tim and Elkouss, David and Dunjko, Vedran and Laarman, Alfons}, journal = {{Quantum}}, issn = {2521-327X}, publisher = {{Verein zur F{“{o}}rderung des Open Access Publizierens in den Quantenwissenschaften}}، حجم = {7}، صفحات = {1108}، ماه = سپتامبر، سال = {2023} }

◄ مراجع

[1] آلوین زولهنر و رابرت ویل. طراحی یک گذر مدارهای برگشت پذیر: ترکیب جاسازی و سنتز برای منطق برگشت پذیر. معاملات IEEE در طراحی مدارها و سیستم های یکپارچه به کمک کامپیوتر 37، 996-1008 (2017).
https://doi.org/10.1109/TCAD.2017.2729468

[2] لوکاس بورگولزر و رابرت ویل. "بررسی هم ارزی مدارهای کوانتومی مبتنی بر DD بهبود یافته". در 2020 بیست و پنجمین کنفرانس اتوماسیون طراحی آسیا و اقیانوسیه جنوبی (ASP-DAC). صفحات 25-127. IEEE (132).
https://doi.org/10.1109/ASP-DAC47756.2020.9045153

[3] لوکاس بورگولزر، ریچارد کوئنگ و رابرت ویل. "تولید محرک تصادفی برای تایید مدارهای کوانتومی". در مجموعه مقالات بیست و ششمین کنفرانس اتوماسیون طراحی آسیا و اقیانوسیه جنوبی. صفحات 26–767. (772).
https://doi.org/10.1145/3394885.3431590

[4] لوکاس بورگولزر و رابرت ویل. "بررسی هم ارزی پیشرفته برای مدارهای کوانتومی". معاملات IEEE در طراحی مدارها و سیستم های یکپارچه به کمک رایانه 40، 1810-1824 (2020).
https://doi.org/10.48550/arXiv.2004.08420

[5] جان پرسکیل. محاسبات کوانتومی در عصر NISQ و فراتر از آن Quantum 2, 79 (2018).
https://doi.org/10.48550/arXiv.1801.00862

[6] دانیل گوتسمن. "نمایش هایزنبرگ از کامپیوترهای کوانتومی" (1998). آدرس اینترنتی: arxiv.org/abs/quant-ph/9807006.
arXiv:quant-ph/9807006

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

[8] دانیل گوتسمن. “کدهای تثبیت کننده و تصحیح خطای کوانتومی”. رساله دکتری. موسسه فناوری کالیفرنیا (1997).
https://doi.org/10.48550/arXiv.quant-ph/9705052
arXiv:quant-ph/9705052

[9] Maarten Van den Nest، Jeroen Dehaene و Bart De Moor. "واحد محلی در مقابل هم ارزی کلیفورد محلی ایالات تثبیت کننده". فیزیک Rev. A 71, 062323 (2005).
https://doi.org/10.1103/PhysRevA.71.062323

[10] ماتیاس انگلبرشت و باربارا کراوس. "تقارن و درهم تنیدگی حالات تثبیت کننده". فیزیک Rev. A 101, 062302 (2020).
https://doi.org/10.1103/PhysRevA.101.062302

[11] رابرت راوسندورف و هانس جی بریگل. یک کامپیوتر کوانتومی یک طرفه فیزیک کشیش لِت 86، 5188-5191 (2001).
https://doi.org/10.1103/PhysRevLett.86.5188

[12] سرگئی براوی، گریم اسمیت و جان اسمولین. تجارت منابع محاسباتی کلاسیک و کوانتومی فیزیک Rev. X 6, 021043 (2016).
https://doi.org/10.1103/PhysRevX.6.021043

[13] سرگئی براوی و دیوید گوست. "شبیه سازی کلاسیک بهبود یافته مدارهای کوانتومی تحت سلطه گیت های کلیفورد". فیزیک کشیش لِت 116, 250501 (2016).
https://doi.org/10.1103/PhysRevLett.116.250501

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

[15] ییفی هوانگ و پیتر لاو. "رتبه تثبیت کننده تقریبی و بهبود شبیه سازی ضعیف مدارهای تحت سلطه کلیفورد برای qudits". فیزیک Rev. A 99, 052307 (2019).
https://doi.org/10.1103/PhysRevA.99.052307

[16] لوکاس کوچیا و پیتر لاو. "روش فاز ثابت در توابع ویگنر گسسته و شبیه سازی کلاسیک مدارهای کوانتومی". Quantum 5, 494 (2021).
https://doi.org/10.22331/q-2021-07-05-494

[17] لوکاس کوچیا و موهان سارووار "شبیه سازی کلاسیک مدارهای کوانتومی با استفاده از حذف گاوسی کمتر". بررسی فیزیکی A 103, 022603 (2021).
https://doi.org/10.1103/PhysRevA.103.022603

[18] شلدون بی آکرز. "نمودار تصمیم گیری دودویی". IEEE Computer Architecture Letters 27, 509–516 (1978).
https://doi.org/10.1109/TC.1978.1675141

[19] راندال ای. برایانت. "الگوریتم های مبتنی بر نمودار برای دستکاری تابع بولی". IEEE Trans. Computers 35, 677-691 (1986).
https://doi.org/10.1109/TC.1986.1676819

[20] راندال ای برایانت و یرنگ-آن چن. "تأیید مدارهای حسابی با نمودار گشتاور دودویی". در سی و دومین کنفرانس اتوماسیون طراحی. صفحات 32–535. IEEE (541).
https://doi.org/10.1109/DAC.1995.250005

[21] GF Viamontes، IL Markov، و JP Hayes. "شبیه سازی مدارهای کوانتومی مبتنی بر QuIDD با کارایی بالا". در مجموعه مقالات طراحی، اتوماسیون و تست در کنفرانس و نمایشگاه اروپا. جلد 2، صفحات 1354–1355 جلد2. (2004).
https://doi.org/10.1109/DATE.2004.1269084

[22] RI بهار، EA Frohm، CM Gaona، GD Hachtel، E. Macii، A. Pardo، و F. Somenzi. نمودارهای تصمیم جبری و کاربردهای آنها در مجموعه مقالات کنفرانس بین المللی طراحی به کمک رایانه (ICCAD) در سال 1993. صفحات 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).
https://doi.org/10.1023/A:1008647823331

[25] EM Clarke، KL McMillan، X Zhao، M. Fujita و J. Yang. "تبدیل های طیفی برای توابع بولی بزرگ با برنامه های کاربردی برای نگاشت فناوری". در مجموعه مقالات سی امین کنفرانس بین المللی اتوماسیون طراحی. صفحات 30-54. DAC '60 نیویورک، نیویورک، ایالات متحده آمریکا (93). انجمن ماشین های محاسباتی.
https://doi.org/10.1145/157485.164569

[26] اسکات سنر و دیوید مک آلستر "نمودارهای تصمیم جبری افین (AADDs) و کاربرد آنها در استنتاج احتمالی ساختاریافته". در مجموعه مقالات نوزدهمین کنفرانس مشترک بین المللی هوش مصنوعی. صفحات 19–1384. IJCAI'1390 سانفرانسیسکو، کالیفرنیا، ایالات متحده آمریکا (05). آدرس اینترنتی Morgan Kaufmann Publishers Inc.: www.ijcai.org/Proceedings/2005/Papers/05.pdf.
https://www.ijcai.org/Proceedings/05/Papers/1439.pdf

[27] دی مایکل میلر و میچل تورنتون. "QMDD: ساختار نمودار تصمیم گیری برای مدارهای برگشت پذیر و کوانتومی". در سی و ششمین سمپوزیوم بین المللی منطق چند ارزشی (ISMVL'36). صفحات 06-30. IEEE (30).
https://doi.org/10.1109/ISMVL.2006.35

[28] آلوین زولهنر و رابرت ویل. "شبیه سازی پیشرفته محاسبات کوانتومی". معاملات IEEE در طراحی مدارها و سیستم های یکپارچه به کمک رایانه 38، 848-859 (2018).
https://doi.org/10.48550/arXiv.1707.00865

[29] شین هونگ، شیانگژن ژو، سانجیانگ لی، یوان فنگ و مینگ‌شنگ یانگ. "نمودار تصمیم گیری مبتنی بر شبکه تانسور برای نمایش مدارهای کوانتومی". ACM Trans. دس خودکار الکترون. سیستم 27 (2022).
https://doi.org/10.1145/3514355

[30] استفان هیلمیچ، ریچارد کوئنگ، ایگور ال. مارکوف و رابرت ویل. "در حد نیاز دقیق، تا حد امکان کارآمد: تقریب ها در شبیه سازی مدار کوانتومی مبتنی بر DD". در کنفرانس و نمایشگاه طراحی، اتوماسیون و آزمایش در اروپا، تاریخ 2021، گرنوبل، فرانسه، 1-5 فوریه 2021. صفحات 188-193. IEEE (2021).
https://doi.org/10.23919/DATE51398.2021.9474034

[31] جورج اف ویامونتس، ایگور ال مارکوف و جان پی هیز. "شبیه سازی مدار کوانتومی". Springer Science & Business Media. (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).
https://doi.org/10.1103/PhysRevLett.86.910

[34] ولفگانگ دور، گیفره ویدال و جی ایگناسیو سیراک. "سه کیوبیت را می توان به دو روش نامتعادل درهم آمیخت." بررسی فیزیکی A 62, 062314 (2000).
https://doi.org/10.48550/arXiv.quant-ph/0005115
arXiv:quant-ph/0005115

[35] اریک چیتامبار، دبی لیونگ، لورا مانچینسکا، ماریس اوزولز و آندریاس وینتر. "همه چیزهایی که همیشه می خواستید در مورد LOCC بدانید (اما از پرسیدن می ترسیدید)". ارتباطات در فیزیک ریاضی 328، 303-326 (2014).
https://doi.org/10.48550/arXiv.1210.4583

[36] استیون آر وایت. فرمول ماتریس چگالی برای گروه‌های عادی سازی مجدد کوانتومی نامه های بررسی فیزیکی 69، 2863 (1992).
https://doi.org/10.1103/PhysRevLett.69.2863

[37] D. Perez-Garcia، F. Verstraete، MM Wolf و JI Cirac. "نمایش وضعیت محصول ماتریسی". اطلاعات و محاسبات کوانتومی 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
arXiv:quant-ph/0301063

[39] عدنان دارویچ و پیر مارکیز. "نقشه جمع آوری دانش". مجله تحقیقات هوش مصنوعی 17، 229-264 (2002).
https://doi.org/10.5555/1622810.1622817

[40] کارل اس بریس، ریچارد ال رودل و راندال ای برایانت. "اجرای کارآمد بسته BDD". در مجموعه مقالات بیست و هفتمین کنفرانس اتوماسیون طراحی ACM/IEEE. صفحات 27-40. (45).
https://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).
https://doi.org/10.1007/s100090100042

[43] Koenraad MR Audenaert و Martin B Plenio. "درهم تنیدگی روی حالت های تثبیت کننده مخلوط: اشکال عادی و روش های کاهش". مجله جدید فیزیک 7، 170 (2005). آدرس اینترنتی:.
https://doi.org/10.1088/1367-2630/7/1/170

[44] مارک هاین، ولفگانگ دور، ینس آیسرت، رابرت راوسندورف، ام نست، و اچ جی بریگل. "درهم تنیدگی در حالات گراف و کاربردهای آن". در مجموعه مقالات دانشکده بین المللی فیزیک "انریکو فرمی". جلد 162: رایانه های کوانتومی، الگوریتم ها و آشوب. IOS Press (2006).
https://doi.org/10.3254/978-1-61499-018-5-115

[45] اسکات آرونسون فرمول های چند خطی و شک و تردید در محاسبات کوانتومی در مجموعه مقالات سی و ششمین سمپوزیوم سالانه ACM در نظریه محاسبات. صفحه 118-127. STOC '04نیویورک، نیویورک، ایالات متحده آمریکا (2004). انجمن ماشین های محاسباتی.
https://doi.org/10.1145/1007352.1007378

[46] سرگئی براوی و الکسی کیتایف. محاسبات کوانتومی جهانی با گیت‌های کلیفورد ایده‌آل و حلقه‌های نویزدار. فیزیک Rev. A 71, 022316 (2005).
https://doi.org/10.1103/PhysRevA.71.022316

[47] چارلز اچ بنت، هربرت جی برنشتاین، ساندو پوپسکو و بنجامین شوماخر. "تمرکز درهم تنیدگی جزئی توسط عملیات محلی". Physical Review A 53, 2046 (1996).
https://doi.org/10.48550/arXiv.quant-ph/9511030
arXiv:quant-ph/9511030

[48] دیوید وای فاینشتاین و میچل تورنتون. "در مورد متغیرهای نادیده گرفته شده نمودارهای تصمیم گیری چندمقدار کوانتومی". در سال 2011 چهل و یکمین سمپوزیوم بین المللی IEEE در مورد منطق چند ارزشی. صفحات 41-164. IEEE (169).
https://doi.org/10.1109/ISMVL.2011.22

[49] ریچارد جی لیپتون، دونالد جی رز و رابرت اندره تارجان. "کالبد شکافی تو در تو عمومی". مجله SIAM در تجزیه و تحلیل عددی 16، 346-358 (1979).
https://doi.org/10.5555/892164

[50] M. Van den Nest، W. Dür، G. Vidal، و HJ Briegel. "شبیه سازی کلاسیک در مقابل جهانی بودن در محاسبات کوانتومی مبتنی بر اندازه گیری". فیزیک Rev. A 75, 012337 (2007).
https://doi.org/10.1103/PhysRevA.75.012337

[51] Vít Jelínek. "رتبه-عرض شبکه مربع". ریاضیات کاربردی گسسته 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] JW De Bakker و Lambert GLT Meertens. «درباره کامل بودن روش ادعای استقرایی». مجله علوم کامپیوتر و سیستم 11، 323-357 (1975).
https://doi.org/10.1016/S0022-0000(75)80056-0

[55] اینگو وگنر. برنامه‌های شاخه‌بندی و نمودارهای تصمیم باینری: نظریه و کاربردها. SIAM. (2000).
https://doi.org/10.1137/1.9780898719789

[56] جیمز مک کلانگ. "ساختارها و کاربردهای W-states". رساله دکتری. موسسه پلی تکنیک ورستر. (2020).

[57] سرینیواسان آروناچلام، سرگی براوی، چینمای نیرکه و برایان اوگرمن. "پیچیدگی پارامتری تایید کوانتومی" (2022).
https://doi.org/10.4230/LIPIcs.TQC.2022.3

[58] الکس کیسینجر و جان ون دو وترینگ. "کاهش تعداد T با محاسبه ZX" (2019).
https://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. Optics Communications 284, 3160-3163 (2011).
https://doi.org/10.1016/j.optcom.2011.02.017

[62] ویکتوریا لیپینسکا، گلوسیا مورتا و استفانی ونر. "انتقال ناشناس در یک شبکه کوانتومی پر سر و صدا با استفاده از حالت ${W}$". فیزیک Rev. A 98, 052320 (2018).
https://doi.org/10.1103/PhysRevA.98.052320

[63] پل تافرتشوفر و مسعود پدرام. "نمودار تصمیم گیری دودویی با ارزش لبه فاکتور". روشهای رسمی در طراحی سیستم 10، 243-270 (1997).
https://doi.org/10.1023/A:1008691605584

[64] Meghana Sistla، Swarat Chaudhuri، و Thomas Reps. "CFLOBDDs: نمودارهای تصمیم باینری مرتب شده با زبان بدون زمینه" (2023). arXiv:2211.06818.
arXiv: 2211.06818

[65] Meghana Sistla، Swarat Chaudhuri و Thomas Reps. "شبیه سازی کوانتومی نمادین با شبه مودو". در Constantin Enea و Akash Lal، ویراستاران، Computer Aided Verification. صفحات 213-225. چم (2023). Springer Nature سوئیس.
https://doi.org/10.1007/978-3-031-37709-9_11

[66] Rajeev Alur و P. Madhusudan. «زبان‌های به‌طور قابل مشاهده فشاری». در مجموعه مقالات سی و ششمین سمپوزیوم سالانه ACM در نظریه محاسبات. صفحات 202-211. STOC '04نیویورک، نیویورک، ایالات متحده آمریکا (2004). انجمن ماشین های محاسباتی.
https://doi.org/10.1145/1007352.1007390

[67] Meghana Sistla، Swarat Chaudhuri، و Thomas Reps. «دیاگرام‌های تصمیم‌گیری باینری مرتب‌شده با زبان بدون بافت وزنی» (2023). arXiv:2305.13610.
arXiv: 2305.13610

[68] عدنان دارویچه. "SDD: یک نمایش متعارف جدید از پایگاه های دانش گزاره ای". در مجموعه مقالات بیست و دومین کنفرانس مشترک بین المللی هوش مصنوعی-جلد دوم. . مطبوعات AAAI (2011).

[69] دوگا کیسا، گای ون دن بروک، آرتور چوی و عدنان دارویچ. "نمودار تصمیم گیری جمله ای احتمالی". در مجموعه مقالات چهاردهمین کنفرانس بین المللی اصول بازنمایی و استدلال دانش. صفحات 558–567. KR'14. مطبوعات AAAI (2014). آدرس اینترنتی: cdn.aaai.org/ocs/8005/8005-36908-1-PB.pdf.
https://cdn.aaai.org/ocs/8005/8005-36908-1-PB.pdf

[70] کنگو ناکامورا، شوهی دنزومی و ماساکی نیشینو. "SDD تغییر متغیر: نمودار تصمیم گیری جمله ای مختصرتر". در Simone Faro و Domenico Cantone، سردبیران، هجدهمین سمپوزیوم بین المللی الگوریتم های تجربی (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. IEEE (1999).
https://doi.org/10.1109/ISCAS.1999.777884

[72] باربارا ام ترهال و دیوید پی دی وینچنزو. شبیه سازی کلاسیک مدارهای کوانتومی فرمیونی غیر متقابل فیزیک Rev. A 65, 032325 (2002).
https://doi.org/10.1103/PhysRevA.65.032325

[73] ریچارد جوزا و آکیماسا میاکه. "Matchgates و شبیه سازی کلاسیک مدارهای کوانتومی". مجموعه مقالات: علوم ریاضی، فیزیک و مهندسی صفحات 3089–3106 (2008).
https://doi.org/10.1098/rspa.2008.0189

[74] مارتین هبنستریت، ریچارد جوزسا، باربارا کراوس و سرگی استرلچوک. "قدرت محاسباتی کبریت گیت ها با منابع تکمیلی". بررسی فیزیکی A 102، 052604 (2020).
https://doi.org/10.1103/PhysRevA.102.052604

[75] رومن اروس. "مقدمه ای عملی برای شبکه های تانسور: حالت های محصول ماتریس و حالت های جفت درهم تنیده پیش بینی شده". Annals of Physics 349، 117-158 (2014).
https://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). arXiv:2107.01186.
arXiv: 2107.01186

[78] ریچارد رودل. "ترتیب متغیر پویا برای نمودارهای تصمیم گیری باینری مرتب". در مجموعه مقالات کنفرانس بین المللی طراحی به کمک رایانه (ICCAD) در سال 1993. صفحات 42-47. IEEE (1993).
https://doi.org/10.1109/ICCAD.1993.580029

[79] اووت ون دن برگ و کریستن تم. "بهینه سازی مدار شبیه سازی همیلتونی با قطری همزمان خوشه های پائولی". Quantum 4, 322 (2020).
https://doi.org/10.22331/q-2020-09-12-322

[80] یوجین ام لوکس، فرنک راکوزی و چارلز آر بی رایت. "برخی الگوریتم‌ها برای گروه‌های جایگشت nilpotent". مجله محاسبات نمادین 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). arXiv:1210.6646.
arXiv: 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] دیمیتریوس تانوس، تیم کوپمنز و آلفونس لارمن، "بررسی سریع هم ارزی مدارهای کوانتومی دروازه های کلیفورد"، arXiv: 2308.01206, (2023).

[2] رابرت ویل، استفان هیلمیچ و لوکاس بورگولزر، "ابزارهایی برای محاسبات کوانتومی بر اساس نمودارهای تصمیم گیری"، arXiv: 2108.07027, (2021).

نقل قول های بالا از SAO/NASA Ads (آخرین به روز رسانی با موفقیت 2023-09-12 14:57:20). فهرست ممکن است ناقص باشد زیرا همه ناشران داده های استنادی مناسب و کاملی را ارائه نمی دهند.

On سرویس استناد شده توسط Crossref هیچ داده ای در مورد استناد به آثار یافت نشد (آخرین تلاش 2023-09-12 14:57:15).

این مقاله در Quantum تحت عنوان منتشر شده است Creative Commons Attribution 4.0 International (CC BY 4.0) مجوز. حق چاپ نزد دارندگان حق چاپ اصلی مانند نویسندگان یا مؤسسات آنها باقی می ماند.

محتوای مبتنی بر SEO و توزیع روابط عمومی. امروز تقویت شوید.
PlatoData.Network Vertical Generative Ai. به خودت قدرت بده دسترسی به اینجا.
PlatoAiStream. هوش وب 3 دانش تقویت شده دسترسی به اینجا.
PlatoESG. خودرو / خودروهای الکتریکی، کربن ، CleanTech، انرژی، محیط، خورشیدی، مدیریت پسماند دسترسی به اینجا.
PlatoHealth. هوش بیوتکنولوژی و آزمایشات بالینی. دسترسی به اینجا.
ChartPrime. بازی معاملاتی خود را با ChartPrime ارتقا دهید. دسترسی به اینجا.
BlockOffsets. نوسازی مالکیت افست زیست محیطی. دسترسی به اینجا.
منبع: https://quantum-journal.org/papers/q-2023-09-11-1108/

تمبر زمان: سپتامبر 11، 2023

LIMDD: نمودار تصمیم گیری برای شبیه سازی محاسبات کوانتومی شامل حالات تثبیت کننده

بازنشر افلاطون

چکیده

خلاصه محبوب

► داده های BibTeX

◄ مراجع

ذکر شده توسط

بیشتر از مجله کوانتومی

راه اندازی شبکه عصبی نمودار بهینه سازی تقریبی کوانتومی

فراخوان برای ویرایشگران 2023

ملاحظات تأخیر برای بهینه سازهای تصادفی در الگوریتم های کوانتومی متغیر

آزمایش‌های پایداری: آزمایش‌های حافظه دوگانه نادیده گرفته شده

آماده سازی حالت در مدل هایزنبرگ از طریق مارپیچ آدیاباتیک

تقارن های غیر پیش پا افتاده در مناظر کوانتومی و انعطاف پذیری آنها در برابر نویز کوانتومی

بهره برداری از اثرات غیر خطی در حسگرهای اپتومکانیکی با شمارش فوتون پیوسته

$2T$-qutrit، یک کوتریت بوزونی دو حالته

رویکرد تئوری گراف به آزمایش‌های بل با راندمان تشخیص پایین

موتورهایی برای استخراج کار پیش بینی از فرآیندهای تصادفی کوانتومی حافظه دار

پراکندگی کوانتومی به عنوان منبع کاری

آماده سازی پس از انتخاب کیوبیت های فیزیکی با کیفیت بالا

درباره‌ ما

جستجوی عمودی و هوش مصنوعی

سکو

همیشه در ارتباط ماندن

حساب