Braid group

The braid group on n strands, denoted B_n, is the group whose elements are equivalence classes of braids — configurations of n non-intersecting curves connecting two sets of n points, one above the other — and whose group operation is concatenation of braids. The braid group generalizes the symmetric group: while the symmetric group describes the exchange of identical particles, the braid group describes the exchange of particles with a memory of how they were exchanged. This memory is the topological property that makes the braid group central to topological quantum computing and knot theory.

The braid group has a rich algebraic structure with deep connections to representation theory, low-dimensional topology, and quantum algebra. Artin's presentation of the braid group in terms of generators and relations is the foundation for computing Jones polynomials and other quantum invariants of knots. The unitary representations of the braid group that arise in physical systems — particularly in the braiding of anyons in two-dimensional topological phases — are the same representations that encode the quantum logic of topological quantum computers.

The braid group is not merely a mathematical abstraction. It is the algebra of how objects move past each other in two-dimensional space. Any theory of computation that ignores the braid group has not yet understood what it means to compute in a world where topology protects information.