Mon, 08 May 2023
14:15
L4

The differential geometry of four-dimensional Abelian gauge theory: a new notion of self-duality?

Carlos Shahbazi
(UNED - Madrid)
Abstract

I will construct the differential geometric, gauge-theoretic, and duality covariant model of classical four-dimensional Abelian gauge theory on an orientable four-manifold of arbitrary topology. I will do so by implementing the Dirac-Schwinger-Zwanziger (DSZ) integrality condition in classical Abelian gauge theories with general duality structure and interpreting the associated sheaf cohomology groups geometrically. As a result, I will obtain that four-dimensional Abelian gauge theories are theories of connections on Siegel bundles, namely principal bundles whose structure group is the generically non-abelian disconnected group of automorphisms of an integral affine symplectic torus. This differential-geometric model includes the electric and magnetic gauge potentials on an equal footing and describes the equations of motion through a first-order polarized self-duality condition for the curvature of a connection. This condition is reminiscent of the theory of four-dimensional Euclidean instantons, even though we consider a two-derivative theory in Lorentzian signature. Finally, I will elaborate on various applications of this differential-geometric model, including a mathematically rigorous description of electromagnetic duality in Abelian gauge theory and the reduction of the polarized self-duality condition to a Riemannian three-manifold, which gives as a result a new type of Bogomolny equation.

Mon, 08 May 2023
13:00
L1

Star-shaped quivers in four dimensions

Shlomo Razamat
(Technion)
Abstract
We will review the notion of across dimension IR dualities. As a concrete example we will  discuss such 4d across dimensions dual Lagrangian descriptions of compactifications of the 6d  minimal D type conformal matter theory on a sphere with arbitrary number of punctures. The Lagrangian has the form of a ``star shaped quiver'' with the rank of the central node depending on the 6d theory and the number and type of punctures. Using these Lagrangians one can construct across dimensions duals for arbitrary compactifications (any genus and type of punctures) of the D type conformal matter.

 

Fri, 05 May 2023
15:30
Large Lecture Theatre, Department of Statistics, University of Oxford

Joint Maths and Stats Colloquium: Understanding neural networks and quantification of their uncertainty via exactly solvable models

Lenka Zdeborová, Professor of Physics and Computer Science
(École Polytechnique Fédérale de Lausanne, Switzerland)
Further Information

The Lecture will be followed by a Drinks Reception in the ground floor social area. To help with catering arrangements, please book your place here https://forms.office.com/e/Nw3qSZtzCs.

Lenka Zdeborová is a Professor of Physics and Computer Science at École Polytechnique Fédérale de Lausanne, where she leads the Statistical Physics of Computation Laboratory. She received a PhD in physics from University Paris-Sud and Charles University in Prague in 2008. She spent two years in the Los Alamos National Laboratory as the Director's Postdoctoral Fellow. Between 2010 and 2020, she was a researcher at CNRS, working in the Institute of Theoretical Physics in CEA Saclay, France. In 2014, she was awarded the CNRS bronze medal; in 2016 Philippe Meyer prize in theoretical physics and an ERC Starting Grant; in 2018, the Irène Joliot-Curie prize; in 2021, the Gibbs lectureship of AMS and the Neuron Fund award. Lenka's expertise is in applications of concepts from statistical physics, such as advanced mean field methods, the replica method and related message-passing algorithms, to problems in machine learning, signal processing, inference and optimization. She enjoys erasing the boundaries between theoretical physics, mathematics and computer science.

Abstract

The affinity between statistical physics and machine learning has a long history. Theoretical physics often proceeds in terms of solvable synthetic models; I will describe the related line of work on solvable models of simple feed-forward neural networks. I will then discuss how this approach allows us to analyze uncertainty quantification in neural networks, a topic that gained urgency in the dawn of widely deployed artificial intelligence. I will conclude with what I perceive as important specific open questions in the field.

 

Fri, 05 May 2023

15:00 - 16:00
L4

On the Arthur-Barbasch-Vogan conjecture

Chen-Bo Zhu
(National University of Singapore)
Abstract

In this lecture, I will discuss the resolution of the Arthur-Barbasch-Vogan conjecture on the unitarity of special unipotent representations for any real form of a connected reductive complex Lie group, with contributions by several groups of authors (Barbasch-Ma-Sun-Zhu, Adams-Arancibia-Mezo, and Adams-Miller-van Leeuwen-Vogan). The main part of the lecture will be on the approach of the first group of authors for the case of real classical groups: counting by coherent families (combinatorial aspect), construction by theta lifting (analytic aspect), and distinguishing by invariants (algebraic-geometric aspect), resulting in a full classification, and with unitarity as a direct consequence of the construction.

Fri, 05 May 2023
15:00
Lecture room 5

Two recent results on Multi-parameter Persistence

