Past

The goal of this talk is to discuss a link between the Homogeneous Monge Ampere Equation in complex geometry, and a certain flow in the plane motivated by some fluid mechanics.   After discussing and motivating the Dirichlet problem for this equation I will focus to what is probably the first non-trivial case that one can consider, and prove that it is possible to understand regularity of the solution in terms of what is known as the Hele-Shaw flow in the plane. As such we get, essentially explicit, examples of boundary data for which there is no regular solution, contrary to previous expectation.  All of this is joint work with David Witt Nystrom.

Topological phases of matter exhibit Bott-like periodicity with respect to
time-reversal, charge conjugation, and spatial dimension. I will explain how
the non-commutative topology in topological phases originates very generally
from symmetry data, and how operator K-theory provides a powerful and
natural framework for studying them.

Full details are available at: http://www.stcatz.ox.ac.uk/alantayler

Cubature is the business of describing a probability measure in terms of an empirical measure sharing its support with the original measure, of small support, and with identical integrals for a class of functions (eg polynomials with degree less than k). 

Applying cubature to already discrete sets of scenarios provides a powerful tool for scenario management and summarising data.  We refer to this process as recombination. It is a feasible operation in real time and has lead to high accuracy pde solvers.

The practical complexity of this operation has changed! By a factor corresponding to the dimension of the space of polynomials. 

We discuss the algorithm and give home computed examples of nested sparse grids with only positive weights in moderate dimensions (eg degree 1-8 in dimension 7).  Positive weights have significant advantage over signed ones when available.
 

Starting with seminal work by Masur-Minsky, a lot of machinery has been
developed to study the geometry of Mapping Class Groups, and this has
lead, for example, to the proof of quasi-isometric rigidity results.
Parts of this machinery include hyperbolicity of the curve complex, the
distance formula and hierarchy paths.
As it turns out, all this can be transposed to the context of CAT(0)
cube complexes. I will explain some of the key parts of the machinery
and then I will discuss results about quasi-Lipschitz maps from
Euclidean spaces and nilpotent Lie groups into "spaces with a distance
formula".
Joint with Jason Behrstock and Mark Hagen.

We consider self-organizing systems, i.e. systems consisting of a large number of interacting entities which spontaneously coordinate and achieve a collective dynamics. Sush systems are ubiquitous in nature (flocks of birds, herds of sheep, crowds, ...). Their mathematical modeling poses a number of fascinating questions such as finding the conditions for the emergence of collective motion. In this talk, we will consider a simplified model first proposed by Vicsek and co-authors and consisting of self-propelled particles interacting through local alignment.
We will rigorously study the multiplicity and stability of its equilibria through kinetic theory methods. We will illustrate our findings by numerical simulations.

   Stéphane Mallat

   Ecole Normale Superieure

Learning functionals in high dimension requires to find sources of regularity and invariants, to reduce dimensionality. Stability to actions of diffeomorphisms is a strong property satisfied by many physical functionals and most signal classification problems. We introduce a scattering operator in a path space, calculated with iterated multiscale wavelet transforms, which is invariant to rigid movements and stable to diffeomorphism actions. It provides a Euclidean embedding of geometric distances and a representation of stationary random processes. Applications will be shown for image classification and to learn quantum chemistry energy functionals.

I will give an overview of ongoing joint work with R. Rubio and C. Tipler, in which we study the moduli problem for the Strominger system of equations. Building on the work of De la Ossa and Svanes and, independently, of Anderson, Gray and Sharpe, we construct an elliptic complex whose first cohomology group is the space of infinitesimal deformations of a solution of the strominger system. I will also discuss an intriguing link between this moduli problem and a moduli problem for holomorphic Courant algebroids over Calabi-Yau threefolds. Finally, we will see how the problem for the Strominger system embeds naturally in generalized geometry, and discuss some perspectives of this approach.

Quantum Mechanics presents a radically different perspective on physical reality compared with the world of classical physics. In particular, results such as the Bell and Kochen-Specker theorems highlight the essentially non-local and contextual nature of quantum mechanics. The rapidly developing field of quantum information seeks to exploit these non-classical features of quantum physics to transcend classical bounds on information processing tasks.

