Symplectic Geometry Meets Turing Machines and Space Mission Design will take place at EPSEB (Barcelona) on the 23 and 24 of February. The workshop brings together geometry, dynamics, and computation to understand how symplectic structures encode algorithmic complexity and guide mission design. The workshop advances key objectives of AQUACELL, the AEI–DFG joint venture.
Organizer: Eva Miranda
Schedule
Monday, 23 February
12:00–13:00 — Computable functions as Reeb flows
Kai Cieliebak (University of Augsburg)
13:15–15:30 — Lunch & Discussions
Venue: Club de Polo
15:30–16:30 — Contacting the Moon
Urs Frauenfelder (University of Augsburg)
16:30–17:30 — Lecture
Ángel González-Prieto (Universidad Complutense de Madrid & ICMAT)
17:30–18:30 — Is a Billiard Table the Simplest Universal Physical Computer?
Isaac Ramos (ETHZ)
18:30–20:15 — Discussions
20:15 — Special Dinner
Tuesday, 24 February
11:30–12:30 — Probability measures on the Hamiltonian diffeomorphism group
Adrian Dawid (Cambridge University)
12:30–13:30 — On certain completely integrable systems in dimension 4
Evgeny Volkov (Augsburg University)
13:45–15:30 — Lunch
Venue: Club de Polo
16-17h- Closing lecture: From PDEs to automata groups
Andrzej Żuk (Université Paris Cité)
17-19 — Open Discussion Session
19h — End of Workshop
Titles and Abstracts
Monday, February 23, 15:30h
In the restricted three-body problem one studies the dynamics of a massless body attracted by two massive bodies. For example the two masses could be the sun and the earth and the massless body the moon.
Or the two masses could be the earth and the moon and the massless body a satellite. In contrast to the two-body problem the restricted three-body problem is not integrable and shows chaotic behaviour. In the talk I will discuss a geometric approach to this problem and show how it is connected to symplectic topology and contact geometry.
Tuesday, February 24, 11:30h
What is a random Hamiltonian diffeomorphism? In this talk, we will try to answer this question by constructing a family of probability measure on the group of Hamiltonian diffeomorphisms. We will outline the construction of such measures both on the full group and on the subset of autonomous Hamiltonian diffeomorphisms. In this setting classical invariants such as the Hofer norm and spectral invariants become well-behaved random variables with finite expectations. Furthermore, we will outline why these measures have full support on Ham(M) and behave like Gaussian measures in certain ways. Additionally, we will see how they induce a random walk on Ham(M). The talk will end with an overview of some open problems.
Venue
Room: Sala de Graus (to be confirmed)
Esola Politècnica Superior d'Edificació de Barcelona
Av. Dr. Marañón, 44-50, Les Corts
08028 Barcelona