LIMDD: แผนภาพการตัดสินใจสำหรับการจำลองการคำนวณควอนตัมรวมถึงสถานะตัวปรับเสถียร

เผยแพร่ซ้ำโดยเพลโต

ผู้ติดตาม: 0

ลิเยอ วิงค์ฮุยเซ่น¹, ทิม คูปแมนส์^1,2, เดวิด เอลคุสส์^2,3, เวดราน ดุนจ์โก¹และ อัลฟอนส์ ลาร์แมน¹

¹มหาวิทยาลัยไลเดนประเทศเนเธอร์แลนด์
²มหาวิทยาลัยเทคโนโลยีเดลฟต์ ประเทศเนเธอร์แลนด์
³หน่วยควอนตัมเครือข่าย สถาบันบัณฑิตวิทยาศาสตร์และเทคโนโลยีโอกินาวา เมืองโอกินาวา ประเทศญี่ปุ่น

พบบทความนี้ที่น่าสนใจหรือต้องการหารือ? Scite หรือแสดงความคิดเห็นใน SciRate.

นามธรรม

วิธีการที่มีประสิทธิภาพสำหรับการแสดงและการจำลองสถานะควอนตัมและการดำเนินการควอนตัมมีความสำคัญอย่างยิ่งต่อการปรับวงจรควอนตัมให้เหมาะสม แผนภาพการตัดสินใจ (DD) ซึ่งเป็นโครงสร้างข้อมูลที่ได้รับการศึกษาอย่างดีแต่เดิมใช้เพื่อแสดงฟังก์ชันบูลีน ได้รับการพิสูจน์แล้วว่าสามารถจับประเด็นที่เกี่ยวข้องของระบบควอนตัมได้ แต่ยังไม่เข้าใจขีดจำกัดของมันดีนัก ในงานนี้ เราตรวจสอบและเชื่อมช่องว่างระหว่างโครงสร้างแบบ DD ที่มีอยู่กับรูปแบบการคงตัว ซึ่งเป็นเครื่องมือสำคัญสำหรับการจำลองวงจรควอนตัมในระบบการปกครองแบบลากได้ ก่อนอื่นเราแสดงให้เห็นว่าถึงแม้ว่า DD จะได้รับการแนะนำให้เป็นตัวแทนของสถานะควอนตัมที่สำคัญอย่างกระชับ แต่จริงๆ แล้วพวกมันต้องการพื้นที่เอ็กซ์โปเนนเชียลสำหรับสถานะโคลงบางอย่าง เพื่อแก้ไขปัญหานี้ เราขอแนะนำรูปแบบแผนภาพการตัดสินใจที่มีประสิทธิภาพยิ่งขึ้น ซึ่งเรียกว่า Local Invertible Map-DD (LIMDD) เราพิสูจน์ว่าชุดของสถานะควอนตัมที่แสดงโดย LIMDD ขนาดโพลีนั้นประกอบด้วยการรวมกันของสถานะโคลงและตัวแปรแผนภาพการตัดสินใจอื่น ๆ อย่างเคร่งครัด สุดท้ายนี้ มีวงจรที่ LIMDD สามารถจำลองได้อย่างมีประสิทธิภาพ ในขณะที่สถานะเอาท์พุตของพวกมันไม่สามารถแสดงได้อย่างกระชับด้วยกระบวนทัศน์การจำลองที่ล้ำสมัยสองแบบ: เทคนิคการสลายตัวของสเตบิไลเซอร์สำหรับวงจร Clifford + $T$ และสถานะเมทริกซ์-ผลิตภัณฑ์ ด้วยการรวมแนวทางที่ประสบความสำเร็จสองแนวทางเข้าด้วยกัน LIMDD จึงปูทางสำหรับโซลูชันพื้นฐานที่ทรงพลังยิ่งขึ้นสำหรับการจำลองและการวิเคราะห์การคำนวณควอนตัม

LIMDD: แผนภาพการตัดสินใจสำหรับการจำลองการคำนวณควอนตัม รวมถึงสถานะความเสถียรของ PlatoBlockchain Data Intelligence ค้นหาแนวตั้ง AI.

