Past

This talk will focus on systems-theoretic and control theory tools that help characterize the responses of nonlinear systems to external inputs, with an emphasis on how network structure “motifs” introduce constraints on finite-time, transient behaviors.  Of interest are qualitative features that are unique to nonlinear systems, such as non-harmonic responses to periodic inputs or the invariance to input symmetries. These properties play a key role as tools for model discrimination and reverse engineering in systems biology, as well as in characterizing robustness to disturbances. Our research has been largely motivated by biological problems at all scales, from the molecular (e.g., extracellular ligands affecting signaling and gene networks), to cell populations (e.g., resistance to chemotherapy due to systemic interactions between the immune system and tumors; drug-induced mutations; sensed external molecules triggering activations of specific neurons in worms), to interactions of individuals (e.g., periodic or single-shot non-pharmaceutical “social distancing'” interventions for epidemic control). Subject to time constraints, we'll briefly discuss some of these applications.

This session, led by the Counselling Service,  will guide you through a CBT informed understanding of anxiety, which may arise about exams. The session includes:

• Psychoeducation - what is happening in the brain and body when we worry about exams
• Paradox of worry – how more pressure, makes studying less likely
• Experiential exercises – management strategies to maintain focus and engagement
• Takeaway tools – a collection of managing stress skills for self-guided practice
• Practical tips – enhance your exam preparation

The Morse-Conley complex is a central object in information compression in topological data analysis, as well as the application of homological algebra to analysing dynamical systems. Given a poset-graded chain complex, its Morse-Conley complex is the optimal chain-homotopic reduction of the initial complex that respects the poset grading.  In this work, we give a purely algebraic derivation of the Morse-Conley complex using homological perturbation theory. Unlike Forman’s discrete Morse theory for cellular complexes, our algebraic formulation does not require the computation of acyclic partial matchings of cells.  We show how this algebraic perspective also yields efficient algorithms for computing the Conley complex.  This talk features joint work with Álvaro Torras Casas and Ulrich Pennig in "Computing Connection Matrices of Conley Complexes via Algebraic Morse Theory" (arXiv:2503.09301). 
 

The question can be formulated as a statistical hypothesis asserting that the distribution of the shapes of closed curves representing outlines of cell nuclei in a spatial domain is independent of the distribution of their locations. The key challenge in developing a procedure to test the hypothesis from a sample of spatially indexed curves (e.g. from an image) lies in how symmetries in the data are accounted for: shape of a curve is a property that is invariant to similarity transformations and reparameterization, and the shape space is thus an infinite-dimensional quotient space. Starting with a convenient geometry for the shape space developed over the last few years, I will discuss dependence measures and their estimates for spatial point processes with shape-valued marks, and demonstrate their use in testing for spatial independence of marks in a breast cancer application.  

I will sketch a proof of the statement in the title and outline how it is related to Ehrenfeucht–Fraïssé games on C*-algebras. I will provide the relevant background on C*-algebras (and descriptive set theory) and explain how to construct a standard Borel category X that can play a role of their `moduli'. The theorem from the title is an application of the compactness theorem, for a suitable first-order theory whose models correspond to functors from X. If time permits, I will mention some related problems and connections with conceptual completeness for infinitary logic. This talk is based on several discussions with Ehud Hrushovski, Jennifer Pi, Mira Tartarotti, and Stuart White after a reading group on the paper "Games on AF-algebras" by Ben De Bondt, Andrea Vaccaro, Boban Velickovic and Alessandro Vignati.

The study of periods of automorphic forms is a key theme in the Langlands program and has become an important tool to tackle various problems in Number Theory and Arithmetic Geometry.  For instance, Waldspurger formula and its generalisations have created a fertile ground for numerous arithmetic applications. In recent years, the conjectures of Sakellaridis and Venkatesh (and then Ben-Zvi, Sakellaridis, and Venkatesh) in the context of spherical varieties has led to a deeper understanding of automorphic periods and their relation to special values of $L$-functions. In this talk, I present work in progress aimed at looking at certain non-spherical cases. Precisely, I will describe a new integral representation of the degree 12 "exterior square x standard" $L$-function on generic cusp forms on $\mathrm{GU}(2,2) \times \mathrm{GL}(2)$ (or $\mathrm{GL}(4) \times \mathrm{GL}(2)$) and how it can be used to relate the non-vanishing of its central value to a certain cohomological period.  If time permits, I will describe how the same strategy applies to the case of $\mathrm{GSp}(6) \times \mathrm{GL}(2)$. This is joint work with Armando Gutierrez Terradillos.

Many matrices that arise in scientific computing and in data science have internal structure that can be exploited to accelerate computations. The focus in this talk will be on matrices that are either of low rank, or can be tessellated into a collection of subblocks that are either of low rank or are of small size. We will describe how matrices of this nature arise in the context of fast algorithms for solving PDEs and integral equations, and also in handling "kernel matrices" from computational statistics. A particular focus will be on randomized algorithms for obtaining data sparse representations of such matrices.

At the end of the talk, we will explore an unorthodox technique for discretizing elliptic PDEs that was designed specifically to play well with fast algorithms for dense structured matrices.

Junior Strings is a seminar series where DPhil students present topics of common interest that do not necessarily overlap with their own research area. This is primarily aimed at PhD students and post-docs but everyone is welcome.

Multicomponent fluids are mixtures of distinct chemical species (i.e. components) that interact through complex physical processes such as cross-diffusion and chemical reactions. Additional physical phenomena often must be accounted for when modelling these fluids; examples include momentum transport, thermality and (for charged species) electrical effects. Despite the ubiquity of chemical mixtures in nature and engineering, multicomponent fluids have received almost no attention from the finite element community, with many important applications remaining out of reach from numerical methods currently available in the literature. This is in spite of the fact that, in engineering applications, these fluids often reside in complicated spatial regions -- a situation where finite elements are extremely useful! In this talk, we present a novel class of high-order finite element methods for simulating cross-diffusion and momentum transport (i.e. convection) in multicomponent fluids. Our model can also incorporate local electroneutrality when the species carry electrical charge, making the numerical methods particularly desirable for simulating liquid electrolytes in electrochemical applications. We discuss challenges that arise when discretising the partial differential equations of multicomponent flow, as well as some salient theoretical properties of our numerical schemes. Finally, we present numerical simulations involving (i) the microfluidic non-ideal mixing of hydrocarbons and (ii) the transient evolution of a lithium-ion battery electrolyte in a Hull cell electrode.

I will talk about preliminaries in Arakelov geometry. Also, a historical overview will be provided. This talk will be the basis of a later talk about the theory of globally valued fields.

Property (T) is a rigidity property for group representations. It is generally very difficult to determine whether an infinite group has property (T) or not. It has long been known that a discrete group with a finite symmetric generating set has property (T) if and only if the group Laplacian is a positive element in the maximal group C*-algebra. However, this characterization has not been useful in addressing the question for automorphism groups of (non-abelian) free groups. In his 2016 paper, Ozawa proved that the phenomenon of 'positivity' of the group Laplacian is observed in the real group algebra, meaning that the Laplacian can be decomposed into a 'sum of squares'. This result transformed checking property (T) into a finite-dimensional condition that can be performed with the assistance of computers. In this talk, we will introduce property (T) and discuss Ozawa's result in detail.

In this talk, I will describe a family of observables for 3D quantum Yang-Mills theory based on regularising connections with the YM heat flow. I will describe how these observables can be used to show that there is a unique renormalisation of the stochastic quantisation equation of YM in 3D that preserves gauge symmetries. This complements a recent result on the existence of such a renormalisation. Based on joint work with Hao Shen.

In this talk, I will discuss a model mixture of active (self-propelled) and passive (diffusive) particles with non-reciprocal effective interactions (or forces that violate Newton’s third law). We derive the hydrodynamic PDE limit for the particle densities, which is not a Wasserstein gradient flow of any free energy, consistent with the microscopic model having non-equilibrium steady states. We study the emergence of collective behaviour, which includes phase separation and dynamical (travelling) steady states.

Guentner, Willet and Yu defined a notion of dynamic asymptotic dimension for an étale groupoid that can be used to bound the nuclear dimension of its groupoid C*-algebra.  To have finite dynamic asymptotic dimension, the isotropy subgroups of the groupoid must be locally finite.  I will discuss 1) how to use similar ideas to bound the nuclear dimension of the C*-algebra of a groupoid with `large' isotropy subgroups and 2) the limitations of that approach. In an application to the C*-algebra of a directed graph,  if the C*-algebra is stably finite, then its nuclear dimension is at most 1.  This is joint work with Dana Williams. 

I will review recent progress on extending the Minimal Model Program to algebraically integrable foliations, focusing on applications such as the canonical bundle formula and recent results toward the boundedness of Fano foliations.

Fundamental to the study of hyperbolic groups is their Gromov boundaries. The classical Cannon--Thurston map for a closed fibered hyperbolic 3-manifolds relates two such boundaries: it gives a continuous surjection from the boundary of the surface group (a circle) to the boundary of the 3-manifold group (a 2-sphere). Mj (Mitra) generalized this to all hyperbolic groups with hyperbolic normal subgroups. A generalization of the Gromov boundary to all finitely generated groups is called the Morse boundary. It collects all the "hyperbolic-like" rays in a group. In this talk we will discuss Cannon--Thurston maps for Morse boundaries. This is joint work with Ruth Charney, Antoine Goldsborough, Alessandro Sisto and Stefanie Zbinden.

Graphs (and structures) which have a linear ordering of their vertices with given local properties have a rich spectrum of complexities. Some have full power of class NP (and thus no dichotomy) but for biconnected patterns we get dichotomy. This also displays the importance of Sparse Incomparability Lemma. This is a joint work with Gabor Kun (Budapest).

The mod-$p$ cohomology of uniform pro-$p$ groups has been calculated by Lazard in the 1960s. Motivated by recent considerations in the mod-$p$ Langlands program, we consider the problem of extending his results to the case of compact $p$-adic Lie groups $G$ that are $p$-saturable but not necessarily uniform pro-$p$: when $F$ is a finite extension of $\mathbb{Q}_p$ and $p$ is sufficiently large, this class of groups includes the so-called pro-$p$ Iwahori subgroups of $SL_n(F)$. In general, there is a spectral sequence due to Serre and Lazard that relates the mod-$p$ cohomology of $G$ to the cohomology of its associated graded mod-$p$ Lie algebra $\mathfrak{g}$. We will discuss certain sufficient conditions on $p$ and $G$ that ensure that this spectral sequence collapses. When these conditions hold, it follows that the mod-$p$ cohomology of $G$ is isomorphic to the cohomology of the Lie algebra $\mathfrak{g}$.

Systems of high-contrast resonators can be used to control and manipulate wave-matter interactions at scales that are much smaller than the operating wavelengths. The aim of this talk is to review recent studies of ordered and disordered systems of subwavelength resonators and to explain some of their topologically protected localization properties. Both reciprocal and non-reciprocal systems will be considered.