Polinomial Jones


12

Ada banyak algoritma kuantum yang cukup standar yang semuanya dapat dipahami dalam kerangka kerja yang sangat mirip, dari algoritma Deutsch masalah Simon, pencarian Grover, algoritma Shor, dan sebagainya.

Salah satu algoritma yang tampaknya sangat berbeda adalah algoritma untuk mengevaluasi Polinomial Jones . Selain itu, sepertinya ini adalah algoritma yang sangat penting untuk dipahami dalam arti bahwa ini adalah masalah BQP-lengkap : ia menunjukkan kekuatan penuh dari komputer kuantum. Selain itu, untuk varian masalah, DQC-1 lengkap , yaitu menunjukkan kekuatan penuh dari satu qubit bersih .

The Jones Polinomial algoritma kertas menyajikan algoritma dalam cara yang sangat berbeda dengan algoritma kuantum lainnya. Apakah ada cara yang lebih mirip / akrab sehingga saya dapat memahami algoritme (khususnya, kesatuan dalam varian DQC-1, atau hanya seluruh rangkaian dalam varian lengkap BQP)?U

Jawaban:


5

Jawaban ini kurang lebih merupakan ringkasan dari makalah Aharonov-Jones-Landau yang Anda tautkan, tetapi dengan segala sesuatu yang tidak terkait langsung dengan penentuan algoritme yang dihapus. Semoga ini bermanfaat.

Algoritma Aharonov-Jones-Landau mendekati Jones polinomial dari penutupan plat dari jalinan pada th akar persatuan dengan menyadari sebagai (beberapa rescaling dari) elemen matriks tertentu kesatuan matriks , gambar of bawah representasi kesatuan tertentu dari grup kepang . Diberikan implementasi sebagai sirkuit kuantum, mendekati elemen matriksnya langsung menggunakan uji Hadamard . Bagian nontrivial mendekati sebagai sirkuit kuantum.k U σ σ B 2 n U σ U σσkUσσB2nUσUσ

Jika adalah jalinan pada untaian dengan penyilangan , kita dapat menulis , di mana , , dan adalah generator yang bersesuaian dengan melintasi th untai atas st. Cukup untuk menggambarkan , karena .2 n m σ = σ ε 1 a 1 σ ε 2 a 2σ ε m a m a 1 , a 2 , ... , a m{ 1 , 2 , ... , 2 n - 1 } ε 1 , ε 2 , , Ε m{ ± 1 } σσ2nmσ=σa1ϵ1σa2ϵ2σamϵma1,a2,,am{1,2,,2n1}ϵ1,ϵ2,,ϵm{±1}B 2 n i ( i + 1 ) U σ i U σ = U ϵ 1 σ a 1U ϵ m σ a mσiB2ni(i+1)UσiUσ=Uσa1ϵ1Uσamϵm