ภาพเด่น: ซ้าย: แผนภาพเวนน์ของชุดสถานะควอนตัมซึ่งแสดงโดย LIMDD และรูปแบบรูปแบบอื่นๆ ได้อย่างมีประสิทธิภาพ ขวา: ตัวอย่างของ LIMDD ซึ่งแสดงสถานะควอนตัม $3$-qubit อย่างกะทัดรัด

สรุปยอดนิยม

การจำลองวงจรควอนตัมแบบคลาสสิกเป็นงานที่ยากในการคำนวณ หากอธิบายอย่างตรงไปตรงมา ข้อกำหนดหน่วยความจำสำหรับการจัดเก็บคำอธิบายสถานะควอนตัมจะเพิ่มขึ้นเป็น $2^n$ สำหรับวงจร $n$-qubit แผนภาพการตัดสินใจแก้ไขปัญหานี้โดยการแสดงสถานะควอนตัมแบบบีบอัด อย่างไรก็ตาม ข้อจำกัดของวิธีการแบบ DD ยังไม่เป็นที่เข้าใจกันดีนัก ในงานนี้ เราตรวจสอบและเชื่อมช่องว่างระหว่างโครงสร้างแบบ DD ที่มีอยู่กับรูปแบบการคงตัวของเสถียรภาพ ซึ่งเป็นเครื่องมือสำคัญอีกประการหนึ่งสำหรับการจำลองวงจรควอนตัม ก่อนอื่นเราแสดงให้เห็นว่าถึงแม้ว่า DD จะได้รับการแนะนำให้เป็นตัวแทนของสถานะควอนตัมที่สำคัญอย่างกระชับ แต่จริงๆ แล้วพวกมันต้องการพื้นที่เอ็กซ์โปเนนเชียลสำหรับสถานะโคลงบางอย่าง เพื่อแก้ไขปัญหานี้ เราขอแนะนำรูปแบบแผนภาพการตัดสินใจที่มีประสิทธิภาพยิ่งขึ้น ซึ่งเรียกว่า Local Invertible Map-DD (LIMDD) เราพิสูจน์ว่ามีวงจรควอนตัมซึ่งสามารถวิเคราะห์ได้อย่างมีประสิทธิภาพโดย LIMDD แต่ไม่ใช่โดยวิธีการที่ใช้ DD ที่มีอยู่ หรือเทคนิคการสลายตัวของสารทำให้เสถียร หรือสถานะผลิตภัณฑ์เมทริกซ์ ด้วยการใช้ประโยชน์จากจุดแข็งของทั้ง DD และรูปแบบการคงตัวในโครงสร้างข้อมูลที่กระชับยิ่งขึ้น LIMDD จึงปูทางสำหรับการจำลองและการวิเคราะห์การคำนวณควอนตัมที่ทรงพลังยิ่งขึ้นโดยพื้นฐาน

► ข้อมูล BibTeX

