Forthcoming events in this series


Tue, 15 Jan 2008

11:00 - 12:00
L3

Quantum reasoning, diagrammatically, automatically

Bob Coecke (Computing Lab)
Abstract

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, 16 Oct 2007

12:00 - 13:00
L3

Renormalised sums on infinite cones

Sylvie Paycha (Clermont-Ferrand)
Abstract
We show how renormalisation methods similar to the ones used by physicists to make sense of Feynman integrals can be implemented to make sense of sums on infinite cones. On the basis of joint work with D. Manchon, we also discuss multiple zeta functions which can be seen as sums on a specific class of infinite cones.
Tue, 21 Nov 2006
12:00
L3

POSTPONED

David Berman
(QMW)