คำถามติดแท็ก quantum-computing

การคำนวณควอนตัมและประเด็นการคำนวณที่เกี่ยวข้องกับกลศาสตร์ควอนตัม

2
มีการอธิบายความซับซ้อนเชิงพรรณนาของคลาสความซับซ้อนควอนตัมหรือไม่
ชื่อมากขึ้นหรือน้อยลงจะพูดทั้งหมด แต่ฉันเดาว่าฉันสามารถเพิ่มพื้นหลังเล็กน้อยและตัวอย่างเฉพาะที่ฉันสนใจ นักทฤษฎีความซับซ้อนเชิงพรรณนาเช่น Immerman และ Fagin มีลักษณะของคลาสความซับซ้อนที่เป็นที่รู้จักมากที่สุดโดยใช้ตรรกะ ตัวอย่างเช่น NP สามารถกำหนดลักษณะได้ด้วยแบบสอบถามที่มีอยู่ลำดับที่สอง P สามารถระบุลักษณะด้วยคิวรีแบบลำดับแรกที่มีตัวดำเนินการจุดคงที่น้อยที่สุด คำถามของฉันคือ: มีความพยายามใด ๆ โดยเฉพาะอย่างยิ่งความสำเร็จที่เกิดขึ้นกับการเป็นตัวแทนดังกล่าวสำหรับคลาสความซับซ้อนของควอนตัมเช่น BQP หรือ NQP หรือไม่? ถ้าไม่ทำไมไม่ ขอขอบคุณ. Update (ผู้ดูแล) : คำถามนี้ตอบอย่างสมบูรณ์โดยการโพสต์เกี่ยวกับเรื่องนี้ mathoverflow

2
เหตุใดจึงไม่พิจารณาการยกกำลังแบบแยกส่วนของ Montgomery เพื่อใช้ในการแยกตัวของควอนตัม
เป็นที่ทราบกันดีว่าการยกกำลังแบบแยกส่วน (ส่วนหลักของการดำเนินการ RSA) นั้นมีราคาแพงและเท่าที่ฉันเข้าใจสิ่งต่าง ๆ เทคนิคของการยกกำลังแบบแยกส่วนของมอนต์โกเมอรี่เป็นวิธีที่ต้องการ การยกกำลังแบบแยกส่วนก็มีคุณลักษณะเด่นชัดในอัลกอริธึมการแยกตัวของควอนตัมและมีราคาแพงเช่นกัน ดังนั้น: เหตุใดจึงไม่มีการยกกำลังแบบแยกส่วนของ Montgomery ที่เห็นได้ชัดในรูทีนย่อยที่มีรายละเอียดในปัจจุบัน สิ่งเดียวที่ฉันจินตนาการได้คือมีค่าใช้จ่ายที่สูงเกินจริงด้วยเหตุผลบางอย่างที่ไม่ชัดเจน การเรียกใช้ควอนตัมเชิง montgomery "การยกกำลังแบบแยกส่วน"ผ่าน Google Scholar ไม่ได้ผลลัพธ์ที่มีประโยชน์ ฉันตระหนักถึงการทำงานของ Van Meter และคนอื่น ๆ เกี่ยวกับการเพิ่มควอนตัมและการยกกำลังแบบแยกส่วน แต่การตรวจสอบการอ้างอิงของพวกเขา (ฉันยังไม่ได้อ่านงานนี้) แสดงให้เห็นว่าไม่มีข้อบ่งชี้ว่า ข้อมูลอ้างอิงเดียวที่ฉันพบว่าดูเหมือนจะพูดถึงเรื่องนี้เป็นภาษาญี่ปุ่นซึ่งน่าเศร้าที่ฉันอ่านไม่ออก แต่เห็นได้ชัดว่ามาจากการประชุมใหญ่ปี 2545 การแปลด้วยคอมพิวเตอร์ทำให้นักเก็ตต่อท้ายด้านล่างซึ่งบ่งชี้ว่าอาจมีบางสิ่งที่มีประโยชน์ อย่างไรก็ตามฉันไม่สามารถหาข้อบ่งชี้ใด ๆ ว่าสิ่งนี้ได้ถูกติดตามไปแล้วซึ่งทำให้ฉันคิดว่าความคิดนั้นได้รับการพิจารณาแล้วจึงขทิ้งไป วงจรควอนตัมในการคำนวณเลขคณิต Noboru Kunihiro ... ในการศึกษานี้ แต่ต้องการ qubit ที่ค่อนข้างใหญ่เราเสนอเวลาในการคำนวณวงจรควอนตัมแบบแยกส่วนสั้น ๆ Montgomery Reduction [8] และวิธีเลขฐานสองที่เหมาะสม [9] รวมกันพวกมันประกอบเป็นวงจร Ru …