Michael Kerber
Abstract

Multi-parameter persistence is a main research topic in topological data analysis. Major questions involve the computation and the structural properties
of persistence modules. In this context, I will sketch two very recent results:

(1) We define a natural bifiltration called the localized union-of-balls bifiltration that contains filtrations studied in the context of local persistent homology as slices. This bifiltration is not k-critical for any finite k. Still, we show that a representation of it (involving algebraic curves of low degree) can be computed exactly and efficiently. This is joint work with Matthias Soels (TU Graz).

(2) Every persistence modules permits a unique decomposition into indecomposable summands. Intervals are the simplest type of summands, but more complicated indecomposables can appear, and usually do appear in examples. We prove that for homology-dimension 0 and density-Rips bifiltration, at least a quarter of the indecomposables are intervals in expectation for a rather general class of point samples. Moreover, these intervals can be ``peeled off'' the module efficiently. This is joint work with Angel Alonso (TU Graz).

 

Fri, 05 May 2023

14:00 - 15:00
L4

MHD instability associated with critical layers

Chen Wang
(University of Exeter)
Abstract

Critical levels appear as singularities of waves propagating in shear flows. When magnetic field exists, critical levels are located where the phase velocity of the wave relative to the basic flow matches the velocity of Alfvén waves. Critical levels are known for locally strong wave amplitude in its vicinity, known as the critical layers. In this talk, I will demonstrate the situation where magnetic critical layers can contribute to the instability of the MHD flow.  We consider two different flow configurations. One is the shallow water flow, and the other is the 2D flow on a sphere. Asymptotic analysis has been used to explore deeper insights of the instability mechanism.

Fri, 05 May 2023

14:00 - 15:00
Virtual

Data-driven protein design and molecular latent space simulators

Professor Andrew Ferguson
(Pritzker School of Molecular Engineering University of Chicago)
Abstract

Data-driven modeling and deep learning present powerful tools that are opening up new paradigms and opportunities in the understanding, discovery, and design of soft and biological materials. I will describe our recent applications of deep representational learning to expose the sequence-function relationship within homologous protein families and to use these principles for the data-driven design and experimental testing of synthetic proteins with elevated function. I will then describe an approach based on latent space simulators to learn ultra-fast surrogate models of protein folding and biomolecular assembly by stacking three specialized deep learning networks to (i) encode a molecular system into a slow latent space, (ii) propagate dynamics in this latent space, and (iii) generatively decode a synthetic molecular trajectory.

Fri, 05 May 2023

12:00 - 13:00
C5

The first Hochschild cohomology of twisted group algebras

William Murphy
(City University London)
Abstract

Given a group G and a field k, we can "twist" the multiplication of the group algebra kG by a 2-cocycle, and the result is a twisted group algebra. Twisted group algebras arise as direct sums of blocks of group algebras, and so are of interest in representation and block theory. In this talk we will discuss some recently obtained results on the first Hochschild cohomology of twisted group algebras, in particular that these cohomology groups are nontrivial whenever G is a finite simple group.

Thu, 04 May 2023
17:00
L3

Non-Additive Geometry and Frobenius Correspondences

Shai Haran
(Technion – Israel Institute of Technology)
Abstract

The usual language of algebraic geometry is not appropriate for Arithmetical geometry: addition is singular at the real prime. We developed two languages that overcome this problem: one replace rings by the collection of “vectors” or by bi-operads and another based on “matrices” or props. These are the two languages of [Har17], but we omit the involutions which brings considerable simplifications. Once one understands the delicate commutativity condition one can proceed following Grothendieck footsteps exactly. The square matrices, when viewed up to conjugation, give us new commutative rings with Frobenius endomorphisms.

Thu, 04 May 2023
16:00
L5

Optimality of sieves

James Maynard
(University of Oxford)
Abstract

The closest thing we have to a general method for finding primes in sets is to use sieve methods to turn the problem into some other (hopefully easier) arithmetic questions about the set.

Unfortunately this process is still poorly understood - we don’t know ‘how much’ arithmetic information is sufficient to guarantee the existence of primes, and how much is not sufficient. Often arguments are rather ad-hoc.

I’ll talk about work-in-progress with Kevin Ford which shows that many of our common techniques are not optimal and can be refined, and in many cases these new refinements are provably optimal.

Thu, 04 May 2023

16:00 - 17:00
L6

Open Markets in Stochastic Portfolio Theory and Rank Jacobi Processes

David Itkin (Imperial College London)
Abstract

Stochastic portfolio theory is a framework to study large equity markets over long time horizons. In such settings investors are often confined to trading in an “open market” setup consisting of only assets with high capitalizations. In this work we relax previously studied notions of open markets and develop a tractable framework for them under mild structural conditions on the market.

