PIRSA Logo


PERIMETER INSTITUTE RECORDED SEMINAR ARCHIVE

PIRSA:C05010 - Quantum Information, Computation and Logic: Exploring New Connections - 2005PODCAST Subscribe to podcast

Both quantum logic (QL) and quantum information (QI) are based on viewing quantum mechanics in terms of concepts closely tied to information, so QL, should be closely connected to QI. On the whole, these two research fields are pursued by separate communities and so a closer collaboration is likely to yield significant insights into both. While taking a broad view of both fields, the workshop will focus on areas that we feel are most likely to spark significant collaboration and new research initiatives.

Organizer(s):   Howard Barnum  

Collection URL: http://pirsa.org/C05010


start  
1
 | 2 | 3
  >>


PIRSA:05070090  ( MP4 Medium Res , MP3 , PDF ) Which Format?
Introduction to and Historical Overview of Quantum Logics
Speaker(s): Alexander 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... read more
Date: 17/07/2005 - 2:00 pm

PIRSA:05070091  ( MP4 Medium Res , MP3 , PDF ) Which Format?
Dynamic and Modal Aspects of Quantum Logic
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

PIRSA:05070092  ( MP4 Medium Res , MP3 , PDF ) Which Format?
Operational Quantum Logic
Speaker(s): Howard Barnum
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 ... read more
Date: 17/07/2005 - 4:30 pm

PIRSA:05070095  ( MP4 Medium Res , MP3 , PDF ) Which Format?
Operational Quantum Logic
Speaker(s): Howard Barnum
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 ... read more
Date: 18/07/2005 - 3:30 pm

PIRSA:05070096  ( MP4 Medium Res , MP3 , PDF ) Which Format?
Dynamic Quantum Logic 3
Speaker(s):
Abstract:
Date: 18/07/2005 - 4:30 pm

PIRSA:05070099  ( MP4 Medium Res , MP3 , PDF ) Which Format?
Introduction to logics as type theories for quantum processes
Speaker(s): Samson Abramsky
Abstract:
Date: 19/07/2005 - 11:00 am

PIRSA:05070100  ( MP4 Medium Res , MP3 , PDF ) Which Format?
Preparation contextuality in its myriad forms
Speaker(s): Robert Spekkens
Abstract:
Date: 19/07/2005 - 2:00 pm

PIRSA:05070101  ( MP4 Medium Res , MP3 , PDF ) Which Format?
Information is physical, but physics is logical
Speaker(s): Samson Abramsky
Abstract:
Date: 19/07/2005 - 2:45 pm

PIRSA:05070102  ( MP4 Medium Res , MP3 , PDF ) Which Format?
Nondeterministic testing of sequential quantum logic propositions on a quantum computer
Speaker(s): Matthew Leifer
Abstract:
Date: 19/07/2005 - 4:00 pm

PIRSA:05070103  ( MP4 Medium Res , MP3 , PDF ) Which Format?
The logic of quantum actions: reasoning about change in quantum systems
Speaker(s): Sonja Smets
Abstract:
Date: 19/07/2005 - 4:45 pm

start  
1
 | 2 | 3
  >>
Valid XHTML 1.0!