Eric C. Rowell

Braids, Motions and Topological Quantum Computing

The topological model for quantum computation is an inherently fault-tolerant model built on anyons in topological phases of matter. A key role is played by the braid group, and in this survey we focus on a selection of ways that the mathematical study of braids is crucial for the theory. We provide some brief historical context as well, emphasizing ways that braiding appears in physical contexts. We also briefly discuss the 3-dimensional generalization of braiding: motions of knots.

Higher central charges and Witt groups

In this paper, we introduce the definitions of signatures of braided fusion categories, which are proved to be invariants of their Witt equivalence classes. These signature assignments define group homomorphisms on the Witt group. The higher central charges of pseudounitary modular categories can be expressed in terms of these signatures, which are applied to prove that the Ising modular categories have infinitely many square roots in the Witt group. This result is further applied to prove a conjecture of Davydov-Nikshych-Ostrik on the super-Witt group: the torsion subgroup generated by the completely anisotropic s-simple braided fusion categories has infinite rank.

Reconstructing Braided Subcategories of $SU(N)_k$

Ocneanu rigidity implies that there are finitely many (braided) fusion categories with a given set of fusion rules. While there is no method for determining all such categories up to equivalence, there are a few cases for which can. For example, Kazhdan and Wenzl described all fusion categories with fusion rules isomorphic to those of $SU(N)_k$ . In this paper we extend their results to a statement about braided fusion categories, and obtain similar results for certain subcategories of $SU(N)_k$ .

The Witt classes of $SO(2r)_{2r}$

We study the Witt classes of the modular categories $SO(2r)_{2r}$ associated with quantum groups of type $D_r$ at $4r-2$ th roots of unity. From these classes we derive infinitely many Witt classes of order 2 that are linearly independent modulo the subgroup generated by the pointed modular categories. In particular we produce an example of a simple, completely anisotropic modular category that is not pointed whose Witt class has order 2, answering a question of Davydov, Müger, Nikshych and Ostrik. Our results show that the trivial Witt class $[Vec]$ has infinitely many square roots modulo the pointed classes, in analogy with the recent construction of infinitely many square roots of the Ising Witt classes modulo the pointed classes constructed in a similar way from certain type $B_r$ modular categories. We compare the subgroups generated by the Ising square roots and $[Vec]$ square roots and provide evidence that they also generate linearly independent subgroups.

preprint2020arXiv

Symplectic level-rank duality via tensor categories

We give two proofs of a level-rank duality for braided fusion categories obtained from quantum groups of type $C$ at roots of unity. The first proof uses conformal embeddings, while the second uses a classification of braided fusion categories associated with quantum groups of type $C$ at roots of unity. In addition we give a similar result for non-unitary braided fusion categories quantum groups of types $B$ and $C$ at odd roots of unity.

An Invitation to the Mathematics of Topological Quantum Computation

Two-dimensional topological states of matter offer a route to quantum computation that would be topologically protected against the nemesis of the quantum circuit model: decoherence. Research groups in industry, government and academic institutions are pursuing this approach. We give a mathematician's perspective on some of the advantages and challenges of this model, highlighting some recent advances. We then give a short description of how we might extend the theory to three-dimensional materials.

Degeneracy Implies Non-abelian Statistics

A non-abelian anyon can only occur in the presence of ground state degeneracy in the plane. It is conceivable that for some strange anyon with quantum dimension $>1$ that the resulting representations of all $n$ -strand braid groups $B_n$ are overall phases, even though the ground state manifolds for $n$ such anyons in the plane are in general Hilbert spaces of dimensions $>1$ . We observe that degeneracy is all that is needed: for an anyon with quantum dimension $>1$ the non-abelian statistics cannot all be overall phases on the degeneracy ground state manifold. Therefore, degeneracy implies non-abelian statistics, which justifies defining a non-abelian anyon as one with quantum dimension $>1$ . Since non-abelian statistics presumes degeneracy, degeneracy is more fundamental than non-abelian statistics.

Local unitary representations of the braid group and their applications to quantum computing

We provide an elementary introduction to topological quantum computation based on the Jones representation of the braid group. We first cover the Burau representation and Alexander polynomial. Then we discuss the Jones representation and Jones polynomial and their application to anyonic quantum computation. Finally we outline the approximation of the Jones polynomial and explicit localizations of braid group representations.

On classification of modular categories by rank

The feasibility of a classification-by-rank program for modular categories follows from the Rank-Finiteness Theorem. We develop arithmetic, representation theoretic and algebraic methods for classifying modular categories by rank. As an application, we determine all possible fusion rules for all rank= $5$ modular categories and describe the corresponding monoidal equivalence classes.

preprint2015arXiv

Low-dimensional representations of the three component loop braid group

Motivated by physical and topological applications, we study representations of the group $\mathcal{LB}_3$ of motions of $3$ unlinked oriented circles in $\mathbb{R}^3$ . Our point of view is to regard the three strand braid group $\mathcal{B}_3$ as a subgroup of $\mathcal{LB}_3$ and study the problem of extending $\mathcal{B}_3$ representations. We introduce the notion of a \emph{standard extension} and characterize $\mathcal{B}_3$ representations admiting such an extension. In particular we show, using a classification result of Tuba and Wenzl, that every irreducible $\mathcal{B}_3$ representation of dimension at most $5$ has a (standard) extension. We show that this result is sharp by exhibiting an irreducible $6$ -dimensional $\mathcal{B}_3$ representation that has no extensions (standard or otherwise). We obtain complete classifications of (1) irreducible $2$ -dimensional $\mathcal{LB}_3$ representations (2) extensions of irreducible $3$ -dimensional $\mathcal{B}_3$ representations and (3) irreducible $\mathcal{LB}_3$ representations whose restriction to $\mathcal{B}_3$ has abelian image.