Within this framework we also introduce a large parametric class of processes, which we call rank Jacobi processes. They produce a stable capital distribution curve consistent with empirical observations. Moreover, there are explicit expressions for the growth-optimal portfolio, and they are also shown to serve as worst-case models for a robust asymptotic growth problem under model ambiguity.

Time permitting, I will also present an extended class of models and illustrate calibration results to CRSP Equity Data.

This talk is based on joint work with Martin Larsson.

Thu, 04 May 2023

16:00 - 17:00
C1

Superrigidity in von Neumann algebras

Daniel Drimbe
(KU Leuven)
Abstract

The pioneering work of Murray and von Neumann shows that any countable discrete group G gives rise in a canonical way to a group von Neumann algebra, denoted L(G). A main theme in operator algebras is to classify group von Neumann algebras, and hence, to understand how much information does L(G) remember of the underlying group G. In the amenable case, the classification problem is completed by the work of Connes from 1970s asserting that for all infinite conjugacy classes amenable groups, their von Neumann algebras are isomorphic.

In sharp contrast, in the non-amenable case, Popa's deformation rigidity/theory (2001) has led to the discovery of several instances when various properties of the group G are remembered by L(G). The goal of this talk is to survey some recent progress in this direction.

Thu, 04 May 2023
14:00
N3.12

The geometry of the conformal manifolds

Maria Nocchi
Further Information

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.

Thu, 04 May 2023

12:00 - 13:00
L1

Can we tailor the behavior of flexible sheets in flows by adding cuts or folds?

Sophie Ramananarivo
(Ecole Polytechnique)
Abstract

Lightweight compliant surfaces are commonly used as roofs (awnings), filtration systems or propulsive appendages, that operate in a fluid environment. Their flexibility allows for shape to change in fluid flows, to better endure harsh or fluctuating conditions, or enhance flight performance of insect wings for example. The way the structure deforms is however key to fulfill its function, prompting the need for control levers. In this talk, we will consider two ways to tailor the deformation of surfaces in a flow, making use of the properties of origami (folded sheet) and kirigami (sheet with a network of cuts). Previous literature showed that the substructure of folds or cuts allows for sophisticated shape morphing, and produces tunable mechanical properties. We will discuss how those original features impact the way the structure interacts with a flow, through combined experiments and theory. We will notably show that a sheet with a symmetric cutting pattern can produce an asymmetric deformation, and study the underlying fluid-structure couplings to further program shape morphing through the cuts arrangement. We will also show that extreme shape reconfiguration through origami folding can cap fluid drag.

Wed, 03 May 2023
16:00
L6

A Motivation for Studying Hyperbolic Cusps

Misha Schmalian
(University of Oxford)
Abstract

We will give an introduction to hyperbolic cusps and their Dehn fillings. In particular, we will give a brief survey of quantitive results in the field. To motivate this work, we will sketch how these techniques are used for studying the classical question of characteristic slopes on knots.

Tue, 02 May 2023

16:00 - 17:00
C1

Amenable group actions on C*-algebras and the weak containment problem

Siegfried Echterhoff
(University of Münster)
Abstract

The notion of amenable actions by discrete groups on C*-algebras has been introduced by Claire Amantharaman-Delaroche more than thirty years ago, and has become a well understood theory with many applications. So it is somewhat surprising that an established theory of amenable actions by general locally compact groups has been missed until 2020. We now present a theory which extends the discrete case and unifies several notions of approximation properties of actions which have been discussed in the literature. We also present far reaching results towards the weak containment problem which asks wether an action $\alpha:G\to \Aut(A)$ is amenable if and only if the maximal and reduced crossed products coincide.

In this lecture we report on joint work with Alcides Buss and Rufus Willett.

Tue, 02 May 2023

15:00 - 16:00
L3

Centralising Outer Automorphisms

Naomi Andrew
Abstract

Given a group G, one can seek to understand (some of) its subgroups. Centralisers of elements are easy to define, but maybe not so easy to understand: even in such well studied groups as Out(Fn) they are not yet understood in general. I'll discuss recent work with Armando Martino where we extend what is known in Out(Fn), involving a (surprising?) connection to free-by-cyclic groups and their automorphisms as well as working with actions on trees. The strategies seem like they should apply in many more cases, and if time allows I'll discuss ongoing work (with Gilbert Levitt and Armando Martino) exploring these possibilities.

Tue, 02 May 2023
14:30
L3

Newton-MR methods for nonconvex optimization

Yang Liu
(University of Oxford)
Abstract

In this talk, we introduce Newton-MR variants for solving nonconvex optimization problems. Unlike the overwhelming majority of Newton-type methods, which rely on conjugate gradient method as the primary workhorse for their respective sub-problems, Newton-MR employs minimum residual (MINRES) method. With certain useful monotonicity properties of MINRES as well as its inherent ability to detect non-positive curvature directions as soon as they arise, we show that our algorithms come with desirable properties including the optimal first and second-order worst-case complexities. Numerical examples demonstrate the performance of our proposed algorithms.

