Partition Equilibria in Weighted Singleton Congestion Games
Lee, W Abate, A Wooldridge, M ECAI 2025 (21 Oct 2025) doi:10.3233/faia250960
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) doi:10.1016/j.arcontrol.2025.101028
Roughening and inclination of competition interfaces
Ferrari, P Martin, J Pimentel, L Physical Review E volume 73 issue 3 (07 Mar 2006) doi:10.1103/physreve.73.031602
Thu, 13 Nov 2025
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 volume 19 issue 1 47-114 (19 Jan 2026) doi:10.1142/S1793525326500056
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) doi:10.1103/stvc-tzfh
Hydrodynamics of thermal active matter.
Armas, J Jain, A Lier, R Physical review. E volume 112 issue 5-2 055401 (Nov 2025) doi:10.1103/yclc-jmcj
Wed, 05 Nov 2025

16:00 - 17:00
L6

Improving acylindrical actions on trees

Will Cohen
(Cambridge)
Abstract
Loosely speaking, an action of a group on a tree is acylindrical if long enough paths must have small stabilisers. Groups admitting such actions form a natural subclass of acylindrically hyperbolic groups, and interesting an feature of acylindrical actions on trees is that many interesting properties are inherited from their vertex stabilisers. In order to make use of this, it is important to have some degree of control over these stabilisers. For example, can we ask for these stabilisers to be finitely generated, or even malnormal (or finite-height)? Even stronger, if our group is hyperbolic, can we ask for the stabilisers to be quasiconvex?
 
In this talk, I will introduce acylindrical actions and some stronger and related concepts, and discuss a method known as the Dunwoody—Sageev resolution that we can use to move between these concepts and provide positive answers to the above questions in some cases.
Implementation Report: Integrating Natural Language Processing Approaches in Child and Adolescent Mental Health Services Research Using Normalisation Process Theory
Chen, H Chapman, J Tu, E Zhou, S Laing, J Fergusson, E Kormilitzin, A (30 Oct 2025) doi:10.31234/osf.io/m9a76_v1
Subscribe to