Dalam model kotak hitam, masalah menentukan output mesin BPP pada input x adalah masalah penghitungan perkiraan untuk menentukan E r M ( x , r ) dengan kesalahan aditif 1/3 (katakanlah) .
Apakah ada masalah serupa untuk BQP? Komentar Ken Regan ini menunjukkan masalah seperti itu
Anda dapat mengurangi pertanyaan BPP hingga mendekati fungsi #P tunggal, tetapi dengan BQP yang Anda dapatkan adalah perbedaan dari dua fungsi #P, sebut saja dan g . Perkiraan f dan g secara terpisah tidak membantu Anda memperkirakan f - g ketika f - g mendekati nol!
BQP memang memberi Anda sedikit bantuan: Ketika jawaban untuk pertanyaan BQP pada input adalah ya, Anda mendapatkan bahwa f ( x ) - g ( x ) dekat dengan akar kuadrat 2 m , di mana predikat penghitungan mendefinisikan f dan g memiliki variabel biner m setelah Anda mengganti x . (Tidak ada bilah nilai absolut; "ajaib" Anda selalu mendapatkan f ( x ) > g ( x ) . Di bawah representasi umum dari sirkuit kuantum untuk BQP, m menjadi jumlah gerbang Hadamard.) Ketika jawabannya tidak, perbedaannya mendekati 0.
Bisakah Anda dengan tepat merumuskan masalah sedekat mungkin dengan BQP? Saya berharap untuk sesuatu seperti: diberi akses kotak hitam ke fungsi pemetaan X ke Y , dengan janji bahwa ..., perkirakan f - g dalam ε .
Jawaban:
Emanuele: Sayangnya, kami tidak tahu ada masalah black-box menangkap BQP sesederhana yang Anda sebutkan menangkap BPP.
Secara intuitif, ini karena sulit untuk berbicara tentang BQP tanpa membawa kesatuan dalam satu atau lain bentuk. Kemampuan untuk menjumlahkan angka positif dan negatif adalah apa yang membuat BQP lebih kuat dari BPP, tetapi kemudian unitaritaslah yang membuat BQP lebih kuat dari #P! :-)
Karena itu, selain Dawson et al. makalah yang dihubungkan dengan Martin Schwarz, Anda pasti harus memeriksa ini dan ini oleh Janzing dan Wocjan, yang memberikan masalah janji "tampak klasik" yang menangkap BQP.
Juga, misalkan S ⊆ {0,1} n , dan pertimbangkan fungsi Boolean f: S → {0,1}. Kemudian saya memiliki dugaan dari tahun lalu yang mengatakan bahwa Q (f), kompleksitas kueri kuantum kesalahan-terikat dari f, secara polinomi terkait dengan derajat minimum dari polinomial nyata p: R n → R sedemikian rupa sehingga
(i) p (x) ∈ [0,1] untuk semua x∈ {0,1} n , dan
(ii) | p (x) -f (x) | ≤ ε untuk semua x∈S.
Jika dugaan ini berlaku, maka "perkiraan masalah penghitungan menangkap BQP" hanya akan mendekati nilai polylog (n) -degree polinomial p: R n → R, pada titik yang ditentukan pada kubus Boolean, mengingat bahwa p adalah dibatasi di mana-mana di kubus Boolean. Ini mungkin sedekat mungkin dengan jawaban untuk pertanyaan Anda.
sumber
Makalah ini menguraikan ide-ide yang ditentukan di atas secara rinci.
sumber