Past

In 2012 Eskin, Fisher and Whyte proved there was a locally finite vertex transitive graph which was not quasi-isometric to any connected locally finite Cayley Graph. This motivates the study of vertex transitive graphs from a geometric group theory point of view. We will discus how concepts and problems from group theory generalise to this setting. Constructing one framework in which problems can be framed so that techniques from group theory can be applied. This is work in progress with Agelos Georgakopoulos.

TBA

Part of the series 'What do historians of mathematics do?'

In this talk, we will survey the movement of mathematical ideas in the 17th century. We will explore, in particular, the mathematical cultures of Paris, Amsterdam, Rome, Cape Town, Goa, Kyoto, Beijing, and London, as well as the journey of mathematical knowledge on a global scale. As it will be an ambitious task to complete a round-the-world history tour in an hour, the focus will be on East Asia. By employing the digital humanities technique, this presentation will use digital media to effectively show historical sources and help the audience imagine the world as a “round” entity when we discuss a global history of mathematics.

I will present a variation of positive model theory which addresses the issues of approximations of conventional geometric structures by sequences of Zariski structures as well as approximation by sequences of finite structures. In particular I am interested in applications to quantum mechanics.

I will report on a progress in defining and calculating oscillating in- tegrals of importance in quantum physics. This is based on calculating Gauss sums of order higher or equal to 2 over rings Z/mZ for very specific m. 

Some natural moduli problems give rise to stacks with infinite stabilizers. I will report on recent work with Dan Edidin where we give a canonical sequence of saturated blow-ups that makes the stabilizers finite. This generalizes earlier work in GIT by Kirwan and Reichstein, and on toric stacks by Edidin-More. Time permitting, I will also mention a recent application to generalized Donaldson-Thomas invariants by Kiem-Li-Savvas.

We construct a space of vector fields that are normal to differentiable curves in the plane. Its basis functions are defined via saddle point variational problems in reproducing kernel Hilbert spaces (RKHSs). First, we study the properties of these basis vector fields and show how to approximate them. Then, we employ this basis to discretise shape Newton methods and investigate the impact of this discretisation on convergence rates.

We prove that the dimension of every poset whose comparability graph has maximum degree $\Delta$ is at most $\Delta\log^{1+o(1)} \Delta$. This result improves on a 30-year old bound of F\"uredi and Kahn, and is within a $\log^{o(1)}\Delta$ factor of optimal. We prove this result via the notion of boxicity. The boxicity of a graph $G$ is the minimum integer $d$ such that $G$ is the intersection graph of $d$-dimensional axis-aligned boxes. We prove that every graph with maximum degree $\Delta$ has boxicity at most $\Delta\log^{1+o(1)} \Delta$, which is also within a $\log^{o(1)}\Delta$ factor of optimal. We also show that the maximum boxicity of graphs with Euler genus $g$ is $\Theta(\sqrt{g \log g})$, which solves an open problem of Esperet and Joret and is tight up to a $O(1)$ factor. This is joint work with Alex Scott (arXiv:1804.03271).

Structure from Motion (SfM) is a problem which asks: given photos of an object from different angles, can we reconstruct the object in 3D? This problem is important in computer vision, with applications including urban planning and autonomous navigation. A key part of SfM is bundle adjustment, where initial estimates of 3D points and camera locations are refined to match the images. This results in a high-dimensional nonlinear least-squares problem, which is typically solved using the Gauss-Newton method. In this talk, I will discuss how dimensionality reduction methods such as block coordinates and randomised sketching can be used to improve the scalability of Gauss-Newton for bundle adjustment problems.

Over the past decade, the randomized singular value decomposition (RSVD)
algorithm has proven to be an efficient, reliable alternative to classical
algorithms for computing low-rank approximations in a number of applications.
However, in cases where no information is available on the singular value
decay of the data matrix or the data matrix is known to be close to full-rank,
the RSVD is ineffective. In recent years, there has been great interest in
randomized algorithms for computing full factorizations that excel in this
regime.  In this talk, we will give a brief overview of some key ideas in
randomized numerical linear algebra and introduce a new randomized algorithm for
computing a full, rank-revealing URV factorization.

