Appendix H: Topics in Quantum Mechanics

Introduction

In this section, some topics in quantum mechanics will be presented. These are outside the main topic of the book, which is focused on quantum computing and quantum error prevention. Here the topics are of quantum mechanics, but not directly having to do with those main topics of the book.

Time Independent Perturbation Theory

A fairly good introductory treatment of this topic can be found in Griffiths' book [4]. One may also consult many other good textbooks on quantum mechanics, such as Ballentine [47].

The Problem

The problem that we want to solve is the following. Suppose that we know how to solve a problem. Can we solve one that is "close" to this one? We have to be specific about what we mean by "close". But intuitively, if we know the solutions to a problem (we know the eigenfunctions and eigenvalues for a Hamiltonian), and the Hamiltonian is only changed slightly, we could expect that the solutions (e.g. the eigenvalues) for the new problem are not too different from the one we know how to solve. With this in mind, let us suppose that we know how to solve a problem:

	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^{(0)}\left\vert{\Psi^{(0)}}_n\right\rangle = E^{(0)}_n\left\vert{\Psi^{(0)}_n}\right\rangle.}	(H.1)

Now suppose there is a different problem that we would like to solve and it can be written in the form

	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^{(0)}+\lambda H^{(1)})\left\vert{\Psi}_n\right\rangle = E_n\left\vert{\Psi_n}\right\rangle,}	(H.2)

where the term 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 \lambda H^{(1)}} is small. The "smallness" of this term determines the "closeness" of this problem to the original one, and this will have to be made more precise later-when we can calculate the relative sizes. The parameter $\lambda$ is an expansion parameter that is used for convenience and it will be removed later by letting it go to one. But for now, we assume it to be "small". (This may sound a little funny, but it works just fine. The parameter can be an independent variable, in which case powers of it are independent and that is what we are going to use.)

Expanding and Solving

Let us expand the the unknown energies and wave functions in terms of this parameter by supposing that there is a sequence of energies and wave functions that are able to describe our system in a way that can be expressed 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 E_n = E_n^{(0)} + \lambda E_n^{(1)} + \lambda^2 E_n^{(2)} + \cdots }	(H.3)

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 \left\vert{\Psi}_n\right\rangle = \left\vert{\Psi_n^{(0)}}\right\rangle +\lambda \left\vert{\Psi_n^{(1)}}\right\rangle +\lambda^2 \left\vert{\Psi_n^{(2)}}\right\rangle + \cdots }	(H.4)

We can plug these into Eq.(H.2)

	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}&(H^{(0)}+\lambda H^{(1)})\left(\left\vert{\Psi_n^{(0)}}\right\rangle +\lambda \left\vert{\Psi_n^{(1)}}\right\rangle +\lambda^2 \left\vert{\Psi_n^{(2)}}\right\rangle + \cdots\right) \\ &= \left(E_n^{(0)} + \lambda E_n^{(1)} + \lambda^2 E_n^{(2)} + \cdots\right) \left(\left\vert{\Psi_n^{(0)}}\right\rangle +\lambda \left\vert{\Psi_n^{(1)}}\right\rangle +\lambda^2 \left\vert{\Psi_n^{(2)}}\right\rangle + \cdots\right) \end{align}\,\!}	(H.5)

