# Bulk-edge correspondence in the Kitaev chain¶

## Unpaired Majorana modes in one-dimensional systems¶

### Fermion operators and Majorana operators¶

Let’s start from the creation and annihilation operators $$c^\dagger$$ and $$c$$ of a fermionic mode. These operators satisfy the anticommutation relation $$c^\dagger c + cc^\dagger = 1$$ and, furthermore, square to zero, $$c^2=0$$ and $$(c^\dagger)^2=0$$. They connect two states $$\left|0\right\rangle$$ and $$\left|1\right\rangle$$ which correspond to the ‘vacuum’ state with no particle and the ‘excited’ state with one particle, according to the following rules $$c \left|0\right\rangle = 0$$, $$c^\dagger\left|0\right\rangle=\left|1\right\rangle$$ and $$c^\dagger \left|1\right\rangle = 0$$.

When you have a pair of $$c$$ and $$c^\dagger$$ operators, you can write them down in the following way

$c^\dagger = \tfrac{1}{2}(\gamma_1+i\gamma_2),\;\; c = \tfrac{1}{2}(\gamma_1-i\gamma_2).$

The operators $$\gamma_1$$ and $$\gamma_2$$ are known as Majorana operators. By inverting the transformation above, you can see that $$\gamma_1=\gamma_1^\dagger$$ and $$\gamma_2=\gamma_2^\dagger$$. Because of this property, we cannot think of a single Majorana mode as being ‘empty’ or ‘filled’, as we can do for a normal fermionic mode. This makes Majorana modes special.

You can also check that to maintain all the properties of $$c$$ and $$c^\dagger$$, the operators $$\gamma_1$$ and $$\gamma_2$$ must satisfy the following relations:

$\gamma_1\gamma_2 + \gamma_2\gamma_1 = 0\;,\;\gamma_1^2=1\;,\;\gamma_2^2=1\;.$

You can see that Majorana modes are similar to normal fermions in the sense that they have operators which all anticommute with each other. Using Majorana modes instead of normal fermionic modes is very similar to writing down two real numbers in place of a complex number. Indeed, every fermion operator can always be expressed in terms of a pair of Majorana operators. This also means that Majorana modes always come in even numbers.

The two Majorana operators $$\gamma_1, \gamma_2$$ still act on the same states $$\left|0\right\rangle$$ and $$\left|1\right\rangle$$. If these two states have an energy difference $$\epsilon$$, this corresponds to a Hamiltonian $$H=\epsilon c^\dagger c$$. We can also express this Hamiltonian in terms of Majoranas as $$H=\tfrac{1}{2}\,\epsilon\,(1 - i\gamma_1\gamma_2)$$.

But is it possible to have a single isolated Majorana mode, one that is not close to its partner? The naive answer is ‘no’: condensed matter systems are made out of electrons, and these always correspond to pairs of Majoranas. However, it turns out that by engineering the Hamiltonian in a special way it actually is possible to separate two Majoranas.

### Unpaired Majorana modes in a model of dominoes¶

Let’s see how creating isolated Majoranas can be done. Let us consider a chain of $$N$$ sites, where each site can host a fermion with creation operator $$c^\dagger_n$$. Equivalently, each site hosts two Majorana modes $$\gamma_{2n-1}$$ and $$\gamma_{2n}$$. This situation is illustrated below for $$N=4$$, where each site is represented by a domino tile. What happens if we pair the Majoranas? This means that the energy cost for each fermion to be occupied is $$\mu$$, and the Hamiltonian becomes

$H=(i/2)\,\mu\, \sum_{n=1}^{N} \gamma_{2n-1}\gamma_{2n}.$

This is how the pairing looks: All the excitations in this system have an energy $$\pm|\mu|/2$$, and the chain has a gapped bulk and no zero energy edge states.

Of course this didn’t help us to achieve our aim, so let’s pair the Majoranas differently. We want only one Majorana to remain at an edge, so let’s pair up the Majoranas from adjacent sites, leaving the first one and the last one without a neighboring partner: To every pair formed in this way, we assign an energy difference $$2t$$ between the empty and filled state, hence arriving at the Hamiltonian

