Past

In this talk, we will review the classical Bass-Serre theory of groups acting on trees and introduce its real version, Rips' theory. If time permits, I will briefly discuss some higher dimensional spaces that are currently being investigated, namely cubings and real cubings.

The plan: start with an introduction to several random matrix ensembles and discuss asymptotic properties of the eigenvalues of the matrices, the last one being the so-called "Normal Matrix Model", and the connection described in the title will be explained. If all goes well I will end with an explanation of asymptotic computations for a new normal matrix model example, which demonstrates a form of universality.

(NOTE CHANGE OF VENUE TO L2)

In this talk, two concepts are brought together: Algebras with triangular decomposition (as studied by Bazlov & Berenstein) and pointed Hopf algebra. The latter are Hopf algebras for which all simple comodules are one-dimensional (there has been recent progress on classifying all finite-dimensional examples of these by Andruskiewitsch & Schneider and others). Quantum groups share both of these features, and we can obtain possibly new classes of deformations as well as a characterization of them.

We propose a strategy which allows computing eigenvalue enclosures for the Maxwell operator by means of the finite element method. The origins of this strategy can be traced back to over 20 years ago. One of its main features lies in the fact that it can be implemented on any type of regular mesh (structured or otherwise) and any type of elements (nodal or otherwise). In the first part of the talk we formulate a general framework which is free from spectral pollution and allows estimation of eigenfunctions.

We then prove the convergence of the method, which implies precise convergence rates for nodal finite elements. Various numerical experiments on benchmark geometries, with and without symmetries, are reported.

We study the behavior of atomistic models under uniaxial tension and investigate the system for critical fracture loads. We rigorously prove that in the discrete-to- continuum limit the minimal energy satisfies a particular cleavage law with quadratic response to small boundary displacements followed by a sharp constant cut-off beyond some critical value. Moreover, we show that the minimal energy is attained by homogeneous elastic configurations in the subcritical case and that beyond critical loading cleavage along specific crystallographic hyperplanes is energetically favorable. We present examples of mass spring models with full nearest and next-to-nearest pair interactions and provide the limiting minimal energy and minimal configurations.

Hrushovski-Martin-Rideau have proved rationality of Poincare series counting 
numbers of equivalence classes of a definable equivalence relation on the p-adic field (in connection to a problem on counting representations of groups). For this they have proved 
uniform p-adic elimination of imaginaries. Their work implies that these Poincare series are 
motivic. I will talk about their work.

I will introduce and motivate the concept of largeness of a group. I will then show how tools from different areas of mathematics can be applied to show that all free-by-cyclic groups are large (and try to convince you that this is a good thing).

Kazhdan introduced property (T) for locally compact topological groups to show that certain lattices in semisimple Lie groups are finitely generated. This talk will give an introduction to property (T) along with some first consequences and examples. We will finish with a classic application of property (T) due to Margulis: the first known construction of expanders.

We consider the parameter $a(H)$, which is the smallest a such that if $|E(G)|$ is at least/exceeds $a|V(H)|/2$ then $G$ has an $H$-minor. We are especially interested in sparse $H$ and in bounding $a(H)$ as a function of $|E(H)|$ and $|V(H)|$. This is joint work with David Wood.

It is often difficult to include sufficient biological detail when modelling cell population growth to make models with real predictive power. Continuum models often fail to capture physical and chemical processes happening at the level of individual cells and discrete cell-based models are often very computationally expensive to solve. In the first part of this talk, I will describe a phenomenological continuum model of cell aggregate growth in a specific perfusion bioreactor cell culture system, and the results of numerical simulations of the model to determine the effects of the bioreactor operating conditions and cell seeding on the growth. In the second part of the talk, I will introduce a modelling approach used to derive continuum models for cell population growth from discrete cell-based models, and consider possible extensions to this framework.

This will be an informal discussion developing the details of the Amplituhedron for the loop integrand.

The 'pyjama stripe' is the subset of the plane consisting of a vertical

strip of width epsilon about every integer x-coordinate. The 'pyjama

problem' asks whether finitely many rotations of the pyjama stripe about

the origin can cover the plane.

I'll attempt to outline a solution to this problem. Although not a lot

of this is particularly representative of techniques frequently used in

additive combinatorics, I'll try to flag up whenever this happens -- in

particular ideas about 'limit objects'.

We consider a class of CR manifold which are defined as asymptotically

Heisenberg,

and for these we give a notion of mass. From the solvability of the