Tue, 02 May 2023
14:00
C6

Real-world Walk Processes with Dr. Carolina Mattsson

Dr. Carolina Mattsson
(CENTAI Institute)
Abstract

What do football passes and financial transactions have in common? Both are observable events in some real-world walk process that is happening over some network that is, however, not directly observable. In both cases, the basis for record-keeping is that these events move something tangible from one node to another. Here we explore process-driven approaches towards analyzing such data, with the goal of answering domain-specific research questions. First, we consider transaction data from a digital community currency recorded over 16 months. Because these are records of a real-world walk process, we know that the time-aggregated network is a flow network. Flow-based network analysis techniques let us concisely describe where and among whom this community currency was circulating. Second, we use a technique called trajectory extraction to transform football match event data into passing sequence data. This allows us to replicate classic results from sports science about possessions and uncover intriguing dynamics of play in five first-tier domestic leagues in Europe during the 2017-18 club season. Taken together, these two applied examples demonstrate the interpretability of process-driven approaches as opposed to, e.g., temporal network analysis, when the data are records of a real-world walk processes.

Tue, 02 May 2023

14:00 - 15:00
L6

An introduction to plethysm

Mark Wildon
(Royal Holloway, University of London)
Abstract

The plethysm product on symmetric functions corresponds to composition of polynomial representations of general linear groups. Decomposing a plethysm product into Schur functions, or equivalently, writing the corresponding composition of Schur functors as a direct sum of Schur functors, is one of the main open problems in algebraic combinatorics. I will give an introduction to these mathematical objects emphasising the beautiful interplay between representation theory and combinatorics. I will end with new results obtained in joint work with Rowena Paget (University of Kent) on stability on plethysm coefficients. No specialist background knowledge will be assumed.

Tue, 02 May 2023
14:00
L3

A Nematic Theory For a Nonspherical Rarefied Gas

Umberto Zerbinati
(University of Oxford)
Abstract

We propose a nematic model for polyatomic gas, intending to study anisotropic phenomena. Such phenomena stem from the orientational degree of freedom associated with the rod-like molecules composing the gas. We adopt as a primer the Curitss-Boltzmann equation. The main difference with respect to Curtiss theory of hard convex body fluids is the fact that the model here presented takes into account the emergence of a nematic ordering. We will also derive from a kinetic point of view an energy functional similar to the Oseen-Frank energy. The application of the Noll-Coleman procedure to derive new expressions for the stress tensor and the couple-stress tensor will lead to a model capable of taking into account anisotropic effects caused by the emergence of a nematic ordering. In the near future, we hope to adopt finite-element discretisations together with multi-scale methods to simulate the integro-differential equation arising from our model.

Tue, 02 May 2023
12:30
C2

An Introduction to Holography

Alice Luscher
Abstract

Holography, which reveals a specific correspondence between gravitational and quantum theories, is an ongoing area of research that has known a lot of interest these past decades. The duality of holography has many applications: it provides an interpretation for black hole entropy in terms of microstates, it helps our understanding of solid state properties such as superconductivity and strongly coupled quantum systems, and it even offers insight into the mysterious realm of quantum gravity. 

In this talk, I will first introduce the concept of holography and some of its applications. I will then discuss some notions of string theory and geometry that are commonly used in holography. Finally, if time permits, I will present some of our latest results, where we match the energy of membranes in supergravity to properties of the dual quantum models.

Mon, 01 May 2023
17:30
L4

Convexity and Uniqueness in the Calculus of Variations

Bernd Kirchheim
(Universität Leipzig)
Further Information

Please note there are two pde seminars on Monday of W2 (May 1st).

Abstract
Whereas general existence results for minimizers of (vectorial) variational problems are clearly related to (coercivity) and Morreys quasiconvexity, the situation becomes much more constrained if also uniqueness of the minimizers is required for all linear pertubation of the energy. In this case a rather natural notion of functional convexity arises in a general Banach space context. We will discuss what are the specific implications for energy densities of integral cost functions.
Mon, 01 May 2023
16:30
L4

On the stability of multi-dimensional rarefaction waves

Pin Yu
(Tsinghua University)
Further Information

Please note there are two pde seminars on Monday of W2 (May 1st).

Abstract

In his pioneering work in 1860, Riemann proposed the Riemann problem and solved it for isentropic gas in terms of shocks and rarefaction waves. It eventually became the foundation of the theory of one-dimension conservation laws developed in the 20th century. We prove the non-nonlinear structural stability of the Riemann problem for multi-dimensional isentropic Euler equations in the regime of rarefaction waves. This is a joint work with Tian-Wen Luo.

