Thu, 29 May 2025

14:00 - 15:00
Lecture Room 3

On the data-sparsity of the solution of Riccati equations with quasiseparable coefficients

Stefano Massei
(Universita di Pisa)
Abstract

Solving large-scale continuous-time algebraic Riccati equations is a significant challenge in various control theory applications. 

This work demonstrates that when the matrix coefficients of the equation are quasiseparable, the solution also exhibits numerical quasiseparability. This property enables us to develop two efficient Riccati solvers. The first solver is applicable to the general quasiseparable case, while the second is tailored to the particular case of banded coefficients. Numerical experiments confirm the effectiveness of the proposed algorithms on both synthetic examples and case studies from the control of partial differential equations and agent-based models. 

Wed, 29 Jan 2025
15:00
L3

Emergent Phenomena in Critical Models of Statistical Physics: Exploring 2D Percolation

Prof Hugo Duminil-Copin
(IHES)
Abstract

For over 150 years, the study of phase transitions—such as water freezing into ice or magnets losing their magnetism—has been a cornerstone of statistical physics. In this talk, we explore the critical behavior of two-dimensional percolation models, which use random graphs to model the behavior of porous media. At the critical point, remarkable symmetries and emergent properties arise, providing precise insights into the nature of these systems and enriching our understanding of phase transitions. The presentation is designed to be accessible and does not assume any prior background in percolation theory.

 

About the Speaker

Hugo Duminil-Copin is is a French mathematician recognised for his groundbreaking work in probability theory and mathematical physics. He was appointed full professor at the University of Geneva in 2014 and since 2016 has also been a permanent professor at the Institut des Hautes Études Scientifiques (IHES) in France. In 2022 he was awarded the Fields Medal, the highest distinction in mathematics.

Take the "A' Train was composed in 1939, after Ellington offered composer Billy Strayhorn a job and gave him money to travel from Pittsburgh to New York. Ellington wrote directions for Strayhorn to get to his house by subway. The directions began with the words "Take the A Train", referring to the then new A subway service in New York City.

Happy 2025 Bulletinies

Thu, 27 Feb 2025

12:00 - 12:30
Lecture room 5

Full waveform inversion using higher-order finite elements

Alexandre Olender
(University of São Paulo)
Abstract

Inversion problems, such as full waveform inversion (FWI), based on wave propagation, are computationally costly optimization processes used in many applications, ranging from seismic imaging to brain tomography. In most of these uses, high-order methods are required for both accuracy and computational efficiency. Within finite element methods (FEM), using high(er)-order can provide accuracy and the usage of flexible meshes. However, FEM are rarely employed in connection with unstructured simplicial meshes because of the computational cost and complexity of code implementation. They are used frequently with quadrilateral or hexahedral spectral finite elements, but the mesh adaptivity on those elements has not yet been fully explored. In this work, we address these challenges by developing software that leverages accurate higher-order mass-lumped simplicial elements with a mesh-adaption parameter, allowing us to take advantage of the computational efficiency of newer mass-lumped simplicial elements together with waveform-adapted meshes and the accuracy of higher-order function spaces. We also calculate these mesh-related parameters and develop software for high-order spectral element methods, allowing mesh flexibility. We will also discuss future developments. The open-source code was implemented using the Firedrake framework and the Unified Form Language (UFL), a mathematical-based domain specific language, allowing flexibility in a wide range of wave-based problems. 

Optimal adaptive control with separable drift uncertainty
Cohen, S Knochenhauer, C Merkel, A SIAM Journal on Control and Optimization volume 63 issue 2 1348-1373 (22 Apr 2025)
Simulation-based inference of the time-dependent reproduction number from temporally aggregated and under-reported disease incidence time series data
Ogi-Gittins, Z Steyn, N Polonsky, J Hart, W Keita, M Ahuka-Mundeke, S Hill, E Thompson, R Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences volume 383 issue 2293 (02 Apr 2025)
Tue, 04 Mar 2025
15:30
L4

Mixed characteristic analogues of Du Bois and log canonical singularities

Joe Waldron
(Michigan State University)
Abstract

Singularities are measured in different ways in characteristic zero, positive characteristic, and mixed characteristic. However, classes of singularities usually form analogous groups with similar properties, with an example of such a group being klt, strongly F-regular and BCM-regular.  In this talk we shall focus on newly introduced mixed characteristic counterparts of Du Bois and log canonical singularities and discuss their properties. 

This is joint work with Bhargav Bhatt, Linquan Ma, Zsolt Patakfalvi, Karl Schwede, Kevin Tucker and Jakub Witaszek. 

Tue, 21 Jan 2025
15:30
L4

Deformations and lifts of Calabi-Yau varieties in characteristic p

Lukas Brantner
(Oxford)
Abstract

Derived algebraic geometry allows us to study formal moduli problems via their tangent Lie algebras. After briefly reviewing this general paradigm, I will explain how it sheds light on deformations of Calabi-Yau varieties. 
In joint work with Taelman, we prove a mixed characteristic analogue of the Bogomolov–Tian–Todorov theorem, which asserts that Calabi-Yau varieties in characteristic $0$ are unobstructed. Moreover, we show that ordinary Calabi–Yau varieties in characteristic $p$ admit canonical (and algebraisable) lifts to characteristic $0$, generalising results of Serre-Tate for abelian varieties and Deligne-Nygaard for K3 surfaces. 
If time permits, I will conclude by discussing some intriguing questions related to our canonical lifts.  
 

Tue, 18 Feb 2025
14:00
L6

On a geometric dimension growth conjecture

Yotam Hendel
(Ben Gurion University of the Negev)
Abstract

Let X be an integral projective variety of degree at least 2 defined over Q, and let B>0 an integer. The dimension growth conjecture, now proven in almost all cases following works of Browning, Heath-Brown, and Salberger, provides a certain uniform upper bound on the number of rational points of height at most B lying on X. 

Shifting to the geometric setting (where X may be defined over C(t)), the collection of C(t)-rational points lying on X of degree at most B naturally has the structure of an algebraic variety, which we denote by X(B). In ongoing work with Tijs Buggenhout and Floris Vermeulen, we uniformly bound the dimension and, when the degree of X is at least 6, the number of irreducible components  of X(B) of largest possible dimension​ analogously to dimension growth bounds. We do this by developing a geometric determinant method, and by using results on rational points on curves over function fields. 

Joint with Tijs Buggenhout and Floris Vermeulen.

A modeling study to define guidelines for antigen screening in schools and workplaces to mitigate COVID-19 outbreaks
Jeong, Y Ejima, K Kim, K Iwanami, S Hart, W Thompson, R Jung, I Iwami, S Ajelli, M Aihara, K communications medicine volume 5 issue 1 (03 Jan 2025)
Subscribe to