@article{Vinkhuijzen2023limdddecision, doi = {10.22331/q-2023-09-11-1108}, url = {https://doi.org/10.22331/q-2023-09-11-1108}, title = {{LIMDD }: {A} {D}ecision {D}iagram สำหรับ {S}การจำลองของ {Q}uantum {C}opputing {I}รวมถึง {S}tabilizer {S}tates}, author = {Vinkhuijzen, Lieuwe และ Coopmans, Tim และ Elkouss, David และ Dunjko, Vedran และ Laarman, Alfons}, Journal = {{Quantum}}, issn = {2521-327X}, ผู้จัดพิมพ์ = {{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 การประชุมอัตโนมัติด้านการออกแบบเอเชียและแปซิฟิกใต้ครั้งที่ 25 (ASP-DAC) ครั้งที่ 127 หน้า 132–2020. อีอีอี (XNUMX)
https://doi.org/10.1109/ASP-DAC47756.2020.9045153

[3] ลูคัส เบอร์โกลเซอร์, ริชาร์ด กึง และโรเบิร์ต วิลเล “การสร้างสิ่งเร้าแบบสุ่มเพื่อการตรวจสอบวงจรควอนตัม” ในการประชุมการประชุม Design Automation ในเอเชียและแปซิฟิกใต้ ครั้งที่ 26 หน้า 767–772. (2021).
https://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
arXiv:ปริมาณ-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:ปริมาณ-ph/9705052

[9] มาร์เทน แวน เดน เนสต์, เจโรน ดีเฮน และบาร์ต เดอ มัวร์ “การรวมท้องถิ่นกับความเท่าเทียมกันของคลิฟฟอร์ดในท้องถิ่นของรัฐโคลง” ฟิสิกส์ ฉบับที่ 71, 062323 (2005)
https://doi.org/10.1103/PhysRevA.71.062323

[10] แมทเธียส เองเบรชท์ และบาร์บารา เคราส์ “ความสมมาตรและการพัวพันของสภาวะความคงตัว” ฟิสิกส์ ว.101, 062302 (2020).
https://doi.org/10.1103/PhysRevA.101.062302

[11] Robert Raussendorf และ Hans J. Briegel “คอมพิวเตอร์ควอนตัมทางเดียว”. สรีรวิทยา รายได้เลตต์ 86, 5188–5191 (2001).
https://doi.org/10.1103/PhysRevLett.86.5188

[12] เซอร์เกย์ บราวี, แกรม สมิธ และจอห์น เอ. สโมลิน “การซื้อขายทรัพยากรการคำนวณแบบคลาสสิกและควอนตัม” ฟิสิกส์ รายได้ 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] เซอร์เกย์ บราวี, แดน บราวน์, ปาดราอิก คาลพิน, เอิร์ล แคมป์เบลล์, เดวิด กอสเซ็ต และมาร์ค ฮาวเวิร์ด “การจำลองวงจรควอนตัมโดยการสลายตัวของสเตบิไลเซอร์ระดับต่ำ” ควอนตัม 3, 181 (2019)
https://doi.org/10.22331/q-2019-09-02-181

[15] อี้เฟย หวง และปีเตอร์ เลิฟ “อันดับความเสถียรโดยประมาณและปรับปรุงการจำลองวงจรที่อ่อนแอของ Clifford สำหรับ qudits” ฟิสิกส์ ฉบับที่ 99, 052307 (2019)
https://doi.org/10.1103/PhysRevA.99.052307

[16] ลูคัส โคเซีย และปีเตอร์ เลิฟ "วิธีเฟสคงที่ในฟังก์ชันวิกเนอร์แบบแยกส่วนและการจำลองวงจรควอนตัมแบบคลาสสิก" ควอนตัม 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 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] แรนดัล อี. ไบรอันต์ และ อี้หยิงอัน เฉิน “การตรวจสอบวงจรเลขคณิตด้วยแผนภาพโมเมนต์ไบนารี” ในการประชุม Design Automation Conference ครั้งที่ 32 หน้า 535–541. อีอีอี (1995)
https://doi.org/10.1109/DAC.1995.250005

[21] จีเอฟ เวียมอนเตส, อิลลินอยส์ มาร์คอฟ และเจพี เฮย์ส “การจำลองวงจรควอนตัมที่ใช้ QuIDD ประสิทธิภาพสูง” ในการออกแบบการดำเนินการอัตโนมัติและการทดสอบในการประชุมและนิทรรศการยุโรป เล่มที่ 2 หน้า 1354–1355 เล่มที่ 2 (2004)
https://doi.org/10.1109/DATE.2004.1269084

[22] RI Bahar, 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–60. DAC '93นิวยอร์ก, นิวยอร์ก, สหรัฐอเมริกา (1993) สมาคมเครื่องจักรคอมพิวเตอร์
https://doi.org/10.1145/157485.164569

