Bellova báze
Author
Albert FloresJako Bellova báze se v kvantové mechanice označuje jedna konkrétní volba báze čtyřrozměrného Hilbertova stavového prostoru dvou částic. Tato báze je složena ze čtyř maximálně kvantově provázaných stavů, označovaných jako Bellovy stavy.
Velmi často studovaným systémem v oboru kvantové informace je systém dvou qubitů. Takovým systémem mohou být například dva fotony, u nichž studujeme jejich polarizaci. +more Roli qubitu v takovém případě hraje polarizace jednoho fotonu. Ta může nabývat dvou hraničních hodnot - H (horizontální polarizace) a V (vertikální polarizace). Odpovídající stavový prostor přidružený jednomu fotonu \scriptstyle \mathcal{H}_1 je tedy dvourozměrný. Stavový prostor celého systému \scriptstyle \mathcal{H}_2 složeného ze dvou fotonů je pak tenzorový součin \scriptstyle \mathcal{H}_1 \otimes \mathcal{H}_1. Bázi tohoto celkového prostoru \scriptstyle \mathcal{H}_2 lze volit mnoha různými způsoby. Zajímavým případem jsou však báze, které jsou složeny z maximálně provázaných stavů. Jednou takovou bází je právě Bellova báze, jejíž vektory jsou uvedeny níže.
Vektory Bellovy báze
Stavový prostor jednoho qubitu je \scriptstyle \mathcal{H} = \mathrm{span} \{ |0 \rangle, |1 \rangle\}, kde span značí lineární obal vektorů. Vektory \scriptstyle |0 \rangle a \scriptstyle |1 \rangle představují dva abstraktní stavy, které můžeme připodobnit k H a V polarizaci v příkladu výše. +more Stavový prostor dvou qubitů \scriptstyle \mathcal{H}_2 je pak tenzorový součin dvou jednoqubitových prostorů. To jest.
: \mathcal{H}_2 = \mathrm{span} \{ |0\rangle_A \otimes |0\rangle_B, |0\rangle_A \otimes |1\rangle_B, |1\rangle_A \otimes |0\rangle_B, |1\rangle_A \otimes |1 \rangle_B \},
kde index A označuje první qubit a index B označuje druhý qubit. Vektory \scriptstyle |0\rangle_A \otimes |0\rangle_B, \scriptstyle |0\rangle_A \otimes |1\rangle_B, \scriptstyle |1\rangle_A \otimes |0\rangle_B a \scriptstyle |1\rangle_A \otimes |1 \rangle_B tvoří jednu z možných bází dvouqubitového stavového prostoru \scriptstyle \mathcal{H}_2. +more Bellova báze tohoto prostoru je pak báze tvořená vektory následujícího tvaru.
:|\Phi^+\rangle = \frac{1}{\sqrt{2}} (|0\rangle_A \otimes |0\rangle_B + |1\rangle_A \otimes |1\rangle_B),
:|\Phi^-\rangle = \frac{1}{\sqrt{2}} (|0\rangle_A \otimes |0\rangle_B - |1\rangle_A \otimes |1\rangle_B),
:|\Psi^+\rangle = \frac{1}{\sqrt{2}} (|0\rangle_A \otimes |1\rangle_B + |1\rangle_A \otimes |0\rangle_B),
:|\Psi^-\rangle = \frac{1}{\sqrt{2}} (|0\rangle_A \otimes |1\rangle_B - |1\rangle_A \otimes |0\rangle_B).
Vektorům \scriptstyle |\Phi^+ \rangle, \scriptstyle |\Phi^-\rangle a \scriptstyle |\Psi^+\rangle se dohromady říká triplet. Vektor \scriptstyle |\Psi^-\rangle se pak též označuje jako singlet. +more Singlet je asymetrický při záměně prvního a druhého qubitu, zatímco vektory v tripletu jsou vůči této záměně symetrické.
Vlastnosti
Významnou vlastností stavů Bellovy báze je to, že pouze pomocí lokálních unitárních operací provedených na jednom ze dvou qubitů lze přejít od jednoho Bellova stavu ke druhému. Pokud například na druhý qubit stavu |\Phi^+\rangle aplikujeme operaci \sigma_z, která odpovídá Pauliho matici :\sigma_z = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} = |0 \rangle \langle 0| - |1 \rangle \langle 1|,
obdržíme stav |\Phi^-\rangle. Označíme-li matici identity symbolem \mathbb{I}, lze právě uvedené tvrzení vyjádřit matematicky jako : |\Phi^-\rangle = (\mathbb{I} \otimes \sigma_z) |\Phi^+\rangle, jak plyne přímo z výpočtu : \begin{align} (\mathbb{I} \otimes \sigma_z) |\Phi^+\rangle & = & (\mathbb{I} \otimes \sigma_z) \frac{1}{\sqrt{2}} (|0\rangle \otimes |0\rangle + |1\rangle \otimes |1\rangle) \\ & = & \frac{1}{\sqrt{2}} ((\mathbb{I} \otimes \sigma_z)|0\rangle \otimes |0\rangle + (\mathbb{I} \otimes \sigma_z)|1\rangle \otimes |1\rangle) \\ & = & \frac{1}{\sqrt{2}} ((\mathbb{I}|0\rangle \otimes \sigma_z |0\rangle) + (\mathbb{I}|1\rangle \otimes \sigma_z |1\rangle)) \\ & = & \frac{1}{\sqrt{2}} ((|0\rangle \otimes |0\rangle) + (|1\rangle \otimes (-|1\rangle))) \\ & = & |\Phi^-\rangle. +more \end{align} .
Podobný výpočet lze provézt i pro zbývající Bellovy stavy a Pauliho matice \sigma_x, \sigma_y, \sigma_z. Výsledky jsou shrnuty v následující tabulce, kde i označuje imaginární jednotku a dále kde řádek odpovídá výchozímu stavu, sloupec stavu výslednému a v jejich průniku je pak vyznačena převádějící operace. +more Ukazuje se, že pomocí vhodně zvolené Pauliho matice lze přejít z libovolně zvoleného Bellova stavu na libovolný jiný Bellův stav.
\Phi^+\rangle | I | \sigma_z | \sigma_x | -i \sigma_y |
---|---|---|---|
\Phi^-\rangle | \sigma_z | I | -i \sigma_y | \sigma_x |
\Psi^+\rangle | \sigma_x | i \sigma_y | I | -\sigma_z |
\Psi^-\rangle | i \sigma_y | \sigma_x | - \sigma_z | I |