Majorana Zero Modes

A Majorana zero mode is the strangest object a superconductor can host: a fermionic excitation that is its own antiparticle, $\gamma=\gamma^\dagger$ , sitting exactly at zero energy. Ordinary matter is built from Dirac fermions — electrons whose creation operator $c^\dagger$ is emphatically not their annihilation operator $c$ . Ettore Majorana asked in 1937 whether a relativistic fermion could instead be real, equal to its own antiparticle. In a metal with a fixed number of electrons the answer is no; but a superconductor's condensate of Cooper pairs freely swallows and emits charge, breaking the U(1) particle-number symmetry down to a single robust quantity — fermion parity. In that setting the Dirac electron can split cleanly into two self-conjugate Majorana halves. The point of splitting a fermion is where quantum information theory enters. One Dirac fermion carries a single occupation number — empty or filled — a qubit. Cut that fermion into two Majorana halves and pin them at opposite ends of a wire, and the qubit is stored nonlocally: neither end alone knows whether the fermion is present, so no local perturbation, stray field, or single-end measurement can read or corrupt it. This is topological protection, qualitatively different from the active error correction that superconducting and trapped-ion machines rely on. Braiding the Majoranas — sliding them around one another in the plane — enacts logic gates fixed by topology alone, immune to the calibration errors that plague every other qubit. The catch, and the frontier, is building the wire, proving the modes genuine, and reaching the non-Clifford gate that braiding alone cannot supply.

Key takeaways

A Majorana zero mode (MZM) is a self-conjugate fermionic excitation, $\gamma=\gamma^\dagger$ , that is its own antiparticle; it lives as a zero-energy boundary mode of a one-dimensional topological superconductor.
Two separated MZMs fuse into one ordinary fermion $c=\tfrac12(\gamma_1+i\gamma_2)$ whose occupation is a nonlocal qubit — no local operator can read or flip it.
Kitaev's chain is the minimal model: in its topological phase $|\mu|<2|t|$ it pins one unpaired Majorana at each end, split from the bulk by an excitation gap.
Braiding MZMs realizes non-Abelian statistics, executing protected Clifford gates by topology rather than by precise control.
Braiding is not universal on its own — it generates only the Clifford group; a non-Clifford $T$ gate plus magic-state distillation is required.
Protection is exponential in $L/\xi$ : the residual splitting $E\sim\Delta\,e^{-L/\xi}$ falls below the neV scale for a micron-long wire, but quasiparticle poisoning and temperature set the true error budget.
Key idea: one Dirac fermion equals two Majorana fermions; separating the halves in space stores the qubit nonlocally, so topology — not control precision — provides the protection.

The core insight

One Dirac fermion equals two Majorana fermions; splitting a fermion into two spatially separated Majorana halves stores quantum information nonlocally, so no local operator can corrupt or measure it — topology, not control precision, provides the protection.

Where this lives today

Majorana research is a live, contested experimental frontier, not a settled result. The dominant hardware bet is the semiconductor–superconductor nanowire: InAs or InSb wires proximitized by aluminium, with electrostatic gates defining the topological segment. The most demanding architecture is the "tetron", a pair of parallel wires bridged into one logical qubit read out by measuring fermion parity through a quantum dot — the measurement-based approach that replaces physically moving Majoranas with sequences of projective parity measurements. A falsifiable "topological gap protocol" was proposed in 2023 and topological-qubit prototypes announced in 2025, though independent confirmation that the observed states are truly nonlocal Majoranas remains debated after the earlier retraction of quantized-conductance claims. Other platforms hunt Majoranas in vortex cores of the iron-based superconductor FeTe $_{0.55}$ Se $_{0.45}$ and in atom-by-atom chains imaged by scanning tunnelling microscopy. Whatever wins, the payoff is the same — a qubit whose error rate is set by geometry and temperature rather than control precision, feeding topological quantum computation, magic-state distillation for the missing $T$ gate, and hybrid surface-code schemes.

The physical picture

