Past

Ousman Kodio

Lubricated wrinkles: imposed constraints affect the dynamics of wrinkle coarsening

We investigate the problem of an elastic beam above a thin viscous layer. The beam is subjected to
a fixed end-to-end displacement, which will ultimately cause it to adopt the Euler-buckled
state. However, additional liquid must be drawn in to allow this buckling. In the interim, the beam
forms a wrinkled state with wrinkles coarsening over time. This problem has been studied
experimentally by Vandeparre \textit{et al.~Soft Matter} (2010), who provides a scaling argument
suggesting that the wavelength, $\lambda$, of the wrinkles grows according to $\lambda\sim t^{1/6}$.
However, a more detailed theoretical analysis shows that, in fact, $\lambda\sim(t/\log t)^{1/6}$.
We present numerical results to confirm this and show that this result provides a better account of
previous experiments.

Edward Rolls

Multiscale modelling of polymer dynamics: applications to DNA

We are interested in generalising existing polymer dynamics models which are applicable to DNA into multiscale models. We do this by simulating localized regions of a polymer chain with high spatial and temporal resolution, while using a coarser modelling approach to describe the rest of the polymer chain in order to increase computational speeds. The simulation maintains key macroscale properties for the entire polymer. We study the Rouse model, which describes a polymer chain of beads connected by springs by developing a numerical scheme which considers the a filament with varying spring constants as well as different timesteps to advance the positions of different beads, in order to extend the Rouse model to a multiscale model. This is applied directly to a binding model of a protein to a DNA filament. We will also discuss other polymer models and how it might be possible to introduce multiscale modelling to them.

The equidistribution theorem for rational points on expanding horospheres with fixed denominator in the space of d-dimensional Euclidean lattices has been derived in the work by M. Einsiedler, S. Mozes, N. Shah and U. Shapira. The proof of their theorem requires ergodic theoretic tools, including Ratner's measure classification theorem. In this talk I will present an alternative approach, based on harmonic analysis and Weil's bound for Kloosterman sums. In the case of d=3, unlike the ergodic-theoretic approach, this provides an explicit estimate on the rate of convergence. This is a joint work with Jens Marklof. 

Backward SDEs have proven to be a useful tool in mathematical finance. Their applications include the solution to various pricing and equilibrium problems in complete and incomplete markets, the estimation of value adjustments in the presence of funding costs, and the solution to many utility/risk optimisation type of problems.
In this work, we prove an explicit error expansion for the approximation of BSDEs. We focus our work on studying the cubature  method of solution. To profit fully from these expansions in this case, e.g. to design high order approximation methods, we need in addition to control the complexity growth of the base algorithm. In our work, this is achieved by using a sparse grid representation. We present several numerical results that confirm the efficiency of our new method. Based on joint work with J.F. Chassagneux.
 

The smooth representation theory of a p-adic reductive group G

with characteristic zero coefficients is very closely connected to the

module theory of its (pro-p) Iwahori-Hecke algebra H(G). In the modular

case, where the coefficients have characteristic p, this connection

breaks down to a large extent. I will first explain how this connection

can be reinstated by passing to a derived setting. It involves a certain

differential graded algebra whose zeroth cohomology is H(G). Then I will

report on a joint project with

R. Ollivier in which we analyze the higher cohomology groups of this dg

algebra for the group G = SL_2.

The smooth representation theory of a p-adic reductive group G with characteristic zero coefficients is very closely connected to the module theory of its (pro-p) Iwahori-Hecke algebra H(G). In the modular case, where the coefficients have characteristic p, this connection breaks down to a large extent. I will first explain how this connection can be reinstated by passing to a derived setting. It involves a certain differential graded algebra whose zeroth cohomology is H(G). Then I will report on a joint project with R. Ollivier in which we analyze the higher cohomology groups of this dg algebra for the group G = SL_2.

Tbd

