Past

Science is giving us unprecedented insight into the big questions that have challenged humanity. Where did we come from? What is the ultimate destiny of the universe? What are the building blocks of the physical world? What is consciousness?

‘What We Cannot Know’ asks us to rein in this unbridled enthusiasm for the power of science. Are there limits to what we can discover about our physical universe? Are some regions of the future beyond the predictive powers of science and mathematics? Are there ideas so complex that they are beyond the conception of our finite human brains? Can brains even investigate themselves or does the analysis enter an infinite loop from which it is impossible to rescue itself? 

To coincide with the launch of his new book of the same title, Marcus du Sautoy will be answering (or not answering) those questions. He will also be signing copies of the book before and after the lecture.

To book please email @email

This seminar is run jointly with OMI.

Throughout the Western world, defined benefit pension plans are disappearing, replaced by defined contribution (DC) plans. Retail investors are thus faced with managing investments over a thirty year accumulation period followed by a twenty year decumulation phase. Holders of DC plans are thus truly long term investors. We consider dynamic mean variance asset allocation strategies for long term investors. We derive the "embedding result" which converts the mean variance objective into a form suitable for dynamic programming using an intuitive approach. We then discuss a semi-Lagrangian technique for numerical solution of the optimal control problem via a Hamilton-Jacob-Bellman PDE. Parameters for the inflation adjusted return of a stock index and a risk free bond are determined by examining 89 years of US data. Extensive synthetic market tests, and resampled backtests of historical data, indicate that the multi-period mean variance strategy achieves approximately the same expected terminal wealth as a constant weight strategy, while reducing the probability of shortfall by a factor of two to three.

My main purpose in this talk is try and convey a sense of my enthusiasm for mathematical modelling generally and how I've come to use it in a range of transport applications. For concreteness, I am going to talk in particular about work I have been doing on EPSRC grant EP/K000438/1 (PI: Jillian Anable, Aberdeen) where we are using the UK government's Department for Transport MOT data to estimate mileage totals and study how they are broken down across the population in various different ways. Embedded inside this practical problem is a whole set of miniature mathematical puzzles and challenges which are quite particular to the problem area itself, and one wider question which is rather deeper and more general: whether it is possible (and how) to convert usage data that is low-resolution in time but high-resolution in individuals to knowledge that is high-resolution in time but only expressed at a population level.

In many applications we need to find or estimate the $p \ge 1$ largest elements of a matrix, along with their locations. This is required for recommender systems used by Amazon and Netflix, link prediction in graphs, and in finding the most important links in a complex network, for example. 

Our algorithm uses only matrix vector products and is based upon a power method for mixed subordinate norms. We have obtained theoretical results on the convergence of this algorithm via a comparison with rook pivoting for the LU  decomposition. We have also improved the practicality of the algorithm by producing a blocked version iterating on $n \times t$ matrices, as opposed to vectors, where $t$ is a tunable parameter. For $p > 1$ we show how deflation can be used to improve the convergence of the algorithm. 

Finally, numerical experiments on both randomly generated matrices and real-life datasets (the latter for $A^TA$ and $e^A$) show how our algorithms can reliably estimate the largest elements of a matrix whilst obtaining considerable speedups when compared to forming the matrix explicitly: over 1000x in some cases.

Quasimorphisms (QM) of groups to the reals are well studied and are linked to stable commutator length (scl) via Bavard Duality- Theorem. The notion of QM can be generalized to yield maps  between groups such that each QM from one group pulls back to a QM in the other.

We will give both a short overview of features of scl and investigate these generalized QMs with large scale properties of the commutator group. 

One of the peculiar features of quantum mechanics is
entanglement. It is known that entanglement is monogamous in the sense
that a quantum system can only be strongly entangled to one other
system. In this talk, I will show how this so-called monogamy of
entanglement can be captured and quantified by a "game". We show that,
in this particular game, the monogamy completely "cancels out" the
advantage of entanglement.
As an application of our analysis, we show that - in theory - the
standard BB84 quantum-key-distribution scheme is one-sided
device-independent, meaning that one of the parties, say Bob, does not
need to trust his quantum measurement device: security is guaranteed
even if his device is completely malicious.
The talk will be fully self-contained; no prior knowledge on quantum
mechanics/cryptography is necessary.