Then we expand this and collect like powers of 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 \lambda } to get

	${\begin{aligned}H^{(0)}\left\vert {\Psi _{n}^{(0)}}\right\rangle &+\lambda (H^{(1)}\left\vert {\Psi _{n}^{(0)}}\right\rangle +H^{(0)}\left\vert {\Psi _{n}^{(1)}}\right\rangle )\\&+\lambda ^{2}(H^{(0)}\left\vert {\Psi _{n}^{(2)}}\right\rangle +H^{(1)}\left\vert {\Psi _{n}^{(1)}}\right\rangle )+\cdots \\=&E_{n}^{(0)}\left\vert {\Psi _{n}^{(0)}}\right\rangle +\lambda \left(E_{n}^{(0)}\left\vert {\Psi _{n}^{(1)}}\right\rangle +E_{n}^{(1)}\left\vert {\Psi _{n}^{(0)}}\right\rangle \right)\\&+\lambda ^{2}\left(E_{n}^{(2)}\left\vert {\Psi _{n}^{(0)}}\right\rangle +E_{n}^{(1)}\left\vert {\Psi _{n}^{(1)}}\right\rangle +E_{n}^{(0)}\left\vert {\Psi _{n}^{(2)}}\right\rangle \right)+\cdots \end{aligned}}\,\!$	(H.6)

	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}H^{(0)}\left\vert{\Psi_n^{(0)}}\right\rangle &+\lambda( H^{(1)}\left\vert{\Psi_n^{(0)}}\right\rangle +H^{(0)} \left\vert{\Psi_n^{(1)}}\right\rangle)\\ &+\lambda^2(H^{(0)}\left\vert{\Psi_n^{(2)}}\right\rangle+H^{(1)}\left\vert{\Psi_n^{(1)}}\right\rangle )\\ &= \left(E_n^{(0)} + \lambda E_n^{(1)} + \lambda^2 E_n^{(2)} + \cdots\right) \left(\left\vert{\Psi_n^{(0)}}\right\rangle +\lambda \left\vert{\Psi_n^{(1)}}\right\rangle +\lambda^2 \left\vert{\Psi_n^{(2)}}\right\rangle + \cdots\right) \end{align}\,\!}	(H.5)

	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} \Omega_1 &= \frac{1}{T}\int_0^T H(t_1)dt_1, \\ \Omega_2 &= -\frac{1}{T^2}\frac{i}{2}\int_0^T dt_1\int_0^{t_1}dt_2 [H(t_1),H(t_2)], \\ \Omega_3 &= -\frac{1}{T^3}\frac{1}{6} \int_0^T dt_1\int_0^{t_1} dt_2 \int_0^{t_2} dt_3 ([H(t_1),[H(t_2),H(t_3)]] + [H(t_3),[H(t_2),H(t_1)]]) \\ & \mbox{etc.}, \end{align}\,\!}	(9.8)

Time Independent Perturbation Theory with Degeneracies

Unitary transformations are represented in a circuit diagram with a box around the unitary transformation. Consider a unitary transformation 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 V} on a single qubit state $\left\vert {\psi }\right\rangle$. If the result of the transformation 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 \left\vert{\psi^\prime}\right\rangle} , we can then write

	$\left\vert {\psi ^{\prime }}\right\rangle =V\left\vert {\psi }\right\rangle .$	(H.1)

The corresponding circuit diagram is shown in Fig. 2.1.

$\left\vert {\psi }\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 \left\vert{\psi^\prime}\right\rangle}

Figure 2.1: Circuit diagram for a one-qubit gate that implements the unitary transformation 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 V\,\!} . The input state $\left\vert {\psi }\right\rangle$ is on the left and the output, 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^\prime}\right\rangle} , is on the right.

Misc

We want to find the matrix form of the following, which is expressed in 3 different ways:

	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}\vec{\sigma}^{(1)}\cdot \vec{\sigma}^{(2)} &= \sigma_x^{(1)}\sigma_x^{(2)} + \sigma_y^{(1)}\sigma_y^{(2)} +\sigma_z^{(1)}\sigma_z^{(2)}\\&=\sigma_x^{(1)}\otimes\sigma_x^{(2)} + \sigma_y^{(1)}\otimes\sigma_y^{(2)} +\sigma_z^{(1)}\otimes\sigma_z^{(2)}.\end{align}}	(H.10)

Since

	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_x = \left(\begin{array}{cc} 0&1 \\ 1&0 \end{array}\right)}	(H.11)

Then

	${\begin{aligned}\sigma _{x}^{(1)}\otimes \sigma _{x}^{(2)}&=\left({\begin{array}{cc}0&1\\1&0\end{array}}\right)\otimes \left({\begin{array}{cc}0&1\\1&0\end{array}}\right)\\&=\left({\begin{array}{cccc}0&0&0&1\\0&0&1&0\\0&1&0&0\\1&0&0&0\end{array}}\right)\end{aligned}}$	(H.11)

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 [AB,C]=A[B,C]+[A,C]B}