Testing

From Qunet
Revision as of 08:20, 14 September 2023 by Mbyrd (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

---EPR Paradox---

Before diving into entanglement in the context of quantum computing and information, it would be prudent to discuss the now-famous EPR paradox. It was first proposed in a paper by Einstein, Polosky, and Rosen in 1935. The original paper does include a fairly simple mathematical explanation of the paradox---it is, however, not really necessary as the thought experiment is quite easily understood conceptually with (mostly) words. A slightly simplified version of the experiment will be given here.

Suppose a neutral pi meson, which has no spin, is at rest. It then decays into an electron and a positron, necessarily going in opposite directions. The wave function can now be written as


(4.1)

As can be seen, we now have a system of two particles that have a correlated spin---one being up and the other being down---with an equal probability for each configuration being the outcome of a measurement. The system is said to be entangled, as a measurement on one will guarantee that the other particle is in the correlated state. In other words, it cannot be written as .

Now what is the significance here? It all depends on what interpretation of quantum mechanics is being used. The orthodox position says that the wave function is the complete representation of the system. When the measurement occurs, the wave function collapses, changing the system.

But, in the context of EPR, how can this be? Imagine the entangled electron-positron pair are at opposite ends of the galaxy when one of them is measured. The conservation of angular momentum says that the other particle all of the way on the other side of the galaxy must instantly be the opposite spin as the measured particle. EPR argued that this is a violation of locality, which says an effect cannot travel faster than the speed of light. If the very action of measurement on one particle is what caused the other particle to realize the opposite spin, then locality has been violated. Therefore, the measurement could not have caused the collapse of the wave function.

EPR concluded that this proves that quantum mechanics is incomplete---that the wave function is missing some information. There was no "spooky-action-at-a-distance," there must be some underlying property that is absent from the wave function. Einstein rejected the notion that a measurement caused this quasi-mystical collapse of the wave function---the particles do not care if they are being watched or not.

---Bell's Theorem---

The peculiarities of the EPR paradox were convincing enough to drive many to examine possible "hidden variable theories." The basic idea is that there exists a quantity, often denoted by , that must be included in the wave function to completely describe the system. J.S. Bell very elegantly showed in 1964 that this is not the case, using the very thought experiment (although slightly modified) that EPR proposed.

Suppose we have another pion at rest about to decay with detectors oriented equidistant and on opposite sides, ready to measure the spin of the electron and positron. Further suppose that, unlike the previous scenario, these detectors can be rotated in order to detect the spin in the direction of unit vectors and for the electron and positron respectively.

When the electron and positron pair strikes the detectors, a spin up () or spin down () is registered. The product of the results is then examined. If they are oriented parallel, where , then the result will be -1. If anti-parallel, the result is then +1. The averages are, obviously,


(4.2)

Quantum mechanics tells us that for arbitrary vectors,


(4.3)

We can now introduce the hidden variable, . This can represent any possible amount of variables that complete the description of the system and allow for locality. We then define some functions, and that will give the results for the measurement (either +1 or -1) for the electron and positron respectively.

The locality assumption tells us that the orientation of one detector will not affect the outcome of the measurement of the other detector; one can imagine a scenario where the orientation is chosen at a time too late for any information to be transfered slower than light. It must also be true that, when the detectors are parallel, the results must be


(4.4)

due to the conservation of angular momentum. Let us also define a probability density, for the hidden variable. Since we know nothing of , this can be anything as long as it is nonnegative and normalizable (). We can now look at the product of the measurements,


(4.5)

We know from Eq.(4.4) that this can be rewritten:


(4.6)

Now for the clever part. Introducing another unit vector, , and noting that


(4.7)

Recognizing some inequalities,


(4.8)

we get to a remarkable result,


(4.9)

The last form is known as the Bell inequality. This inequality is true for any local hidden variable theory.

What does this mean? Let us define and to be orthogonal and to make a angle with both of them. Using quantum mechanics (Equation(4.3)),

Inserting the values into the Bell inequality (Equation (4.9)),

Since the inequality is violated!

This means that quantum mechanics is incompatible with any local hidden variable theory. The EPR paradox had stronger implications than the authors realized; if local realism is held, then quantum mechanics is incorrect. This has been repeatedly disproved experimentally. Thus no local hidden variable theory can resolve the "spooky-action-at-a-distance."



Here we introduce vectors and the notation that we use for vectors. We then give some facts about real vectors before discussing the complex vectors used in quantum mechanics.

Vectors: Defining and Representing

You may have heard of the definition of a vector as a quantity with both magnitude and direction. While this is true and often used in science classes, our purpose is different. So we will simply define a vector as a set of numbers that is written in an row or a column. When the vector is written as a row of numbers, it is called a row vector and when it is written as a set of numbers in a column, it is called a column vector. As we will see, these two can have the same set of numbers, but each can be used in a slightly different way.

Note that a vector with two entries, or two numbers, is called a two-dimensional vector. One with three entries is called a three-dimensional vector, etc.

Examples

This is an example of a two-dimensional row vector

This is an example of a two-dimensional column vector


This is an example of a three-dimensional row vector

This is an example of a three-dimensional column vector

Real Vectors

(If you are not familiar with vectors, you can skip this subsection.)


If you are familiar with vectors, the simple definition of a vector --- an object that has magnitude and direction --- is helpful to keep in mind even when dealing with complex vectors (vectors with complex, i.e., imaginary numbers as entries) as we will here. However, this is not necessary and we will see how to perform all of the operations that we need just using arrays of numbers that we call vectors. In three dimensional space, a vector is often written as

where the hat () denotes a unit vector and the components , are just numbers. The unit vectors are also known as basis vectors. This is because any vector in real three-dimensional space can be written in terms of these unit/basis vectors. In this vector, one can associate a point where the coordinate of the point is . That is, a point a distance from the origin along the -axis, a distance from the origin along the -axis, and a distance from the origin along the -axis. In some sense, unit vectors are the basic components of any vector. Other basis vectors could be used. But this will be discussed elsewhere.

Vector Operations

To illustrate vector operations, let

Also, let


Vector Addition

Vectors can be added. To do this, each element of one vector is added to the corresponding element of the other vector. In general, for a row vector, they add as


The addition of row vectors is similar. They are added component by component. Then

Since the way vectors are added is component to corresponding component, it is important to note that you can only add vectors if they are the same type. (No adding "apples and oranges" so to speak.) So you can add two vectors that are both column vectors and have three entries. You can't add a column vector to a row vector and you can't add a vector with two components to a vector with three components.


Example

Adding two vectors and with

we get


Multiplication by a Number

When a vector is multiplied by a number, each component is multiplied by that same number. For example, suppose

Then


Length or Magnitude of a Vector

Consider the vector

We can calculate the length of a vector the same way that one calculates the hypotenuse of a right triangle. The magnitude is the square root of the sum of the squares of the entries. For example,

VectorMagnitude.jpg

Figure V.1: The magnitude of a vector in terms of its entries.


Vectors of Length One, Unit Vectors

Vectors of length, or magnitude are quite useful. These are also called "unit vectors". As we will see, they are used as "basis vectors" and also for quantum states. If a vector does not have length one, but it should have, then we can "normalize" it by dividing by the magnitude. When this is done, the vector of length one is often denoted with a "hat" instead of the arrow . So

The magnitude of this vector is

Then to see that the vector is normalized,


Notice that, in general, if the vector is multiplied by a number that is positive, then the magnitude of the vector is

So multiplying a vector by a number just changes the length, or magnitude, of the vector is is positive. If is negative, it changes the directions of the components and therefore of the vector itself and also changes the magnitude.

Dot Products or Inner Products

The inner product, or dot product, for two real two-dimensional vectors,

or

can be computed as follows:


For the inner product of with itself, we get the square of the magnitude of , denoted :

If we want a unit vector in the direction of , we can simply divide it by its magnitude:

Now, of course, , which can easily be checked.

There are several ways to represent a vector. The ones we will use most often are column and row vector notations. So, for example, we could write the vector above as

In this case, our unit vectors are represented by the following:

and are called basis vectors. Notice they are unit vectors.


Any vector can be rewritten in terms of these basis vectors. For example,


We next turn to the subject of complex vectors and the relevant notation. We will see how to compute the inner product later, since some other definitions are required.

Complex Vectors

A complex vector is one that has complex numbers for entries. For complex vectors in quantum mechanics, Dirac notation is used most often. This notation uses a , called a ket, for a vector. So our vector would be

For qubits, i.e. two-state quantum systems, complex vectors will often be used:


(V.1)

where


(V.2)

are the basis vectors. The two numbers and are complex numbers, so the vector is said to be a complex vector. Recall from Chapter 1 that quantum states are represented by complex vectors, such as the quantum particle being in one of two different wells.

The Complex Conjugate of a Vector

To take the complex conjugate of a vector, each element of the vector has to be complex conjugated. So,


(V.3)



The Transpose of a Vector

Let us reconsider the vector from above,

To transpose this vector, the vector will be turned into a row vector. It is the almost the same vector, just made into a row vector. The transpose is denoted with a superscript :


The Hermitian Conjugate, or "Dagger", of a Vector

The "dagger" of a vector, which is also called the hermitian conjugate, is the transpose and complex conjugate. This is denoted by a "dagger" superscript

In the case of complex vectors, the following notation is used:


(V.4)


Complex Inner Product

To calculate the inner product of two complex, two-dimensional vectors, the complex conjugate of one is multiplied, term by term with the second. So if vectors and are complex vectors, the inner product, or dot product, is calculated by

This enables the inner product between two vectors to be written as

and the inner product of a vector with itself


Basis Vectors

Basis vectors are vectors that can be used to write any other vector. For example, any two-dimensional vector such as

can be written in terms of the two basis vectors and . That is because

and and can be any numbers. So any vector can be written in terms of these.

It turns out that any pair of vectors that are orthogonal can serve as basis vectors. (In fact, any two that are not in the same direction.) Most of the time, it is best to use vectors that are orthogonal and normalized (have magnitude one). These are called orhtonormal vectors. The set of such vectors is called an orthonormal set and such a set can be found for any dimension. (The dimension is also the same number as the minimal number of vectors that we need in the set in order to be able to write any vector in terms of the basis vectors.)

It is easy to check that the vectors and are orthonormal. Another set of orthonormal vectors that are commonly used in quantum computing is the set

It is also easy to show that these two are also orthonormal. In addition, note that

Exercises

To illustrate vector operations, let


  1. Vectors
    1. Calculate the complex conjugate of
    2. Calculate the magnitudes of all three vectors.
    3. Normalize . Confirm that they are now unit vectors.
    4. Calculate the Hermitian conjugate (dagger) of all three vectors.
  2. Dirac Notation (bras, kets, and brackets)
    1. Calculate the inner product , between
    2. Calculate the inner products among all three vectors normalized versions of the vectors. Is there any pair that is orthogonal?
    3. What can you say about the magnitude of the inner products in relation to the magnitudes of the individual vectors?
    4. Find the inner product between from Eq.(V.2).
  3. Challenge Questions
    1. Show that any vector can be written in terms of

Copyright

© Copyright 2022 BKR Collaboration