Mon, 01 May 2023
16:00
C3

Combinatorics goes perverse: An Erdős problem on additive Sidon bases

Cédric Pilatte
Abstract

In 1993, Erdős, Sárközy and Sós posed the question of whether there exists a set $S$ of positive integers that is both a Sidon set and an asymptotic basis of order $3$. This means that the sums of two elements of $S$ are all distinct, while the sums of three elements of $S$ cover all sufficiently large integers. In this talk, I will present a construction of such a set, building on ideas of Ruzsa and Cilleruelo. The proof uses a powerful number-theoretic result of Sawin, which is established using cutting-edge algebraic geometry techniques.

Mon, 01 May 2023
14:15
L4

Morse theory on moduli spaces of pairs and the Bogomolov-Miyaoka-Yau inequality

Paul Feehan
(Rutgers University)
Abstract

We describe an approach to Bialynicki-Birula theory for holomorphic $\mathbb{C}^*$ actions on complex analytic spaces and Morse-Bott theory for Hamiltonian functions for the induced circle actions. A key principle is that positivity of a suitably defined "virtual Morse-Bott index" at a critical point of the Hamiltonian function implies that the critical point cannot be a local minimum even when it is a singular point in the moduli space. Inspired by Hitchin’s 1987 study of the moduli space of Higgs monopoles over Riemann surfaces, we apply our method in the context of the moduli space of non-Abelian monopoles or, equivalently, stable holomorphic pairs over a closed, complex, Kaehler surface. We use the Hirzebruch-Riemann-Roch Theorem to compute virtual Morse-Bott indices of all critical strata (Seiberg-Witten moduli subspaces) and show that these indices are positive in a setting motivated by a conjecture that all closed, smooth four-manifolds of Seiberg-Witten simple type (including symplectic four-manifolds) obey the Bogomolov-Miyaoka-Yau inequality.

Mon, 01 May 2023
13:00
L1

Keeping matter in the loop in dS_3 quantum gravity

Alejandra Castro
(Cambridge)
Abstract

In this talk I will discuss a novel mechanism  that couples matter fields to three-dimensional de Sitter quantum gravity. This construction is based on the Chern-Simons formulation of three-dimensional Euclidean gravity, and it centers on a collection of Wilson loops winding around Euclidean de Sitter space. We coin this object a Wilson spool.  To construct the spool, we build novel representations of su(2). To evaluate the spool, we adapt and exploit several known exact results in Chern-Simons theory. Our proposal correctly reproduces the one-loop determinant of a free massive scalar field on S^3 as G_N->0. Moreover, allowing for quantum metric fluctuations, it can be systematically evaluated to any order in perturbation theory.   

Fri, 28 Apr 2023
16:00
L1

Pathways to independent research: fellowships and grants.

Professor Jason Lotay and panel including ECRs from the North and South Wings, and Department of Statistics.
(Mathematical Institute (University of Oxford))
Abstract

Join us for our first Fridays@4 session of Trinity about different academic routes people take post-PhD, with a particular focus on fellowships and grants. We’ll hear from Jason Lotay about his experiences on both sides of the application process, as well as hear about the experiences of ECRs in the South Wing, North Wing, and Statistics. Towards the end of the hour we’ll have a Q+A session with the whole panel, where you can ask any questions you have around this topic!

Fri, 28 Apr 2023

15:00 - 16:00
Lecture room 5

Block Functions induced by Persistence Morphisms

Álvaro Torras Casas
Abstract

One-dimensional persistent homology encodes geometric information of data by means of a barcode decomposition. Often, one needs to relate the persistence barcodes of two datasets which are intrinsically linked, e.g. consider a sample from a large point cloud. Such connections are encoded through persistence morphisms; as in linear algebra, a (one-dimensional) persistence morphism is fully understood by fixing a basis in the domain and codomain and computing the associated matrix. However, in the literature and existing software, the focus is often restricted to interval decompositions of images, kernels and cokernels. This is the case of the Bauer-Lesnick matching, which is computed using the intervals from the image. Unfortunately, this matching has substantial differences from the structure of the persistence morphism in very simple examples. In this talk I will present an induced block function that is well-behaved in such examples. This block function is computed using the associated matrix of a persistence morphism and is additive with respect to taking direct sums of persistence morphisms. This is joint work with M. Soriano-Trigueros and R. Gonzalez-Díaz from Universidad de Sevilla.

 

Fri, 28 Apr 2023

14:00 - 15:00
L3

Stochastic modeling of neurotransmission dynamics

Dr Stefanie Winkelmann
(Zuse Institute Berlin)
Abstract

