A logical description for perfect measurements
Bob Coecke, Sonja Smets
Abstract
We reconsider the description for property transitions due to perfect measurements, viewing them as a special case of general transitions that are due to an externally imposed change. We propose a corresponding syntax involving operational quantum logic and a fragment of non-commutative linear logic.
Create a lesson
Related papers
Comment on "Supervised Learning with Quantum Hamiltonian Embeddings" (arXiv:2610.26833)
Alexander G. Abanov, Luca Candelori, Kharen Musaelian
Data informed Ansatz Selection for Variational Quantum Circuits
Manav Seksaria, Advith Desu, Anil Prabhakar
Operational Thresholds for Long-Range Entanglement in Quantum Networks
Arn Caesar, Xinqi Hu, Kim Christensen
QECert: Formal Foundations for Quantum Error-Correction Theory in Lean
Keming He, Jiahan Chen, Enji Xiong et al.
Reopening the one clean qubit case of a semi-grand challenge
Christopher W. Mansell
Recoverability of Gravitational Entanglement under Decoherence
Yi-Xuan Wang, Julen S. Pedernales, Martin B. Plenio