Deutsch-Jozsa algoritmi - Deutsch–Jozsa algorithm

The Deutsch-Jozsa algoritmi a deterministik kvant algoritmi tomonidan taklif qilingan Devid Deutsch va Richard Xozsa tomonidan takomillashtirilgan holda 1992 yilda Richard Kliv, Artur Ekert, Chiara Macchiavello va Mishel Moska 1998 yilda.^[1]^[2] Amaliy amaliy jihatdan ozgina bo'lsa ham, bu har qanday mumkin bo'lgan deterministik klassik algoritmga nisbatan eksponentsial ravishda tezroq bo'lgan kvant algoritmining birinchi misollaridan biridir. ^[3]

Muammoni hal qilish

Deutsch-Jozsa masalasida bizga an deb nomlanuvchi qora quti kvant kompyuteri berilgan oracle ba'zi funktsiyalarni bajaradigan ${ displaystyle f colon {0,1 } ^ {n} rightarrow {0,1 }}$ . Funktsiya kirish sifatida n-raqamli ikkilik qiymatlarni qabul qiladi va har bir bunday qiymat uchun 0 yoki 1 ni chiqaradi. Biz va'da qildi funktsiyasi ham doimiy (Barcha chiqishlar bo'yicha 0 yoki barcha chiqishlar bo'yicha 1) yoki muvozanatli (kirishning yarmi uchun 1ni qaytaradi domen va boshqa yarmi uchun 0).^[4] Vazifani aniqlash kerak ${ displaystyle f}$ Oracle yordamida doimiy yoki muvozanatli bo'ladi.

Motivatsiya

Deutsch-Jozsa muammosi kvant algoritmi uchun oson va har qanday deterministik klassik algoritm uchun qiyin bo'lishi uchun maxsus ishlab chiqilgan. Motivatsiya kvant kompyuteri tomonidan xatosiz samarali echilishi mumkin bo'lgan qora quti muammosini ko'rsatishdir, ammo deterministik klassik kompyuter bu muammoni hal qilish uchun qora qutiga juda ko'p so'rovlar kerak bo'ladi. Rasmiy ravishda, unga nisbatan oracle beradi EQP, kvant kompyuterida polinom vaqtida to'liq echilishi mumkin bo'lgan muammolar klassi va P boshqacha.^[5]

Muammoni ehtimoliy klassik kompyuterda hal qilish oson bo'lgani uchun, u bilan oracle ajratilishini keltirib chiqarmaydi BPP, ehtimoliy klassik kompyuterda polinom vaqtidagi chegaralangan xato bilan echilishi mumkin bo'lgan muammolar klassi. Simonning muammosi o'rtasida oracle ajratilishini keltirib chiqaradigan muammoning misoli BQP va BPP.

Klassik echim

An'anaviy uchun deterministik algoritm qaerda n bitlar soni, ${ displaystyle 2 ^ {n-1} +1}$ baholash ${ displaystyle f}$ eng yomon holatda talab qilinadi. Buni isbotlash uchun ${ displaystyle f}$ doimiy, kirishlar to'plamining deyarli yarmidan ko'prog'ini baholash kerak va ularning natijalari bir xil (funktsiyaning muvozanatli yoki doimiy bo'lishiga kafolat berilishini unutmang). Eng yaxshi holat, funktsiya muvozanatlashgan joyda sodir bo'ladi va tanlangan birinchi ikkita chiqish qiymati har xil bo'ladi. An'anaviy uchun tasodifiy algoritm, doimiy ${ displaystyle k}$ funktsiyani baholash yuqori ehtimollik bilan to'g'ri javobni berish uchun etarli (ehtimollik bilan ishlamay qolish) ${ displaystyle epsilon leq 1/2 ^ {k}}$ bilan ${ displaystyle k geq 1}$ ). Biroq, ${ displaystyle k = 2 ^ {n-1} +1}$ har doim ham to'g'ri javobni istasak, baholash hali ham talab qilinadi. Deutsch-Jozsa kvant algoritmi bitta baholash bilan har doim to'g'ri javob beradi ${ displaystyle f}$ .

Tarix

Deutsch-Jozsa algoritmi ilgari (1985) Devid Deutschning ishini umumlashtiradi, bu erda oddiy holat uchun echim topildi. ${ displaystyle n = 1}$ .
Xususan, bizga berilgan mantiqiy funktsiya uning kiritilishi 1 bit, ${ displaystyle f: {0,1 } rightarrow {0,1 }}$ va doimiymi yoki yo'qligini so'radi.^[6]