$\Box_b$ equation

in a certain functional class ([Hsiao-Yung]), we prove positivity of the

mass under the

condition that the Webster curvature is positive and that the manifold

is embeddable.

We apply this result to the Yamabe problem for compact CR manifolds,

assuming positivity

of the Webster class and non-negativity of the Paneitz operator. This is

joint work with

J.H.Cheng and P.Yang.

Abstract: Given a sequence of random variables X_n that converge toward a Gaussian distribution, by looking at the next terms in the asymptotic E[exp(zX_n)] = exp(z^2 / 2) (1+ ...), one can often state a principle of moderate deviations. This happens in particular for sums of dependent random variables, and in this setting, it becomes useful to develop techniques that allow to compute the precise asymptotics of exponential generating series. Thus, we shall present a method of cumulants, which gives new results for the deviations of certain observables in statistical mechanics:

- the number of triangles in a random Erdos-Renyi graph;

- and the magnetization of the one-dimensional Ising model.

Given a triangulated category A, equipped with a differential

Z/2-graded enhancement, and a triangulated oriented marked surface S, we

explain how to define a space X(S,A) which classifies systems of exact

triangles in A parametrized by the triangles of S. The space X(S,A) is

independent, up to essentially unique Morita equivalence, of the choice of

triangulation and is therefore acted upon by the mapping class group of the

surface. We can describe the space X(S,A) as a mapping space Map(F(S),A),

where F(S) is the universal differential Z/2-graded category of exact

triangles parametrized by S. It turns out that F(S) is a purely topological

variant of the Fukaya category of S. Our construction of F(S) can then be

regarded as implementing a 2-dimensional instance of Kontsevich's proposal

on localizing the Fukaya category along a singular Lagrangian spine. As we

will see, these results arise as applications of a general theory of cyclic

2-Segal spaces.

This talk is based on joint work with Mikhail Kapranov.

Market events such as order placement and order cancellation are examples of the complex and substantial flow of data that surrounds a modern financial engineer. New mathematical techniques, developed to describe the interactions of complex oscillatory systems (known as the theory of rough paths) provides new tools for analysing and describing these data streams and extracting the vital information. In this paper we illustrate how a very small number of coefficients obtained from the signature of financial data can be sufficient to classify this data for subtle underlying features and make useful predictions.

This paper presents financial examples in which we learn from data and then proceed to classify fresh streams. The classification is based on features of streams that are specified through the coordinates of the signature of the path. At a mathematical level the signature is a faithful transform of a multidimensional time series. (Ben Hambly and Terry Lyons \cite{uniqueSig}), Hao Ni and Terry Lyons \cite{NiLyons} introduced the possibility of its use to understand financial data and pointed to the potential this approach has for machine learning and prediction.

We evaluate and refine these theoretical suggestions against practical examples of interest and present a few motivating experiments which demonstrate information the signature can easily capture in a non-parametric way avoiding traditional statistical modelling of the data. In the first experiment we identify atypical market behaviour across standard 30-minute time buckets sampled from the WTI crude oil future market (NYMEX). The second and third experiments aim to characterise the market "impact" of and distinguish between parent orders generated by two different trade execution algorithms on the FTSE 100 Index futures market listed on NYSE Liffe.

We consider Fano threefolds on which SL(2,C) acts with a dense

open orbit. This is a finite list of threefolds whose classification

follows from the classical work of Mukai-Umemura and Nakano. Inside

these threefolds, there sits a Lagrangian space form given as an orbit

of SU(2). We prove this Lagrangian is non-displaceable by Hamiltonian

isotopies via computing its Floer cohomology over a field of non-zero

characteristic. The computation depends on certain counts of holomorphic

disks with boundary on the Lagrangian, which we explicitly identify.

This is joint work in progress with Jonny Evans.

 We take a look at diamond and use it to build interesting 
mathematical objects.

We construct a model for asset price in a limit order book, which captures on one hand main stylized facts of microstructure effects, and on the other hand is tractable for dealing with optimal high frequency trading by stochastic control methods. For this purpose, we introduce a model for describing the fluctuations of a tick-by-tick single asset price, based on Markov renewal process.

