Chapter 5 - Quantum Information: Basic Principles and Simple Examples

Introduction

Quantum computers may be a few years away. However, some quantum information processing tasks which can be performed now are quite interesting and informative. In this chapter we examine a few of these. In addition, we add related material which provides constaints on our ability to manipulate quantum information. Until fairly recently these constraints have been considered a problem, or just the way things are, and were not considered further. Now these attitudes have changed and these constraints have been found useful. These two cosntraints, the uncertainty principle and the no-cloning theorem, are presented here because they are very important to the effectiveness of the BB84 protocol as well as other quantum key distribution (QKD) protocols.

No Cloning!

Quantum mechanics is quite different from classical mechanics and some of these differences are more striking that others. One very striking example of their differences is the so-called ''No Cloning Theorem'' primarily attributed to Wootters and Zurek \cite{Nocloning}. (See also \cite{NocloningPTrev} and References therein.)

The general statement of the theorem is as follows. No Cloning Theorem: No quantum operation exists which can duplicate perfectly an arbitrary quantum state.

Put another way, there is no universal quantum copying machine which will take in a state and put out two copies of the same state for any input state. There is a very simple way in which to see this is true even if there are deeper reasons behind it. Following Neilsen and Chuang, let us consider an easy way to see this and postpone a more thorough discussion. The difference between quantum information and classical information is striking in this theorem since one may take any piece of paper and put it on a copier and get two which are nearly identical. Alternatively, you could take a picture.

Suppose there was a quantum copying machine. This machine would take some state Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\vert\psi_1\right\rangle\,\!} an arbitrary input state, (also possibly some ancillary quantum system $\left\vert \phi _{0}\right\rangle \,\!$) and produce two copies of that state. Here is how we would write this, using Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U\,\!} as our unitary (this is how states transform) which performs the copying:

	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U\left\vert\psi_1\right\rangle\otimes\left\vert\phi_0\right\rangle = \left\vert\psi_1\right\rangle\otimes\left\vert\psi\right\rangle. \,\!}	(5.1)

This, of course, must be true for any Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\vert\psi\right\rangle\,\!} . So it must also be true for $\left\vert \psi _{2}\right\rangle \,\!$, meaning

	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U\left\vert\psi_2\right\rangle\otimes\left\vert\phi_0\right\rangle = \left\vert\psi_2\right\rangle\otimes\left\vert\psi\right\rangle. \,\!}	(5.2)

Now, we can multiply the right-hand side of Eq.~(\ref{eq:clone1}) with the Hermitian conjugate of the right-hand side of Eq.~(\ref{eq:clone2}) and similarly the left-hand sides of these two equations. This gives

	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\left\langle\psi_2\right\vert\otimes\left\langle\phi_0\right\vert U^\dagger)(U\left\vert\psi_1\right\rangle\otimes\left\vert\phi_0\right\rangle) =(\left\langle\psi_2\right\vert\otimes\left\langle\psi_2\right\vert)(\left\vert\psi_1\right\rangle\otimes\left\vert\phi_1\right\rangle). \,\!}	(5.3)

This gives

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\langle\psi_2\mid\psi_1\right\rangle = (\left\langle\psi_2\mid\psi_1\right\rangle)^2. \,\!}

The only way a number to be equal to its square is if it is zero or one. This means that the two states are the same, or they are orthogonal. This certainly excludes arbitrary states, but we wanted a copier which would work with any states. Therefore, it is just not possible to have a cloning, or copying, machine for quantum states.

Uncertainty Principle

The uncertainty principle is something which is considered very important to all of quantum theory. There is no close classical analog. It is introduced here for lack of a better place to put it. However, it will be used later quite often and is central to many quantum phenomena.

Consider two observables ${\mathcal {O}}_{1}\,\!$ and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{O}_2\,\!} . The variance of these can be written as

	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sigma^2_i = \left\langle\Psi\right\vert (\mathcal{O}_i - \langle \mathcal{O}_i\rangle)^2\left\vert\Psi\right\rangle, \,\!}	(5.4)

for $i=1,2\,\!$. The uncertainty principle is

	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sigma_1^2\sigma_2^2 \geq \left(\frac{1}{2i} \langle[\mathcal{O}_1, \mathcal{O}_2]\rangle\right)^2. \,\!}	(5.5)

Quantum Dense Coding

Quantum dense coding is an interesting communication protocol to begin our discussion of quantum information processing. It shows how information is obtained from a quantum state and it uses entangled states to do this. It is also a very simple protocol.

The idea is to send two bits of information to one person from another person. The sender is commonly referred to as Alice and the receiver Bob. Bob will get two bits of information, but Alice will only send one qubit. Two bits can only be in one of four possible states, $00,01,10,\,\!$ or $11\,\!$.

We begin with the following Bell state,

	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\vert\phi_+\right\rangle = \frac{1}{\sqrt{2}}(\left\vert 00\right\rangle +\left\vert 11\right\rangle). \,\!}	(5.6)

Suppose Alice has the first of these two qubits and Bob the second. We might then write the state in the following way to be even more explicit:

	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\vert\phi_+\right\rangle = \frac{1}{\sqrt{2}}(\left\vert 0\right\rangle_A\left\vert 0\right\rangle_B +\left\vert 1\right\rangle_A\left\vert 1\right\rangle_B), \,\!}	(5.7)

