Past

Pancakes.

Abstract: We introduce a new framework for defining integration against rough path. This framework generalizes rough integral, and gives a natural explanation of some of the regularity requirements in rough path theory.

The filtration on the infinite symmetric product of spheres by number of

factors provides a sequence of spectra between the sphere spectrum and

the integral Eilenberg-Mac Lane spectrum. This filtration has received a

lot of attention and the subquotients are interesting stable homotopy

types.

In this talk I will discuss the equivariant stable homotopy types, for

finite groups, obtained from this filtration for the infinite symmetric

product of representation spheres. The filtration is more complicated

than in the non-equivariant case, and already on the zeroth homotopy

groups an interesting filtration of the augmentation ideal of the Burnside

rings arises. Our method is by `global' homotopy theory, i.e., we study

the simultaneous behaviour for all finite groups at once. In this context,

the equivariant subquotients are no longer rationally trivial, nor even

concentrated in dimension 0.

When $\partial D$ is spatially homogeneous, we show that we can recover the lower and upper Minkowski dimensions of $\partial D$ from the sort time behaviour of $E(s)$. Furthermore, when the Minkowski dimension exists, finer geometric fluctuations can be recovered and $E(s)$ is controlled by $s^\alpha e^{f(\log(1/s))}$ for small $s$, for some $\alpha \in (0, \infty)$ and some regularly varying function $f$. The function $f$ is not constant is general and carries some geometric information.

When $\partial D$ is statistically self-similar, the Minkowski dimension and content of $\partial D$ typically exist and can be recovered from $E(s)$. Furthermore, $E(s)$ has an almost sure expansion $E(s) = c s^{\alpha} N_\infty + o(s^\alpha)$ for small $s$, for some $c$ and $\alpha \in (0, \infty)$ and some positive random variable $N_\infty$ with unit expectation arising as the limit of some martingale. In some cases, we can show that the fluctuations around this almost sure behaviour are governed by a central limit theorem, and conjecture that this is true more generally.

This is based on joint work with David Croydon and Ben Hambly.

We are dwelling in the Big Data age. The diversity of the uses

of Big Data unleashes limitless possibilities. Many people are talking

about ways to use Big Data to track the collective human behaviours,

monitor electoral popularity, and predict financial fluctuations in

stock markets, etc. Big Data reveals both challenges and opportunities,

which are not only related to technology but also to human itself. This

talk will cover various current topics and trends in Big Data research.

The speaker will share his relevant experiences on how to use analytics

tools to obtain key metrics on online social networks, as well as

present the challenges of Big Data analytics.

\\

Bio: Ning Wang (Ph.D) works as Researcher at the Oxford Internet

Institute. His research is driven by a deep interest in analysing a wide

range of sociotechnical problems by exploiting Big Data approaches, with

the hope that this work could contribute to the intersection of social

behavior and computational systems.

We consider a large class of three dimensional continuous dynamic fluctuation models, and show that they all rescale and converge to the stochastic Allen-Cahn equation, whose solution should be interpreted after a suitable renormalization procedure. The interesting feature is that, the coefficient of the limiting equation is different from one's naive guess, and the renormalization required to get the correct limit is also different from what one would naturally expect. I will also briefly explain how the recent theory of regularity structures enables one to prove such results. Joint work with Martin Hairer.

Cardinal characteristics of the continuum are (definitions for) cardinals that are provably uncountable and at most the cardinality c of the reals, but which (if the continuum hypothesis fails) may be strictly less than c.  Cichon's diagram is a standard diagram laying out all of the ZFC-provable inequalities between the most familiar cardinal characteristics of the continuum.  There is a natural analogy that can be drawn between these cardinal characteristics and highness properties of Turing oracles in computability theory, with implications taking the place of inequalities.  The diagram in this context is mostly the same with a few extra equivalences: many of the implications were trivial or already known, but there remained gaps, which in joint work with Brendle, Ng and Nies we have filled in.

Topological insulators are a type of system in condensed matter physics that exhibit a robustness that physicists like to call topological. In this talk I will give a definition of a subclass of such systems: gapped, free fermions. We will look at how such systems, as shown by Kitaev, can be classified in terms of topological K-groups by using the Clifford module model for K-theory as introduced by Atiyah, Bott and Shapiro. I will be using results from Wednesday's JTGT, where I'll give a quick introduction to topological K-theory.

tba

Molecular modelling has become a valuable tool and is increasingly part of the standard methodology of chemistry, physics, engineering and biology. The power of molecular modelling lies in its versatility: as potential energy functions improve, a broader range of more complex phenomena become accessible to simulation, but much of the underlying methodology can be re-used. For example, the Verlet method is still the most popular molecular dynamics scheme for constant energy molecular dynamics simulations despite it being one of the first to be proposed for the purpose.

One of the most important challenges in molecular modelling remains the computation of averages with respect to the canonical Gibbs (constant temperature) distribution, for which the Verlet method is not appropriate. Whereas constant energy molecular dynamics prescribes a set of equations (Newton's equations), there are many alternatives for canonical sampling with quite different properties. The challenge is therefore to identify formulations and numerical methods that are robust and maximally efficient in the computational setting.

One of the simplest and most effective methods for sampling is based on Langevin dynamics which mimics coupling to a heat bath by the incorporation of random forces and an associated dissipative term. Schemes for Langevin dynamics simulation may be developed based on the familiar principle of splitting. I will show that the invariant measure ('long term') approximation may be strongly affected by a simple re-ordering of the terms of the splitting. I will describe a transition in weak numerical order of accuracy that occurs (in one case) in the t->infty limit.

I will also entertain some more radical suggestions for canonical sampling, including stochastic isokinetic methods that enable the use of greatly enlarged timesteps for expensive but slowly-varying force field components.

We will define the Ran space as well as Ran space versions of some of the prestacks we've already seen, and explain what is meant by the homology of a prestack. Following Gaitsgory and possibly Drinfeld, we'll show how the Ran space machinery can be used to prove that the space of rational maps is homologically contractible.

For many questions of scientific interest, all-atom molecular simulations are still out of reach, in particular in materials engineering where large numbers of atoms, and often expensive force fields, are required. A long standing challenge has been to construct concurrent atomistic/continuum coupling schemes that use atomistic models in regions of space where high accuracy is required, with computationally efficient continuum models (e.g., FEM) of the elastic far-fields.

Many different mechanisms for achieving such atomistic/continuum couplings have been developed. To assess their relative merits, in particular accuracy/cost ratio, I will present a numerical analysis framework. I will use this framework to analyse in more detail a particularly popular scheme (the BQCE scheme), identifying key approximation parameters which can then be balanced (in a surprising way) to obtain an optimised formulation.

Finally, I will demonstrate that this analysis shows how to remove a severe bottlenecks in the BQCE scheme, leading to a new scheme with optimal convergence rate.

Algebraically closed fields, and in general varieties are among the first examples
of Zariski Geometries.
I will consider specialisations of algebraically closed fields and varieties.
In the case of an algebraically closed field K, I will show that a specialisation
is essentially a residue map, res from K to a residue field k.  
In both cases I will show universality of the specialisation is controlled by the
transcendence degree of K over k.  

In the late 70s -- early 80s Makanin came up with a very simple, but very powerful idea to approach solving equations in free groups. This simplicity makes Makanin-like procedures ubiquitous in mathematics: in dynamical systems, geometric group theory, 3-dimensional topology etc. In this talk I will explain loosely how Makanin's algorithm works.

In 1878, Jordan showed that if $G$ is a finite group of complex $n \times n$ matrices, then $G$ has a normal subgroup whose index in $G$ is bounded by a function of $n$ alone. He showed only existence, and early actual bounds on this index were far from optimal. In 1985, Weisfeiler used the classification of finite simple groups to obtain far better bounds, but his work remained incomplete when he disappeared. About eight years ago, I obtained the optimal bounds, and this work has now been extended to subgroups of all (complex) classical groups. I will discuss this topic at a “colloquium” level – i.e., only a rudimentary knowledge of finite group theory will be assumed.

Auctioneers may wish to sell related but different indivisible goods in

a single process. To develop such techniques, we study the geometry of

how an agent's demanded bundle changes as prices change. This object

is the convex-geometric object known as a `tropical hypersurface'.

