หลักฐานใดที่ Linial, Shraibman ขอบเขตล่างของความซับซ้อนของการสื่อสารควอนตัมไม่แน่น?


11

เท่าที่ฉันทราบขอบเขตการแยกตัวประกอบบรรทัดฐานที่กำหนดโดย Linial และ Shraibman นั้นเป็นขอบเขตเดียวเท่านั้นที่เป็นที่รู้จักสำหรับความซับซ้อนในการสื่อสารควอนตัม มีหลักฐานใด ๆ ที่แสดงว่าขอบเขตนี้แน่นหรือไม่?

บรรทัดฐานตีนเป็ดผูกพัน (เรียกว่าผูกพัน) ฉันพูดถึงคือทฤษฎีบท 13 Linial, Shraibman 2008 อันที่จริงแล้วสิ่งนี้ผูกพันจากการลดความซับซ้อนของการสื่อสารควอนตัมไปสู่อคติในเกม XOR ผู้เล่น 2 คนDegorre, et al 2008 ด้วยเหตุนี้จึงเป็นที่คาดว่าจะเป็นหมัดเนื่องจากเกม XOR ไม่ได้มีอะไรเกี่ยวข้องกับการสื่อสาร สำหรับใจร้อน, ภาพรวมคร่าวๆจะได้รับในสไลด์บางอย่างโดยทรอยลีγ2

ข้อความแนะนำของเชน Klauck 2010กล่าวว่าข้อมูลว่าเทคนิคทฤษฎีอาจมีการแข่งขันบางส่วน แต่ก็ไม่มีใครรู้ว่าเหล่านี้ชนะผูกพัน อย่างน้อยก็ไม่กี่ปีที่แล้วγ 2เป็นเทคนิคที่ดีที่สุด แต่ผมอยากจะทราบว่าแม้จะมีตัวอย่างที่เฉพาะเจาะจงของฟังก์ชั่นที่เชื่อกันว่ามีการสื่อสารที่ซับซ้อนควอนตัมมากขึ้นกว่าที่γ 2ผูกพันγ2γ2γ2


เพื่อความสมบูรณ์คุณสามารถระบุลิงก์ไปยังผลลัพธ์ได้หรือไม่
Suresh Venkat

1
@SureshVenkat: ฉันได้เพิ่มลิงก์และบริบท
Dan Stahlke

2
+1 นี่เป็นคำถามที่ฉันไม่รู้จะถามได้ที่ไหนว่า CSTheory ไม่มีอยู่จริง
Robin Kothari

คำตอบ:


6

γ2γ2

γ2


ขอบคุณ. ฉันไม่เคยได้ยินเรื่องนี้
Dan Stahlke

γ2

@ RobinKothari ใช่ถูกแล้ว เนื่องจากต้นทุนการสื่อสาร QCMA นั้นต่ำกว่าการสื่อสาร BQP เราจึงจำเป็นต้องมีขอบเขตบนของ QCMA และขอบเขตที่ต่ำกว่า
Marcos Villagra

หรือพวกเขาอาจจะเหมือนกัน?
Marcos Villagra

1
@MarcosVillagra: ฉันไม่เข้าใจ ส่วนประกอบของ Disjointness นั้นอยู่ใน NP และดังนั้นใน QCMA อย่างไรก็ตามความไม่ลงรอยกัน (หรือส่วนประกอบของมัน) มีขีด จำกัด ล่างที่แข็งแกร่งในความซับซ้อนของการสื่อสารควอนตัม นั่นไม่ได้แยก BQP และ QCMA หรือ
Robin Kothari
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.