Změna základu aplikovaného v kvantových výpočtech
v kvantové výpočty, kvantová Fourierova transformace (zkráceně: QFT) je a lineární transformace na kvantové bity, a je kvantovým analogem inverzní diskrétní Fourierova transformace. Kvantová Fourierova transformace je součástí mnoha kvantové algoritmy, zejména Shorův algoritmus pro factoring a výpočet diskrétní logaritmus, algoritmus odhadu kvantové fáze pro odhad vlastní čísla a nečleněný operátor a algoritmy pro skrytý problém s podskupinou. Kvantovou Fourierovu transformaci vynalezl Don Coppersmith.[1]
Kvantovou Fourierovu transformaci lze efektivně provádět na kvantovém počítači se zvláštním rozkladem na produkt jednoduššího unitární matice. Pomocí jednoduchého rozkladu se diskrétní Fourierova transformace zapne
amplitudy lze implementovat jako a kvantový obvod skládající se pouze z
Hadamardovy brány a kontrolované brány fázového posuvu, kde
je počet qubitů.[2] To lze srovnat s klasickou diskrétní Fourierovou transformací, která trvá
brány (kde
je počet bitů), což je exponenciálně více než
. Kvantová Fourierova transformace však působí na kvantový stav, zatímco klasická Fourierova transformace působí na vektor, takže ne každý úkol, který používá klasickou Fourierovu transformaci, může využít tohoto exponenciálního zrychlení.[Citace je zapotřebí ]
Nejlepší známé kvantové algoritmy Fourierovy transformace (od konce roku 2000) vyžadují pouze
brány k dosažení efektivní aproximace.[3]
Definice
Kvantová Fourierova transformace je klasická diskrétní Fourierova transformace aplikovaná na vektor amplitud kvantového stavu, kde obvykle uvažujeme vektory délky
.
The klasická Fourierova transformace působí na a vektor
a mapuje to na vektor
podle vzorce:

kde
a
je Nth kořen jednoty.
Podobně kvantová Fourierova transformace působí na kvantový stav
a mapuje to do kvantového stavu
podle vzorce:

(Konvence pro znaménko exponentu fázového faktoru se liší; zde používáme konvenci, že kvantová Fourierova transformace má stejný účinek jako inverzní diskrétní Fourierova transformace a naopak.)
Od té doby
je rotace, inverzní kvantová Fourierova transformace jedná podobně, ale s:

V případě že
je základní stav, lze kvantovou Fourierovu transformaci vyjádřit také jako mapu

Ekvivalentně lze kvantovou Fourierovu transformaci považovat za jednotnou matici (nebo a kvantová brána, podobně jako booleovský logická brána pro klasické počítače) působící na vektory kvantového stavu, kde je jednotná matice
darováno

kde
. Dostaneme například v případě
a fáze
transformační matice

Vlastnosti
Jednotnost
Většina vlastností kvantové Fourierovy transformace vyplývá ze skutečnosti, že jde o a unitární transformace. To lze zkontrolovat provedením násobení matic a zajištění toho vztahu
drží, kde
je Hermitian adjoint z
. Alternativně lze zkontrolovat ortogonální vektory norma 1 se namapuje na ortogonální vektory normy 1.
Z jednotkové vlastnosti vyplývá, že inverzní funkce kvantové Fourierovy transformace je Hermitian adjoint Fourierovy matice, tedy
. Vzhledem k tomu, že existuje efektivní kvantový obvod implementující kvantovou Fourierovu transformaci, může být obvod spuštěn opačně a provést inverzní kvantovou Fourierovu transformaci. Obě transformace lze tedy efektivně provádět na kvantovém počítači.
Implementace obvodu
The kvantové brány používané v obvodu jsou Hadamardova brána a kontrolované fázová brána
, zde z hlediska

s
primitivní
-tý kořen jednoty. Obvod se skládá z
brány a kontrolované verze 

