Past

The alchemists wanted to create gold, Hilbert wanted an algorithm to solve Diophantine equations, researchers want to make deep learning robust in AI, MATLAB wants (but fails) to detect when it provides wrong solutions to linear programs etc. Why does one not succeed in so many of these fundamental cases? The reason is typically methodological barriers. The history of  science is full of methodological barriers — reasons for why we never succeed in reaching certain goals. In many cases, this is due to the foundations of mathematics. We will present a new program on methodological barriers and foundations of mathematics,  where — in this talk — we will focus on two basic problems: (1) The instability problem in deep learning: Why do researchers fail to produce stable neural networks in basic classification and computer vision problems that can easily be handled by humans — when one can prove that there exist stable and accurate neural networks? Moreover, AI algorithms can typically not detect when they are wrong, which becomes a serious issue when striving to create trustworthy AI. The problem is more general, as for example MATLAB's linprog routine is incapable of certifying correct solutions of basic linear programs. Thus, we’ll address the following question: (2) Why are algorithms (in AI and computations in general) incapable of determining when they are wrong? These questions are deeply connected to the extended Smale’s 9th and 18th problems on the list of mathematical problems for the 21st century. 

Holographic correlation functions are under good analytic control when none of the single trace operators live in long multiplets. This is famously the case for SCFTs with sixteen supercharges but it is also possible to construct examples with eight supercharges by exploiting space filling branes in AdS. In particular, one can study 4d N=2 theories which are related to each other by an S-fold in much the same way that N=3 theories are related to N=4 Super Yang-Mills. I will describe how modern methods provide a window into their correlation functions with an emphasis on anomalous dimensions. To compare the different S-folds we will need to go to one loop, and to go to one loop we will need to account for operator mixing. This provides an example of resolving degeneracy by resolving degeneracy.

This event will be hybrid and will take place in L1 and on Teams. A link will be available 30 minutes before the session begins.