Untuk mendefinisikan , pertama-tama kita memberikan subset tertentu dari basis standar dari di mana bertindak nontrivial. Untuk , mari . Mari kita panggil diterima jika untuk semua . (Ini sesuai dengan menggambarkan jalur panjang pada grafik didefinisikan dalam kertas AJL.) Mari C 2 2 n U σ i ψ = | b 1 b 2b 2 ni ' ( ψ ) = 1 + Σ i ' j = 1 ( - 1 ) 1 - b j ψ 1 i ' ( ψ ) k - 1 i 'UσiC22nUσiψ=|b1b2b2ni(ψ)=1+j=1i(1)1bjψ 1i(ψ)k1ψ 2 n G k λ r = { sin ( π r / k ) jika  1 r k - 1 , 0 sebaliknya. A = i e - π i / 2 k i = i{1,2,,2n}ψ2nGk

λr={sin(πr/k)if 1rk1,0otherwise.
Biarkan (ini salah ketik dalam makalah AJL; juga perhatikan bahwa di sini dan hanya di sini, bukan indeks ). Tulis , di mana adalah bit pertama dari , dan biarkan . Kemudian A=ieπi/2ki=1iψ=|ψibibi+1ψii1ψzi=i1(ψi)
Uσi(|ψi00)=A1|ψi00Uσi(|ψi01)=(Aλzi1λzi+A1)|ψi01+Aλzi+1λzi1λzi|ψi10Uσi(|ψi10)=Aλzi+1λzi1λzi|ψi01+(Aλzi+1λzi+A1)|ψi10Uσi(|ψi11)=A1|ψi11
Kami mendefinisikan untuk elemen dasar yang tidak dapat diterima .Uσi(ψ)=ψψ

Kami sekarang ingin menggambarkan sebagai sirkuit kuantum dengan banyak gerbang polinomi (dalam dan ). Perhatikan bahwa sementara hanya mengubah dua qubit, itu juga tergantung pada pertama melalui ketergantungan pada (dan memang, itu tergantung pada semua qubit untuk persyaratan penerimaan). Namun, kita dapat menjalankan penghitung untuk menghitung dan menyimpan (dan juga menentukan penerimaan input) secara logaritmik banyak (dalam ) ancilla qubit, dan oleh karena itu kita dapat menerapkan algoritma Solovay-Kitaev untuk mendapatkan perkiraan yang baik untukUσinkUσii1zizikUσihanya menggunakan banyak gerbang secara polinomi. (Makalah ini menarik Solovay-Kitaev dua kali: satu kali untuk menambah penghitung pada setiap langkah, dan satu kali untuk menerapkan ; Saya tidak yakin apakah ada cara yang lebih langsung untuk menggambarkan salah satu dari ini sebagai sirkuit kuantum dengan gerbang standar. Makalah ini juga tidak menyebutkan perlunya memeriksa penerimaan di sini; Saya tidak yakin apakah ini penting, tapi tentu saja kita setidaknya membutuhkan )Uσi1zik1

Jadi untuk rekap:

  1. Mulailah dengan jalinan dengan persimpangan .σB2nm
  2. Tulis .σ=σa1ϵ1σa2ϵ2σamϵm
  3. Untuk setiap , terapkan algoritma Solovay-Kitaev untuk mendapatkan perkiraan matriks kesatuan (atau kebalikannya jika ).U σ a i ϵ i = - 1i{1,2,,m}Uσaiϵi=1
  4. Komposisikan semua aproksimasi dari langkah 3 untuk mendapatkan sirkuit kuantum dengan banyak gerbang polinomi yang mendekati .Uσ
  5. Terapkan tes Hadamard nyata dan imajiner berkali-kali secara polinomial dengan rangkaian dari langkah 4 dan status .|101010
  6. Rata-rata hasil langkah 5 dan kalikan dengan beberapa faktor penskalaan untuk mendapatkan perkiraan ke bagian nyata dan imajiner polinomial Jones dari penutupan plat dievaluasi pada .e 2 π i / kσe2πi/k

2

Anda telah menyebutkan lima makalah dalam pertanyaan, tetapi satu makalah yang tetap tidak disebutkan adalah implementasi eksperimental pada tahun 2009 . Di sini Anda akan menemukan rangkaian aktual yang digunakan untuk mengevaluasi polinomial Jones:

masukkan deskripsi gambar di sini

Ini mungkin yang terdekat dengan presentasi algoritma yang "lebih familier", karena minat pada polinomial Jones dan DQC-1 telah sedikit membusuk sejak 2009.

Rincian lebih lanjut tentang percobaan ini dapat ditemukan dalam tesis Gina Passante .


1
Saya tidak mengetahui makalah itu, terima kasih, meskipun saya lebih tertarik pada versi lengkap BQP. Sama halnya, dalam skim singkat saya, saya tidak melihat banyak penjelasan tentang apa sebenarnya kesatuan itu. Un
DaftWullie

Sama-sama. Ya ini adalah PRL 4 halaman dengan detail yang tidak dijelaskan selengkap yang saya inginkan - mungkin ada "Bahan Tambahan" di halaman web jurnal yang menjelaskan U lebih baik. Polinomial Jones dan DQC-1 populer sekitar 2008-2009 tetapi saya sudah berhenti mendengarnya sejak itu.
user1271772
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.