| braid group | |
|---|---|
| Name | Braid group |
| Caption | Artin braid depiction |
| Type | Group |
| Introduced by | Emil Artin |
| First published | 1925 |
| Related | Artin group, Mapping class group, Yang–Baxter equation |
braid group
The braid group is an algebraic structure encoding the possible braidings of strands; it plays a central role in the mathematical description of particle exchanges and statistics in Quantum Physics. Its nontrivial topology and rich representation theory connect to Anyons, Quantum computation, and invariants in Low-dimensional topology. Understanding braid groups provides tools to model topological phases and fault-tolerant quantum gates.
The braid group on n strands, denoted B_n, is defined by generators σ_1,...,σ_{n-1} with relations σ_i σ_j = σ_j σ_i for |i−j|>1 and σ_i σ_{i+1} σ_i = σ_{i+1} σ_i σ_{i+1} (the Artin relations). This presentation was introduced by Emil Artin and formalizes isotopy classes of n-strand braids in three-dimensional space with fixed endpoints. Algebraically, B_n fits into an exact sequence 1 → P_n → B_n → S_n → 1 where P_n is the pure braid group and S_n is the symmetric group. Geometric incarnations identify B_n with the mapping class group of an n-punctured disk and with the fundamental group π_1 of the configuration space of n unordered points in the plane.
Important structural properties include: - B_1 is trivial and B_2 ≅ Z. - B_n is infinite, noncommutative, and residually finite for many n. - Connections to the Garside theory provide a lattice structure useful for algorithmic problems (word and conjugacy problems).
The group's center, growth, and cohomology have implications for representations used in physics. The braid group's relation to the mapping class group and Teichmüller theory situates it within low-dimensional topology, while its algebraic deformations lead to objects used in quantum models.
Representations of B_n are central in translating topological braiding into quantum amplitudes. Standard families include: - The Burau representation and its reduced form, historically studied for links between braid theory and knot theory. - The Lawrence–Krammer representation, proved faithful for B_n, with connections to homological constructions by Ruth Lawrence and results by Daan Krammer and Stephen Bigelow. - Representations arising from solutions to the Yang–Baxter equation produce unitary matrices that implement exchange of quantum states; these are often constructed from quantum groups such as U_q(sl_2) and via the R-matrix formalism.
In quantum statistics, particle exchange operators for identical particles are described by braid group elements rather than permutations in two dimensions, enabling statistics beyond bosons and fermions. Representations that are projective or unitary yield phases or nonabelian operations corresponding to quantum exchange, directly informing models of exotic statistics in condensed matter and quantum many-body systems. Laboratory realizations draw on research at institutions such as Microsoft Research's quantum group theory collaborations and experimental programs at CERN and various university condensed-matter groups.
In two-dimensional systems, excitations called Anyons realize representations of braid groups: abelian anyons produce one-dimensional representations (phases), while non-abelian anyons correspond to higher-dimensional, typically noncommuting representations. Models that support non-abelian statistics include the Moore–Read state (Pfaffian state) proposed in fractional quantum Hall literature and lattice models like the Kitaev model on the honeycomb lattice.
Topological quantum computation encodes qubits into fusion spaces of anyons; logical gates are implemented by braiding operations represented by B_n elements acting on the Hilbert space. Specific anyon models linked to universal quantum computation include the Ising anyon (related to SU(2)_2) and Fibonacci anyon (related to SU(2)_3), with theoretical proposals and experimental searches at IBM Quantum, Microsoft, Google Quantum AI, and condensed-matter laboratories. The robustness of braiding against local perturbations underpins proposals for fault-tolerant quantum gates and topological quantum memory.
Braid group representations also arise in quantum field theory (QFT), notably in two-dimensional conformal field theory (CFT) and three-dimensional topological quantum field theory (TQFT). In CFT, exchange of primary fields yields monodromy described by braid group actions on conformal blocks; seminal work by Belavin, Polyakov and Zamolodchikov and by Gérard 't Hooft established the role of such monodromies. In TQFT, modular tensor categories (MTCs) furnish unitary representations of B_n; examples include the Wess–Zumino–Witten models based on affine Lie algebras and constructions from quantum groups at roots of unity.
The braid group also appears in the study of anyonic excitations in Chern–Simons theory, where Wilson line operators braided in three-manifolds generate link invariants and act on quantum Hilbert spaces. This formalism connects to algebraic structures (braided tensor categories, fusion rules) used to classify topological phases and to compute topological entanglement entropy.
Closure operations convert braid group elements into knots and links; the Alexander and Jones polynomial invariants were first discovered via braid closures and specialized representations. The Jones polynomial arises from the Temperley–Lieb algebra and representations of B_n via the R-matrix associated to U_q(sl_2). More generally, quantum groups provide R-matrices solving the Yang–Baxter equation, yielding link invariants such as the HOMFLY-PT polynomial and Reshetikhin–Turaev invariants.
These invariants underpin classification schemes for topological phases of matter: modular data extracted from braid group representations determine anyonic fusion and statistics in phases like fractional quantum Hall states and spin liquids. Research programs at institutions including Caltech, Harvard University, and Princeton University explore experimental and theoretical aspects, while advances in tensor network methods and numerical simulations assist in connecting braid group theory to measurable signatures in materials.
Category:Algebraic topology Category:Quantum physics