Operational Quantum Logic

Playing this video requires the latest flash player from Adobe.

Download link (right click and 'save-as') for playing in VLC or other compatible player.

Recording Details

PIRSA Number: 


Introductory lecture summary:

Operational Quantum Logic I: Effect Algebras, States, and Basic Convexity
• Effect algebras, effect test-spaces, PAS's (partial abelian semigroups).
• Morphisms, states, dynamics. Classes of effect algebras whose state-set has nice properties.
• Operational derivation of effect algberas, summarized.
• "Theories"--- Effect-state systems.
• Tensor product (defined, existence result stated).
• Some notions of sharpness in EA's, examples that separate them, conditional equivalences that are interesting.
• Convex cones/sets, ordered linear space basics. Partially ordered abelian groups.
Operational Quantum Logic II: Convexity, Representations, and Operations
• Convex cones and convex sets. Extremality. Krein-Milman. Caratheodory. Affine maps.
• Positive maps. Automorphisms. Dual space, Dual cone. Adjoint map. Faces. Exposed faces. Lattices of faces.
• Interval EA's, representations on partially ordered abelian groups, unigroups. Analogues of Naimark's theorem, open problems.
• Convex EA's. Observables, "generalized" observables. Representation theorem for convex EA's. Relation of observables to effects formulation.
• State representation theorem for finite-d homogeneous self-dual cones (statement).
• Homogeneous cones as slices of positive semidefinite cones (statement).
• Axioms concerning the face lattice