Environment and classical channels in categorical quantum mechanics

Bob Coecke; Simon Perdrix

doi:10.2168/LMCS-8(4:14)2012

Bob Coecke ; Simon Perdrix - Environment and classical channels in categorical quantum mechanics

lmcs:719 - Logical Methods in Computer Science, November 19, 2012, Volume 8, Issue 4 - https://doi.org/10.2168/LMCS-8(4:14)2012

Environment and classical channels in categorical quantum mechanicsArticle

Authors: Bob Coecke ; Simon Perdrix

We present a both simple and comprehensive graphical calculus for quantum computing. In particular, we axiomatize the notion of an environment, which together with the earlier introduced axiomatic notion of classical structure enables us to define classical channels, quantum measurements and classical control. If we moreover adjoin the earlier introduced axiomatic notion of complementarity, we obtain sufficient structural power for constructive representation and correctness derivation of typical quantum informatic protocols.

https://doi.org/10.2168/LMCS-8(4:14)2012

Source: arXiv.org:1004.1598

Volume: Volume 8, Issue 4

Published on: November 19, 2012

Imported on: January 25, 2011

Keywords: Quantum Physics,Computer Science - Logic in Computer Science,Mathematical Physics,Mathematics - Category Theory,F.1.1, F.3.2

Licence: arXiv.org - Non-exclusive license to distribute

Funding:

Source : OpenAIRE Graph

The Structure of Quantum Information and its Ramifications for IT; Funder: UK Research and Innovation; Code: EP/D072786/1

Bibliographic References

20 Documents citing this article

Titouan Carette;Timothée Hoffreumon;Émile Larroque;Renaud Vilmart, Complete Graphical Language for Hermiticity-Preserving Superoperators, 2023, Boston, MA, USA, 10.1109/lics56636.2023.10175712, https://hal.science/hal-04001823.

Anne Broadbent;Martti Karvonen, Lecture notes in computer science, Categorical composable cryptography, pp. 161-183, 2022, 10.1007/978-3-030-99253-8_9, https://doi.org/10.1007/978-3-030-99253-8_9.

Cole Comfort, 2021, The ZX&-calculus: A complete graphical calculus for classical circuits using spiders, arXiv (Cornell University), 340, pp. 60-90, 10.4204/eptcs.340.4.

Cyril Branciard;Alexandre Clément;Mehdi Mhalla;Simon Perdrix, arXiv (Cornell University), Coherent Control and Distinguishability of Quantum Channels via PBS-Diagrams, 2021, 10.4230/lipics.mfcs.2021.22, https://arxiv.org/abs/2103.02073.

James Hefford;Stefano Gogioso, 2021, CPM Categories for Galois Extensions, arXiv (Cornell University), 343, pp. 165-192, 10.4204/eptcs.343.9.

James Hefford;Stefano Gogioso, 2021, Hyper-decoherence in Density Hypercubes, arXiv (Cornell University), 340, pp. 141-159, 10.4204/eptcs.340.7.

Kostia Chardonnet;Benoît Valiron;Renaud Vilmart, Geometry of Interaction for ZX-Diagrams, 2021, 10.4230/lipics.mfcs.2021.30, https://hal.science/hal-03154573.

Sean Tull, 2020, A Categorical Reconstruction of Quantum Theory, arXiv (Cornell University), 10.23638/lmcs-16(1:4)2020, https://arxiv.org/abs/1804.02265.

Xin Sun;Feifei He;Quanlong Wang, 2020, Impossibility of Quantum Bit Commitment, a Categorical Perspective, Axioms, 9, 1, pp. 28, 10.3390/axioms9010028, https://doi.org/10.3390/axioms9010028.

David J. Reutter;Jamie Vicary, 2019, Shaded tangles for the design and verification of quantum circuits, Proceedings - Royal Society. Mathematical, physical and engineering sciences (Print), 475, 2224, pp. 20180338, 10.1098/rspa.2018.0338, https://doi.org/10.1098/rspa.2018.0338.

Daniel Cicala, 2018, Categorifying the ZX-calculus, arXiv (Cornell University), 266, pp. 294-314, 10.4204/eptcs.266.19.

David Reutter;Jamie Vicary, 2018, Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract), arXiv (Cornell University), 266, pp. 329-348, 10.4204/eptcs.266.21.

Emmanuel Jeandel;Simon Perdrix;Renaud Vilmart, 2018, Y-Calculus: A Language for Real Matrices Derived from the ZX-Calculus, arXiv (Cornell University), 266, pp. 23-57, 10.4204/eptcs.266.2.

Lirong Qiu;Feng Cai;Guixian Xu, 2018, Quantum digital signature for the access control of sensitive data in the big data era, Future generation computer systems, 86, pp. 372-379, 10.1016/j.future.2018.03.053.

Lu Zhou;Quanlong Wang;Xin Sun;Piotr Kulicki;Arcangelo Castiglione, 2018, Quantum technique for access control in cloud computing II: Encryption and key distribution, Journal of network and computer applications, 103, pp. 178-184, 10.1016/j.jnca.2017.11.012.

Oscar Cunningham;Chris Heunen, 2018, Purity through Factorisation, arXiv (Cornell University), 266, pp. 315-328, 10.4204/eptcs.266.20.

Oscar Cunningham;Chris Heunen, 2015, Axiomatizing complete positivity, arXiv (Cornell University), 195, pp. 148-157, 10.4204/eptcs.195.11.

Stefano Gogioso, 2015, A Bestiary of Sets and Relations, arXiv (Cornell University), 195, pp. 208-227, 10.4204/eptcs.195.16.

André Ranchin, 2014, Depicting qudit quantum mechanics and mutually unbiased qudit theories, arXiv (Cornell University), 172, pp. 68-91, 10.4204/eptcs.172.6.

Chris Heunen;Jamie Vicary;Linde Wester, 2014, Mixed quantum states in higher categories, arXiv (Cornell University), 172, pp. 304-315, 10.4204/eptcs.172.22.

Sources : OpenCitations, OpenAlex & Crossref

Share and export

Consultation statistics

This page has been seen 1306 times.

This article's PDF has been downloaded 520 times.