Past

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.

I will explain how to find an explicit embedding of the Kummer variety of a higher genus curve into projective space and discuss applications of such an embedding to the study of rational points on Jacobians of curves, as well as the original curves.

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

" Over the last four centuries a huge amount of mathematics has been published.  Most of it has, however, had little or no influence.  By way of contrast, some mathematics, although unpublished in its time, has had great influence.  My hope is to illustrate this with discussion of manuscript sources and resources that have survived from Thomas Harriot (c.1560--1621), Isaac Newton (1642--1727) and Évariste Galois (1811--1832)."

We give a new characterization of the property that the elliptic measure
belongs to the infinity weight Muckenhoupt class
in terms of a Carleson measure property of bounded solutions.
This is joint work with C.Kenig, J.Pipher and T.Toro

 An "open de Rham space" refers to a moduli space of meromorphic connections on the projective line with underlying trivial bundle.  In the case where the connections have simple poles, it is well-known that these spaces exhibit hyperkähler metrics and can be realized as quiver varieties.  This story can in fact be extended to the case of higher order poles, at least in the "untwisted" case.  The "twisted" spaces, introduced by Bremer and Sage, refer to those which have normal forms diagonalizable only after passing to a ramified cover.  These spaces often arise as quotients by unipotent groups and in some low-dimensional examples one finds some well-known hyperkähler manifolds, such as the moduli of magnetic monopoles.  This is a report on ongoing work with Tamás Hausel and Dimitri Wyss.

The black hole information paradox comes about because of the classical no-hair theorems for black holes. I will discuss soft black hole hair in electrodynamics and in gravitation. Then some speculations on its relevance to the in formation paradox are presented.

Some models for climate change, the good the bad and the ugly

Modelling climate presents huge challenges for mathematicians and scientists, and has a large effect on policy makers.  Climate models themselves vary from simple to complex with a huge range in between.  But how good and/or reliable are they?

In this talk I will describe some of the various mathematical models of climate that are both used to understand past climate and also to predict future climate.  I will also try to show that an understanding of non-smooth effects in dynamical systems can give us useful insights into the behaviour and analysis of these models.

This is an introduction to the article 

A. Beilinson, p-adic periods and derived de Rham cohomology, J. Amer. Math. Soc. 25 (2012), no. 3, 715--738.

The talk will be based on some of the material in the joint survey with Etienne Ghys

"Signatures in algebra, topology and dynamics"

http://arxiv.org/abs/1512.092582

In the 19th century Sturm's theorem on the number of roots of a real polynomial motivated Sylvester to define the signature of a quadratic form. In the 20th century the classification of quadratic forms over algebraic number fields motivated Witt to introduce the "Witt groups" of stable isomorphism classes of quadratic forms over arbitrary fields. Still in the 20th century the study of high-dimensional topological manifolds with nontrivial fundamental group motivated Wall to introduce the "Wall groups" of stable isomorphism classes of quadratic forms over arbitrary rings with involution. In our survey we interpreted Sturm's theorem in terms of the Witt-Wall groups of function fields. The talk will emphasize the common thread running through this developments, namely the notion of the localization of a ring inverting elements. More recently, the Cohn localization of inverting matrices over a noncommutative ring has been applied to topology in the 21st century, in the context of the speaker's algebraic theory of surgery.

We provide a representation result of parabolic semi-linear PDEs, with polynomial nonlinearity, by branching diffusion processes. We extend the classical representation for KPP equations, introduced by Skorokhod (1964), Watanabe (1965) and McKean (1975), by allowing for polynomial nonlinearity in the pair (u,Du), where u is the solution of the PDE with space gradient Du. Similar to the previous literature, our result requires a non-explosion condition which restrict to "small maturity" or "small nonlinearity" of the PDE. Our main ingredient is the automatic differentiation technique as in Henry Labordere, Tan and Touzi (2015), based on the Malliavin integration by parts, which allows to account for the nonlinearities in the gradient. As a consequence, the particles of our branching diffusion are marked by the nature of the nonlinearity. This new representation has very important numerical implications as it is suitable for Monte Carlo simulation.

Life is different because it is inherited. All life comes from a blueprint (genes) that can only make proteins. Proteins are studied by more than one hundred thousand scientists and physicians every day because they are so important in health and disease. The function of proteins is on the macroscopic scale, but atomic details control that function, as is shown in a multitude of experiments. The structure of proteins is so important that governments spend billions studying them. Structures are known in exquisite detail determined by crystallographic measurement of more than 10⁵ different proteins. But the forces that govern the movement and function of proteins are not visible in the structure. Mathematics is needed to compute both function and forces so comparison with experiment can be made. Experiments report numbers, typically sets of numbers in the form of graphs. Verbal models, however beautifully written in the biological tradition, do not provide numerical outputs, and so it is difficult to tell which verbal model better fits data.

The mathematics of molecular biology must be multiscale because atomic details control macroscopic function. The device approach of the engineering and English physiological tradition provides the dimensional reduction needed to solve the multiscale problem. Mathematical analysis of hundreds of experiments (reported in some fifty papers) has been successful in showing how some properties of an important class of proteins—ion channels— work. Ion channels are natural nanovalves as important to animals as Field Effect Transistors (FETs) are to computers. I will present the Fermi Poisson approach started by Jinn Liang Liu. The Fermi distribution is used to describe the saturation of space produced by crowded spherical ions. The Poisson equation (and continuity of current) is used to describe long range electrodynamics. Short range correlations are approximated by the Santangelo equation. A fully consistent mathematical description reproduces macroscopic properties of bulk solutions of sodium and calcium chloride solutions. It also describes several different channels (with quite different atomic detailed structures) quite well in a wide range of conditions using a handful of parameters never changed. It is not clear why the model works as well it does, nor is it clear how well the model will work on other channels, transporters or proteins.