Thu, 23 May 2013
12:00
Gibson 1st Floor SR

Quasistatic evolution problems in perfect plasticity for generalized multiphase materials

Francesco Solombrino
(Technical University of Munich)
Abstract

Inspired by some recents developments in the theory of small-strain elastoplasticity, we

both revisit and generalize the formulation of the quasistatic evolutionary problem in

perfect plasticity for heterogeneous materials recently given by Francfort and Giacomini.

We show that their definition of the plastic dissipation measure is equivalent to an

abstract one, where it is defined as the supremum of the dualities between the deviatoric

parts of admissible stress fields and the plastic strains. By means of this abstract

definition, a viscoplastic approximation and variational techniques from the theory of

rate-independent processes give the existence of an evolution statisfying an energy-

dissipation balance and consequently Hill's maximum plastic work principle for an

abstract and very large class of yield conditions.

Thu, 23 May 2013
11:00
SR2

'Model completeness and henselianity'

Franziska Jahnke
(U.of Muenster)
Abstract

 A classical question in the model theory of fields is to find out which fields are model complete in the language of rings. It turns out that all well-known examples of model complete fields are quite rigid when it comes to henselianity. We discuss some first results which indicate that in residue characteristic zero, definable henselian valuations prevent model completeness.

Wed, 22 May 2013

16:00 - 17:00
SR2

Constructing a sigma model for the symmetric product of $R^D$

Thomas Wasserman
(University of Oxford)
Abstract

In this talk I will describe an attempt to construct a conformal field theory with target space a symmetric product of $R^D$ (referred to by physicists as orbifold sigma model). The construction uses branched covers of $S^2$ to lift the well studied formulation of a sigma model on $S^2$, in terms of vertex operator algebras, to higher genus surfaces. I will motivate and explain this construction.

Wed, 22 May 2013
11:30
Queen's College

Tilings and uniformly finite homology

Lukasz Grabowski
Abstract

I will give a gentle introduction to uniformly finite homology. The highlight application will be showing existence of aperiodic tilings of the hyperbolic plane.

Tue, 21 May 2013
17:00
L2

Spectral presheaves as generalised (Gelfand) spectra

Anreas Doering
(Oxford)
Abstract

The spectral presheaf of a nonabelian von Neumann algebra or C*-algebra

was introduced as a generalised phase space for a quantum system in the

so-called topos approach to quantum theory. Here, it will be shown that

the spectral presheaf has many features of a spectrum of a

noncommutative operator algebra (and that it can be defined for other

classes of algebras as well). The main idea is that the spectrum of a

nonabelian algebra may not be a set, but a presheaf or sheaf over the

base category of abelian subalgebras. In general, the spectral presheaf

has no points, i.e., no global sections. I will show that there is a

contravariant functor from unital C*-algebras to their spectral

presheaves, and that a C*-algebra is determined up to Jordan

*-isomorphisms by its spectral presheaf in many cases. Moreover, time

evolution of a quantum system can be described in terms of flows on the

spectral presheaf, and commutators show up in a natural way. I will

indicate how combining the Jordan and Lie algebra structures may lead to

a full reconstruction of nonabelian C*- or von Neumann algebra from its

spectral presheaf.

Tue, 21 May 2013

14:30 - 15:30
L3

Criticality for multicommodity flows

Paul Seymour
(Princeton)
Abstract

The ``k-commodity flow problem'' is: we are given k pairs of vertices of a graph, and we ask whether there are k flows in the graph, where the ith flow is between the ith pair of vertices, and has total value one, and for each edge, the sum of the absolute values of the flows along it is at most one. We may also require the flows to be 1/2-integral, or indeed 1/p-integral for some fixed p.

If the problem is feasible (that is, the desired flows exist) then it is still feasible after contracting any edge, so let us say a flow problem is ``critical'' if it is infeasible, but becomes feasible when we contract any edge. In many special cases, all critical instances have only two vertices, but if we ask for integral flows (that is, p = 1, essentially the edge-disjoint paths problem), then there arbitrarily large critical instances, even with k = 2. But it turns out that p = 1 is the only bad case; if p>1 then all critical instances have bounded size (depending on k, but independent of p), and the same is true if there is no integrality requirement at all.

The proof gives rise to a very simple algorithm for the k edge-disjoint paths problem in 4-edge-connected graphs.

Tue, 21 May 2013

12:00 - 13:00
L3

Quantum information processing in spacetime

Ivette Fuentes (Nottingham)
Abstract

Cutting-edge experiments in quantum communications are reaching regimes

where relativistic effects can no longer be neglected. For example, there

are advanced plans to use satellites to implement teleportation and quantum

cryptographic protocols. Relativistic effects can be expected at these

regimes: the Global Positioning System (GPS), which is a system of

satellites that is used for time dissemination and navigation, requires

relativistic corrections to determine time and positions accurately.

Therefore, it is timely to understand what are the effects of gravity and

