Fact-checked by Grok 2 weeks ago

Quantum topology

Quantum topology is an interdisciplinary field at the intersection of mathematics and physics that employs concepts from quantum mechanics to study topological structures, particularly in low-dimensional topology, through the construction of quantum invariants—algebraic quantities such as polynomials or homological invariants that remain unchanged under continuous deformations like isotopies of knots, links, and three-manifolds.^[1]^[2]^[3] Emerging in the late 1980s, quantum topology gained prominence with the discovery of the Jones polynomial by Vaughan Jones in 1984, a knot invariant derived from statistical mechanics models of polymers and later connected to quantum field theory by Edward Witten in 1989, who used path integrals in Chern-Simons theory to generate invariants for three-manifolds.^[2]^[4] This approach was formalized combinatorially by Vladimir Turaev and Nikolai Reshetikhin in 1991 through representations of quantum groups, yielding the Reshetikhin-Turaev invariants, which generalize the Jones polynomial and incorporate quantum deformation parameters.^[2]^[4] Key tools include monoidal categories, braided structures, and diagrammatic calculi based on skein relations and Temperley-Lieb algebras, enabling the computation of invariants via knot diagrams and tangles.^[3]^[4] The field encompasses notable examples such as the HOMFLYPT polynomial, colored Jones polynomials, and categorified invariants like Khovanov homology, which upgrade polynomial invariants to chain complexes and provide refined topological information.^[3] Quantum topology also intersects with topological quantum field theory (TQFT), where invariants arise as traces in modular tensor categories, and has applications in quantum computing through anyonic models and braid group representations.^[1]^[2] Ongoing research explores asymptotic behaviors, computational efficiency for distinguishing knots (e.g., up to 16 crossings), and connections to Lie algebras and number theory, highlighting the field's role in bridging abstract algebra, geometry, and quantum physics.^[3]

Introduction

Definition and scope

Quantum topology is an interdisciplinary field at the intersection of mathematics and physics that examines topological invariants arising from quantum field theories, particularly in the context of low-dimensional manifolds such as two-dimensional surfaces and three-dimensional spaces.^[5] This field bridges algebraic topology and quantum mechanics by deriving invariants that remain unchanged under continuous deformations, much like classical topological invariants, but informed by quantum principles.^[1] The scope of quantum topology primarily encompasses the development of quantum invariants for knots, links, and three-manifolds, emphasizing their construction through path integrals and Hilbert space formulations.^[1] These invariants integrate quantum mechanical concepts, such as Feynman path integrals over configuration spaces, with topological structures to produce quantities that capture both geometric and quantum properties of the objects studied.^[5] For instance, the field's boundaries are delineated by its focus on low-dimensional settings, where quantum field theories like Chern-Simons theory provide a rigorous framework for these computations, avoiding higher-dimensional complexities.^[1] A core idea in quantum topology is the analogy between topological entanglement—arising from the linking and braiding of knots and links—and quantum entanglement in physical systems, where states in a Hilbert space exhibit non-separable correlations.^[6] This mirroring is formalized using bra-ket notation to represent topological embeddings as quantum states, allowing amplitudes to be computed via Dirac brackets that encode the topological relations.^[1] Such representations highlight how quantum topology quantizes classical notions, transforming continuous topological features into discrete, quantum-like invariants. An illustrative example is the Jones polynomial, which generalizes the classical Alexander-Conway polynomial—a knot invariant from early 20th-century topology—through a q-deformation process; the Alexander-Conway polynomial is recovered by evaluating the Jones polynomial at t = -1 (up to normalization), enriching the original invariant with quantum field theoretic origins.^[7]

Interdisciplinary connections

Quantum topology establishes profound connections with physics, particularly through its integration with quantum field theory (QFT) and statistical mechanics, where it elucidates topological phases in quantum systems that exhibit robustness against local perturbations. In QFT, topological quantum field theories (TQFTs) derived from quantum topology provide frameworks for computing invariants that capture global properties of quantum states, such as those in three-dimensional gauge theories. Similarly, in statistical mechanics, quantum topological models reveal phase transitions in systems like the 3D Ising model, linking partition functions to topological invariants and enabling the study of topological order in condensed matter systems.^[8]^[9] Mathematically, quantum topology intertwines with algebraic topology by furnishing invariants for manifolds and knots that respect topological equivalences, while its ties to category theory manifest in structures like braided monoidal categories, which encode the braiding of particles in quantum systems. Representation theory of quantum groups further bridges these areas, as quantum topology employs quantum group invariants to classify representations that arise in knot theory and beyond.^[10]^[11] Quantum topology exerts broader influence on string theory and conformal field theory (CFT), where it supplies computable invariants for modeling physical phenomena, such as knotting in string configurations and correlation functions in CFTs via Chern-Simons formulations. These invariants, often arising from TQFTs, facilitate exact computations in topological string theories on Calabi-Yau manifolds, aiding the understanding of dualities between gauge theories and gravity.^[12] A distinctive aspect of quantum topology lies in its role in categorification, elevating polynomial invariants like the Jones polynomial to higher-dimensional structures, exemplified by Khovanov homology, which assigns chain complexes to links whose Euler characteristic recovers the original invariant while providing richer homological data.

Historical development

Origins in knot theory and quantum mechanics

