T-8

Goal: the goal of this set of problems is to derive a criterion for localization on a peculiar lattice, the Bethe lattice.
Techniques: green functions, recursion relations, cavity method.

A criterion for localization

Green functions and self-energies. Given a lattice with $N$ sites $a$ , we call $|a\rangle$ the wave function completely localised in site $a$ . The Anderson model has Hamiltonian
$H=W\sum _{a}\epsilon _{a}|a\rangle \langle a|-\sum _{<a,b>}V_{ab}\left(|a\rangle \langle b|+|b\rangle \langle a|\right)$

where the local fields $\epsilon _{a}$ are random variables, independent and distributed according to some distribution $p(\epsilon )$ . We introduce the Green functions $G_{ab}(z)$ and the local self-energies $\sigma _{a}(z):$ these are functions of a complex variable belonging to the upper half of the complex plane,

$z=E+i\eta ,\quad \quad \eta >0$

and are defined by

$G_{ab}(z)=\langle a|{\frac {1}{z-H}}|b\rangle ,\quad \quad G_{aa}(z)=\langle a|{\frac {1}{z-H}}|a\rangle ={\frac {1}{z-\epsilon _{a}-\sigma _{a}(z)}}.$

It is clear that when the kinetic term $V$ in the Hamiltonian vanishes, the local self-energies vanish: they encode how much the energy levels $\epsilon _{a}$ (that are the eigenvalues when $V=0$ ) are shifted by the presence of the kinetic term $V$ . They are random functions, because the Hamiltonian contains randomness. The Green functions and the self-energies encode properties on the spectrum of the Hamiltonian; the local density of eigenvalues $\rho _{a,N}(E)$ for an Hamiltonian on a lattice of size $N$ is indeed given by
$\rho _{a,N}(E)=-{\frac {1}{\pi }}\lim _{\eta \to 0}\Im G_{aa}(E+i\eta )=\sum _{\alpha =1}^{N}|\langle E_{\alpha }|a\rangle |^{2}\delta (E-E_{\alpha }),$
where $E_{\alpha }$ are the eigenvalues of the full Hamiltonian $H$ and $|E_{\alpha }\rangle$ the corresponding eigenstates.

Self-energies and return probabilities. The local self-energies encode some information on the system’s dynamics, and thus on whether localization occurs. Consider a quantum particle initialised on the site $a$ at $t=0$ . The return probability amplitude , i.e. the probability amplitude to find the particle on the same site at later time, is
${\mathcal {A}}_{a}(t)=\theta (t)\langle a|e^{-itH}|a\rangle =\lim _{\eta \to 0}\int {\frac {idE}{2\pi }}e^{-itH}G_{aa}(E+i\eta )=\lim _{\eta \to 0}\int {\frac {idE}{2\pi }}e^{-itH}G_{aa}(E+i\eta )=\lim _{\eta \to 0}\int {\frac {idE}{2\pi }}{\frac {e^{-itH}}{E+i\eta -\epsilon _{a}-\sigma _{a}(E+i\eta )}}.$

If the self-energy has a non-zero imaginary part:

$\lim _{\eta \to 0}\lim _{N\to \infty }\sigma _{a}(E+i\eta )=R(E)-i\Gamma (E),$

then one can easily show (Residue theorem) that the return probability amplitude ${\mathcal {A}}_{a}(t)$ decays exponentially

${\mathcal {A}}_{a}(t)\sim A(t)e^{-\gamma t}+B(t),\quad \quad \quad \gamma =\Gamma (\epsilon _{a})+O(V^{4}).$

Therefore, the system is not localized, since the probability to find it, at $t\gg 1$ , in the same configuration where it was at $t=0$ decays very fast.
A criterion for localization. Motivated by the reasoning above, one can claim that localization occurs whenever the imaginary part of $\sigma (E+i\eta )$ goes to zero when $\eta \to 0$ . Given the randomness, this criterion should however be formulated probabilistically, as
$\lim _{\eta \to 0}\lim _{N\to \infty }\mathbb {P} \left(-\Im \sigma _{a}(E+i\eta )>0\right)=0\quad \Longrightarrow \quad {\text{Localization}}$

imaginary part

\eta

Problems

Problem 8: the Bethe lattice, recursion relations and cavity

A Bethe lattice with

k=2

.

The Bethe lattice is a lattice with a regular tree structure: each node has a fixed number of neighbours $k+1$ , where $k$ is the branching number, and there are no loops (see sketch). In these problems we consider the Anderson model on such lattice.

Green functions identities. Consider an Hamiltonian split into two parts, $H=H_{0}+V$ . Show that the following general relation for the Green functions holds (Hint: perturbation theory!)
$G=G^{0}+G^{0}VG,\quad \quad G^{0}={\frac {1}{z-H_{0}}},\quad \quad G={\frac {1}{z-H}}.$

Cavity equations. We now apply this to a specific example: we consider a Bethe lattice, and choose one site 0 as the root. We then choose $V$ to be the kinetic terms connecting the root to its $k+1$ neighbours $a_{i}$ ,
$V=-\sum _{i=1}^{k+1}V_{0a_{i}}\left(|a_{i}\rangle \langle 0|+|0\rangle \langle a_{i}|\right)$

For all the $a_{i}$ with $i=1,\cdots ,k+1$ we introduce the notation

$G_{a_{i}}^{\text{cav}}\equiv G_{a_{i}a_{i}}^{0},\quad \quad \sigma _{a_{i}}^{\text{cav}}\equiv \sigma _{a_{i}a_{i}}^{0},$

where $\sigma ^{0}$ is the self energy associated to $G^{0}$ . Show that, due to the geometry of the lattice, with this choice of $V$ the Hamiltonian $H_{0}$ is decoupled and $G_{a_{i}}^{\text{cav}}$ is the local Green function that one would have obtained removing the root 0 from the lattice, i.e., creating a “cavity” (hence the suffix). Moreover, using the relation above show that

$G_{00}(z)={\frac {1}{z-\epsilon _{0}-\sum _{i=1}^{k+1}t_{0a_{i}}^{2}G_{a_{i}}^{\text{cav}}(z)}}$

Iterating this argument, show that if $\partial a_{i}$ denotes the collection of “descendants" of $a_{i}$ , i.e. sites that are nearest neighbours of $a_{i}$ except the root, then

$G_{a_{i}}^{\text{cav}}(z)={\frac {1}{z-\epsilon _{a_{i}}-\sum _{b\in \partial a_{i}}t_{a_{i}b}^{2}G_{b}^{\text{cav}}(z)}},\quad \quad \sigma _{a_{i}}^{\text{cav}}(z)=\sum _{b\in \partial a_{i}}t_{a_{i}b}^{2}G_{b}^{\text{cav}}(z)=\sum _{b\in \partial a_{i}}{\frac {t_{a_{i}b}^{2}}{z-\epsilon _{b}-\sigma _{b}^{\text{cav}}(z)}}$
Equations for the distribution. Justify why the cavity functions appearing in the denominators in the last equations above are independent and identically distributed random variables, and therefore the cavity equations can be interpreted as self-consistent equations for the distribution of the cavity functions.