Gauss was the first to give a formula for the number of monic irreducible polynomials of degree n over a finite field. A natural problem is to determine the number of such polynomials for which certain coefficients are prescribed. While some asymptotic and existence results have been obtained, very few exact results are known. In this talk I shall present an algorithm which for any finite field GF(q) of characteristic p expresses the number of monic irreducibles of degree n for which the first l < p coefficients are prescribed, for n >= l and coprime to p, in terms of the number of GF(q^n)-rational points of certain affine varieties defined over GF(q). 
The GF(2) base field case is related to the distribution of binary Kloosterman sums, which have numerous applications in coding theory and cryptography, for example via the construction of bent functions. Using a variant of the algorithm, we present varieties (which are all curves) for l <= 7 and compute explicit formulae for l <= 5; before this work such formulae were only known for l <= 3. While this connection motivates the problem, the talk shall focus mainly on computational algebraic geometry, with the algorithm, theoretical questions and computational challenges taking centre stage.

Two polyhedra are said to be scissors congruent if they can be subdivided into the same finite number of polyhedra such that each piece in the first polyhedron is congruent to one in the second. In 1900, Hilbert asked if there exist tetrahedra of the same volume which are not scissors congruent. I will give a history of this problem and its proofs, including an incorrect 'proof' by Bricard from 1896 which was only rectified in 2007.

I will report on the results of my recent work with Dmitri Yafaev (Univeristy of Rennes-1). We consider functions $\omega$ on the unit circle with a finite number of logarithmic singularities. We study the approximation of $\omega$ by rational functions in the BMO norm. We find explicitly the leading term of the asymptotics of the distance in the BMO norm between $\omega$ and the set of rational functions of degree $n$ as $n$ goes to infinity. Our approach relies on the Adamyan-Arov-Krein theorem and on the study of the asymptotic behaviour of singular values of Hankel operators.
 

Ever since moduli spaces of polarised K3 surfaces were constructed in the 1980's, people have wondered about the question of compactification: can one make the moduli space of K3 surfaces compact by adding in some boundary components in a "nice" way? Ideally, one hopes to find a compactification that is both explicit and geometric (in the sense that the boundary components provide moduli for degenerate K3's). I will present on joint work in progress with V. Alexeev, which aims to solve the compactification problem for the moduli space of K3 surfaces of degree 2.

The Turán number of an $r$-graph $G$, denoted by $ex(n,G)$, is the maximum number of edges in an $G$-free $r$-graph on $n$ vertices. The Turán density  of an $r$-graph $G$, denoted by $\pi(G)$, is the limit as $n$ tends to infinity of the maximum edge density of an $G$-free $r$-graph on $n$ vertices.

During this talk I will discuss a method, which we call  local stability method, that allows one to obtain exact Turán numbers from Turán density results. This method can be thought of as an extension of the classical stability method by  generically utilising the Lagrangian function. Using it, we obtained new hypergraph Turán numbers. In particular, we did so for a hypergraph called generalized triangle, for uniformities 5 and 6, which solved a conjecture of Frankl and Füredi from 1980's.

This is joint work with Sergey Norin.

Nested commutators of differential operators appear frequently in the numerical solution of equations of quantum mechanics. These are expensive to compute with and a significant effort is typically made to avoid such commutators. In the case of Magnus-Lanczos methods, which remain the standard approach for solving Schrödinger equations featuring time-varying potentials, however, it is not possible to avoid the nested commutators appearing in the Magnus expansion.

We show that, when working directly with the undiscretised differential operators, these commutators can be simplified and are fairly benign, cost-wise. The caveat is that this direct approach compromises structure -- we end up with differential operators that are no longer skew-Hermitian under discretisation. This leads to loss of unitarity as well as resulting in numerical instability when moderate to large time steps are involved. Instead, we resort to working with symmetrised differential operators whose discretisation naturally results in preservation of structure, conservation of unitarity and stability
 

What are the irreducible constituents of a smooth representation of a p-adic group that is constructed through parabolic induction? In the case of GL_n this is the study of the multiplicative behaviour of irreducible representations in the Bernstein-Zelevinski ring. Strikingly, the same decomposition problem can be reformulated through various Lie-theoretic settings of type A, such as canonical bases in quantum groups, representations of affine Hecke algebras, quantum affine Lie algebras, or more recently, KLR algebras. While partially touching on some of these phenomena, I will present new results on the problem using mostly classical tools. In particular, we will see how introducing a width invariant to an irreducible representation can circumvent the complexity involved in computations of Kazhdan-Lusztig polynomials.

