Related papers: The 2-Category of Topological Quantum Computation
For non-abelian simple objects in a unitary modular category, the density of their braid group representations, the #P-hard evaluation of their associated link invariants, and the BQP-completeness of their anyonic quantum computing models…
Fusion categories are fundamental objects in quantum algebra, but their definition is narrow in some respects. By definition a fusion category must be k-linear for some field k, and every simple object V is strongly simple, meaning that (V)…
This review presents an entry-level introduction to topological quantum computation -- quantum computing with anyons. We introduce anyons at the system-independent level of anyon models and discuss the key concepts of protected fusion…
Recently, many studies are focused on generalized global symmetry, a mixture of both invertible and non-invertible symmetries in various space-time dimensions. The complete structure of generalized global symmetry is described by higher…
The class of quantum affinizations includes quantum affine algebras and quantum toroidal algebras. In general they have no Hopf algebra structure, but have a "coproduct" (the Drinfeld coproduct) which does not produce tensor products of…
We develop the Morita theory of fusion 2-categories. In order to do so, we begin by proving that the relative tensor product of modules over a separable algebra in a fusion 2-category exists. We use this result to construct the Morita…
Category computation theory deals with a web-based systemic processing that underlies the morphic webs, which constitute the basis of categorial logical calculus. It is proven that, for these structures, algorithmically incompressible…
We review the q-deformed spin network approact to Topological Quantum Field Theory and apply these methods to produce unitary representations of the braid groups that are dense in the unitary groups. These methods produce a concise proof…
In this paper, we will present some ideas to use 3D topology for quantum computing. Topological quantum computing in the usual sense works with an encoding of information as knotted quantum states of topological phases of matter, thus being…
It is well-known that the tensor product of two bialgebras constitutes the binary product in the category of cocommutative bialgebras and morphisms of bialgebras between them. In this paper, we extend this result to triangular bialgebras…
We apply the mechanism of factorization homology to construct and compute category-valued two-dimensional topological field theories associated to braided tensor categories, generalizing the $(0,1,2)$-dimensional part of…
For each braided category $\mathcal{C}$ we show that, under mild hypotheses, there is an associated category of "half braided algebras" and their bimodules internal to $\mathcal{C}$ which is not only monoidal but even braided and balanced.…
Reynolds' theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds'…
We prove that every braiding on a unitary fusion category is automatically unitary, and that every unitary braided fusion category admits a unique unitary ribbon structure.
Motivated by topological quantum field theory, we investigate the geometric aspects of unitary 2-representations of finite groups on 2-Hilbert spaces, and their 2-characters. We show how the basic ideas of geometric quantization are…
We introduce the concept of fermionic matrix product operators, and show that they provide a natural representation of fermionic fusion tensor categories. This allows for the classification of two dimensional fermionic topological phases in…
Non-Abelian topological order (TO) enables topologically protected quantum computation with its anyonic quasiparticles. Recently, TO with $S_3$ gauge symmetry was identified as a sweet spot -- simple enough to emerge from finite-depth…
Gravitational anomalies can be realized on the boundary of topologically ordered states in one higher dimension and are described by topological orders in one higher dimension. In this paper, we try to develop a general theory for both…
One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we continue the work of [7] to adapt the machinery of globular operads [4] to…
We study generalized symmetries of quantum field theories in 1+1D generated by topological defect lines with no inverse. This paper follows our companion paper on gapped phases and anomalies associated with these symmetries. In the present…