`Conferences and collaboration’ is a Fridays@4 group discussion. The goal is to have an open and honest conversion about the hurdles posed by these things, led by a panel of graduate students and postdocs. Conferences can be both exciting and stressful - they involve meeting new people and learning new mathematics, but can be intimidating new professional experiences. Many of us also will either have never been to one in person, or at least not been to one in the past two years. Optimistically looking towards the world opening up again, we thought it would be a good time to ask questions such as:
-Which talks should I go to?
-How to cope with incomprehensible talks. Is it imposter syndrome or is the speaker just bad?
-Should I/how should I go about introducing myself to more senior people in the field?
-How do you start collaborations? Does it happen at conferences or elsewhere?
-How do you approach workload in collaborations?
-What happens if a collaboration isn’t working out?
-FOMO if you like working by yourself. Over the hour we’ll have a conversation about these hurdles and most importantly, talk about how we can make conferences and collaborations better for everyone early in their careers.

Affine Hecke algebras and their representations play an important role in the representation theory of p-adic groups since they classify smooth representations generated by Iwahori-fixed vectors. The Deligne-Langlands correspondence, which was proved by Kazhdan and Lusztig, parametrises these representations by geometric data on the Langlands dual group. This talk is supposed to be a gentle introduction to this topic. I will also briefly talk about how this correspondence can be lifted to the derived level.

 In addition, another class of cell-cell communication is by long, thin cellular protrusions that are ~100 microns (many cell-lengths) in length and ~100 nanometers (below traditional microscope resolution) in width. These protrusions have been recently discovered in many organisms, including nanotubes humans and airinemes in zebrafish. But, before establishing communication, these protrusions must find their target cell. Here we demonstrate airinemes in zebrafish are consistent with a finite persistent random walk model. We study this model by stochastic simulation, and by numerically solving the survival probability equation using Strang splitting. The probability of contacting the target cell is maximized for a balance between ballistic search (straight) and diffusive (highly curved, random) search. We find that the curvature of airinemes in zebrafish, extracted from live cell microscopy, is approximately the same value as the optimum in the simple persistent random walk model. We also explore the ability of the target cell to infer direction of the airineme’s source, finding the experimentally observed parameters to be at a Pareto optimum balancing directional sensing with contact initiation.

The infamous Ramanujan tau-function is the starting point for many mysterious conjectures and difficult open problems within the realm of modular forms. In this talk, I will discuss some of our recent results pertaining to odd values of the Ramanujan tau-function. We use a combination of tools which include the Primitive Divisor Theorem of Bilu, Hanrot and Voutier, bounds for solutions to Thue–Mahler equations due to Bugeaud and Gyory, and the modular approach via Galois representations of Frey-Hellegouarch elliptic curves. This is joint work with Mike Bennett (UBC), Adela Gherga (Warwick) and Samir Siksek (Warwick).

In 2008 Pila and Zannier used a Theorem coming from Logic, proven by Pila and Wilkie, to give a new proof of the Manin-Mumford Conjecture, creating a new, powerful way to prove Theorems in Diophantine Geometry. The Pila-Wilkie Theorem gives an upper bound on the number of rational points on analytic varieties which are not algebraic; this bound usually contradicts a Galois-theoretic bound obtained by arithmetic considerations. We show how this technique can be applied to the following problem of Lang: given an irreducible polynomial f(x,y) in C[x,y], if for infinitely many pairs of roots of unity (a,b) we have f(a,b)=0, then f(x,y) is either of the form x^my^n-c or x^m-cy^n for c a root of unity.

Let $A$ be an $n$ by $n$ matrix or a bounded linear operator on a complex Hilbert space $(H, \langle \cdot , \cdot \rangle , \| \cdot \|)$. A closed set $\Omega \subset \mathbb{C}$ is a $K$-spectral set for $A$ if the spectrum of $A$ is contained in $\Omega$ and if, for all rational functions $f$ bounded in $\Omega$, the following inequality holds:
\[\| f(A) \| \leq K \| f \|_{\Omega} ,\]
where $\| \cdot \|$ on the left denotes the norm in $H$ and $\| \cdot \|_{\Omega}$ on the right denotes the $\infty$-norm on $\Omega$. A simple way to obtain a $K$ value for a given set $\Omega$ is to use the Cauchy integral formula and replace the norm of the integral by the integral of the resolvent norm:
\[f(A) = \frac{1}{2 \pi i} \int_{\partial \Omega} ( \zeta I - A )^{-1}
f( \zeta )\,d \zeta \Rightarrow
\| f(A) \| \leq \frac{1}{2 \pi} \left( \int_{\partial \Omega}
\| ( \zeta I - A )^{-1} \|~| d \zeta | \right) \| f \|_{\Omega} .\]
Thus one can always take
\[K = \frac{1}{2 \pi} \int_{\partial \Omega} \| ( \zeta I - A )^{-1} \| | d \zeta | .\]
In M. Crouzeix and A. Greenbaum, Spectral sets: numerical range and beyond, SIAM J. Matrix Anal. Appl., 40 (2019), pp. 1087-1101, different bounds on $K$ were derived.  I will show how these compare to that from the Cauchy integral formula for a variety of applications.  In case $A$ is a matrix and $\Omega$ is simply connected, we can numerically compute what we believe to be the optimal value for $K$ (and, at least, is a lower bound on $K$).  I will show how these values compare with the proven bounds as well.

(joint with  Michel Crouzeix and Natalie Wellen)
 

---

A link for this talk will be sent to our mailing list a day or two in advance.  If you are not on the list and wish to be sent a link, please contact @email.

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

Connectivity and percolation are two well studied phenomena in random graphs. 

In this talk we will discuss higher-dimensional analogues of connectivity and percolation that occur in random simplicial complexes.

Simplicial complexes are a natural generalization of graphs that consist of vertices, edges, triangles, tetrahedra, and higher dimensional simplexes.

We will mainly focus on random geometric complexes. These complexes are generated by taking the vertices to be a random point process, and adding simplexes according to their geometric configuration.

Our generalized notions of connectivity and percolation use the language of homology - an algebraic-topological structure representing cycles of different dimensions.

In this talk we will discuss recent results analyzing phase transitions related to these topological phenomena. 

Previous joint work with Caroline Terry had identified model-theoretic stability as a sufficient condition for the existence of strong arithmetic regularity decompositions in finite abelian groups, pioneered by Ben Green around 2003. 
Higher-order arithmetic regularity decompositions, based on Tim Gowers’s groundbreaking work on Szemerédi’s theorem in the late 90s, are an essential part of today's arithmetic combinatorics toolkit.
In this talk, I will describe recent joint work with Caroline Terry in which we define a natural higher-order generalisation of stability and prove that it implies the existence of particularly efficient higher-order arithmetic regularity decompositions in the setting of finite elementary abelian groups. If time permits, I will briefly outline some analogous results we obtain in the context of hypergraph regularity decompositions.

We will record some surprising and lesser-known properties of free groups, and use these to give a model theoretic analysis of free group automorphisms and orbits under Aut(F). This will result in a neat geometric description of (a logic-flavoured analogue of) algebraic closures in a free group. An almost immediate corollary will be that elementary subgroups of a free group are free factors.

I will assume no familiarity with first-order logic and model theory - the beginning of the talk will be devoted to familiarize everyone with the few required notions.

Aimed: An introduction to the nonlinear theory of hyperbolic PDEs, as well as its close connections with the other areas of mathematics and wide range of applications in the sciences.

In this talk, I will explain how to obtain the space of local operators of a 4d N=2 gauge theory using the category of line operators in the Kapustin twist (holomorphic topological twist). This category is given a precise definition by Cautis-Williams, as the category of equivariant coherent sheaves on the space of Braverman-Finkelberg-Nakajima. We compute the derived endomorphism of the monoidal unit in this category, and show that it coincides with the vacuum module of the Poisson vertex algebra of Oh-Yagi and Butson. The Euler character of this space reproduces the Schur index. I will also explain how to obtain the space of local operators at the junction of minimal Wilson-t’Hooft line operators. Its Euler character can be compared to the index formula of Cordova-Gaiotto-Shao. This is based on arXiv: 2112.12164.

In the late 1980s, Berger and Coburn showed that the Hankel operator $H_f$ on the Segal-Bargmann space of Gaussian square-integrable entire functions is compact if and only if $H_{\bar f}$ is compact using C*-algebra and Hilbert space techniques. I will briefly discuss this and three other proofs, and then consider the question of whether an analogous phenomenon holds for Schatten class Hankel operators. 

I will present a collection of moment computations over the unitary, symplectic and special orthogonal matrix ensembles that I've done throughout my thesis. I will focus on the methods used, the motivation from number theory, the relationship to Painlev\'e equations, and directions for future work.

The placenta is the essential organ of maternal-fetal interactions, where nutrient, oxygen, and waste exchange occur. In recent studies, differences in the morphology of the placental chorionic surface vascular network (PCSVN) have been associated with developmental disorders such as autism. This suggests that the PCSVN could potentially serve as a biomarker for the early diagnosis and treatment of autism. Studying PCSVN features in large cohorts requires a reliable and automated mechanism to extract the vascular networks. In this talk, we present a method for PCSVN extraction. Our algorithm builds upon a directional multiscale mathematical framework based on a combination of shearlets and Laplacian eigenmaps and can isolate vessels with high success in high-contrast images such as those produced in CT scans. 

Measures of discrete curvature are a recent addition to the toolkit of network analysts and data scientists. At the basis lies the idea that networks and other discrete objects exhibit distinct geometric properties that resemble those of smooth objects like surfaces and manifolds, and that we can thus find inspiration in the tools of differential geometry to study these discrete objects. In this talk, I will introduce how this has lead to the development of notions of discrete curvature, and what they are good for. Furthermore, I will discuss our latest results on a new notion of curvature on graphs, based on the effective resistance. These new "resistance curvatures" are related to other well-known notions of discrete curvature (Ollivier, Forman, combinatorial curvature), we find evidence for convergence to continuous curvature in the case of Euclidean random graphs and there is a naturally associated discrete Ricci flow.

A preprint on this work is available on arXiv: https://arxiv.org/abs/2201.06385

I’ll review a new, simpler explanation for the large-scale properties of the
cosmos, presented with L. Boyle in our recent preprint arXiv:2201.07279. The
basic ingredients are elementary and well-known, namely Einstein’s theory of
gravity and Hawking’s method of computing gravitational entropy. The new
twist is provided by the boundary conditions we proposed for big bang-type
singularities, allowing conformal zeros but imposing CPT symmetry and

analyticity at the bang. These boundary conditions, which have significant
overlap with Penrose’s Weyl curvature hypothesis, allow gravitational
instantons for universes with Lambda, massless radiation and space
curvature, of either sign, from which we are able to infer a gravitational
entropy. We find the gravitational entropy can exceed the de Sitter entropy
and that, to the extent that it does, the most probable large-scale geometry
for the universe is flat, homogeneous and isotropic. I will briefly
summarise our earlier work showing how the gauge-fermion Lagrangian of the
standard model may be reconciled with Weyl symmetry and a small cosmological
constant, at leading order, provided there are precisely three generations
of fermions. The same mechanism generates scale-invariant primordial
perturbations. The cosmic dark matter consists of a right-handed neutrino.
In summary, we have taken significant steps towards a new, highly principled
and testable theory of cosmology.

The soap bubble theorem says that a closed, embedded surface of the Euclidean space with constant mean curvature must be a round sphere. Especially in real-life problems it is of importance whether and to what extent this phenomenon is stable, i.e. when a surface with almost constant mean curvature is close to a sphere. This problem has been receiving lots of attention until today, with satisfactory recent solutions due to Magnanini/Poggesi and Ciraolo/Vezzoni.
The purpose of this talk is to discuss further problems of this type and to provide two approaches to their solutions. The first one is a new general approach based on stability of the so-called "Nabelpunktsatz". The second one is of variational nature and employs the theory of curvature flows. 

Minimal Lagrangian maps play an important role in Teichmüller theory, with important existence and uniqueness results for hyperbolic surfaces obtained by Labourie, Schoen, Bonsante-Schlenker, Toulisse and others. In positive curvature, it is thus natural to ask whether one can find minimal Lagrangian diffeomorphisms between two spherical surfaces with cone points. In this talk we will show that the answer is negative, unless the two surfaces are isometric. As an application, we obtain a generalization of Liebmann’s theorem for branched immersions of constant curvature in Euclidean space. This is joint work with Christian El Emam.