Imperial College London, Wednesday January 9, 2008
The full schedule and announcement is given here.
13.00-13.30 Chris Heunen, University of Nijmegen
A topos for algebraic quantum theory
Motivated by Bohr's idea that the empirical content of quantum physics is accessible only through classical physics, we show how a C*-algebra A induces a topos in which the amalgamation of all its commutative subalgebras comprises a single commutative C*-algebra. According to the constructive Gelfand duality theorem of Banaschewski and Mulvey, the latter has an internal spectrum X in the topos, which plays the role of a quantum phase space of the system. States on A become probability integrals on X, and self-adjoint elements of A define functions from X to the pertinent internal real numbers (the interval domain), allowing for a state-proposition pairing. Thus the quantum theory defined by A is turned into a classical theory by restriction to its associated topos.
15.45-16.30 General discussion session
16.30-17.00 Coffee break
17.00-17.30 Jamie Vicary, Imperial College London
A categorical framework for the quantum harmonic oscillator
I will describe a categorical approach to the construction of symmetric Fock space, the state space of the quantum harmonic oscillator. Many of the conventional mathematical tools used to study this system — such as raising and lowering operators, and coherent states — emerge naturally from the category theory, and satisfy the usual equations. However, the formalism is more general than the conventional approach, and I will describe how to construct an infinite variety of 'exotic' Fock spaces. I will finish with the question: "Where has the 'quantumness' come from?"
17.30-18.00 Louis Crane, Kansas State University
Relational topology and quantum gravity
We explore arguments for replacing the absolute point set by a sheaf over the site of observation as a foundation for quantum gravity. Time permitting, we consider apparent geometry as a formulation for relational geometry.
18.15-19.00 Pub session