The foundations of quantum topology trace back to classical knot theory, which emerged in the late 19th century as physicists and mathematicians sought to classify and understand knotted structures in three-dimensional space. Peter Guthrie Tait, a Scottish physicist, initiated the first systematic tabulation of knots in the 1870s, motivated by Lord Kelvin's vortex atom hypothesis, which posited that atoms might be knotted vortices in the ether.^[13] By 1877, Tait had enumerated all prime knots up to seven crossings using geometric projections and alternating diagrams, later extending these tables with collaborators to include knots up to ten crossings by 1885.^[14] These early catalogs served as precursors to quantum invariants by establishing the need for robust classification tools, highlighting challenges in distinguishing topologically distinct knots without comprehensive equivalence criteria.^[13] Advancements in the early 20th century provided the classical invariants essential for knot equivalence, laying groundwork for quantum extensions. In 1923, James Waddell Alexander II introduced the first polynomial knot invariant, known as the Alexander polynomial, derived from the homology groups of a knot complement's infinite cyclic cover.^[15] This Laurent polynomial, normalized such that \Delta_K(1) = \pm 1 and symmetric in t and t^{-1}, offered a algebraic tool to distinguish knots, though it was insensitive to chirality.^[15] Concurrently, in the 1920s, Kurt Reidemeister developed three local moves—twist (type I), poke (type II), and slide (type III)—that characterize ambient isotopy between knot diagrams, proving that any two equivalent projections can be transformed via these operations.^[16] These moves formalized knot equivalence combinatorially, enabling rigorous analysis of topological properties without physical manipulation.^[16] Quantum mechanics contributed conceptual tools that later influenced topological interpretations in knot theory, particularly through abstract representations of states. In 1939, Paul Dirac introduced bra-ket notation in his paper "A New Notation for Quantum Mechanics," denoting quantum states as kets |\psi\rangle in Hilbert space and their duals as bras \langle\phi|, with inner products as \langle\phi|\psi\rangle. This formalism facilitated the description of superposition and entanglement in quantum systems, providing a vector-space framework that inspired subsequent topological views of quantum states as braided or linked configurations in higher-dimensional spaces.^[17] By abstracting states from concrete coordinates, Dirac's notation prefigured interpretations where quantum entanglement mirrors topological linking, bridging algebraic quantum principles with geometric invariants.^[18] In the early 1980s, nascent ideas began synthesizing quantum mechanics with knot theory, linking path integrals and braiding statistics to topological structures and anticipating quantum groups. Physicists explored quantum paths in two-dimensional systems, where particle trajectories could braid topologically, drawing from anyon models that generalized bosonic and fermionic statistics via phase factors upon exchange.^[19] These concepts, rooted in statistical mechanics and early quantum field theory applications, suggested that knot invariants might arise from quantized representations of braid groups, prefiguring the deformation of Lie algebras into quantum groups. Such early linkages highlighted how quantum evolution could encode topological information through braiding, setting the stage for unified theories in quantum topology.^[19]

Key milestones and contributors

The field of quantum topology began to take shape in the mid-1980s with Vaughan Jones' discovery of a new polynomial invariant for knots and links, derived from the representation theory of von Neumann algebras. This breakthrough, announced in 1984 and fully developed in subsequent work, marked a departure from classical knot invariants by linking them to operator algebras and statistical mechanics models. In 1989, Edward Witten extended these ideas by applying Chern-Simons quantum field theory to generate knot invariants, providing a physical interpretation that connected topology to gauge theories in three dimensions. Witten's approach demonstrated that the Jones polynomial could emerge as an expectation value in this topological quantum field theory, inspiring further mathematical rigorization. Michael Atiyah contributed a foundational framework in 1988 by axiomatizing topological quantum field theories (TQFTs), which formalized the modular functor structures underlying these invariants and their relations to three-manifold topology.^[20] Key contributors included Louis Kauffman, who advanced quantum diagrammatics through skein relations and bracket polynomials that operationalized computations of these invariants. In 1991, Nicolai Reshetikhin and Vladimir Turaev constructed a comprehensive class of invariants for links and three-manifolds using representations of quantum groups, realizing Witten's ideas combinatorially.^[21] The publication in 1993 of Quantum Topology, edited by Kauffman and Randy Baadhio, compiled seminal articles and an introductory overview, solidifying the field as an interdisciplinary domain bridging knot theory, quantum groups, and low-dimensional topology.^[22]

Mathematical foundations

Topological quantum field theories

