\documentclass[12pt,a4paper]{article} \usepackage[pdftex]{graphicx} \usepackage[latin1]{inputenc} \usepackage[francais]{babel} \usepackage[empty]{fullpage} \usepackage{gensymb} \usepackage{amsmath} \usepackage{amssymb} \usepackage{braket} \begin {document} \begin{center} Faculté des Sciences appliquées\let\thefootnote\relax\footnotetext{http://quic.ulb.ac.be :\\ Evgueni.Karpov@ulb.ac.be, Christina.Giarmatzi@ulb.ac.be} \hfill PHYSH301/2012-2013 \\[1cm] {\Large Mécanique quantique I \\[0.3cm] {\large \underline{Séance d'exercices n\degree 9} : Information Quantique}} \end{center} L'unité de base d'information est le \emph{bit} qui peut prendre deux valeurs: conventionnellement $0$ et $1$. Pour le traitement et le transfert de l'information, les \emph{bits} sont encodés dans des systèmes physiques à 2 états comme par exemple deux valeurs différentes d'une tension ou d'une charge, ou deux direction de magnétisation. On peut faire de même au niveau quantique : encoder le $0$ et le $1$ dans les états notées $|0\rangle$ et $|1\rangle$ d'un système quantique à 2 niveaux. Un tel système est appelé un \emph{quantum bit} ou \emph{qubit}. Ceci donne potentiellement un important avantage à la manipulation de l'information quantique. Une raison principale est la possibilité pour un \emph{qubit} $\ket{\phi}$ d'être dans une superposition cohérente des états $|0\rangle$ est $|1\rangle$, c'est-à-dire un tel état à la forme \begin{equation}\label{eq:phi} \ket{\phi} = \alpha\ket{0} + \beta \ket{1}, \end{equation} où $\alpha$ et $\beta$ sont des nombres complexe avec la contrainte de normalisation $|\alpha|^2+|\beta|^2=1$. \begin{enumerate} \item \underline{Parallélisme quantique} Encodons une séquence de $n$ bits dans un système de $n$ spins $1/2$ dans lequel les spins sont orientés suivant l'axe $z$ et où la direction $up$ est associé à $0$ et la direction $down$ est associé à $1s$. On suppose que l'état initial est dans un état produit, par exemple de la forme $|0\rangle|0\rangle|1\rangle...|0\rangle|1\rangle$. \underline{Question 1 :} Combien de combinaisons différentes possibles de $0$ et de $1$ existe-t-il dans un système classique de $n$ bits? Appelons ce nombre $M$. Un système classique de $n$ bits a donc $M$ états distincts, chacun étant décrit par une chaîne de $n$ valeurs binaires. D'autre part, chaque qubit est un vecteur dans un espace complexe bidimensionnel. Pour un système de $n$ qubits, on a donc $M$ états quantiques distincts correspondant aux $M$ chaînes de $n$ bits possibles. Ces $M$ états sont décrits par $M$ vecteurs orthogonaux, qui forment la base de l'espace de Hilbert total. Un état quelconque est alors une superposition cohérente de ces $M$ vecteurs de base. En d'autres mots, un état quantique dans l'espace complexe $M$-dimensionnel nécessite $M$ nombres complexes indépendants pour sa description (à la normalisation près). Si on souhaite simuler un tel état avec des bits classiques (sur un PC par exemple) et que l'on essaye de décrire l'application d'une transformation unitaire, il devient nécessaire de manipuler un nombre de paramètres réels bien au-delà de ce qu'il est en fait possible de réaliser avec les ordinateurs actuels. \underline{Question 2 :} Calculez le nombre de paramètres réels nécessaires pour écrire une transformation unitaire dans un espace de Hilbert de dimension $M$. Que vaut ce nombre pour un système de 200 qubits? En utilisant l'approximation $10^3\approx 2^{10}$, comparez ce nombre avec le nombre de particules élémentaires dans l'univers, évalué à $10^{80}$ particules. D'un autre coté, une opération unitaire peut être directement réalisée sur le système de qubits, car cela correspond simplement à l'évolution temporelle donnée par l'équation de Schrödinger, par exemple en jouant sur un champ électromagnétique externe. Cette comparaison permet de cerner le potentiel computationnel d'un système quantique, grâce au parallélisme évoqué. Un exemple de ce potentiel est illustré par l'algorithme de Shor : En utilisant des opérations unitaires il est possible de factoriser de grands nombres, en un nombre d'étapes élémentaires (portes logiques quantiques) qui augmente seulement comme une puissance de la taille du nombre à factoriser. Ceci est très intéressant, car le meilleur algorithme classique connu, réalise la même opération en un nombre d'étapes (donc en un temps) qui est exponentiel en la taille du nombre. \item \underline{Théorème du non-clonage quantique (\emph{No-cloning theorem})} \emph{Il est impossible de créer des copies parfaites d'un état quantique inconnu tiré d'un ensemble d'états non-orthogonaux.} Supposons qu'il existe un opérateur unitaire, qui produit des copies parfaites des états $|0\rangle$ et $|1\rangle$. Les états de sortie d'une telle opération sont des états à deux qubits, un pour conserver l'original et un pour recevoir la copie. Cependant pour assurer l'unitarité de l'opérateur on a aussi besoin d'un second système d'entrée, arbitraire mais qui est le même pour tous les états et qui ne ne doit pas dépendre de l'état d'entrée. En tout généralité on peut choisir cet état qui joue le rôle d'une {\em page blanche} comme l'état $|0\rangle$. Dans ces conditions l'opérateur en question $U$ agit de la manière suivante: \begin{eqnarray*} U |0\rangle|0\rangle & = & |0\rangle|0\rangle \\ U |1\rangle|0\rangle & = & |1\rangle|1\rangle \end{eqnarray*} Cet opérateur existe parce qu'il ne viole pas le théorème de non-clonage: il fait des copies parfaites d'états orthogonaux. Mais comment cet opérateur agit-il sur un état arbitraire $|\varphi\rangle$? Est-ce qu'on aura toujours un clonage parfait: \[ U |\varphi\rangle|0\rangle = |\varphi\rangle |\varphi\rangle \quad {\rm ?} \] \underline{Question 3:} Prouvez le théorème en faisant agir l'opérateur $U$ sur l'état général superposé $|\varphi\rangle =\alpha |0\rangle + \beta |1\rangle$ qui n'est pas orthogonal à $|0\rangle$ et $|1\rangle$. Pour cela, utilisez la définition (présentée au-dessus) de l'action de $U$ sur les états de deux qubits et la linéarité de l'opérateur. Notez que la condition selon laquelle l'état doit être tiré d'un ensemble d'états non-orthogonaux est essentielle. En effet, si on sait que l'état qu'on veut cloner fait partie d'un ensemble donné d'états orthogonaux les uns aux autres, on peut construire une observable pour laquelle ces états seront les états de base. Dans ce cas la mesure de cette observable nous donnerait l'information complète sur l'état. Si on sait quel est l'état en question, en principe on peut recréer autant de copies que l'on veut. L'impossibilité de copier un état quantique inconnu peut être exploitée pour la distribution d'une clé secrète (une séquence aléatoire de bits 0 et 1) entre deux parties A (Alice) et B (Bob) pour le chiffrement de l'information transmise dans un canal de communication. Si la clé est encodée dans des états quantiques, pour connaître la valeur des bits de la clé transmise par le canal, l'espion éventuel doit copier des états inconnus, ce qui en vertu du théorème est impossible (évidemment les états doivent être tirés d'un ensemble qui contient des états non-orthogonaux). L'espion peut choisir quand-même d'intercepter les signaux quantiques, de les mesurer puis d'en créer de nouveaux à partir des mesures pour les renvoyer à la bonne destination. Comme l'état est inconnu, l'espion ne connaît pas la base dans laquelle sa mesure donne un résultat déterministe, cette mesure ne peut donc pas être toujours parfaite. Ainsi l'espion ne peut pas parfaitement connaître l'état inconnu et s'il envoie dans le canal quantique des états qu'il a reconstruit sur la base de l'information incomplète il va créer les erreurs. On peut créer des protocoles de communication où ces erreurs (et de ce fait l'espion lui-même) peuvent toujours être détectées, indiquant que la clé distribuée n'est pas sécurisée. On abandonne alors cette clé et comme aucune information n'a été transmise la sécurité est toujours assurée. Si on conclut qu'il n'y a pas eu l'intervention d'un espion dans la transmission, on peut utiliser la clé distribuée en toute sécurité. Ceci est totalement différent de ce qui ce passe dans un protocole classique où il est impossible de savoir si l'espion a observé le signal transmis par le canal. C'est une vision un peu simpliste mais elle présente les raisons de pourquoi on peut utiliser la mécanique quantique pour sécuriser la transmission de l'information. En 1983, un premier protocole quantique (BB84) à été proposé, pouvant distribuer une clé secrète entre deux parties A (Alice) et B (Bob) en assurant une sécurité en principe absolue. \item \underline{Intrication et téléportation quantique} Une ressource importante pour l'information quantique est \emph{l'intrication quantique}. Un état de deux (ou plusieurs) qubits est intriqué si il ne peut pas être représenté comme un état produit, c'est-à-dire, un état de la forme: \begin{align*} (\alpha_1\ket{0}+\beta_1\ket{1})\ (\alpha_2\ket{0}+\beta_2\ket{1}). \end{align*} Exemple: \emph{Les états de Bell}, définis dans le problème suivant sont intriqués parce qu'ils ne peuvent pas être représentés comme des états produits, \underline{Question 4 :} Prouvez que les états de Bell $\ket{\Phi^{+}}$, $\ket{\Phi^{-}}$, $\ket{\Psi^{+}}$, $\ket{\Phi^{-}}$, définis par \begin{eqnarray} \ket{\Phi^{+}} =(\ket{0}\ket{0} + \ket{1}\ket{1})/\sqrt{2}\label{eq:bell}\\ \ket{\Phi^{-}} =(\ket{0}\ket{0} - \ket{1}\ket{1})/\sqrt{2}\nonumber\\ \ket{\Psi^{+}} =(\ket{0}\ket{1} + \ket{1}\ket{0})/\sqrt{2}\nonumber\\ \ket{\Psi^{-}} =(\ket{0}\ket{1} - \ket{1}\ket{0})/\sqrt{2}\nonumber \end{eqnarray} forment une base de l'espace de Hilbert de deux qubits. Pour souligner quel qubit appartient à Alice ($A$) et quel qubit appartient à Bob ($B$) on écrit aussi \begin{equation} \ket{\Phi^{+}} =(\ket{0}_A\ket{0}_B + \ket{1}_A\ket{1}_B)/\sqrt{2}. \end{equation} Que se passe-t-il si on applique un opérateur d'inversion de bit $\sigma_x$ (voir équation (\ref{eq:prop-sigmax})) ou d'inversion de signe $\sigma_z$ (voir équation (\ref{eq:prop-sigmaz})) sur le qubit de Alice ou le qubit de Bob dans l'état $\ket{\Phi^{+}}$. Les états de Bell sont des états avec une intrication \emph{maximale}. En particulier, ils saturent une mesure quantitative de l'intrication. Remarquez que trois des quatre états sont symétriques sous permutation du premier et deuxième qubit, et que le quatrième état est antisymétrique. De plus, comme un qubit correspond à un spin $1/2$, deux qubits forment un système dont le spin total est soit $S=0$, soit $S=1$ (par les lois de composition d'un moment cinétique). Pour ces raisons les trois états symétriques forment un état \emph{triplet} ($S=1$) tandis que l'état antisymétrique forme un état \emph{singulet} ($S=0$). \underline{Question 5 :} Indiquez quels sont les états de Bell qui forment les états triplets et l'état singulet. % Notez qu'en utilisant l'équivalence % \begin{align*} % \ket{0}&\leftrightarrow\ket{\uparrow}& % \ket{1}&\leftrightarrow\ket{\downarrow} % \end{align*} % On voit qu'un qubit est équivalent à un état de spin $1/2$ Remarquez que l'état global de deux qubits peut rester inchangé même si les systèmes physiques correspondant sont séparés d'une grande distance, de sorte que des systèmes arbitrairement éloignés peuvent rester intriqués. Cette propriété nous permet la \emph{téléportation} de l'état inconnu d'un système quantique d'un endroit à un autre endroit plus éloigné. Ce protocole utilise un état intriqué comme ressource. Supposons que deux personnes, Alice et Bob, partagent le même état de Bell, disons $\ket{\Phi^{+}}_{AB}$, d'une manière que le premier qubit appartient à Alice et le deuxième à Bob. Techniquement, ceci peut-être réalisé expérimentalement en utilisant un état intriqué à deux photons, créé a partir d'un cristal non-linéaire. Un photon est envoyé par une fibre optique à Alice, l'autre photon est envoyé à Bob. Dans ce cas Alice et Bob partagent un état intriqué. Nous allons montrer maintenant que si Alice a un troisième photon qui est dans un état inconnu $\ket{\phi}_{A'}$, donné par \begin{equation} \ket{\phi}_{A'} = \alpha\ket{0} + \beta \ket{1}, \end{equation} en mesurant et en envoyant le résultat (donné par deux bits classiques) à Bob, Il peut reconstruire \emph{parfaitement} l'état $\ket{\phi}$. Rappelons que $\ket{\phi}$ est complètement inconnu d'Alice, et qu'elle n'envoie pas à Bob l'état lui-même mais seulement le résultat des mesures qu'elle à pratiquée, c'est-à-dire de l'information classique et non quantique. Nous allons aussi voir que sans l'état intriqué $\ket{\Phi^{+}}_{AB}$, partagé par Alice et Bob, l'information classique envoyée par Alice ne permet pas de reconstruire $\ket{\phi}$. Avant de traiter le protocole de téléportation quantique, nous allons résoudre le problème suivant: \begin{figure} \centering \includegraphics[width=0.7\textwidth]{Mec_Quant_TP9_2013-Fig-Teleportation.pdf} \caption{Téléportation quantique.} \label{fig:teleportation} \end{figure} \underline{Question 6 :} On suppose que \[ \ket{\Psi}_{A'AB}= \ket{\phi}_{A'}\ket{\Phi^{+}}_{AB} \] où $\ket{\phi}$ est l'état d'un qubit défini dans l'équation \eqref{eq:phi} et $\ket{\Phi^{+}}$ est l'état de Bell défini dans l'équation \eqref{eq:bell}. Montrez que par des opérations algébriques on peut représenter $\ket{\Psi}_{A'AB}$ sous la forme suivante, \begin{equation} \ket{\Psi}_{A'AB} = \frac{1}{2}\left[\ket{\Phi^{+}}_{A'A} \ket{\phi_0}_B + \ket{\Phi^{-}}_{A'A}\ket{\phi_1}_B + \ket{\Psi^{+}}_{A'A}\ket{\phi_2}_B + \ket{\Psi^{-}}_{A'A}\ket{\phi_3}_B\right], \end{equation} où les états $\ket{\phi_i}$ sont différents états du qubit de Bob. Puis, montrez qu'en appliquant une séquence appropriée d'opérations d'inversions de bits ou de signe (voir équations (\ref{eq:prop-sigmax}) et (\ref{eq:prop-sigmaz}) ci-dessous) % séquence des \emph{flips de bits} (l'opération $\ket{1} \rightarrow \ket{0}$, $\ket{0} \rightarrow \ket{1}$) et \emph{changements de signe} (l'opération $\ket{1}\rightarrow -\ket{1}, -\ket{0}\rightarrow \ket{0},$ ...) on peut transformer chacun de ces états $\ket{\phi_i}$ en l'état $\ket{\phi}$. La représentation obtenue permet à Alice et Bob d'effectuer le protocole de téléportation, représenté schématiquement sur la Fig.~\ref{fig:teleportation}: \begin{enumerate} \item Alice et Bob partagent un système à deux qubit intriqués, de telle manière qu'Alice possède le premier qubit et Bob le deuxième qubit. Cet état est l'état de Bell $\ket{\Phi^{+}}$. \item Alice reçoit un troisième qubit qui est dans un état inconnu $\ket{\phi}$. \item Alice applique une mesure jointe aux deux qubits qu'elle possède: le qubit dans l'état inconnu $\ket{\phi}$ et \emph{sa moitié} de l'état de Bell $\ket{\Phi^{+}}$. Elle obtient un résultat qui indique dans quel état de Bell sont \emph{ses deux qubits}. Ce résultat est encodé sous la forme d'un des nombres suivants $i=0,1,2,3$ (pouvant être représenté par 2 bits). \item Le résultat est transmis à Bob par un canal classique. \item En utilisant le résultat d'Alice, Bob \emph{sait} quelle transformation unitaire (qui contient des inversions de bits et de signe) il doit appliquer à \emph{sa moitié} de l'état de Bell $\ket{\Phi^{+}}$, et ainsi reconstruire l'état $\ket{\phi}$. \end{enumerate} En conclusion, on voit que l'on peut parfaitement téléporter un état inconnu sans le mesurer. De plus, on remarque que l'information classique envoyée à Bob (2 bits) est insuffisante pour reconstruire toute seule l'état $\ket{\phi}$ (2 paramètres réels). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \item \underline{L'inégalité de Bell} \emph{La mécanique quantique interdit de mesurer \emph{simultanément} deux observables $\hat{A}$ et $\hat{B}$ avec une précision arbitraire, si ils ne commutent pas:} \[ \braket{\hat{A}^2}\braket{\hat{B}^2} \geq \frac{1}{4}|\braket{[\hat{A},\hat{B}]}|^2. \] \begin{figure}[h] \includegraphics[width=0.9\textwidth]{Mec_Quant_TP9_2013-Fig-Bell.pdf} \caption{Schéma expérimental.} \label{fig:schema} \end{figure} \underline{Question 7 :} \begin{enumerate} \item Considérons l'expérience suivante : un émetteur, Charlie, envoie une particule à Alice et une deuxième particule à Bob. Alice peut mesurer (sans savoir quelle mesure elle va effectuer) deux propriétés physiques $Q$ et $R$ de sa particule. Chaque propriété peut prendre les valeurs $\pm 1$. De son coté, Bob peut mesurer deux autres propriétés $S$ et $T$, qui peuvent aussi prendre les valeurs $\pm 1$. Alice et Bob mesurent simultanément leurs particules. Le schéma expérimental est montré sur la Fig.~\ref{fig:schema}. \begin{enumerate} \item Quelles valeurs peut prendre la quantité $QS+RS+RT-QT$. \item Supposons que $p(q,r,s,t)$ soit la probabilité jointe qu'avant les mesures d'Alice et de Bob, le système soit \emph{simultanément} dans l'état $Q = q, R = r, S = s, T = t$. L'existence simultanée des valeurs $q, r, s$ et $t$ et par conséquent l'existence de la probabilité jointe est une hypothèse habituelle de la physique classique. Trouvez une borne supérieur pour $E(QS) + E(RS) + E(RT) - E(QT)$, où $E(.)$ est l'espérance mathématique. \emph{Indice: Utilisez la linéarité de l'espérance.} (L'inégalité obtenue est appelée \emph{inégalité de Bell} ou \emph{inégalité de CHSH} d'après ``John Clauser, Michael Horne, Abner Shimony and Richard Holt''.) \end{enumerate} \item Supposant maintenant que Charlie envoie deux particules, où chaque particule possède un spin $1/2$. L'état quantique global du système est donné par l'état intriqué suivant (état de Bell) \[ \ket{\Psi^-} = \frac{\ket{01} - \ket{10}}{\sqrt{2}}. \] Ensuite Alice et Bob mesurent les \emph{observables} données par \begin{equation}\nonumber \begin{split} \hat{Q} = Z_1, & \quad \hat{S} = \frac{-Z_2 - X_2}{\sqrt{2}},\\ \hat{R} = X_1, & \quad \hat{T} = \frac{Z_2 - X_2}{\sqrt{2}}, \end{split} \end{equation} avec $X_1 = \sigma_x \otimes \mathbb{I}, X_2 = \mathbb{I} \otimes \sigma_x, Z_1 = \sigma_z \otimes \mathbb{I}, Z_2 = \mathbb{I} \otimes \sigma_z$, où $\mathbb{I} = \begin{pmatrix} 1 & 0\\0 & 1 \end{pmatrix}$ est l'identité et $\sigma_x,\sigma_z$ sont les matrices de Pauli (voir ci-dessous). % $\sigma_x = \begin{pmatrix} 0 & 1\\1 & 0 \end{pmatrix}, \sigma_z = \begin{pmatrix} 1 & 0\\0 & -1 \end{pmatrix}$ sont les matrices de Pauli. Calculez $\bra{\Psi^-}QS\ket{\Psi^-} + \bra{\Psi^-}RS\ket{\Psi^-} + \bra{\Psi^-}RT\ket{\Psi^-} - \bra{\Psi^-}QT\ket{\Psi^-}$ et interprétez le résultat. \underline{Aide:} Utilisez les propriétés (\ref{eq:prop-sigmax}) et (\ref{eq:prop-sigmaz}) des matrices de Pauli (voir ci-dessous), ainsi que l'égalité suivante: \begin{equation}\nonumber \begin{split} % \sigma_x \ket{0} & = \ket{1},\\ % \sigma_x \ket{1} & = \ket{0},\\ % \sigma_z \ket{0} & = \ket{0},\\ % \sigma_z \ket{1} & = -\ket{1},\\ (A \otimes B)(\ket{0}\ket{0}) & = (A\ket{0})(B\ket{0}). \end{split} \end{equation} \end{enumerate} \newpage \section*{Rappel: Matrices de Pauli} Les trois matrices de Pauli sont: \begin{eqnarray*} \sigma_x=\left( \begin{array}{cc} 0 & 1\\ 1 & 0 \end{array} \right), \quad \sigma_y=\left( \begin{array}{cc} 0 & -i\\ i & 0 \end{array} \right), \quad \sigma_z=\left( \begin{array}{cc} 1 & 0\\ 0 & -1 \end{array} \right). \end{eqnarray*} Elles vérifient les relations suivantes: \begin{eqnarray*} \sigma_x\sigma_y=i\sigma_z,\qquad \sigma_y\sigma_z=i\sigma_x,\qquad \sigma_z\sigma_x=i\sigma_y. \end{eqnarray*} Ces matrices sont à la fois hermitiennes et unitaires. En tant que matrices hermitiennes, $\sigma_x/2$, $\sigma_y/2$ et $\sigma_z/2$ vérifient les opérations de commutation d'un moment cinétique, et représentent en effet l'opérateur de spin pour une particule de spin $1/2$. En tant que matrices unitaires, elles correspondent à différentes opérations sur un qubit: \begin{enumerate} \item $\sigma_x$ implémente une \emph{inversion de bit}: \begin{align}\label{eq:prop-sigmax} \sigma_x \ket{0} & = \ket{1} & \sigma_x \ket{1} & = \ket{0} \end{align} \item $\sigma_z$ implémente une \emph{inversion de signe}: \begin{align}\label{eq:prop-sigmaz} \sigma_z \ket{0} & = \ket{0} & \sigma_z \ket{1} & = -\ket{1} \end{align} \item $\sigma_y$ implémente, à une phase globale près, une inversion de signe suivie d'une inversion de bit (puisque $\sigma_y=i\sigma_x\sigma_z$) \end{enumerate} %\end{enumerate} % % \begin{eqnarray*} % \ket{\phi}\ket{\Phi^{+}} % & = &(\alpha\ket{0} + \beta\ket{1}) \frac{1}{\sqrt{2}} \left(\ket{0}\ket{0} + \ket{1}\ket{1}\right) \\ % & = & \frac{1}{\sqrt{2}} ({\bf \alpha\ket{0}\ket{0}\ket{0} + \alpha\ket{0}\ket{1}\ket{1} % + \beta\ket{1}\ket{0}\ket{0} + \beta\ket{1}\ket{1}\ket{1}}) \\ % & = & \frac{1}{\sqrt{2}} ({\bf \alpha\ket{0}\ket{0}\ket{0}} + \alpha\ket{1}\ket{1}\ket{0} % - \alpha\ket{1}\ket{1}\ket{0} \\ % & & + {\bf \alpha\ket{0}\ket{1}\ket{1}} + \alpha\ket{1}\ket{0}\ket{1} % - \alpha\ket{1}\ket{0}\ket{1}\\ % & & + {\bf \beta\ket{1}\ket{0}\ket{0} }+ \beta\ket{0}\ket{1}\ket{0} % - \beta\ket{0}\ket{1}\ket{0} )\\ % & & + {\bf \beta\ket{1}\ket{1}\ket{1}} + \beta\ket{0}\ket{0}\ket{1} % -\beta\ket{0}\ket{0}\ket{1}\\ % & = & \frac{1}{\sqrt{2}} % ((\ket{0}\ket{0} + \ket{1}\ket{1})\alpha\ket{0}- \alpha\ket{1}\ket{1}\ket{0} % + \alpha\ket{0}\ket{0}\ket{0} - \alpha\ket{0}\ket{0}\ket{0}\\ % & & + (\ket{0}\ket{1} + \ket{1}\ket{0})\alpha\ket{1} - \alpha\ket{1}\ket{0}\ket{1} % + \alpha\ket{0}\ket{1}\ket{1} - \alpha\ket{0}\ket{1}\ket{1}\\ % & & + (\ket{1}\ket{0} + \ket{0}\ket{1})\beta\ket{0} - \beta\ket{0}\ket{1}\ket{0} % + \beta\ket{1}\ket{0}\ket{0} -\beta\ket{1}\ket{0}\ket{0} \\ % & & +(\ket{1}\ket{1} + \ket{0}\ket{0})\beta\ket{1}) - \beta\ket{0}\ket{0}\ket{1} % + \beta\ket{1}\ket{1}\ket{1} -\beta\ket{1}\ket{1}\ket{1}) \\ % & = & \ket{\Phi^{+}}\alpha\ket{0} % + \frac{1}{\sqrt{2}} (\ket{0}\ket{0} -\ket{1}\ket{1})\alpha\ket{0} % - \alpha\ket{0}\ket{0}\ket{0}) \\ % & & + \ket{\Psi^{+}} \alpha\ket{1} - \frac{1}{\sqrt{2}}((\ket{1}\ket{0}| % - \ket{0}\ket{1}) \alpha\ket{1} + \alpha\ket{0}\ket{1}\ket{1}) \\ % & & + \ket{\Psi^{+}} \beta\ket{0} - \frac{1}{\sqrt{2}}((\ket{0}\ket{1} % - \ket{1}\ket{0})\beta\ket{0} + \beta\ket{1}\ket{0}\ket{0}) \\ % & & + \ket{\Phi^{+}}\beta\ket{1} % - \frac{1}{\sqrt{2}} (\ket{0}\ket{0} -\ket{1}\ket{1})\beta\ket{1} % - \beta\ket{1}\ket{1}\ket{1} )\\ % & = & \ket{\Phi^{+}}| (\alpha\ket{0} + \beta\ket{1}) % + \ket{\Psi^{+}} (\alpha\ket{1} + \beta\ket{0}) \\ % & & + \ket{\Phi^{-}}|( \alpha\ket{0} - \beta\ket{1}) % - \ket{\Psi^{-}} (\beta\ket{0}-\alpha\ket{1}) \\ % & & - \frac{1}{\sqrt{2}}(\alpha\ket{0}\ket{0}\ket{0} + \alpha\ket{1}\ket{0}\ket{1} % + \beta\ket{1}\ket{0}\ket{0} + \beta\ket{1}\ket{1}\ket{1}) % \end{eqnarray*} % % Comparing the second and the last ``line'' of this equation we arrive at % % \begin{eqnarray*} % \lefteqn{\frac{2}{\sqrt{2}}(\alpha\ket{0}\ket{0}\ket{0} + \alpha\ket{1}\ket{0}\ket{1} % + \beta\ket{1}\ket{0}\ket{0} + \beta\ket{1}\ket{1}\ket{1})} \\ % & = & \ket{\Phi^{+}}| (\alpha\ket{0} + \beta\ket{1}) % + \ket{\Psi^{+}} (\alpha\ket{1} + \beta\ket{0}) \\ % & & + \ket{\Phi^{-}}|( \alpha\ket{0} - \beta\ket{1}) % - \ket{\Psi^{-}} (\beta\ket{0}-\alpha\ket{1}) % \end{eqnarray*} % % \newpage % % as the left hand side of the last equation is our initial tripartite state multiplied by factor 2 % we can rewrite this as % \begin{eqnarray*} % \ket{\phi}\ket{\Phi^{+}} % & = & \frac{1}{2}(\ket{\Phi^{+}}| (\alpha\ket{0} + \beta\ket{1}) \\ % & & + \quad \ket{\Psi^{+}} (\alpha\ket{1} + \beta\ket{0}) \\ % & & + \quad \ket{\Phi^{-}}|( \alpha\ket{0} - \beta\ket{1}) \\ % & & - \quad \ket{\Psi^{-}} (\beta\ket{0}-\alpha\ket{1}) ) % \end{eqnarray*} % which is our desired result. \end{enumerate} \end{document}