I will present a procedure for perturbatively constructing the field content of gravitational theories from a convolutive product of two Yang-Mills theories. A dictionary "gravity=YM * YM" is developed, reproducing the symmetries and dynamics of the gravity theory from those of the YM theories. I will explain the unexpected, yet crucial role played by the BRST ghosts of the YM system in the construction of gravitational fields. The dictionary is expected to develop into a solution-generating technique for gravity.
 

Wikipedia has more than 40 million articles in 280 languages. It represents a decent coverage of human knowledge.
Even with its biases it can tell us a lot about what's important for people. London has an article in 238 languages and
Swansea has in 73 languages. Is London more "culturally" important than Swansea? Probably. 
We use this information and look at various factors that could help us model "cultural" importance of a city and hence
try to find the driving force behind sister city relationships.
We also look at creating cultural maps of different cities, finding the artsy/hipster, academic, political neighbourhoods of a city.

Hilbert's 19th problem asks if minimizers of "natural" variational integrals are smooth. For the past century, this problem inspired fundamental regularity results for elliptic and parabolic PDES. It also led to the construction of several beautiful counterexamples to regularity. The dichotomy of regularity vs. singularity is related to that of single PDE (the scalar case) vs. system of PDEs (the vectorial case), and low dimension vs. high dimension. I will discuss some interesting recent counterexamples to regularity in low-dimensional vectorial cases, and outstanding open problems. Parts of this are joint works with A. Figalli and O. Savin.

Stochastic analysis on a Riemannian manifold is a well developed area of research in probability theory.

We will discuss some recent developments on stochastic analysis on a manifold whose Riemannian metric evolves with time, a typical case of which is the Ricci flow. Familiar results such as stochastic parallel transport, integration by parts formula, martingale representation theorem, and functional inequalities have interesting extensions from

time independent metrics to time dependent ones. In particular, we will discuss an extension of Beckner’s inequality on the path space over a Riemannian manifold with time-dependent metrics. The classical version of this inequality includes the Poincare inequality and the logarithmic Sobolev inequality as special cases.

I will prove that the knot Floer homology group
HFK-hat(K, g-1) for a genus g fibered knot K is isomorphic to a
variant of the fixed points Floer homology of an area-preserving
representative of its monodromy. This is a joint work with Gilberto
Spano.
 

A C^infinity scheme is a version of a scheme that uses a maximal spectrum. The category of C^infinity schemes contains the category of Manifolds as a full subcategory, as well as being closed under fibre products. In other words, this category is equipped to handle intersection singularities of smooth spaces.

While originally defined in the set up of Synthetic Differential Geometry, C^infinity schemes have more recently been used to describe derived manifolds, for example, the d-manifolds of Joyce. There are applications of this in Symplectic Geometry, such as the describing the moduli space of J-holomorphic forms.

In this talk, I will describe the category of C^infinity schemes, and how this idea can be extended to manifolds with corners. If time, I will mention the applications of this in derived geometry.

The signature of a parametric curve is a sequence of tensors whose entries are iterated integrals, and they are central to the theory of rough paths in stochastic analysis.  For some special families of curves, such as polynomial paths and piecewise-linear paths, their parametrized signature tensors trace out algebraic varieties in the space of all tensors. We introduce these varieties and examine their fundamental properties, while highlighting their intimate connection to the problem of recovering a path from its signature. This is joint work with Peter Friz and Bernd Sturmfels. 

I will overview my research for a general math audience.

 First I will present the biological questions and motivate why systems biology needs computational algebraic biology and topological data analysis. Then I will present the mathematical methods I've developed to study these biological systems. Throughout I will provide examples.

Jan Sbierski

Title: On the unique evolution of solutions to wave equations

Abstract: An important aspect of any physical theory is the ability to predict the future of a system in terms of an initial configuration. This talk focuses on wave equations, which underlie many physical theories. We first present an example of a quasilinear wave equation for which unique predictability in fact fails and then turn to conditions which guarantee predictability. The talk is based on joint work with Felicity Eperon and Harvey Reall.

Andrew Krause

Title: Surprising Dynamics due to Spatial Heterogeneity in Reaction-Diffusion Systems

