Planar Para Algebras, Reflection Positivity

Abstract

We define a planar para algebra, which arises naturally from combining planar algebras with the idea of ${\mathbb{Z}}_N$ para symmetry in physics. A subfactor planar para algebra is a Hilbert space representation of planar tangles with parafermionic defects, that are invariant under para isotopy. For each ${\mathbb{Z}}_N$, we construct a family of subfactor planar para algebras which play the role of Temperley-Lieb-Jones planar algebras. The first example in this family is the parafermion planar para algebra (PAPPA). Based on this example, we introduce parafermion Pauli matrices, quaternion relations, and braided relations for parafermion algebras which one can use in the study of quantum information. An important ingredient in planar para algebra theory is the string Fourier transform (SFT), that we use on the matrix algebra generated by the Pauli matrices. Two different reflections play an important role in the theory of planar para algebras. One is the adjoint operator; the other is the modular conjugation in Tomita-Takesaki theory. We use the latter one to define the double algebra and to introduce reflection positivity. We give a new and geometric proof of reflection positivity, by relating the two reflections through the string Fourier transform.

41 pages

References in corpus (1)

• Reflection Positivity for Parafermions

Cited by in corpus (20)

• Operator algebras in rigid C*-tensor categories
• Biunitary constructions in quantum information
• Lectures on Quantum Tensor Networks
• Quons: A 3D Language for Quantum Information
• Quantum Fourier Analysis
• Classical simulation of quantum circuits by half Gauss sums
• Holographic Software for Quantum Networks
• Modular Structure and Inclusions of Twisted Araki-Woods Algebras
• Constructive Simulation and Topological Design of Protocols
• A Mathematical Picture Language Program
• Charged String Tensor Networks
• Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)
• Shaded tangles for the design and verification of quantum circuits
• Reflection Positivity and Levin-Wen Models
• Non-commutative Rényi Entropic Uncertainty Principles
• De Finetti Theorems for Braided Parafermions
• A Mathematical Picture Language Project
• The planar parafermion algebra: The ${\mathbb{Z}}_N$ clock model and the coupled Temperley-Lieb algebra
• Reflection Positive Doubles
• A Graphical Calculus for Quantum Computing with Multiple Qudits using Generalized Clifford Algebras