We consider a point process associated to the timestamps of the price jumps, and marks associated to price increments. By modeling the marks with a suitable Markov chain, we can reproduce the strong mean-reversion of price returns known as microstructure noise. Moreover, by using Markov renewal process, we can model the presence of spikes in intensity of market activity, i.e. the volatility clustering. We also provide simple parametric and nonparametric statistical procedures for the estimation of our model. We obtain closed-form formulae for the mean signature plot, and show the diffusive behavior of our model at large scale limit. We illustrate our results by numerical simulations, and find that our model is consistent with empirical data on futures Euribor and Eurostoxx. In a second part, we use a dynamic programming approach to our semi Markov model applied to the problem of optimal high frequency trading with a suitable modeling of market order flow correlated with the stock price, and taking into account in particular the adverse selection risk. We show a reduced-form for the value function of the associated control problem, and provide a convergent and computational scheme for solving the problem. Numerical tests display the shape of optimal policies for the market making problem.

This talk is based on joint works with Pietro Fodra.

The use of tensed language and the metaphor of set "formation" found in informal descriptions of the iterative conception of set are seldom taken at all seriously. This talk offers an axiomatisation of the iterative conception in a bimodal language and presents some reasons to thus take the tense more seriously than usual (although not literally).

I will introduce star products and formal connections and describe approaches to the problem of finding a trivialization of the formal Hitchin connection, using graph-theoretical computations.

The dynamics of networks of interacting systems depend intricately on the interaction topology. Dynamical implications of local topological properties such as the nodes' degrees and global topological properties such as the degree distribution have intensively been studied. Mesoscale properties, by contrast, have only recently come into the sharp focus of network science but have

rapidly developed into one of the hot topics in the field. Current questions are: can considering a mesoscale structure such as a single subgraph already allow conclusions on dynamical properties of the network as a whole? And: Can we extract implications that are independent of the embedding network? In this talk I will show that certain mesoscale subgraphs have precise and distinct

consequences for the system-level dynamics. In particular, they induce characteristic dynamical instabilities that are independent of the structure of the embedding network.

We present a block LU factorization with panel rank revealing

pivoting (block LU_PRRP), an algorithm based on strong

rank revealing QR for the panel factorization.

Block LU_PRRP is more stable than Gaussian elimination with partial

pivoting (GEPP), with a theoretical upper bound of the growth factor

of $(1+ \tau b)^{(n/ b)-1}$, where $b$ is the size of the panel used

during the block factorization, $\tau$ is a parameter of the strong

rank revealing QR factorization, and $n$ is the number of columns of

the matrix. For example, if the size of the panel is $b = 64$, and

$\tau = 2$, then $(1+2b)^{(n/b)-1} = (1.079)^{n-64} \ll 2^{n-1}$, where

$2^{n-1}$ is the upper bound of the growth factor of GEPP. Our

extensive numerical experiments show that the new factorization scheme

is as numerically stable as GEPP in practice, but it is more resistant

to some pathological cases where GEPP fails. We note that the block LU_PRRP

factorization does only $O(n^2 b)$ additional floating point operations

compared to GEPP.

Calculus of Variations for $L^{\infty}$ functionals has a successful history of 50 years, but until recently was restricted to the scalar case. Motivated by these developments, we have recently initiated the vector-valued case. In order to handle the complicated non-divergence PDE systems which arise as the analogue of the Euler-Lagrange equations, we have introduced a theory of "weak solutions" for general fully nonlinear PDE systems. This theory extends Viscosity Solutions of Crandall-Ishii-Lions to the general vector case. A central ingredient is the discovery of a vectorial notion of extremum for maps which is a vectorial substitute of the "Maximum Principle Calculus" and allows to "pass derivatives to test maps" in a duality-free fashion. In this talk we will discuss some rudimentary aspects of these recent developments.

This is joint work with Angus Macintyre. I will discuss new developments in 
our work on the model theory of adeles concerning model theoretic 
properties of adeles and related issues on adelic geometry and number theory.

I will show how to construct an infinite family of totally geodesic surfaces in the figure eight knot complement that do not remain totally geodesic under certain Dehn surgeries. If time permits, I will explain how this behaviour can be understood via the theory of quadratic forms.

We study the nonhomogeneous boundary value problem for Navier--Stokes equations of steady motion of a viscous incompressible fluid in  a plane or spatial exterior domain with multiply connected boundary. We prove that this problem has a solution for axially symmetric case (without any restrictions on fluxes, etc.)  No restriction on the size of fluxes are required. This is a joint result with K.Pileckas and R.Russo.