Think of an ordinary electron mode as a clock with two hands. A Majorana is a single hand — half a clock — and half a clock cannot sit anywhere without something to complete it. In a topological superconductor the two hands are torn apart and pinned at opposite ends of a wire. The qubit is not stored at either end; it is the question of whether the distant halves, if brought together, would fuse into a filled fermion or an empty one — a question with no local answer, which is why local noise at one end cannot corrupt it. The first figure makes this concrete on Kitaev's lattice: at the sweet spot the bulk pairs up every Majorana except two, left stranded at the ends with nothing to couple to.

Figure

On the Kitaev chain each site carries two Majoranas γ. At the sweet spot μ = 0 and t = Δ the intra-site bonds switch off and each site's second Majorana pairs with the next site's first, leaving γ₁ and γ₁₀ unpaired at the two ends as exact zero-energy Majorana modes

Braiding is choreography. Move the endpoint Majoranas slowly around one another in two dimensions and the operation writes a unitary onto the degenerate ground space that depends only on the topology of the world lines — not on the speed or the exact path. That is the same robustness that makes a knot a knot no matter how you wiggle the rope, and it is why a topological gate is intrinsically calibration-free. The second figure is the map an experimentalist actually navigates: not the abstract lattice but the phase diagram of a real proximitized nanowire, where field and gate voltage must be tuned past a hard boundary before any Majorana appears.

Figure

Topological phase diagram of a proximitized semiconductor nanowire. The boundary V_Z = √(Δ² + μ²) with induced gap Δ = 0.2 meV separates the trivial region below from the topological region above, which hosts one Majorana zero mode at each wire end; a device tuned to μ = 0 must reach V_Z = 0.2 meV before the modes appear

The $\mathbb{Z}_2$ invariant underneath both pictures is a parity bookkeeping device. As the chemical potential is tuned through the gap closing, the bulk band touches zero and the system flips between trivial — every Majorana paired within a unit cell — and topological, with one unpaired half at each end. Self-conjugacy $\gamma=\gamma^\dagger$ is why all of this needs a superconductor: a Majorana carries no definite charge, being an equal superposition of electron and hole, so it can only exist where the condensate makes charge ambiguous and leaves fermion parity as the sole good quantum number.

The core equations

The starting point is the algebra that defines a Majorana operator. Unlike a Dirac fermion, it is Hermitian — self-conjugate — and squares to one; the anticommutation relation below replaces the usual $\{c_i,c_j^\dagger\}=\delta_{ij}$ .

\gamma_i=\gamma_i^\dagger,\qquad \{\gamma_i,\gamma_j\}=2\delta_{ij} \qquad (1)

where: $\gamma_i$ — Hermitian (self-conjugate) Majorana operator; $\{\cdot,\cdot\}$ — anticommutator; $\delta_{ij}$ — Kronecker delta. The normalization forces $\gamma_i^2=1$ , so a Majorana has no independent number operator of its own — it is genuinely half a degree of freedom. Because one Majorana carries no occupation number, they must be assembled in pairs. Two combine into one complex fermion — the whole trick: always algebraically possible, but only physically useful when the halves can be pulled far apart.

c=\tfrac12(\gamma_1+i\gamma_2),\qquad c^\dagger=\tfrac12(\gamma_1-i\gamma_2) \qquad (2)

where: $c,c^\dagger$ — fermion annihilation and creation operators obeying $\{c,c^\dagger\}=1$ ; $\gamma_1,\gamma_2$ — the two Majorana halves. Inverting gives $\gamma_1=c+c^\dagger$ , $\gamma_2=-i(c-c^\dagger)$ ; the occupation $c^\dagger c\in\{0,1\}$ is the nonlocal qubit. Kitaev's chain is the minimal Hamiltonian that realizes this splitting spatially. In Majorana operators (two per site) it separates into an intra-site term set by the chemical potential and two inter-site terms set by hopping and pairing.

H=\frac{i}{2}\sum_{j}\Big[\mu\,\gamma_{2j-1}\gamma_{2j}-(t+\Delta)\,\gamma_{2j}\gamma_{2j+1}-(t-\Delta)\,\gamma_{2j-1}\gamma_{2j+2}\Big] \qquad (3)

