Fri, 01 May 2026
13:00
L4

Topological shape transforms for biology

Haochen Yang
(Oxford University)
Abstract

The Euler characteristic transform (ECT) is an emerging and powerful framework within topological data analysis for quantifying the geometry of shape. The applicability of ECT has been limited due to its sensitivity to noisy data. Here, we introduce SampEuler, a novel ECT-based shape descriptor designed to achieve enhanced robustness to perturbations. We provide a theoretical analysis establishing the stability of SampEuler and validate these properties empirically through pairwise similarity analyses on a benchmark dataset and showcase it on a thymus dataset. The thymus is a primary lymphoid organ that is essential for the maturation and selection of self-tolerant T cells, and within the thymus, thymic epithelial cells are organized in complex three-dimensional architectures, yet the principles governing their formation, functional organization, and remodeling during age-related involution remain poorly understood. Addressing these questions requires robust and informative shape descriptors capable of capturing subtle architectural changes across developmental stages. We develop and apply SampEuler to a newly generated two-dimensional imaging dataset of mouse thymi spanning multiple age groups, where SampEuler outperforms both persistent homology-based methods and deep learning models in detecting subtle, localized morphological differences associated with aging. To facilitate interpretation, we develop a vectorization and visualization framework for SampEuler, which preserves rich morphological information and enables identification of structural features that distinguish thymi across age groups. Collectively, our results demonstrate that SampEuler provides a robust and interpretable approach for quantifying thymic architecture and reveals age-dependent structural changes that offer new insights into thymic organization and involution.

Thu, 07 May 2026
13:00
L4

Non-Invertible Symmetries Meet Quantum Cellular Automata

Rui Wen
Abstract
Recent work has revealed intricate connections between non-invertible symmetries and quantum cellular automata (QCAs) in 1+1 dimensions. On the one hand, non-invertible symmetries themselves can be viewed as QCAs acting on abstract spin chains. On the other hand, when restricted to ordinary spin chains, non-invertible symmetries can sometimes be realized only after mixing with ordinary QCAs. In this talk, I will review these recent developments, following work of Corey Jones and collaborators, as well as Kansei Inamura. 
Wed, 13 May 2026

11:00 - 13:00
L4

The variational approach for 2D Abelian Higgs measure

Abdulwahab Mohamed
(Max Planck Institute)
Abstract

In this talk, we give a construction of the Abelian Yang--Mills--Higgs measure on the two-dimensional torus via the variational approach initiated by Barashkov--Gubinelli. The construction is carried out through a disintegration of measures: we first construct the conditional Higgs measure given a rough gauge field, and then construct the gauge field marginal. This leads to iterated variational problems, one for the Higgs field and one for the gauge field. At the technical level, the starting point is the construction of the renormalised covariant Laplacian associated to a rough gauge field, together with the study of its resolvent. This allows us to define the covariant Gaussian free field, which serves as the reference Gaussian field for the conditional Higgs measure. Finally, we analyse the ratios of determinants that arise from the change-of-measure formula for Gaussian measures. This is joint work with Nikolay Barashkov, Ajay Chandra, Ilya Chevyrev, and Andreas Koller.
 

Tue, 02 Jun 2026
15:00
L4

Marking graphs and finite-type Artin groups

Kaitlin Ragosta
(University of the Basque Country (UPV/EHU))
Abstract

Clean markings on surfaces were a key component in Masur and Minsky's hierarchy machinery, which proved to be a powerful tool in the study of mapping class groups. In this talk, I will briefly discuss the connection between clean markings and hierarchies, and I will explain how a natural analogue can be constructed for finite-type Artin groups.

Thu, 23 Apr 2026
17:00
L4

Conjugacy of trivial autohomeomorphisms of $\beta N\setminus N$.

Ilijas Farah
(York University, Toronto)
Abstract
An autohomeomorphism of the Čech--Stone remainder $\beta N\setminus N$ is called trivial if it has a continuous extension to a map from $\beta N$ into itself. Such map is determined by an almost permutation, which is a bijection between cofinite subsets of $N$. By results of W. Rudin and S. Shelah, the question whether nontrivial autohomeomorphisms of $\beta N\setminus N$ exist is independent from ZFC. We will be considering the so-called rotary autohomeomorphisms. An autohomeomorphism is called rotary if it corresponds to a permutation of $N$ all of whose cycles are finite. If all autohomeomorphisms are trivial, then the problem of their conjugacy is also trivial (in the usual sense of the word). However the Continuum Hypothesis makes the conjugacy relation nontrivial. While our results are somewhat incomplete, they suffice to decide whether for example the rotary autohomeomorphisms whose cycles have lengths $2^{2n}$, for $n\in N$, and $2^{2n+1}$, for $n\in N$, are conjugate. This is a joint work with Will Brian.
Thu, 23 Apr 2026
11:00
L4

Upper bound to the GK-dimension for p-adic Banach representations with infinitesimal character

Reinier Sorgdrager
(University of Amsterdam and Université Paris-Saclay)
Abstract
Let p>2 and K be a finite extension of Q_p. In recent work I have shown that an admissible p-adic Banach representation of GL2(K) has Gelfand-Kirillov dimension at most the degree [K:Q_p] as soon as its locally analytic vectors have an infinitesimal character. In work yet to appear I adapt its method to 'p-adic Banach representations in families with infinitesimal characters in families' -- still for GL2(K).
 
I will briefly motivate the result by some consequences to the p-adic Langlands program, such as a generalization of the GK-bound of Breuil-Herzig-Hu-Morra-Schraen beyond K unramified. Then I will give a quick overview of the above notions and try to present the key idea of the proof, for a single representation and with K=Q_p.


 

Tue, 02 Jun 2026
14:00
L4

Noetherian Group Algebras

Ken Brown
(University of Glasgow)
Abstract

Ken Brown reviews the history of the question in the title, and describes some recent progress towards answering it, including the identification of a "minimal criminal". The new material is joint work with Jason Bell (Waterloo) and Toby Stafford (Manchester).

Tue, 28 Apr 2026

14:00 - 15:00
L4

Topological Spatial Graph Coarsening

Dr. Anna Calissano
(University College London)
Abstract

A spatial graph is a graph whose nodes and edges carry spatial attributes. It is a smart modelling choice for capturing the skeleton of a shape, a blood vessel network, a porous tissue, and many other data objects with intrinsically complex geometry, often resulting in graphs with a high node and edge count. In this talk, we introduce a topological spatial graph coarsening approach based on a new framework that balances graph reduction against the preservation of topological characteristics, essential for faithfully representing the underlying shape. To capture the topological information required to calibrate the reduction level, we adapt the construction of classical topological descriptors made for point clouds (the so-called persistence diagrams) to spatial graphs. This relies on a new filtration called triangle-aware graph filtration. Our coarsening approach is parameter-free and we prove that it is equivariant under rotations, translations, and scaling of the initial spatial graph. We evaluate the performance of our method on synthetic and real spatial graphs and show that it significantly reduces the graph sizes while preserving the relevant topological information.

Mon, 04 May 2026

16:30 - 17:30
L4

Convexity notions for the Calculus of variations in higher dimensions and fine properties of integrands

Bernd Kirchheim
(Leipzig University)
Abstract

Recently a new inhabitant entered the zoo of convexity notions for vectorial variational problems: functional convexity. I would like to report of progress in understanding the corresponding integrands, but also new insight into fine properties of most general class of related integrands: It turns out that rank-one convex functions share surprisingly many pointwise differentiablity properties with ordinary convex functions.

Subscribe to L4