LIMDD: דיאגרמת החלטה לסימולציה של מחשוב קוונטי כולל מצבי מייצב

הועלה מחדש על ידי אפלטון

עוקב: 0

Lieuwe Vinkhuijzen¹, טים קופמנס^1,2, דיוויד אלקוס^2,3, וודרן דונג'קו¹, ו אלפונס לארמן¹

¹אוניברסיטת ליידן, הולנד
²אוניברסיטת דלפט לטכנולוגיה, הולנד
³יחידת התקנים קוונטיים ברשת, אוניברסיטת אוקינאווה למדע וטכנולוגיה לתואר שני, אוקינאווה, יפן

מצא את העיתון הזה מעניין או רוצה לדון? סקייט או השאירו תגובה ב- SciRate.

תַקצִיר

שיטות יעילות לייצוג וסימולציה של מצבים קוונטיים ופעולות קוונטיות הן חיוניות לאופטימיזציה של מעגלים קוונטיים. דיאגרמות החלטה (DDs), מבנה נתונים שנלמד היטב ששימש במקור לייצוג פונקציות בוליאניות, הוכיחו כי הם מסוגלים לתפוס היבטים רלוונטיים של מערכות קוונטיות, אך הגבולות שלהם אינם מובנים היטב. בעבודה זו אנו חוקרים ומגשרים על הפער בין מבנים קיימים המבוססים על DD לבין הפורמליזם המייצב, כלי חשוב להדמיית מעגלים קוונטיים במשטר הניתן לטיפול. תחילה אנו מראים שלמרות ש-DDs הוצעו לייצג באופן תמציתי מצבים קוונטיים חשובים, הם למעשה דורשים מרחב אקספוננציאלי עבור מצבי מייצב מסוימים. כדי לתקן זאת, אנו מציגים גרסת דיאגרמת החלטה חזקה יותר, הנקראת Local Invertible Map-DD (LIMDD). אנו מוכיחים שקבוצת המצבים הקוונטיים המיוצגים על ידי LIMDDs בגודל רב מכילה אך ורק את האיחוד של מצבי מייצב וגרסאות דיאגרמת החלטות אחרות. לבסוף, קיימים מעגלים ש-LIMDDs יכולים לדמות ביעילות, בעוד שמצבי הפלט שלהם אינם יכולים להיות מיוצגים בתמציתיות על ידי שתי פרדיגמות סימולציה מתקדמות: טכניקות פירוק המייצב עבור מעגלי Clifford + $T$ ו-Matrix-Product States. על ידי איחוד שתי גישות מוצלחות, LIMDDs לפיכך סוללים את הדרך לפתרונות חזקים יותר ביסודו של סימולציה וניתוח של מחשוב קוונטי.

LIMDD: דיאגרמת החלטה לסימולציה של מחשוב קוונטי, כולל מודיעין נתונים של PlatoBlockchain. חיפוש אנכי. איי.

תמונה מוצגת: משמאל: דיאגרמת Venn של קבוצת המצבים הקוונטיים המיוצגים ביעילות על ידי LIMDDs ועוד כמה פורמליזם. מימין: דוגמה ל-LIMDD, המייצג באופן קומפקטי מצב קוונטי של $3$-qubit.

סיכום פופולרי