where: $t$ — nearest-neighbour hopping amplitude; $\Delta$ — p-wave pairing amplitude, taken real; $\mu$ — chemical potential; $\gamma_{2j-1},\gamma_{2j}$ — the two Majoranas on site $j$ . At the sweet spot $\mu=0,\ t=\Delta$ the intra-site and one inter-site term both vanish, exposing the end modes exactly. The information the end Majoranas encode is fermion parity, read globally by the product over all sites. Parity is conserved modulo two by the superconductor, which is what makes it the protected logical quantity.

P=\prod_{j}\bigl(-i\gamma_{2j-1}\gamma_{2j}\bigr)=\prod_j\bigl(1-2c_j^\dagger c_j\bigr) \qquad (4)

where: $P$ — global fermion-parity operator with $P^2=1$ and eigenvalues $\pm1$ ; $c_j^\dagger c_j$ — number operator on site $j$ . A logical error is precisely a flip of $P$ within the ground manifold, which no local operator can cause. Exchanging two Majoranas is the elementary quantum gate. The braid unitary is the exponential of the bilinear $\gamma_i\gamma_j$ , which closes on itself because $(\gamma_i\gamma_j)^2=-1$ makes it behave like $e^{i\theta}$ .

U_{ij}=\exp\!\Big(\tfrac{\pi}{4}\gamma_i\gamma_j\Big)=\tfrac{1}{\sqrt2}\bigl(1+\gamma_i\gamma_j\bigr) \qquad (5)

where: $U_{ij}$ — unitary implemented by exchanging Majoranas $i$ and $j$ ; $\gamma_i\gamma_j$ — product of the exchanged operators. Conjugation gives $U_{ij}\gamma_iU_{ij}^\dagger=\gamma_j$ and $U_{ij}\gamma_jU_{ij}^\dagger=-\gamma_i$ — a $\pi/2$ rotation in the $(\gamma_i,\gamma_j)$ plane. Protection is not perfect at finite length. When the two end wavefunctions overlap they hybridize and lift the exact zero-energy degeneracy by an amount exponentially small in the wire length measured in coherence lengths, with an oscillating sign from the Fermi wavelength.

E\sim\Delta\,e^{-L/\xi}\cos(k_F L) \qquad (6)

where: $E$ — residual splitting of the would-be zero mode; $L$ — separation of the MZMs; $\xi$ — superconducting coherence length; $k_F$ — Fermi wavevector. This exponential is topological protection made quantitative: doubling $L/\xi$ squares the smallness of the error. For a real device the Kitaev ingredients are engineered from an s-wave superconductor, a Rashba nanowire, and a Zeeman field. The topological phase opens only once the Zeeman energy overcomes the combined pairing and chemical-potential scale of equation (7).

V_Z>\sqrt{\Delta^2+\mu^2} \qquad (7)

where: $V_Z=\tfrac12 g\mu_B B$ — Zeeman energy; $\Delta$ — proximity-induced gap; $\mu$ — chemical potential from the band centre. The boundary $V_Z=\sqrt{\Delta^2+\mu^2}$ is the curve in the second figure; the ideal signature is a zero-bias conductance quantized at $2e^2/h\approx7.748\times10^{-5}\ \Omega^{-1}$ .

Derivation AGround-state degeneracy and the nonlocal qubit

The goal is to show precisely how four Majorana zero modes encode exactly one protected logical qubit, and why its logical operators are necessarily nonlocal. We assemble the four Majoranas into two fermions to count the Hilbert space, impose fermion-parity conservation to halve it, and identify the logical Pauli operators — bilinears joining Majoranas at different ends, the algebraic root of the protection.

Step 1. Group the four Majoranas into two Dirac fermions $c_a=\tfrac12(\gamma_1+i\gamma_2)$ and $c_b=\tfrac12(\gamma_3+i\gamma_4)$ , spanning a four-dimensional Fock space $\{|00\rangle,|01\rangle,|10\rangle,|11\rangle\}$ labelled by occupations $n_a,n_b$ . Why: counting states in the fermion basis turns abstract Majorana operators into a concrete Hilbert space we can call a qubit.

Step 2. Impose conservation of total fermion parity $P=(1-2c_a^\dagger c_a)(1-2c_b^\dagger c_b)$ . The even sector $P=+1$ keeps $|00\rangle,|11\rangle$ ; the odd sector keeps $|01\rangle,|10\rangle$ . Either is two-dimensional — one qubit. Why: a superconductor conserves parity, not particle number, so the physical code space is a single parity sector, not the whole Fock space.

