L3

I will explain that all affine isometric actions of higher rank simple Lie groups and their lattices on arbitrary uniformly convex Banach spaces have a fixed point. This vastly generalises a recent breakthrough of Oppenheim. Combined with earlier work of Lafforgue and of Liao on strong Banach property (T) for non-Archimedean higher rank simple groups, this confirms a long-standing conjecture of Bader, Furman, Gelander and Monod. As a consequence, we deduce that box space expanders constructed from higher rank lattices are superexpanders. This is joint work with Mikael de la Salle.

Bounded cohomology is a functional-analytic analogue of ordinary cohomology that has become a fundamental tool in many fields, from rigidity theory to the geometry of manifolds. However it is infamously hard of compute, and the lack of very basic examples makes the overall picture still hard to grasp. I will report on recent progress in this direction, and draw attention to some natural questions that remain open.

In 1977, Milnor formulated the following conjecture: every discrete group of affine transformations acting properly on the affine space is virtually solvable. We now know that this statement is false; the current goal is to gain a better understanding of the counterexamples to this conjecture. Every group that violates this conjecture "lives" in a certain algebraic affine group, which can be specified by giving a linear group and a representation thereof. Representations that give rise to counterexamples are said to be non-Milnor. We will talk about the progress made so far towards classification of these non-Milnor representations.

An example of a uniformly proper action is the action of a group (or any of its subgroups) on its Cayley graph. A natural question appearing in a paper of Coulon and Osin, is whether the class of groups acting uniformly properly on hyperbolic spaces coincides with the class of subgroups of hyperbolic groups. In joint work with Vladimir Vankov we construct an uncountable family of finitely generated groups which act uniformly properly on hyperbolic spaces. This gives the first examples of finitely generated groups acting uniformly properly on hyperbolic spaces that are not subgroups of hyperbolic groups. We also give examples that are not virtually torsion-free.

Reaction-diffusion waves have long been used to describe the growth and spread of populations undergoing a spatial range expansion. Such waves are generally classed as either pulled, where the dynamics are driven by the very tip of the front and stochastic fluctuations are high, or pushed, where cooperation in growth or dispersal results in a bulk-driven wave in which fluctuations are suppressed. These concepts have been well studied experimentally in populations where the cooperation leads to a density-dependent growth rate. By contrast, relatively little is known about experimental populations that exhibit a density-dependent dispersal rate.

Using bacteriophage T7 as a test organism, we present novel experimental measurements that demonstrate that the diffusion of phage T7, in a lawn of host E. coli, is hindered by steric interactions with host bacteria cells. The coupling between host density, phage dispersal and cell lysis caused by viral infection results in an effective density-dependent diffusion rate akin to cooperative behavior. Using a system of reaction-diffusion equations, we show that this effect can result in a transition from a pulled to pushed expansion. Moreover, we find that a second, independent density-dependent effect on phage dispersal spontaneously emerges as a result of the viral incubation period, during which phage is trapped inside the host unable to disperse. Our results indicate both that bacteriophage can be used as a controllable laboratory population to investigate the impact of density-dependent dispersal on evolution, and that the genetic diversity and adaptability of expanding viral populations could be much greater than is currently assumed.

Minimal submanifolds are the critical points of the volume functional. If the second derivative of the volume is nonnegative, we say that such a minimal submanifold is stable.

After reviewing some basics of minimal submanifolds in a generic Riemannian manifold, I will give some motivations behind the Lawson--Simons conjecture, which claims that there are no stable minimal submanifolds in 1/4-pinched spheres. Finally, I will discuss my recent work with Giada Franz on the nonexistence of stable minimal submanifolds in conformal pinched spheres.

Cayley submanifolds in Spin(7) geometry are an analogue and generalisation of complex submanifolds in Kähler geometry. In this talk we provide a glimpse into calibrated geometry, which encompasses both of these, and how it ties into the study of manifolds of special holonomy. We then focus on the deformation theory of compact and conically singular Cayleys. Finally we explain how to remove conical singularities via a gluing construction.

Associated to any smooth projective curve C is its degree d Jacobian variety, parametrising isomorphism classes of degree d line bundles on C. Letting the curve vary as well, one is led to the universal Jacobian stack. This stack admits several compactifications over the stack of marked stable curves, depending on the choice of a stability condition. In this talk I will introduce these compactified universal Jacobians, and explain how their moduli spaces can be constructed using Geometric Invariant Theory (GIT). This talk is based on arXiv:2210.11457.

We study the global linear convergence of policy gradient (PG) methods for finite-horizon exploratory linear-quadratic control (LQC) problems. The setting includes stochastic LQC problems with indefinite costs and allows additional entropy regularisers in the objective. We consider a continuous-time Gaussian policy whose mean is linear in the state variable and whose covariance is state-independent. Contrary to discrete-time problems, the cost is noncoercive in the policy and not all descent directions lead to bounded iterates. We propose geometry-aware gradient descents for the mean and covariance of the policy using the Fisher geometry and the Bures-Wasserstein geometry, respectively. The policy iterates are shown to obey an a-priori bound, and converge globally to the optimal policy with a linear rate. We further propose a novel PG method with discrete-time policies. The algorithm leverages the continuous-time analysis, and achieves a robust linear convergence across different action frequencies. A numerical experiment confirms the convergence and robustness of the proposed algorithm.

This is joint work with Yufei Zhang and Christoph Reisinger.

HiGHS is open-source optimization software for linear programming, mixed-integer programming, and quadratic programming. Created initially from research solvers written by Edinburgh PhD students, HiGHS attracted industrial funding that allowed further development, and saw it contribute to a REF 2021 Impact Case Study. Having been identified as a game-changer by the open-source energy systems planning community, the resulting crowdfunding campaign has received large donations that will allow the HiGHS project to expand and create further Impact.

This talk will give an insight into the state-of-the-art techniques underlying the linear programming solvers in HiGHS, with a particular focus on the challenge of solving sequences of linear systems of equations with remarkable properties. The means by which "gradware" created by PhD students has been transformed into software, generating income and Impact, will also be described. Independent benchmark results will be given to demonstrate that HiGHS is the world’s best open-source linear optimization software.