הדמיה קלאסית של מעגל קוונטי היא משימה קשה מבחינה חישובית. בגישה פשוטה, דרישות הזיכרון לאחסון תיאור של מצב קוונטי גדלות כ-$2^n$ עבור מעגל $n$-qubit. דיאגרמות החלטה מטפלות בבעיה זו על ידי מתן ייצוג דחוס של מצב קוונטי. עם זאת, הגבולות של שיטות מבוססות DD לא הובנו היטב. בעבודה זו, אנו חוקרים ומגשרים על הפער בין מבנים קיימים מבוססי DD לבין הפורמליזם המייצב, כלי חשוב נוסף להדמיית מעגלים קוונטיים. תחילה אנו מראים שלמרות ש-DDs הוצעו לייצג באופן תמציתי מצבים קוונטיים חשובים, הם למעשה דורשים מרחב אקספוננציאלי עבור מצבי מייצב מסוימים. כדי לתקן זאת, אנו מציגים גרסת דיאגרמת החלטה חזקה יותר, הנקראת Local Invertible Map-DD (LIMDD). אנו מוכיחים שישנם מעגלים קוונטיים שניתן לנתח אותם ביעילות על ידי LIMDDs, אך לא על ידי שיטות קיימות מבוססות DD, לא טכניקות פירוק מייצב, ולא מצבי תוצר מטריצה. על ידי מינוף החוזקות של DD ושל הפורמליזם המייצב במבנה נתונים תמציתי יותר למהדרין, LIMDDs לפיכך סוללים את הדרך לסימולציה וניתוח חזקים יותר ביסודו של מחשוב קוונטי.

► נתוני BibTeX

