Related papers: The 2-Category of Topological Quantum Computation
The theory of quantum computation can be constructed from the abstract study of anyonic systems. In mathematical terms, these are unitary topological modular functors. They underlie the Jones polynomial and arise in Witten-Chern-Simons…
We study the problem of universality in the anyon model described by the $SU(2)$ Witten-Chern-Simons theory at level $k$. A classic theorem of Freedman-Larsen-Wang states that for $k \geq 3, \ k \neq 4$, braiding of the anyons of…
In a companion work on the combinatorial quantization of 4d 2-Chern-Simons theory, the author has constructed the Hopf category of quantum 2-gauge transformations $\tilde{C}=\mathbb{U}_q\mathfrak{G}$ acting on the discrete surface-holonomy…
The fusion rules and braiding statistics of anyons in $(2+1)$D fermionic topological orders are characterized by the modular data of a super-modular category. On the other hand, the modular data of a super-modular category form a congruence…
It was well known that there are $e$-particles and $m$-strings in the 3-dimensional (spatial dimension) toric code model, which realizes the 3-dimensional $\mathbb{Z}_2$ topological order. Recent mathematical result, however, shows that…
We study Kitaev's quantum double model for arbitrary finite gauge group in infinite volume, using an operator-algebraic approach. The quantum double model hosts anyonic excitations which can be identified with equivalence classes of…
We investigate the relationship between the algebra of tensor categories and the topology of framed 3-manifolds. On the one hand, tensor categories with certain algebraic properties determine topological invariants. We prove that fusion…
A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible…
We investigate invertible elements and gradings in braided tensor categories. This leads us to the definition of theta-, product-, subgrading and orbitcategories in order to construct new families of BTC's from given ones. We use the…
We propose that, up to invertible topological orders, 2+1D fermionic topological orders without symmetry and 2+1D fermionic/bosonic topological orders with symmetry $G$ are classified by non-degenerate unitary braided fusion categories…
Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating objects and morphisms, which capture their interactions. It has influenced areas of computer science such as automata theory, functional…
Topological quantum error correction based on the manipulation of the anyonic defects constitutes one of the most promising frameworks towards realizing fault-tolerant quantum devices. Hence, it is crucial to understand how these defects…
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…
We use a 2-categorical version of (de-)equivariantization to classify (3+1)d topological orders with a finite $G$-symmetry. In particular, we argue that (3+1)d fermionic topological order with $G$-symmetry correspond to…
In this paper we will present some ideas to use 3D topology for quantum computing extending ideas from a previous paper. Topological quantum computing used \textquotedblleft knotted\textquotedblright{} quantum states of topological phases…
The Turaev-Viro invariant for a closed 3-manifold is defined as the contraction of a certain tensor network. The tensors correspond to tetrahedra in a triangulation of the manifold, with values determined by a fixed spherical category. For…
In this paper, we provide a construction of a Topological Quantum Field Theory from a Non-Hermitian Ribbon Fusion Category. This is a simple method that does not involve enriching over Fusion Categories, or using other complicated…
We classify all unitary modular tensor categories (UMTCs) of rank $\leq 4$. There are a total of 70 UMTCs of rank $\leq 4$ (Note that some authors would have counted as 35 MTCs.) In our convention there are two trivial unitary MTCs…
It is well known that braided monoidal categories are the categorical algebras of the little two-dimensional disks operad. We introduce involutive little disks operads, which are Z/2Z-orbifold versions of the little disks operads. We…
Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also…