Source-linked AI summary
A Short Introduction to Topological Quantum Computation
Ville Lahtinen, Jiannis K. Pachos
TL;DR
Topological quantum computation addresses the challenge of storing and manipulating quantum information reliably despite noise and control errors. This review introduces anyon models, protected fusion spaces, and statistical evolutions, then connects them to condensed-matter platforms and Majorana nanowires. It presents topology-dependent encoding and gates as intrinsically resilient while emphasizing that important limitations and implementation challenges remain.
Problem
Quantum computation must store states coherently and implement precise gates despite external noise, local perturbations, and control errors.
Method
The review gives a non-technical, system-independent introduction to anyon models, protected fusion spaces, statistical evolutions, computation procedures, and condensed-matter realizations.
Results
Topological encoding and braiding-based gates are described as protected from local perturbations and control errors through decoherence-free subspaces and topology-dependent evolutions.
Takeaways & Limitations
Majorana zero modes in superconducting nanowires provide experimentally tractable anyons for testing key principles of topological protection and computation.
Takeaways & Limitations
Majorana modes do not provide the full power of topologically protected quantum computation, and braiding implementation can introduce unwanted excitations or require non-topological operations.
Abstract
from arXiv · showhide
This review presents an entry-level introduction to topological quantum computation -- quantum computing with anyons. We introduce anyons at the system-independent level of anyon models and discuss the key concepts of protected fusion spaces and statistical quantum evolutions for encoding and processing quantum information. Both the encoding and the processing are inherently resilient against errors due to their topological nature, thus promising to overcome one of the main obstacles for the realisation of quantum computers. We outline the general steps of topological quantum computation, as well as discuss various challenges faced by it. We also review the literature on condensed matter systems where anyons can emerge. Finally, the appearance of anyons and employing them for quantum computation is demonstrated in the context of a simple microscopic model -- the topological superconducting nanowire -- that describes the low-energy physics of several experimentally relevant settings. This model supports localised Majorana zero modes that are the simplest and the experimentally most tractable types of anyons that are needed to perform topological quantum computation.
1 Introduction
Topological quantum computation uses anyons whose topology-dependent evolutions can protect encoded quantum information from local perturbations. The review introduces the physical basis of anyons, emphasizing why two dimensions permit richer exchange statistics and why realizing anyons remains system-specific.
- Motivation: Topological quantum computation stores and manipulates quantum information with anyons whose non-trivial statistical behavior is described by topology.Certain anyons produce degenerate decoherence-free subspaces, where states evolve through adiabatic motion around one another.
- Motivation: The central challenge is coherently storing quantum states and implementing precise gates despite external noise and control errors.Encoding information in topological properties and making gates depend on topological evolutions could protect both operations from local perturbations.
- Motivation: Kitaev’s surface-code insight linked anyons to hardware-level quantum error correction by encoding states in global properties and manipulating excitations along topological paths.Topologically equivalent paths implement the same quantum gate, making local geometric details irrelevant in the idealized setting.
- Why two dimensions matter: In 3D, exchange paths are deformable into one another and yield only bosonic or fermionic statistics, whereas 2D supports topologically inequivalent paths and richer evolutions.In 3D, contractibility constrains the exchange operator to R = ±1; in 2D, the exchange operator can instead be a complex phase or unitary matrix.
- Anyons and exchange statistics: Abelian anyons have commuting exchange operators represented by phases, while non-Abelian anyons use potentially noncommuting unitary matrices.A charge-flux composite acquires an Aharonov-Bohm phase e2iqΦ and is Abelian when 2qΦ is not an integer multiple of 2π.
- Physical realization: Two dimensions enable anyons but do not guarantee them: candidate systems include effective 2D materials, while emergence depends on microscopic model details and often strong interactions.The review therefore treats anyon models system-independently before surveying condensed-matter realizations.
2 Topological order and anyons in condensed matter systems
Topological matter comprises symmetry-protected phases and intrinsically topologically ordered phases, with anyons arising intrinsically in the latter and at defects in the former. The distinction determines whether anyons require defects or can occur as intrinsic excitations.
- Classification: Topological states of matter divide into symmetry-protected topological states and states with intrinsic topological order.The two classes differ in whether topology depends on a protecting symmetry.
- Symmetry-protected topological states: SPT states become trivial when the protecting symmetry is broken and generally do not support intrinsic anyons.Defects such as domain walls or vortices provide an exception in which SPT systems can host relevant excitations.
- Intrinsic topological order: Intrinsically topologically ordered states require no protecting symmetry and support different anyons as intrinsic quasiparticle excitations.Examples include strongly interacting fractional quantum Hall states and spin liquids.
- Intrinsic topological order: Intrinsic topological order also produces long-range entanglement, topological entanglement entropy, and ground-state degeneracy dependent on manifold topology.These properties distinguish intrinsic topological order from symmetry-protected topology.
2.1 Topological states that support anyons
The review surveys condensed-matter platforms that can support anyons, including fractional quantum Hall states, spin liquids, and superconducting heterostructures. Majorana nanowires are especially prominent experimentally, although direct verification of their braiding remains incomplete.
- Overview: Anyons can arise in intrinsic topological order or in symmetry-protected topological systems containing suitable defects.The review organizes candidate platforms into correlated electron gases, spin liquids, and topological superconducting heterostructures.
- (i) Fractional quantum Hall states: Fractional quantum Hall states support fractionalized quasiparticles, with charge fractionalization experimentally confirmed but direct exchange-statistics measurements still elusive.The proposed ν = 5/2 Moore-Read state supports Ising anyons, while Fibonacci anyons would be needed for universality by purely topological means.
- (i) Fractional quantum Hall states: Fractional topological insulators require strong magnetic fields, strong interactions, and fractional filling, but achieving these conditions in crystalline materials is currently unclear.This uncertainty limits their status as an established alternative platform.
- (ii) Spin liquids: Topological spin liquids emerge when strong Coulomb interactions localize electrons and leave interacting spins that can form intrinsically topologically ordered collective states.Evidence comes from mean-field theory, numerics, and analytically tractable constructions such as Kitaev’s honeycomb model.
- (iii) Topological superconductors in heterostructures: Topological superconducting heterostructures can host Majorana modes at wire ends, which are experimentally accessible through conductance measurements.Experiments across microscopically distinct setups strongly support their existence, although their braiding properties have not yet been explicitly verified.
- (iii) Topological superconductors in heterostructures: Majorana nanowire heterostructures are prominent candidates for testing topological protection and topological gates based on anyon exchange statistics.Their appeal follows from the experimentally tractable realization of Majorana zero modes.
- Simulators: Cavity-array and photonic simulators reproduce counterparts of protected subspaces and statistical evolutions but are not genuinely topological states of matter.They remain attractive for experimentally testing control of anyon-like degrees of freedom.
2.2 Manifestations of anyons in microscopic many-body systems
Microscopic systems with non-Abelian anyons exhibit protected degenerate subspaces, and adiabatic exchanges implement topology-dependent quantum evolutions within them. Intrinsic topological order additionally provides topology-dependent ground-state degeneracy and entanglement diagnostics.
- Manifestations in microscopic many-body systems: The same protected-subspace and Berry-phase picture appears in intrinsic topological systems and in SPT states with defects, including p-wave superconductors with vortices.In intrinsic systems the anyons are massive excitations; in the SPT example, massless Majorana modes are bound to massive defects.
- Degeneracy and Berry phases: Non-Abelian anyons produce a degenerate lowest-energy manifold separated from other states by a spectral gap ∆, unlike Abelian anyons.The degeneracy depends on the anyon types and is generally exponentially protected with increasing anyon separation.
- Degeneracy and Berry phases: The degenerate subspace encodes quantum information through a collective non-local property of the non-Abelian anyons.The energy gap suppresses spontaneous excitations, while locality limits noise to small anyon displacements that do not evolve the protected subspace.
- Degeneracy and Berry phases: Adiabatically transporting anyons around one another produces non-Abelian Berry phases that act within the degenerate manifold.The transport must be slow compared with the energy gap ∆ so the system remains in the protected subspace.
- Degeneracy and Berry phases: The resulting unitary evolution depends on anyon statistics but not on traversal time or the precise path shape, provided transport remains adiabatic.For Ising anyons, microscopic braiding approximates the braid matrix F^-1R^2F.
- Topological degeneracy and entanglement entropy: Intrinsic topological order has topology-dependent ground-state degeneracy and topological entanglement entropy, which serve as numerical diagnostics but do not uniquely identify anyon models.Ground-state degeneracy differs between manifolds such as spheres and tori, while the universal entropy correction γ is nonzero only for intrinsic topological order.
3 Anyon models
Anyon models specify allowed fusion, exchange, and annihilation processes, with non-Abelian fusion channels producing protected spaces for encoding information. F- and R-matrices describe basis changes and exchange evolutions, while Fibonacci and Ising anyons illustrate computational power and practical limitations.
- Anyon models neglect microscopic details and restrict low-energy evolutions to pair creation or annihilation, fusion, and adiabatic exchange.
- Fusion rules: Fusion coefficients encode which topological charges can result from fusing two anyons; unique outcomes define Abelian models, while multiple outcomes define non-Abelian models.
- Fusion channels: Non-Abelian fusion channels create a non-local fusion space whose states are degenerate against local perturbations, enabling decoherence-free encoding of quantum information.Detecting a fusion outcome performs a projective measurement in this space.
- Fusion channels: A pair of non-Abelian anyons cannot directly encode a qubit because distinct fusion outcomes belong to different global topological-charge sectors.More anyons permit different fusion orders with the same total outcome, forming a usable higher-dimensional fusion space.
- Statistical quantum evolutions: F-matrices relate bases obtained from different fusion orders, while exchange evolutions are constructed from combinations of F- and R-matrices.Fusion diagrams represent equivalent states when their world lines are continuously deformable without cutting or crossing.
- Examples: Fibonacci anyons support universal computation by braiding, but encoding uses only subspaces of the fusion space and even simple gates may require thousands of precisely ordered braids.Their microscopic realization remains unclear because the proposed ν = 12/5 Read-Rezayi state is very fragile.
- Examples: Ising anyons implement logical phase and NOT gates through braiding, but braiding alone generates only the Clifford group and is not computationally universal.Non-topological operations can restore universality but make the system more susceptible to errors.
4 Quantum computation with anyons
Non-Abelian anyons provide protected fusion spaces for encoding quantum information and braiding-based evolutions for processing it. Ising anyons illustrate initialization, Clifford and controlled-phase gates, while practical implementations remain limited by decoherence, interactions, stray anyons, and finite temperature.
- Protected encoding and processing: Non-Abelian fusion spaces can encode quantum information in states that are degenerate, locally indistinguishable, and coherently evolvable by braiding.These properties suppress dynamical dephasing and local perturbations while enabling gate operations through braiding.
- Protected encoding and processing: Topological encoding and processing can heavily suppress hardware-level errors, reducing the need for resource-intensive quantum error correction in principle.The protection is not absolute under realistic conditions, where decoherence still occurs.
- Initialization: For 2N Ising anyons in a fixed topological-charge sector, the fusion-space dimension is D = 2^N−1, so four σ anyons encode one qubit and six encode two.Pairwise creation from the vacuum initializes each pair in the 1 fusion channel and places the system globally in the vacuum sector.
- Initialization: Six Ising anyons yield four vacuum-consistent fusion channels that correspond to the computational basis of two qubits.The channels follow from σ × σ = 1 + ψ, σ × ψ = σ, and the requirement that all six σ anyons fuse to 1.
- Quantum gates – Braiding anyons: Braids implement Ising-anyon Clifford operations, including single-qubit X, Z, and Hadamard gates, together with a two-qubit controlled-phase gate.The controlled-phase braid maps only |11⟩ to −|11⟩, while the single-qubit operations follow from the F- and R-matrices.
- Challenges: Realistic operation is constrained by reservoir coupling, interaction-induced fusion-channel splittings, stray anyons, and thermal fluctuations that can destabilize encoded information.Large systems may require approximately 10^3 Fibonacci anyons to 10^9 Ising anyons, while finite-temperature protection is unlikely to suffice in realistic finite-size systems without additional mechanisms.
5 Topological quantum computation with superconducting nanowires
Kitaev’s superconducting nanowire model realizes Majorana zero modes at wire ends and phase domain walls, providing a microscopic setting for encoding, braiding, and reading out a Majorana qubit. The review also describes finite-size, disorder, excitation, and reservoir-related limitations.
- Model and phases: The nanowire model supports Majorana zero modes at wire ends and at domain walls between topological and trivial phases.These modes are treated as experimentally relevant realizations of Ising anyons.
- Model and phases: In the topological regime, edge Majoranas decouple from the Hamiltonian and form a delocalized zero-energy fermion whose occupation makes the ground state two-fold degenerate.The two states differ by the occupation d†d = 0,1 while bulk fermionic modes remain unoccupied.
- Model and phases: The wire has topological phase t > |µ| and trivial phase t < |µ|, separated by a transition at t = |µ| when t = |∆p|.The idealized coupling limits illustrate the two phases, while the phase distinction persists across extended parameter regions.
- Model and phases: For finite wires, overlapping Majorana wave functions produce an energy splitting ∆E ∝e−L/ξ, which becomes negligible only for sufficiently long wires.The coherence length satisfies ξ ∝∆−1, with ∆ the spectral gap.
- Manipulation and readout: A T-junction enables adiabatic exchanges of Majorana modes, whose non-Abelian Berry phase implements braid operations in the two-dimensional ground-state manifold.The resulting braiding can implement single-qubit Clifford operations.
- Manipulation and readout: Direct braiding by locally tuning chemical potential can create unwanted excitations, motivating Josephson-charging protocols and measurement-only schemes.Readout in the Z-basis measures the fermionic population of a Majorana pair after adiabatically shrinking its topological domain.
- Challenges: Disorder can create accidental domain walls and additional Majorana modes that cause leakage from the computational space.Josephson-charging energy switching protocols can mitigate this effect.
- Challenges: Majorana qubits can also leak to external reservoirs because quasiparticles may tunnel from the parent s-wave superconductor into the wire.Fermion-parity protection is exact only in a closed system.
6 Outlook
Universal topological quantum computation requires non-Abelian anyons, protected motion, and fusion-channel measurements; Majorana modes offer robustness but not the full computational power.
- Universal quantum computation requires access to non-Abelian anyons, topologically protected exchanges or simulated evolutions, and fusion-channel measurements.
- Fibonacci anyons would make these operations sufficient for universal quantum computation.
- Majorana modes provide desirable hardware-level protection but do not deliver the full power of topologically protected quantum computation.
- Parafermion modes can provide a larger, though still non-universal, gate set than Majorana-based schemes.
- Surface codes with Abelian anyons and hybrid Majorana–spin-qubit systems are proposed routes toward universal quantum computation.