[26] สก็อตต์ ซานเนอร์ และเดวิด แม็คอัลเลสเตอร์ “เปรียบเทียบแผนภาพการตัดสินใจเกี่ยวกับพีชคณิต (AADD) และการประยุกต์กับการอนุมานความน่าจะเป็นแบบมีโครงสร้าง” ในการประชุมร่วมระหว่างประเทศด้านปัญญาประดิษฐ์ ครั้งที่ 19 หน้า 1384–1390. IJCAI'05ซานฟรานซิสโก แคลิฟอร์เนีย สหรัฐอเมริกา (2005) URL ของ 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. อีอีอี (2006)
https://doi.org/10.1109/ISMVL.2006.35

[28] อัลวิน ซูเลห์เนอร์ และโรเบิร์ต วิลเล “การจำลองการคำนวณควอนตัมขั้นสูง” ธุรกรรม IEEE เกี่ยวกับการออกแบบวงจรรวมและระบบโดยใช้คอมพิวเตอร์ช่วย 38, 848–859 (2018)
https://doi.org/10.48550/arXiv.1707.00865

[29] ซินหง, เซียงเจิ้นโจว, ซานเจียงหลี่, หยวนเฟิง และหมิงเซิงหยิง “แผนภาพการตัดสินใจบนเครือข่ายเทนเซอร์สำหรับการแสดงวงจรควอนตัม” พลอากาศเอกทรานส์ Des. อัตโนมัติ อิเล็กตรอน. ระบบ 27 กันยายน (2022)
https://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 Design Automation Conference (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] โวล์ฟกัง เดอร์, กิฟเฟร วิดัล และเจ อิกนาซิโอ ชีรัค “สามคิวบิตสามารถพัวพันได้ในสองวิธีที่ไม่เท่ากัน” การตรวจร่างกาย A 62, 062314 (2000)
https://doi.org/10.48550/arXiv.quant-ph/0005115
arXiv:ปริมาณ-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] ดี. เปเรซ-การ์เซีย, เอฟ. แวร์สเตรเต, เอ็มเอ็ม วูล์ฟ และเจไอ ซิรัค “การแสดงสถานะผลิตภัณฑ์เมทริกซ์” ข้อมูลควอนตัมและการคำนวณ 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:ปริมาณ-ph/0301063

[39] อัดนาน ดาร์วิช และปิแอร์ มาร์ควิส “แผนที่รวบรวมความรู้”. วารสารวิจัยปัญญาประดิษฐ์ 17, 229–264 (2002)
https://doi.org/10.5555/1622810.1622817

[40] คาร์ล เอส เบรซ, ริชาร์ด แอล. รูเดลล์ และแรนดัล อี ไบรอันต์ “การใช้งานแพ็คเกจ BDD อย่างมีประสิทธิภาพ” ในรายงานการประชุมการประชุมอัตโนมัติด้านการออกแบบ ACM/IEEE ครั้งที่ 27 หน้า 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] ฟาบิโอ โซเมนซี. “การจัดการแผนภาพการตัดสินใจอย่างมีประสิทธิภาพ” วารสารนานาชาติเรื่องเครื่องมือซอฟต์แวร์เพื่อการถ่ายทอดเทคโนโลยี 3, 171–181 (2001)
https://doi.org/10.1007/s100090100042

[43] เคินราด MR Audenaert และ Martin B Plenio “สิ่งกีดขวางในสถานะสารเพิ่มความเสถียรแบบผสม: รูปแบบปกติและขั้นตอนการลดขนาด” วารสารฟิสิกส์ใหม่ 7, 170 (2005) ที่อยู่:.
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 Symposium ประจำปีครั้งที่ 118 ด้านทฤษฎีคอมพิวเตอร์ หน้า 127–04. STOC '2004 นิวยอร์ก, นิวยอร์ก, สหรัฐอเมริกา (XNUMX) สมาคมเครื่องจักรคอมพิวเตอร์
https://doi.org/10.1145/1007352.1007378

[46] Sergey Bravyi และ Alexei Kitaev “การคำนวณควอนตัมสากลที่มีประตูคลิฟฟอร์ดในอุดมคติและแอนซิลัสที่มีเสียงดัง” ฟิสิกส์ ฉบับที่ 71, 022316 (2005)
https://doi.org/10.1103/PhysRevA.71.022316

