Polinomial Jones

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 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 $\sigma$$k$$U_\sigma$$\sigma$$B_{2n}$$U_\sigma$$U_\sigma$

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 } $\sigma$$2n$$m$$\sigma = \sigma_{a_1}^{\epsilon_1} \sigma_{a_2}^{\epsilon_2} \cdots \sigma_{a_m}^{\epsilon_m}$$a_1, a_2, \ldots, a_m \in \{1, 2, \ldots, 2n - 1\}$$\epsilon_1, \epsilon_2, \ldots, \epsilon_m \in \{\pm 1\}$B 2 n i ( i + 1 ) U σ i U σ = U ϵ 1 σ a 1 ⋯ U ϵ m σ a $\sigma_i$$B_{2n}$$i$$(i + 1)$$U_{\sigma_i}$$U_\sigma = U_{\sigma_{a_1}}^{\epsilon_1} \cdots U_{\sigma_{a_m}}^{\epsilon_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 2 ⋯ b 2 n ⟩ ℓ i ' ( ψ ) = 1 + Σ i ' j = 1 ( - 1 ) 1 - b j ψ 1 ≤ ℓ i ' ( ψ ) ≤ k - 1 i '$U_{\sigma_i}$$\mathbb{C}^{2^{2n}}$$U_{\sigma_i}$$\psi = \lvert b_1 b_2 \cdots b_{2n} \rangle$$\ell_{i'}(\psi) = 1 + \sum_{j = 1}^{i'} (-1)^{1-b_j}$$\psi$ $1 \leq \ell_{i'}(\psi) \leq k - 1$ψ 2 n G k λ r = { sin ( π r / k ) jika  1 ≤ r ≤ k - 1 , 0 sebaliknya. A = i e - π i / 2 k i = $i' \in \{1, 2, \ldots, 2n\}$$\psi$$2n$$G_k$

$$\lambda_r = \begin{cases}\sin(\pi r / k) & \textrm{if $1 \leq r \leq k - 1$},\\ 0 & \textrm{otherwise.}\end{cases}$$ 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^{-\pi i/2k}$$i = \sqrt{-1}$$i$$\psi = \lvert \psi_i b_i b_{i+1} \cdots\rangle$$\psi_i$$i - 1$$\psi$$z_i = \ell_{i-1}(\psi_i)$ $$\begin{align} U_{\sigma_i}(\lvert\psi_i 00 \cdots\rangle) & = A^{-1}\lvert\psi_i 00 \cdots\rangle\\ U_{\sigma_i}(\lvert\psi_i 01 \cdots \rangle) & = \left( A\frac{\lambda_{z_i-1}}{\lambda_{z_i}} + A^{-1}\right)\lvert\psi_i 01 \cdots\rangle + A\frac{\sqrt{\lambda_{z_i+1}\lambda_{z_i-1}}}{\lambda_{z_i}}\lvert\psi_i 10 \cdots\rangle\\ U_{\sigma_i}(\lvert\psi_i 10 \cdots \rangle) & = A\frac{\sqrt{\lambda_{z_i+1}\lambda_{z_i-1}}}{\lambda_{z_i}}\lvert\psi_i 01 \cdots\rangle + \left(A\frac{\lambda_{z_i+1}}{\lambda_{z_i}} + A^{-1}\right)\lvert\psi_i 10 \cdots\rangle\\ U_{\sigma_i}(\lvert\psi_i 11 \cdots\rangle) & = A^{-1}\lvert\psi_i 11 \cdots\rangle \end{align}$$ Kami mendefinisikan untuk elemen dasar yang tidak dapat diterima .$U_{\sigma_i}(\psi) = \psi$$\psi$

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 untuk$U_{\sigma_i}$$n$$k$$U_{\sigma_i}$$i - 1$$z_i$$z_i$$k$$U_{\sigma_i}$hanya 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_{\sigma_i}$$1 \leq z_i \leq k - 1$

Jadi untuk rekap:

1. Mulailah dengan jalinan dengan persimpangan .$\sigma \in B_{2n}$$m$
2. Tulis .$\sigma = \sigma_{a_1}^{\epsilon_1} \sigma_{a_2}^{\epsilon_2} \cdots \sigma_{a_m}^{\epsilon_m}$
3. Untuk setiap , terapkan algoritma Solovay-Kitaev untuk mendapatkan perkiraan matriks kesatuan (atau kebalikannya jika ).U σ a i ϵ i = - $i \in \{1, 2, \ldots, m\}$$U_{\sigma_{a_i}}$$\epsilon_i = -1$
4. Komposisikan semua aproksimasi dari langkah 3 untuk mendapatkan sirkuit kuantum dengan banyak gerbang polinomi yang mendekati .$U_{\sigma}$
5. Terapkan tes Hadamard nyata dan imajiner berkali-kali secara polinomial dengan rangkaian dari langkah 4 dan status .$\lvert 1010 \cdots 10\rangle$
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 /$\sigma$$e^{2\pi i/k}$

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:

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 .