Step 3. Identify the logical operators as Majorana bilinears $Z=i\gamma_1\gamma_2$ and $X=i\gamma_2\gamma_3$ . One checks $Z^2=X^2=1$ , $\{X,Z\}=0$ , and $Y=iXZ=i\gamma_1\gamma_3$ — a faithful Pauli algebra acting within the fixed-parity space. Why: these are exactly the operators of a qubit, so the four Majoranas do host one logical two-level system, no more and no less.

Step 4. Note that $Z$ joins the pair $(\gamma_1,\gamma_2)$ and $X$ joins $(\gamma_2,\gamma_3)$ , always spanning two spatially separated sites when the Majoranas are pulled apart. No operator supported on a single end lies in the logical algebra. Why: this is the protection theorem — a local perturbation cannot equal a logical Pauli, so it cannot cause a logical error at first order, and the residual coupling is the exponentially small $E\sim\Delta e^{-L/\xi}$ of equation (6). *Four Majoranas give $2^{4/2}=4$ states; fixing parity leaves $2$ logical states — exactly one qubit — and the Pauli algebra $\{X,Z\}=0$ is satisfied.*

Go deeper · Derivation B · 1 minSweet spot and the bulk topological invariant of the Kitaev chain

Derivation BSweet spot and the bulk topological invariant of the Kitaev chain

The goal is to prove, twice over and consistently, that the chain hosts unpaired end Majoranas precisely when $|\mu|<2|t|$ . First we take the Hamiltonian to its solvable sweet spot to expose the end modes explicitly, then we compute the bulk $\mathbb{Z}_2$ invariant from the momentum-space Bogoliubov–de Gennes Hamiltonian and show the two boundaries coincide — bulk-boundary correspondence.

Step 1. In equation (3) set $\mu=0$ : the intra-site term $\mu\,\gamma_{2j-1}\gamma_{2j}$ drops out. Then set $t=\Delta$ : the coefficient $(t-\Delta)$ of the second inter-site term vanishes. What survives is $H=-it\sum_{j=1}^{N-1}\gamma_{2j}\gamma_{2j+1}$ . Why: this collapses the model to a single dimerized coupling and makes the end modes visible without diagonalizing anything.

Step 2. Read off the operators absent from $H$ : the surviving sum pairs $\gamma_{2j}$ with $\gamma_{2j+1}$ , so the first Majorana $\gamma_1$ and the last $\gamma_{2N}$ never appear. They commute with $H$ , cost zero energy, and are perfectly localized on the end sites. Why: an operator missing from the Hamiltonian costs no energy to excite — that is the exact zero mode, with $\xi\to0$ at the sweet spot.

Step 3. Away from the sweet spot, Fourier transform to get the BdG Hamiltonian $H(k)=(-2t\cos k-\mu)\tau_z+2\Delta\sin k\,\tau_y$ in Nambu space. At the particle-hole symmetric momenta $k=0$ and $k=\pi$ the pairing $\sin k$ vanishes, leaving the mass terms $-2t-\mu$ and $2t-\mu$ . Why: the topological invariant of class D is a Pfaffian sign that can only change where the gap closes, and the gap can only close at these symmetric points.

Step 4. Form the invariant $\mathcal{M}=\mathrm{sgn}\bigl[(\mu+2t)(\mu-2t)\bigr]$ . It is $-1$ (topological) exactly when the two masses have opposite sign, i.e. $|\mu|<2|t|$ , and $+1$ (trivial) otherwise. Why: $\mathcal{M}=-1$ is a band inversion between $k=0$ and $k=\pi$ , and bulk-boundary correspondence guarantees one protected end Majorana whenever it holds — reproducing the sweet-spot picture of Steps 1–2. *The bulk boundary $|\mu|=2|t|$ where $\mathcal{M}$ flips is precisely the same phase boundary at which the sweet-spot end modes exist — bulk-boundary correspondence confirmed.*

Go deeper · Derivation C · 1 minNon-Abelian braiding and the Clifford gate set