@article{Vinkhuijzen2023limdddecision, doi = {10.22331/q-2023-09-11-1108}, url = {https://doi.org/10.22331/q-2023-09-11-1108}, title = {{{{2521}} }: {A} {D}איגרמת החלטה {D} עבור {S}הדמיית {Q}uantum {C}חישוב {I}כולל {S}טביליזר {S}tates}, מחבר = {Vinkhuijzen, Lieuwe and Coopmans, טים ואלקוס, דיוויד ודוניקו, Vedran ולרמן, אלפונס}, כתב עת = {{Quantum}}, issn = {327-7X}, מוציא לאור = {{Verein zur F{“{o}}rderung des Open Access Publizierens ב den Quantenwissenschaften}}, נפח = {1108}, דפים = {2023}, חודש = ספטמבר, שנה = {XNUMX} }

► הפניות

[1] אלווין זולהנר ורוברט ויל. "תכנון במעבר אחד של מעגלים הפיכים: שילוב של הטבעה וסינתזה ללוגיקה הפיכה". IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems 37, 996–1008 (2017).
https: / / doi.org / 10.1109 / TCAD.2017.2729468

[2] לוקאס בורגהולצר ורוברט ויל. "בדיקת שוויון מבוססת DD משופרת של מעגלים קוונטיים". בשנת 2020 ועידת אוטומציה לעיצוב אסיה ודרום האוקיינוס השקט ה-25 (ASP-DAC). עמודים 127–132. IEEE (2020).
https://doi.org/10.1109/ASP-DAC47756.2020.9045153

[3] לוקאס בורגהולצר, ריצ'רד קואנג ורוברט ויל. "יצירת גירויים אקראית לאימות מעגלים קוונטיים". במסגרת הכנס ה-26 לעיצוב אוטומציה של אסיה ודרום האוקיינוס השקט. עמודים 767–772. (2021).
https: / / doi.org/ 10.1145 / 3394885.3431590

[4] לוקאס בורגהולצר ורוברט ויל. "בדיקת שקילות מתקדמת עבור מעגלים קוונטיים". IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems 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] מארטן ואן דן נסט, ג'רואן דהאן ובארט דה מור. "השוואה מקומית יחידה מול קליפורד מקומית של מדינות מייצבות". פיזי. ר' א 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". פיזי. ר' א 99, 052307 (2019).
https: / / doi.org/ 10.1103 / PhysRevA.99.052307

[16] לוקאס קוצ'יה ופיטר לאב. "שיטת פאזה נייחת בפונקציות דיסקרטיות של Wigner וסימולציה קלאסית של מעגלים קוונטיים". 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 טרנס. מחשבים 35, 677–691 (1986).
https: / / doi.org/ 10.1109 / TC.1986.1676819

[20] רנדל אי בראיינט וירנג-אן צ'ן. "אימות של מעגלים אריתמטיים עם דיאגרמות רגעים בינאריות". בכנס עיצוב אוטומציה 32. עמודים 535–541. IEEE (1995).
https://doi.org/10.1109/DAC.1995.250005

[21] GF Viamontes, IL Markov ו-JP Hayes. "סימולציה מבוססת QuIDD בעלת ביצועים גבוהים של מעגלים קוונטיים". בתכנון תהליכים, אוטומציה ובדיקה באירופה כנס ותערוכות. כרך 2, עמודים 1354–1355 כרך ב. (2).
https: / / doi.org/ 10.1109 / DATE.2004.1269084

[22] RI Bahar, EA Frohm, CM Gaona, GD Hachtel, E. Macii, A. Pardo, and F. Somenzi. "דיאגרמות החלטות אלגבריות ויישומיהן". בהליכים של 1993 הכנס הבינלאומי לתכנון בעזרת מחשב (ICCAD). עמודים 188–191. (1993).
https://doi.org/10.1109/ICCAD.1993.580054

[23] ג'ורג' פ ויאמונטס, איגור ל' מרקוב וג'ון פ הייז. "שיפור סימולציה ברמת השער של מעגלים קוונטיים". Quantum Information Processing 2, 347–380 (2003).
https://doi.org/10.1023/B:QINP.0000022725.70000.4a

[24] Masahiro Fujita, Patrick C. McGeer, ו-JC-Y Yang. "דיאגרמות החלטות בינאריות מרובות-טרמינליות: מבנה נתונים יעיל לייצוג מטריצה". שיטות פורמליות בתכנון מערכת 10, 149–169 (1997).
https: / / doi.org/ 10.1023 / A: 1008647823331

[25] EM Clarke, KL McMillan, X Zhao, M. Fujita, and J. Yang. "טרנספורמציות ספקטרליות עבור פונקציות בוליאניות גדולות עם יישומים למיפוי טכנולוגי". במסגרת הכנס הבינלאומי ה-30 לאוטומציה בעיצוב. עמודים 54–60. DAC '93 ניו יורק, ניו יורק, ארה"ב (1993). האגודה למכונות מחשוב.
https: / / doi.org/ 10.1145 / 157485.164569

[26] סקוט סאנר ודיוויד מקאלסטר. "דיאגרמות החלטה אלגבריות קשורות (AADDs) ויישומה בהסקה הסתברותית מובנית". במסגרת הוועידה הבינלאומית המשותפת ה-19 בנושא בינה מלאכותית. עמודים 1384–1390. IJCAI'05San Francisco, CA, USA (2005). כתובת האתר של Morgan Kaufmann Publishers Inc.: www.ijcai.org/Proceedings/05/Papers/1439.pdf.
https:///www.ijcai.org/Proceedings/05/Papers/1439.pdf

[27] ד מייקל מילר ומיטשל א' תורנטון. "QMDD: מבנה דיאגרמת החלטה עבור מעגלים הפיכים וקוונטיים". בסימפוזיון הבינלאומי ה-36 בנושא היגיון רב ערכים (ISMVL'06). עמודים 30–30. IEEE (2006).
https://doi.org/10.1109/ISMVL.2006.35

[28] אלווין זולהנר ורוברט ויל. "סימולציה מתקדמת של חישובים קוונטיים". IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems 38, 848–859 (2018).
https:///doi.org/10.48550/arXiv.1707.00865

[29] Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng ו-Mingsheng Ying. "דיאגרמת החלטה מבוססת רשת טנזור לייצוג של מעגלים קוונטיים". ACM Trans. דס. אוטומטי. אֶלֶקטרוֹן. סיסט. 27 (2022).
https: / / doi.org/ 10.1145 / 3514355

[30] סטפן הילמיץ', ריצ'רד קואנג, איגור ל' מרקוב ורוברט ויל. "מדויק לפי הצורך, כמה שיותר יעיל: קירובים בסימולציית מעגלים קוונטיים מבוססי DD". בעיצוב, אוטומציה ובדיקה באירופה כנס ותערוכות, DATE 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] Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou וסנג'יאנג לי. "בדיקת שקילות משוערת של מעגלים קוונטיים רועשים". בשנת 2021 ועידת ACM/IEEE Design Automation (DAC) ה-58. עמודים 637–642. (2021).
https://doi.org/10.1109/DAC18074.2021.9586214