In 1924, James W. Alexander constructed a 2-sphere in R3 that is not ambiently homeomorphic to the standard 2-sphere, which demonstrated the failure of the Schoenflies theorem in higher dimensions. I will describe the construction of the Alexander horned sphere and the Antoine necklace and describe some of their properties.

Ever since the compilers of Euclid's Elements gave the "definitions" that "a point is that which has no part" and "a line is breadthless length", philosophers and mathematicians have worried that the basic concepts of geometry are too abstract and too idealized.  In the 20th century writers such as Husserl, Lesniewski, Whitehead, Tarski, Blumenthal, and von Neumann have proposed "pointless" approaches.  A problem more recent authors have emphasized it that there are difficulties in having a rich theory of a part-whole relationship without atoms and providing both size and geometric dimension as part of the theory.  A possible solution is proposed using the Boolean algebra of measurable sets modulo null sets along with relations derived from the group of rigid motions in Euclidean n-space. 

Low-rank compression of matrices and tensors is a huge and growing business.  Closely related is low-rank compression of multivariate functions, a technique used in Chebfun2 and Chebfun3.  Not all functions can be compressed, so the question becomes, which ones?  Here we focus on two kinds of functions for which compression is effective: those with some alignment with the coordinate axes, and those dominated by small regions of localized complexity.

For any given graph H, we may define a natural corresponding functional ||.||_H. We then say that H is norming if ||.||_H is a semi-norm. A similar notion ||.||_{r(H)} is defined by || f ||_{r(H)}:=|| | f | ||_H and H is said to be weakly norming if ||.||_{r(H)} is a norm. Classical results show that weakly norming graphs are necessarily bipartite. In the other direction, Hatami showed that even cycles, complete bipartite graphs, and hypercubes are all weakly norming. Using results from the theory of finite reflection groups, we demonstrate that any graph which is edge-transitive under the action of a certain natural family of automorphisms is weakly norming. This result includes all previous examples of weakly norming graphs and adds many more. We also include several applications of our results. In particular, we define and compare a number of generalisations of Gowers' octahedral norms and we prove some new instances of Sidorenko's conjecture. Joint work with David Conlon.

We establish necessary and sufficient conditions for linear convergence of operator splitting methods for a general class of convex optimization problems where the associated fixed-point operator is averaged. We also provide a tight bound on the achievable convergence rate. Most existing results establishing linear convergence in such methods require restrictive assumptions regarding strong convexity and smoothness of the constituent functions in the optimization problem. However, there are several examples in the literature showing that linear convergence is possible even when these properties do not hold. We provide a unifying analysis method for establishing linear convergence based on linear regularity and show that many existing results are special cases of our approach.

Black holes are one of the few available laboratories for testing theoretical ideas in fundamental physics. Since Hawking's result that they radiate a thermal spectrum, black holes have been regarded as thermodynamic objects with associated temperature, entropy, etc. While this is an extremely beautiful picture it has also lead to numerous puzzles. In this talk I will describe the two-loop correction to scalar correlation functions due to \phi^{^4} interactions and explain why this might have implications for our current view of semi-classical black holes.
 

Given an integer $d$ such that $2 \leq d \leq 50$, we want to
answer the question: When is the sum of
$d$ consecutive cubes a perfect power? In other words, we want to find all
integer solutions to the equation
$(x+1)^3 + (x+2)^3 + \cdots + (x+d)^3 = y^p$. In this talk, we present some
of the techniques used to tackle such diophantine problems.

We explore a specific system in which geometry and loading conspire to generate fine-scale wrinkling. This system -- a twisted ribbon held with small tension -- was examined experimentally by Chopin and Kudrolli 
[Phys Rev Lett 111, 174302, 2013].

There is a regime where the ribbon wrinkles near its center. A recent paper by Chopin, D\'{e}mery, and Davidovitch models this regime using a von-K\'{a}rm\'{a}n-like 
variational framework [J Elasticity 119, 137-189, 2015]. Our contribution is to give upper and lower bounds for the minimum energy as the thickness tends to zero. Since the bounds differ by a thickness-independent prefactor, we have determined how the minimum energy scales with thickness. Along the way we find estimates on Sobolev norms of the minimizers, which provide some information on the character of the wrinkling. This is a joint work with  Robert V. Kohn in Courant Institute, NYU.

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

