A general framework for verification and control of dynamical models via certificate synthesis
Edwards, A
Peruffo, A
Abate, A
Annual Reviews in Control
volume 60
101028
(2025)
Roughening and inclination of competition interfaces
Ferrari, P
Martin, J
Pimentel, L
Physical Review E
volume 73
issue 3
(07 Mar 2006)
Thu, 13 Nov 2025
17:00
17:00
L3
Dirac - von Neumann axioms in the setting of Continuous Model Theory
Boris Zilber
(Oxford University)
Abstract
I recast the well-known axiom system of quantum mechanics (the Dirac calculus) in the language of Continuous Logic. The main theorem states that along with the canonical continuous model the axioms have approximate finite models of large sizes, in fact the continuous model is isomorphic to an ultraproduct of finite models. I also analyse the continuous logic quantifier corresponding to Dirac integration and show that in finite context it has two versions, local and global, which coincide on Gaussian wave-functions.
Bounds for the number of moves between pants decompositions, and between triangulations
Lackenby, M
Yazdi, M
Journal of Topology and Analysis
14 November: Mathematicians often like to think of maths as objective. On Friday 14th at 12 pm in N4.01, science communicator Hana Ayoob joins us to discuss how the fact that humans do maths means that the ways maths is developed, used, and communicated are not inherently neutral. A Taylors sandwich lunch will be provided, as at all Friday Mathematrix events.
Do you work indoors, live or work in or near Oxford, are aged 23–65, and have trouble sleeping?
Researchers at the University of Oxford are running a study to understand how a new light-based behavioural intervention can improve poor sleep.
Take part from home or work as you go about your daily routine. You’ll be supported by a sleep expert to reach simple, achievable goals.
<i>p</i>
-adic interpolation of Gauss–Manin connections on nearly overconvergent modular forms and
<i>p</i>
-adic
<i>L</i>
-functions
Graham, A
Pilloni, V
Rodrigues Jacinto, J
Compositio Mathematica
volume 161
issue 9
2380-2441
(05 Sep 2025)
-adic interpolation of Gauss–Manin connections on nearly overconvergent modular forms and
<i>p</i>
-adic
<i>L</i>
-functions
Resistive relativistic magnetohydrodynamics without Ampère’s law
Lier, R
Jain, A
Armas, J
Porth, O
Physical Review D
volume 112
issue 8
(28 Oct 2025)
Hydrodynamics of thermal active matter
Armas, J
Jain, A
Lier, R
Physical Review E
volume 112
issue 5
(03 Nov 2025)