[47] Charles H Bennett, Herbert J. Bernstein, Sandu Popescu และเบนจามิน ชูมัคเกอร์ “การรวมศูนย์การพัวพันบางส่วนโดยการดำเนินการในท้องถิ่น”. ทบทวนทางกายภาพ ก 53, 2046 (1996).
https://doi.org/10.48550/arXiv.quant-ph/9511030
arXiv:ปริมาณ-ph/9511030

[48] เดวิด อี ไฟน์สไตน์ และมิทเชลล์ เอ ธอร์นตัน “เกี่ยวกับตัวแปรที่ถูกข้ามของไดอะแกรมการตัดสินใจหลายค่าควอนตัม” ในปี 2011 การประชุมวิชาการนานาชาติ IEEE ครั้งที่ 41 เรื่องลอจิกหลายค่า หน้า 164–169. อีอีอี (2011)
https://doi.org/10.1109/ISMVL.2011.22

[49] ริชาร์ด เจ ลิปตัน, โดนัลด์ เจ โรส และโรเบิร์ต เอนเดร ทาร์จัน “การผ่าแบบซ้อนทั่วไป”. วารสารสยามเรื่องการวิเคราะห์เชิงตัวเลข 16, 346–358 (1979)
https://doi.org/10.5555/892164

[50] เอ็ม. ฟาน เดน เนสต์, ดับเบิลยู. ดูร์, จี. วิดาล และเอชเจ บรีเกล “การจำลองแบบคลาสสิกกับความเป็นสากลในการคำนวณควอนตัมแบบอิงการวัด” ฟิสิกส์ รายได้ A 75, 012337 (2007)
https://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/aai.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)
https://doi.org/10.1137/1.9780898719789