2
ไม่อนุรักษ์เครื่องทัวริง
อ่านกระทู้ที่ผ่านมาบางอย่างเกี่ยวกับควอนตัมคอมพิวเตอร์ ( นี่ , ที่นี่และที่นี่ ) ทำให้ผมจำได้ว่าคำถามที่น่าสนใจเกี่ยวกับอำนาจของชนิดของบาง -norm เครื่องรักษาℓพีℓp\ell_p สำหรับคนที่ทำงานในทฤษฎีความซับซ้อนจะซับซ้อนควอนตัมข้อความเกริ่นนำที่ดีคือกระดาษ Fortnow ซึ่งเชื่อมโยงถูกโพสต์โดยโจชัว Grochow ที่นี่ ในกระดาษนั้นเครื่องทัวริงควอนตัมถูกนำเสนอเป็นเครื่องทัวริงน่าจะเป็นทั่วไป โดยทั่วไปเครื่องน่าจะมีรัฐปกติภายใต้ -norm คือ 1 เวลาวิวัฒนาการของเครื่องจักรได้รับจากแอพพลิเคชั่นของstochastic matrixที่ ,คือเก็บรักษาปกติ ดังนั้นสถานะ ณ เวลาคือℓ 1 ∥ s ∥ 1 = 1sssℓ1ℓ1\ell_1∥ s ∥1= 1∥s∥1=1\parallel s\parallel_1=1∥ P s ∥ 1 = 1 P ℓ 1 t P t sPPP∥ Ps …

4
มีความเทียบเท่ากับ derandomization สำหรับอัลกอริทึมควอนตัม
ด้วยอัลกอริธึมแบบสุ่มคุณสามารถสุ่มอัลกอริธึมการถอด (โดยใช้ต้นทุนที่เป็นไปได้ในเวลาทำงาน) การใช้บิตสุ่มและการเพิ่มขอบเขตล่างบนวัตถุประสงค์ให้มากที่สุด (โดยทั่วไปจะคำนวณโดยใช้ข้อเท็จจริงที่ว่าทฤษฎีบท อัลกอริทึม) มีขั้นตอนวิธีเชิงควอนตัมเทียบเท่าหรือไม่? มีผลการ "dequantization" ที่รู้จักกันดีหรือไม่? หรือพื้นที่ของรัฐที่ใหญ่เกินไปสำหรับเทคนิคประเภทนี้?

2
PPAD และ Quantum
วันนี้ในนิวยอร์กและทั่วโลกมีการเฉลิมฉลองวันเกิดของ Christos Papadimitriou นี่เป็นโอกาสที่ดีที่จะถามเกี่ยวกับความสัมพันธ์ระหว่าง PPAD ระดับความซับซ้อนของ Christos (และชั้นเรียนอื่น ๆ ที่เกี่ยวข้อง) และคอมพิวเตอร์ควอนตัม ในของเขามีชื่อเสียงโด่งดัง 1994 กระดาษ Papadimitriou แนะนำระบบและการศึกษาชั้นเรียนหลายซับซ้อนที่สำคัญเช่น PLS, PPAD และอื่น ๆ (กระดาษของ Papadimitriou ต้องอาศัยเอกสารก่อนหน้าและโดยเฉพาะอย่างยิ่งตามที่ Aviad ระบุไว้ PLS ได้รับการแนะนำโดย Johnson-Papadimitriou-Yannakakis ในปี 1988) คำถามหลักของฉันคือ: คอมพิวเตอร์ควอนตัมให้ประโยชน์สำหรับปัญหาในPPDPPADPPADหรือไม่? หรือใน ? หรือใน ? ฯลฯ ...PL SPLSPLSPL S∩ PPDPLS∩PPADPLS \cap PPAD อีกคำถามหนึ่งคือถ้ามีคลาสอื่น ๆ ของ analogs PLS และ PPAD …

