Download the poster
Whither Quantum Structures?
{QUANTUM LOGIC IN THE XXIth CENTURY}
(see also https://sites.google.com/site/witherquantum2)

Speakers:

JORT BERGFELD

https://sites.google.com/site/vidiquantum/team-members

GABRIEL CATREN

http://www.sphere.univ-paris-diderot.fr/spip.php?article675&lang=fr

WIM CHRISTIAENS

http://www.vub.ac.be/CLEA/

GIOVANNI CINA

http://www.illc.uva.nl/People/show_person.php?Person_id=Cina+G.

BOB COECKE

http://www.cs.ox.ac.uk/bob.coecke/

SELMA DUNDAR-COECKE

http://www.cs.ox.ac.uk/activities/quantum/

CLAUDIO GAROLA

https://www.unisalento.it/web/guest/scheda_personale/-/people/claudio.garola

CHRIS HEUNEN

https://www.cs.ox.ac.uk/people/chris.heunen/

FEDERICO HOLIK

http://www.vub.ac.be/CLEA/

ALEKS KISSINGER

http://www.cs.ox.ac.uk/people/aleks.kissinger

JULIEN PAGE

http://www.sphere.univ-paris-diderot.fr/spip.php?article676&lang=fr#themes

SANDRO SOZZO

http://www2.le.ac.uk/departments/management/people/ssozzo

ISAR STUBBE

http://www-lmpa.univ-littoral.fr/~stubbe/

NAHUEL SZNAJDERHAUS

http://www.leeds.ac.uk/arts/people/40000/research/person/1986/nahuel_sznajderhaus

KARIN VERELST

http://homepages.vub.ac.be/~kverelst/

SHENGYANG  ZHONG

http://staff.science.uva.nl/~szhong/publication.html

Organizing comitee:

DIEDERIK AERTS

diraerts@vub.ac.be

WIM CHRISTIAENS

wim.a.christiaens@gmail.com

FEDERICO HOLIK

olentiev2@gmail.com

KARIN VERELST

kverelst@vub.ac.be

2-DAY WORKSHOP

ON THE FOUNDATIONS 
OF 
QUANTUM MECHANICS

November 30th 

December 1st 
2013

CENTER LEO APOSTEL
BRUSSELS, BELGIUM

Quantum mechanics is a vibrant domain of science. The last years we have seen a rapid development of quantum information theory and the technologies and axiomatizations associated with it. At the same time, applications of quantum structures in the social and cognitive sciences have proliferated. At least as important are formalizations of quantum mechanics based on category theoretical tools. Examples are categorical quantum mechanics and the topos theory approach to physics.    

The new cannot just supplant the told; it has to relate to it in a certain way - reject, reconstruct, or simply continue. That is why we will juxtapose some of these recent interpretations and reformulations of quantum mechanics with the somewhat older quantum logical (QL) approach, initiated by Birkoff and von Neumann (BvN) in the thirties. QL bifurcated into new branches of mathematics, logic, philosophy and of course, physics, the Geneva approach being perhaps the most widely known.

Many of the new developments in quantum mechanics we have mentioned are very different, but still have interesting links between them. We want to discuss these links in the light of the quantum logical approach, and try to draw a map in which they can be situated and resignified.

PRACTICAL INFO

The workshop will take place in room G.1.020 on the "Esplanade" before building G/F of the VUB and at Center Leo Apostel, situated in Krijgskundestraat 33, B-1160 Brussels, Belgium (Google Map).

Center Leo Apostel is located just outside the VUB campus "Oefenplein", 2nd side street on the left on the Triomflaan, when coming from the Gen. Jacqueslaan.

For more details see: how to find the VUB.

For accomodation near the campus of the VUB, look at: http://www.vub.ac.be/english/infoabout/campuses/index.html#downloads.

SCHEDULE

Saturday 30th
11:00JULIEN PAGE and GABRIEL CATREN (ERC-Philoquantumgravity) On the Galoisian structure of the Heisenberg indeterminacy principle [Abstract] [Slides]
11:30SANDRO SOZZO and DIEDERIK AERTS (University of Leicester) Modeling Concept Combinations in a Quantum-theoretic Framework [Abstract] [Slides]
12:30Lunch at CLEA
14:00JORT BERGFELD (University of Amsterdam) Duality for the logic of quantum action [Abstract] [Slides]
14:30SHENGYANG ZHONG (University of Amsterdam) On a Connection between Piron Lattices and Kripke Frames [Abstract] [Slides]
15:00GIOVANNI CINA (University of Amsterdam) Connecting the categorical and the modal logic approaches to Quantum Mechanics [Abstract] [Slides]
15:30BOB COECKE (University of Oxford) The logic of Quantum Mechanics - Take II [Abstract] [Slides]
16:20ALEKS KISSINGER (University of Oxford) Categories of quantum and classical channels [Abstract]
17:10CHRIS HEUNEN (University of Oxford) The many classical faces of quantum structures [Slides]
18:00Cofee + Discussion session I: Compund Quantum Systems
21:00Dinner in Restaurant
Sunday 1st
10:30WIM CHRISTIAENS (Center Leo Apostel)
11:20FEDERICO HOLIK (Center Leo Apostel) Logic, geometry and probability theory [Abstract] [Slides]
12:10CLAUDIO GAROLA (Università del Salento) Recovering Quantum Logic Within A Non-Contextual Extension Of Quantum Mechanics [Abstract]
13:20Lunch at CLEA + Discussion Session II: Whither Quantum Structures In The XXIth Century?
15:00KARIN VERELST (Center Leo Apostel) Quantum Structures and Causation [Slides]
15:50ISAR STUBBE (Université du Littoral Côtte d'Oppale) Local elements, partial metrics [Slides]
16:40NAHUEL SZNAJDERHAUS (University of Leeds) An Historical and Philosophical Account of the Modal Interpretations of Quantum Mechanics [Abstract] [Slides]
17:10SELMA DUNDAR-COECKE (University of Oxford) A quest for new quantum words [Abstract] [Slides]

DISCUSSION SESSIONS

Many would agree with E. Schrodinger that “…entanglement is THE characteristic trait of quantum mechanics” [1-2, his capitals]. However, even with so many refined experimental techniques and a deeper mathematical understanding of the formalism, there is no agreement on the physical meaning of superposition and entanglement. Worse, it would seem we still need to answer really basic questions:

  • What is the problem?
  • Is there even a problem?
  • Is the problem important enough to worry about?
  • ...

Notice that the answers one gives, even the order in which one answers these questions, reveal global orientations: about the nature of the object, of objectivity, of physics with respect to the compound problem of realism and objectivity, of mathematics with respect to similar epistemic and ontic issues ...

Here is one way to gather all of that together. The manner in which physics has been able to fix its attention, isolate an object, constitute that object according to its objectivity, might not be ideal, it does serve as an ideal for any of the other sciences that grew to maturity in its wake. The problem quantum mechanics confronts us with is this: the most advanced description of an exactly defined object, reveals that a separated, individualized, clearly fixed object, is only contextually possible, not in principle, not in general. In other words, to give a general characterization of physical reality, one has to let go of the idea of physical objects that seem to be the foundation of the worldview that came about together with physics.

Lately the attitude has been to either bracket such discussions (so as to concentrate on applications: quantum information, the possibility of quantum computing) or lose oneself in a conceptual 'cottage industry' (the proliferation of kinds of locality, separability, factorizability ...). In other words, one simply passes over the fact that a satisfactory description of compound quantum entities remains as problematic today as when Diederik Aerts (1982) or Randall and Foullis (1981) proved their NO GO theorems. More generally, having studied tensor products of quantum logics in various approaches, we now know that there does not exist a satisfactory theory of tensor products of orthomodular posets and lattices.

Our intention should be clear: instead of making the lack of a 'well-behaved' quantum logical treatment of quantum compound systems into an objection against the approach, it should be construed as an indication of the nature of the problem, the framework that tells us the boundary conditions, the degrees of freedom of the problem. The Geneva school in quantum logic in particular gathers most of the presuppositions, concepts, problems, intuitions and strong formal results, - enough of them to allow for a fruitful interchange between physicists, philosophers and mathematicians on physical meaning (of superposition, of entanglement) and the meaning of physics.

We will hold two such discussion sessions: (1) on the problem of the quantum logical approach to compound quantum entities, (2) and a general discussion about the future of quantum structures, their perspectives and their role in the wake of present developments in the domain quantum mechanics.

In both sessions we hope for a debate about these problems and encourage the researchers and students as well to give their opinions for possible solutions and developments.