Topological quantum field theories (TQFTs) provide the axiomatic mathematical framework that underpins quantum topology, formalizing the relationship between topological manifolds and algebraic structures in a functorial manner. A TQFT is defined as a symmetric monoidal functor from the category of n-dimensional cobordisms to the category of vector spaces, ensuring that topological equivalences correspond to algebraic isomorphisms. This functorial perspective captures the invariance of quantum topological invariants under continuous deformations, making TQFTs a cornerstone for constructing link and manifold invariants without reference to specific metrics or coordinates.^[23] The foundational axioms for TQFTs were proposed by Michael Atiyah in 1988, describing an n-dimensional TQFT as a functor Z: \mathbf{Cob}_n \to \mathbf{Vect}, where \mathbf{Cob}_n is the monoidal category of n-dimensional cobordisms between (n-1)-manifolds (with disjoint union as the monoidal product), and \mathbf{Vect} is the category of finite-dimensional complex vector spaces (also monoidal under direct sum). Specifically, Z assigns to each closed (n-1)-manifold a vector space (often a Hilbert space in physical contexts, though finite-dimensional in the axiomatic setup), and to each cobordism between two such manifolds a linear map between the corresponding vector spaces, preserving the monoidal structure and composition of cobordisms. The axioms further require that Z is diffeomorphism-invariant, meaning that homeomorphic cobordisms induce the same linear maps up to isomorphism, and that the empty manifold maps to the base field \mathbb{C}. These properties ensure that the theory is purely topological, independent of any additional geometric structure.^[23] In the 2-dimensional case, TQFTs correspond precisely to commutative Frobenius algebras, where the vector space assigned to the circle is the underlying space of the algebra, the pants cobordism induces the multiplication and comultiplication maps, and the cap and cup cobordisms provide the trace and coevaluation, satisfying the Frobenius relations for associativity and commutativity. This equivalence classifies all 2D TQFTs up to isomorphism, with the algebra's structure dictating the theory's response to cobordisms like the torus, which yields the Frobenius-Perron dimension as a key invariant. For 3-dimensional TQFTs, the framework incorporates surgery theory, where 3-manifolds are obtained by excising tubular neighborhoods of links and gluing in solid tori, allowing the assignment of invariants via handle decompositions that respect the cobordism category.^[24] The functorial equation for an n-TQFT can be expressed as Z: \mathbf{Cob}(n) \to \mathbf{Vect}, where Z maps closed (n-1)-manifolds (such as circles in 2D or 2-spheres in 3D) to vector spaces, and cobordisms (surfaces in 2D or 3-manifolds in 3D) to linear maps between those spaces, with disjoint union inducing tensor products. A pivotal construction linking TQFTs to quantum topology is the Reshetikhin-Turaev method (1991), which derives 3D TQFTs from modular tensor categories, associating representations of quantum groups to links and using ribbon structures to ensure modularity and braiding invariance for manifold invariants.

Knot and link invariants

