Past

The McCullough-Miller space is a contractible simplicial complex that admits an action of the pure symmetric (outer) automorphisms of the free group, with stabilizers that are free abelian. This space has been used to derive several cohomological properties of these groups, such as computing their cohomology ring and proving that they are duality groups. In this talk, we will generalize the construction to right-angled Artin groups (RAAGs), and use it to obtain some interesting cohomological results about the pure symmetric (outer) automorphisms of RAAGs.

I will present the basic idea of the flow equation approach developed by Paweł Duch to study singular stochastic partial differential equations. In particular, I will show how it can be used to prove the existence of a solution of the stochastic Burgers equation on the one-dimensional torus.

The Aldous-Lyons conjecture from probability theory states that every (unimodular) infinite graph can be (Benjamini-Schramm) approximated by finite graphs. This conjecture is an analogue of other influential conjectures in mathematics concerning how well certain infinite objects can be approximated by finite ones; examples include Connes' embedding problem (CEP) in functional analysis and the soficity problem of Gromov-Weiss in group theory. These became major open problems in their respective fields, as many other long-standing open problems, that seem unrelated to any approximation property, were shown to be true for the class of finitely-approximated objects. For example, Gottschalk's conjecture and Kaplansky's direct finiteness conjecture are known to be true for sofic groups, but are still wide open for general groups.

In 2019, Ji, Natarajan, Vidick, Wright and Yuen resolved CEP in the negative. Quite remarkably, their result is deduced from complexity theory, and specifically from undecidability in certain quantum interactive proof systems. Inspired by their work, we suggest a novel interactive proof system which is related to the Aldous-Lyons conjecture in the following way: If the Aldous-Lyons conjecture was true, then every language in this interactive proof system is decidable. A key concept we introduce for this purpose is that of a Subgroup Test, which is our analogue of a Non-local Game. By providing a reduction from the Halting Problem to this new proof system, we refute the Aldous-Lyons conjecture.

This talk is based on joint work with Lewis Bowen, Alex Lubotzky, and Thomas Vidick.

No special background in probability theory or complexity theory will be assumed.

A C*-correspondence between two C*-algebras is a generalization of a *-homomorphism. Laca and Neshveyev showed that, like a *-homomorphism, there is an induced map between traces of the algebras. Given sufficient regularity conditions, the map defines a bounded operator between the spaces of (bounded) tracial linear functionals. 

This operator can be of independent interest - a special case of correspondence gives Ruelle's operator associated to a non-invertible discrete-time dynamical system, and the study of Ruelle's operator is the basis of his thermodynamic formalism. Moreover, by the work of Laca and Neshveyev, the operator's positive eigenvectors determine the KMS states of the gauge action on the Cuntz-Pimsner algebra of the correspondence.

Given a C*-correspondence from a C*-algebra to itself, we will present a sufficient condition on the C*-correspondence that implies the operator on traces has a unique positive eigenvector, and moreover a spectral gap. This result recovers the Perron-Frobenius theorem, aspects of Ruelle's thermodynamic formalism, and unique KMS state results for a variety of constructions of Cuntz-Pimsner algebras, including the C*-algebras associated to self-similar groupoids. The talk is based on work in progress.

Let G be the points of a reductive group over a p-adic field. According to Bernstein, the category of smooth complex representations of G decomposes as a product of indecomposable subcategories (blocks), each determined by inertial supercuspidal support. Moreover, each of these blocks is equivalent to the category of modules over a Hecke algebra, which is understood in many (most) cases. However, when the coefficients of the representations are now allowed to be in a more general ring (in which p is invertible), much of this fails in general. I will survey some of what is known, and not known.

The celebrated Szemeredi-Trotter theorem states that the maximum number of incidences between $n$ points and $n$ lines in the plane is $\mathcal{O}(n^{4/3})$, which is asymptotically tight.

Solymosi conjectured that this bound drops to $o(n^{4/3})$ if we exclude subconfigurations isomorphic to any fixed point-line configuration. We describe a construction disproving this conjecture. On the other hand, we prove new upper bounds on the number of incidences for configurations that avoid certain subconfigurations. Joint work with Martin Balko.

Several PhD students from the department will give short 5 minute talks on their research. This is also targeted at undergraduates interested in doing PhDs .

Come along to hear from several PhD students and PostDocs about their research. There will also be a Q&A about doing a Master's/PhD and a chance to mingle with postgraduate students. 

Speakers include:

• Shaked Bader, DPhil Student in Geometric Group Theory, 
• Eoin Hurley, PostDoc in Combinatorics, 
• Patricia Lamirande, DPhil Student in Mathematical Biology

: With motivation from string compactifications, I will present work on the use of machine learning methods for the computation of geometric and topological properties of Calabi-Yau manifolds.

Quantum computers are becoming a reality and current generations of machines are already well beyond the 50-qubit frontier. However, hardware imperfections still overwhelm these devices and it is generally believed the fault-tolerant, error-corrected systems will not be within reach in the near term: a single logical qubit needs to be encoded into potentially thousands of physical qubits which is prohibitive.
 
