Past

Liquid crystal elastomers are rubbery solids containing molecular LC rods that align along a common director. On heating, the alignment is disrupted, leading to a substantial (~50%) contraction along the director.  In recent years, there has been a great deal of interest in fabrication LCE sheets with a bespoke alignment pattern. On heating, these patterns generate  corresponding patterns of contraction that can morph a sheet into a bespoke curved surface such as a cone or face. Moreover, LCEs can also be activated by light, either photothermally or photochemically, leading to similarly large contractions. Stimulation by light also introduces an important new possibility: using spatio-temporal patterns of illumination to morph a single LCE sample into a range of different surfaces. Such stimulation can enable non-reciprocal actuation for viscous swimming or pumping, and control over the whole path taken by the sheet through shape-space rather than just the final destination. In this talk, I will start by with an experimental example of a spatio-temporal pattern of illumination being used to actuate an LCE peristaltic pump. I will then introduce a second set of experiments, in which a monodomain sheet morphs first into a cone, an anti-cone and then an array of cones upon exposure to different patterns of illumination. Finally, I will then discuss the general problem of how to choose a pattern of illumination to morph a director-patterned sheet into an arbitrary surface, first analytically for axisymmetric cases, then numerically for low symmetry cases. This last study exceeds our current experimental capacity, but highlights how, with full spatio-temporal control over the stimulation magnitude, one can choreograph an LCE sheet to undergo almost any pattern of morphing.

Consider definable sets over the family of finite fields $\mathbb{F}_q$. Ax proved a quantifier-elimination result for this theory, in a reasonable geometric language. Chatzidakis, Van den Dries and Macintyre showed that to a first-order approximation, the cardinality of a definable set $X$ is definable in a very mild expansion of Ax's theory.  Can such a statement be true of the next higher order approximation, i.e. can we write $|X(\mathbb{F}_q)| = aq^{d} + bq^{d-1/2} + o(q^{d-1/2})$, with $d,a,b$ varying definably with $X$ in a tame theory?    Here $b$ must be viewed as real-valued so continuous logic is needed. I will report on joint work in progress with Will Johnson.

This talk will introduce Khovanov and Knot Floer Homology as tools for studying knots. I will then cover some applications to problems in knot theory including distinguishing embedded surfaces and how they can be used in the context of ribbon concordances. No prior knowledge of either will be necessary and lots of pictures are included.

A group is called W*-superrigid if its group von Neumann algebra completely remembers the original group. In this talk, I will present a recent joint work with Stefaan Vaes in which we generalize W*-superrigidity for groups in two directions. Firstly, we find a class of groups for which W*-superrigidity holds in the presence of a twist by an arbitrary 2-cocycle: the twisted group von Neumann algebra completely remembers both the original group and the 2-cocycle. Secondly, for the same class of groups, the superrigidity also holds up to virtual isomorphism.

If a group quasiisometrically embeds into a finite product of infinite valence trees then a number of things are implied; for example, the group will have finite Assouad-Nagata dimension and finite asymptotic dimension. An even stronger statement is that the group quasiisometrically embeds into a finite product of uniformly bounded valence trees. The research on which groups quasiisometrically embed into finite products of uniformly bounded valence trees is limited, however a notable result of Buyalo, Dranishnikov and Schroeder from 2007 proves that all hyperbolic groups do admit these quasiisometric embeddings. In a recently released preprint, I extend their result to cover groups which are relatively hyperbolic with respect to virtually abelian peripheral subgroups. 

This talk will focus on the ideas at the core of Buyalo, Dranishnikov and Schroeder’s result and the extension that I proved, and in particular I will attempt to provide a general framework for upgrading quasiisometric embeddings into infinite valence trees so that they are now quasiisometric embeddings into uniformly bounded valence trees. The central concept is called a diary which I will define. 

Let $G$ be a $d$-regular graph of growing degree on $n$ vertices. Form a random subgraph $G_p$ of $G$ by retaining edge of $G$ independently with probability $p=p(d)$. Which conditions on $G$ suffice to observe a phase transition at $p=1/d$, similar to that in the binomial random graph $G(n,p)$, or, say, in a random subgraph of the binary hypercube $Q^d$?

