Proceedings 16th International Conference on Quantum Physics and Logic

  title={Proceedings 16th International Conference on Quantum Physics and Logic},
  author={Bob Coecke and Matthew Leifer},
  journal={Electronic Proceedings in Theoretical Computer Science},
  • B. Coecke, M. Leifer
  • Published 30 April 2020
  • Physics
  • Electronic Proceedings in Theoretical Computer Science
This volume contains the proceedings of the 16th International Conference on Quantum Physics and Logic (QPL 2017), which was held June 10-14, 2019. Quantum Physics and Logic is an annual conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other… 

Quantum algorithmic randomness

A notion of quantum Solovay randomness which is equivalent to q-MLR is defined and quantum analogues of the law of large numbers and the Shannon-McMillan-Breiman theorem are shown to hold for quantum Schnorr random states.

qu an tph ] 1 0 D ec 2 01 8 Quantum Advantage from Sequential-Transformation Contextuality

Within a transformation-based model for quantum computation, strong sequential-transformation contextuality is necessary and sufficient for deterministic computation of non-linear functions if classical components are restricted to mod2-linearity and matching constraints apply to any underlying ontology.

Process tomography in general probabilistic theories

Process tomography, the experimental characterization of physical processes, is a central task in science and engineering. Here we investigate the axiomatic requirements that guarantee the