Abstract: Neurotransmission at chemical synapses relies on the calcium-induced fusion of synaptic vesicles with the presynaptic membrane. The distance of the vesicle to the calcium channels determines the fusion probability and consequently the postsynaptic signal. After a fusion event, both the release site and the vesicle undergo a recovery process before becoming available for reuse again. For all these process components, stochastic effects are widely recognized to play an important role. In this talk, I will present our recent efforts on how to describe and structurally understand neurotransmission dynamics using stochastic modeling approaches. Starting with a linear reaction scheme, a method to directly compute the exact first- and second-order moments of the filtered output signal is proposedFor a modification of the model including explicit recovery steps, the stochastic dynamics are compared to the mean-field approximation in terms of reaction rate equations. Finally, we reflect on spatial extensions of the model, as well as on their approximation by hybrid methods.

References:

A. Ernst, C. Schütte, S. Sigrist, S. Winkelmann. Mathematical Biosciences343, 108760, 2022.

- A. Ernst, N. Unger, C. Schütte, A. Walter, S. Winkelmann. Under Review. https://arxiv.org/abs/2302.01635

 

Fri, 28 Apr 2023

12:00 - 13:00
N3.12

The “Galois to Automorphic” Direction of Categorical Geometric Langlands

Ken Lee
(University of Oxford)
Abstract

In this talk, I give a statement of the “Galois to automorphic” direction of categorical geometric Langlands. I will describe the Galois and automorphic side, the Hecke action on both sides, and the definition of Hecke eigensheaves. On the way, I hope to give motivation for the various objects at play : the stack of $G^L$ local systems on the fixed curve $X$, the stack of $G$ bundles on $X$, $D$-modules, arc groups, loop groups, the affine Grassmannian, and geometric Satake.

Thu, 27 Apr 2023
17:00
L4

Extremal models in affine logic

Tomás Ibarlucía
(Université Paris Diderot)
Abstract

Affine logic is the fragment of continuous logic in which the connectives are limited to affine functions. I will discuss the basics of this logic, first studied by Bagheri, and present the results of a recent joint work with I. Ben Yaacov and T. Tsankov in which we initiate the study of extreme types and extremal models in affine logic.

In particular, I will discuss an extremal decomposition result for models of simplicial affine theories, which generalizes the ergodic decomposition theorem.

Thu, 27 Apr 2023
16:00
L5

On zero-density estimates and primes in short intervals

Valeriia Starichkova
(UNSW Canberra)
Abstract

Hoheisel used zero-density results to prove that for all x large enough there is a prime number in the interval $[x−x^{\theta}, x]$ with $θ < 1$. The connection between zero-density estimates and primes in short intervals was explicitly described in the work of Ingham in 1937. The approach of Ingham combined with the zero-density estimates of Huxley (1972) provides us with the distribution of primes in $[x−x^{\theta}, x]$ with $\theta > 7/12$. Further improvement upon the value of \theta was achieved by combining sieves with the weighted zero-density estimates in the works of Iwaniec and Jutila, Heath-Brown and Iwaniec, and Baker and Harman. The last work provides the best result achieved using zero-density estimates. We will discuss the main ideas of the paper by Baker and Harman and simplify some parts of it to show a more explicit connection between zero-density results and the sieved sums, which are used in the paper. This connection will provide a better understanding on which parts should be optimised for further improvements and on what the limits of the methods are. This project is still in progress.

Thu, 27 Apr 2023

14:00 - 15:00
(This talk is hosted by Rutherford Appleton Laboratory)

All-at-once preconditioners for ocean data assimilation

Jemima Tabeart
(University of Oxford)
Abstract

Correlation operators are used in data assimilation algorithms
to weight the contribution of prior and observation information.
Efficient implementation of these operators is therefore crucial for
operational implementations. Diffusion-based correlation operators are popular in ocean data assimilation, but can require a large number of serial matrix-vector products. An all-at-once formulation removes this requirement, and offers the opportunity to exploit modern computer architectures. High quality preconditioners for the all-at-once approach are well-known, but impossible to apply in practice for the
high-dimensional problems that occur in oceanography. In this talk we
consider a nested preconditioning approach which retains many of the
beneficial properties of the ideal analytic preconditioner while
remaining affordable in terms of memory and computational resource.

Thu, 27 Apr 2023

12:00 - 13:00
L1

Coiled Muscles: Snapping Beams: From Nonlinear Mechanics to Miniature Robotic Design

Sameh Tawfick
(University of Illinois)
Abstract

My group is developing a roadmap to replace bulky electric motors in miniature robots requiring large mechanical work output.

First, I will describe the mechanics of coiled muscles made by twisting nylon fishing lines, and how these actuators use internal strain energy to achieve a “record breaking” performance. Then I will describe intriguing hierarchical super-, and hyper-coiled artificial muscles which exploit the interplay between nonlinear mechanics and material microstructure. Next, I will describe their use to actuate the dynamic snapping of insect-scale jumping robots. The combination of strong but slow muscles with a fast-snapping beam gives rise to dynamic buckling cascade phenomena leading to effective robotic jumping mechanisms.