[33] הנס ג'יי בריגל ורוברט ראוסנדורף. "הסתבכות מתמשכת במערכים של חלקיקים בעלי אינטראקציה". פיזי. הכומר לט. 86, 910–913 (2001).
https: / / doi.org/ 10.1103 / PhysRevLett.86.910

[34] וולפגנג דיר, גיפרה וידאל ו-J Ignacio Cirac. "שלושה קיוביטים יכולים להסתבך בשתי דרכים לא שוות". סקירה פיזית א 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, and JI Cirac. "ייצוגי מצב מוצר מטריקס". Quantum Information & Computation 7, 401–430 (2007).
https:///doi.org/10.48550/arXiv.2011.12127

[38] Guifré Vidal. "סימולציה קלאסית יעילה של חישובים קוונטיים מעט מסובכים". מכתבי סקירה פיזית 91, 147902 (2003).
https:///doi.org/10.48550/arXiv.quant-ph/0301063
arXiv: quant-ph / 0301063

[39] עדנאן דרוויץ' ופייר מרקיז. "מפת איסוף ידע". Journal of Artificial Intelligence Research 17, 229–264 (2002).
https: / / doi.org/ 10.5555 / 1622810.1622817

[40] קארל ס ברייס, ריצ'רד ל. רודל ורנדל אי בראיינט. "יישום יעיל של חבילת BDD". בכנס ה-27 של ACM/IEEE עיצוב אוטומציה. עמודים 40–45. (1991).
https: / / doi.org/ 10.1145 / 123186.123222

[41] דונלד ארווין קנוט. "אמנות תכנות המחשב. כרך 4, פאסקל 1". אדיסון-וסלי. (2005).
https://doi.org/10.1090/s0002-9904-1973-13173-8

[42] פאביו סומנצי. "מניפולציה יעילה של דיאגרמות החלטות". International Journal on Software Tools for Technology Transfer 3, 171–181 (2001).
https: / / doi.org/ 10.1007 / s100090100042

[43] קונראד MR Audenaert ומרטין B Plenio. "הסתבכות במצבי מייצב מעורב: צורות נורמליות ונהלי הפחתה". New Journal of Physics 7, 170 (2005). כתובת אתר:.
https://doi.org/10.1088/1367-2630/7/1/170

[44] Marc Hein, Wolfgang Dür, Jens Eisert, Robert Raussendorf, M Nest, and HJ Briegel. "הסתבכות במצבי גרף ויישומיו". בהליכים של בית הספר הבינלאומי לפיזיקה "אנריקו פרמי". כרך 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] סרגיי בראווי ואלכסיי קיטאיב. "חישוב קוונטי אוניברסלי עם שערי קליפורד אידיאליים ואציליות רועשות". פיזי. ר' א 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 הסימפוזיון הבינלאומי ה-41 של IEEE בנושא היגיון רב ערכים. עמודים 164–169. IEEE (2011).
https://doi.org/10.1109/ISMVL.2011.22

[49] ריצ'רד ג'יי ליפטון, דונלד ג'יי רוז ורוברט אנדרה טארג'אן. "נתיחה מקוננת כללית". SIAM Journal on Numerical Analysis 16, 346–358 (1979).
https: / / doi.org/ 10.5555 / 892164

[50] M. Van den Nest, W. Dür, G. Vidal, and HJ Briegel. "סימולציה קלאסית מול אוניברסליות בחישוב קוונטי מבוסס מדידה". פיזי. ר' א 75, 012337 (2007).
https: / / doi.org/ 10.1103 / PhysRevA.75.012337