I'm currently working on a biography of Charles Hutton (1737–1823): pit lad, FRS, and professor of Mathematics. No-one much has heard of him today, but to his contemporaries he was "one of the greatest mathematicians in Europe". I'll give an outline of his remarkable story and say something about why he's worth my time.

In this talk we will give an overview of the recent research on global quantizations on spaces of different types: compact and nilpotent Lie groups, general locally compact groups, compact manifolds with boundary.

Motivated by work of Borel and Serre on arithmetic groups, Bestvina and Feighn defined a bordification of Outer space; this is an enlargement of Outer space which is highly-connected at infinity and on which the action of $Out(F_n)$ extends, with compact quotient. They conclude that $Out(F_n)$ satisfies a type of duality between homology and cohomology.  We show that Bestvina and Feighn’s  bordification can be realized as a deformation retract of Outer space instead of an extension, answering some questions left open by Bestvina and Feighn and considerably simplifying their proof that the bordification is highly connected at infinity.

We give a noncommutative analogue of Castelnuovo's classic theorem that (-1) lines on a smooth surface can be contracted, and show how this may be used to construct an explicit birational map between a noncommutative P^2 and a noncommutative quadric surface. This has applications to the classification of noncommutative projective surfaces, one of the major open problems in noncommutative algebraic geometry. We will not assume a background in noncommutative ring theory.  The talk is based on joint work with Rogalski and Staffor

The talk will focus on continuous time random walk with unbounded i.i.d. random conductances on the grid $\mathbb{Z}^d$  In the first place, in a joint work with Kumagai and Mathieu, we obtain Gaussian heat kernel bounds and also local CLT for bounded from above and not bounded from below conductances. The proof is given at first in a general framework, then it is specified in the case of plynomial lower tail conductances. It is essentially based on percolation and spectral analysis arguments, and Harnack inequalities. Then we will discuss the same questions for the same model with i.i.d. random conductances, bounded from below and with finite expectation.

Recently, there has been some progress in examining mirror symmetry beyond Calabi-Yau threefolds. I will discuss how this is related to flux vacua of type II supergravity on eight-dimensional manifolds equipped with SU(4)-structure. It will be shown that the natural framework to describe such vacua is generalized complex geometry. Two classes of type IIB solutions will be given, one of which is complex, the other symplectic, and I will describe in what sense these are mirror to one another.  

From the finite Fourier transform to topological quantum field theory -- Bruce Bartlett

Abstract: In 1979, Auslander and Tolimieri wrote the influential "Is computing with the finite Fourier transform pure or applied mathematics?".  It was a homage to the indivisibility of our two subjects, by demonstrating the interwoven nature of the finite Fourier transform, Gauss sums, and the finite Heisenberg group.  My talk is intended as a new chapter in this story. I will explain how all these topics come together yet again in 3-dimensional topological quantum field theory, namely Chern-Simons theory with gauge group U(1).

Defects in liquid crystals: mathematical approaches -- Giacomo Canevari

Abstract: Liquid crystals are matter in an intermediate state between liquids and crystalline solids.  They are composed by molecules which can flow, but retain some form of ordering.  For instance, in the so-called nematic phase the molecules tend to align along some locally preferred directions.  However, the ordering is not perfect, and defects are commonly observed.

The mathematical theory of defects in liquid crystals combines tools from different fields, ranging from topology - which provides a convenient language to describe the main properties of defects -to calculus of variations and partial differential equations.  I will compare a few mathematical approaches to defects in nematic liquid crystals, and discuss how they relate to each other via asymptotic analysis.