Dastlab Deutsch taklif qilgan algoritm aslida deterministik emas edi. Algoritm bir yarim ehtimollik bilan muvaffaqiyatli bo'ldi. 1992 yilda Deutsch va Jozsa aniqlanadigan algoritmni ishlab chiqdilar, ularni bajaradigan funktsiyani umumlashtirdilar ${ displaystyle n}$ uni kiritish uchun bit. Deutsch algoritmidan farqli o'laroq, ushbu algoritm bitta funktsiya o'rniga ikkita funktsiyani baholashni talab qildi.

Deutsch-Jozsa algoritmini yanada takomillashtirish Kliv va boshq.,^[2] natijada algoritm ham deterministik bo'lib, faqat bitta so'rovni talab qiladi ${ displaystyle f}$ . Ushbu algoritm hanuzgacha Deutsch-Jozsa algoritmi deb nomlanadi, chunki ular foydalangan poydevorni yaratish texnikasi sharafiga.^[2]

Algoritm

Deutsch-Jozsa algoritmi ishlashi uchun, oracle hisoblash ${ displaystyle f (x)}$ dan ${ displaystyle x}$ kvant oracle bo'lishi kerak, ammo u yo'q dekohere ${ displaystyle x}$ . Shuningdek, uning nusxasini qoldirmaslik kerak ${ displaystyle x}$ Oracle chaqiruvi oxirida atrofida yotish.

Deutsch-Jozsa algoritmi kvant davri

Algoritm. Bilan boshlanadi ${ displaystyle n + 1}$ bit holati ${ displaystyle | 0 rangle ^ { otimes n} | 1 rangle}$ . Ya'ni, birinchi n bit har biri shtatda ${ displaystyle | 0 rangle}$ va yakuniy bit ${ displaystyle | 1 rangle}$ . A Hadamard o'zgarishi holatni olish uchun har bir bitga qo'llaniladi

{ displaystyle { frac {1} { sqrt {2 ^ {n + 1}}}} sum _ {x = 0} ^ {2 ^ {n} -1} | x rangle (| 0 rangle - | 1 rangle)}

.

Bizning vazifamiz bor ${ displaystyle f}$ kvant oracle sifatida amalga oshirildi. Oracle shtatni xaritada aks ettiradi ${ displaystyle | x rangle | y rangle}$ ga ${ displaystyle | x rangle | y oplus f (x) rangle}$ , qayerda ${ displaystyle oplus}$ qo'shimcha modul 2 (amalga oshirish tafsilotlari uchun pastga qarang). Kvant kvartalini qo'llash beradi

{ displaystyle { frac {1} { sqrt {2 ^ {n + 1}}}} sum _ {x = 0} ^ {2 ^ {n} -1} | x rangle (| f (x (x) ) rangle - | 1 oplus f (x) rangle)}

.

Har biriga ${ displaystyle x, f (x)}$ yoki 0 yoki 1. Bu ikkita imkoniyatni sinab ko'rsak, yuqoridagi holat teng ekanligini ko'ramiz

{ displaystyle { frac {1} { sqrt {2 ^ {n + 1}}}} sum _ {x = 0} ^ {2 ^ {n} -1} (- 1) ^ {f (x) )} | x rangle (| 0 rangle - | 1 rangle)}

.

Bu erda oxirgi kubit ${ displaystyle { frac {| 0 rangle - | 1 rangle} { sqrt {2}}}}$ e'tiborga olinmasligi mumkin va shuning uchun quyida keltirilgan:

{ displaystyle { frac {1} { sqrt {2 ^ {n}}}} sum _ {x = 0} ^ {2 ^ {n} -1} (- 1) ^ {f (x)} | x rangle}

.

Biz murojaat qilamiz Hadamard o'zgarishi olish uchun har bir kubitga

{ displaystyle { frac {1} { sqrt {2 ^ {n}}}} sum _ {x = 0} ^ {2 ^ {n} -1} (- 1) ^ {f (x)} chap [{ frac {1} { sqrt {2 ^ {n}}}} sum _ {y = 0} ^ {2 ^ {n} -1} (- 1) ^ {x cdot y} | y rangle right] = { frac {1} {2 ^ {n}}} sum _ {y = 0} ^ {2 ^ {n} -1} left [ sum _ {x = 0 } ^ {2 ^ {n} -1} (- 1) ^ {f (x)} (- 1) ^ {x cdot y} right] | y rangle}

