Harnessing non-abelian statistics of anyons to perform quantum computational tasks is getting closer to reality. While the existence of universal anyons by braiding alone such as the Fibonacci anyon is theoretically a possibility, accessible anyons with current technology all belong to a class that is called weakly integral---anyons whose squared quantum dimensions are integers. We analyze the computational power of the first non-abelian anyon system with only integral quantum dimensions---$D(S_3)$, the quantum double of $S_3$. Since all anyons in $D(S_3)$ have finite images of braid group representations, they cannot be universal for quantum computation by braiding alone. Based on our knowledge of the images of the braid group representations, we set up three qutrit computational models. Supplementing braidings with some measurements and ancillary states, we find a universal gate set for each model.Comment: add 2 references and corrected many minor typo

Abstract. We classify all unitary modular tensor categories (UMTCs) of rank ≤ 4. There are a total of 35 UMTCs of rank ≤ 4 up to ribbon tensor equivalence. Since the distinction between the modular S-matrix S and −S has both topological and physical significance, so in our convention there are a total of 70 UMTCs of rank ≤ 4. In particular, there are two trivial UMTCs with S = (±1). Each such UMTC can be obtained from 10 non-trivial prime UMTCs by direct product, and some symmetry operations. Explicit data of the 10 non-trivial prime UMTCs are given in Section 5. Relevance of UMTCs to topological quantum computation and various conjectures are given in Section 6.

Abstract. We develop a theory of localization for braid group representations associated with objects in braided fusion categories and, more generally, to YangBaxter 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.

We develop a symbolic computational approach to classifying low-rank modular fusion categories, up to finite ambiguity. By a generalized form of Ocneanu rigidity due to Etingof, Ostrik and Nikshych, it is enough to classify modular fusion algebras of a given rank-that is, to determine the possible Grothendieck rings with modular realizations. We use this technique to classify modular categories of rank at most 5 that are non-self-dual, i.e. those for which some object is not isomorphic to its dual object.

No abstract