In this talk I will present a class of super-Wilson loops in N=4 super Yang-Mills theory. The expectation value of these operators has been shown previously to be invariant under a Yangian symmetry. I will show how the kinematics of such super-Wilson loops can be described in a twistorial way and how this leads to compact, manifestly super-conformal invariant expressions for some two-point functions.
 

In this talk I will present a recent result on the characterisation of the equilibrium measure for a nonlocal and non-radial energy arising as the Gamma-limit of discrete interacting dislocations.

A cornerstone of the study of mapping class groups is the
Nielsen--Thurston classification theorem. I will outline a
polynomial-time algorithm that determines the Nielsen--Thurston type and
the canonical curve system of a mapping class. Time permitting, I shall
describe a polynomial-time algorithm to compute the quotient orbifold of
a periodic mapping class, and I shall discuss the conjugacy problem for
the mapping class group. This is joint work with Mark Bell.

A system of interacting particles described by stochastic differential equations is considered. As opposed to the usual model, where the noise perturbations acting on different particles are independent, here the particles are subject to the same space-dependent noise, similar to the (no interacting) particles of the theory of diffusion of passive scalars. We prove a result of propagation of chaos and show that the limit PDE is stochastic and of in viscid type, as opposed to the case when independent noises drive the different particles. Moreover, we use this result to derive a mean field approximation of the stochastic Euler equations for the vorticity of an incompressible fluid.

Ambitious mathematical models of highly complex natural phenomena are challenging to analyse, and more and more computationally expensive to evaluate. This is a particularly acute problem for many tasks of interest and numerical methods will tend to be slow, due to the complexity of the models, and potentially lead to sub-optimal solutions with high levels of uncertainty which needs to be accounted for and subsequently propagated in the statistical reasoning process. This talk will introduce our contributions to an emerging area of research defining a nexus of applied mathematics, statistical science and computer science, called "probabilistic numerics". The aim is to consider numerical problems from a statistical viewpoint, and as such provide numerical methods for which numerical error can be quantified and controlled in a probabilistic manner. This philosophy will be illustrated on problems ranging from predictive policing via crime modelling to computer vision, where probabilistic numerical methods provide a rich and essential quantification of the uncertainty associated with such models and their computation. 

We will discuss two recent short-time existence results for (1) mean curvature of surface clusters, where n-dimensional surfaces in R^{n+k}, are allowed to meet at equal angles along smooth edges, and (2) for planar networks, where curves are initially allowed to meet in multiple junctions that resolve immediately into triple junctions with equal angles. The first result, which is joint work with B. White, follows from an elliptic regularisation scheme, together with a local regularity result for flows with triple junctions, which are close to a static flow of the half-planes. The second result, which is joint work with T. Ilmanen and A.Neves, relies on a monotonicity formula for expanding solutions and a local regularity result for the network flow. 
 

In this talk I will discuss some features of interacting conformal higher spin theories in 2+1 dimensions. This is done in the context of Chern-Simons theory (giving e.g. the complete spin 2 covariant  spin 3 sector) and a higher spin coupled unfolded equation for the scalar singleton. One motivation for studying these theories is that their non-linear properties are rather poorly understood contrary to the situation for the Vasiliev type theory in this dimension which is under much better control. Another reason for the interest in these theories comes from AdS4/CFT3 and the possibility that Neumann/mixed bc for bulk higher spin fields may lead to conformal higher spin fields governed by Chern-Simons terms on the boundary. These theories generalise the spin 2 gauged BLG-ABJ(M)  theories found a few years ago to higher spins than 2.

Following the spirit of Grothendieck’s Esquisse d’un Programme, the Ihara/Oda-Matsumoto conjecture predicted a combinatorial description of the absolute Galois group of Q based on its action on geometric fundamental groups of varieties. This conjecture was resolved in the 90’s by Pop using anabelian techniques. In this talk, I will discuss some satronger variants of this conjecture, focusing on the more recent solutions of its pro-ell and mod-ell two-step nilpotent variants.