motion on entanglement and other quantum properties exploited in quantum

information.

In this talk I will show that entanglement can be created or degraded by

gravity and non-uniform motion. While relativistic effects can degrade the

efficiency of teleportation between moving observers, the effects can also

be exploited in quantum information. I will show that the relativistic

motion of a quantum system can be used to perform quantum gates. Our

results, which will inform future space-based experiments, can be

demonstrated in table-top experiments using superconducting circuits.

Mon, 20 May 2013

17:00 - 18:00
Gibson 1st Floor SR

Analysis of some nonlinear PDEs from multi-scale geophysical applications

Bin Cheng
(University of Surrey)
Abstract

This talk is regarding PDE systems from geophysical applications with multiple time scales, in which linear skew-self-adjoint operators of size 1/epsilon gives rise to highly oscillatory solutions. Analysis is performed in justifying the limiting dynamics as epsilon goes to zero; furthermore, the analysis yields estimates on the difference between the multiscale solution and the limiting solution. We will introduce a simple yet effective time-averaging technique which is especially useful in general domains where Fourier analysis is not applicable.

Mon, 20 May 2013

15:45 - 16:45
Oxford-Man Institute

Random Wavelet Series

STEPHANE JAFFARD
(universite PEC)
Abstract

Random wavelet series were introduced in the mid 90s as simple and flexible models that allow to take into account observed statistics of wavelet coefficients in signal and image processing. One of their most interesting properties is that they supply random processes whose pointwise regularity jumps form point to point in a very erratic way, thus supplying examples of multifractal processes.

Interest in such models has been renewed recently under the spur of new applications coming from widely different fields; e.g.

-in functional analysis, they allow to derive the regularity properties of ``generic'' functions in a given function space (in the sense of

prevalence)

-they offer toy examples on which one can check the accuracy of numerical algorithms that allow to derive the multifractal parameters associated with signals and images.

We will give an overview of these properties, and we will focus on recent extensions whose sample paths are not locally bounded, and offer models for signals which share this property.

Mon, 20 May 2013

15:45 - 16:45
L3

Fibering 5-manifolds with fundamental group Z over the circle

Yang Su
(Beijing)
Abstract

 In this talk I will introduce my joint work with Kreck on a classification of
certain 5-manifolds with fundamental group Z. This result can be interpreted as a
generalization of the classical Browder-Levine's fibering theorem to dimension 5.

Mon, 20 May 2013
14:15
L3

Four-manifolds, surgery and group actions

Ian Hambleton
(McMaster/MPIM Bonn)
Abstract

The talk will survey some results about smooth and topological 4-manifolds obtained via surgery, and discuss some contrasting information provided by gauge theory about smooth finite group actions on 4-manifolds.

Mon, 20 May 2013

14:15 - 15:15
Oxford-Man Institute

Eigenvalues of large random matrices, free probability and beyond.

CAMILLE MALE
(ENS Lyon)
Abstract

Free probability theory has been introduced by Voiculescu in the 80's for the study of the von Neumann algebras of the free groups. It consists in an algebraic setting of non commutative probability, where one encodes "non commutative random variables" in abstract (non commutative) algebras endowed with linear forms (which satisfies properties in order to play the role of the expectation). In this context, Voiculescu introduce the notion of freeness which is the analogue of the classical independence.

A decade later, he realized that a family of independent random matrices invariant in law by conjugation by unitary matrices are asymptotically free. This phenomenon is called asymptotic freeness. It had a deep impact in operator algebra and probability and has been generalized in many directions. A simple particular case of Voiculescu's theorem gives an estimate, for N large, of the spectrum of an N by N Hermitian matrix H_N = A_N + 1/\sqrt N X_N, where A_N is a given deterministic Hermitian matrix and X_N has independent gaussian standard sub-diagonal entries.

Nevertheless, it turns out that asymptotic freeness does not hold in certain situations, e.g. when the entries of X_N as above have heavy-tails. To infer the spectrum of a larger class of matrices, we go further into Voiculescu's approach and introduce the distributions of traffics and their free product. This notion of distribution is richer than Voiculescu's notion of distribution of non commutative random variables and it generalizes the notion of law of a random graph. The notion of freeness for traffics is an intriguing mixing between the classical independence and Voiculescu's notion of freeness. We prove an asymptotic freeness theorem in that context for independent random matrices invariant in law by conjugation by permutation matrices.

The purpose of this talk is to give an introductory presentation of these notions.

Mon, 20 May 2013

12:00 - 13:00
L3

The Riemann Zeta Function and the Berry-Keating Hamiltonian

Philip Candelas
(Oxford)
Abstract
It is an old idea that the imaginary part of the nontrivial Riemann zeros s =-1/2 + iE might be related to the eigenvalues of a hermitean operator H, and so to a quantum mechanical system. Such a system has been proposed by Berry and Keating; it is a harmonic oscillator with the "wrong" signatureH=1/2(xp + px). The difficulty and interest in implementing this proposal is the need to find suitable boundary conditions, or a self adjoint extension for H, since the classical phase space orbits are hyperbolae rather than circles. I will review interesting observations of Mark Srednicki relating the ground state wave functions of the Berry Keating hamiltonian and the conventional harmonic oscillator hamiltonian to the zeta function.
Fri, 17 May 2013

