Witness Algebra and Anyon Braiding

07/27/2018
by   Andreas Blass, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/13/2022

A Functorial Perspective on (Multi)computational Irreducibility

This article aims to provide a novel formalization of the concept of com...
research
03/29/2023

Coinductive control of inductive data types

We combine the theory of inductive data types with the theory of univers...
research
06/01/2023

FreeCHR: An Algebraic Framework for CHR-Embeddings

We introduce the framework FreeCHR, which formalizes the embedding of Co...
research
03/29/2019

Computing huge Groebner basis like cyclic10 over with Giac

We present a short description on how to fine-tune the modular algorithm...
research
09/26/2021

The Connes Embedding Problem: A guided tour

The Connes Embedding Problem (CEP) is a problem in the theory of tracial...
research
03/30/2023

Effect Algebras as Omega-categories

We show how an effect algebra 𝒳 can be regarded as a category, where the...
research
07/30/2018

Who needs category theory?

In computer science, category theory remains a contentious issue, with e...

Please sign up or login with your details

Forgot password? Click here to reset