qayerda ${ displaystyle x cdot y = x_ {0} y_ {0} oplus x_ {1} y_ {1} oplus cdots oplus x_ {n-1} y_ {n-1}}$ bitli hosilaning yig'indisi.

Nihoyat biz o'lchov ehtimolligini tekshiramiz ${ displaystyle | 0 rangle ^ { otimes n}}$ ,

{ displaystyle { bigg |} { frac {1} {2 ^ {n}}} sum _ {x = 0} ^ {2 ^ {n} -1} (- 1) ^ {f (x) } { bigg |} ^ {2}}

agar bu 1 ga teng bo'lsa ${ displaystyle f (x)}$ doimiy (konstruktiv aralashuv ) va agar 0 bo'lsa ${ displaystyle f (x)}$ muvozanatli (halokatli aralashuv ). Boshqacha qilib aytganda, yakuniy o'lchov bo'ladi ${ displaystyle | 0 rangle ^ { otimes n}}$ (ya'ni barcha nollar) agar ${ displaystyle f (x)}$ doimiy va ba'zi boshqa holatlarga olib keladi, agar ${ displaystyle f (x)}$ muvozanatli.

Deutsch algoritmi

Deutsch algoritmi umumiy Deutsch-Jozsa algoritmining alohida hodisasidir. Vaziyatni tekshirishimiz kerak ${ displaystyle f (0) = f (1)}$ . Bu tekshirishga teng ${ displaystyle f (0) oplus f (1)}$ (qayerda ${ displaystyle oplus}$ qo'shimcha modul 2 bo'lib, uni kvant sifatida ham ko'rish mumkin XOR darvozasi sifatida amalga oshirildi Darvozani boshqarish mumkin emas ), agar nol bo'lsa, unda ${ displaystyle f}$ doimiy, aks holda ${ displaystyle f}$ doimiy emas.

Biz ikki kubit holatidan boshlaymiz ${ displaystyle | 0 rangle | 1 rangle}$ va a Hadamard o'zgarishi har bir kubitga. Bu hosil beradi

{ displaystyle { frac {1} {2}} (| 0 rangle + | 1 rangle) (| 0 rangle - | 1 rangle).}

Bizga funktsiyaning kvant bajarilishi berilgan ${ displaystyle f}$ bu xaritalar ${ displaystyle | x rangle | y rangle}$ ga ${ displaystyle | x rangle | f (x) oplus y rangle}$ . Ushbu funktsiyani hozirgi holatimizga tatbiq etish

{ displaystyle { frac {1} {2}} (| 0 rangle (| f (0) oplus 0 rangle - | f (0) oplus 1 rangle) + | 1 rangle (| f ( 1) oplus 0 rangle - | f (1) oplus 1 rangle))}

{ displaystyle = { frac {1} {2}} ((- 1) ^ {f (0)} | 0 rangle (| 0 rangle - | 1 rangle) + (- 1) ^ {f ( 1)} | 1 rangle (| 0 rangle - | 1 rangle))}

{ displaystyle = (- 1) ^ {f (0)} { frac {1} {2}} left (| 0 rangle + (- 1) ^ {f (0) oplus f (1)}) | 1 rangle o'ng) (| 0 rangle - | 1 rangle).}

Biz so'nggi bitni va global bosqichni e'tiborsiz qoldiramiz va shuning uchun davlatga egamiz

{ displaystyle { frac {1} { sqrt {2}}} (| 0 rangle + (- 1) ^ {f (0) oplus f (1)} | 1 rangle).}

Bizda mavjud bo'lgan holatga Hadamard konvertatsiyasini qo'llash

{ displaystyle { frac {1} {2}} (| 0 rangle + | 1 rangle + (- 1) ^ {f (0) oplus f (1)} | 0 rangle - (- 1)) ^ {f (0) oplus f (1)} | 1 rangle)}

{ displaystyle = { frac {1} {2}} ((1 + (- 1) ^ {f (0) oplus f (1)}) | 0 rangle + (1 - (- 1) ^ { f (0) oplus f (1)}) | 1 rangle).}

${ displaystyle f (0) oplus f (1) = 0}$ agar va agar biz nolni o'lchasak va ${ displaystyle f (0) oplus f (1) = 1}$ agar va faqat bittasini o'lchasak. Shunday qilib, aniq yoki yo'qligini bilamiz ${ displaystyle f (x)}$ doimiy yoki muvozanatli.

Shuningdek qarang

Bernshteyn-Vazirani algoritmi

Adabiyotlar

^ Devid Deutsch & Richard Xozsa (1992). "Masalalarni kvant hisoblash yo'li bilan tezkor echimlari". London Qirollik jamiyati materiallari A. 439 (1907): 553–558. Bibcode:1992RSPSA.439..553D. CiteSeerX 10.1.1.655.5997. doi:10.1098 / rspa.1992.0167.
^ ^a ^b ^v R. Kliv; A. Ekert; S Macchiavello; M. Mosca (1998). "Kvant algoritmlari qayta ko'rib chiqildi". London Qirollik jamiyati materiallari A. 454 (1969): 339–354. arXiv:kvant-ph / 9708016. Bibcode:1998RSPSA.454..339C. doi:10.1098 / rspa.1998.0164.
^ Simon, Daniel (Noyabr 1994). "Kvant hisoblash kuchi to'g'risida". 94 Kompyuter fanlari asoslari bo'yicha 35-yillik simpozium materiallari: 116–123.
^ "Ishonchsizlikdan aniqlik". Arxivlandi asl nusxasi 2011-04-06 da. Olingan 2011-02-13.^{[ishonchli manba? ]}
^ Yoxansson, N .; Larsson, JÅ. (2017). "Deutsch-Jozsa va Simon algoritmlarini samarali klassik simulyatsiyasi". Kvant inf jarayoni (2017). 16 (9): 233. arXiv:1508.05027. doi:10.1007 / s11128-017-1679-7.
^ Devid Deutsch (1985). "Kvant nazariyasi, cherkov-Turing printsipi va universal kvant kompyuteri" (PDF). London Qirollik jamiyati materiallari A. 400 (1818): 97–117. Bibcode:1985RSPSA.400 ... 97D. CiteSeerX 10.1.1.41.2382. doi:10.1098 / rspa.1985.0070.^{[doimiy o'lik havola ]}

Tashqi havolalar

Deutsch-Jozsa algoritmi haqida Deutsch ma'ruzasi

[DJ92-1] Devid Deutsch & Richard Xozsa (1992). "Masalalarni kvant hisoblash yo'li bilan tezkor echimlari". London Qirollik jamiyati materiallari A. 439 (1907): 553–558. Bibcode:1992RSPSA.439..553D. CiteSeerX 10.1.1.655.5997. doi:10.1098 / rspa.1992.0167.

[CEMM98-2] v R. Kliv; A. Ekert; S Macchiavello; M. Mosca (1998). "Kvant algoritmlari qayta ko'rib chiqildi". London Qirollik jamiyati materiallari A. 454 (1969): 339–354. arXiv:kvant-ph / 9708016. Bibcode:1998RSPSA.454..339C. doi:10.1098 / rspa.1998.0164.

[3] Simon, Daniel (Noyabr 1994). "Kvant hisoblash kuchi to'g'risida". 94 Kompyuter fanlari asoslari bo'yicha 35-yillik simpozium materiallari: 116–123.

[4] "Ishonchsizlikdan aniqlik". Arxivlandi asl nusxasi 2011-04-06 da. Olingan 2011-02-13.^{[ishonchli manba? ]}

[Johansson2017-5] Yoxansson, N .; Larsson, JÅ. (2017). "Deutsch-Jozsa va Simon algoritmlarini samarali klassik simulyatsiyasi". Kvant inf jarayoni (2017). 16 (9): 233. arXiv:1508.05027. doi:10.1007 / s11128-017-1679-7.

[Deu85-6] Devid Deutsch (1985). "Kvant nazariyasi, cherkov-Turing printsipi va universal kvant kompyuteri" (PDF). London Qirollik jamiyati materiallari A. 400 (1818): 97–117. Bibcode:1985RSPSA.400 ... 97D. CiteSeerX 10.1.1.41.2382. doi:10.1098 / rspa.1985.0070.^{[doimiy o'lik havola ]}

[1]

[2]

[3]

[4]

[5]

[6]