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.

Comment: 26 pages, many pics; this third version has substantially more explanations than previous ones; Journal reference is of short 14 page version; Proceedings of the 19th EACSL Annual Conference on Computer Science Logic (CSL), Lecture Notes in Computer Science 6247, Springer-Verlag (2010)

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

Classifications

Mathematics Subject Classification 2020¹

Sources:

[1] zbMATH Open.

Bibliographic References

19 Documents citing this article

Hefford, James;Wilson, Matt, 2024, A Profunctorial Semantics for Quantum Supermaps, arXiv (Cornell University), pp. 1-15, 10.1145/3661814.3662123, http://arxiv.org/abs/2402.02997.

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

Anne Broadbent;Martti Karvonen, 2022, Categorical composable cryptography, Lecture notes in computer science, pp. 161-183, 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, Electronic Proceedings in Theoretical Computer Science, 340, pp. 60-90, 10.4204/eptcs.340.4, https://doi.org/10.4204/eptcs.340.4.

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

James Hefford;Stefano Gogioso, 2021, Hyper-decoherence in Density Hypercubes, Electronic Proceedings in Theoretical Computer Science, 340, pp. 141-159, 10.4204/eptcs.340.7, https://doi.org/10.4204/eptcs.340.7.

James Hefford;Stefano Gogioso, 2021, CPM Categories for Galois Extensions, Electronic Proceedings in Theoretical Computer Science, 343, pp. 165-192, 10.4204/eptcs.343.9, https://doi.org/10.4204/eptcs.343.9.

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 of the Royal Society A Mathematical Physical and Engineering Sciences, 475, 2224, pp. 20180338, 10.1098/rspa.2018.0338, https://doi.org/10.1098/rspa.2018.0338.

Daniel Cicala, 2018, Categorifying the ZX-calculus, Electronic Proceedings in Theoretical Computer Science, 266, pp. 294-314, 10.4204/eptcs.266.19, https://doi.org/10.4204/eptcs.266.19.

David Reutter;Jamie Vicary, 2018, Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract), Electronic Proceedings in Theoretical Computer Science, 266, pp. 329-348, 10.4204/eptcs.266.21, https://doi.org/10.4204/eptcs.266.21.

Emmanuel Jeandel;Simon Perdrix;Renaud Vilmart, 2018, Y-Calculus: A Language for Real Matrices Derived from the ZX-Calculus, Electronic Proceedings in Theoretical Computer Science, 266, pp. 23-57, 10.4204/eptcs.266.2, https://doi.org/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, https://doi.org/10.1016/j.future.2018.03.053.

Oscar Cunningham;Chris Heunen, 2018, Purity through Factorisation, Electronic Proceedings in Theoretical Computer Science, 266, pp. 315-328, 10.4204/eptcs.266.20, https://doi.org/10.4204/eptcs.266.20.

Lu Zhou;Quanlong Wang;Xin Sun;Piotr Kulicki;Arcangelo Castiglione, 2017, 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, 2015, Axiomatizing complete positivity, Electronic Proceedings in Theoretical Computer Science, 195, pp. 148-157, 10.4204/eptcs.195.11, https://doi.org/10.4204/eptcs.195.11.

Stefano Gogioso, 2015, A Bestiary of Sets and Relations, Electronic Proceedings in Theoretical Computer Science, 195, pp. 208-227, 10.4204/eptcs.195.16, https://doi.org/10.4204/eptcs.195.16.

André Ranchin, 2014, Depicting qudit quantum mechanics and mutually unbiased qudit theories, Electronic Proceedings in Theoretical Computer Science, 172, pp. 68-91, 10.4204/eptcs.172.6, https://doi.org/10.4204/eptcs.172.6.

Chris Heunen;Jamie Vicary;Linde Wester, 2014, Mixed quantum states in higher categories, Electronic Proceedings in Theoretical Computer Science, 172, pp. 304-315, 10.4204/eptcs.172.22, https://doi.org/10.4204/eptcs.172.22.

Sources : OpenCitations, OpenAlex & Crossref

Share and export

Consultation statistics

This page has been seen 3335 times.

This article's PDF has been downloaded 709 times.