Sudah dikenal komputer kuantum benar-benar lebih kuat daripada rekan-rekan klasik mereka dalam hal kompleksitas permintaan .
Apakah ada model lain (alami atau buatan) yang secara ketat antara kuantum dan klasik dalam hal kompleksitas kueri?
Pemisahan bisa dimulai
- masalah spesifik: model X menghitung fungsi dengan kueri yang lebih ketat dari kuantum, tetapi kueri lebih sedikit dari batas bawah pada klasik, atau
- masalah yang berbeda: model X menghitung fungsi dengan kueri yang lebih ketat dari kuantum, tetapi menghitung fungsi dengan kueri yang lebih sedikit daripada klasik.f 2
Dalam kedua kasus, kami ingin agar setiap fungsi memiliki untuk menghindari contoh-contoh yang sulit dibandingkan dengan kuantum (seperti kompleksitas sertifikat kueri non-deterministik). Di sini (dan ) adalah kompleksitas kueri kuantum -sisi (dan acak klasik) dua sisi dan ketidaksetaraan berada dalam faktor konstan.Q 2 ( f ) ≤ X ( f ) ≤ R 2 ( f ) Q 2 ( f ) R 2 ( f ) 1 / 3
sumber
sumber
Mungkin contoh yang lebih jelas dari model komputasi semacam ini adalah DQC1 yang dijelaskan oleh @RobinKothari dalam jawabannya. Lihat referensi dalam jawabannya untuk pengantar model yang bagus.
Juga, agak baru-baru ini, ada artikel bagus di majalah Nature tentang Quantum Discord. Perselisihan Quantum adalah ukuran informasi-teoretis dari korelasi non-klasik, generalisasi keterjeratan. Inilah tautannya . Anda akan melihat di sana bahwa ada contoh perhitungan di mana keterjeratan tidak memainkan peran mendasar, yaitu, korelasi non-klasik lainnya adalah yang mengurus mempercepat perhitungan. Ini terjadi di DQC1 untuk menghitung jejak matriks (lihat kertas oleh Datta, Shaji, dan Caves ). Apa yang menarik dalam artikel ini adalah ia membuka pertanyaan tentang "algoritma berbasis Quantum Discord", yaitu, algoritma di mana Anda tidak memerlukan keterikatan untuk mempercepat kuantum. Itu sesuatu antara komputasi kuantum penuh dan klasik.
Model lain yang mungkin termasuk dalam kategori ini (antara kuantum penuh dan klasik) adalah Model Optik Linier oleh Arkhipov dan Aaronson. Lihat pertanyaan ini untuk penjelasan yang bagus.
Saya tidak tahu di mana model ini cocok dalam hal kompleksitas kueri, tetapi bisa menjadi titik awal yang baik.
sumber