I will discuss what it means to compactify complex Lie groups and introduce the so-called "Wonderful Compactification" of groups having trivial centre. I will then show how the wonderful compactification of PGL(n) can be described in terms of complete collineations. Finally, I will discuss how the new perspective provided by complete collineations provides a way to construct compactifications of arbitrary semisimple groups.

One of the most classical questions of modern algebra is whether the group algebra of a torsion-free group can be embedded into a skew field. I will give a short survey about embeddability of group algebras into skew fields, matrix rings and, in general, continuous rings.

In this talk we aim to study periodic orbits on the energy levels of a symplectic magnetic flow on the two-sphere using methods from contact geometry. In particular we show that, if the energy is low enough, we either have two or infinitely many closed orbits. The second alternative holds if there exists a prime contractible periodic orbit. Finally we present some generalisations and work in progress for closed orientable surfaces of higher genus.

A new benchmark, High Performance Conjugate Gradient (HPCG), finally was introduced recently for the Top500 list and the Green500 list. This will draw more attention to performance of sparse iterative solvers on distributed supercomputers and energy efficiency of hardware and software. At the same time, this will more widely promote the concept that communications are the bottleneck of performance of iterative solvers on distributed supercomputers, here we will go a little deeper, discussing components of communications and discuss which part takes a dominate share. Also discussed are mathematics tricks to detect some metrics of an underlying supercomputer.

Nesetril and Ossona de Mendez introduced a new notion of convergence of graphs called FO convergence. This notion can be viewed as a unified notion of convergence of dense and sparse graphs. In particular, every FO convergent sequence of graphs is convergent in the sense of left convergence of dense graphs as studied by Borgs, Chayes, Lovasz, Sos, Szegedy, Vesztergombi and others, and every FO convergent sequence of graphs with bounded maximum degree is convergent in the Benjamini-Schramm sense.

FO convergent sequences of graphs can be associated with a limit object called modeling. Nesetril and Ossona de Mendez showed that every FO convergent sequence of trees with bounded depth has a modeling. We extend this result

to all FO convergent sequences of trees and discuss possibilities for further extensions.

The talk is based on a joint work with Martin Kupec and Vojtech Tuma.

We discuss the development of finite element techniques and solvers for magma dynamics computations. These are implemented within the FEniCS framework. This approach allows for user-friendly, expressive, high-level code development, but also provides access to powerful, scalable numerical solvers and a large family of finite element discretizations. The ability to easily scale codes to three dimensions with large meshes means that efficiency of the numerical algorithms is vital. We therefore describe our development and analysis of preconditioners designed specifically for finite element discretizations of equations governing magma dynamics. The preconditioners are based on Elman-Silvester-Wathen methods for the Stokes equation, and we extend these to flows with compaction.  This work is joint with Andrew Wathen and Richard Katz from the University of Oxford and Laura Alisic, John Rudge and Garth Wells from the University of Cambridge.

This talk will be a gentle introduction to the main ideas behind some of the obstructions to the Hasse principle. In particular, I'll focus on the Brauer-Manin obstruction and on the descent obstruction, and explain briefly how other types of obstructions could be constructed.

A new nematic phase has recently been discovered and characterized experimentally. It embodies a theoretical prediction made by Robert B. Meyer in 1973 on the basis of mere symmetry considerations to the effect that a nematic phase might also exist which in its ground state would acquire a 'heliconical' configuration, similar to the chiral molecular arrangement of cholesterics, but with the nematic director precessing around a cone about the optic axis. Experiments with newly synthetized materials have shown chiral heliconical equilibrium structures with characteristic pitch in the range of 1o nanometres and cone semi-amplitude of about 20 degrees. In 2001, Ivan Dozov proposed an elastic theory for such (then still speculative) phase which features a negative bend elastic constant along with a quartic correction to the nematic energy density that makes it positive definite. This lecture will present some thoughts about the possibility of describing the elastic response of twist-bend nematics within a purely quadratic gradient theory.

Abstract:In this talk we consider a continuous time random walk $X$ on $\mathbb{Z}^d$ in an environment of random conductances taking values in $[0, \infty)$. Assuming that the law of the conductances is ergodic with respect to space shifts, we present a quenched invariance principle for $X$ under some moment conditions on the environment. The key result on the sublinearity of the corrector is obtained by Moser's iteration scheme. Under the same conditions we also present a local limit theorem. For the proof some Hölder regularity of the transition density is needed, which follows from a parabolic Harnack inequality. This is joint work with J.-D. Deuschel and M. Slowik.