L4

In this talk we discuss solution of the well-known problem of Erdős and Sauer from 1975 which asks for the maximum number of edges an $n$-vertex graph can have without containing a $k$-regular subgraph, for some fixed integer $k\geq 3$. We prove that any $n$-vertex graph with average degree at least $C_k\log\log n$ contains a $k$-regular subgraph. This matches the lower bound of Pyber, Rödl and Szemerédi and substantially
improves an old result of Pyber, who showed that average degree at least $C_k\log n$ is enough.

Our method can also be used to settle asymptotically a problem raised by Erdős and Simonovits in 1970 on almost regular subgraphs of sparse graphs and to make progress on the well-known question of Thomassen from 1983 on finding subgraphs with large girth and large average degree.

Joint work with Oliver Janzer

For graphs $G$ and $H$, we say $G \stackrel{r}{\to} H$ if every $r$-colouring of the edges of $G$ contains a monochromatic copy of $H$. Let $H[t]$ denote the $t$-blowup of $H$. The blowup Ramsey number $B(G \stackrel{r}{\to} H;t)$ is the minimum $n$ such that $G[n] \stackrel{r}{\to} H[t]$. Fox, Luo and Wigderson refined an upper bound of Souza, showing that, given $G$, $H$ and $r$ such that $G \stackrel{r}{\to} H$, there exist constants $a=a(G,H,r)$ and $b=b(H,r)$ such that for all $t \in \mathbb{N}$, $B(G \stackrel{r}{\to} H;t) \leq ab^t$. They conjectured that there exist some graphs $H$ for which the constant $a$ depending on $G$ is necessary. We prove this conjecture by showing that the statement is true when $H$ is a $3$-chromatically connected, which includes all cliques on $3$ or more vertices. We are also able to show perhaps surprisingly that for any forest $F$ there is $f(F,t)$ such that  for any $G \stackrel{r}{\to} H$, $B(G \stackrel{r}{\to} H;t)\leq f(F,t)$ i.e. the function does not depend on the ground graph $G$. This is joint work with Robert Hancock.

The Langlands program is a far-reaching collection of conjectures that relate different areas of mathematics including number theory and representation theory. A fundamental problem on the representation theory side of the Langlands program is the construction of all (irreducible, smooth, complex or mod-$\ell$) representations of p-adic groups. I will provide an overview of our understanding of the representations of p-adic groups, with an emphasis on recent progress including joint work with Kaletha and Spice that introduces a twist to the story, and outline some applications.

G2 structure manifolds are a key ingredient in supersymmetric compactifications on seven-manifolds. We will discuss the fact that G2 structure manifolds admit refinements in the form of almost contact (3-) structures.  In fact, there are infinite dimensional spaces of these structures. We will discuss topological and differential geometric aspects of (the space of) these refinements. We will then explore applications in physics, including supersymmetry enhancement. This is based on 2101.12605.

Holography in asymptotically flat spaces is one of the most coveted goals of modern mathematical physics. In this talk, I will motivate a novel holographic description of self-dual SO(8) Yang-Mills + self-dual conformal gravity on a Euclidean signature, asymptotically flat background called Burns space. The holographic dual lives on a stack of D1-branes wrapping a CP^1 cycle in the twistor space of R^4 and is given by a gauged beta-gamma system with SO(8) flavor and a pair of defects at the north and south poles. It provides the first example of a stringy realization of (asymptotically) flat holography and is a Euclidean signature variant of celestial holography. This is based on ongoing work with Kevin Costello and Natalie Paquette.

A theorem of Chatzidakis, van den Dries and Macintyre, stemming ultimately from the Lang-Weil estimates, asserts, roughly, that if $\phi(x,y)$ is a formula in the language of rings (where $x,y$ are tuples) then the size of the solution set of $\phi(x,a)$ in any finite field $F_q $(where $a$ is a parameter tuple from $F_q$) takes one of finitely many dimension-measure pairs as $F_q$ and $a$ vary: for a finite set $E$ of pairs $(\mu,d)$ ($\mu$ rational, $d$ integer) dependent on $\phi$, any set $\phi(F_q,a)$ has size roughly $\mu q^d$ for some $(\mu,d) \in E$.

This led in work of Elwes, Steinhorn and myself to the notion of 'asymptotic class’ of finite structures (a class satisfying essentially the conclusion of Chatzidakis-van den Dries-Macintyre). As an example, by a theorem of Ryten, any family of finite simple groups of fixed Lie type forms an asymptotic class. There is a corresponding notion for infinite structures of  'measurable structure’ (e.g. a pseudofinite field, by the Chatzidakis-van den Dries-Macintyre theorem, or certain pseudofinite difference fields).

I will discuss a body of work with Sylvy Anscombe, Charles Steinhorn and Daniel Wolf which generalises this, incorporating a richer range of examples with fewer model-theoretic constraints; for example, the corresponding infinite 'generalised measurable’ structures, for which the definable sets are assigned values in some ordered semiring, need no longer have simple theory. I will also discuss a variant in which sizes of definable sets in finite structures are given exactly rather than asymptotically.

In his 1976 proof of the converse of Herbrand’s theorem, Ribet used Eisenstein-cuspidal congruences to produce unramified degree-p extensions of the p-th cyclotomic field when p is an odd prime. After reviewing Ribet’s strategy, we will discuss recent work with Preston Wake in which we apply similar techniques to produce unramified degree-p extensions of Q(N^{1/p}) when N is a prime that is congruent to -1 mod p. This answers a question posed on Frank Calegari’s blog.

We rely on soil to support the crops on which we depend. Less obviously we also rely on soil for a host of 'free services' from which we benefit. For example, soil buffers the hydrological system greatly reducing the risk of flooding after heavy rain; soil contains very large quantities of carbon, which would otherwise be released into the atmosphere where it would contribute to climate change. Given its importance it is not surprising that soil, especially its interaction with plant roots, has been a focus of many researchers. However the complex and opaque nature of soil has always made it a difficult medium to study. 

In this talk I will show how we can build a state of the art image based model of the physical and chemical properties of soil and soil-root interactions, i.e., a quantitative, model of the rhizosphere based on fundamental scientific laws.
This will be realised by a combination of innovative, data rich fusion of structural and chemical imaging methods, integration of experimental efforts to both support and challenge modelling capabilities at the scale of underpinning bio-physical processes, and application of mathematically sound homogenisation/scale-up techniques to translate knowledge from rhizosphere to field scale. The specific science questions I will address with these techniques are: (1) how does the soil around the root, the rhizosphere, function and influence the soil ecosystems at multiple scales, (2) what is the role of root- soil interface micro morphology on plant nutrient uptake, (3) what is the effect of plant exuded mucilage on the soil morphology, mechanics and resulting field and ecosystem scale soil function and (4) how to translate this knowledge from the single root scale to root system, field and ecosystem scale in order to predict how the climate change, different soil management strategies and plant breeding will influence the soil fertility. 

The questions we would like to answer are as follows:

1. Given three distributions pdf1, pdf2 and pdf-so, is it always possible to find a joint-distribution consistent with those 3 one-dimensional distributions?
2. Assuming that we are in a situation where (1) holds, can we find a nonparametric joint-distribution consistent with the 3 given one-dimensional distributions?
3. If (2) leads to an under-determined problem, can we find a joint-distribution that is “as close as possible” to the historical joint distribution?
4. Can we achieve (3) with a neural network?
5. If we observe the marginal and spread distributions for multiple maturities T, can we specify the evolution of pdf(T), possibly using neural differential equations?