We argue that in the supercritical regime $p=(1+\epsilon)/d$, $\epsilon>0$ a small constant, postulating that every vertex subset $S$ of $G$ of at most $n/2$ vertices has its edge boundary at least $C|S|$, for some large enough constant $C=C(\epsilon)>0$, suffices to guarantee likely appearance of the giant component in $G_p$. Moreover, its asymptotic order is equal to that in the random graph $G(n,(1+\epsilon)/n)$, and all other components are typically much smaller.

We also give examples demonstrating tightness of our main result in several key senses.

A joint work with Sahar Diskin, Joshua Erde and Mihyun Kang.

In this talk I will describe the systematic construction of strongly interacting RG fixed points with a finite disorder strength.  Such random-field disorder is quite common in condensed matter experiment, necessitating an understanding of the effects of this disorder on the properties of such fixed points. In the past, such disordered fixed points were accessed using e.g. epsilon expansions in perturbative quantum field theory, using the replica method to treat disorder.  I will show that holography gives an alternative picture for RG flows towards disordered fixed points.  In holography, spatially inhomogeneous disorder corresponds to inhomogeneous boundary conditions for an asymptotically-AdS spacetime, and the RG flow of the disorder strength is captured by the solution to the Einstein-matter equations. Using this construction, we have found analytically-controlled RG fixed points with a finite disorder strength.  Our construction accounts for, and explains, subtle non-perturbative geometric effects that had previously been missed.  Our predictions are consistent with conformal perturbation theory when studying disordered holographic CFTs, but the method generalizes and gives new models of disordered metallic quantum criticality.

