A universal property for sequential measurement

Abstract

We study the sequential product, the operation $p\ast q=\sqrt{p}q\sqrt{p}$ on the set of effects of a von Neumann algebra that represents sequential measurement of first $p$ and then $q$. We give four axioms which completely determine the sequential product.

References in corpus (1)

• Quotient-Comprehension Chains

Cited by in corpus (12)

• Quantum Correlation Sharing: A Review On Recent Progress From Nonlocality To Other Non-Classical Correlations
• An effect-theoretic reconstruction of quantum theory
• Sequential Product Spaces are Jordan Algebras
• Paschke Dilations
• The Category of Von Neumann Algebras
• Dagger and Dilation in the Category of Von Neumann algebras
• Categorical Operational Physics
• Three characterisations of the sequential product
• Effectuses in Categorical Quantum Foundations
• Pure Maps between Euclidean Jordan Algebras
• Quantum Theory from Principles, Quantum Software from Diagrams
• The universal property of infinite direct sums in C${}^{\ast }$-categories and W${}^{\ast }$-categories