Kerstin Beer, Bondarenko, Dmytro, Alexander Hahn, Maria Kalabakov, Nicole Knust, Laura Niermann, Tobias J. Osborne, Christin Schridde, Stefan J. Seckmeyer, Deniz E. Stiegemann, Ramona Wolf
In this paper we provide an overview of category theory, focussing on applications in physics. The route we follow is motivated by the final goal of understanding anyons and topological QFTs using category theory. This entails introducing modular tensor categories and fusion rings. Rather than providing an in-depth mathematical development we concentrate instead on presenting the "highlights for a physicist".
In this paper we provide an overview of category theory, focussing on applications in physics. The route we follow is motivated by the final goal of understanding anyons and topological QFTs using category theory. This entails introducing modular tensor categories and fusion rings. Rather than providing an in-depth mathematical development we concentrate instead on presenting the "highlights for a physicist".
Abstract Topological quantum computation employs two-dimensional quasiparticles called anyons. The generally accepted mathematical basis for the theory of anyons is the framework of modular tensor categories. That framework involves a substantial amount of category theory and is, as a result, considered rather difficult to understand. Is the complexity of the present framework necessary? The computations of associativity and braiding matrices can be based on a much simpler framework, which looks less like category theory and more like familiar algebra. We introduce that framework here.
The theory of anyon systems, as modular functors topologically and unitary modular tensor categories algebraically, is mature. To go beyond anyons, our first step is the interplay of anyons with conventional group symmetry due to the paramount importance of group symmetry in physics. This led to the theory of symmetry-enriched topological order. Another direction is the boundary physics of topological phases, both gapless as in the fractional quantum Hall physics and gapped as in the toric code. A more speculative and interesting direction is the study of Banados–Teitelboim–Zanelli (BTZ) black holes and quantum gravity in 3d. The clearly defined physical and mathematical issues require a far-reaching generalization of anyons and seem to be within reach. In this short survey, I will first cover the extensions of anyon theory to symmetry defects and gapped boundaries. Then, I will discuss a desired generalization of anyons to anyon-like objects — the BTZ black holes — in 3d quantum gravity.
Instead of constructing anyon condensation in various concrete models, we take a bootstrap approach by considering an abstract situation, in which an anyon condensation happens in a 2-d topological phase with anyonic excitations given by a modular tensor category C; and the anyons in the condensed phase are given by another modular tensor category D. By a bootstrap analysis, we derive a relations between anyons in D-phase and anyons in C-phase from natural physical requirements. It turns out that the vacuum (or the tensor unit) A in D-phase is necessary to be a connected commutative separable algebra in C, and the category D is equivalent to the category of local A-modules as modular tensor categories. This condensation also produces a gapped domain wall with wall excitations given by the category of A-modules in C. More general situation is also discussed in this paper. We will also show how to determine such algebra A from the initial and final data. Multi-condensations and 1-d condensations will also be briefly discussed. Examples will be given in the toric code model, Kitaev quantum double models, Levin-Wen types of lattice models and some chiral topological phases.
We argue that category theory should become a part of the daily practice of the physicist, and more specific, the quantum physicist and/or informatician. The reason for this is not that category theory is a better way of doing mathematics, but that monoidal categories constitute the actual algebra of practicing physics. We will not provide rigorous definitions or anything resembling a coherent mathematical theory, but we will take the reader for a journey introducing concepts which are part of category theory in a manner that the physicist will recognize them.
Although it has been a well-known fact, for more than two decades, that category theory is needed for the study of topological orders, it is still a non-trivial challenge for students and working physicists to master the abstract language of category theory. In this work, for those who have no background in category theory, we explain in great details how the structure of a (braided) fusion category naturally emerges from lattice models and physical intuitions. Moreover, we show that nearly all mathematical notions and constructions in fusion categories and its representation theory, such as (monoidal) functors, Drinfeld center, module categories, Morita equivalence, condensation completion and fusion 2-categories, naturally emerge from lattice models and physical intuitions. In this process, we also introduce some basic notions and important results of topological orders.
Topological quantum computation offers a paradigm shift for fault-tolerant quantum computation. It proposes encoding qubits in the mutual states of quasiparticles (called anyons) of 2-dimensional topologically ordered matter. Unitary ribbon fusion categories describe the algebraic theory of anyons. Although the category of an anyonic theory specifies suitable computational spaces, qubits, and quantum gates, it does not precisely formalise the category of topological quantum computation (TQC). We describe the TQC category using the elements of categorical quantum mechanics (CQM). Given the qubit-based graphical calculus accompanying CQM, called the ZX-calculus, we present the details of the ZX-representation of Fibonacci and Ising anyons. Finally, we propose a bicategorical approach to convene anyonic theory and TQC in one (bi)category. In the second part of the thesis, we discuss how the bicategory of module categories formalises boundary types and their excitations. We show theorems that reduce the data to physically meaningful data. A 2-category capable of describing topological quantum computation with point-like and string-like excitations is speculated to be a fusion 2-category. We discuss the available definition in the literature. The paper particularly lacks a rigorous definition for additive 2-categories; in this thesis, we give a definition. We propose the idea of typing higher-ranked matrices in additive 2-categories. Lastly, we overview the complete definition of monoidal 2-categories and recover Kapranov and Voevodsky's definition from the algebraic definition of tricategory by Gurski. This definition and the detailed list of data are the complete ingredients physicists need for quantum computation with higher dimensional excitations.