In this talk, I will present two different aspects of the ice flow modelling, including a theoretical part and an applied part. In the theoretical part, I will derive some "mechanical error estimators'', i.e. estimators that can measure the mechanical error between the most accurate ice flow model (Glen-Stokes) and some approximations based on shallowness assumption. To do so, I will follow residual techniques used to obtain a posteriori estimators of the numerical error in finite element methods for non-linear elliptic problems. In the applied part, I will present some simulations of the ice flow generated by the Rhone Glacier, Switzerland, during the last glacial maximum (~ 22 000 years ago), analyse the trajectories taken by erratic boulders of different origins, and compare these results to geomorphological observations. In particular, I will show that erratic boulders, whose origin is known, constitute valuable data to infer information about paleo-climate, which is the most uncertain input of any paleo ice sheet model. 

A holy grail of nano-technology is to create truly complex, multi-component structures by self assembly.
 

Most self-assembly has focused on the creation of `structural complexity'. In my talk, I will discuss `Addressable Complexity': the creation of structures that contain hundreds or thousands of
distinct building blocks that all have to find their place in a 3D structure.

In the first part of the talk I will review Bob Fernholz' theory of functionally generated portfolios. In the second part I will discuss questions related to the existence of short-term arbitrage opportunities.
This is joint work with Bob Fernholz and Ioannis Karatzas

This is the first talk of the workshop organised by F. Brown, M. Kim and D. Rössler on Beilinson's approach to p-adic Hodge theory. 

In this talk, we shall give the definition and recall various properties of the cotangent complex, which was originally defined by L. Illusie in his monograph "Complexe cotangent et déformations" (Springer LNM 239, 1971).

Over the years, nonlinear and nonparametric models have attracted a great deal of attention. This is mainly due to the fact that most time series arising from the real-world exhibit nonlinear behavior, whereas nonparametric models, in principle, do not make strong prior assumptions about the true functional form of the underlying data generating process.

In this workshop, we will focus on the use of nonlinear and nonparametric modelling approaches for time series forecasting, and discuss the need and implications of accurate forecasts for informed policy and decision-making. Crucially, we will discuss some of the major challenges (and potential solutions) in probabilistic time series forecasting, with emphasis on: (1) Modelling in the presence of regime shifts, (2) Effect of model over-fitting on out-of-sample forecast accuracy, and, (3) Importance of using naïve benchmarks and different performance scores for model comparison. We will discuss the applications of different modelling approaches for: Macroeconomics (US GNP), Energy (electricity consumption recorded via smart meters), and Healthcare (remote detection of disease symptoms).

Given a collection F of holomorphic functions, we consider how to describe all the holomorphic functions locally definable from F. The notion of local definability of holomorphic functions was introduced by Wilkie, who gave a complete description of all functions locally definable from F in the neighbourhood of a generic point. We prove that this description is not complete anymore in the neighbourhood of non-generic points. More precisely, we produce three examples of holomorphic functions which each suggest that at least three new definable operations need to be added to Wilkie's description in order to capture local definability in its entirety. The construction illustrates the interaction between resolution of singularities and definability in the o-minimal setting. Joint work with O. Le Gal, G. Jones, J. Kirby.

Let X be a complex manifold with divisor D. I will describe a construction, which is due to Deligne, whereby given a choice of a branch of the logarithm one can canonically extend a holomorphic flat connection on the complement of the divisor X\D to a flat logarithmic connection on X.

In a recent work Andreata, Iovita, and Pilloni constructed the eigenvariety for cuspidal Siegel modular forms. This eigenvariety has the expected dimension (the genus of the Siegel forms) but it parametrizes only cuspidal forms. We explain how to generalize the construction to the non-cuspidal case. To be precise, we introduce the notion of "degree of cuspidality" and we construct an eigenvariety that parametrizes forms of a given degree of cuspidability. The dimension of these eigenvarieties depends on the degree of cuspidality we want to consider: the more non-cuspidal the forms, the smaller the dimension. This is a joint work with Riccardo Brasca.

In this talk, we will establish existence and uniqueness for a wide class of Markovian systems of backward stochastic differential equations (BSDE) with quadratic nonlinearities. This class is characterized by an abstract structural assumption on the generator, an a-priori local-boundedness property, and a locally-H\"older-continuous terminal condition. We present easily verifiable sufficient conditions for these assumptions and treat several applications, including stochastic equilibria in incomplete financial markets, stochastic differential games, and martingales on Riemannian manifolds. This is a joint work with Gordan Zitkovic.