preprint2015arXiv

On the Classification of Weakly Integral Modular Categories

We classify all modular categories of dimension $4m$ , where $m$ is an odd square-free integer, and all ranks $6$ and $7$ weakly integral modular categories. This completes the classification of weakly integral modular categories through rank $7$ . Our results imply that all integral modular categories of rank at most $7$ are pointed (that is, every simple object has dimension $1$ ). All strictly weakly integral (weakly integral but non-integral) modular categories of ranks $6$ and $7$ have dimension $4m$ , with $m$ an odd square free integer, so their classification is an application of our main result. The classification of rank $7$ integral modular categories is facilitated by an analysis of two actions on modular categories: the Galois group of the field generated by the entries of the $S$ -matrix and the group of isomorphism classes of invertible simple objects. The interplay of these two actions is of independent interest, and we derive some valuable arithmetic consequences from their actions.

preprint2015arXiv

Rank-finiteness for modular categories

We prove a rank-finiteness conjecture for modular categories: up to equivalence, there are only finitely many modular categories of any fixed rank. Our technical advance is a generalization of the Cauchy theorem in group theory to the context of spherical fusion categories. For a modular category $\mathcal{C}$ with $N=ord(T)$ , the order of the modular $T$ -matrix, the Cauchy theorem says that the set of primes dividing the global quantum dimension $D^2$ in the Dedekind domain $\mathbb{Z}[e^{\frac{2πi}{N}}]$ is identical to that of $N$ .

preprint2014arXiv

Parameter-dependent Gaussian $(z,N)$ -generalized Yang-Baxter operators

We find unitary solutions $\tilde{R}(a)$ to the (multipicative parameter-dependent) $(z,N)$ -generalized Yang-Baxter equation that carry the standard measurement basis to $m$ -level $N$ -partite states that generalize the Bell states corresponding to $\tilde{R}(0)$ in the case $m=N=2$ . This is achieved by a careful study of solutions to the Yang-Baxter equation discovered by Fateev and Zamolodchikov in 1982.

preprint2013arXiv

Braid Representations from Unitary Braided Vector Spaces

We investigate braid group representations associated with unitary braided vector spaces, focusing on a conjecture that such representations should have virtually abelian images in general and finite image provided the braiding has finite order. We verify this conjecture for the two infinite families of Gaussian and group-type braided vector spaces, as well as the generalization to quasi-braided vector spaces of group-type.

preprint2011arXiv

Generalized and quasi-localizations of braid group representations

We develop a theory of localization for braid group representations associated with objects in braided fusion categories and, more generally, to Yang-Baxter operators in monoidal categories. The essential problem is to determine when a family of braid representations can be uniformly modelled upon a tensor power of a fixed vector space in such a way that the braid group generators act "locally". Although related to the notion of (quasi-)fiber functors for fusion categories, remarkably, such localizations can exist for representations associated with objects of non-integral dimension. We conjecture that such localizations exist precisely when the object in question has dimension the square-root of an integer and prove several key special cases of the conjecture.

A quaternionic braid representation (after Goldschmidt and Jones)

We show that the braid group representations associated with the $(3,6)$ -quotients of the Hecke algebras factor over a finite group. This was known to experts going back to the 1980s, but a proof has never appeared in print. Our proof uses an unpublished quaternionic representation of the braid group due to Goldschmidt and Jones. Possible topological and categorical generalizations are discussed.

Braid representations from quantum groups of exceptional Lie type

We study the problem of determining if the braid group representations obtained from quantum groups of types $E, F$ and $G$ at roots of unity have infinite image or not. In particular we show that when the fusion categories associated with these quantum groups are not weakly integral, the braid group images are infinite. This provides further evidence for a recent conjecture that weak integrality is necessary and sufficient for the braid group representations associated with any braided fusion category to have finite image.

Extraspecial Two-Groups, Generalized Yang-Baxter Equations and Braiding Quantum Gates

In this paper we describe connections among extraspecial 2-groups, unitary representations of the braid group and multi-qubit braiding quantum gates. We first construct new representations of extraspecial 2-groups. Extending the latter by the symmetric group, we construct new unitary braid representations, which are solutions to generalized Yang-Baxter equations and use them to realize new braiding quantum gates. These gates generate the GHZ (Greenberger-Horne-Zeilinger) states, for an arbitrary (particularly an \emph{odd}) number of qubits, from the product basis. We also discuss the Yang-Baxterization of the new braid group representations, which describes unitary evolution of the GHZ states. Our study suggests that through their connection with braiding gates, extraspecial 2-groups and the GHZ states may play an important role in quantum error correction and topological quantum computing.

Localization of unitary braid group representations

Governed by locality, we explore a connection between unitary braid group representations associated to a unitary $R$ -matrix and to a simple object in a unitary braided fusion category. Unitary $R$ -matrices, namely unitary solutions to the Yang-Baxter equation, afford explicitly local unitary representations of braid groups. Inspired by topological quantum computation, we study whether or not it is possible to reassemble the irreducible summands appearing in the unitary braid group representations from a unitary braided fusion category with possibly different positive multiplicities to get representations that are uniformly equivalent to the ones from a unitary R-matrix. Such an equivalence will be called a localization of the unitary braid group representations. We show that the q=exp(πi/6) specialization of the unitary Jones representation of the braid groups can be localized by a unitary $9\times 9$ R-matrix. Actually this Jones representation is the first one in a family of theories (SO(N),2) for an odd prime N>1, which are conjectured to be localizable. We formulate several general conjectures and discuss possible connections to physics and computer science.