Apakah PARITY dalam QAC_0 (jika itu masuk akal)

17

Seperti diketahui, PARITY tidak dapat dilakukan di sirkuit dengan kedalaman konstan berukuran poli, dan pada kenyataannya sirkuit dept membutuhkan jumlah gerbang EXP.

Bagaimana dengan sirkuit QUANTUM?

a) Dapatkah PARITY dilakukan dengan sirkuit kuantum yang memiliki kedalaman konstan dan jumlah gerbang?

b) Apakah pertanyaan saya masuk akal?

Bill GASARCH
sumber
2
Ini sepertinya relevan: eccc.uni-trier.de/eccc-reports/1999/TR99-032
Ross Snider

Jawaban:

20

Pertanyaannya masuk akal, dan jawaban singkatnya adalah itu masalah terbuka.

Inilah jawaban panjangnya: Bergantung pada bagaimana Anda mendefinisikan sirkuit kuantum fan-terikat tak-terikat-konstan, Anda mungkin mendapatkan kelas yang berbeda. QAC 0 biasanya didefinisikan memiliki gerbang fanoff Toffoli tak terbatas dan gerbang qubit tunggal. QAC 0 wf adalah kelas di mana kami juga mengizinkan gerbang "fanout", yang menyalin bit input ke banyak output. (Ini mengimplementasikan | a> | 0> ... | 0> -> | a> | a> ... | a>) Kelas ini sangat kuat karena mengandung, selain PARITY dan AC 0 , juga ACC 0 dan TC 0 .

Jadi pertanyaan yang jelas untuk ditanyakan adalah apakah PARITY terkandung dalam QAC 0 , dan ini merupakan masalah terbuka. Ini sama dengan menanyakan apakah QAC 0 = QAC 0 wf . Saya kira keyakinannya adalah bahwa PARITY tidak dalam QAC 0 . Informasi lebih lanjut dapat ditemukan dalam survei Sirkuit kuantum kedalaman kecil oleh Bera, Green dan Homer.

Robin Kothari
sumber
Apakah Anda memiliki kutipan yang menunjukkan bahwa ? TC0QSEBUAHCC0
Samuel Schlesinger
@SamuelSchlesinger: Makalah ini menunjukkan bahwa Anda dapat menghitung ambang, paritas, mayoritas, dll. Dengan hanya gerbang fanout dan gerbang 2-qubit: theoryofcomputing.org/articles/v001a005
Robin Kothari
9

Anehnya, jumlah qubit kerja tambahan (ancilla) penting. Saat ini diketahui bahwa PARITY tidak dalam QAC_0 dengan ancillae terikat. Batas bawah kuantum untuk fanout memberikan satu bukti untuk sirkuit yang menggunakan paling banyak linier dan doi: 10.1016 / j.ipl.2011.05.002 memberikan bukti lain untuk sirkuit yang tidak menggunakan ancillae.

dBera
sumber