Merge branch 'wkb_part' into 'master'

Finalize WKB up to bound states

See merge request applications-of-quantum-mechanics/lectures!2

.gitignore

@@ -3,3 +3,4 @@
 site
 *.pyc
 __pycache__
+docs

AUTHORS.md

 The following people contributed to making of these lecture notes:
 
 * Michael Wimmer
+* Juan Torres
 
 <!--
 Execute

execute.py

@@ -43,7 +43,7 @@ exporter = nbconvert.MarkdownExporter(
                 'text/markdown',
                 'image/svg+xml',
                 'text/latex',
-                'image/png',
+                'image/svg',
                 'application/vnd.plotly.v1+json',
                 'image/jpeg',
                 'text/plain'

mkdocs.yml

@@ -8,10 +8,10 @@ site_description: |
 nav:
   - Intro: 'index.md'
   - WKB approximation:
+     - QM in a smooth potential: 'wkb_smooth.md'
      - WKB wave function: 'wkb_wf.md'
      - Connection formulas: 'wkb_connection.md'
-  - Adiabatic approximartion:
-     - Exercises: 'adiabatic_exercises.md'
+     - Bound states: 'wkb_bound.md'
 theme:
   name: material
   custom_dir: theme

src/adiabatic_berry.md

+# The Berry Phase
+
+!!! success "Expected prerequisites"
+
+    Before the start of this lecture, you should be able to:
+
+    - Write down the wavefunction after adiabatic evolution.
+    - Express a magnetic field $\mathbf{B}$ in terms of the vector potential $\mathbf{A}$.
+    - Flip limits of integration.
+
+
+!!! summary "Learning goals"
+
+    After this lecture you will be able to:
+
+    - Write down the Berry phase as a function of an arbitrary parameter.
+    - Describe how a relative phase can be measured.
+    - Write down the phase acquired when an electron travels around a flux of magnetic field.
+    - Relate the Berry phase to the Ahronov-Bohm effect.
+
+## The Berry Phase
+In the previous section, we found that the wavefunction acquires two phases during adiabatic evolution. In particular, the geometrical phase is,
+
+$$
+\gamma(t) = i \int_0^t \langle{\psi_m| \dot\psi_n} \rangle dt'.
+$$
+
+It is known generally as the Berry phase. Perhaps the first question that comes to mind about it is whether it is a phase at all. We can show that it is, but showing that $\gamma(t)$ is in fact *real*.
+
+We know that $\langle{\psi_n | \psi_n} \rangle = 1$. From there we look at
+
+$$
+\frac{d}{dt} \left(  \langle{\psi_n}\rangle \right) =
+\langle{\dot \psi_n | \psi_n} \rangle + \langle{ \psi_n | \dot\psi_n} \rangle =
+\left(\langle{ \psi_n | \dot\psi_n} \rangle\right)^* + \langle{ \psi_n | \dot\psi_n} \rangle =
+2 \Re \left( \langle{ \psi_n | \dot\psi_n} \rangle \right) = 0
+$$
+
+So the real part of $\langle{ \psi_n | \dot\psi_n} \rangle$ is 0, meaning that the Berry
+phase is real. Typically, $H(t)$ gets its time dependence through some parameter
+which depends on $t$, for example on the width of the infinite square well. In
+that case we express $H$ as $H(\vec{R}(t))$ where $\vec{R}$ is just the set of
+parameters that depend on $t$. Then
+
+$$
+\dot{\psi}_n = (\vec{\nabla}_{R} \psi_n) \cdot \dot{R}
+$$
+and so
+
+$$
+\begin{aligned}
+\gamma_n(t) &= i \int_0^t \langle{ \psi_n | \vec{\nabla_R}\psi_n} \rangle  \cdot
+\dot{R}(t') dt' \\
+&= i \int_{\vec{R}(0)}^{\vec{R}(t)} \langle{ \psi_n | \vec{\nabla_R}\psi_n} \rangle
+\cdot d\vec{R}.
+\end{aligned}
+$$
+
+This is a line integral through parameter space which is independent of time.
+The Berry phase introduced is independent of how fast the path from $\vec{R}(0)$
+to $\vec{R}(t)$ is taken. This is in contrast to $\theta_n(t)$ which has
+explicit time dependence, where the more time you take the more phase you
+accumulate.
+
+If we consider the case where $\vec{R}(0) = \vec{R}(t)$, then for only one
+parameter the Berry phase will always be zero. A non-zero Berry phase arises
+only for more than one time-dependent parameter. In the case of more than one
+parameter then, the value of the integral depends only on the number of poles
+enclosed by the path, discretising the value of $\gamma_n$, and yielding a
+result that is path independent.
+
+## Measuring a Phase?
+
+![Splitting mirrors.](figures/2paths.svg)
+
+How can we measure a phase? It may seem difficult since phases often don't contribute to observables that we are interested in measuring. Though it may be impossible to measure an *overall* phase, *relative* phases are
+fair game. By splitting a wave packet over two paths of different lengths and using interference, we can get information about this phase.
+
+To see this, consider the two paths depicted in the figure above. The longer path is associated with an accumulated phase of $e^{i \gamma}$ for some $\gamma$. The total wavefunction is then
+
+$$
+\begin{aligned}
+\psi_{tot} &= \frac{1}{2} \psi_0 + \frac{1}{2} \psi_0 e^{i \gamma} \\
+|\psi_{tot}|^2 &= \frac{1}{4} |\psi_0|^2 \left( 1 + e^{i \gamma} \right)
+\left( 1 + e^{-i \gamma} \right) \\
+&= \frac{1}{2} |\psi_0|^2 (1 + \cos(\gamma)) \\
+&= |\psi_0|^2 \cos(\gamma/2)
+\end{aligned}
+$$
+
+We see that relative phases do show up non-trivially when going from amplitudes to probabilities, and exploiting these will be our method toward measuring the Berry phase.
+
+## Aharonov-Bohm Effect
+
+![solenoid](figures/solenoid.svg)
+
+First predicted by Ehrenberg and Siday (10 years earlier than Aharonov and Bohm!), this effect is due to the coupling of the electromagnetic potential to an electron's wave function, as we will see.
+
+The setup is depicted in the figure above. The important thing to note here is that the magnetic field $\mathbf{B}$ is non-zero only inside the solenoid. Which means for both electron paths, through *B* or *C*, the magnetic field is constantly zero. The same cannot be said of the vector potential however.
+
+We know that the flux $\phi$ through the solenoid is $\phi=B\cdot \pi r^2$ for $r$ the radius of the solenoid, and that $\mathbf{B} = \nabla \times \mathbf{A}$.
+
+The vector potential $\mathbf{A}$ changes our Hamiltonian to
+
+$$
+H = \frac{(\mathbf{p} + e\mathbf{A})^2}{2m} + V(\mathbf{r}).
+$$
+
+If you are wondering about this change, the main point is that the momentum operator has changed in the standard way for quantum mechanics to include the vector potential such that the canonical commutation relation $[r_i, p_j] = i\hbar \delta_{ij}$ still holds.
+
+How now do we solve for $\psi$ in $H \psi = E \psi$ for this Hamiltonian? There
+is a simple way to solve this using the solution when $\mathbf{A}=0$, which we
+denote as $\psi_0$.
+
+We define
+
+$$
+\psi (\mathbf{r}) = e^{i g(\mathbf{r})} \psi_0(\mathbf{r}) ,\text{ where  }
+g(\mathbf{r}) = -\frac{e}{\hbar} \int_{\mathbf{r}_0}^{\mathbf{r}}
+\mathbf{A}(\mathbf{r}) \cdot d \mathbf{r}
+$$
+
+$g(\mathbf{r})$ is defined as a line integral, which is only well-defined if $\mathbf{B} = \nabla \times \mathbf{A} = 0$. This is precisely the situation we have engineered with the solenoid.
+
+It is simple to check that this solution works:
+
+$$
+\begin{aligned}
+(\mathbf{p} + e\mathbf{A})\psi &= (-i\hbar\nabla + e\mathbf{A})\psi \\
+&= -i\hbar e^{i g} i (\nabla g) \psi_0 - i\hbar e^{ig} \nabla \psi_0
++ e \mathbf{A} e^{ig}\psi_0 \\
+&= -i\hbar e^{i g} i (-\frac{eA}{\hbar}) \psi_0 - i\hbar e^{ig} \nabla \psi_0
++ e \mathbf{A} e^{ig}\psi_0 \\
+&= e^{ig}(\mathbf{p}\psi_0)
+\end{aligned}
+$$
+
+Applying this operator twice then will give $e^{ig} (\mathbf{p}^2 \psi_0)$. And so since $\psi_0$ satisfies $H_0 \psi_0= E_0 \psi_0$, the function $\psi=e^{ig} \psi_0$ satisfies the equivalent equation with $\mathbf{A}$ in it.
+
+Turning back to the beam splitter and the solenoid, we can see that each path will pick up a different phase factor.
+
+$$
+\psi_0 e^{ig} \rightarrow \psi_0 e^{\pm i \gamma} , \text{ where  }
+\gamma = -\frac{e}{\hbar} \int \mathbf{A}(\mathbf{r}) \cdot d \mathbf{r}
+$$
+
+If, contrary to the figure, we take two semi-circular paths around the solenoid, we can evaluate what the phase associated with each path is using the circle element on the path $r d\phi$.
+
+$$
+\gamma = -\frac{e}{\hbar} \int \frac{\phi}{2 \pi r} \hat{\phi} \cdot r d\phi \hat{\phi} =
+-\frac{e \phi}{ 2 \pi \hbar} \int d\phi = \pm \frac{e \phi}{2\hbar}.
+$$
+
+The *difference* between the two paths is then $e \phi/\hbar$. As we saw in the beam splitter, this difference can be measured in experiment through interference.
+
+Some comments:
+
+* $\mathbf{A}$ matters for this derivation, *not* the magnetic field
+  $\mathbf{B}$!
+* $\gamma$ is explicitly gauge invariant (adding some term $\nabla f$ to
+  $\mathbf{A}$ doesn't change the result)
+
+### Connection to the Berry Phase
+
+If we confine the electron to a box at some point $\mathbf{R}(t)$, and slowly
+move the box around the solenoid, we want to find the Berry phase that this
+electron acquires as the box moves around the solenoid.
+
+If we had no solenoid, the wavefunction that we would have would be centred
+around $\mathbf{R}$, and going around in a circle. This can be written as
+$\psi_0(\mathbf{r}-\mathbf{R})$.
+
+With the solenoid present we use the same trick as we did above by setting
+$\psi$ to
+
+$$
+\psi (\mathbf{r}) = e^{i g(\mathbf{r})} \psi_0(\mathbf{r} - \mathbf{R}), \text{  where  }
+g(\mathbf{r}) = -\frac{e}{\hbar} \int_{\mathbf{R}}^{\mathbf{r}} \mathbf{A} \cdot d \mathbf{r}
+$$
+
+Then,
+$$
+\nabla_{\mathbf{R}} \psi(\mathbf{r}) = -i \frac{e}{\hbar} \mathbf{A}(\mathbf{R})
+e^{i g(\mathbf{r})} \psi_0(\mathbf{r} - \mathbf{R})
+- e^{i g(\mathbf{r})} \nabla_{\mathbf{r}} \psi_0(\mathbf{r} - \mathbf{R})
+$$
+where we used the fact that $\nabla_{\mathbf{R}} \psi_0(\mathbf{r} -
+\mathbf{R}) = -\nabla_{\mathbf{r}} \psi_0(\mathbf{r} - \mathbf{R})$.
+
+We can now use this to evaluate inner product inside the integral of the Berry
+phase:
+
+$$
+\begin{aligned}
+\langle \psi| \nabla_{\mathbf{R}} \psi \rangle  &= \int e^{-ig} \psi_0(\mathbf{r} -
+\mathbf{R}) \left[ -\frac{e}{\hbar}\mathbf{A}(\mathbf{R})
+    e^{ig}\psi_0(\mathbf{r} - \mathbf{R}) - e^{ig} \nabla_{\mathbf{r}}
+    \psi_0(\mathbf{r} - \mathbf{R})\right] d^3r \\
+&= -\frac{ie}{\hbar} \mathbf{A}(\mathbf{R}) - \frac{i}{\hbar} \langle{\mathbf{p}}{\psi_0}\rangle.
+\end{aligned}
+$$
+
+But the expectation value of the momentum is 0 for a particle confined in a box!
+So we find that
+
+$$
+\begin{aligned}
+\gamma_n &= - i \oint \frac{ie}{\hbar} \mathbf{A}(\mathbf{R}) \cdot
+d\mathbf{R} \\
+&= \frac{e}{\hbar} \int \nabla \times \mathbf{A} da \\
+&= \frac{e\phi}{\hbar}.
+\end{aligned}
+$$
+
+## Summary
+
+The Berry phase can be expressed in terms of an arbitrary time-dependent parameter $\mathbf{R}(t)$ as,
+$$
+\gamma_n(t) = i \int_{\vec{R}(0)}^{\vec{R}(t)} \langle{ \psi_n | \vec{\nabla_R}\psi_n} \rangle
+\cdot d\vec{R}.
+$$
+The Aharonov-Bohm effect arises as an extra phase due to the coupling of the wavefunction with the vector potential when traveling around a solenoid. The acquired phase is proportional to the magnetic flux going through the solenoid. That is,
+$$
+\gamma = \pm \frac{e \phi}{2\hbar}.
+$$

src/adiabatic_landau_zener.md

+# The Landau-Zener effect
+
+```python inline
+import common
+from IPython.display import HTML, display
+common.configure_plotting()
+```
+!!! success "Expected prerequisites"
+
+    Before the start of this lecture, you should be able to:
+
+    - Solve a $2\times 2$ Hamiltonian.
+    - Explain the adiabatic theorem.
+
+!!! summary "Learning goals"
+
+    After this lecture you will be able to:
+
+    - Describe the role of the velocity in the evolution of a two level system.
+    - Describe the interplay between the gap and the velocity during the evolution.
+    - Extend the discussion to systems with more energy levels.
+
+
+## Adiabatic evolution of a quantum system
+
+The problem of two levels crossing is often encountered in quantum mechanics applications. The [Landau](https://www.scirp.org/(S(351jmbntvnsjt1aadkposzje))/reference/ReferencesPapers.aspx?ReferenceID=1566156) and [Zener](https://www.jstor.org/stable/96038?origin=ads) effect describes how a two level system evolves under a time-dependent Hamiltonian. Consider a system described as
+$$
+H(t) |\Psi(t) \rangle =  E(t) |\Psi(t) \rangle.
+$$
+The solution of this equation can be writen as,
+$$
+|\Psi(t) \rangle = \sum_n c_n(t) |\psi_n\rangle.
+$$
+From the adibatic theorem, we know that the system will remain in the $n-th$ eigenstate if it evolves adiabatically from $t=0$ to $t=T$, that is $|c_0(0)|=|c_0(T)|=1$. However, if the evolution is not sufficiently *slow*, the system will leak to high energy states as $c_{n\neq 0}(T) \neq 0$.
+
+## Two level system
+
+Consider a two level system described by the Hamiltonian,
+$$
+H(t) = \left( \begin{array}{cc}
+vt & \Delta \\
+\Delta & -vt
+\end{array}
+\right).
+$$
+Here $\Delta$ is the coupling between the two levels, $t$ is time, and $v$ is a the velocity at which the Hamiltonian changes. We can find an explicit expression for the energy levels and eigenstates following the usual procedure. The time-dependent state of the system can be written as,
+$$
+|\Psi(t)\rangle = c_0(t) |0\rangle + c_1(t) |1\rangle.
+$$
+
+Landau and Zaner found an explicit expression that describes the probability of tuneling to a high energy state as $t\rightarrow \infty$. It is
+$$
+P \sim e^{-\frac{\pi}{2v h} \frac{\Delta}{E_0-E_1}}.
+$$
+Here, $\Delta = \langle 0 | H |1 \rangle$, and $v=d(E_0(t)-E_1(t))/dt$. From the adiabatic theorem, we recall that when the system evolves in an adiabatic way, it will remain in the initial eigenstate as shown in the animation below.
+
+```python inline
+import landau_zener as lz
+
+times, ens1, probs1 = lz.landau_zener_data(L=2, v=0.0001, gap=1)
+anim = lz.animate_landau_zener(times=times,
+                               ens=ens1,
+                               probs=probs1,
+                               interval=100,
+                               L=2,
+                               title=r'adiabatic: $v=10^{-3}$')
+
+display(HTML(common.to_svg_jshtml(anim)))
+```
+
+However, if the evolution is non-adiabatic, the adiabatic theorem will no longer hold. That is, the system will evolve towards excited states at the gap crossing.
+
+```python inline
+import landau_zener as lz
+
+times, ens1, probs1 = lz.landau_zener_data(L=2, v=1, gap=1)
+anim = lz.animate_landau_zener(times=times,
+                               ens=ens1,
+                               probs=probs1,
+                               interval=10,
+                               L=2,
+                               title=r'adiabatic: $v=1$')
+
+display(HTML(common.to_svg_jshtml(anim)))
+```
+
+One can observe that in the non-adiabatic case, the system evolves to the excited state. On the other hand, for adiabatic evolution the system remains mostly in the ground state. This evolution can be directly observed in the coefficients of $|\Psi(t)\rangle$ as shown below.
+
+```python inline
+import landau_zener as lz
+import matplotlib.pyplot as plt
+
+_, _, probs1 = lz.landau_zener_data(v=1, L=2, npts=100, gap=1)
+_, _, probs2 = lz.landau_zener_data(v=0.0001, L=2, npts=100, gap=1)
+
+labels=[r'$|c_0(t)|^2$', r'$|c_1(t)|^2$', r'$|c_2(t)|^2$']
+colors=['darkblue', 'red', 'green']
+
+fig, ax = plt.subplots(nrows=1, ncols=2, figsize=(10, 4))
+
+i = 0 
+for level in probs1.T:
+    ax[0].plot(level**2, label=labels[i], c=colors[i])
+    i += 1
+ax[0].set_ylim(0, 1.1);
+i = 0
+for level in probs2.T:
+    ax[1].plot(level**2, label=labels[i], c=colors[i])
+    i += 1
+
+for axes in ax:
+    #axes.set_ylabel(r'$|c|_$', fontsize=15)
+    axes.set_xlabel(r'$t$', fontsize=15)
+    axes.legend(fontsize=12)
+    axes.set_xticks([]);
+
+ax[0].set_title(r'non-adiabatic: $v=1$');
+ax[1].set_title(r'adiabatic: $v=10^{-3}$');
+
+```
+
+## Gap dependence
+
+The gap between the two states determines the speed required for the process to be adiabatic. Therefore, systems with different gaps will have different behaviours even if they have the same velocity.
+
+```python inline
+import landau_zener as lz
+
+times, ens1, probs1 = lz.landau_zener_data(L=2, v=1, gap=1)
+_, ens2, probs2 = lz.landau_zener_data(L=2, v=1, gap=0.1)
+probs = [probs1, probs2]
+ens = [ens1, ens2]
+anim = lz.animate_landau_zener_2plots(times=times,
+                                      ens=ens,
+                                      probs=probs,
+                                      interval=50,
+                                      title='',
+                                      subtitles=[r'$v=1$, $\Delta=1$', r'$v=1$, $\Delta=0.1$']);
+
+display(HTML(common.to_svg_jshtml(anim)))
+```
+
+## Systems with more levels
+
+One can expect the intuition of the two-level case to hold for systems with many more levels. That is, if evolution is not adiabatic, interactions of many levels will induce transitions to higher excited states as can be observed in the animation below.
+
+```python inline
+import landau_zener as lz
+
+times, ens1, probs1 = lz.landau_zener_data(L=3, v=1, gap=1)
+anim = lz.animate_landau_zener(times=times,
+                               ens=ens1,
+                               probs=probs1,
+                               interval=10,
+                               L=3,
+                               title=r'non-adiabatic: $v=1$');
+
+display(HTML(common.to_svg_jshtml(anim)))
+```
+
+## Summary
+
+If the evolution of a system is not adiabatic, the population of the ground state will leak towards high energy states depending on how the levels interact.

src/adiabatic_proof.md

+# Proof of adiabatic theorem
+
+!!! success "Expected prerequisites"
+
+    Before the start of this lecture, you should be able to:
+
+    - Write down the Schrodinger equation.
+    - Distinguish between time-dependent and time-independent Schrodinger equation.
+    - Solve first order ordinary differential equations.
+
+
+!!! summary "Learning goals"
+
+    After this lecture you will be able to:
+
+    - Write down the wavefunction of a system under adiabatic changes.
+    - Explain the origin of the dynamic and geometrical phases.
+    - Write down the criteria required for the adiabatic theorem to hold.
+
+## Proof of the theorem
+
+So far we have just *stated* the theorem and shown a couple examples.
+Now we will formulate the theorem in a mathematical way and prove it.
+
+Our starting point is the *time-dependent Schrodinger equation*:
+$$
+i \hbar \frac{\partial}{\partial t} \left|\Psi(t)\right> = H(t) \left|\Psi(t)\right>\, 
+$$
+with a time-dependent Hamiltonian $H(t)$. For notational simplicity, we will
+in the following often leave out the explicit bra-ket notation, and simple write $\Psi(t)$ instead
+of $\left|\Psi(t)\right>$.
+
+We now want to consider a Hamiltonian $H(t)$ that cheanges slowly in time. But what does *slowly* mean,
+slow compared to what? In contrast to the WKB approximation this is less obvious, and
+we will find a proper criterion in the course of the proof.
+
+If we have a time-independent Hamiltonian $H$, the time-dependent Schrodinger equation
+is readily solved as,
+$$
+H \phi_n = E_n \phi_n,\quad \phi_n(t)= \phi_n(0) e^{-i E_n t / \hbar},
+$$
+where we have used $\phi$ to denote the eigenstates of $H$.
+
+To solve the time-dependent problem, we will now start with a definition: We define $\psi_n(t)$ to be those eigenfunctions that solve the
+equation
+$$
+H(t) \psi_n(t) = E_n(t) \psi_n(t)\,
+$$
+where we now consider time $t$ as a *parameter* of the Hamiltonian that we can fix to some arbitrary value.
+
+!!! warning "Instantaneous eigenstates"
+
+    The states $\psi_n(t)$ *do not solve the time-dependent Schrodinger equation!* (despite the occurance of $H(t)$ in the equation). In contrast, the $\psi_n(t)$ that we have just defined solve a stationary Schrodinger equation (we fix $t$ to some value). As a result they must constitute a complete, orthogonal set for any time $t$. That is: $\langle{\psi_n(t) | \psi_m(t)} \rangle = \delta_{nm}$.
+
+    If we take two different times $t$ and $t'$, we cannot say anything about the inner product $\langle {\psi_n(t) | \psi_m(t')} \rangle$ in general, since the $\psi_m$ could evolve in any way in principle, such that the overlap between $\psi_n$ and $\psi_m$ is no longer 0.
+
+
+Because the $\psi_n(t)$ form a complete orthonormal set, we can express the the full quantum state $\Psi(t)$ as a linear combination of the states $\psi_n(t)$:
+
+$$
+\Psi(t) = \sum_n c_n(t) \psi_n(t) e^{i \theta_n(t)}.
+$$
+
+where $\theta_n(t) = -\frac{1}{\hbar} \int_0^t E_n(t) dt$. What we do here is expand the wave function $\Psi(t)$ in a different basis for every value time $t$ (using the set of $\{\psi_n(t)\}$). This is allowed, for a given value of time $t$ the wave function $\Psi(t)$ can be expanded in any arbitrary basis set.
+
+We could have absorbed the exponential factor involving $\theta$ into the $c_n(t)$, but as we will see it is convenient to include it explicitly. This term may look strange, but in fact it is a straightforward generalisation of the phase factor that an eigenstate picks up, which would be $\exp (-i E_n t/ \hbar)$,
+when using a constant Hamiltonian.
+
+Now we have an expression for $\Psi(t)$ and we want to see what that gives us when we apply the time-dependent Schrodinger equation to it. We get
+$$
+i \hbar \sum_n \left[ \dot{c}_n \psi_n + c_n \dot{\psi}_n +
+c_n \psi_n i \dot{\theta}_n \right] e^{i \theta_n} =
+\sum_n c_n(t) H(t) \psi_n(t) e^{i \theta_n(t)}.
+$$
+Now we remember that we defined $\psi_n$ to satisfy $H \psi_n = E_n \psi_n$, and
+we recognize that
+
+$$
+i \dot{\theta}_n = -\frac{i}{\hbar} E_n(t)
+$$
+
+so the $\theta$ derivative term on the left-hand side cancels with the right-hand side of the previous equation. What we are left with is
+
+$$
+i \hbar \sum_n \left( \dot{c}_n \psi_n + c_n \dot{\psi}_n \right) e^{i \theta_n} = 0 \\
+\sum_n \dot{c}_n \psi_n e^{i \theta_n} = - \sum_n c_n \dot{\psi}_n e^{i \theta_n}
+$$
+
+By projecting these expressions on the $\psi_m$ eigenstate (which amounts to applying $\langle\psi_m|$ from the left on both sides), we find that
+
+$$
+\dot{c}_m = - \sum_n c_n \langle{\psi_m| \dot\psi_n} \rangle e^{i (\theta_n - \theta_m)}
+$$
+where we used the orthogonality of $\psi_n$ and $\psi_m$ to eliminate the sum on the left-hand side.
+
+In order to make progress evaluating what $\langle{\psi_m| \dot\psi_n} \rangle$ might be, we take the derivative of the time-independent Schrodinger equation which we used to define the $\psi_n$ in the first place. That is,
+
+$$
+\dot{H}\psi_n + H \dot{\psi}_n = \dot{E}_n \psi_n + E_n \dot{\psi}_n
+$$
+
+Again projecting this onto the $\psi_m$ gives us:
+
+$$
+\begin{aligned}
+\langle{\psi_m | \dot{H} | \psi_n }\rangle + \langle{\psi_m | {H} | \dot \psi_n }\rangle =
+\dot{E}_n \langle{\psi_m| \psi_n} \rangle + E_n \langle{\psi_m| \dot\psi_n} \rangle \\
+\langle{\psi_m | \dot{H} | \psi_n }\rangle + E_m\langle{\psi_m| \dot\psi_n} \rangle =
+\dot{E}_n \delta_{nm} + E_n \langle{\psi_m| \dot\psi_n} \rangle \\
+\end{aligned}
+$$
+
+So for $n\neq m$, we find that
+
+$$
+\langle{\psi_m| \dot\psi_n} \rangle = \frac{\langle{\psi_m | \dot{H} | \psi_n }\rangle}{E_n - E_m}.
+$$
+
+When we have slow, gradual change being applied to the system, $\dot{H}$ is small. Now we are finally ready to make the **approximation** that you must have been anticipating since reading the title of these notes. We *neglect* the contributions when $n \neq m$ and just get:
+
+$$
+\dot{c}_m = -c_m \langle{\psi_m| \dot\psi_m} \rangle.
+$$
+
+!!! summary "Adiabatic approximation"
+
+    What is considered *slow* is determined by $E_n - E_m$. If the energy difference is *large*, then a gradual change could mean something that is much faster than we might expect. We also see that in cases of degeneracy  (when $E_n = E_m$ despite $n \neq m$), there isn't *any* definition of slow that is slow enough. The adiabatic approximation breaks down here. Similarly if we change the system in such a way that two energy levels that were separated come together or switch places, the approximation will again break down.
+
+Solving the equation for the coefficients gives
+
+$$
+c_m(t) = c_m(0) e^{i \gamma(t)}, \quad \text{ where  } \gamma(t) = i \int_0^t \langle{\psi_m| \dot\psi_n} \rangle dt'
+$$
+
+(You may notice that the factor $i$ appears twice in the above expression, both in the expression $e^{i \gamma(t)}$ and in the definition of $\gamma(t)$. This is not a mistake, as we will see later.)
+
+So if we start in the $n^{\text{th}}$ eigenstate of the initial Hamiltonian,
+that means that $\Psi = \psi_n$. So $c_n(0) = 1$ and all $c_m(0) = 0$ for $n
+\neq m$. Then the full wavefunction after the gradual change has taken place is
+
+$$
+\Psi(t) = e^{i \theta_n(t)} e^{i\gamma_n(t)} \psi_n(t).
+$$
+The $n^{\text{th}}$ eigenstate stays in the $n^{\text{th}}$ eigenstate.
+
+### Adiabatic criteria: how slow is *slow*?
+
+In order to obtain the result above, the terms $n\neq m$ have been neglected by considering their contribution small. In principle, it should be smaller than the time associated with the energy difference of the first excitation. That is,
+
+$$
+\frac{\langle \psi_m | \dot H |\psi_n\rangle}{E_m - E_n}<< \frac{E_m - E_n}{\hbar}.
+$$
+
+This result can be derived in the style of perturbation theory. Let us evaluate the first order solution that satiesfies $c_m(t) = 1$ and $c_{n\neq m}(t)=0$. That is,
+
+$$
+\dot c_n(t) = \frac{\langle \psi_m | \dot H |\psi_n \rangle}{E_m(t) - E_n(t)} e^{-\frac{i}{\hbar} \int_{0}^t E_m(t') - E_n(t') dt'}.
+$$
+
+The coefficient is obtained by integrating the previous equation as,
+
+$$
+\rightarrow c_n(T) = \int_{0}^T \dot c_n(t) dt =  \int_{0}^T \frac{\langle \psi_m | \dot H |\psi_n\rangle}{E_m(t) - E_n(t)} e^{-\frac{i}{\hbar} \int_{0}^t E_m(t') - E_n(t') dt'} dt.
+$$
+
+There are several time dependent quantities in the previous expression. However, we approximate some of them by using the following bounds: 
+
+* The largest contribution from the rate of change in the Hamiltonian will come from the largest eigenvalue.
+
+$$
+\langle \psi_m (t) | \dot H |\psi_n(t) \rangle \approx \overline{\langle \psi_m | \dot H |\psi_n\rangle}
+$$
+
+* The smallest energy difference will contribute the most.
+
+$$
+E_m(t) - E_n(t) \approx \overline{E_m - E_n}
+$$
+
+After such approximations, these quantities are replaced in the formula for the coefficients. Since they are not time-dependent anymore, it can be solved as,
+
+$$
+c_n(T) = \frac{\overline{\langle \psi_m | \dot H |\psi_n\rangle}}{\overline{E_m - E_n}} e^{-\frac{i}{\hbar} \int_0^t \overline{E_m - E_n} dt'}
+$$
+
+$$
+c_n(T) = \frac{\overline{\langle \psi_m | \dot H |\psi_n\rangle}}{\overline{E_m - E_n}} \frac{i\hbar }{\overline{E_m - E_n}}\left( e^{-i \overline{E_m - E_n} T /\hbar } - 1 \right).
+$$
+
+We have found an expression for the coefficients where $n \neq m$. The addibatic approximation assumes that these coefficients are small. This criteria can be explicitly written as,
+
+$$
+|c_n(T)| \leq \frac{\hbar \overline{\langle \psi_m | \dot H |\psi_n\rangle} }{\overline{E_m - E_n}^2} << 1
+$$
+
+We recover what we first presented at this section.
+
+## Summary
+
+Under adiabatic evolution, the wavefunction of the system is given as,
+$$
+\Psi(t) = e^{i \theta_n(t)} e^{i\gamma_n(t)} \psi_n(t).
+$$