Derivation CNon-Abelian braiding and the Clifford gate set

The goal is to demonstrate that exchanging Majoranas is genuinely non-Abelian — that two braids fail to commute — and to pin down which quantum gates the braids generate. Taking the four-Majorana qubit of the first derivation, we write the two elementary braids, act with them on the logical operators, and show they neither commute nor ever reach beyond the Clifford group to the $T$ gate.

Step 1. Write the two elementary braids from equation (5): $U_{12}=\tfrac1{\sqrt2}(1+\gamma_1\gamma_2)$ and $U_{23}=\tfrac1{\sqrt2}(1+\gamma_2\gamma_3)$ . Both are unitary since $(\gamma_i\gamma_j)^2=-1$ makes them $\exp(\tfrac{\pi}{4}\gamma_i\gamma_j)$ . Why: these are the world-line-exchange operations, the only gates a braiding machine can natively perform.

Step 2. Using $Z=i\gamma_1\gamma_2$ , rewrite $U_{12}=\exp(-i\tfrac{\pi}{4}Z)$ , which is the phase gate $S=\mathrm{diag}(1,i)$ up to a global phase; likewise $U_{23}=\exp(-i\tfrac{\pi}{4}X)$ . Acting on operators, $U_{23}\,(i\gamma_1\gamma_2)\,U_{23}^\dagger=i\gamma_1\gamma_3$ , which rotates logical $Z$ into logical $Y$ . Why: this fixes the gate dictionary — a bare exchange is a $\pi/2$ rotation, i.e. a Clifford generator, not an arbitrary rotation.

Step 3. Test commutativity: because $U_{12}$ and $U_{23}$ share $\gamma_2$ , their commutator is nonzero, $[U_{12},U_{23}]\propto\gamma_1\gamma_3\neq0$ — the order of two exchanges matters. Why: order-dependence of exchange is the definition of non-Abelian statistics — the content that makes braiding compute at all.

Step 4. Enumerate the reachable gates: single-qubit braids give $S$ and the full single-qubit Clifford group, and with more Majoranas the entangling CNOT — but every braid is a Clifford, so by the Gottesman–Knill theorem the set is efficiently classically simulable. Why: braiding alone is powerful but not universal, which is why a non-Clifford resource such as magic-state distillation must be imported. *The non-commutativity $U_{12}U_{23}\neq U_{23}U_{12}$ follows directly from the shared $\gamma_2$ , and the full set of gates generated is the Ising-anyon Clifford group.*

Limiting cases

The Kitaev-chain Hamiltonian in fermion form, $H=\sum_j\bigl[-t(c_j^\dagger c_{j+1}+\mathrm{h.c.})-\mu(c_j^\dagger c_j-\tfrac12)+\Delta\,c_jc_{j+1}+\Delta^* c_{j+1}^\dagger c_j^\dagger\bigr]$ , has its whole phase structure fixed by the ratio $\mu/t$ and the pairing $\Delta$ :

Case	Result	Meaning
Trivial phase	$\vert\mu\vert>2\vert t\vert$	Gapped, no end modes; Majoranas pair within each site. The $\mathbb{Z}_2$ invariant is $+1$ and the ground state is unique.
Topological phase	$\vert\mu\vert<2\vert t\vert,\ \Delta\neq0$	One unpaired MZM per end; twofold ground-state degeneracy split only by $\sim\Delta e^{-L/\xi}$ , with $\xi$ the coherence length.
Sweet spot	$\mu=0,\ t=\Delta$	End Majoranas $\gamma_1,\gamma_{2N}$ perfectly localized on single sites; exact zero modes with $\xi\to0$ , the ideal limit for braiding.
Quantum critical point	$\vert\mu\vert=2\vert t\vert$	Bulk gap closes; the invariant is ill-defined and the protected degeneracy is lost — the transition between phases.
Long-wire limit	$L\gg\xi$	Splitting $E\to0$ exponentially; the qubit is ideal against local noise, though poisoning still limits coherence.

Common trapA zero-bias conductance peak proves you have a Majorana

