Dalam kompleksitas komputasi ada perbedaan penting antara perhitungan monoton dan umum dan teorema terkenal oleh Razborov menegaskan bahwa 3-SAT dan bahkan PENCOCOKAN tidak polinomial dalam model sirkuit Boolean monoton.
Pertanyaan saya sederhana: Apakah ada analog kuantum untuk sirkuit monoton (atau lebih dari satu)? Apakah ada teorema kuantum Razborov?
Jawaban:
Anda benar-benar mengajukan dua pertanyaan berbeda dan berharap ada satu jawaban yang menjawab keduanya: (1) Apa pengertian alami dari rangkaian kuantum monoton yang ada? (2) Seperti apa hasil kuantum gaya Razborov berbasis kisi?
Tidak jelas bagaimana mencapai keduanya pada saat yang sama, jadi saya akan menjelaskan kepada saya apa yang tampaknya merupakan gagasan yang masuk akal tentang sirkuit kuantum monotonik (tanpa menunjukkan apakah ada atau tidak ada hasil Razborov yang sesuai), dan gagasan yang sama sekali berbeda tentang seperti apa dugaan kuantum Razborov akan terlihat (tanpa menunjukkan apakah itu kemungkinan benar).
Apa yang kita inginkan dari kuantum
Seperti yang saya katakan di komentar, saya pikir tidak perlu mencoba untuk memeras gagasan sirkuit monoton menjadi cetakan unitaritas. Apakah dalam kenyataan bahwa evolusi dengan waktu tidak perlu mempertahankan basis standar, atau dalam kenyataan bahwa ada banyak basis pengukuran di mana hasilnya dapat terjerat, saya pikir sine qua non dari perhitungan kuantum adalah fakta bahwa dasar standar bukan satu-satunya dasar. Bahkan di antara negara-negara produk, dalam beberapa implementasi hanya ditentukan oleh pilihan kerangka acuan.
Yang harus kita lakukan adalah mempertimbangkan hal-hal sedemikian rupa untuk menghilangkan basis standar dari tempat tradisionalnya yang istimewa - atau, dalam hal ini, sebanyak mungkin sambil mempertahankan gagasan monotonisitas yang bermakna.
Model sederhana dari rangkaian quantum monoton
Pertimbangkan model rangkaian yang tersirat dalam komentar Tsuyoshi Ito tentang "saluran kuantum monoton" (dan yang cukup banyak apa yang harus dilakukan jika seseorang menginginkan gagasan "sirkuit" yang tidak terbatas pada evolusi kesatuan).
Biarkan menjadi ruang operator Hermitian pada C 2 (sehingga berisi semua operator kepadatan pada satu qubit). Bagaimana kita akan mendefinisikan kuantum monoton gerbang G : H a ⊗ H b → H c dari dua masukan qubit a , b ke output qubit c , sedemikian rupa bahwa itu adalah tidak efektif gerbang monoton klasik? Saya pikir itu mudah untuk mengatakan bahwa output tidak boleh dibatasi pada | 0 ⟩H C2 G:Ha⊗Hb→Hc a,b c atau | 1 ⟩|0⟩⟨0| , atau campurannya; bu bahwa untuk menjadi "monoton", kita harus memerlukan bahwa sebagai ⟨ 1 ||1⟩⟨1| dan ⟨1|⟨1|Tra(ρab)|1⟩ peningkatan, nilai⟨1| G(ρ a b )| 1⟩harus non-menurun. Untuk gerbang dua input-qubit, ini berarti bahwaGharus dapat diterapkan pada prinsipnya sebagai⟨1|Trb(ρab)|1⟩ ⟨1|G(ρab)|1⟩ G
melakukan pengukuran dua-qubit sehubungan dengan beberapa basis ortonormal , di mana | μ ⟩ , | ν ⟩ span ruang bagian dari Hamming berat 1, dan{|00⟩,|μ⟩,|ν⟩,|11⟩} |μ⟩,|ν⟩
memproduksi sebagai output beberapa keadaan sesuai dengan hasil yang diukur, di mana untuk setiap .ρ∈{ρ00,ρμ,ρν,ρ11} λ ∈ { μ , ν }⟨1|ρ00|1⟩⩽⟨1|ρλ|1⟩⩽⟨1|ρ11|1⟩ λ∈{μ,ν}
Sirkuit hanya komposisi ini dengan cara yang masuk akal. Kami juga dapat mengizinkan penggeledahan, dalam bentuk rangkaian yang secara tidak sengaja menanam dan ; setidaknya kita harus mengizinkan peta ini pada input, untuk memungkinkan setiap bit input (nominal klasik) untuk disalin.| 1 ⟩ ↦ | 11 ⋯ 1 ⟩|0⟩↦|00⋯0⟩ |1⟩↦|11⋯1⟩
Tampaknya masuk akal untuk mempertimbangkan seluruh rangkaian gerbang seperti itu, atau untuk membatasi ke beberapa koleksi gerbang semacam itu. Pilihan apa pun menimbulkan "basis gerbang monoton kuantum" yang berbeda untuk sirkuit; orang dapat mempertimbangkan properti apa yang dimiliki pangkalan monoton yang berbeda. Negara-negara dapat dipilih benar-benar independen, tunduk pada kendala monotonisitas; tidak diragukan lagi akan menarik (dan mungkin praktis untuk kesalahan terikat) untuk mengaturdan, meskipun saya tidak melihat alasan untuk meminta ini dalam teori. Jelas AND dan OR adalah gerbang dari jenis ini, di manadan ρ 00 = | 0 ⟩ρ00,ρμ,ρν,ρ11 ρ 11 = | 1 ⟩ρ00=|0⟩⟨0| ρ μ = ρ ν = | 0 ⟩ρ11=|1⟩⟨1| ρ μ = ρ ν = | 1 ⟩ρμ=ρν=|0⟩⟨0| | μ ⟩ | v ⟩ρμ=ρν=|1⟩⟨1| masing-masing, apa pun yang dipilih atau menjadi.|μ⟩ |ν⟩
Untuk konstanta k , kita mungkin juga mempertimbangkan basis gerbang termasuk gerbang k -input-satu-output. Pendekatan paling sederhana dalam kasus ini mungkin akan memungkinkan gerbang yang dapat diimplementasikan seperti di atas, memungkinkan setiap dekomposisi dari subruang dari setiap Hamming weight , dan mengharuskan untuk setiapG:H⊗k→H Vw⩽H⊗k2 0⩽w⩽k 0 ⩽ w < k
Saya tidak tahu apakah ada sesuatu yang menarik untuk dikatakan tentang rangkaian seperti itu di luar kasus klasik, tetapi bagi saya ini tampaknya merupakan definisi kandidat yang paling menjanjikan dari "sirkuit monoton kuantum".
Varian kuantum dari hasil Razborov
Pertimbangkan paparan oleh Tim Gowers tentang hasil Alon & Boppana (1987), Combinatorica 7 hal. 1-22 yang memperkuat hasil-hasil Razborov (dan secara eksplisit menjelaskan beberapa tekniknya) untuk kompleksitas monoton CLIQUE. Gower menyajikan ini dalam hal konstruksi rekursif dari keluarga set, memandang dari "setengah-ruang" dari kubus boolean untuk setiap . Jika kita menghapus posisi privatedged dari basis standar di set dasar, dalam analogi dengan Quantum Lovász Local Lemma , kita dapat mempertimbangkan subruang dari 1 ⩽ j ⩽ n H ⊗ n 2 n A j ⩽ H ⊗ n 2 A j = U j E j
Dalam kasus umum, ada masalah dengan memperlakukan ini sebagai masalah komputasi: disjungsi tidak sesuai dengan pengetahuan yang dapat diperoleh dengan pasti dengan pengukuran pada jumlah salinan terbatas menggunakan pengukuran kotak hitam untuk dan saja, kecuali mereka adalah gambar dari proyektor komuter. Masalah umum ini masih dapat diperlakukan sebagai hasil yang menarik tentang kompleksitas geometris-kombinatorik, dan mungkin menimbulkan hasil yang berkaitan dengan Hamiltionians lokal frustrasi. Namun, mungkin lebih alami untuk hanya mensyaratkan bahwa subruangA B Aj muncul dari proyektor komuter, dalam hal ini disjungsi hanyalah klasik ATAU dari hasil pengukuran proyektor tersebut. Maka kita mungkin mensyaratkan bahwa kesatuan semua harus sama, dan ini menjadi masalah tentang sirkuit kesatuan (yang menimbulkan "peristiwa primitif") dengan post-processing klasik monoton (yang melakukan operasi logis pada peristiwa-peristiwa itu).Uj
Perhatikan juga bahwa jika kita tidak memaksakan pembatasan lebih lanjut pada spasi , itu mungkin menjadi subruang dengan tumpang tindih yang sangat tinggi dengan beberapa ruang direntang oleh status basis standar , yang merupakan string biner di mana .Aj E⊥k x∈E¯k xk=0
Jika kemungkinan ini membuat Anda mual, Anda selalu dapat meminta memiliki sudut pemisahan dari setidaknya (sehingga subruang primitif kami, paling buruk, kira-kira tidak bias dari subruang di mana salah satu bit diatur ke 1).Aj E⊥k π2−1/poly(n)
Jika kita tidak memaksakan pembatasan seperti itu, bagi saya tampaknya mengakui subruang yang memiliki tumpang tindih tinggi dengan akan menjadi penghalang untuk mendekati CLIQUE (r); entah kita akan lebih atau kurang dibatasi untuk mempertimbangkan tidak adanya sisi tertentu (daripada kehadirannya), atau kita akan dipaksa untuk mengabaikan salah satu sisi sama sekali. Jadi, saya tidak melihatnya sebagai hal yang sangat penting untuk memaksakan pembatasan pada , kecuali mungkin mereka semua adalah gambar dari seperangkat proyektor komuter, jika tujuan seseorang adalah untuk mempertimbangkan bagaimana "secara monoton mengevaluasi CLIQUE dari proposisi kuantum sederhana ". Paling buruk, itu akan menjadi jumlah klasik untuk memungkinkan gerbang TIDAK di input (dan semua fan-out terjadi setelah negasi).E⊥k Aj
Sekali lagi, tidak jelas bagi saya apakah mengganti set dasar dengan subruang sewenang-wenang dari menimbulkan masalah yang lebih menarik daripada hanya menggunakan subruang ; meskipun jika kita membatasi diri pada kasus rumus CNF (baik dalam perjalanan atau non-perjalanan), hasil yang kita peroleh akan sesuai dengan beberapa gagasan tentang kerumitan seorang Hamiltonian yang bebas frustrasi yang tanah-manifoldnya terdiri dari standar dasar negara bagian yang mewakili klik.H⊗n2 Ej
sumber
Seperti dibuktikan oleh komentar dari Robin dan Tsuyoshi, gagasan sirkuit monoton tampaknya mudah diperluas ke sirkuit kuantum.
Untuk memiliki definisi yang bermakna dari rangkaian kuantum monoton, kita perlu memilih urutan pada keadaan kuantum sehubungan dengan mana monotonitas didefinisikan. Secara klasik, pilihan yang masuk akal (dan yang mengarah pada gagasan normal sirkuit monotonik), adalah bobot Hamming, tetapi mari kita pertimbangkan pemesanan yang diberikan oleh fungsi arbitrer .f
Karena evolusi sistem kuantum tertutup adalah kesatuan (yang dapat kita asumsikan diberikan oleh ), maka untuk setiap keadaan sedemikian rupa sehingga terdapat keadaan alternatif sehingga tetapi untuk yang , dan karenanya evolusi tidak monoton.U |ψ⟩ f(U|ψ⟩)>f(|ψ⟩) |ϕ⟩ f(|ϕ⟩)>f(|ψ⟩) f(U|ψ⟩)>f(U|ϕ⟩) U
Jadi, satu-satunya sirkuit yang monotonik berkenaan dengan adalah sirkuit yang untuk semua . Dengan demikian setiap set gerbang yang monotonik berkenaan dengan terdiri dari gerbang yang bepergian dengan .f ( U | ψ ⟩ ) = f ( | ψ ⟩ ) | ψ ⟩ f ff f(U|ψ⟩)=f(|ψ⟩) |ψ⟩ f f
Jelas, himpunan gerbang yang dapat memuaskan ini tergantung pada definisi . Jika konstan, maka semua set gerbang bersifat monoton sehubungan dengan itu. Namun, jika kita memilih sebagai bobot negara Hamming dalam dasar komputasi (perpanjangan yang agak alami dari digunakan dalam kasus klasik), kita mendapatkan struktur yang menarik. Pembatasan yang diberlakukan mengharuskan berat Hamming tidak berubah. Operasi yang mempertahankan jumlah ini untuk operasi diagonal atau SWAP parsial, atau kombinasi dari ini. Struktur ini cukup sering muncul dalam fisika (dalam model pengikatan ketat dll), dan mirip dengan masalah hamburan Boson yang dipelajari oleh Aaronson dan Arkhipovf f ff f f f , meskipun tidak identik (ini masalah hamburan yang sedikit berbeda). Lebih lanjut itu mengandung sirkuit untuk IQP , dan karenanya tidak boleh disimulasikan secara efisien secara klasik.
sumber
Anda pada dasarnya mengajukan dua pertanyaan tentang kesulitan yang sangat beragam, di perbatasan dua bidang besar, yaitu sirkuit boolean & komputasi QM, tentang kemungkinan apa yang kadang-kadang disebut "teorema jembatan" dalam matematika:
analog kuantum dari sirkuit monoton
analog kuantum dari Razborovs thm
jawaban jujur yang singkat adalah tidak atau tidak sejauh ini .
karena (1), bukan pertanyaan yang sulit, tetapi masih jarang dipertimbangkan, muncul referensi berikut yang dapat diambil sebagai kasus terkait dalam literatur.
Kekerasan pendekatan untuk masalah kuantum oleh Gharibian dan Kempe
mereka mempertimbangkan beberapa masalah "monoton" dalam konteks kuantum misalnya QMSA, "Quantum Monotone Minimum Satisfying Assignment, QMSA", yaitu analog SAT QM; (juga masalah lain Quantum Monoton Minimum Weight Word, QMW) dan menunjukkan beberapa hasil kekerasan perkiraan, yaitu batas bawah. mereka tidak menganggap sirkuit kuantum monoton per se tetapi sebuah gagasan bisa jadi bahwa sirkuit kuantum atau algoritma yang memecahkan fungsi monoton QMSA dapat diambil sebagai analog QM.
Adapun (2) itu akan menjadi hasil yang sangat maju jika ada yang sepertinya tidak "sejauh ini". Razborov's thm pada dasarnya adalah tipe "bottleneck" hasil batas bawah yang dianggap sebagai terobosan yang berbeda dan hasil yang nyaris tak tertandingi dalam teori sirkuit (monoton).
jadi kira-kira ya, tentu saja ada beberapa hambatan yang lebih rendah ditemukan dalam komputasi QM, misalnya terkait dengan teorema produk langsung, untuk survei lihat misalnya
Algoritma Quantum, Batas Bawah, dan Pengorbanan Ruang-Waktu oleh Spalek
Namun, bisa dibilang komputasi QM analog yang lebih baik dengan batas bawah akan menempatkan batas bawah pada jumlah operasi qubit atau mungkin didasarkan pada gerbang "lengkap" seperti gerbang Toffoli untuk fungsi monoton. Saya tidak mengetahui bukti dari jenis ini.
pendekatan lain mungkin membatasi analisis untuk gerbang kuantum AND dan OR khusus dengan bit "ancilla" tambahan yang ditambahkan untuk membuat gerbang reversibel.
sumber