[56] เจมส์ แมคคลุง. “การก่อสร้างและการประยุกต์ของรัฐ W” วิทยานิพนธ์ระดับปริญญาเอก สถาบันโพลีเทคนิควูสเตอร์ (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” การสื่อสารด้วยแสง 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 “การจำลองควอนตัมเชิงสัญลักษณ์ด้วยควอซิโมโด” ใน Constantin Enea และ Akash Lal บรรณาธิการ การตรวจสอบโดยใช้คอมพิวเตอร์ช่วย หน้า 213–225. จาม (2023) สปริงเกอร์ เนเจอร์ สวิตเซอร์แลนด์
https://doi.org/10.1007/978-3-031-37709-9_11

[66] Rajeev Alur และ P. Madhusudan. “ภาษาที่กดลงอย่างเห็นได้ชัด” ในการประชุมวิชาการ ACM Symposium ประจำปีครั้งที่ 202 ด้านทฤษฎีคอมพิวเตอร์ หน้า 211–04. STOC '2004 นิวยอร์ก, นิวยอร์ก, สหรัฐอเมริกา (XNUMX) สมาคมเครื่องจักรคอมพิวเตอร์
https://doi.org/10.1145/1007352.1007390

[67] Meghana Sistla, Swarat Chaudhuri และ Thomas Reps “ไดอะแกรมการตัดสินใจแบบไบนารี่แบบถ่วงน้ำหนักตามบริบท” (2023) arXiv:2305.13610.
arXiv: 2305.13610

[68] แอดนาน ดาร์วิช. “SDD: การแสดงฐานความรู้เชิงประพจน์แบบใหม่ที่เป็นที่ยอมรับ” ใน รายงานการประชุมร่วมระหว่างประเทศครั้งที่ 2011 เรื่องปัญญาประดิษฐ์-เล่มที่ XNUMX . สำนักพิมพ์ AAAI (XNUMX)

[69] โดก้า คิซ่า, กาย ฟาน เดน บร็อค, อาเธอร์ ชอย และแอดนาน ดาร์วิช “แผนภาพการตัดสินใจเชิงความรู้สึกที่น่าจะเป็น” ในการประชุมนานาชาติครั้งที่ 558 ว่าด้วยหลักการการนำเสนอความรู้และการใช้เหตุผล หน้า 567–14. ม.ค. 2014 สำนักพิมพ์ AAAI (8005) URL: cdn.aaai.org/ocs/8005/36908-1-XNUMX-PB.pdf
https:///cdn.aaai.org/ocs/8005/8005-36908-1-PB.pdf

[70] เคนโกะ นากามูระ, ชูเฮย์ เดนซึมิ และมาซาอากิ นิชิโนะ “SDD กะตัวแปร: แผนภาพการตัดสินใจเชิงประโยคที่กระชับยิ่งขึ้น” ใน Simone Faro และ Domenico Cantone บรรณาธิการ การประชุมวิชาการนานาชาติเรื่องอัลกอริทึมการทดลองครั้งที่ 18 (SEA 2020) เล่มที่ 160 ของ Leibniz International Proceedings in Informatics (LIPIcs) หน้า 22:1–22:13 แดกสตูห์ล, เยอรมนี (2020) Schloss Dagstuhl–Leibniz-Zentrum สำหรับข้อมูลสารสนเทศ
https:///doi.org/10.4230/LIPIcs.SEA.2020.22

[71] โวล์ฟกัง กุนเธอร์ และรอล์ฟ เดรชสเลอร์ “การลดขนาด bdds ให้เหลือน้อยที่สุดโดยใช้การแปลงเชิงเส้นตามเทคนิควิวัฒนาการ” ในปี 1999 IEEE International Symposium on Circuits and Systems (ISCAS) เล่มที่ 1 หน้า 387–390 อีอีอี (1999)
https:///doi.org/10.1109/ISCAS.1999.777884

[72] บาร์บารา เอ็ม. เทอร์ฮาล และเดวิด พี. ดิวินเชนโซ “การจำลองแบบคลาสสิกของวงจรควอนตัมเฟอร์มิออนแบบไม่โต้ตอบ” ฟิสิกส์ ฉบับที่ 65, 032325 (2002)
https://doi.org/10.1103/PhysRevA.65.032325

[73] ริชาร์ด จอซซ่า และอากิมาสะ มิยาเกะ “แมทช์เกตและการจำลองแบบคลาสสิกของวงจรควอนตัม” การดำเนินการ: วิทยาศาสตร์คณิตศาสตร์ กายภาพ และวิศวกรรม หน้า 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] โรมาน โอรูส. “การแนะนำเชิงปฏิบัติเกี่ยวกับเครือข่ายเทนเซอร์: สถานะผลิตภัณฑ์เมทริกซ์และสถานะคู่ที่พันกันที่คาดการณ์ไว้” พงศาวดารของฟิสิกส์ 349, 117–158 (2014)
https://doi.org/10.1016/j.aop.2014.06.013

[76] Bob Coecke และ Ross Duncan “การโต้ตอบควอนตัมที่สังเกตได้: พีชคณิตเชิงหมวดหมู่และไดอะแกรม” วารสารฟิสิกส์ฉบับใหม่ 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. อีอีอี (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) arXiv:1210.6646.
arXiv: 1210.6646

[83] “Stabranksearcher: รหัสสำหรับการค้นหา (ขอบเขตบน) อันดับความคงตัวของสถานะควอนตัม” https:///github.com/timcp/StabRankSearcher (2021)
https:///github.com/timcp/StabRankSearcher

[84] ปาดราอิก คาลปิน. “การสำรวจการคำนวณควอนตัมผ่านเลนส์ของการจำลองแบบคลาสสิก” วิทยานิพนธ์ระดับปริญญาเอก ยูซีแอล (มหาวิทยาลัยคอลเลจลอนดอน) (2020).
https:///doi.org/10.5555/AAI28131047

อ้างโดย

[1] Dimitrios Thanos, Tim Coopmans และ Alfons Laarman, “การตรวจสอบความเท่าเทียมกันอย่างรวดเร็วของวงจรควอนตัมของประตู Clifford”, arXiv: 2308.01206, (2023).