Then Alice will decide whether to act with $\mathbb {I} ,X,Z\,\!$, or Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y(=ZX)\,\!} on her qubit. She will then send that qubit to Bob, who will act on the two qubits and measure. He will then have two bits of information from Alice who will have only sent one qubit to him. So for one qubit sent, and some shared entanglement, they can transfer two bits of information.

This is the specific protocol. Alice decides which she wants to send, $00,01,10,\,\!$ or $11\,\!$, i.e., two bits of information to Bob. She then acts on Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\vert\phi_+\right\rangle\,\!} with Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{I}, X, Z\,\!} , or $iY(=ZX)\,\!$ respectively to do this, giving

	${\begin{aligned}\left\vert \Psi _{0}\right\rangle &=\mathbb {I} _{A}\left\vert \phi _{+}\right\rangle ={\frac {1}{\sqrt {2}}}(\left\vert 0\right\rangle _{A}\left\vert 0\right\rangle _{B}+\left\vert 1\right\rangle _{A}\left\vert 1\right\rangle _{B})\\\left\vert \Psi _{1}\right\rangle &=X_{A}\left\vert \phi _{+}\right\rangle ={\frac {1}{\sqrt {2}}}(\left\vert 1\right\rangle _{A}\left\vert 0\right\rangle _{B}+\left\vert 0\right\rangle _{A}\left\vert 1\right\rangle _{B})\\\left\vert \Psi _{2}\right\rangle &=Z_{A}\left\vert \phi _{+}\right\rangle ={\frac {1}{\sqrt {2}}}(\left\vert 0\right\rangle _{A}\left\vert 0\right\rangle _{B}-\left\vert 1\right\rangle _{A}\left\vert 1\right\rangle _{B})\\\left\vert \Psi _{3}\right\rangle &=iY_{A}\left\vert \phi _{+}\right\rangle ={\frac {1}{\sqrt {2}}}(-\left\vert 1\right\rangle _{A}\left\vert 0\right\rangle _{B}+\left\vert 0\right\rangle _{A}\left\vert 1\right\rangle _{B})\end{aligned}}\,\!$	(5.8)

Now, Alice sends her qubit to Bob. Having both qubits, Bob now acts with a CNOT on the two qubits to obtain the following:

	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} CNOT_{12}\left\vert \Psi_0\right\rangle &= \frac{1}{\sqrt{2}}(\left\vert 0\right\rangle_A\left\vert 0\right\rangle_B +\left\vert 1\right\rangle_A\left\vert 0\right\rangle_B)= \frac{1}{\sqrt{2}}(\left\vert 0\right\rangle_A +\left\vert 1\right\rangle_A)\left\vert 0\right\rangle_B \\ CNOT_{12}\left\vert \Psi_1\right\rangle&=\frac{1}{\sqrt{2}}(\left\vert 1\right\rangle_A\left\vert 1\right\rangle_B +\left\vert 0\right\rangle_A\left\vert 1\right\rangle_B)= \frac{1}{\sqrt{2}}(\left\vert 1\right\rangle_A +\left\vert 0\right\rangle_A)\left\vert 1\right\rangle_B \\ CNOT_{12}\left\vert \Psi_2\right\rangle&=\frac{1}{\sqrt{2}}(\left\vert 0\right\rangle_A\left\vert 0\right\rangle_B -\left\vert 1\right\rangle_A\left\vert 1\right\rangle_B) = \frac{1}{\sqrt{2}}(\left\vert 1\right\rangle_A -\left\vert 0\right\rangle_A)\left\vert 0\right\rangle_B \\ CNOT_{12}\left\vert \Psi_3\right\rangle&=\frac{1}{\sqrt{2}}(-\left\vert 1\right\rangle_A\left\vert 0\right\rangle_B +\left\vert 0\right\rangle_A\left\vert 1\right\rangle_B) = \frac{1}{\sqrt{2}}(\left\vert 0\right\rangle_A-\left\vert 1\right\rangle_A)\left\vert 1\right\rangle_B \end{align}\,\!}	(5.9)

(Recall a CNOT acts on two qubits and flips the second one if the first is in the one state and does nothing if it is in the zero state.)

Now Bob acts with a Hadamard gate on the first qubit (the one Alice sent). Recall the Hadamard gate, $H\,\!$, acts in the following way: Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H\left\vert 0\right\rangle = (\frac{1}{\sqrt{2}})(\left\vert 0\right\rangle+\left\vert 1\right\rangle)\,\!} , Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H\left\vert 1\right\rangle = (\frac{1}{\sqrt{2}})(\left\vert 0\right\rangle-\left\vert 1\right\rangle)\,\!} , and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H^2=\mathbb{I}\,\!} . Then

	${\begin{aligned}H_{1}CNOT_{12}\left\vert \Psi _{0}\right\rangle &=\left\vert 00\right\rangle \\H_{1}CNOT_{12}\left\vert \Psi _{1}\right\rangle &=\left\vert 01\right\rangle \\H_{1}CNOT_{12}\left\vert \Psi _{2}\right\rangle &=\left\vert 10\right\rangle \\H_{1}CNOT_{12}\left\vert \Psi _{3}\right\rangle &=\left\vert 11\right\rangle \end{aligned}}\,\!$	(5.10)

Therefore, if Alice has sent Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\vert \Psi_0\right\rangle\,\!} , then Bob will be able to recover and find Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\vert 00\right\rangle\,\!} and similarly for the other three possibilities. So Alice, by sending one qubit, has transmitted two classical bits of information.