Abstract: Since Turing's original work, Reaction-Diffusion systems have been used to understand patterning processes during the development of a variety of organisms, as well as emergent patterns in other situations (e.g. chemical oscillators). Motivated by understanding hair follicle formation in the developing mouse, we explore the use of spatial heterogeneity as a form of developmental tuning of a Turing pattern to match experimental observations of size and wavelength modulation in embryonic hair placodes. While spatial heterogeneity was nascent in Turing's original work, much work remains to understand its effects in Reaction-Diffusion processes. We demonstrate novel effects due to heterogeneity in two-component Reaction-Diffusion systems and explore how this affects typical spatial and temporal patterning. We find a novel instability which gives rise to periodic creation, translation, and destruction of spikes in several classical reaction-diffusion systems and demonstrate that this periodic spatiotemporal behaviour appears robustly away from Hopf regimes or other oscillatory instabilities. We provide some evidence for the universal nature of this phenomenon and use it as an exemplar of the mostly unexplored territory of explicit heterogeneity in pattern formation.
 

Classical work of Jeffery from 1922 established how at low Reynolds number, ellipsoids in steady shear flow undergo periodic motion with non-uniform rotation rate, termed 'Jeffery orbits'.  I will present two problems where Jeffery orbits play a critical role in understanding the transport and aggregation of rod-shaped organisms.  I will discuss the trapping of motile chemotactic bacteria in high shear, and the sedimentation rate of negatively buoyant plankton. 

In this talk I will present a unified approach for the effect of fast rotation and dispersion as an averaging mechanism for, on the one hand, regularizing and stabilizing certain evolution equations, such as the Navier-Stokes and Burgers equations. On the other hand, I will  also present some results in which large dispersion acts as a destabilizing mechanism for the long-time dynamics of certain dissipative evolution equations, such as the Kuramoto-Sivashinsky equation. In addition, I will present some new results concerning two- and three-dimensional turbulent flows with high Reynolds numbers in periodic domains, which exhibit ``Landau-damping" mechanism due to large spatial average in the initial data.

Single parameter persistent homology has proven to be a useful data analytic tool and single parameter persistence modules enjoy a concise description as a barcode, a complete invariant. [Bubenik, 2012] derived a topological summary closely related to the barcode called the persistence landscape which is amenable to statistical analysis and machine learning techniques.

The theory of multidimensional persistence modules is presented in [Carlsson and Zomorodian, 2009] and unlike the single parameter case where one may associate a barcode to a module, there is not an analogous complete discrete invariant in the multiparameter setting. We propose an incomplete invariant derived from the rank invariant associated to a multiparameter persistence module, which generalises the single parameter persistence landscape in [Bubenik, 2012] and satisfies similar stability properties with respect to the interleaving distance. Our invariant naturally lies in a Banach Space and so is naturally endowed with a distance function, it is also well suited to statistical analysis since there is a uniquely defined mean associated to multiple landscapes. We shall present computational examples in the 2-parameter case using the RIVET software presented in [Lesnick and Wright, 2015].

Let $f_1,\dots,f_k$ be real polynomials with no constant term and degree at most $d$. We will talk about work in progress showing that there are integers $n$ such that the fractional part of each of the $f_i(n)$ is very small, with the quantitative bound being essentially optimal in the $k$-aspect. This is based on the interplay between Fourier analysis, Diophantine approximation and the geometry of numbers. In particular, the key idea is to find strong additive structure in Fourier coefficients.

In this talk we present a framework for discretely compounding
interest rates which is based on the forward price process approach.
This approach has a number of advantages, in particular in the current
market environment. Compared to the classical Libor market models, it
allows in a natural way for negative interest rates and has superb
calibration properties even in the presence of persistently low rates.
Moreover, the measure changes along the tenor structure are simplified
significantly. This property makes it an excellent base for a
post-crisis multiple curve setup. Two variants for multiple curve
constructions will be discussed.

As driving processes we use time-inhomogeneous Lévy processes, which
lead to explicit valuation formulas for various interest rate products
using well-known Fourier transform techniques. Based on these formulas
we present calibration results for the two model variants using market
data for caps with Bachelier implied volatilities.