Sejauh yang saya tahu, norma faktorisasi batas bawah yang diberikan oleh Linial dan Shraibman pada dasarnya adalah satu-satunya batas bawah yang dikenal dengan kompleksitas komunikasi kuantum (atau paling tidak itu mencakup semua yang lain). Apakah ada bukti bahwa ikatan ini ketat?
Norma faktorisasi terikat (juga disebut terikat) yang saya bicarakan adalah Teorema 13 dari Linial, Shraibman 2008 . Bahkan, ikatan ini mengikuti dari pengurangan dari kompleksitas komunikasi kuantum menjadi bias dalam game 2-pemain XOR Degorre, dkk. 2008 . Untuk alasan ini, itu bisa diharapkan menjadi ikatan yang buruk karena game XOR bahkan tidak ada hubungannya dengan komunikasi. Untuk yang tidak sabar, ikhtisar singkat diberikan dalam beberapa slide oleh Troy Lee .
Teks pengantar Jain, Klauck 2010 mengatakan bahwa teknik teori informasi mungkin menawarkan beberapa kompetisi tetapi tidak diketahui apakah ini mengalahkan . Jadi sepertinya, setidaknya beberapa tahun yang lalu, adalah teknik terbaik. Tetapi saya ingin tahu apakah ada contoh spesifik dari suatu fungsi yang diyakini memiliki kompleksitas komunikasi kuantum yang jauh lebih besar daripada batas .γ 2 γ 2
sumber
Jawaban:
Saya tidak tahu fungsi apa pun dengan komunikasi yang jauh lebih tinggi dari batas . Namun, intuisi saya mengapa tidak ketat adalah karena -norm juga merupakan batas bawah untuk komunikasi QCMA. Lihat makalah ini oleh Klauck untuk definisi komunikasi QCMA.γ 2γ2 γ2
Untuk membuktikan batas bawah pada komunikasi QCMA menggunakan -norm Anda dapat menggunakan reduksi yang sama untuk game XOR seperti dalam bukti Teorema 14 dari makalah ini . Ini juga berlaku untuk jenis keterjeratan tertentu.γ2
sumber