In this talk, we shall explore the rich mathematical structures underlying these results. The study of non-locality and contextuality can be expressed in a unified and generalised form in the language of sheaves or bundles, in terms of obstructions to global sections. These obstructions can, in many cases, be witnessed by cohomology invariants. There are also strong connections with logic. For example, Bell inequalities, one of the major tools of quantum information and foundations, arise systematically from logical consistency conditions.

These general mathematical characterisations of non-locality and contextuality also allow precise connections to be made with a number of seemingly unrelated topics, in classical computation, logic, and natural language semantics. By varying the semiring in which distributions are valued, the same structures and results can be recognised in databases and constraint satisfaction as in probability models arising from quantum mechanics. A rich field of contextual semantics, applicable to many of the situations where the pervasive phenomenon of contextuality arises, promises to emerge.

The entire history of mathematics in one hour, as illustrated by around 300 postage stamps featuring mathematics and mathematicians from across the world.

From Euclid to Euler, from Pythagoras to Poincaré, and from Fibonacci to the Fields Medals, all are featured in attractive, charming and sometimes bizarre stamps. No knowledge of mathematics or philately required.

Explosive volcanic eruptions often produce large amounts of ash that is transported high into the atmosphere in a turbulent buoyant plume.  The ash can be spread widely and is hazardous to aircraft causing major disruption to air traffic.  Recent events, such as the eruption of Eyjafjallajokull, Iceland, in 2010 have demonstrated the need for forecasts of ash transport to manage airspace.  However, the ash dispersion forecasts require boundary conditions to specify the rate at which ash is delivered into the atmosphere.

Models of volcanic plumes can be used to describe the transport of ash from the vent into the atmosphere.  I will show how models of volcanic plumes can be developed, building on classical fluid mechanical descriptions of turbulent plumes developed by Morton, Taylor and Turner (1956), and how these are used to determine the volcanic source conditions.  I will demonstrate the strong atmospheric controls on the buoyant plume rise.  Typically steady models are used as solutions can be obtained rapidly, but unsteadiness in the volcanic source can be important.  I'll discuss very recent work that has developed unsteady models of volcanic plumes, highlighting the mathematical analysis required to produce a well-posed mathematical description.

Abstract:

(i) We consider the modelling of freezing of fluids which contain particulates and fibres (imagine orange juice “with bits”) flowing in channels. The objective is to design optimum geometry/temperatures to accelerate freezing.

(ii) We present the challenge of setting-up a model for lithium or sodium ion stationary energy storage cells and battery packs to calculate the gravimetric and volumetric energy density of the cells and cost. Depending upon the materials, electrode content, porosity, packing electrolyte and current collectors. There is a model existing for automotive called Batpac.

(please see

http://www.cs.ox.ac.uk/seminars/CompBioPublicSeminars/ for details)

Note: joint with Philosophy of Physics.

Venue: Lecture Room, Radcliffe Humanities, ROQ.

In 1953 Roth proved that any positive density subset of the integers contains a non-trivial three term arithmetic progression. I will present a recent quantitative improvement for this theorem, give an overview of the main ideas of the proof, and discuss its relation to other recent work in the area. I will also discuss some closely related problems. 

The Dynamic Dictionary of Mathematical Functions (or DDMF, http://ddmf.msr-inria.inria.fr/) is an interactive website on special functions inspired by reference books such as the NIST Handbook of Special Functions. The originality of the DDMF is that each of its “chapters” is automatically generated from a short mathematical description of the corresponding function.

To make this possible, the DDMF focuses on so-called D-finite (or holonomic) functions, i.e., complex analytic solutions of linear ODEs with polynomial coefficients. D-finite functions include in particular most standard elementary functions (exp, log, sin, sinh, arctan...) as well as many of the classical special functions of mathematical physics (Airy functions, Bessel functions, hypergeometric functions...). A function of this class can be represented by a finite amount of data (a differential equation along with sufficiently many initial values), 
and this representation makes it possible to develop a computer algebra framework that deals with the whole class in a unified way, instead of ad hoc algorithms and code for each particular function. The DDMF attempts to put this idea into practice.

In this talk, I will present the DDMF, some of the algorithms and software libraries behind it, and ongoing projects based on similar ideas, with an emphasis on symbolic-numeric algorithms.