Quantum Field Theory Seminar
|
Tue, 15/01/2008 11:00 |
Bob Coecke (Computing Lab) |
Quantum Field Theory Seminar  |
L3 |
| We provide both a diagrammatic and logical system to reason about quantum phenomena. Essential features are entanglement, the flow of information from the quantum systems into the classical measurement contexts, and back—these flows are crucial for several quantum informatic scheme's such as quantum teleportation—, and mutually unbiassed observables—e.g. position and momentum. The formal structures we use are kin to those of topological quantum field theories—e.g. monoidal categories, compact closure, Frobenius objects, coalgebras. We show that our diagrammatic/logical language is universal. Informal appetisers can be found in: * Introducing Categories to the Practicing Physicist http://web.comlab.ox.ac.uk/oucl/work/bob.coecke/Cats.pdf * Kindergarten Quantum Mechanics http://arxiv.org/abs/quant-ph/0510032 | |||
|
Tue, 29/01/2008 11:00 |
Quantum Field Theory Seminar |
||
|
Tue, 05/02/2008 11:00 |
Edward Wegman (George Mason University, visiting Newton Institute) |
Quantum Field Theory Seminar |
L3 |
|
Tue, 26/02/2008 11:00 |
Jacek Brodzki (Southampton) |
Quantum Field Theory Seminar |
L3 |