$H=it \sum_{n=1}^{N-1} \gamma_{2n+1}\gamma_{2n}.$

You can see that the two end Majorana modes $$\gamma_1$$ and $$\gamma_{2N}$$ do not appear in $$H$$ at all. Hence our chain has two zero-energy states, localized at its ends. All the states which are not at the ends of the chain have an energy of $$\pm |t|$$, independently on the length of the chain. Hence, we have a one-dimensional system with a gapped bulk and zero energy states at the edges.

### The Kitaev chain model¶

Let us now try to write the Hamiltonian $$H$$, which we have so far written in terms of Majoranas, in terms of regular fermions by substituting $$\gamma_{2n-1}=(c_n^\dagger+c_n)$$ and $$\gamma_{2n}=-i(c_n^\dagger-c_n)$$. We find that both pairings sketched above are extreme limits of one tight-binding Hamiltonian for a one-dimensional superconducting wire:

$H=-\mu\sum_n c_n^\dagger c_n-t\sum_n (c_{n+1}^\dagger c_n+\textrm{h.c.}) + \Delta\sum_n (c_n c_{n+1}+\textrm{h.c.})\,.$

It has three real parameters: the onsite energy $$\mu$$, the hopping $$t$$ between different sites, and the superconducting pairing $$\Delta$$. Note that the $$\Delta$$ terms create or annihilate pairs of particles at neighboring sites.

Starting from this Hamiltonian, the unpaired Majorana regime is the special point $$\Delta=t$$ and $$\mu=0$$, while the completely trivial regime of isolated fermions is $$\Delta=t=0$$ and $$\mu\neq 0$$.

As we learned just before, it is useful to write down the above superconducting Hamiltonian in the Bogoliubov-de Gennes formalism $$H = \tfrac{1}{2} C^\dagger H_\textrm{BdG} C$$, with $$C$$ a column vector containing all creation and annihilation operators, $$C=(c_1, \dots, c_N, c_1^\dagger, \dots, c^\dagger_N)^T$$. The $$2N\times 2N$$ matrix $$H_\textrm{BdG}$$ can be written in a compact way by using Pauli matrices $$\tau$$ in particle and hole space, and denoting with $$\left|n\right\rangle$$ a column basis vector $$(0,\dots,1,0,\dots)^T$$ corresponding to the $$n$$-th site of the chain. In this way, we have for instance that $$C^\dagger\,\tau_z\,\left|n\right\rangle\left\langle n\right|\,C = 2c_n^\dagger c_n-1$$. The Bogoliubov-de Gennes Hamiltonian is then given by

$H_{BdG}=-\sum_n \mu \tau_z\left|n\right\rangle\left\langle n\right|-\sum_n \left[(t\tau_z+i\Delta\tau_y)\,\left|n\right\rangle\left\langle n+1 \right| + \textrm{h.c.}\right].$

The BdG Hamiltonian acts on a set of basis states $$\left|n\right\rangle\left|\tau\right\rangle$$, with $$\tau=\pm 1$$ corresponding to electron and hole states respectively. It has particle-hole symmetry, $$\mathcal{P}H_\textrm{BdG}\mathcal{P}^{-1}=-H_\textrm{BdG}$$ with $$\mathcal{P}=\tau_x\mathcal{K}$$.

### Topological protection of edge Majorana modes¶

The fact that the Kitaev model can have unpaired Majorana zero modes is certainly interesting. At this point you might however object:

“Unpaired Majoranas appear because you chose one particular, and perhaps even unreachable, set of parameters! Clearly by setting $$\mu=0$$ you have cut the first and last Majorana mode from the rest of the chain. I bet that if you change the value of $$\mu$$ only slightly from zero, the zero modes will be coupled to the rest of the chain and quickly disappear. So these Majorana modes may just be an artefact appearing in this highly tuned model!”

Well, let’s test if this objection is true. Let’s start from the situation with unpaired Majorana modes ($$\Delta=t, \mu=0$$) and then increase $$\mu$$. Then let’s plot the energy spectrum of a chain with $$N=25$$ sites as a function of $$\mu$$, and also keep track how do the two lowest energy states of our system look like, when we change $$\mu$$ (move the slider):