These examples shed light on the future of automation propelled by new bioinspired materials, nonlinear mechanics, and unusual manufacturing processes.

Wed, 26 Apr 2023
16:00
L6

Insufficiency of simple closed curve homology

Adam Klukowski
(University of Oxford)
Abstract

This talk is concerned with the question of generating the homology of a covering space by lifts of simple closed curves (from topological viewpoint), and generating the first homology of a subgroup by powers of elements outside certain filtrations (from group-theoretic viewpoint). I will sketch Malestein's and Putman's construction of examples of branched covers where lifts of scc's span a proper subspace. I will discuss the relation of their proof to the Magnus embedding, and present recent results on similar embeddings of surface groups which facilitate extending their theorems to unbranched covers.

Wed, 26 Apr 2023

13:00 - 14:00
N3.12

Mathematrix: Navigating Conferences as a Minority

Abstract

With conference season fast approaching, we will be meeting up to discuss our experiences of going to conferences and how best to prepare for them as a minority in Mathematics.

Wed, 26 Apr 2023

11:00 - 12:00
L3

"Orthogonal Intertwiners for Infinite Particle Systems On The Continuum"; "Spectral gap of the symmetric inclusion process".

Stefan Wagner and Federico Sau
Abstract

Orthogonal Intertwiners for Infinite Particle Systems On The Continuum:

Interacting particle systems are studied using powerful tools, including 
duality. Recently, dualities have been explored for inclusion processes, 
exclusion processes, and independent random walkers on discrete sets 
using univariate orthogonal polynomials. This talk generalizes these 
dualities to intertwiners for particle systems on more general spaces, 
including the continuum. Instead of univariate orthogonal polynomials, 
the talk dives into the theory of infinite-dimensional polynomials 
related to chaos decompositions and multiple stochastic integrals. The 
new framework is applied to consistent particle systems containing a 
finite or infinite number of particles, including sticky and correlated 
Brownian motions.

Spectral gap of the symmetric inclusion process:

In this talk, we consider the symmetric inclusion process on a general finite graph. Our main result establishes universal upper and lower bounds for the spectral gap of this interacting particle system in terms of the spectral gap of the random walk on the same graph. In the regime in which the gamma-like reversible measures of the particle system are log-concave, our bounds match, yielding a version for the symmetric inclusion process of the celebrated Aldous' spectral gap conjecture --- originally formulated for the interchange process and proved by Caputo, Liggett and Richthammer (JAMS 2010). Finally, by means of duality techniques, we draw analogous conclusions for an interacting diffusion-like unbounded conservative spin system known as Brownian energy process, which may be interpreted as a spatial version of the Wright-Fisher diffusion with mutation. Based on a joint work with Seonwoo Kim (SNU, South Korea).

Tue, 25 Apr 2023
16:00
L6

Projected Green’s Function Methods Applied to Quasi-Periodic Systems and the Dry Ten Martini Problem

Dan Borgnia
(UC Berkeley)
Abstract

The resolvents of finite volume restricted Hamiltonians, G^(⍵), have long been used to describe the localization of quantum systems. More recently, projected Green's functions (pGfs) -- finite volume restrictions of the resolvent -- have been applied to translation invariant free fermion systems, and the pGf zero eigenvalues have been shown to determine topological edge modes in free-fermion systems with bulk-edge correspondence. In this talk, I will connect the pGfs to the G^(⍵) appearing in the transfer matrices of quasi-periodic systems and discuss what pGF zeros can tell us about the solutions to transfer matrix equations. Using these methods, we re-examine the critical almost-Matthieu operator and notice new guarantees on analytic regions of its resolvent for Liouville irrationals.
 

Tue, 25 Apr 2023

16:00 - 17:00
C1

Anomalous symmetries and invariants of operator algebras

Sergio Giron Pacheco
(University of Oxford)
Abstract

An anomalous symmetry of an operator algebra A is a mapping from a group G into the automorphism group of A which is multiplicative up to inner automorphisms. To any anomalous symmetry, there is an associated cohomology invariant in H^3(G,T). In the case that A is the Hyperfinite II_1 factor R and G is amenable, the associated cohomology invariant is shown to be a complete invariant for anomalous actions on R by the work of Connes, Jones, and Ocneanu.

In this talk, I will introduce anomalous actions from the basics discussing examples and the history of their study in the literature. I will then discuss two obstructions to possible cohomology invariants of anomalous actions on simple C*-algebras which arise from considering K-theoretic invariants of the algebras. One of the obstructions will be of algebraic flavour and the other will be of topological flavour. Finally, I will discuss the classification question for certain classes of anomalous actions.

