Environment and classical channels in categorical quantum mechanics

@article{Coecke2010EnvironmentAC,
  title={Environment and classical channels in categorical quantum mechanics},
  author={B. Coecke and S. Perdrix},
  journal={Log. Methods Comput. Sci.},
  year={2010},
  volume={8}
}
  • B. Coecke, S. Perdrix
  • Published 2010
  • Computer Science, Physics, Mathematics
  • Log. Methods Comput. Sci.
  • 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… CONTINUE READING
    63 Citations
    Higher Quantum Theory
    • 25
    • PDF
    Higher Semantics of Quantum Protocols
    • Jamie Vicary
    • Mathematics, Computer Science
    • 2012 27th Annual IEEE Symposium on Logic in Computer Science
    • 2012
    • 28
    Categories of quantum and classical channels
    • 63
    • PDF
    Axiomatizing complete positivity
    • 8
    • PDF
    Mixed quantum states in higher categories
    • 6
    • PDF
    The logic of quantum mechanics - Take II
    • 13
    • PDF
    Topological Structure of Quantum Algorithms
    • Jamie Vicary
    • Mathematics, Computer Science
    • 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
    • 2013
    • 17
    Two Roads to Classicality
    • 16
    • PDF
    Causal structure in categorical quantum mechanics
    • 3
    • PDF
    A Categorical Reconstruction of Quantum Theory
    • S. Tull
    • Mathematics, Computer Science
    • Log. Methods Comput. Sci.
    • 2020
    • 13
    • PDF

    References

    SHOWING 1-10 OF 49 REFERENCES
    Interacting Quantum Observables
    • 188
    • PDF
    Informational derivation of quantum theory
    • 436
    • PDF
    Categorical quantum mechanics
    • 222
    • PDF
    A categorical semantics of quantum protocols
    • Samson Abramsky, B. Coecke
    • Computer Science, Physics
    • Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.
    • 2004
    • 569
    • PDF
    A categorical semantics of quantum protocols
    • 227
    Rewriting Measurement-Based Quantum Computations with Generalised Flow
    • 92
    • PDF
    Toy quantum categories
    • 42
    • PDF
    Interacting Quantum Observables: Categorical Algebra and Diagrammatics
    • 281
    • PDF
    Classical and quantum structuralism
    • 90
    • PDF
    No-Cloning In Categorical Quantum Mechanics
    • 51
    • PDF