16:00 - 17:00
DH 1st floor SR

Superhedging under Model Uncertainty

Michael Kupper
(Institut fut Mathematik (Humboldt))
Abstract

We discuss the superhedging problem under model uncertainty based on existence

and duality results for minimal supersolutions of backward stochastic differential equations.

The talk is based on joint works with Samuel Drapeau, Gregor Heyne and Reinhard Schmidt.

Fri, 17 May 2013

14:30 - 15:30
DH 3rd floor SR

Inferring the subsurface flow of Antarctic ice from satellite observations and other challenges for ice sheet prediction.

Dr. Robert Arthern
(Cambridge)
Abstract

Nowadays there are a large number of satellite and airborne observations of the large ice sheet that covers Antarctica. These include maps of the surface elevation, ice thickness, surface velocity, the rate of snow accumulation, and the rate of change of surface elevation. Uncertainty in the possible rate of future sea level rise motivates using all of these observations and models of ice-sheet flow to project how the ice sheet will behave in future, but this is still a challenge. To make useful predictions, especially in the presence of potential dynamic instabilities, models will need accurate initial conditions, including flow velocity throughout the ice thickness. The ice sheet can be several kilometres thick, but most of the observations identify quantities at the upper surface of the ice sheet, not within its bulk. There is thus a question of how the subsurface flow can be inferred from surface observations. The key parameters that must be identified are the viscosity in the interior of the ice and the basal drag coefficient that relates the speed of sliding at the base of the ice sheet to the basal shear stress. Neither is characterised well by field or laboratory studies, but for incompressible flow governed by the Stokes equations they can be investigated by inverse methods analogous to those used in electric impedance tomography (which is governed by the Laplace equation). Similar methods can also be applied to recently developed 'hybrid' approximations to Stokes flow that are designed to model shallow ice sheets, fast-sliding ice streams, and floating ice shelves more efficiently. This talk will give a summary of progress towards model based projections of the size and shape of the Antarctic ice sheet that make use of the available satellite data. Some of the outstanding problems that will need to be tackled to improve the accuracy of these projections will also be discussed.

Fri, 17 May 2013

10:00 - 11:00
Gibson Grd floor SR

Asymptotic Behavior of Problems in Cylindrical Domains - Lecture 2 of 4

Michel Chipot
(University of Zurich)
Abstract

A mini-lecture series consisting of four 1 hour lectures.

We would like to consider asymptotic behaviour of various problems set in cylinders. Let $\Omega_\ell = (-\ell,\ell)\times (-1,1)$ be the simplest cylinder possible. A good model problem is the following. Consider $u_\ell$ the weak solution to $$ \cases{ -\partial_{x_1}^2 u_\ell - \partial_{x_2}^2 u_\ell = f(x_2) \quad \hbox{in } \Omega_\ell, \quad \cr \cr u_\ell = 0 \quad \hbox{ on } \quad \partial \Omega_\ell. \cr} $$ When $\ell \to \infty$ is it trues that the solution converges toward $u_\infty$ the solution of the lower dimensional problem below ? $$ \cases{ - \partial_{x_2}^2 u_\infty = f(x_2) \quad \hbox{in }(-1,1), \quad \cr \cr u_\infty = 0 \quad \hbox{ on } \quad \partial (-1,1). \cr} $$ If so in what sense ? With what speed of convergence with respect to $\ell$ ? What happens when $f$ is also allowed to depend on $x_1$ ? What happens if $f$ is periodic in $x_1$, is the solution forced to be periodic at the limit ? What happens for general elliptic operators ? For more general cylinders ? For nonlinear problems ? For variational inequalities ? For systems like the Stokes problem or the system of elasticity ? For general problems ? ... We will try to give an update on all these issues and bridge these questions with anisotropic singular perturbations problems. \smallskip \noindent {\bf Prerequisites} : Elementary knowledge on Sobolev Spaces and weak formulation of elliptic problems.
Thu, 16 May 2013

17:00 - 18:00
L3

Ultraproducts, categorically

Tom Leinster
(Edinburgh)
Abstract

It has long been a challenge to synthesize the complementary insights offered by model theory and category theory. A small fragment of that challenge is to understand ultraproducts categorically. I will show that, granted some general categorical machinery, the notions of ultrafilter and ultraproduct follow inexorably from the notion of finiteness of a set. The machine in question, known as the codensity monad, has existed in an underexploited state for nearly fifty years. To emphasize that it was not constructed specifically for this purpose, I will mention some of its other applications. This talk represents joint work with an anonymous referee. Little knowledge of category theory will be assumed.