In quantum topology, knot and link invariants are topological quantities that remain unchanged under ambient isotopy, often taking the form of Laurent polynomials in one or more variables or numerical values derived from them. These invariants distinguish knots and links that cannot be deformed into each other without cutting, providing a quantum mechanical perspective on classical topology. Unlike classical invariants such as the Alexander polynomial, quantum invariants arise from representations of quantum groups or modular categories, capturing non-local properties through path integrals or categorical traces. The construction of these invariants proceeds via topological quantum field theories (TQFTs), where a link is regarded as the boundary of an oriented surface embedded in a 3-manifold, such as the 3-sphere. In this framework, the TQFT assigns a Hilbert space to the boundary components punctured by the link, and the invariant is obtained as the trace of the identity operator on this Hilbert space, yielding a scalar that is independent of the embedding. This trace construction ensures invariance under Reidemeister moves and other isotopies, as the TQFT functor maps cobordisms diffeomorphically. Quantum invariants exhibit specific algebraic properties that reflect the topology of link operations. Under disjoint union of links, the invariant is multiplicative: if I(L_1 \sqcup L_2) denotes the invariant of the disjoint union, then I(L_1 \sqcup L_2) = I(L_1) \cdot I(L_2). For the connected sum of knots, many quantum invariants, such as those from the Reshetikhin-Turaev construction, are also multiplicative: I(K_1 \# K_2) = I(K_1) \cdot I(K_2), where the unknot evaluates to 1. These properties facilitate computations for composite links and enable the detection of prime factors in knot decompositions.^[25] A representative example is the HOMFLY polynomial, a two-variable Laurent polynomial P_L(a, z) that generalizes both the one-variable Jones polynomial (obtained by setting a = t^{-1}, z = t^{1/2} - t^{-1/2}) and the Alexander-Conway polynomial (setting a=1). It satisfies a skein relation \alpha P_{L_+} - \alpha^{-1} P_{L_-} = z P_{L_0} and is normalized so that the unknot evaluates to 1, making it a powerful tool for distinguishing links with up to 12 crossings. A distinctive feature of quantum invariants is the use of colored invariants, where each component of a link is assigned a representation (or "color") of a quantum group, such as U_q(\mathfrak{sl}_N), to produce a family of invariants parameterized by these representations. These colored versions refine the uncolored invariant by incorporating higher-dimensional representations, leading to polynomials like the colored Jones polynomial, which detect finer topological differences and connect to volume conjectures in hyperbolic geometry. The construction relies on the braided tensor structure of the quantum group representations, ensuring the result is a framed link invariant that factors through the ribbon category.

Core theories and invariants

Chern-Simons theory

Chern-Simons theory is a three-dimensional topological quantum field theory that provides a framework for understanding topological invariants in quantum topology through its gauge field formulation on closed orientable 3-manifolds. The theory is defined by the Chern-Simons action, which for a gauge field A taking values in the Lie algebra of a compact simple Lie group G (such as SU(N)) is given by

S_{\text{CS}}[A] = \frac{k}{4\pi} \int_M \operatorname{Tr}\left( A \wedge dA + \frac{2}{3} A \wedge A \wedge A \right),

where M is the 3-manifold, \operatorname{Tr} denotes the trace in the fundamental representation, and k is the level parameter.^[26] This action is topological, meaning it depends only on the global structure of the manifold and is invariant under diffeomorphisms, making the theory independent of the metric on M.^[26] Quantization of Chern-Simons theory is achieved through the path integral formulation, where the partition function for a manifold M is

Z(M) = \int \mathcal{D}A \, \exp\left( i S_{\text{CS}}[A] / \hbar \right),

with the integral over all connections A modulo gauge transformations.^[26] This formal path integral yields a topological invariant Z(M) that categorifies into a modular functor, capturing the theory's Hilbert space structure. Observables in the theory are provided by Wilson loops, which are traces of the holonomy of A around closed curves (knots or links) in M; inserting such loops into the path integral produces link invariants that depend on the embedding of the links.^[26] The level k must be a nonnegative integer for the theory to be well-defined quantum mechanically, ensuring gauge invariance under large gauge transformations, and it parameterizes the quantization, linking the theory to representations of quantum groups such as U_q(\mathfrak{sl}(N)) with q = e^{2\pi i / (k + h^\vee)}, where h^\vee is the dual Coxeter number of G.^[26] A key feature of Chern-Simons theory is the Verlinde formula, which computes the fusion rules of primary fields and the dimensions of the Hilbert spaces associated to surfaces, reflecting the modular representation theory underlying the invariants. Specifically, for a surface of genus g, the dimension of the space of conformal blocks is given by a sum over representations involving the modular S-matrix elements derived from the path integral on the torus. This formula arises naturally from the surgery presentation of 3-manifolds and the braiding properties of Wilson lines. In physical contexts, the Chern-Simons term appears as a topological contribution to the effective action for systems with anyonic excitations, such as those realized in the fractional quantum Hall effect, where it enforces fractional statistics for quasiparticles.^[27] The theory's foundational insights into these invariants were advanced in Edward Witten's 1989 analysis connecting it to knot polynomials.^[26]

Jones polynomial and generalizations

The Jones polynomial is a Laurent polynomial invariant V_L(t) assigned to an oriented link L in three-dimensional space, introduced by Vaughan F. R. Jones in 1984. It is defined recursively via the skein relation

t^{-1} V_{L_+} - t V_{L_-} = (t^{-1/2} - t^{1/2}) V_{L_0},

where L_+, L_-, and L_0 denote link diagrams that differ only in a small region containing an overcrossing, undercrossing, and no crossing (seifert smoothing), respectively, and the normalization V_U(t) = 1 for the unknot U. This relation, together with the behavior under link disjoint union V_{L \sqcup K}(t) = V_L(t) V_K(t), uniquely determines the polynomial for any link. The Jones polynomial distinguishes many knots that classical invariants like the Alexander polynomial cannot, such as the trefoil and figure-eight knot, where V_{\text{trefoil}}(t) = t + t^3 - t^4.^[28] A key generalization of the Jones polynomial is the Kauffman bracket, an unoriented regular isotopy invariant \langle L \rangle introduced by Louis H. Kauffman in 1987, which provides a combinatorial state-sum model for computing the Jones polynomial.^[29] The bracket satisfies the skein relation

\langle L_+ \rangle = A \langle L_A \rangle + A^{-1} \langle L_B \rangle,

where L_A and L_B are the diagrams obtained by replacing the positive crossing in L_+ with the A-smoothing (horizontal) and B-smoothing (vertical) resolutions, respectively, along with the circle axiom \langle \bigcirc \sqcup L \rangle = (-A^2 - A^{-2}) \langle L \rangle and \langle \emptyset \rangle = 1.^[29] The Jones polynomial is recovered from the bracket via V_L(t) = (-A^3)^{-w(L)} \langle L \rangle \big|_{A = -t^{-1/4}}, where w(L) is the writhe of the diagram, yielding a framed link invariant that becomes ambient isotopic upon normalization.^[29] This state-sum approach sums over all $2^n smoothing states of an n-crossing diagram, weighted by A^{a - b} (-A^2 - A^{-2})^{s-1}, where a and b count A- and B-smoothings, and s is the number of circles.^[29] The algebraic origin of the Jones polynomial lies in the representation theory of the quantum group U_q(\mathfrak{sl}_2), where q = t, as developed by Nikolai Reshetikhin and Vladimir Turaev in 1990. Specifically, the polynomial arises as the quantum trace of the cabling operator associated to the fundamental representation of U_q(\mathfrak{sl}_2) on the path space of a knot diagram, ensuring invariance under Reidemeister moves through the ribbon Hopf algebra structure. This framework generalizes to colored Jones polynomials by using higher-dimensional representations, enhancing the invariant's discriminatory power for knot concordance. Further generalizations include the Alexander-Conway polynomial, obtained as the t \to 1 limit of the Jones polynomial (up to normalization), which satisfies its own skein relation \nabla_{L_+} - \nabla_{L_-} = z \nabla_{L_0} and specializes to the classical Alexander invariant. The HOMFLY-PT polynomial, introduced independently by several groups in 1985, serves as a universal two-variable invariant encompassing both the Jones and Alexander-Conway polynomials as specializations (at v=1 and m = t + t^{-1}, respectively). It is defined by the skein relation m^{-1} P_{L_+} - m P_{L_-} = z P_{L_0}, providing a broader framework for quantum link invariants. Computations of these invariants typically proceed recursively using the skein relations, resolving crossings step-by-step until reaching trivial links, or via the state-sum model for efficiency on diagrams with moderate crossings.^[29] For example, the Jones polynomial of the Hopf link is V(t) = -t^{-1/2} - t^{1/2}, derived by applying the skein relation twice from the unknot. These methods underpin algorithmic implementations in knot theory software, emphasizing the polynomials' role in distinguishing topological types.^[29]

Applications

In physics

Quantum topology finds profound applications in physics, particularly in understanding topological phases of matter where quantum states are robust against local perturbations due to their topological order. These phases emerge in strongly correlated electron systems, such as those in the fractional quantum Hall effect (FQHE), first experimentally observed in the early 1980s in two-dimensional electron gases under strong magnetic fields at low temperatures. The FQHE is characterized by quantized Hall conductance at fractional values of e^2/h, defying simple single-particle models and requiring collective descriptions of electron correlations. A seminal theoretical framework for the FQHE was provided by Laughlin's variational wavefunctions in 1983, which capture the incompressible quantum fluid state with fractionally charged quasiparticle excitations known as anyons.^[30] These wavefunctions describe ground states for filling factors like \nu = 1/m (where m is an odd integer), incorporating correlation holes around electrons to enforce the fractional statistics. The FQHE states are effectively modeled by abelian Chern-Simons topological quantum field theories (TQFTs), where electrons are statistically transmuted into composite fermions via attachment of flux quanta, leading to emergent gauge fields that enforce the topological order.^[31] In this description, the low-energy excitations are anyons with fractional statistics, and their braiding properties in non-abelian generalizations arise from representations of the braid group connected to the Jones polynomial through the Chern-Simons framework.^[26] Topological phases extend beyond the abelian FQHE to non-abelian states, such as the \nu = 5/2 Moore-Read state, where anyons exhibit richer fusion and braiding behaviors modeled by non-abelian Chern-Simons theories.^[32] The fusion rules for these anyons in Chern-Simons TQFTs are governed by the Verlinde algebra, which computes the dimensions of Hilbert spaces from modular transformations of conformal blocks. For primary fields a, b, c in the theory, the fusion multiplicity N_{ab}^c is given by

N_{ab}^c = \sum_{j} \frac{S_{a j} S_{b j} S_{c j}^*}{S_{0 j}^2},

where S is the modular S-matrix, and the sum runs over representations j. This algebraic structure dictates how anyons combine, enabling non-local quantum information storage protected by topology. In quantum computing, quantum topology enables fault-tolerant topological qubits encoded in the degenerate ground states of non-abelian anyon systems, where logical operations are performed via anyon braiding that is robust against local noise.^[33] The topological protection arises from the non-local nature of the anyon worldlines, making errors correctable as long as quasiparticle trajectories do not fully encircle one another, as proposed in Kitaev's framework for anyonic quantum computation.^[34] Experimental pursuits include claims of evidence for Majorana fermions—self-conjugate zero-energy modes equivalent to Ising anyons—in semiconductor nanowires proximity-coupled to superconductors during the 2010s, though these observations remain controversial with ongoing efforts to confirm their topological origin.^[35]^[36] Recent advances as of 2025 include machine learning methods for detecting Majorana signatures and realizations in artificial Kitaev chains.^[37]^[38] These Majorana modes connect to two-dimensional TQFTs like Kitaev's toric code, a \mathbb{Z}_2 topological order model where excitations are toric code anyons emerging from spin lattices, offering a blueprint for scalable quantum error correction.^[33]

In mathematics and computing

In quantum topology, the Witten-Reshetikhin-Turaev (WRT) invariant provides a key 3-manifold invariant constructed via quantum representations of groups, particularly through Dehn surgery on colored links in the 3-sphere.^[21] This invariant, arising from the mathematical rigorization of Witten's path integral approach in Chern-Simons theory, assigns a complex number to any closed oriented 3-manifold and remains unchanged under Kirby moves, ensuring its topological nature.^[21] For instance, surgery on the unknot yields the invariant for lens spaces, demonstrating its utility in classifying manifolds up to homeomorphism.^[21] Another significant invariant for 3-manifolds is Heegaard-Floer homology, developed in the late 1990s and early 2000s, which assigns a bigraded abelian group to each closed oriented 3-manifold via Heegaard splittings and holomorphic disk counts in symplectic geometry. This theory, independent of quantum groups but sharing structural parallels with Reshetikhin-Turaev constructions, detects fiberedness and other properties of 3-manifolds, such as distinguishing non-diffeomorphic manifolds like the Poincaré homology sphere from the 3-sphere. Its Euler characteristic relates to the Turaev torsion, bridging it to earlier quantum invariants. Categorification elevates classical polynomial invariants to homological ones, with Khovanov homology serving as a chain complex whose graded Euler characteristic recovers the Jones polynomial for links. Introduced in 2000, this invariant categorifies the Jones polynomial by associating a bigraded vector space to each link diagram, invariant under Reidemeister moves, and revealing torsion elements absent in the polynomial.^[39] For example, the trefoil knot's Khovanov homology exhibits non-trivial ranks in specific degrees, providing finer distinctions among knots than the Jones polynomial alone.^[39] In computational topology, knot invariants like the Jones polynomial and its categorifications enable algorithmic recognition of knots and links, with software such as KnotInfo implementing normal surface theory and hyperbolic volume computations to certify up to 20 crossings efficiently.^[40] Quantum algorithms further accelerate invariant computation; for instance, a polynomial-time quantum routine approximates the Jones polynomial at roots of unity for n-strand braids with m crossings, leveraging quantum walks on the braid group representation space.^[41] These methods run on quantum hardware to handle exponentially complex classical problems, such as distinguishing mutant knots.^[41] Quantum topology also influences computer science through topological data analysis (TDA), where persistent homology—tracking topological features across scales in data point clouds—quantifies shapes robustly. Quantum enhancements to persistent homology, using linear algebraic techniques on quantum states, compute Betti numbers exponentially faster for high-dimensional datasets, applying quantum information methods to machine learning tasks like clustering and anomaly detection.^[42] This integration has enabled scalable analysis of complex datasets, such as molecular structures, by embedding topological persistence in quantum circuits.^[42]

Current research and challenges

Open problems

One of the central open problems in quantum topology is the volume conjecture, which posits that the asymptotic behavior of the colored Jones polynomials of a knot encodes the hyperbolic volume of its complement in the 3-sphere. Formulated by Kashaev in the 1990s, the conjecture states that for a knot K, the limit $2\pi \lim_{n \to \infty} \frac{1}{n} \log |J_{K,n}(e^{2\pi i / n})| equals the hyperbolic volume of S^3 \setminus K, where J_{K,n} is the n-colored Jones polynomial. While verified for many classes of knots, including torus knots and those with up to 16 crossings, a general proof remains elusive, with challenges arising from the need to control exponential growth and cancellations in the polynomial evaluations.^[43]^[44] Another foundational challenge concerns the uniqueness of 3-dimensional topological quantum field theories (TQFTs) associated to given modular tensor categories, particularly whether Chern-Simons theory provides the sole physical realization. The Reshetikhin-Turaev construction yields a TQFT from a modular tensor category, and while equivalence to the geometric quantization of Chern-Simons has been established in specific cases like toroidal boundaries, a complete proof for arbitrary manifolds is ongoing. More broadly, it remains open whether all 3D TQFTs arise uniquely from modular tensor categories or if alternative constructions exist that realize the same category without corresponding to Chern-Simons.^[45] The completeness of categorification programs for knot and link invariants also presents significant hurdles, notably in extending Khovanov homology—a categorification of the Jones polynomial based on \mathfrak{sl}(2)—to higher-rank quantum groups. While Khovanov-Rozansky homology provides a categorification for \mathfrak{sl}(n) invariants, the \mathfrak{sl}(3) case lacks a fully universal or geometrically realized version that matches the depth of the \mathfrak{sl}(2) theory, with unresolved issues in constructing stable homotopy types or relating it to Floer theories. Efforts to categorify the full representation theory of quantum \mathfrak{sl}(3) encounter difficulties in defining coherent 2-categories that decategorify correctly across all weights.^[46] Quantum topology faces particular difficulties in dimension 4, where invariants distinguishing smooth and piecewise-linear (PL) structures on 4-manifolds remain underdeveloped compared to classical tools like Donaldson or Seiberg-Witten invariants. While combinatorial 4D TQFTs exist via state-sum models from spherical fusion categories, they often fail to capture smooth exotic phenomena, such as the existence of infinitely many smooth structures on \mathbb{CP}^2 \# \overline{\mathbb{CP}^2}, leaving a gap in quantum methods for smooth 4-manifold classification. This struggle highlights the dimension-specific pathologies in 4D, where PL and smooth categories diverge more sharply than in lower dimensions.^[47] Finally, computational challenges underscore the practical limitations of quantum invariants, particularly the hardness of deciding knot triviality. Although the unknot recognition problem lies in NP via normal surface theory, evaluating quantum invariants like the Jones polynomial to test for the unknot's value of 1 is #P-hard, even for alternating links, complicating algorithmic use in knot identification.^[48]^[49] This NP-complete aspect in related decision problems, such as approximating the Jones polynomial within multiplicative factors, resists efficient classical computation, motivating quantum algorithms for approximation.^[50]

Recent advances

In the 2010s, refinements to the Khovanov-Rozansky framework achieved a full categorification of the HOMFLY polynomial through the development of triply-graded link homologies and connections to Soergel bimodules, enabling more robust computations of quantum invariants for complex links. These advancements, building on the original matrix factorization construction, incorporated stable homotopy types and spectral sequences linking to other homologies, enhancing the theory's algebraic structure and applicability to higher-rank representations. Progress in quantum computing during the 2020s has included experiments with topological quantum error-correcting codes on platforms from IBM and Google, realizing small-scale states akin to those in topological quantum field theories (TQFTs). For instance, IBM's quantum processors demonstrated crossings of symmetry-protected topological phase transitions in 2022, preparing entangled states that mimic low-dimensional topological orders.^[51] Similarly, Google's advancements in surface code implementations below error thresholds in 2024 have supported simulations of fault-tolerant topological phases, paving the way for scalable TQFT-inspired computations.^[52] Links between quantum topology and quantum information theory have strengthened in the 2020s, particularly through studies of entanglement entropy in TQFTs, which quantifies topological order via universal corrections to area-law scaling.^[53] These connections reveal how TQFT ground states encode quantum information non-locally, with applications to error correction and holography. In 2023, significant advances in anyon simulation emerged, including experimental realizations of non-Abelian anyons on quantum hardware that demonstrate braiding statistics and protected state transfer in Fibonacci systems.^[54] Such simulations, using platforms like superconducting qubits, have validated topological protection against decoherence, bridging theoretical TQFTs to practical quantum devices.^[55] In 2025, further progress in higher-rank categorification was made through developments in SL(3) foams and their applications to link homologies, providing new tools for constructing geometrically realized invariants for sl(3) quantum groups.^[56] Emerging integrations of machine learning with quantum topology post-2020 have accelerated invariant computations, using neural networks to classify knot topologies and predict correlations across dimensions from diagram data.^[57] These data-driven approaches, trained on large knot tables, uncover hidden relations between classical and quantum invariants without exhaustive enumeration, enhancing efficiency for high-crossing knots.^[58]

References

[1]
[PDF] Quantum Topology and Quantum Computing - UMBC CSEE
This paper is intended as an introduction that can serve as a springboard for working on the interface between quantum topology and quantum computing. Section 7 ...
[2]
[PDF] Quantum Topology and Quantum Computing by Louis H. Kauffman ...
I. Introduction. This paper is a quick introduction to key relationships between the theories of knots,links, three-manifold invariants and the structure.
[3]
[PDF] Quantum topology without topology - Daniel Tubbenhauer
Quantum invariants bridge topology, algebra, number theory, and quantum physics, and are studied using categorical algebra, focusing on knots and links.<|control11|><|separator|>
[4]
https://doi.org/10.1142/9789812796387_0001
[5]
[PDF] Lectures on Quantum Topology - Sunghyuk Park
Feb 6, 2024 · The advent of quantum topology can probably be traced back to the discovery of Jones polynomial [Jon85], Witten's interpretation of Jones ...
[6]
Quantum entanglement and topological entanglement - IOP Science
Oct 16, 2002 · This paper discusses relationships between topological entanglement and quantum entanglement. ... of quantum topology and topological ...
[7]
[2505.01653] Topological Quantum Statistical Mechanics and ... - arXiv
May 3, 2025 · This paper focuses on the 3D Ising model, establishes topological quantum statistical mechanics, and generalizes to topological quantum field ...
[8]
Topological Quantum Statistical Mechanics and Topological ... - MDPI
This paper focuses on the 3D Ising model, establishes topological quantum statistical mechanics, and generalizes to topological quantum field theories.
[9]
[PDF] Higher-dimensional algebra I: braided monoidal 2-categories
Abstract. We begin with a brief sketch of what is known and conjectured concerning braided monoidal 2-categories and their relevance to 4d TQFTs and ...
[10]
Categorical Quantum Groups and Braided Monoidal 2-Categories
Apr 14, 2023 · The main results we prove in this paper is that the 2-representation 2-category of a weak 2-bialgebra is braided monoidal if and only if it is equipped with a ...Missing: topology
[11]
Chern-Simons theory and topological strings | Rev. Mod. Phys.
Aug 4, 2005 · The starting point to obtain a topological string theory is therefore a conformal field theory with topological invariance. Such theories are ...Chern-Simons Theory and... · Topological Strings · Chern-Simons Theory as a...
[12]
Why Mathematicians Study Knots - Quanta Magazine
Oct 31, 2022 · But Tait was the first scholar to work on what became the fundamental problem in knot theory: the classification and tabulation of all possible ...
[13]
Peter Guthrie Tait - MIT
By 1877 he had classified all knots with seven crossings but he stopped there. One of the problems he considered after that was the colouring of graphs since he ...
[14]
Alexander Polynomial -- from Wolfram MathWorld
The Alexander polynomial is a knot invariant discovered in 1923, arising from the homology of the infinitely cyclic cover of a knot complement.Missing: original paper
[15]
Reidemeister Moves -- from Wolfram MathWorld
All knot deformations can be reduced to a sequence of three types of moves, called the (I) twist move, (II) poke move, and (III) slide move.
[16]
bra-ket in nLab
Jun 20, 2024 · Traditional notation in physics [Dirac 1939] for writing down pure quantum states (elements of Hilbert spaces), their hermitian adjoints and Hermtian inner ...
[17]
[PDF] Topological Quantum Information Theory
Quantum Topology, Cobordism ... This deepens the context for our question of the relationship between topological entanglement and quantum entanglement.
[18]
Knots and Quantum Theory - Ideas | Institute for Advanced Study
In the twentieth century, mathematicians developed a deep theory of knots, which was revolutionized by the discovery of the Jones polynomial—a way to ...
[19]
Invariants of 3-manifolds via link polynomials and quantum groups
Cite this article. Reshetikhin, N., Turaev, V.G. Invariants of 3-manifolds via link polynomials and quantum groups. Invent Math 103, 547–597 (1991). https ...
[20]
https://link.springer.com/article/10.1007/BF02698547
[21]
[PDF] Topological quantum field theory - Numdam
TOPOLOGICAL QUANTUM FIELD THEORIES by MICHAEL ATIYAH. To Rene Thorn on his 65th birthday. 1. Introduction. In recent years there has been a remarkable ...Missing: 1990 | Show results with:1990
[22]
[PDF] Two-dimensional topological quantum field theories and Frobenius ...
ABSTRACT. We characterize Frobenius algebras A as algebras having a comultiplication which is a map of A-modules. This characterization allows a simple ...Missing: original | Show results with:original
[23]
https://www.numdam.org/item/PMIHES_1988__68__175_0.pdf
[24]
Quantum field theory and the Jones polynomial - Project Euclid
Quantum field theory and the Jones polynomial. Edward Witten. DOWNLOAD PDF + SAVE TO MY LIBRARY. Comm. Math. Phys. 121(3): 351-399 (1989).
[25]
Field theory of anyons and the fractional quantum Hall effect
Sep 15, 1992 · We present a microscopic theory of the fractional quantum Hall effect and its hierarchy structure on the basis of a Chern-Simons gauge theory.
[26]
[PDF] STATE MODELS AND THE JONES POLYNOMIAL
The paper is organized as follows. In 52 the bracket polynomial is developed, and its relationship with the Jones polynomial is explained. This provides a self- ...
[27]
Anomalous Quantum Hall Effect: An Incompressible Quantum Fluid ...
May 2, 1983 · This Letter presents variational ground-state and excited-state wave functions which describe the condensation of a two-dimensional electron gas into a new ...
[28]
Fractional quantum Hall effect and Chern-Simons gauge theories
Sep 1, 1991 · We present a theory of the fractional quantum Hall effect (FQHE) based on a second-quantized fermion path-integral approach.
[29]
Non-Abelian anyons and topological quantum computation
Sep 12, 2008 · The fault tolerance of a topological quantum computer arises from the nonlocal encoding of the quasiparticle states, which makes them immune to ...Abstract · Article Text · Topological Phases of Matter... · Quantum Computing with...
[30]
Fault-tolerant quantum computation by anyons - ScienceDirect.com
January 2003, Pages 2-30. Annals of Physics. Fault-tolerant quantum computation by anyons. Author links open overlay panel. A.Yu. Kitaev. Show more. Add to ...
[31]
[quant-ph/9707021] Fault-tolerant quantum computation by anyons
Jul 9, 1997 · Abstract: A two-dimensional quantum system with anyonic excitations can be considered as a quantum computer. Unitary transformations can be ...
[32]
Signatures of Majorana Fermions in Hybrid Superconductor ...
Majorana fermions are particles identical to their own antiparticles. They have been theoretically predicted to exist in topological superconductors.
[33]
[math/9908171] A categorification of the Jones polynomial - arXiv
Aug 30, 1999 · View a PDF of the paper titled A categorification of the Jones polynomial, by Mikhail Khovanov ... 101 (2000), no. 3, 359--426. Submission ...
[34]
Algorithms for Recognizing Knots and 3-Manifolds - ResearchGate
Aug 10, 2025 · This is a survey paper on algorithms for solving problems in 3-dimensional topology. In particular, it discusses Haken's approach to the ...
[35]
A Polynomial Quantum Algorithm for Approximating the Jones ...
Nov 9, 2005 · This paper presents a polynomial quantum algorithm to approximate the Jones polynomial, a knot invariant, for n-strand braids with m crossings, ...
[36]
Quantum algorithms for topological and geometric analysis of data
Jan 25, 2016 · Persistent homology is a sophisticated tool for identifying topological features and for determining how such features persist as the data is ...Introduction · Results · Topological Analysis<|control11|><|separator|>
[37]
Kashaev's Conjecture and the Chern-Simons Invariants of Knots ...
R. M. Kashaev conjectured that the asymptotic behavior of the link invariant he introduced, which equals the colored Jones polynomial evaluated at a root of ...Missing: original | Show results with:original
[38]
The topological quantum field theory of Riemann's theta functions
It is well-known that modular tensor categories give rise to TQFTs [10], although it is an open question as to whether all TQFTs arise in this way. One can pose ...
[39]
[1405.2314] Trace decategorification of categorified quantum sl(3)
May 9, 2014 · We prove that the trace of categorified quantum sl(3) introduced by M. Khovanov and A. Lauda can also be identified with quantum sl(3), thus ...Missing: unresolved open problem
[40]
Status of PL topology - MathOverflow
May 5, 2012 · PL topology is nowadays not nearly as useful as it used to be to study topological and smooth manifolds, due to new techniques developed in those categories.Subtle gap between PL & SMOOTH in dimension 4 - MathOverflowDonaldson invariants for piecewise-linear 4-manifolds - MathOverflowMore results from mathoverflow.net
[41]
[PDF] The Computational Complexity of Knot and Link Problems
Dec 12, 2001 · We consider the problem of deciding whether a polygonal knot in 3- dimensional Euclidean space is unknotted, capable of being continuously.
[42]
[PDF] On the computational complexity of the Jones and Tutte polynomials
We shall show in Section 6 that determining the Jones polynomial of an alternating link is #P-hard. To do this we use its relationship with the Tutte.
[43]
[PDF] How Hard Is It to Approximate the Jones Polynomial?
Jun 6, 2015 · An algorithm to approximate the Jones polynomial is only directly useful for topology if the approximation is value-distinguishing; i. e., if ...
[44]
Crossing a topological phase transition with a quantum computer
Apr 25, 2022 · We construct and measure a continuously parametrized family of states crossing a symmetry protected topological phase transition on the IBM Q quantum computers.
[45]
Breaking The Surface: Google Demonstrates Error Correction Below ...
Aug 27, 2024 · Researchers demonstrated a quantum memory system that significantly reduced error rates, operating below a critical threshold.
[46]
[2201.13310] Lectures on entanglement in quantum field theory - arXiv
Jan 31, 2022 · These notes grew from a series of lectures given by the authors during the last decade. They will be published in the proceedings of TASI 2021.
[47]
Article Experimental quantum simulation of a topologically protected ...
Sep 11, 2023 · We propose a disk model that can simulate the Fibonacci anyon system and construct the topologically protected logical spaces with the Fibonacci anyons.Missing: advances | Show results with:advances
[48]
[2211.09802] Digital simulation of non-Abelian anyons with 68 ...
Nov 17, 2022 · This paper reports a digital simulation of non-Abelian anyons using 68 qubits, demonstrating their braiding statistics and Ising anyon behavior.
[49]
Algebraic & Geometric - MSP
Dec 27, 2024 · Daemi and Scaduto proposed a generalization that is related to a version of the slice-ribbon conjecture for torus knots. Our results provide ...Missing: resolution | Show results with:resolution
[50]
[2402.04483] Generalized Bonahon-Wong-Yang volume conjecture ...
Feb 7, 2024 · We propose a generalization of the Bonahon-Wong-Yang volume conjecture of quantum invariants of surface diffeomorphisms.
[51]
Machine learning of knot topology in non-Hermitian band braids
Jun 29, 2024 · Our study shows significant potential of machine learning in classification of knots, braid groups, and non-Hermitian topological phases.
[52]
[PDF] Learning knot invariants across dimensions - SciPost
Feb 21, 2023 · We use deep neural networks to machine learn correlations between knot invariants in various dimensions. The three-dimensional invariant of ...