[51] Vít Jelínek. "רוחב הדרגה של הרשת המרובעת". Discrete Applied Mathematics 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 ולמברט GLT Meertens. "על השלמות של שיטת הטענה האינדוקטיבית". כתב עת למדעי המחשב והמערכת 11, 323–357 (1975).
https://doi.org/10.1016/S0022-0000(75)80056-0

[55] אינגו וגנר. "תוכניות הסתעפות ודיאגרמות החלטות בינאריות: תיאוריה ויישומים". סיאם. (2000).
https: / / doi.org/ 10.1137 / 1.9780898719789

[56] ג'יימס מקלנג. "קונסטרוקציות ויישומים של מדינות W". עבודת דוקטורט. המכון הפוליטכני בווסטר. (2020).

[57] Srinivasan Arunachalam, Sergey Bravyi, Chinmay Nirkhe, בריאן או'גורמן. "המורכבות הפרמטרית של אימות קוונטי" (2022).
https: / / doi.org/ 10.4230 / LIPIcs.TQC.2022.3

[58] אלכס קיסינג'ר וג'ון ואן דה ווטרינג. "הפחתת ספירת T עם חישוב ZX" (2019).
https: / / doi.org/ 10.1103 / PhysRevA.102.022406

[59] Himanshu Thapliyal, Edgard Munoz-Coreas, TSS Varun ו-Travis S Humble. "עיצובי מעגלים קוונטיים של חלוקת מספרים שלמים המיטובים ספירת 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).
https: / / doi.org/ 10.1016 / j.optcom.2011.02.017

[62] ויקטוריה ליפינסקה, גליוסיה מורטה וסטפני ווהנר. "שידור אנונימי ברשת קוונטית רועשת באמצעות מצב ${W}$". פיזי. ר' א 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. "סימולציה קוונטית סימבולית עם quasimodo". ב-Constantin Enea ו- Akash Lal, עורכים, Computer Aided Verification. עמודים 213–225. צ'אם (2023). ספרינגר טבע שוויץ.
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] Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche. "דיאגרמות החלטות עונשיות הסתברותיות". בהליכי הכנס הבינלאומי הארבעה עשר על עקרונות ייצוג והיגיון ידע. עמודים 558–567. KR'14. AAAI Press (2014). כתובת אתר: cdn.aaai.org/ocs/8005/8005-36908-1-PB.pdf.
https:///cdn.aaai.org/ocs/8005/8005-36908-1-PB.pdf

[70] קנגו נקמורה, שוהיי דנזומי ומסאקי נישינו. "SDD משמרת משתנה: דיאגרמת החלטה גזרתית תמציתית יותר". בסימון פארו ודומניקו קנטון, עורכים, סימפוזיון בינלאומי 18 על אלגוריתמים ניסויים (SEA 2020). כרך 160 של Leibniz International Proceedings in Informatics (LIPIcs), עמודים 22:1–22:13. Dagstuhl, גרמניה (2020). 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] Barbara M. Terhal and David P. DiVincenzo. "סימולציה קלאסית של מעגלים קוונטיים ללא אינטראקציה עם פרמיון". פיזי. ר' א 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] מרטין הבנסטרייט, ריצ'רד ג'וזה, ברברה קראוס וסרגיי סטרלצ'וק. "כוח חישובי של שערי התאמה עם משאבים משלימים". Physical Review 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] בוב קוק ורוס דאנקן. "צפיות קוונטיות מתקשרות: אלגברה קטגורית ודיאגרמה". New Journal of Physics 13, 043016 (2011).
https://doi.org/10.1007/978-3-540-70583-3_25

[77] רנו וילמארט. "דיאגרמות החלטות קוונטיות בעלות ערך רב בחישובים גרפיים" (2021). arXiv:2107.01186.
arXiv: 2107.01186