Moreover, simple geometric properties translate directly to economic

properties, providing a new taxonomy for economic valuations. When

considering multiple agents, we study the unions and intersections of

the corresponding tropical hypersurfaces; in particular, properties of

the intersection are deeply related to whether competitive equilibrium

exists or fails. This leads us to new results and generalisations of

existing results on equilibrium existence. The talk will provide an

introductory tour to relevant economics to show the context of these

applications of tropical geometry. This is joint work with Paul

Klemperer.

The common convention when dealing with hyperbolic groups is that such groups are finitely

generated and equipped with the word length metric relative to a finite symmetric generating

subset. Gromov's original work on hyperbolicity already contained ideas that extend beyond the

finitely generated setting. We study the class of locally compact hyperbolic groups and elaborate

on the similarities and differences between the discrete and non-discrete setting.

Hamiltonian reduction arose as a mechanism for reducing complexity of systems in mechanics, but it also provides a tool for constructing complicated but interesting objects from simpler ones. I will illustrate how this works in representation theory and algebraic geometry via examples. I will describe a new structure theory, motivated by Hamiltonian reduction (and in particular the Morse theory that results), for some categories (of D-modules) of interest to representation theorists. I will then explain how this implies a modified form of "hyperkahler Kirwan surjectivity" for the cohomology of certain Hamiltonian reductions. The talk will not assume that members of the audience know the meaning of any of the above-mentioned terms. The talk is based on joint work with K. McGerty.

