Logic, Physics and Quantum Information Theory.
March 17th to March 21st 2008
There have been striking new connections between logic and category theory
on the one hand and quantum computation and quantum information theory on
the other. These ideas are in flux and there are diverse threads of
activity. In this workshop we hope to bring together people who might not
have met otherwise and explore connections between these different research
Perhaps the earliest use of categories in the foundations of
quantum mechanics is due to Prof. Chris Isham of Imperial College who
explored the use of toposes in the consistent histories approach to quantum
mechanics. In the early years of this century, Abramsky, Coecke and
Selinger have devloped categorical foundations of quantum mechanics
emphasizing the role of monoidal structure. Shortly before, Blute, Ivanov
and Panangaden had looked at connections between linear logic and causal
quantum evolution. In the last few years there has been significant new
research developing at Imperial College, Oxford, Halifax and other places.
In the area of quantum information theory there has been a flood of
recent results including new source coding theorems, capacity theorem and
even -- very recently -- new insights into the black hole information
paradox due to Hayden and Preskill. Keye Martin has developed an algebraic
and domain theoretic approach which encompasses quantum information theory.
This builds on earlier work of Martin and Coecke on domains of classical
and quantum states.
There is considerable activity occurring in topological quantum
computation. This has strong connections to category theory but there are
tantalizing glimpses of connections with categorical quantum mechanics and
also to the one-way model.
Finally, there is very interesting recent work of Sorkin on "anhomomorphic"
logic which may solve some of the problems with paradoxes of quantum
mechanics. It is our hope that some connections will be forged and perhaps
new collaborations will be sparked off by this meeting. Not everyone could
be accomodated in the limited space available, but we hope to have a broad
cross section of people and some students as well.
The workshop organizer is
The following people are coming: Samson Abramsky, Howard Barnum, Richard
Blute, Kamil Bradler, Dan Browne, Philip Brunetti, Kostas Chatzikokolakis,
Bob Coecke, Marc Comeau, Vincent Danos, Ross Duncan, Kim Flak,
Lucien Hardy, Patrick Hayden, Ben Jackson, Elham Kashefi, Keye Martin, Catuscia
Palamidessi, Prakash Panangaden, Eric Paquette, Dusko Pavlovic, Mehrnoosh
Sadrzadeh, Peter Selinger, Rafael Sorkin, Colin Stephen, Benoit Valiron,
Jamie Vicary and
The accomodation list is here.
With this unusually large group it will not be possible for everyone to
The practice at these workshops has been to allow the
speaker ample time to get to technical details and for there to be lots of
opportunities for extensive discussions.
The schedule is here.
The workshop runs from
17th March to 21st March 2008 and will take place at the Bellairs Research Institute in
Directions and things to know: The airport is on the
east-south point of the island and Bellairs is on the west side (about a 30
minute taxi drive). Here is a map of Barbados, a better map of Barbados and
here is one of the institute grounds.
Tell the taxi drivers to take
you to Bellairs Research Centre in Holetown.
small and Bellairs is on the main (only) street - you can't really miss
it. The taxi ride should cost about $30 U.S. There are buses but one must
first travel to Bridgetown (the capital) and transfer to another line.
Barbados is safe and one shouldn't worry about travelling alone. US
currency is freely accepted at 2 Barbadian dollars per US dollar. Other
currencies (Pound sterling, Canadian dollars) are not accepted; you will
have to change them at banks or at the airport. People had trouble
using their bank cards from Europe, but Canadian and US cards seem to work
Good things to bring are suntan lotion or dark skin,
mosquito repellent, swimwear, papers/books/stationary and light clothing
(it will be warm). Note that some of the better restaurants in the area do
require long pants in the evenings (swim attire is not accepted).
Also, there are three computers (and one printer) at Bellairs for people to
read e-mail. There is wireless hookup for laptops so you can bring your
own laptop. There is a small fee for using the computers or using the line
with a laptop to connect to the internet.
The cost of a room is
between 35 and 40 US $ per day per person for the student rooms and US$ 50
per person for the newer apartments. I will make all the romm bookings,
please do not contact the Bellairs staff about room
Breakfast is "make it yourself" lunch we buy at a restaurant or at the shopping
centre 10 minutes walk from the Institute or from a truck that comes by at
around noon. The cook prepares dinner
(6:30pm sharp ) for approximately $25 U.S. The accomodations are of the
level of student dormitories, except for 6 newly constructed apartments and
a house across the street.