Tue, 25 Apr 2023
15:30
L2

HKKP Theory for algebraic stacks

Andres Ibanez Nunez (Oxford)
Abstract

In work of Haiden-Katzarkov-Konsevich-Pandit (HKKP), a canonical filtration, labeled by sequences of real numbers, of a semistable quiver representation or vector bundle on a curve is defined. The HKKP filtration is a purely algebraic object that depends only on a lattice, yet it governs the asymptotic behaviour of a natural gradient flow in the space of metrics of the object. In this talk, we show that the HKKP filtration can be recovered from the stack of semistable objects and a so called norm on graded points, thereby generalising the HKKP filtration to other moduli problems of non-linear origin.

 

Tue, 25 Apr 2023
15:30

TBA

Andres Ibanez Nunez
(University of Oxford)
Tue, 25 Apr 2023

15:00 - 16:00
L3

On the structure of quotients of cubulated groups

Macarena Arenas
Abstract

This talk will be an invitation to the study of cubulated groups and their quotients via the tools of cubical small cancellation theory. Non-positively curved cube complexes are a class of cell-complexes whose geometry and combinatorial structure is closely related to the structure of the groups that act nicely on their universal covers. I will tell you a bit about what we know and don’t know about these groups and spaces, and about the tools we have to study their quotients. I will explain some applications of the study of these quotients to producing a large variety of examples of large-dimensional hyperbolic (and non-hyperbolic) groups.

 

Tue, 25 Apr 2023

14:00 - 15:00
L5

Pancyclicity of highly-connected graphs

Shoham Letzter
(University College London)
Abstract

A classic result of Chvatál and Erdős (1972) asserts that, if the vertex-connectivity of a graph G is at least as large as its independence number, then G has a Hamilton cycle. We prove a similar result, implying that a graph G is pancyclic, namely it contains cycles of all lengths between 3 and |G|: we show that if |G| is large and the vertex-connectivity of G is larger than its independence number, then G is pancyclic. This confirms a conjecture of Jackson and Ordaz (1990) for large graphs.

Tue, 25 Apr 2023

14:00 - 15:00
L6

Subalgebras of Cherednik algebras

Misha Feigin
(University of Glasgow)
Abstract

Rational Cherednik algebra is a flat deformation of a skew product of the Weyl algebra and a Coxeter group W. I am going to discuss two interesting subalgebras of Cherednik algebras going back to the work of Hakobyan and the speaker from 2015. They are flat deformations of skew products of quotients of the universal enveloping algebras of gl_n and so_n, respectively, with W. They also have to do with particular nilpotent orbits and generalised Howe duality.  Their central quotients can be given as the algebra of global sections of sheaves of Cherednik algebras. The talk is partly based on a joint work with D. Thompson.

Tue, 25 Apr 2023

12:00 - 13:15
L3

Bootstrapping surface defects in the 6d N=(2,0) theories

Carlo Meneghelli
(Università di Parma)
Abstract

6d N=(2,0) superconformal field theories have natural surface operators similar in many ways to Wilson lines in gauge theories. In this talk, I will discuss how they can be studied using conformal bootstrap techniques, including connection to W-algebras and the so-called inversion formula, focusing on the limit of large central charge.

Mon, 24 Apr 2023
16:00
C3

The weight part of Serre's conjecture

Martin Ortiz
(UCL (LSGNT))
Abstract

Serre's conjecture (now a theorem) predicts that an irreducible 2-dimensional odd
Galois representation of $\mathbb Q$ with coefficients in $\bar{\mathbb F}_p$ comes from the mod p reduction of
a modular form. A key feature is that two modular forms of different weights can have the same
mod p reduction. Fixing a modular form $f$, the weight part of Serre's conjecture seeks to find all
the possible weights where one can find a modular form congruent to $f$ mod $p$. The recipe for these
weights was conjectured by Serre, and it depends only on the local Galois representation at $p$. I
will explain the ideas involved in Edixhoven's proof of the weight part, and if time allows, I
will briefly say something about what the generalizations beyond $\operatorname{GL}_2/\mathbb Q$ might look like. 

Mon, 24 Apr 2023
15:30
L5

Coarse embeddings, and yet more ways to avoid them

David Hume
(Bristol)
Abstract

Coarse embeddings (maps between metric spaces whose distortion can be controlled by some function) occur naturally in various areas of pure mathematics, most notably in topology and algebra. It may therefore come as a surprise to discover that it is not known whether there is a coarse embedding of three-dimensional real hyperbolic space into the direct product of a real hyperbolic plane and a 3-regular tree. One reason for this is that there are very few invariants which behave monotonically with respect to coarse embeddings, and thus could be used to obstruct coarse embeddings.