We consider a quantum field model with exponential interactions on the two-dimensional torus,  which is called the ${¥rm{exp}(¥Phi)_{2}$-quantum field model or Hoegh-Krohn’s model. In this talk, we discuss the stochastic quantization of this model. Combining key properties of Gaussian multiplicative chaos with a method for singular SPDEs, we construct a unique time-global solution to the corresponding parabolic stochastic quantization equation in the full $L_{1}$-regime $¥vert ¥alpha ¥vert<{¥sqrt{8¥pi}}$ of the charge parameter $¥alpha$. We also identify the solution with an infinite dimensional diffusion process constructed by the Dirichlet form approach. 

The main part of this talk is based on joint work with Masato Hoshino (Osaka University) and  Seiichiro Kusuoka (Kyoto University), and the full paper can be found on https://link.springer.com/article/10.1007/s00440-022-01126-z

We present a general concept that is suitable for studying the stability of equilibria for open systems in continuum thermodynamics. We apply such concept to a generalized Newtonian incompressible heat conducting fluid with prescribed nonuniform temperature on the boundary and with the no-slip boundary conditions for the velocity in three dimensional domain. For large class of constitutive relation for the Cauchy stress, we identify a class of proper solutions converging to the equilibria exponentially in a suitable metric and independently of the distance to equilibria at the initial time. Consequently, the equilibrium is nonlinearly stable and attracts all weak solutions from that class. The proper solutions exist and satisfy entropy (in)equality.

In 1735, Euler observed that $ζ(2) = 1 + \frac{1}{2²} + \frac{1}{3²} + ⋯ = \frac{π²}{6}$. This is related to the famous identity $ζ(−1) "=" 1 + 2 + 3 + ⋯ "=" \frac{−1}{12}$. In general, values of the Riemann zeta function at positive even integers are equal to rational numbers multiplied by a power of $π$. The values at positive odd integers are much more mysterious; for example, Apéry proved that $ζ(3) = 1 + \frac{1}{2³} + \frac{1}{3³} + ⋯$ is irrational, but we still don't know if $ζ(5) = 1 + \frac{1}{2⁵} + \frac{1}{3⁵} + ⋯$ is rational or not! In this talk, we will explain the arithmetic significance of these values, their generalizations to Dirichlet/Dedekind L−functions, and to L−functions of elliptic curves. We will also present a new formula for $ζ(3) = 1 + \frac{1}{2³} + \frac{1}{3³} + ...$ in terms of higher algebraic cycles which came out of an ongoing project with Lambert A'Campo.

I will talk about link and three-manifold invariants defined in terms of a non-semisimple finite ribbon category C together with a choice of tensor ideal and a trace on it. If the ideal is all of C, these invariants agree with those defined by Lyubashenko in the 90’s, and as we show, they only depend on the Grothendieck class of the objects labelling the link. These invariants are therefore not able to determine non-split extensions, or they are algebraically weak. However, we observed an interesting phenomenon: if one chooses an intermediate proper ideal between C and the minimal ideal of projective objects, the invariants become algebraically much stronger because they do distinguish non-trivial extensions. This is demonstrated in the case of C being the super-modular category of an exterior algebra. That is why these invariants deserve to be called “non-semisimple”. This is a joint work with J. Berger and I. Runkel.

The relationship between the topological or homotopy-invariant properties of a symplectic manifold X and the set of possible immersed or embedded Lagrangian submanifolds of X is rich and mostly mysterious.  In 2020, D. Alvarez-Gavela, Y. Eliashberg, and D. Nadler proved that any Weinstein manifold (e.g. an affine variety) admitting a Lagrangian plane field retracts onto a Lagrangian submanifold with arboreal singularities (a certain class of singularities which can be described combinatorially). I will discuss work in progress with D. Alvarez-Gavela and T. Large investigating the other direction, in which we prove a partial converse to the AGEN result and show that most Weinstein manifolds do not admit such skeleta. This suggests that the Floer-theoretic invariants of some well-known open symplectic manifolds may be more complicated than expected.

There will be free pizza provided for all attendees directly after the event just outside L1, so please do come along!

North Wing
Speaker: Alexandru Pascadi 
Title: Points on modular hyperbolas and sums of Kloosterman sums
Abstract: Given a positive integer c, how many integer points (x, y) with xy = 1 (mod c) can we find in a small box? The dual of this problem concerns bounding certain exponential sums, which show up in methods from the spectral theory of automorphic forms. We'll explore how a simple combinatorial trick of Cilleruelo-Garaev leads to good bounds for these sums; following recent work of the speaker, this ultimately has consequences about multiple problems in analytic number theory (such as counting primes in arithmetic progressions to large moduli, and studying the greatest prime factors of quadratic polynomials).

South Wing
Speaker: Tim LaRock
Title: Encapsulation Structure and Dynamics in Hypergraphs
Abstract: Within the field of Network Science, hypergraphs are a powerful modelling framework used to represent systems where interactions may involve an arbitrary number of agents, rather than exactly two agents at a time as in traditional network models. As part of a recent push to understand the structure of these group interactions, in this talk we will explore the extent to which smaller hyperedges are subsets of larger hyperedges in real-world and synthetic hypergraphs, a property that we call encapsulation. Building on the concept of line graphs, we develop measures to quantify the relations existing between hyperedges of different sizes and, as a byproduct, the compatibility of the data with a simplicial complex representation–whose encapsulation would be maximum. Finally, we will turn to the impact of the observed structural patterns on diffusive dynamics, focusing on a variant of threshold models, called encapsulation dynamics, and demonstrate that non-random patterns can accelerate spreading through the system.

The natural occurrence of singular spaces in applications has led to recent investigations on performing topological data analysis (TDA) on singular data sets. However, unlike in the non-singular scenario, the homotopy type (and consequently homology) are rather course invariants of singular spaces, even in low dimension. This suggests the use of finer invariants of singular spaces for TDA, making use of stratified homotopy theory instead of classical homotopy theory.
After an introduction to stratified homotopy theory, I will describe the construction of a persistent stratified homotopy type obtained from a sample with two strata. This construction behaves much like its non-stratified counterpart (the Cech complex) and exhibits many properties (such as stability, and inference results) necessary for an application in TDA.
Since the persistent stratified homotopy type relies on an already stratified point-cloud, I will also discuss the question of stratification learning and present a convergence result which allows one to approximately recover the stratifications of a larger class of two-strata stratified spaces from sufficiently close non-stratified samples. In total, these results combine to a sampling theorem guaranteeing the (approximate) inference of (persistent) stratified homotopy types from non-stratified samples for many examples of stratified spaces arising from geometrical scenarios.

Kashiwara’s theory of crystal bases provides a powerful tool for studying representations of quantum groups. Crystal bases retain much of the structural information of their corresponding representations, whilst being far more straightforward and ‘stripped-back’ objects (coloured digraphs). Their combinatorial description often enables us to obtain concrete realizations which shed light on the representations, and moreover turn challenging questions in representation theory into far more tractable problems.

After reviewing the construction and basic theory regarding quantum groups, I will introduce and motivate crystal bases as ‘nice q=0 bases’ for their representations. I shall then present (in both finite and affine types) the construction of Young wall models in the important case of highest weight representations. Time permitting, I will finish by discussing some applications across algebra and geometry.

We give a purely topological formula for the square class of the central value of the L-function of a symplectic representation on a curve. We also formulate a topological analogue of the statement, in which the central value of the L-function is replaced by Reidemeister torsion of 3-manifolds. This is related to the theory of epsilon factors in number theory and Meyer’s signature formula in topology among other topics. We will present some of these ideas and sketch aspects of the proof. This is joint work with Akshay Venkatesh.

Bilevel optimization has been part of machine learning for over 4 decades now, although perhaps not always in an obvious way. The interconnection between the two topics started appearing more clearly in publications since about 20 years now, and in the last 10 years, the number of machine learning applications of bilevel optimization has literally exploded. This rise of bilevel optimization in machine learning has been highly positive, as it has come with many innovations in the theoretical and numerical perspectives in understanding and solving the problem, especially with the rebirth of the implicit function approach, which seemed to have been abandoned at some point.
Overall, machine learning has set the bar very high for the whole field of bilevel optimization with regards to the development of numerical methods and the associated convergence analysis theory, as well as the introduction of efficient tools to speed up components such as derivative calculations among other things. However, it remains unclear how the techniques from the machine learning—based bilevel optimization literature can be extended to other applications of bilevel programming. 
For instance, many machine learning loss functions and the special problem structures enable the fulfillment of some qualification conditions that will fail for multiple other applications of bilevel optimization. In this talk, we will provide an overview of machine learning applications of bilevel optimization while giving a flavour of corresponding solution algorithms and their limitations. 
Furthermore, we will discuss possible paths for algorithms that can tackle more complicated machine learning applications of bilevel optimization, while also highlighting lessons that can be learned for more general bilevel programs.

Cancelled

applied mathematics.

We will try to solve the isomorphism problem amongst Coxeter groups by looking at finite quotients.  Some success is found in the classes of affine and right-angled Coxeter groups.  Based on joint work with Samuel Corson, Philip Moeller, and Olga Varghese.

Associated to every shift space, the Cuntz-Krieger algebra (C-K algebra for abbreviation) is an invariant of conjugacy defined and developed by K. Matsumoto, S. Eilers, T. Carlsen, and many of their collaborators in the last decade. In particular, Carlsen defined the C-K algebra to be the full groupoid C*-algebra of the “cover”, which is a topological system consisting of a surjective local homeomorphism on a zero-dimensional space induced by the shift space. 

In 2022, K. Brix proved that the C-K algebra of the Sturmian shift has finite nuclear dimension, where the Sturmian shift is the (unique) minimal shift space with the smallest complexity function: p_X(n)=n+1. In recent results (joint with Z. He), we show that for any minimal shift space with finitely many left special elements, its C-K algebra always have finite nuclear dimension. In fact, this can be further applied to the class of aperiodic shift spaces with non-superlinear growth complexity. 

The ground state of N noninteracting Fermions in a rotating harmonic trap enjoys a one-to-one mapping to the complex Ginibre ensemble. This setup is equivalent to electrons in a magnetic field described by Landau levels. The mean, variance and higher order cumulants of the number of particles in a circular domain can be computed exactly for finite N and in three different large-N limits. In the bulk and at the edge of the spectrum the result is universal for a large class of rotationally invariant potentials. In the bulk the variance and entanglement entropy are proportional and satisfy an area law. The same universality can be proven for the quaternionic Ginibre ensemble and its corresponding generalisation. For the real Ginibre ensemble we determine the large-N limit at the origin and conjecture its universality in the bulk and at the edge.

I will survey some recent results on rigidity and automorphisms of von Neumann algebras of groups with Kazhdan property (T) obtained in a series of joint papers with I. Chifan, A. Ioana, and B. Sun. Specifically, we show that certain groups, constructed via a group-theoretic version of Dehn filling in 3-manifolds, satisfy several conjectures proposed by A. Connes, V. Jones, and S. Popa. Previously, no nontrivial examples of groups satisfying these conjectures were known. At the core of our approach is the new notion of a wreath-like product of groups, which seems to be of independent interest.

Fourth-order elliptic problems arise in a variety of applications from thin plates to phase separation to liquid crystals. A conforming Galerkin discretization requires a finite dimensional subspace of H2, which in turn means that conforming finite element subspaces are C1-continuous. In contrast to standard H1-conforming C0-elements, C1-elements, particularly those of high order, are less understood from a theoretical perspective and are not implemented in many existing finite element codes. In this talk, we address the implementation of the elements. In particular, we present algorithms that compute C1-finite element approximations to fourth-order elliptic problems and which only require elements with at most C0-continuity. The algorithms are suitable for use in almost all standard finite element packages. Iterative methods and preconditioners for the subproblems in the algorithm will also be presented.

Population structure substantially affects evolutionary dynamics. Networks that promote the spreading of fitter mutants are called amplifiers of selection, and those that suppress the spreading of fitter mutants are called suppressors of selection. It has been discovered that most networks are amplifiers under the so-called birth-death updating combined with uniform initialization, which is a common condition. We discuss constant-selection evolutionary dynamics with binary node states (which is equivalent to the biased voter model with two opinions in statistical physics research community) on higher-order networks, i.e., hypergraphs, temporal networks, and multilayer networks. In contrast to the case of conventional networks, we show that a vast majority of these higher-order networks are suppressors of selection, which we show by random-walk and Martingale analyses as well as by numerical simulations. Our results suggest that the modeling framework for structured populations in addition to the specific network structure is an important determinant of evolutionary dynamics.
 

In their study of GL(N)-GL(m) Howe duality, Cautis-Kamnitzer-Morrison observed that the GL(N) Reshetikhin-Turaev link invariant can be computed in terms of quantum gl(m). This idea inspired Cautis and Lauda-Queffelec-Rose to give a construction of GL(N) link homology in terms of Khovanov-Lauda's categorified quantum gl(m). There is a Spin(2n+1)-Spin(m) Howe duality, and a quantum analogue that was first studied by Wenzl. In the first half of the talk, I will explain how to use this duality to compute the Spin(2n+1) link polynomial, and present calculations which suggest that the Spin(2n+1) link invariant is obtained from the GL(2n) link invariant by folding. In the second part of the talk, I will introduce the parallel categorified constructions and explain how to use them to define Spin(2n+1) link homology.

This is based on joint work in progress with Ben Elias and David Rose.

I shall review some aspects of the relationship between scale and conformal invariance in 2-dimensional sigma models.  Then, I shall explain how such an investigation is related to the Perelman's ideas of proving the Poincare' conjecture.  Using this, I shall demonstrate that scale invariant sigma models  with B-field coupling and  compact target space  are conformally invariant. Several examples will also be presented that elucidate the results.  The talk is based on the arXiv paper 2404.19526.

Scaling limits of random developments of a path into a matrix Lie Group have recently been used to construct signature-based kernels on path space, while mitigating some of the dimensionality challenges that come with using signatures directly. General linear group developments have been shown to be connected to the ordinary signature kernel (Muça Cirone et al.), while unitary developments have been used to construct a path characteristic function distance (Lou et al.). By leveraging the tools of random matrix theory and free probability theory, we are able to provide a unified treatment of the limits in both settings under general assumptions on the vector fields. For unitary developments, we show that the limiting kernel is given by the contraction of a signature against the monomials of freely independent semicircular random variables. Using the Schwinger-Dyson equations, we show that this kernel can be obtained by solving a novel quadratic functional equation. 

This is joint work with Thomas Cass.

Introducing an inhomogeneous shift allows for generalisations of many multiplicative results in diophantine approximation. In this talk, we discuss an inhomogeneous version of Gallagher's theorem, established by Chow and Technau, which describes the rates for which we can approximate a typical product of fractional parts. We will sketch the methods used to prove an earlier version of this result due to Chow, using continued fraction expansions and geometry of numbers to analyse the structure of Bohr sets and bound sums of reciprocals of fractional parts.

We will discuss the problem of finding hyperbolic manifolds fibring over the circle; and show a method to construct and analyse maps from particular hyperbolic manifolds to S^1, which relies on Bestvina-Brady Morse theory. 
This technique can be used to build and detect fibrations, algebraic fibrations, and Morse functions with minimal number of critical points, which are interesting in the even dimensional case. 
After an introduction to the problem, and presentation of the main results, we will use the remaining time to focus on some easy 3-dimensional examples, in order to explicitly show the construction at work.
 

In this talk we study wave propagation in random media using multiscale analysis.
We show that the wavefield can be described by a stochastic partial differential equation.
We can then address the following physical conjecture: for large propagation distances, the wavefield has Gaussian statistics, mean zero, and second-order moments determined by radiative transfer theory.
The results for the first two moments can be proved under general circumstances.
The Gaussian conjecture for the statistical distribution of the wavefield can be proved in some propagation regimes, but it turns out to be wrong in other regimes.

Low rank structure is pervasive in real-world datasets.

This talk shows how to accelerate the solution of fundamental computational problems, including eigenvalue decomposition, linear system solves, composite convex optimization, and stochastic optimization (including deep learning), by exploiting this low rank structure.

We present a simple method based on randomized numerical linear algebra for efficiently computing approximate top eigende compositions, which can be used to replace large matrices (such as Hessians and constraint matrices) with low rank surrogates that are faster to apply and invert.

The resulting solvers for linear systems (NystromPCG), composite convex optimization (NysADMM), and stochastic optimization (SketchySGD and PROMISE) demonstrate strong theoretical and numerical support, outperforming state-of-the-art methods in terms of speed and robustness to hyperparameters.

In our first ever joint event with WISOx (Oxford Women in Statistics), we will be having a panel discussion about the hidden labour of minorities, such as extra committee work, editorial work, etc. 

We will be joined by panellists Helen Byrne (Maths) and Gesine Reinert (Stats). 

In this talk I will discuss how phenotypic heterogeneity affects emergent pattern formation in living active matter with chemical communication between cells. In doing so, I will explore how the emergent dynamics of multicellular communities are qualitatively different in comparison to the dynamics of isolated or non-interacting cells. I will focus on two specific projects. First, I will show how genetic regulation of chemical communication affects motility-induced phase separation in cell populations. Second, I will demonstrate how chemotaxis along self-generated signal gradients affects cell populations undergoing 3D morphogenesis.

In this talk I will discuss the representation theory of truncated current Lie algebras in prime characteristic. I will first give an introduction to modular representation theory for general restricted Lie algebras and introduce the Kac-Weisfeiler conjectures. Then I will introduce a family of Lie algebras known as truncated current Lie algebras, and discuss their representation theory and its relationship with the representation theory of reductive Lie algebras in positive characteristic.

A wide variety of solutions have been proposed in order to cope with the deficiencies of Modern Portfolio Theory. The ideal portfolio should optimise the investor’s expected utility. Robustness can be achieved by ensuring that the optimal portfolio does not diverge too much from a predetermined allocation. Information geometry proposes interesting and relatively simple ways to model divergence. These techniques can be applied to the risk budgeting framework in order to extend risk budgeting and to unify various classical approaches in a single, parametric framework. By switching from entropy to divergence functions, the entropy-based techniques that are useful for risk budgeting can be applied to more traditional, constrained portfolio allocation. Using these divergence functions opens new opportunities for portfolio risk managers. This presentation is based on two papers published by the BNP Paribas QIS Lab, `The properties of alpha risk parity’ (2022, Entropy) and `Turning tail risks into tailwinds’ (2020, The Journal of Portfolio Management).

The Mixing Conjecture of Michel-Venkatesh has now taken on additional arithmetic significance via Wiles' new approach to modularity. Inspired by this, we present the best currently available method, pioneered by Khayutin's proof for quaternion algebras over the rationals, which we have successfully applied to totally real fields. The talk will overview the method, which brings a suprising combination of ergodic theory, analysis and geometry to bear on this arithmetic problem.

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.