1
ทำไมการปรับปรุง Odlyzko ของอัลกอริทึมของชอร์ลดจำนวนการทดลองเป็น
ในปี 1995 อัลกอริธึมแบบพหุนามเวลากระดาษของเขาสำหรับการแยกตัวประกอบเฉพาะและลอการิทึมแบบไม่ต่อเนื่องบนคอมพิวเตอร์ควอนตัม , Peter W. Shor กล่าวถึงการปรับปรุงในส่วนการค้นหาลำดับของอัลกอริธึมแยกตัวประกอบของเขา อัลกอริทึมมาตรฐานเอาท์พุทR'r′r'เป็นตัวหารของการสั่งซื้อRrrของxxxโมดูโลNยังไม่มีข้อความNNแทนที่จะตรวจสอบว่าR'= rr′=rr'=rโดยตรวจสอบว่าการปรับปรุงมีดังต่อไปนี้:xR'≡ 1พอควรยังไม่มีข้อความxr′≡1modNx^{r'}\equiv 1 \mod N [F] หรือผู้สมัครควรพิจารณาไม่เพียง แต่แต่มันยังมีทวีคูณขนาดเล็กเพื่อดูว่านี่เป็นลำดับที่แท้จริงของหรือไม่ [... สิ่งนี้] เทคนิคจะลดจำนวนการทดลองที่คาดไว้สำหรับยากที่สุดจากเป็นถ้าครั้งแรก (ทวีคูณของได้รับการพิจารณา [Odylzko 1995]R ' 2 R ' , 3 R ' , ... x n O ( บันทึกบันทึกn ) O ( 1 ) เข้าสู่ระบบn ) 1 + ε R 'Rrrr …

1
ปัญหาใน BQP แต่คาดการณ์ว่าจะอยู่นอก P
วิกิพีเดียระบุปัญหาสี่ข้อที่อยู่ในแต่คาดการณ์ว่าจะอยู่นอกP : การแยกตัวประกอบจำนวนเต็ม ลอการิทึมแบบไม่ต่อเนื่อง; การจำลองระบบควอนตัม การคำนวณพหุนาม Jones ที่รากของความสามัคคีBQPBQPBQPPPP มีปัญหาอื่นอีกหรือไม่?

2
อัลกอริธึมเชิงควอนตัมที่อิงกับการแปลงแบบอื่นนอกเหนือจากการแปลงฟูริเยร์
ในการคำนวณควอนตัมและข้อมูลควอนตัมโดย Nielsen และ Chuang พวกเขากล่าวว่าอัลกอริธึมจำนวนมากที่ยึดตามการแปลงฟูริเยร์เชิงควอนตัมอาศัยคุณสมบัติ Coset Invariance ของการแปลงฟูริเยร์และแนะนำว่าคุณสมบัติ invariance มีการวิจัยที่ประสบความสำเร็จในการแปรรูปอื่น ๆ หรือไม่?

1
มีรูปเรขาคณิตสำหรับการคำนวณควอนตัมอะเดียแบติกหรือไม่?
ในการคำนวณควอนตัมอะเดียแบติก (AQC) หนึ่งถอดรหัสวิธีการแก้ปัญหาการเพิ่มประสิทธิภาพในสภาพพื้นดินของ [ปัญหา] มิลH_pในการเข้าสู่สถานะกราวน์นี้คุณจะเริ่มต้นในสถานะเริ่มต้น (พื้น) ที่สามารถทำให้เย็นได้อย่างง่ายดายด้วย Hamiltonianและ " " (รบกวนแบบอะเดียแบติก) ไปสู่นั่นคือH ฉันH pHพีHpH_pHผมHiH_iHพีHpH_p H( s ) = s Hผม+ ( 1 - s ) HพีH(s)=sHi+(1−s)Hp H(s) = s H_i + (1-s) H_p ที่[0,1] รายละเอียดเกี่ยวกับ AQC: http://arxiv.org/abs/quant-ph/0001106v1s ∈ [ 0 , 1 ]s∈[0,1]s \in [0,1] สิ่งที่น่าสนใจเกี่ยวกับปัญหานี้คือพยายามทำความเข้าใจช่องว่างระหว่างค่าลักษณะพื้นดินกับค่าสถานะความตื่นเต้นครั้งแรกเนื่องจากจะกำหนดความซับซ้อนของปัญหา สิ่งที่น่าสนใจอย่างหนึ่งที่ควรทำคือพยายามพูดอะไรบางอย่างเกี่ยวกับพฤติกรรมของมิลโตเนียนบางประเภท เราสามารถวิเคราะห์สเปกตรัมพลังงานของเคส qubit ขนาดเล็กโดยการจำลองสถานการณ์เพื่อเข้าใจความซับซ้อนของปัญหา …

2
รันไทม์ของอัลกอริทึมของ Grover
ความซับซ้อนของเวลา (ไม่ใช่ความซับซ้อนในการสืบค้น) ของอัลกอริทึมของ Grover คืออะไร ฉันเห็นได้ชัดว่ามันคือเนื่องจากมีΩ( √Ω ( บันทึก( N) N--√)Ω(เข้าสู่ระบบ⁡(ยังไม่มีข้อความ)ยังไม่มีข้อความ)\Omega(\log(N) \sqrt{N})การวนซ้ำและการวนซ้ำแต่ละครั้งต้องใช้การสะท้อนกลับซึ่งต้องใช้เวลาโดยใช้ชุดประตูมาตรฐานสากลใด ๆΩ ( N--√)Ω(ยังไม่มีข้อความ)\Omega(\sqrt{N})Ω ( บันทึก( N) )Ω(เข้าสู่ระบบ⁡(ยังไม่มีข้อความ))\Omega(\log(N)) ปัญหาคือผมไม่สามารถหาได้อ้างอิงเดียวที่บอกว่าเวลาซับซ้อนของอัลกอริทึมของโกรเวอร์เป็น{N}) Wikipedia และหน้าเว็บอื่น ๆ พูดถึงความซับซ้อนของเวลาเอกสารของโกรเวอร์อ้างว่า "ขั้นตอน"Ω ( บันทึก( N) N--√)Ω(เข้าสู่ระบบ⁡(ยังไม่มีข้อความ)ยังไม่มีข้อความ)\Omega(\log(N) \sqrt{N})O ( N--√)O(ยังไม่มีข้อความ)O(\sqrt{N})O ( N--√)O(ยังไม่มีข้อความ)O(\sqrt{N}) ฉันพลาดอะไรไปรึเปล่า? บางทีคนอาจกำหนดการสะท้อนเพื่อใช้เวลาหน่วย แต่นั่นก็ไม่สมเหตุสมผลสำหรับฉันเพราะถ้าเราสามารถเล่นเกมที่ให้หน่วยตามอำเภอใจใช้เวลาหน่วยแล้วก็จะไม่มีความแตกต่างระหว่างความซับซ้อนของแบบสอบถามและความซับซ้อนของเวลา

1
การเข้ารหัสมีต้นทุนทางอุณหพลศาสตร์โดยธรรมชาติหรือไม่?
การคำนวณแบบย้อนกลับเป็นรูปแบบการคำนวณที่อนุญาตให้มีการดำเนินการย้อนกลับทางอุณหพลศาสตร์เท่านั้น ตามหลักการ Landauer ซึ่งระบุว่าการลบบิตของการเผยแพร่ข้อมูลจูลส์ของความร้อนกฎนี้ออกฟังก์ชั่นการเปลี่ยนแปลงที่ไม่ได้เป็นแบบหนึ่งต่อหนึ่ง (เช่นบูลีน AND และ OR ผู้ประกอบการ) เป็นที่ทราบกันดีว่าการคำนวณควอนตัมสามารถย้อนกลับได้โดยเนื้อแท้เนื่องจากการดำเนินการที่ได้รับอนุญาตในการคำนวณควอนตัมนั้นแสดงโดยเมทริกซ์แบบรวมkTln(2)kTln⁡(2)kT \ln(2) คำถามนี้เกี่ยวกับการเข้ารหัส ความคิดเรื่อง "พลิกผัน" ดูเหมือนจะเป็นการสาปแช่งเป้าหมายพื้นฐานของการเข้ารหัสดังนั้นจึงเสนอคำถามว่า: "การเข้ารหัสมีต้นทุนทางอุณหพลศาสตร์โดยธรรมชาติหรือไม่" ฉันเชื่อว่านี่เป็นคำถามที่แตกต่างจาก "ทุกสิ่งสามารถทำได้ในควอนตัม" ในบันทึกการบรรยายของเขาดร. Preskill กล่าวว่า "มีกลยุทธ์ทั่วไปสำหรับการจำลองการคำนวณแบบย้อนกลับไม่ได้บนคอมพิวเตอร์ที่สามารถย้อนกลับได้แต่ละประตูกลับไม่ได้สามารถจำลองโดยประตู Toffoli โดยการแก้ไขอินพุตและละเว้นผลลัพธ์เรารวบรวมและบันทึกขยะทั้งหมด บิตเอาต์พุตที่จำเป็นสำหรับการย้อนกลับขั้นตอนการคำนวณ " นี่เป็นการชี้ให้เห็นว่าการจำลองควอนตัมแบบย้อนกลับเหล่านี้ของการปฏิบัติการกลับไม่ได้ใช้อินพุตเช่นเดียวกับพื้นที่ "เกา" จากนั้นการดำเนินการจะสร้างเอาต์พุตพร้อมกับรอยขีดข่วนบิต "สกปรก" การดำเนินการทั้งหมดสามารถย้อนกลับได้ด้วยความเคารพต่อเอาต์พุตบวกบิตขยะ แต่ในบางจุดบิตขยะจะถูก "โยนทิ้ง" และไม่พิจารณาเพิ่มเติม เนื่องจากการเข้ารหัสขึ้นอยู่กับการมีอยู่ของฟังก์ชั่นทางเดียวของประตูกลทางเลือกอื่น ๆ ของคำถามอาจจะเป็น "มีฟังก์ชั่นทางเดียวที่สามารถนำไปใช้งานได้ด้วยการใช้งานตรรกะแบบย้อนกลับได้เท่านั้น ถ้าเป็นเช่นนั้นเป็นไปได้หรือไม่ที่จะคำนวณ COMPUTE ฟังก์ชันทางเดียวกับประตูทางลัดโดยใช้การดำเนินการย้อนกลับได้เท่านั้น (และไม่มีพื้นที่รอยขีดข่วน)?

3
มีการเชื่อมต่อใด ๆ ระหว่างบรรทัดฐานเพชรและระยะทางของรัฐที่เกี่ยวข้องหรือไม่?
ในทฤษฎีข้อมูลควอนตัมระยะห่างระหว่างสองช่องควอนตัมมักถูกวัดโดยใช้บรรทัดฐานเพชร นอกจากนี้ยังมีอีกหลายวิธีในการวัดระยะทางระหว่างสองสถานะควอนตัมเช่นระยะการติดตามความเที่ยงตรง ฯลฯJamiołkowski isomorphismเป็นคู่ระหว่างช่องควอนตัมและสถานะควอนตัม นี่เป็นเรื่องที่น่าสนใจสำหรับฉันอย่างน้อยที่สุดเพราะบรรทัดฐานของเพชรนั้นยากที่จะคำนวณได้และJamiołkowski isomorphism ก็ดูเหมือนจะบ่งบอกความสัมพันธ์ระหว่างการวัดระยะห่างของช่องควอนตัมและสถานะควอนตัม ดังนั้นคำถามของฉันคือสิ่งนี้: มีความสัมพันธ์ที่รู้จักกันระหว่างระยะทางในบรรทัดฐานเพชรและระยะห่างระหว่างรัฐที่เกี่ยวข้อง (ในบางวัด)?

3
มีควอนตัมเทียบเท่าของทฤษฎีบทลำดับชั้นของเวลาหรือไม่?
ทฤษฎีบทที่ชื่นชอบในทฤษฎีความซับซ้อนคือทฤษฎีบทลำดับชั้นของเวลา อย่างไรก็ตามสิ่งนี้ทำในปี 1965 ฉันอยากรู้ว่าหากมีสิ่งใดที่คล้ายคลึงกับควอนตัมคอมพิวเตอร์ นอกจากนี้หากไม่ใช่สิ่งที่ผู้คน / กลุ่มทำงานในทิศทางนี้!

5
เป็นไปได้ไหมที่จะทดสอบว่าตัวเลขที่คำนวณได้นั้นเป็นจำนวนตรรกยะหรือจำนวนเต็ม?
เป็นไปได้ไหมที่จะทดสอบอัลกอริธึมว่าจำนวนที่คำนวณได้เป็นจำนวนตรรกยะหรือจำนวนเต็ม? ในคำอื่น ๆ ก็จะมีความเป็นไปได้สำหรับห้องสมุดที่ใช้คำนวณตัวเลขเพื่อให้ฟังก์ชั่นisIntegerหรือisRational? ฉันเดาว่ามันเป็นไปไม่ได้และนี่ก็เกี่ยวข้องกับความจริงที่ว่ามันเป็นไปไม่ได้ที่จะทดสอบว่าตัวเลขสองตัวนั้นเท่ากัน แต่ฉันไม่เห็นวิธีที่จะพิสูจน์มัน แก้ไข: จำนวนที่คำนวณได้ถูกกำหนดโดยฟังก์ชันที่สามารถส่งกลับค่าประมาณด้วยเหตุผลด้วยความแม่นยำ :สำหรับใด ๆ0 รับฟังก์ชั่นดังกล่าวเป็นไปได้หรือไม่ที่จะทดสอบว่าหรือ ?xxxfx(ϵ)fx(ϵ)f_x(\epsilon)xxxϵϵ\epsilon|x−fx(ϵ)|≤ϵ|x−fx(ϵ)|≤ϵ|x - f_x(\epsilon)| \leq \epsilonϵ>0ϵ>0\epsilon > 0x∈Qx∈Qx \in \mathrm{Q}x∈Zx∈Zx \in \mathrm{Z}
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

2
คอมพิวเตอร์ควอนตัมทางเดียวแบบแบนชั่วคราว
ฉันเป็นนักฟิสิกส์ที่มีหัวใจและดังนั้นฉันจึงคิดว่าการคำนวณควอนตัมทางเดียวนั้นยอดเยี่ยม โดยเฉพาะอย่างยิ่งกราฟรัฐวัดตามควอนตัมคอมพิวเตอร์ (MBQC) ได้รับการพัฒนาที่ดีจริงๆในการวิจัยควอนตัมคอมพิวเตอร์เป็นโดยกำเนิดRaussendorf & Briegel เราเพียงแค่ต้องเตรียมสถานะพัวพันหลายส่วนตามที่อธิบายโดยกราฟจากนั้นทำการวัดตามลำดับในแต่ละโหนดหรือ qubit (การวัดแบบปรับได้สำหรับการคำนวณแบบกำหนดค่า) อีกด้านที่ดีของวิธีนี้คือวงจร Clifford สามารถดำเนินการในรอบเดียวของวัดที่แสดงโดยRaussendorf บราวน์และ Briegel วงจรเหล่านี้สามารถจำลองแบบคลาสสิก (อย่างมีประสิทธิภาพ) ดังที่แสดงโดย Gottesman และ Knill ดังนั้นจึงเป็นการเชื่อมต่อที่น่าสนใจระหว่างการจำลองแบบดั้งเดิมและทรัพยากรทางโลก อย่างไรก็ตามไม่ใช่ว่าวงจร MBQC ของรัฐกราฟที่แบนชั่วคราว (ประกอบด้วยการวัดหนึ่งรอบ) นั้นเชื่อว่าสามารถจำลองได้อย่างคลาสสิก ตัวอย่างเช่นครอบครัวของวงจรในรูปแบบวงจรควอนตัมประกอบด้วยประตูที่เรียกว่าวงจร IQP ตามที่แนะนำโดยShepherd และ Bremnerสามารถดำเนินการในขั้นตอนเดียวใน MBQC วงจร IQP เหล่านี้เชื่อว่าจะไม่เป็น simulatable คลาสสิก(ในแง่ความซับซ้อนของคอมพิวเตอร์ก็จะนำไปสู่การล่มสลายของลำดับชั้นของพหุนาม) ดูยังมีคำอธิบายที่ดีของชั้นเรียนของวงจรดำเนินการในขั้นตอนเดียวเวลาที่นี่ จากการที่หน่วยเดินทาง / แนวทแยงสามารถมีพฤติกรรมที่น่าสนใจ แต่วงจรที่ไม่ใช่การเดินทางเป็นแบบจำลองคลาสสิก มันจะน่าสนใจถ้ามีวงจรที่ไม่สามารถนำไปใช้งานได้ แต่ยังไม่ปรากฏว่าสามารถจำลองได้อย่างคลาสสิก อย่างไรก็ตามคำถามของฉันคือ: มีวงจรที่น่าสนใจอื่น ๆ ที่สามารถใช้งานได้ในขั้นตอนเดียวใน MBQC หรือไม่? …

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.