Due to limited resources, in the near term, hybrid quantum-classical protocols are the most promising candidates for achieving early quantum advantage but these need to resort to quantum error mitigation techniques. I will explain the basic concepts and introduce hybrid quantum-classical protocols are the most promising candidates for achieving early quantum advantage. These have the potential to solve real-world problems---including optimisation or ground-state search---but they suffer from a large number of circuit repetitions required to extract information from the quantum state. I will detail a range of application areas of randomised quantum circuits, such as quantum algorithms, classical shadows, and quantum error mitigation introducing recent results that help lower the barrier for practical quantum advantage.

 

The Elusive Singularity

I will describe the open problems of singularity formation in incompressible fluids. I will discuss a list of related models, some results, and some more open problems.

Date: Monday, 11 November 2024 

Time: 5pm GMT

Location: Lecture Theatre 1, Mathematical Institute 

Speaker: Professor Peter Constantin            

Peter Constantin is the John von Neumann Professor of Mathematics and Applied and Computational Mathematics at Princeton University. Peter Constantin received his B.A and M.A. summa cum laude from the University of Bucharest, Faculty of Mathematics and Mechanics. He obtained his Ph.D. from The Hebrew University of Jerusalem under the direction of Shmuel Agmon.

Constantin’s work is focused on the analysis of PDE and nonlocal models arising in statistical and nonlinear physics. Constantin worked on scattering for Schr¨odinger operators, on finite dimensional aspects of the dynamics of Navier-Stokes equations, on blow up for models of Euler equations. He introduced active scalars, and, with Jean-Claude Saut, local smoothing for general dispersive PDE. Constantin worked on singularity formation in fluid interfaces, on turbulence shell models, on upper bounds for turbulent transport, on the inviscid limit, on stochastic representation of Navier-Stokes equations, on the Onsager conjecture. He worked on critical nonlocal dissipative equations, on complex fluids, and on ionic diffusion in fluids.

Constantin has advised thirteen graduate students in mathematics, and served in the committee of seven graduate students in physics. He mentored twenty-five postdoctoral associates. 

Constantin served as Chair of the Mathematics Department of the University of Chicago and as the Director of the Program in Applied and Computational Mathematics at Princeton University.

Constantin is a Fellow of the Institute of Physics, a SIAM Fellow, and Inaugural Fellow of the American Mathematical Society, a Fellow of the American Academy of Arts and Sciences and a member of the National Academy of Sciences

The Seventeenth Brooke Benjamin Lecture 2024

The Elusive Singularity

I will describe the open problems of singularity formation in incompressible fluids. I will discuss a list of related models, some results, and some more open problems.

Date: Monday, 11 November 2024 

Time: 5pm GMT

Location: Lecture Theatre 1, Mathematical Institute 

Speaker: Professor Peter Constantin        

More information about The Brooke Benjamin Lecture.

In general, the classification of finitely generated subgroups of a given group is intractable. Restricting to two-generator subgroups in a geometric setting is an exception. For example, a two-generator subgroup of a right-angled Artin group is either free or free abelian. Jaco and Shalen proved that a two-generator subgroup of the fundamental group of an orientable atoroidal irreducible 3-manifold is either free, free-abelian, or finite-index. In this talk I will present recent work proving a similar classification theorem for two generator mapping-torus groups of free group endomorphisms: every two generator subgroup is either free or conjugate to a sub-mapping-torus group. As an application we obtain an analog of the Jaco-Shalen result for free-by-cyclic groups with fully irreducible atoroidal monodromy. While the statement is algebraic, the proof technique uses the topology of finite graphs, a la Stallings. This is joint work with Naomi Andrew, Ilya Kapovich, and Stefano Vidussi.
 

I will present a notion of spin structure on a perfect complex in characteristic zero, generalizing the classical notion for an (algebraic) vector bundle. For a complex $E$ on $X$ with an oriented quadratic structure one obtains an associated ${\mathbb Z}/2{\mathbb Z}$-gerbe over X which obstructs the existence of a spin structure on $E$. This situation arises naturally on moduli spaces of coherent sheaves on Calabi-Yau fourfolds. Using spin structures as orientation data, we construct a categorical refinement of a K-theory class constructed by Oh-Thomas on such moduli spaces.

Self-predictive learning (aka non-contrastive learning) has become an increasingly important paradigm for representation learning. Self-predictive learning is simple yet effective: it learns without contrastive examples yet extracts useful representations through a self-predicitve objective. A common myth with self-predictive learning is that the optimization objective itself yields trivial representations as globally optimal solutions, yet practical implementations can produce meaningful solutions. 

We reconcile the theory-practice gap by studying the learning dynamics of self-predictive learning. Our analysis is based on analyzing a non-linear ODE system that sheds light on why despite a seemingly problematic optimization objective, self-predictive learning does not collapse, which echoes with important implementation "tricks" in practice. Our results also show that in a linear setup, self-predictive learning can be understood as gradient based PCA or SVD on the data matrix, hinting at meaningful representations to be captured through the learning process.