We study the behaviour of orthogonal polynomials on triangles and their coefficients in the context of spectral approximations of partial differential equations.  For spectral approximation we consider series expansions $u=\sum_{k=0}^{\infty} \hat{u}_k \phi_k$ in terms of orthogonal polynomials $\phi_k$. We show that for any function $u \in C^{\infty}$ the series expansion converges faster than with any polynomial order.  With these result we are able to employ the polynomials $\phi_k$ in the spectral difference method in order to solve hyperbolic conservation laws.

It is a well known fact that discontinuities can arise leading to oscillatory numerical solutions. We compare standard filtering and the super spectral vanishing viscosity methods, which uses exponential filters build from the differential operator of the respective orthogonal polynomials.  We will extend the spectral difference method for unstructured grids by using 
 classical orthogonal polynomials and exponential filters. Finally we consider some numerical test cases.

We present a new method to establish the rotational symmetry

of solutions to overdetermined elliptic boundary value

problems. We illustrate this approach through a couple of

classical examples arising in potential theory, in both the

exterior and the interior punctured domain. We discuss how

some of the known results can be recovered and we introduce

some new geometric overdetermining conditions, involving the

mean curvature of the boundary and the Neumann data.

The Balog-Szemeredi-Gowers theorem states that, given any finite subset of an abelian group with large additive energy, we can find its large subset with small doubling constant. We can ask how this constant depends on the initial additive energy. In the talk, I will give an upper bound, mention the best existing lower bound and, if time permits, present an approach that gives a hope to improve the lower bound and make it asymptotically equal to the upper bound from the beginning of the talk.

Knot Floer homology (introduced by Ozsvath-Szabo and independently by

Rasmussen) is a powerful tool for studying knots and links in the 3-sphere. In

particular, it gives rise to a numerical invariant, which provides a

nontrivial lower bound on the 4-dimensional genus of the knot. By deforming

the definition of knot Floer homology by a real number t from [0,2], we define

a family of homologies, and derive a family of numerical invariants with

similar properties. The resulting invariants provide a family of