It does not. A conductance peak pinned at zero bias is necessary but nowhere near sufficient. Trivial Andreev bound states — formed by smooth confining potentials, disorder, or a soft gap — produce zero-bias peaks that can look identical to the Majorana signature and even climb toward the quantized $2e^2/h$ value under fine-tuning, with no topology whatsoever. This is precisely why several high-profile claims were later withdrawn: a single-terminal peak cannot distinguish a nonlocal Majorana from a locally trapped Andreev level. Genuine detection demands the nonlocality itself — a measured bulk topological gap, end-to-end conductance correlations, and the exponential closing of the splitting with $L/\xi$ — not just a bright spot at zero bias.

Worked examples

1 · When does a nanowire become topological? (fully worked)

An InSb nanowire is proximitized by aluminium, giving an induced gap $\Delta=0.2$ meV. The device is gated to the band centre so $\mu=0$ , and InSb has a large g-factor $g\approx50$ . What magnetic field $B$ is needed to enter the topological phase and host Majoranas?

Step 1. The criterion is equation (7), $V_Z>\sqrt{\Delta^2+\mu^2}$ . At $\mu=0$ this simplifies to $V_Z>\Delta=0.2$ meV — the Zeeman energy must simply exceed the induced gap.

Step 2. The Zeeman energy is $V_Z=\tfrac12 g\mu_B B$ . With $g=50$ and $\mu_B=5.788\times10^{-2}$ meV/T, this is $V_Z=\tfrac12(50)(0.05788)\,B=1.447\,B$ meV per tesla.

Step 3. Set $V_Z=\Delta$ : $1.447\,B=0.2$ meV gives $B_c=0.2/1.447=\mathbf{0.14\ T}$ . Below this field the wire is a trivial superconductor; above it, one Majorana appears at each end. The modest field — a consequence of the huge InSb g-factor — is exactly why these semiconductors were chosen, since thin-film aluminium's superconductivity survives well above 0.14 T. The wire goes topological at B ≈ 0.14 T.

2 · How protected is the qubit? (fully worked)

The same wire has coherence length $\xi=100$ nm and induced gap $\Delta=0.2$ meV. Compare the residual energy splitting of the Majorana pair for a $L=1\ \mu$ m wire and a $L=0.5\ \mu$ m wire.

Step 1. Use equation (6) at its envelope, $E\sim\Delta\,e^{-L/\xi}$ . For $L=1\ \mu\text{m}=1000$ nm the exponent is $L/\xi=10$ , so $e^{-10}=4.54\times10^{-5}$ .

Step 2. Multiply: $E=0.2\ \text{meV}\times4.54\times10^{-5}=9.1\times10^{-6}$ meV $=\mathbf{9.1\ neV}$ . As a frequency $E/h\approx2.2$ MHz; as a temperature $E/k_B\approx0.11$ mK — negligible against any realistic operating temperature.

Step 3. Now halve the wire to $L=500$ nm, so $L/\xi=5$ and $e^{-5}=6.7\times10^{-3}$ . Then $E=0.2\ \text{meV}\times6.7\times10^{-3}=1.3\times10^{-3}$ meV $=\mathbf{1.3\ \mu eV}$ (about 330 MHz). Halving the length inflated the splitting by $e^{5}\approx150\times$ . This exponential sensitivity to $L/\xi$ is topological protection made quantitative: length is the cheapest error-suppression knob a Majorana qubit has.

3 · A single braid is the S gate (algebraic)

Show that exchanging Majoranas 1 and 2 implements the Clifford phase gate on the logical qubit $Z=i\gamma_1\gamma_2$ .

Step 1. Check the exponential closes: $(\gamma_1\gamma_2)^2=-\gamma_1^2\gamma_2^2=-1$ by anticommutation and $\gamma_i^2=1$ , so $\gamma_1\gamma_2$ acts like the imaginary unit and $U_{12}=\exp(\tfrac{\pi}{4}\gamma_1\gamma_2)=\tfrac1{\sqrt2}(1+\gamma_1\gamma_2)$ , matching equation (5).

Step 2. Substitute $\gamma_1\gamma_2=-iZ$ to get $U_{12}=\exp(-i\tfrac{\pi}{4}Z)=\mathrm{diag}(e^{-i\pi/4},e^{+i\pi/4})$ , which up to a global phase is $\mathbf{S=\mathrm{diag}(1,i)}$ — the Clifford phase gate, produced by topology alone with no tuned pulse. A single exchange is exactly a $\pi/2$ phase rotation.

