DROPS

Document

DOI: 10.4230/LIPIcs.CALCO.2017.19

A Classical Groupoid Model for Quantum Networks

Authors: David Reutter and Jamie Vicary

Published in: LIPIcs, Volume 72, 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)

Abstract

We give a mathematical analysis of a new type of classical computer network architecture, intended as a model of a new technology that has recently been proposed in industry. Our approach is based on groubits, generalizations of classical bits based on groupoids. This network architecture allows the direct execution of a number of protocols that are usually associated with quantum networks, including teleportation, dense coding and secure key distribution.

Cite as

David Reutter and Jamie Vicary. A Classical Groupoid Model for Quantum Networks. In 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 72, pp. 19:1-19:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{reutter_et_al:LIPIcs.CALCO.2017.19,
  author =	{Reutter, David and Vicary, Jamie},
  title =	{{A Classical Groupoid Model for Quantum Networks}},
  booktitle =	{7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)},
  pages =	{19:1--19:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-033-0},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{72},
  editor =	{Bonchi, Filippo and K\"{o}nig, Barbara},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2017.19},
  URN =		{urn:nbn:de:0030-drops-80391},
  doi =		{10.4230/LIPIcs.CALCO.2017.19},
  annote =	{Keywords: groupoids, networks, quantum, semantics, key distribution}
}

Document

DOI: 10.4230/LIPIcs.CALCO.2017.20

A 2-Categorical Approach to Composing Quantum Structures

Authors: David Reutter and Jamie Vicary

Published in: LIPIcs, Volume 72, 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)

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.

Cite as

David Reutter and Jamie Vicary. A 2-Categorical Approach to Composing Quantum Structures. In 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 72, pp. 20:1-20:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{reutter_et_al:LIPIcs.CALCO.2017.20,
  author =	{Reutter, David and Vicary, Jamie},
  title =	{{A 2-Categorical Approach to Composing Quantum Structures}},
  booktitle =	{7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)},
  pages =	{20:1--20:20},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-033-0},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{72},
  editor =	{Bonchi, Filippo and K\"{o}nig, Barbara},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2017.20},
  URN =		{urn:nbn:de:0030-drops-80389},
  doi =		{10.4230/LIPIcs.CALCO.2017.20},
  annote =	{Keywords: quantum constructions, 2-category, graphical calculus, planar algebra}
}

Search Results

Documents authored by Reutter, David

A Classical Groupoid Model for Quantum Networks

Abstract

Cite as

A 2-Categorical Approach to Composing Quantum Structures

Abstract

Cite as

Thanks for your feedback!

Could not send message