Showing 1–2 of 2 results for author: Stirling, S D
-
Counterexamples in Levin-Wen string-net models, group categories, and Turaev unimodality
Authors:
Spencer D. Stirling
Abstract:
We remark on the claim that the string-net model of Levin and Wen is a microscopic Hamiltonian formulation of the Turaev-Viro topological quantum field theory. Using simple counterexamples we indicate where interesting extra structure may be needed in the Levin-Wen model for this to hold (however we believe that some form of the correspondence is true). In order to be accessible to the condensed m…
▽ More
We remark on the claim that the string-net model of Levin and Wen is a microscopic Hamiltonian formulation of the Turaev-Viro topological quantum field theory. Using simple counterexamples we indicate where interesting extra structure may be needed in the Levin-Wen model for this to hold (however we believe that some form of the correspondence is true). In order to be accessible to the condensed matter community we provide a brief and gentle introduction to the relevant concepts in category theory (relying heavily on analogy with ordinary group representation theory). Likewise, some physical ideas are briefly surveyed for the benefit of the more mathematical reader. The main feature of group categories under consideration is Turaev's unimodality. We pinpoint where unimodality should fit into the Levin-Wen construction, and show that the simplest example fails to be unimodal. Unimodality is straightforward to compute for group categories, and we provide a complete classification at the end of the paper.
△ Less
Submitted 18 March, 2011; v1 submitted 10 April, 2010;
originally announced April 2010.
-
Braided Categorical Quantum Mechanics I
Authors:
Spencer D. Stirling,
Yong-Shi Wu
Abstract:
This is the first paper in a series where we generalize the Categorical Quantum Mechanics program (due to Abramsky, Coecke, et al) to braided systems. In our view a uniform description of quantum information for braided systems has not yet emerged. The picture is complicated by a diversity of examples that lacks a unifying framework for proving theorems and discovering new protocols.
We use ca…
▽ More
This is the first paper in a series where we generalize the Categorical Quantum Mechanics program (due to Abramsky, Coecke, et al) to braided systems. In our view a uniform description of quantum information for braided systems has not yet emerged. The picture is complicated by a diversity of examples that lacks a unifying framework for proving theorems and discovering new protocols.
We use category theory to construct a high-level language that abstracts the quantum mechanical properties of braided systems. We exploit this framework to propose an axiomatic description of braided quantum information intended for topological quantum computation.
In this installment we first generalize the primordial Abramsky-Coecke "quantum information flow" paradigm from compact closed categories to right-rigid strict monoidal categories. We then study dagger structures for rigid and/or braided categories and formulate a graphical dagger calculus. We then propose two generalizations of strongly compact closed categories. Finally we study partial traces in the context of dagger categories.
△ Less
Submitted 4 September, 2009;
originally announced September 2009.