Všechny kvantové operace musí být lineární, takže stačí popsat funkci v každém ze základních stavů a nechat smíšené stavy definovat linearitou. To je v kontrastu s tím, jak jsou obvykle popsány Fourierovy transformace. Normálně popisujeme Fourierovy transformace, pokud jde o způsob výpočtu složek výsledků na libovolném vstupu. Takto byste vypočítali cesta integrální nebo ukázat BQP je v PP. Ale je zde mnohem jednodušší (a v mnoha případech) pouze vysvětlit, co se stane s konkrétním stavem libovolného základu, a celkový výsledek lze zjistit podle linearity.
Kvantovou Fourierovu transformaci lze přibližně implementovat pro jakoukoli N; implementace však pro případ, kdy N je síla 2 je mnohem jednodušší. Jak již bylo uvedeno, předpokládáme
. Máme ortonormální základ skládající se z vektorů

Základní stavy vyjmenovávají všechny možné stavy qubits:

kde se zápisem tenzorového produktu
,
naznačuje, že qubit
je ve stavu
, s
buď 0 nebo 1. Podle konvence index základního stavu
objednává možné stavy qubits lexikograficky, tj. převodem z binárního na desítkové takto:

Je také užitečné si vypůjčit zlomkovou binární notaci:
![[0.x_ {1} ldots x_ {m}] = součet _ {{k = 1}} ^ {m} x_ {k} 2 ^ {{- k}}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbd6918efae01d516867ef27c85ddc0b30290234)
Například,
a ![[0.x_ {1} x_ {2}] = { frac {x_ {1}} {2}} + { frac {x_ {2}} {2 ^ {2}}}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/9507c0297d72dfe855b0eaf615ac514a43c98edd)
S touto notací lze akci kvantové Fourierovy transformace vyjádřit kompaktním způsobem:
![{ displaystyle { text {QFT}} (| x_ {1} x_ {2} ldots x_ {n} rangle) = { frac {1} { sqrt {N}}} vlevo (| 0 rangle + e ^ {2 pi i , [0.x_ {n}]} | 1 rangle pravé) otimes levé (| 0 rangle + e ^ {2 pi i , [0. x_ {n-1} x_ {n}]} | 1 rangle right) otimes cdots otimes left (| 0 rangle + e ^ {2 pi i , [0.x_ {1} x_ {2} ldots x_ {n}]} | 1 rangle right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f16ab6d89d8b6d5d11624af529b1f92e1bcdc51)
nebo
![{ displaystyle { text {QFT}} (| x_ {1} x_ {2} ldots x_ {n} rangle) = { frac {1} { sqrt {N}}} vlevo (| 0 rangle + omega _ {1} '^ {[x_ {n}]} | 1 rangle right) otimes left (| 0 rangle + omega _ {2}' ^ {[x_ {n- 1} x_ {n}]} | 1 rangle right) otimes cdots otimes left (| 0 rangle + omega _ {n} '^ {[x_ {1} ... x_ {n- 1} x_ {n}]} | 1 rangle right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cae2480948f8eb7fc04535dbd149b0a9858e0b28)
kde jsme použili:
a 
To lze vidět přepsáním vzorce pro Fourierovu transformaci v binární expanzi:





Nyní:
.
Nechat 
pak
, protože
, pro
, a
, tedy
se stává:
![{ displaystyle e ^ {{2 pi i} f (j)} = e ^ {{2 pi i} (a (j) + b (j))} = e ^ {{2 pi i} a (j)} cdot e ^ {{2 pi i} b (j)} = e ^ {{2 pi i} [0,x_ {n-j + 1} x_ {n-j + 2} cdots x_ {n}]},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/097371da1fa3be48cc6cf9aa6005cf060db2662e)
od té doby
pro všechny
.
Pak můžeme napsat:
![{ displaystyle { text {QFT}} (| x_ {1} x_ {2} tečky x_ {n} rangle) = { frac {1} { sqrt {N}}} bigotimes _ {j = 1} ^ {n} left (| 0 rangle + omega _ {N} ^ {x2 ^ {nj}} | 1 rangle right) = { frac {1} { sqrt {N}}} bigotimes _ {j = 1} ^ {n} left (| 0 rangle + e ^ {2 pi i [0.x_ {n-j + 1} x_ {n-j + 2} ldots x_ { n}]} | 1 rangle right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57b9e3bda0ab7f83f01c364346595127f6b299a6)
![{ displaystyle = { frac {1} { sqrt {N}}} vlevo (| 0 rangle + e ^ {2 pi i [0.x_ {n}]} | 1 rangle right) otimes left (| 0 rangle + e ^ {2 pi i [0.x_ {n-1} x_ {n}]} | 1 rangle right) otimes dots otimes left (| 0 rangle + e ^ {2 pi i [0.x_ {1} x_ {2} ldots x_ {n}]} | 1 rangle right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df609a42c9f7699c31723755853189f484de088c)
Chcete-li získat tento stav z obvodu zobrazeného výše, je třeba provést swapové operace qubits, aby se obrátilo jejich pořadí. Nejvíce
swapy jsou povinné, přičemž každý z nich se provádí pomocí tří kontrolováno-NE (C-NOT) brány.[2]
Po obrácení se n-výstup qubit bude ve stavu superpozice
a
, a podobně ostatní qubits před tím (druhý pohled na náčrt obvodu výše).
Jinými slovy, diskrétní Fourierova transformace, operace zapnutá n qubits, lze zapracovat do tenzorového produktu n single-qubit operace, což naznačuje, že je snadno reprezentován jako kvantový obvod (až do obrácení objednávky na výstupu). Ve skutečnosti lze každou z těchto operací s jedním qubitem implementovat efektivně pomocí a Hadamardova brána a kontrolované fázové brány. První termín vyžaduje jednu Hadamardovu bránu a
řízené fázové brány, další vyžaduje Hadamardovu bránu a
řízená fázová brána a každý následující termín vyžaduje o jednu méně kontrolovanou fázovou bránu. Součet počtu bran, vyjma těch, které jsou potřebné pro obrácení výstupu, dává
brány, což je kvadratický polynom v počtu qubitů.
Příklad
Zvažte kvantovou Fourierovu transformaci na 3 qubits. Jedná se o následující transformaci:

kde
je primitivní osmá kořen jednoty uspokojující
(od té doby
).
Zkrátka nastavení
, maticová reprezentace této transformace na 3 qubits je:

Mohlo by to být dále zjednodušeno použitím
,
a 
a pak ještě více
,
a
.
3kbitovou kvantovou Fourierovu transformaci lze přepsat jako:
![{ displaystyle { text {QFT}} (| x_ {1}, x_ {2}, x_ {3} rangle) = { frac {1} { sqrt {2 ^ {3}}}}} left (| 0 rangle + e ^ {2 pi i , [0.x_ {3}]} | 1 rangle right) otimes left (| 0 rangle + e ^ {2 pi i , [0.x_ {2} x_ {3}]} | 1 rangle right) otimes left (| 0 rangle + e ^ {2 pi i , [0.x_ {1} x_ {2 } x_ {3}]} | 1 rangle right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b38c1a05d0c8bbb32f415f098b367095cdc5181)
nebo
![{ displaystyle { text {QFT}} (| x_ {1}, x_ {2}, x_ {3} rangle) = { frac {1} { sqrt {2 ^ {3}}}}} left (| 0 rangle + omega _ {1} '^ {[x_ {3}]} | 1 rangle right) otimes left (| 0 rangle + omega _ {2}' ^ {[ x_ {2} x_ {3}]} | 1 rangle right) otimes left (| 0 rangle + omega _ {3} '^ {[x_ {1} x_ {2} x_ {3}] } | 1 rangle right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f703b54032da939a9302435a825f6c88e31fd15)
V případě, že použijeme obvod, získáme faktorizaci v opačném pořadí, jmenovitě
![{ displaystyle | x_ {1}, x_ {2}, x_ {3} rangle longmapsto { frac {1} { sqrt {2 ^ {3}}}}} left (| 0 rangle + omega _ {3} '^ {[x_ {1} x_ {2} x_ {3}]} | 1 rangle right) otimes left (| 0 rangle + omega _ {2}' ^ {[ x_ {2} x_ {3}]} | 1 rangle right) otimes left (| 0 rangle + omega _ {1} '^ {[x_ {3}]} | 1 rangle right) .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f08a1a1786ae1e914e740fb56b3f4c98087e1316)
Zde jsme použili notace jako:
a 
V následujícím náčrtu máme příslušný obvod pro
(se špatným pořadím výstupních qubitů s ohledem na správné QFT):

Jak je vypočítáno výše, počet použitých bran je
což se rovná
, pro
.
Reference
- K. R. Parthasarathy, Přednášky o kvantovém výpočtu a kódech pro opravu chyb (Indický statistický institut, Dillí, červen 2001)
- John Preskill, Přednášky z fyziky 229: Kvantové informace a výpočet (CIT, září 1998)
externí odkazy