homomorphisms on the concordance group. One of these homomorphisms can be

used to estimate the unoriented 4-dimensional genus of the knot. We will

review the basic constructions for knot Floer homology and the deformed

theories and discuss some of the applications. This is joint work with

P. Ozsvath and Z. Szabo.

In this talk, I will introduce and analyse an elastic

surface energy recently introduced by G. Napoli and

L. Vergori to model thin films of nematic liquid crystals.

As it will be clear, the topology and the geometry of

the surface will play a fundamental role in understanding

the behavior of thin films of liquid crystals.

In particular, our results regards the existence of

minimizers, the existence of the gradient flow

of the energy and, in the case of an axisymmetric

toroidal particle, a detailed characterization of global and local minimizers.

This last item is supplemented with numerical experiments.

This is a joint work with M. Snarski (Brown) and M. Veneroni (Pavia).

A 1-dimensional asymptotic class (Macpherson-Steinhorn) is a class of finite structures which satisfies the theorem of Chatzidakis-van den Dries-Macintyre about finite fields: definable sets are assigned a measure and dimension which gives the cardinality of the set asymptotically, and there are only finitely many dimensions and measures in any definable family. There are many examples of these classes, and they all have reasonably tame theories. Non-principal ultraproducts of these classes are supersimple of finite rank.