Surface plasmons are collective electron-density oscillations at a metal-dielectric interface. In particular, highly localised surface-plasmon modes of nanometallic structures with narrow nonmetallic gaps, which enable a tuneable resonance frequency and a giant near-field enhancement, are at the heart of numerous nanophotonics applications. In this work, we elucidate the singular near-contact asymptotics of the plasmonic eigenvalue problem governing the resonant frequencies and modes of such structures. In the classical regime, valid for gap widths > 1nm, we find a generic scaling describing the redshift of the resonance frequency as the gap width is reduced, and in several prototypical dimer configurations derive explicit expressions for the plasmonic eigenvalues and eigenmodes using matched asymptotic expansions; we also derive expressions describing the resonant excitation of such modes by light based on a weak-dissipation limit. In the subnanometric ``nonlocal’’ regime, we show intuitively and by systematic analysis of the hydrodynamic Drude model that nonlocality manifests itself as a potential discontinuity, and in the near-contact limit equivalently as a widening of the gap. We thereby find the near-contact asymptotics as a renormalisation of the local asymptotics, and in particular a lower bound on plasmon frequency, scaling with the 1/4 power of the Fermi wavelength. Joint work with Vincenzo Giannini, Richard V. Craster and Stefan A. Maier. 

In his ICM address in 1983, Gromov proposed a program of classifying finitely generated groups up to quasi-isometry. One way of approaching this is by breaking a group down into simpler parts by means of a JSJ decomposition. I will give a survey of various JSJ theories and related quasi-isometric rigidity results, including recent work by Cashen and Martin.

Since the symmetric group is a finite group it’s representation theory is not too complex, however in this special case we can realise these representations in a particular nice combinatorial way using young tableaux and young symmetrizers. I will introduce these ideas and use them to describe the representation theory of Sn over the complex numbers.

In the theory of random graphs, the behaviour of the typical largest component was studied a lot. The initial results on G(n,m), the random graph on n vertices and m edges, are due to Erdős and Rényi. Recently, similar results for planar graphs were obtained by Kang and Łuczak.

In the first part of the talk, we will extend these results on the size of the largest component further to graphs embeddable on the orientable surface S_g of genus g>0 and see how the asymptotic number and properties of cubic graphs embeddable on S_g are used to obtain those results. Then we will go through the main steps necessary to obtain the asymptotic number of cubic graphs and point out the main differences to the corresponding results for planar graphs. In the end we will give a short outlook to graphs embeddable on surfaces with non-constant genus, especially which results generalise and which problems are still open.

Given a bipartite graph with m edges, how large is the set of sizes of its induced subgraphs? This question is a natural graph-theoretic generalisation of the 'multiplication table problem' of Erdős:  Erdős’s problem of estimating the number of distinct products a.b with a, b in [n] is precisely the problem under consideration when the graph in question is the complete bipartite graph K_{n,n}.

Based on joint work with J. Sahasrabudhe and I. Tomon.

We propose several optimal preconditioners for systems defined by some functions $g$ of Toeplitz matrices $T_n$. In this paper we are interested in solving $g(T_n)x=b$ by the preconditioned conjugate method or the preconditioned minimal residual method, namely in the cases when $g(T_n)$ are the analytic functions $e^{T_n}$, $\sin{T_n}$ and $\cos{T_n}$. Numerical results are given to show the effectiveness of the proposed preconditioners.

This talk will be a geophysicist's view on the emerging properties of a numerical model representing the Earth's climate and volcanic activity over the past million years.

The model contains a 2D ice sheet (Glen's Law solved with a semi-implicit scheme), an energy balance for the atmosphere and planet surface (explicit), and an ODE for the time evolution of CO2 (explicit).

The dependencies between these models generate behaviour similar to weakly coupled nonlinear oscillators.

We consider the motion of a thin liquid drop on a smooth substrate as the drop evaporates into an inert gas. Many experiments suggest that, at times close to the drop’s extinction, the drop radius scales as the square root of the time remaining until extinction. However, other experiments observe slightly different scaling laws. We use the method of matched asymptotic expansions to investigate whether this different behaviour is systematic or an artefact of experiment.