| PIRSA:05070088 |
| Title: Basics of Quantum Information ( Windows Media , Macromedia Flash , PDF) |
| Speaker(s): Richard Cleve - University of Waterloo |
| Abstract: |
| Date: 17/07/2005 - 11:00 am |
| Series: |
| Location: |
| URL: http://pirsa.org/05070088/ |
| |
| PIRSA:05070089 |
| Title: Quantum Shannon Theory I ( Windows Media , PDF) |
| Speaker(s): Patrick Hayden - McGill University |
| Abstract: |
| Date: 17/07/2005 - 11:45 am |
| Series: |
| Location: |
| URL: http://pirsa.org/05070089/ |
| |
| PIRSA:05070090 |
| Title: Introduction to and Historical Overview of Quantum Logics ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Alex Wilce |
| Abstract: Introductory lecture summary:
1. Finite dimensional hilbert spaces and (complemented) modular lattices; infinite-dimensional hilbert spaces and orthomodularity.
2. von Neumann's QL; von Neumann-Birkhoff (briefly!); reconstruction of QM from P(H)
3. Mackey's programme; some early axiomatics (e.g., Zierler); QLs as OMPs + order-determining sets of states
4. Piron's Theorem; some discussion of Piron's axioms
5. Keller's examples (maybe just a mention, though I'd like to indicate how they come up); Soler's theorem (just the statement)
6. Abstract OMLs; Greechie Diagrams and the Loop Lemma; brief mention of Harding's results on decompositions
7. Tensor products (the F-R example, showing OMLs not stable under tensor products); orthoalgebras.
8. Orthoalgebras from test spaces
|
| Date: 17/07/2005 - 2:00 pm |
| Series: |
| Location: |
| URL: http://pirsa.org/05070090/ |
| |
| PIRSA:05070091 |
| Title: Dynamic and Modal Aspects of Quantum Logic ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Alexandru Baltag |
| Abstract: Languages (syntax of modal logic, dynamic logic, epistemic logic). Relational (Kripke) models. Algebraic models (quantales, dynamic algebras). Axioms. |
| Date: 17/07/2005 - 3:30 pm |
| Series: |
| Location: |
| URL: http://pirsa.org/05070091/ |
| |
| PIRSA:05070092 |
| Title: Operational Quantum Logic ( Windows Media , MP3 Audio , PDF) |
| Speaker(s): Howard Barnum - University of New Mexico |
| Abstract: 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.
|
| Date: 17/07/2005 - 4:30 pm |
| Series: |
| Location: |
| URL: http://pirsa.org/05070092/ |
| |
| PIRSA:05070093 |
| Title: Quantum Dynamic Logic II ( Windows Media , PDF) |
| Speaker(s): Sonja Smets |
| Abstract: |
| Date: 18/07/2005 - 9:30 am |
| Series: |
| Location: |
| URL: http://pirsa.org/05070093/ |
| |
| PIRSA:05070094 |
| Title: Introduction to logics as type theories for quantum processes ( Windows Media , PDF) |
| Speaker(s): Samson Abramsky |
| Abstract: |
| Date: 18/07/2005 - 11:00 am |
| Series: |
| Location: |
| URL: http://pirsa.org/05070094/ |
| |
| PIRSA:05070095 |
| Title: Operational Quantum Logic ( Windows Media , MP3 Audio , PDF) |
| Speaker(s): Howard Barnum - University of New Mexico |
| Abstract: 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
|
| Date: 18/07/2005 - 3:30 pm |
| Series: |
| Location: |
| URL: http://pirsa.org/05070095/ |
| |
| PIRSA:05070096 |
| Title: July 18, 2005 - TBA ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Sonjas Smets, Alexandru Baltag |
| Abstract: |
| Date: 18/07/2005 - 4:30 pm |
| Series: |
| Location: |
| URL: http://pirsa.org/05070096/ |
| |
| PIRSA:05070097 |
| Title: Being Bayesian in a Quantum World. ( Windows Media , Macromedia Flash , PDF) |
| Speaker(s): Chris Fuchs |
| Abstract: |
| Date: 19/07/2005 - 9:30 am |
| Series: |
| Location: |
| URL: http://pirsa.org/05070097/ |
| |
| PIRSA:05070098 |
| Title: The Process of Measurement in Quantum Information ( Windows Media , PDF) |
| Speaker(s): Guido Bacciagaluppi - University of Sydney |
| Abstract: |
| Date: 19/07/2005 - 10:15 am |
| Series: |
| Location: |
| URL: http://pirsa.org/05070098/ |
| |
| PIRSA:05070099 |
| Title: Introduction to logics as type theories for quantum processes ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Samson Abramsky |
| Abstract: |
| Date: 19/07/2005 - 11:00 am |
| Series: |
| Location: |
| URL: http://pirsa.org/05070099/ |
| |
| PIRSA:05070100 |
| Title: Preparation contextuality in its myriad forms ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Robert Spekkens |
| Abstract: |
| Date: 19/07/2005 - 2:00 pm |
| Series: |
| Location: |
| URL: http://pirsa.org/05070100/ |
| |
| PIRSA:05070101 |
| Title: Information is physical, but physics is logical ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Samson Abramsky |
| Abstract: |
| Date: 19/07/2005 - 2:45 pm |
| Series: |
| Location: |
| URL: http://pirsa.org/05070101/ |
| |
| PIRSA:05070102 |
| Title: Nondeterministic testing of sequential quantum logic propositions on a quantum computer ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Matthew Leifer - University College London |
| Abstract: |
| Date: 19/07/2005 - 4:00 pm |
| Series: |
| Location: |
| URL: http://pirsa.org/05070102/ |
| |
| PIRSA:05070103 |
| Title: The logic of quantum actions: reasoning about change in quantum systems ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Sonja Smets |
| Abstract: |
| Date: 19/07/2005 - 4:45 pm |
| Series: |
| Location: |
| URL: http://pirsa.org/05070103/ |
| |
| PIRSA:05070104 |
| Title: Symmetry and quantum logic ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Alex Wilce |
| Abstract: |
| Date: 20/07/2005 - 9:30 am |
| Series: |
| Location: |
| URL: http://pirsa.org/05070104/ |
| |
| PIRSA:05070105 |
| Title: Discrete phase space based on finite fields ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): William Wootters |
| Abstract: |
| Date: 20/07/2005 - 10:15 am |
| Series: |
| Location: |
| URL: http://pirsa.org/05070105/ |
| |
| PIRSA:05070106 |
| Title: Rickart comparability groups and quantum logic ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): David Foulis |
| Abstract: |
| Date: 20/07/2005 - 11:30 am |
| Series: |
| Location: |
| URL: http://pirsa.org/05070106/ |
| |
| PIRSA:05070107 |
| Title: Residuated Mappings ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Richard Greechie |
| Abstract: |
| Date: 20/07/2005 - 2:00 pm |
| Series: |
| Location: |
| URL: http://pirsa.org/05070107/ |
| |
| PIRSA:05070108 |
| Title: Are Quantum States Exponentially Long Vectors? ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Scott Aaronson - Massachusetts Institute of Technology (MIT) |
| Abstract: |
| Date: 20/07/2005 - 4:15 pm |
| Series: |
| Location: |
| URL: http://pirsa.org/05070108/ |
| |
| PIRSA:05070109 |
| Title: Nonlocal no-signalling correlations that are locally quantum. ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Howard Barnum - University of New Mexico |
| Abstract: |
| Date: 20/07/2005 - 5:00 pm |
| Series: |
| Location: |
| URL: http://pirsa.org/05070109/ |
| |
| PIRSA:05070110 |
| Title: What is a quantum computation? ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Hans Briegel |
| Abstract: |
| Date: 21/07/2005 - 9:30 am |
| Series: |
| Location: |
| URL: http://pirsa.org/05070110/ |
| |
| PIRSA:05070111 |
| Title: Quantum algorithm and measurement based models of computation. ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Richard Jozsa |
| Abstract: |
| Date: 21/07/2005 - 10:15 am |
| Series: |
| Location: |
| URL: http://pirsa.org/05070111/ |
| |
| PIRSA:05070112 |
| Title: Information flow in graph states computing ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Elham Kashefi - University of Oxford |
| Abstract: |
| Date: 21/07/2005 - 11:30 am |
| Series: |
| Location: |
| URL: http://pirsa.org/05070112/ |
| |
| PIRSA:05070113 |
| Title: Generalised Probability Theories as a setting for Quantum Theory and other theories. ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Lucien Hardy |
| Abstract: |
| Date: 21/07/2005 - 2:00 pm |
| Series: |
| Location: |
| URL: http://pirsa.org/05070113/ |
| |
| PIRSA:05070114 |
| Title: Quantum Logics, Spaces of States,Ordered Banach Spaces, and their Connections to the Works of Foulis- Randall, Gunson, Ludwig, Birkhoff- von Neumann ,... ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Tim Cook |
| Abstract: |
| Date: 21/07/2005 - 2:45 pm |
| Series: |
| Location: |
| URL: http://pirsa.org/05070114/ |
| |
| PIRSA:05070115 |
| Title: The Frequency Operator in Quantum Mechanics. ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Ruediger Schack - Royal Holloway |
| Abstract: |
| Date: 21/07/2005 - 4:00 pm |
| Series: |
| Location: |
| URL: http://pirsa.org/05070115/ |
| |
| PIRSA:05070116 |
| Title: A Structure for Quantum Measurements and Observables ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Stan Gudder |
| Abstract: |
| Date: 21/07/2005 - 4:45 pm |
| Series: |
| Location: |
| URL: http://pirsa.org/05070116/ |
| |
| PIRSA:05070117 |
| Title: Super-quantum correlations and linear dynamics ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Jonathon Barret |
| Abstract: |
| Date: 22/07/2005 - 10:15 am |
| Series: |
| Location: |
| URL: http://pirsa.org/05070117/ |
| |
| PIRSA:05070118 |
| Title: Kindergarten quantum mechanics ( Windows Media , Macromedia Flash , MP3 Audio , PDF) |
| Speaker(s): Bob Coecke |
| Abstract: |
| Date: 22/07/2005 - 11:30 am |
| Series: |
| Location: |
| URL: http://pirsa.org/05070118/ |
| |
| PIRSA:05070119 |
| Title: Basics of Quantum Information I ( Windows Media , Macromedia Flash , PDF) |
| Speaker(s): Richard Cleve - University of Waterloo |
| Abstract: |
| Date: 25/07/2005 - 9:30 am |
| Series: |
| Location: |
| URL: http://pirsa.org/05070119/ |
| |
