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
<math>\vec{s} = (1,6). </math>

This is an example of a two-dimensional column vector
<math>\vec{u} = \left(\begin{array}{c} 7 \\ 2 \end{array}\right).</math>

This is an example of a three-dimensional row vector
<math>\vec{v} = (2,4,3). </math>

This is an example of a three-dimensional column vector
<math>\vec{w} = \left(\begin{array}{c} 1 \\ 5 \\ 4 \end{array}\right).</math>

===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
<center><math>
\vec{v} = v_x\hat{x} + v_y \hat{y} + v_z\hat{z},
</math></center>
where the hat (<math>\hat{\cdot}\,\!</math>) denotes a unit vector and the components
<math>v_i\,\!</math>, <math>i = x,y,z\,\!</math> 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 <math>(x,y,z)</math>. That is, a point a distance <math>x</math> from the origin along the <math>x</math>-axis, a distance <math>y</math> from the origin along the <math>y</math>-axis, and a distance <math>z</math> from the origin along the <math>z</math>-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
<center><math>
\vec{v} = \left(\begin{array}{c} v_1 \\ v_2
\end{array}\right), \mbox{ and }
\vec{w} = \left(\begin{array}{c} w_1 \\ w_2
\end{array}\right).
</math></center>

Also, let
<center><math>
\vec{s} = \left(s_1, s_2\right), \mbox{ and }
\vec{u} = \left(u_1, u_2\right).
</math></center>

=====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
<center><math>\vec{v}+\vec{w} = \left(\begin{array}{c} v_1 \\ v_2
\end{array}\right)+\left(\begin{array}{c} w_1 \\ w_2
\end{array}\right) = \left(\begin{array}{c} v_1+w_1 \\ v_2+w_2
\end{array}\right). </math></center>

The addition of row vectors is similar. They are added component by component.
Then
<center><math>
\vec{s}+\vec{u} = \left(s_1, s_2\right)+\left(u_1, u_2\right) = \left(s_1+u_1, s_2 + u_2\right).
</math></center>
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 <math>\vec{v}_1\,\!</math> and <math>\vec{w}_1\,\!</math> with
<center><math>
\vec{v}_1 = \left(\begin{array}{c} 1 \\ 5
\end{array}\right), \;\;
\vec{w}_1 = \left(\begin{array}{c} 4 \\ 2
\end{array}\right),
\,\!</math></center>
we get
<center><math>
\vec{v}_1 + \vec{w}_1 = \left(\begin{array}{c} 1 \\ 5
\end{array}\right) + \left(\begin{array}{c} 4 \\ 2
\end{array}\right) = \left(\begin{array}{c} 5 \\ 7
\end{array}\right).
\,\!</math></center>

=====Multiplication by a Number=====

When a vector is multiplied by a number, each component is multiplied by that same number. For example, suppose
<center><math>
\vec{v} = \left(\begin{array}{c} v_1 \\ v_2
\end{array}\right).
</math></center>
Then
<center><math>
a\vec{v} = a\left(\begin{array}{c} v_1 \\ v_2
\end{array}\right)= \left(\begin{array}{c} av_1 \\ av_2
\end{array}\right).
</math></center>

====Length or Magnitude of a Vector====

Consider the vector
<center><math>
\vec{v} = \left(\begin{array}{c} v_1 \\ v_2
\end{array}\right).
</math></center>

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,
<center><math>
|\vec{v}|= \sqrt{(v_1)^2 + (v_1)^2}.
</math></center>

<div id="Figure V.1"></div>
<center>
[[File:VectorMagnitude.jpg|400px]]
Figure V.1: The magnitude of a vector in terms of its entries. </center>
<br />

====Vectors of Length One, Unit Vectors====

Vectors of length, or magnitude <math>= 1</math> 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" <math>\hat{v}</math> instead of the arrow <math>\vec{v}</math>. So
<center><math>
\hat{v} = \frac{1}{|\vec{v}|}\vec{v} = \frac{1}{|\vec{v}|}\left(\begin{array}{c} v_1 \\ v_2
\end{array}\right).
</math></center>
The magnitude of this vector is
<center><math>
|\hat{v}| = \sqrt{v_1^2 + v_2^2}.
</math></center>