This talk is based on our ICML 2023 paper "Understanding self-predictive learning for reinforcement learning".

Celestial holography posits that the 4D S-matrix may be calculated holographically by a 2D conformal field theory. However, bulk translation invariance forces low-point massless celestial amplitudes to be distributional, which is an unusual property for a 2D CFT. In this talk, I show that translation-invariant MHV gluon amplitudes can be extracted from smooth 'leaf' amplitudes, where a bulk interaction vertex is integrated only over a hyperbolic slice of spacetime. After describing gluon leaf amplitudes' soft and collinear limits, I will show that MHV leaf amplitudes can be generated by a simple 2D system of free fermions and the semiclassical limit of Liouville theory, showing that translation-invariant, distributional amplitudes can be obtained from smooth correlation functions. An important step is showing that, in the semiclassical limit of Liouville theory, correlation functions of light operators are given by contact AdS Witten diagrams. This talk is based on a series of papers with Atul Sharma, Andrew Strominger, and Tianli Wang [2312.07820, 2402.04150,2403.18896]. 

North meets South is a tradition founded by and for early-career researchers. One speaker from the North of the Andrew Wiles Building and one speaker from the South each present an idea from their work in an accessible yet intriguing way. 

North Wing

Speaker: Paul-Hermann Balduf
Title: Statistics of Feynman integral
Abstract: In quantum field theory, one way to compute predictions for physical observables is perturbation theory, which means that the sought-after quantity is expressed as a formal power series in some coupling parameter. The coefficients of the power series are Feynman integrals, which are, in general, very complicated functions of the masses and momenta involved in the physical process. However, there is also a complementary difficulty: A higher orders, millions of distinct Feynman integrals contribute to the same series coefficient.

My talk concerns the statistical properties of Feynman integrals, specifically for phi^4 theory in 4 dimensions. I will demonstrate that the Feynman integrals under consideration follow a fairly regular distribution which is almost unchanged for higher orders in perturbation theory. The value of a given Feynman integral is correlated with many properties of the underlying Feynman graph, which can be used for efficient importance sampling of Feynman integrals. Based on 2305.13506 and 2403.16217.

South Wing

Speaker: Marc Suñé 
Title: Extreme mechanics of thin elastic objects
Abstract: Exceptionally hard --- or soft -- materials, materials that are active and response to different stimuli, elastic objects that undergo large deformations; the advances in the recent decades in robotics, 3D printing and, more broadly, in materials engineering, have created a new world of opportunities to test the (extreme) mechanics of solids. 

In this colloquium I will focus on the elastic instabilities of slender objects. In particular, I will discuss the transverse actuation of a stretched elastic sheet. This problem is a peculiar example of buckling under tension and it has a vast potential scope of applications, from understanding the mechanics of graphene and cell tissues, to the engineering of meta-materials.

In this talk, I will give an overview of recent joint work on Topological Data Analysis (TDA). The first one is an application of TDA to quantify porosity in pathological bone tissue. The second is an extension of persistent homology to directed simplicial complexes. Lastly, we present an evaluation of the persistent Laplacian in machine learning tasks. This is joint work with Ysanne Pritchard, Aikta Sharma, Claire Clarkin, Helen Ogden, and Sumeet Mahajan; David Mendez; and Tom Davies and Zhengchao Wang, respectively.
 

We will explore the connection between Celestial and Euclidean Anti-de Sitter (EAdS) holography in the massive scalar case. Specifically, exploiting the so-called hyperbolic foliation of Minkowski space-time, we will show that each contribution to massive Celestial correlators can be reformulated as a linear combination of contributions to corresponding massive Witten correlators in EAdS. This result will be demonstrated explicitly both for contact diagrams and for the four-point particle exchange diagram, and it extends to all orders in perturbation theory by leveraging the bootstrapping properties of the Celestial CFT (CCFT).  Within this framework, the Kantorovic-Lebedev transform plays a central role. This transform will allow us to make broader considerations regarding non-perturbative properties of a CCFT.

This week's Fridays@2 will be a panel discussion focusing on what it is like to pursue a research degree. The panel will share their thoughts and experiences in a question-and-answer session, discussing some of the practicalities of being a postgraduate student, and where a research degree might lead afterwards.

Introduction to flat space holography in three dimensions and Carrollian CFT2, with selected results on correlation functions, thermal entropy, entanglement entropy and an outlook to Bondi news in 3d.

Ramification theory serves the dual purpose of a diagnostic tool and treatment by helping us locate, measure, and treat the anomalous behavior of mathematical objects. In the classical setup, the degree of a finite Galois extension of "nice" fields splits up neatly into the product of two well-understood numbers (ramification index and inertia degree) that encode how the base field changes. In the general case, however, a third factor called the defect (or ramification deficiency) can pop up. The defect is a mysterious phenomenon and the main obstruction to several long-standing open problems, such as obtaining resolution of singularities. The primary reason is, roughly speaking, that the classical strategy of "objects become nicer after finitely many adjustments" fails when the defect is non-trivial. I will discuss my previous and ongoing work in ramification theory that allows us to understand and treat the defect.