Topological insulators II: disorder

Last time we saw how a one particle, pure crystal theory of electrons might give rise to quantised transverse (i.e. Hall) conductance. The theory is simple, but rather leaves out crucial aspects of the phenomenon. Important aspects missing are interactions and disorder. Interactions lead to fractional quantum hall effects, and we do not wish to worry about those here. It's the usual post hoc justification where we see that a single particle theory seems to work, even though precisely why is mysterious — we ask for deliverance from the god of Landau, etc. As far as disorder goes however, things are not so simple. Loss of (lattice) translational invariance leads to a loss of the Brillouin zone, and its attendant topological structures. The classification of states by de Rham cohomology (the TKNN invariant) doesn't work if we don't have a manifold and a differential structure.

Disorder itself is a vast topic. One approach is to simply write down a Hamiltonian with a disorder potential written in, i.e. quenched, and work to compute averages over the disorder realisations. Powerful methods include using supersymmetric field theory and renormalisation. However, in keeping with the idea of simple physics, hard maths, we're going to hit the problem head on with noncommutative geometry.

Heuristically, we can build a picture via Anderson localisation. Although we can no longer use momentum to label states, we can still talk about the density of states for single particles. The disorder first causes a broadening of the Landau levels. Second, we know that in 2D arbitrarily weak disorder can cause localisation, albeit with a divergent localisation length. In a magnetic field the Landau levels are mobility edges, and so on approaching the level, the states start spanning the whole sample. Thus for a finite sample, around the Landau level there are extended states. It seems reasonable to hope that as long as the Fermi level is moving through the localised states, we still get a quantised transverse conductance. To show this, we just need to generalise the TKNN invariant to apply to a system which doesn't have momentum operators commute with the Hamiltonian. The full details can be found in arxiv:cond-mat/9411052.

First, we should say a few words about how noncommutative geometry works. On a usual space $X$ (a manifold say), we can consider the functions $C(X)$ of continuous functions from $X$ to (say) the reals. These functions from a commutative $C^*$-algebra. But we can also go backwards: start with an abstractly defined commutative algebra, ask for the space on which these elements have representation as functions on that space. It turns out that these two views are exactly equivalent, and we can therefore calculate topological quantities (such as the Chern classes) of $X$ by computations on the algebra $C(X)$.

Noncommutative geometry is what you get if you remove the restriction to commutative algebras. It turns out that many of the geometric concepts can be pushed through, and we get new, novel spaces in which to play. In our case, the strategy is to take the TKNN invariant, replace anything which mentions geometry by its algebraic equivalent, and then remove the commutativity requirement, and hope that it remains well-defined and integer valued. The paper above by Bellissard et al. also go through a first principles derivation of the algebraicised Kubo conductance formula, and show that it is related to the Chern class the same way as the TKNN invariant and consider the corrections to the quantum hall regime (it's an excellent paper).

To give a flavour of how it works, recall that the TKNN invariant is basically a suitably integrated derivative of some operator by momentum. Integration can be replaced by a suitable trace; the fact that it is over the Brillouin zone can be considered a normalisation, i.e. it is actually an integral divided by the area. Differentiation can be treated algebraically by treating it as a derivation: $$ \partial_{k} A \rightarrow -i[x,A], $$ relying on the commutator obeying a Leibniz rule and $[x,k] = i$. Thus, we have again turned the problem into a mathematical one, which means we can find clever people to solve it for us. In this case, it can be shown that subject to states at the Fermi level being localised, the algebraicised TKNN invariant is still integer valued. Thus we have a very direct way to show that the topological order is robust in the face of disorder.