[2] Robert Wille, Stefan Hillmich และ Lukas Burgholzer, “เครื่องมือสำหรับคอมพิวเตอร์ควอนตัมตามแผนภาพการตัดสินใจ”, arXiv: 2108.07027, (2021).

การอ้างอิงข้างต้นมาจาก are อบต./นาซ่าโฆษณา (ปรับปรุงล่าสุดสำเร็จ 2023-09-12 14:57:20 น.) รายการอาจไม่สมบูรณ์เนื่องจากผู้จัดพิมพ์บางรายไม่ได้ให้ข้อมูลอ้างอิงที่เหมาะสมและครบถ้วน

On บริการอ้างอิงของ Crossref ไม่พบข้อมูลอ้างอิงงาน (ความพยายามครั้งสุดท้าย 2023-09-12 14:57:15)

บทความนี้เผยแพร่ใน Quantum ภายใต้ the ครีเอทีฟคอมมอนส์แบบแสดงที่มา 4.0 สากล (CC BY 4.0) ใบอนุญาต ลิขสิทธิ์ยังคงอยู่กับผู้ถือลิขสิทธิ์ดั้งเดิม เช่น ผู้เขียนหรือสถาบันของพวกเขา

เนื้อหาที่ขับเคลื่อนด้วย SEO และการเผยแพร่ประชาสัมพันธ์ รับการขยายวันนี้
PlatoData.Network Vertical Generative Ai เพิ่มพลังให้กับตัวเอง เข้าถึงได้ที่นี่.
เพลโตไอสตรีม. Web3 อัจฉริยะ ขยายความรู้ เข้าถึงได้ที่นี่.
เพลโตESG. ยานยนต์ / EVs, คาร์บอน, คลีนเทค, พลังงาน, สิ่งแวดล้อม แสงอาทิตย์, การจัดการของเสีย. เข้าถึงได้ที่นี่.
เพลโตสุขภาพ เทคโนโลยีชีวภาพและข่าวกรองการทดลองทางคลินิก เข้าถึงได้ที่นี่.
ChartPrime. ยกระดับเกมการซื้อขายของคุณด้วย ChartPrime เข้าถึงได้ที่นี่.
BlockOffsets การปรับปรุงการเป็นเจ้าของออฟเซ็ตด้านสิ่งแวดล้อมให้ทันสมัย เข้าถึงได้ที่นี่.
ที่มา: https://quantum-journal.org/papers/q-2023-09-11-1108/

ประทับเวลา: September 11, 2023

ประทับเวลา: ม.ค. 11, 2024

LIMDD: แผนภาพการตัดสินใจสำหรับการจำลองการคำนวณควอนตัมรวมถึงสถานะตัวปรับเสถียร

เผยแพร่ซ้ำโดยเพลโต

นามธรรม

สรุปยอดนิยม

► ข้อมูล BibTeX

► ข้อมูลอ้างอิง

อ้างโดย

เพิ่มเติมจาก วารสารควอนตัม

การจำลองควอนตัมพร้อมการรวบรวมแบบทันท่วงที

ตัวแก้ควอนตัมที่ใช้การเดินขบวนตามเวลาสำหรับสมการเชิงอนุพันธ์เชิงเส้นที่ขึ้นกับเวลา

เกมรักเดียวใจเดียวของการพัวพันสำหรับ subspace coset States

บทคัดย่อ: การวิเคราะห์วงจรควอนตัมผ่านการจำลองโคลงเชิงนามธรรม

การเคลื่อนย้ายสถานะควอนตัมภายหลังการคัดเลือก

การควบคุมที่เหมาะสมที่สุดของ Variational Quantum แบบพัลส์สำหรับการคำนวณควอนตัมแบบไฮบริด

กฎการรบกวนการวัดและการอนุรักษ์ในกลศาสตร์ควอนตัม

ความซับซ้อนของเครื่องเวกเตอร์ที่รองรับควอนตัม

เกี่ยวกับเรา

การค้นหาแนวตั้ง & Ai

ระบบปฏิบัติการ

การติดต่อ

ลงชื่อเข้าใช้