Recently this definition has been generalised to `Multidimensional Asymptotic Class' (joint work with Macpherson-Steinhorn-Wood). This is a much more flexible framework, suitable for multi-sorted structures. Examples are not necessarily simple. I will give conditions which imply simplicity/supersimplicity of non-principal ultraproducts.

An interesting example is the family of vector spaces over finite fields with a non-degenerate bilinear form (either alternating or symmetric). If there's time, I will explain some joint work with Kestner in which we look in detail at this class.

We consider a contracting problem in which a principal hires an agent to manage a risky project. When the agent chooses volatility components of the output process and the principal observes the output continuously, the principal can compute the quadratic variation of the output, but not the individual components. This leads to moral hazard with respect to the risk choices of the agent. Using a very recent theory of singular changes of measures for Ito processes, we formulate the principal-agent problem in this context, and solve it in the case of CARA preferences. In that case, the optimal contract is linear in these factors: the contractible sources of risk, including the output, the quadratic variation of the output and the cross-variations between the output and the contractible risk sources. Thus, path-dependent contracts naturally arise when there is moral hazard with respect to risk management. This is a joint work with Nizar Touzi (CMAP, Ecole Polytechnique) and Jaksa Cvitanic (Caltech).

A perturbative method is introduced to analyze shear bands formation and

development in ductile solids subject to large strain.

Experiments on discrete systems made up of highly-deformable elements [1]

confirm the validity of the method and suggest that an elastic structure

can be realized buckling for dead, tensile loads. This structure has been

calculated, realized and tested and provides the first example of an

elastic structure buckling without elements subject to compression [2].

The perturbative method introduced for the analysis of shear bands can be

successfuly employed to investigate other material instabilities, such as

for instance flutter in a frictional, continuum medium [3]. In this

context, an experiment on an elastic structure subject to a frictional

contact shows for the first time that a follower load can be generated

using dry friction and that this load can induce flutter instability [4].

The perturbative approach may be used to investigate the strain state near

a dislocation nucleated in a metal subject to a high stress level [5].

Eshelby forces, similar to those driving dislocations in solids, are

analyzed on elastic structures designed to produce an energy release and

therefore to evidence configurational forces. These structures have been

realized and they have shown unexpected behaviours, which opens new

perspectives in the design of flexible mechanisms, like for instance, the

realization of an elastic deformable scale [6].

[1] D. Bigoni, Nonlinear Solid Mechanics Bifurcation Theory and Material

Instability. Cambridge Univ. Press, 2012, ISBN:9781107025417.

[2] D. Zaccaria, D. Bigoni, G. Noselli and D. Misseroni Structures

buckling under tensile dead load. Proc. Roy. Soc. A, 2011, 467, 1686.

[3] A. Piccolroaz, D. Bigoni, and J.R. Willis, A dynamical interpretation

of flutter instability in a continuous medium. J. Mech. Phys. Solids,

2006, 54, 2391.

[4] D. Bigoni and G. Noselli Experimental evidence of flutter and

divergence instabilities induced by dry friction. J. Mech. Phys.

Solids,2011,59,2208.

[5] L. Argani, D. Bigoni, G. Mishuris Dislocations and inclusions in

prestressed metals. Proc. Roy. Soc. A, 2013, 469, 2154 20120752.

[6] D. Bigoni, F. Bosi, F. Dal Corso and D. Misseroni, Instability of a

penetrating blade. J. Mech. Phys. Solids, 2014, in press.

We describe discretisations of the shallow water equations on

the sphere using the framework of finite element exterior calculus. The

formulation can be viewed as an extension of the classical staggered

C-grid energy-enstrophy conserving and

energy-conserving/enstrophy-dissipating schemes which were defined on

latitude-longitude grids. This work is motivated by the need to use

pseudo-uniform grids on the sphere (such as an icosahedral grid or a

cube grid) in order to achieve good scaling on massively parallel

computers, and forms part of the multi-institutional UK “Gung Ho”

project which aims to design a next generation dynamical core for the

Met Office Unified Model climate and weather prediction system. The

rotating shallow water equations are a single layer model that is

used to benchmark the horizontal component of numerical schemes for

weather prediction models.

We show, within the finite element exterior calculus framework, that it

is possible

to build numerical schemes with horizontal velocity and layer depth that

have a con-

served diagnostic potential vorticity field, by making use of the

geometric properties of the scheme. The schemes also conserve energy and

enstrophy, which arise naturally as conserved quantities out of a

Poisson bracket formulation. We show that it is possible to modify the

discretisation, motivated by physical considerations, so that enstrophy

is dissipated, either by using the Anticipated Potential Vorticity

Method, or by inducing stabilised advection schemes for potential

vorticity such as SUPG or higher-order Taylor-Galerkin schemes. We

illustrate our results with convergence tests and numerical experiments

obtained from a FEniCS implementation on the sphere.

Given a field K and an ordered abelian group G, we can form the field K((G)) of generalised formal power series with coefficients in K and indices in G. When is this field decidable? In certain cases, decidability reduces to that of K and G. We survey some results in the area, particularly in the case char K > 0, where much is still unknown.

Given a field K and an ordered abelian group G, we can form the field K((G)) of generalised formal power series with coefficients in K and indices in G. When is this field decidable? In certain cases, decidability reduces to that of K and G. We survey some results in the area, particularly in the case char K > 0, where much is still unknown.

Subgroup separability is a group-theoretic property that has important implications for geometry and topology, because it allows us to lift immersions to embeddings in a finite sheeted covering space. I will describe how this works in the case of graphs, and go on to motivate the construction of special cube complexes as an attempt to generalise the technique to higher dimensions.

We consider degenerate elliptic systems like the p-Laplacian  system with p>1 and zero boundary data. The r.h.s. is given in  divergence from div F. We prove a pointwise estimate (in terms of the  sharp maximal function) bounding the gradient of the solution via the  function F. This recovers several known results about local regularity  estimates in L^q, BMO and C^a. Our pointwise inequality extends also  to boundary points. So these  regularity estimates hold globally as  well. The global estimates in BMO and C^a are new.

The Haagerup property is a group theoretic property which is a strong converse of Kazhdan's property (T). It implies the Baum-Connes conjecture and has connections with amenability, C*-algebras, representation theory and so on. It is thus not surprising that quite some effort was made to investigate how the Haagerup property behaves under the formation of free products, direct products, direct limits,... In joint work with Y.Antolin, we investigated the behaviour of the Haagerup property under graph products. In this talk we introduce the concept of a graph product, we give a gentle introduction to the Haagerup property and we discuss its behaviour under graph products.