Tofolio vartai

**Tofolio vartai** () – tai kvantinio kompiuterio vartai, naudojami įvairiuose algoritmuose, pavyzdžiui, Groverio algoritme. Tofolio vartus gali sudaryti mažiausiai 3 kubitai. Tofolio vartai turi 2 *kontroliuojamus* kubitus ir 1 *taikinio* kubitą.

: Tofolio vartai pakeičia trečio kubito reikšmę, tik jei pirmi du kubitai yra vienetai.
: |000> ___> |000>
: |100> ___> |100>
: |110> ___> |111>
: |111> ___> |110>
: |001> ___> |001>
: |011> ___> |011>
: |101> ___> |101>
: |010> ___> |010>

Su daugiau kubitų, analogiškai apsiverčia paskutinis kubitas, bet tik tuo atveju jei visi pirmi kubitai yra vienetai.

## Tofolio vartai ir superpozicija
Kas bus, jeigu kubitus praleisime pro Hadamardo vartus, paskui pro Tofolio vartus, o paskui vėl pro Hadamardo vartus?
Jeigu trečias kubitas yra nulis, tai ant išėjimo išmatuosime tą patį, kas buvo ant įėjimo:
: |000> ___> |000>
: |110> ___> |110>
: |010> ___> |010>
: |100> ___> |100>
Tačiau jeigu trečias kubitas |1>, tai išėjimas bus toks:
: |001> ___> 0.5(|00>+ |01>+ |10>- |11>)|1>
: |111> ___> 0.5(-|00> +|01> + |10>+ |11>)|1>
: |011> ___> 0.5(|00> +|01> -|10>+ |11>)|1>
: |101> ___> 0.5(|00> -|01> + |10>+ |11>)|1>
Čia galima įžiūrėti tokį dėsningumą:
Jei trečias kubitas yra vienetas, tai pirmi du kubitai apsiverčia ir ta, apsivertusi būsena, pažymima minusu. Tarp kitko, trečias kubitas lieka nepakitęs.
Tofolio vartai naudojami Groverio algoritme, kai reikia pažymėti vieną elementą neigiama amplitude (M vartai). Taip pat Tofolio vartai gali turėti daug *kontroliuojamų* kubitų ir (tik!) vieną *taikinio* kubitą.

* |000\rang\to|00\rang{1\over \sqrt{2}}(|0\rang+|1\rang)\to|00\rang{1\over \sqrt{2}}(|0\rang+|1\rang)\to|00\rang{1\over \sqrt{2}}(|0\rang+|1\rang)\to|00\rang{1\over \sqrt{2}}(|0\rang+|1\rang)\to
\to|00\rang{1\over \sqrt{2}}(|0\rang+|1\rang)\to|00\rang{1\over \sqrt{2}}(|0\rang+|1\rang)\to|000\rang.

* |001\rang\to|00\rang{1\over \sqrt{2}}(|0\rang-|1\rang)\to|00\rang{1\over \sqrt{2}}(|0\rang-|1\rang)\to|00\rang{1\over \sqrt{2}}(|0\rang-|1\rang)\to|00\rang{1\over \sqrt{2}}(|0\rang-|1\rang)\to
\to|00\rang{1\over \sqrt{2}}(|0\rang-|1\rang)\to|00\rang{1\over \sqrt{2}}(|0\rang-|1\rang)\to|001\rang.

* |010\rang\to|01\rang{1\over \sqrt{2}}(|0\rang+|1\rang)\to|01\rang{1\over \sqrt{2}}(|0\rang+i|1\rang)\to|01\rang{1\over \sqrt{2}}(|0\rang+i|1\rang)\to|01\rang{1\over \sqrt{2}}(|0\rang-i\cdot i)|1\rang)\to
\to|01\rang{1\over \sqrt{2}}(|0\rang+|1\rang)\to|01\rang{1\over \sqrt{2}}(|0\rang+|1\rang)\to|010\rang.

* |100\rang\to|10\rang{1\over \sqrt{2}}(|0\rang+|1\rang)\to|10\rang{1\over \sqrt{2}}(|0\rang+|1\rang)\to|11\rang{1\over \sqrt{2}}(|0\rang+|1\rang)\to|11\rang{1\over \sqrt{2}}(|0\rang-i|1\rang)\to
\to|10\rang{1\over \sqrt{2}}(|0\rang-i|1\rang)\to|10\rang{1\over \sqrt{2}}(|0\rang-i\cdot i|1\rang)=|10\rang{1\over \sqrt{2}}(|0\rang+|1\rang)\to|100\rang.

* |011\rang\to|01\rang{1\over \sqrt{2}}(|0\rang-|1\rang)\to|01\rang{1\over \sqrt{2}}(|0\rang-i|1\rang)\to|01\rang{1\over \sqrt{2}}(|0\rang-i|1\rang)\to|01\rang{1\over \sqrt{2}}(|0\rang-i(-i)|1\rang)\to
\to|01\rang{1\over \sqrt{2}}(|0\rang-|1\rang)\to|00\rang{1\over \sqrt{2}}(|0\rang-|1\rang)\to|011\rang.

* |101\rang\to|10\rang{1\over \sqrt{2}}(|0\rang-|1\rang)\to|10\rang{1\over \sqrt{2}}(|0\rang-|1\rang)\to|11\rang{1\over \sqrt{2}}(|0\rang-|1\rang)\to|11\rang{1\over \sqrt{2}}(|0\rang-(-i)|1\rang)\to
\to|10\rang{1\over \sqrt{2}}(|0\rang+i|1\rang)\to|10\rang{1\over \sqrt{2}}(|0\rang+i^2|1\rang)=|10\rang{1\over \sqrt{2}}(|0\rang-|1\rang)\to|101\rang.

* |110\rang\to|11\rang{1\over \sqrt{2}}(|0\rang+|1\rang)\to|11\rang{1\over \sqrt{2}}(|0\rang+i|1\rang)\to|10\rang{1\over \sqrt{2}}(|0\rang+i|1\rang)\to|10\rang{1\over \sqrt{2}}(|0\rang+i|1\rang)\to
\to|11\rang{1\over \sqrt{2}}(|0\rang+|1\rang)\to|11\rang{1\over \sqrt{2}}(|0\rang+i^2|1\rang)=|11\rang{1\over \sqrt{2}}(|0\rang+|1\rang)\to|111\rang.

* |111\rang\to|11\rang{1\over \sqrt{2}}(|0\rang-|1\rang)\to|11\rang{1\over \sqrt{2}}(|0\rang-i|1\rang)\to|10\rang{1\over \sqrt{2}}(|0\rang-i|1\rang)\to|10\rang{1\over \sqrt{2}}(|0\rang-i|1\rang)\to
\to|11\rang{1\over \sqrt{2}}(|0\rang-i|1\rang)\to|11\rang{1\over \sqrt{2}}(|0\rang-i^2|1\rang)=|11\rang{1\over \sqrt{2}}(|0\rang+|1\rang)\to|110\rang.

## Kiti kvantiniai vartai
: Hadamardo vartai
: CNOT vartai
: Kvantiniai NOT vartai
: Fazės vartai