Physics of the portrait

Majorana zero modes carry the name of a physicist who never saw one and who vanished four years after writing the equation that made them conceivable — a piece of 1937 particle physics that waited sixty years to become the most promising idea in quantum hardware.

Origins · 1 minEttore Majorana and how this was discovered

Ettore Majorana

1906–1938 (disappeared) · self-conjugate fermions and their revival in topological superconductors

Ettore Majorana was, in Enrico Fermi's estimation, a physicist of the rank of Galileo and Newton — a prodigy of Rome's Via Panisperna group who published rarely and reluctantly. In 1937, in his last paper, he found a real-valued alternative to Dirac's complex equation: a relativistic fermion that is its own antiparticle, with $\gamma=\gamma^\dagger$ . He proposed it might describe the neutrino, a question still open in the search for neutrinoless double-beta decay. In March 1938 Majorana withdrew his savings, boarded a ferry between Palermo and Naples, and was never seen again — accident, suicide, or deliberate disappearance has never been settled. His self-conjugate fermion lay dormant in condensed matter until Alexei Kitaev's 2001 toy model showed that a one-dimensional p-wave superconductor pins exactly such an object — now at zero energy, a Majorana zero mode — at each end, storing information no local measurement can reach. The idea detonated after the 2008 non-Abelian-anyon review and the 2010 nanowire proposals turned an abstraction into a laboratory recipe. The particle Majorana imagined as fundamental turned out to matter most as an emergent, engineered quasiparticle — a fitting afterlife for a man who left the equation and then left the world.

History

1937

— Ettore Majorana formulates a real-valued relativistic fermion equal to its own antiparticle

2001

— Alexei Kitaev models a 1D p-wave chain with unpaired zero-energy Majoranas at its ends

2008

— Nayak, Simon, Stern, Freedman and Das Sarma review non-Abelian anyons and topological quantum computation

2010

— Lutchyn et al. and Oreg et al. propose the semiconductor-nanowire recipe for engineered Majoranas

2012

— Mourik et al. report zero-bias conductance peaks in InSb nanowires, the first candidate signature

Going further

Texts and reviews. Kitaev, "Unpaired Majorana fermions in quantum wires", Phys.-Usp. 44, 131 (2001) · Nayak, Simon, Stern, Freedman, Das Sarma, "Non-Abelian anyons and topological quantum computation", Rev. Mod. Phys. 80, 1083 (2008) · Preskill, Lecture Notes on Quantum Computation, Ch. 9 · Alicea, "New directions in the pursuit of Majorana fermions in solid state systems", Rep. Prog. Phys. 75, 076501 (2012) · Sarma, Freedman, Nayak, npj Quantum Inf. 1, 15001 (2015) · Nielsen and Chuang, Quantum Computation and Quantum Information (Clifford group, Gottesman–Knill). Key results collected: the sweet-spot Hamiltonian reduces to $H=-it\sum\gamma_{2j}\gamma_{2j+1}$ ; the phase boundary is $|\mu|=2|t|$ with bulk $\mathbb{Z}_2$ sign $\mathrm{sgn}[(\mu+2t)(\mu-2t)]$ ; the braid identity $e^{(\pi/4)\gamma_i\gamma_j}=\tfrac1{\sqrt2}(1+\gamma_i\gamma_j)$ follows from $(\gamma_i\gamma_j)^2=-1$ and reduces to the $S$ gate, with $[U_{12},U_{23}]\neq0$ ; the topological threshold is $B_c=\Delta/(\tfrac12 g\mu_B)\approx0.14$ T for $\Delta=0.2$ meV and $g=50$ ; the splitting is $E\approx9.1$ neV at $L/\xi=10$ and $1.3\ \mu$ eV at $L/\xi=5$ ; the conductance quantum is $2e^2/h\approx7.748\times10^{-5}\ \Omega^{-1}$ ( $1/G_0\approx12.9$ k $\Omega$ ). The g-factors, gaps, and coherence lengths quoted are order-of-magnitude values representative of InSb/InAs–Al experiments, not one specific sample.

