A 2-Categorical Approach to Composing Quantum Structures
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Authors
Colleges, School and Institutes
External organisations
- University of Oxford
Abstract
We present an infinite number of construction schemes for quantum structures, including unitary error bases, Hadamard matrices, quantum Latin squares and controlled families, many of which have not previously been described. Our results rely on the type structure of biunitary connections, 2-categorical structures which play a central role in the theory of planar algebras. They
have an attractive graphical calculus which allows simple correctness proofs for the constructions we present. We apply these techniques to construct a unitary error basis that cannot be built using any previously known method.
have an attractive graphical calculus which allows simple correctness proofs for the constructions we present. We apply these techniques to construct a unitary error basis that cannot be built using any previously known method.
Details
Original language | English |
---|---|
Title of host publication | 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) |
Editors | Filippo Bonchi , Barbara König |
Publication status | Published - 2 Nov 2017 |
Event | 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) - Ljubljana, Slovenia Duration: 13 Jun 2017 → 16 Jun 2017 |
Publication series
Name | Leibniz International Proceedings in Informatics (LIPIcs) |
---|---|
Publisher | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik |
Volume | 72 |
ISSN (Electronic) | 1868-8969 |
Conference
Conference | 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) |
---|---|
Country | Slovenia |
City | Ljubljana |
Period | 13/06/17 → 16/06/17 |
Keywords
- quantum constructions, 2-category, graphical calculus, planar algebra