Operational Quantum Logic Speaker(s): Howard Barnum
Abstract: Introductory lecture summary:
Operational Quantum Logic I: Effect Algebras, States, and Basic Convexity
Effect algebras, effect testspaces, PAS's (partial abelian semigroups).
Morphisms, states, dynamics. Classes of effect algebras whose stateset has nice properties.
Operational derivation of effect algberas, summarized.
"Theories" Effectstate 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. KreinMilman. 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 finited homogeneous selfdual cones (statement).
Homogeneous cones as slices of positive semidefinite cones (statement).
Axioms concerning the face lattice
Date: 18/07/2005  3:30 pm