Prerequisites. Superconducting Qubits · Josephson Junction · DiVincenzo Criteria. Leads to. Topological Quantum Computation · Magic-State Distillation · Surface Code.

Ask the tutor: Ask me why exactly four Majoranas give one protected qubit, or to work a nanowire's threshold field from its g-factor and induced gap.

Why can't a single Majorana zero mode store a qubit on its own?

A qubit needs a two-dimensional Hilbert space, and one Majorana does not provide one — it is half a fermion, with $\gamma^2=1$ and no independent occupation number to be zero or one. Only a pair $\gamma_1,\gamma_2$ assembles into a genuine fermion $c=\tfrac12(\gamma_1+i\gamma_2)$ whose empty and filled states span a two-level system. Crucially, that information is nonlocal: shared between the two ends, so reading it requires access to both at once. This is the whole source of the protection — and the whole engineering difficulty, since you must keep two objects coherent across a micron of wire.

What exactly makes braiding "topological" and therefore error-resistant?

When you exchange two Majoranas by moving them around each other in the plane, the resulting unitary depends only on the topology of their world lines — how the paths braid — and not on how fast you moved them or the precise trajectory. Speed up, slow down, wobble the path: as long as the braid class is unchanged, the gate is identical. That is qualitatively unlike a conventional gate, where the rotation angle is an integral of a control pulse and every timing or amplitude error feeds straight in. Topological gates are calibration-free by construction, which is why they promise error rates set by geometry rather than control hardware.

If braiding only gives Clifford gates, is a Majorana computer useless?

No — it just needs one extra ingredient. Braiding Ising anyons generates the Clifford group ( $S$ , Hadamard, CNOT), which by the Gottesman–Knill theorem a classical computer simulates efficiently, so Cliffords alone cannot beat a laptop. Universality requires one non-Clifford gate, $T=\mathrm{diag}(1,e^{i\pi/4})$ . The standard route is magic-state distillation: prepare noisy $|T\rangle$ states by an unprotected, imprecise operation, then purify many noisy copies into a few clean ones using only protected Clifford braids. The topological hardware still does the bulk of the computation; the unprotected step is confined to a small, correctable corner.

What is quasiparticle poisoning, and why is it the real enemy?

Poisoning is the uncontrolled tunnelling of a stray unpaired electron into or out of the Majorana pair, which flips the fermion parity that encodes the logical state. Because the qubit is the parity, poisoning is a direct logical error — and topology does not protect against it. Topological protection guards against local potential noise that cannot supply or remove a fermion; poisoning does exactly that, so it sets the true coherence time. It is suppressed by a large, hard bulk gap and by low temperature, but cannot be braided away, which is why controlling it is arguably the central experimental battle.

How is a real "p-wave" superconductor built from ordinary s-wave materials?

Nature offers few intrinsic spinless p-wave superconductors, so the field engineers an effective one from three ingredients: a semiconductor nanowire with strong Rashba spin–orbit coupling (which locks spin to momentum), a Zeeman field (which removes one spin band near the Fermi level, mimicking "spinlessness"), and an adjacent s-wave superconductor whose pairing leaks in by the proximity effect. Together these reproduce the low-energy physics of Kitaev's spinless p-wave chain. The catch is equation (7): the Zeeman energy must exceed $\sqrt{\Delta^2+\mu^2}$ , so a threshold magnetic field is needed before any Majorana appears.

What is the fractional Josephson effect and why does it point to Majoranas?

A conventional Josephson junction carries a supercurrent $I\propto\sin\phi$ that repeats every $2\pi$ in the phase difference, because it transfers charge in Cooper pairs of $2e$ . A junction bridged by Majorana modes can transfer a single electron by parity-protected tunnelling, giving $I\propto\sin(\phi/2)$ — a current that repeats only every $4\pi$ . This doubled periodicity, and the missing odd Shapiro steps it produces under microwave drive, is a distinctive Majorana fingerprint reflecting the fermion-parity degree of freedom. Like the zero-bias peak, though, it can be imitated by trivial mechanisms such as Landau-Zener transitions, so it is evidence to be corroborated, not a lone smoking gun.