Then to see that the vecto <math>\vec{v}</math> is normalized,
<center><math>
\begin{align}
|\hat{v}| &= \sqrt{\frac{\vec{v}}{|\vec{v}|}} \\ & \\
&= \sqrt{ \left(\frac{v_1}{|\vec{v}|}\right)^2 + \left(\frac{v_2}{|\vec{v}|}\right)^2 }\\ & \\
&= \frac{1}{|\vec{v}|} \sqrt{(v_1)^2 + (v_2)^2} = 1.
\end{align}
</math></center>

Notice that, in general, if the vector is multiplied by a number <math>a</math> that is positive, then the magnitude of the vector is
<center><math>
|a\vec{v}|= \sqrt{(av_1)^2 + (av_1)^2} = \sqrt{a^2(v_1^2+v_2^2)} = |a||\vec{v}|.
</math></center>
So multiplying a vector by a number just changes the length, or magnitude, of the vector is <math>a</math> is positive. If <math>a</math> 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,
<center><math>
\vec{v} = \left(\begin{array}{c} v_1 \\ v_2
\end{array}\right), \mbox{ and }
\vec{w} = \left(\begin{array}{c} w_1 \\ w_2
\end{array}\right)
</math></center>
or
<center><math>
\vec{s} = \left(s_1, s_2\right), \mbox{ and }
\vec{u} = \left(u_1, u_2\right).
</math></center>
can be computed as follows:
<center><math>
\vec{v}\cdot\vec{w} = v_1w_1 + v_2w_2, \mbox{ and } \vec{s}\cdot\vec{u} = s_1u_1 + s_2u_2.
</math></center>

For the inner product of <math>\vec{v}\,\!</math> with itself, we get the square of
the magnitude of <math>\vec{v}\,\!</math>, denoted <math>|\vec{v}|^2\,\!</math>:
<center><math>
|\vec{v}|^2 = \vec{v}\cdot\vec{v} = v_1v_1 + v_2v_2 = v_1^2+v_2^2.
</math></center>
If we want a unit vector in the direction of <math>\vec{v}\,\!</math>, we can simply divide it
by its magnitude:
<center><math>
\hat{v} = \frac{\vec{v}}{|\vec{v}|}.
</math></center>
Now, of course, <math>\hat{v}\cdot\hat{v}= 1\,\!</math>, 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
<center><math>
\vec{v} = \left(\begin{array}{c} v_1 \\ v_2
\end{array}\right).
</math></center>
In this case, our unit vectors are represented by the following:
<center><math>
\hat{e}_1 = \left(\begin{array}{c} 1 \\ 0
\end{array}\right), \;\;
\hat{e}_2 = \left(\begin{array}{c} 0 \\ 1
\end{array}\right).
\,\!</math></center>
<math>e_1\,\!</math> and <math>e_2\,\!</math> are called basis vectors. Notice they are unit vectors.

Any vector can be rewritten in terms of these basis vectors. For example,
<center><math>
\vec{v} = v_1\hat{e}_1+v_2\hat{e}_2 = \left(\begin{array}{c} v_1 \\ v_2
\end{array}\right).
</math></center>

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 <math>\left\vert \cdot \right\rangle\,\!</math>,
called a ''ket'', for a vector. So our vector <math>\vec{v}\,\!</math> would be
<center><math>
\left\vert v \right\rangle = \left(\begin{array}{c} v_1 \\ v_2
\end{array}\right).
</math></center>