[78] ריצ'רד רודל. "סדר משתנה דינמי עבור דיאגרמות החלטה בינאריות מסודרות". בהליכים של 1993 הכנס הבינלאומי לתכנון בעזרת מחשב (ICCAD). עמודים 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] יוג'ין מ. לוקס, פרנץ ראקוצי וצ'ארלס RB רייט. "כמה אלגוריתמים לקבוצות תמורה חסרות יכולות". Journal of Symbolic Computation 23, 335–354 (1997).
https://doi.org/10.1006/jsco.1996.0092

[81] Pavol Ďuriš, Juraj Hromkovič, Stasys Jukna, Martin Sauerhoff, ו-Georg Schnitger. "על מורכבות תקשורת מרובת מחיצות". מידע וחישוב 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 (University College London). (2020).
https://doi.org/10.5555/AAI28131047

מצוטט על ידי

[1] Dimitrios Thanos, Tim Coopmans, ואלפונס Laarman, "בדיקת שקילות מהירה של מעגלים קוונטיים של שערי קליפורד", arXiv: 2308.01206, (2023).

[2] רוברט ויל, סטפן הילמיץ' ולוקאס בורגהולצר, "כלים למחשוב קוונטי המבוססים על דיאגרמות החלטות", arXiv: 2108.07027, (2021).

הציטוטים לעיל הם מ- מודעות SAO / NASA (עודכן לאחרונה בהצלחה 2023-09-12 14:57:20). הרשימה עשויה להיות שלמה מכיוון שלא כל בעלי האתרים מספקים נתוני ציטוט ראויים ומלאים.

On השירות המוזכר של קרוסרף לא נמצאו נתונים על ציטוט עבודות (ניסיון אחרון 2023-09-12 14:57:15)

מאמר זה מתפרסם בקוונטים תחת התקציב ייחוס Creative Commons 4.0 הבינלאומי (CC BY 4.0) רישיון. זכויות יוצרים נשארות עם בעלי זכויות היוצרים המקוריים כמו המחברים או מוסדותיהם.

הפצת תוכן ויחסי ציבור מופעל על ידי SEO. קבל הגברה היום.
PlatoData.Network Vertical Generative Ai. העצים את עצמך. גישה כאן.
PlatoAiStream. Web3 Intelligence. הידע מוגבר. גישה כאן.
PlatoESG. רכב / רכבים חשמליים, פחמן, קלינטק, אנרגיה, סביבה, שמש, ניהול פסולת. גישה כאן.
PlatoHealth. מודיעין ביוטכנולוגיה וניסויים קליניים. גישה כאן.
ChartPrime. הרם את משחק המסחר שלך עם ChartPrime. גישה כאן.
BlockOffsets. מודרניזציה של בעלות על קיזוז סביבתי. גישה כאן.
מקור: https://quantum-journal.org/papers/q-2023-09-11-1108/

בול זמן: ספטמבר 11, 2023

בול זמן: יולי 12, 2023

LIMDD: דיאגרמת החלטה לסימולציה של מחשוב קוונטי כולל מצבי מייצב

הועלה מחדש על ידי אפלטון

תַקצִיר

סיכום פופולרי

► נתוני BibTeX

► הפניות

מצוטט על ידי

עוד מ יומן קוונטים

טיהור הסתבכות עם קודי LDPC קוונטיים ופענוח איטרטיבי

פער מתמיד בין אסטרטגיות קונבנציונליות לאלו המבוססות על C*-דינמיקה למעילה עצמית

גישת דומה להסתברות של Kirkwood-Dirac לסטטיסטיקה של נצפים בלתי תואמים

מבט הסתברותי של דואליות גל-חלקיקי עבור פוטונים בודדים

עדות לממד הסביבה באמצעות מתאמים זמניים

מחיקת מידע קוונטי שיתופית

יצירת הסתבכות נסיונית להפצת מפתח קוונטי מעבר ל-1 Gbit/s

קידוד ממד גבוה בפרוטוקול Round-Robin דיפרנציאלי-פאזה-Shift

קריאה לעורכים 2024

אודות

חיפוש אנכי ו- Ai

פלטפורמה

שמור על קשר

חֶשְׁבּוֹן