For qubits, i.e. two-state quantum systems, complex vectors will often be used:
{{Equation|<math>\begin{align} \left\vert \psi \right\rangle &= \left(\begin{array}{c} \alpha \\ \beta
\end{array}\right) \\
&=\alpha \left\vert 0\right\rangle + \beta\left\vert 1\right\rangle,\end{align}</math>|C.1}}
where
<center><math>
\left\vert 0\right\rangle = \left(\begin{array}{c} 1 \\ 0
\end{array}\right), \;\;\mbox{and} \;\;
\left\vert 1\right\rangle = \left(\begin{array}{c} 0 \\ 1
\end{array}\right)
</math></center>
are the basis vectors. The two numbers <math>\alpha\,\!</math> and
<math>\beta\,\!</math> are complex numbers, so the vector is said to
be a complex vector. Recall from [[Chapter 1 - Introduction#Figure1.1|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,
{{Equation|<math>\begin{align} (\left\vert \psi \right\rangle)^* &= \left(\begin{array}{c} \alpha \\ \beta
\end{array}\right)^* \\
&= \left(\begin{array}{c} \alpha^* \\ \beta^* \end{array}\right)\\
&=\alpha^* \left\vert 0\right\rangle + \beta^* \left\vert 1\right\rangle.
\end{align}</math>|C.1}}

====The Transpose of a Vector====

Let us reconsider the vector from above,
<center><math>
\vec{v} = \left(\begin{array}{c} v_1 \\ v_2
\end{array}\right).
</math></center>
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 <math>T</math>:
<center><math>\begin{align}
\vec{v}^T &= \left(\begin{array}{c} v_1 \\ v_2
\end{array}\right)^T \\
&= \left( \begin{array}{cc} v_1, & v_2
\end{array}\right).
\end{align}</math></center>

====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 <math>^\dagger</math>
<center><math>\begin{align}
(\vec{v}^*)^T &= \left(\begin{array}{c} v_1^* \\ v_2^*
\end{array}\right)^T \\
&= \left( \begin{array}{cc} v_1^*, & v_2^*
\end{array}\right).
\end{align}</math></center>

In the case of complex vectors, the following notation is used:
{{Equation|<math>\begin{align} (\left\vert \psi \right\rangle)^\dagger &= \left\langle \psi \right\vert \\
&=\left(\begin{array}{c} \alpha \\ \beta \end{array}\right)^\dagger \\
&= \left(\begin{array}{cc} \alpha^*,& \beta^* \end{array}\right).
\end{align}</math>|C.1}}

====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 <math>\vec{v}</math> and <math>\vec{w}</math> are complex vectors, the inner product, or dot product, is calculated by
<center><math>
\vec{v}\cdot\vec{w} = \vec{v}^\dagger \vec{w} = v_1^*w_1 + v_2^*w_2.
</math></center>

===Exercises===

<ol style="list-style-type:upper-roman">
<li>Vectors</li>
<ol style="list-style-type:decimal">
<li>About the author</li>
<li>Foreword to the first edition</li>
<li>Foreword to the second edition</li>
</ol>
<li>Matrices</li>
<ol style="list-style-type:decimal">
<li>About the author</li>
<li>Foreword to the first edition</li>
<li>Foreword to the second edition</li>
</ol>
<li>Dirac Notation (bras and kets)</li>
<ol style="list-style-type:decimal">
<li>About the author</li>
<li>Foreword to the first edition</li>
<li>Foreword to the second edition</li>
</ol>
<li>Transformations</li>
<ol style="list-style-type:decimal">
<li>About the author</li>
<li>Foreword to the first edition</li>
<li>Foreword to the second edition</li>
</ol>
<li>Eigenvalues and Eigenvectors</li>
<ol style="list-style-type:decimal">
<li>About the author</li>
<li>Foreword to the first edition</li>
<li>Foreword to the second edition</li>
</ol>
<li>Tensor Products</li>
<ol style="list-style-type:decimal">
<li>About the author</li>
<li>Foreword to the first edition</li>
<li>Foreword to the second edition</li>
</ol>
</ol>

====Copyright====

© Copyright 2022 '''BKR Collaboration'''

2022-08-16T17:50:12Z

Mbyrd:

Except where otherwise stated,
Quantum Computation and Quantum Error Prevention by Mark S. Byrd, et al. is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License: http://creativecommons.org/licenses/by-nc-sa/3.0/deed.en_US
<center>
[[File:CreativeCommons.png]]
</center>

Qunet:Copyrights

2022-08-16T17:49:58Z

Mbyrd:

Creative Commons Licensing

2022-08-16T17:49:19Z

Mbyrd:

Except where explicitly stated, Quantum Computation and Quantum Error Prevention by Mark S. Byrd, et al. is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License: http://creativecommons.org/licenses/by-nc-sa/3.0/deed.en_US
<center>
[[File:CreativeCommons.png]]
</center>