Fri, 01 Mar 2013
16:00
DH 1st floor SR

No good deals - no bad models

John Crosby
(visiting Professor of Finance at Glasgow University Adam Smith Business School and a Managing Director at Grizzly Bear Capital)
Abstract

The banking industry lost a trillion dollars during the global financial crisis. Some of these losses, if not most of them, were attributable to complex derivatives or securities being incorrectly priced and hedged. We introduce a new methodology which provides a better way of trying to hedge and mark-to-market complex derivatives and other illiquid securities which recognise the fundamental incompleteness of markets and the presence of model uncertainty. Our methodology combines elements of the No Good Deals methodology of Cochrane and Saa-Requejo with the Robustness methodology of Hansen and Sargent. We give some numerical examples for a range of both simple and complex problems encompassing not only financial derivatives but also “real options”occurring in commodity-related businesses.

Fri, 01 Mar 2013

10:00 - 11:15
DH 1st floor SR

The fluid mechanics of household appliances; a fascinating world!

Paul Duinveld
(Philips)
Abstract

An overview will be given for several examples of fluid mechanical problems in developing household appliances, we discuss some examples of e.g. baby bottles, water treatment, irons, fruit juicers and focus on oral health care where a new air floss product will be discussed.

Thu, 28 Feb 2013

17:00 - 18:00
L3

Rational values of certain analytic functions

Gareth Jones
(Manchester)
Abstract

Masser recently proved a bound on the number of rational points of bounded height on the graph of the zeta function restricted to the interval [2,3]. Masser's bound substantially improves on bounds obtained by Bombieri-Pila-Wilkie. I'll discuss some results obtained in joint work with Gareth Boxall in which we prove bounds only slightly weaker than Masser's for several more natural analytic functions.

Thu, 28 Feb 2013

16:00 - 17:00
L3

Probabilistic Galois Theory

Rainer Dietmann
(Royal Holloway University of London)
Abstract

Van der Waerden has shown that `almost' all monic integer

polynomials of degree n have the full symmetric group S_n as Galois group.

The strongest quantitative form of this statement known so far is due to

Gallagher, who made use of the Large Sieve.

In this talk we want to explain how one can use recent

advances on bounding the number of integral points on curves and surfaces

instead of the Large Sieve to go beyond Gallagher's result.

Thu, 28 Feb 2013

15:00 - 16:00
SR1

From Riches to RAAGs: Special Cube Complexes and the Virtual Haken Theorem (Part 1)

Henry Bradford
Abstract

In this first of two talks, I shall introduce the Virtual Haken Conjecture and the major players involved in the proof announced by Ian Agol last year. These are the special cube complexes studied by Dani Wise and his collaborators, with a large supporting cast including the not-inconsiderable presence of Perelman’s Geometrization Theorem and the Surface Subgroup Theorem of Kahn and Markovic. I shall sketch how the VHC follows from Agol’s result that, in spite of the name, specialness is entirely generic among non-positively curved cube complexes.

Thu, 28 Feb 2013

14:00 - 15:00
Gibson Grd floor SR

Introduction to tensor numerical methods in higher dimensions

Dr Boris Khoromskij
(MPI Leipzig)
Abstract

Tensor numerical methods provide the efficient separable representation of multivariate functions and operators discretized on large $n^{\otimes d}$-grids, providing a base for the solution of $d$-dimensional PDEs with linear complexity scaling in the dimension, $O(d n)$. Modern methods of separable approximation combine the canonical, Tucker, matrix product states (MPS) and tensor train (TT) low-parametric data formats.

\\

\\

The recent quantized-TT (QTT) approximation method is proven to provide the logarithmic data-compression on a wide class of functions and operators. Furthermore, QTT-approximation makes it possible to represent multi-dimensional steady-state and dynamical equations in quantized tensor spaces with the log-volume complexity scaling in the full-grid size, $O(d \log n)$, instead of $O(n^d)$.

\\

\\

We show how the grid-based tensor approximation in quantized tensor spaces applies to super-compressed representation of functions and operators (super-fast convolution and FFT, spectrally close preconditioners) as well to hard problems arising in electronic structure calculations, such as multi-dimensional convolution, and two-electron integrals factorization in the framework of Hartree-Fock calculations. The QTT method also applies to the time-dependent molecular Schr{\"o}dinger, Fokker-Planck and chemical master equations.

\\

\\

Numerical tests are presented indicating the efficiency of tensor methods in approximation of functions, operators and PDEs in many dimensions.

\\

\\

http://personal-homepages.mis.mpg.de/bokh

Thu, 28 Feb 2013

13:00 - 14:00
DH 1st floor SR

Stochastic Control Representations for Penalized Backward Stochastic Differential Equations

Gechun Liang
(Mathematics (Oxford))
Abstract

In this talk, We show that both reflected BSDE and its associated penalized BSDE admit both optimal stopping representation and optimal control

representation. We also show that both multidimensional reflected BSDE and its associated multidimensional penalized BSDE admit optimal switching representation. The corresponding optimal stopping problems for penalized BSDE have the feature that one is only allowed to stop at Poisson arrival times.

Thu, 28 Feb 2013
12:00
Gibson 1st Floor SR

Quadratic interaction functional and structure of solutions to hyperbolic conservation laws

Stefano Bianchini
(SISSA-ISAS)
Abstract

The proof of several properties of solutions of hyperbolic systems of conservation laws in one space dimension (existence, stability, regularity) depends on the existence of a decreasing functional, controlling the nonlinear interactions of waves. In a special case (genuinely nonlinear systems) the interaction functional is quadratic, while in the general case it is cubic. Several attempts to prove the existence of a a quadratic functional also in the most general case have been done. I will present the approach we follow in order to prove this result, an some of its implication we hope to exploit.

\\ \\

Work in collaboration with Stefano Modena.

Wed, 27 Feb 2013
16:00
L3

Symbolic dynamics: taking another look at complex quadratic maps

Andy Barwell
(Heilbronn Institute)
Abstract

Complex dynamical systems have been very well studied in recent years, in particular since computer graphics now enable us to peer deep into structures such as the Mandlebrot set and Julia sets, which beautifully illustrate the intricate dynamical behaviour of these systems. Using new techniques from Symbolic Dynamics, we demonstrate previously unknown properties of a class of quadratic maps on their Julia sets.

Wed, 27 Feb 2013

10:15 - 11:15
OCCAM Common Room (RI2.28)

A model for a protein oscillator in Myxococcus xanthus

Dr Peter Rashkov
(Philipps-Universität Marburg)
Abstract

Cell polarity in the rod-shaped bacterium Myxococcus xanthus is crucial for the direction of movement of individual cells. Polarity is governed by a regulatory system characterized by a dynamic spatiotemporal oscillation of proteins between the opposite cell poles. A mathematical framework for a minimal macroscopic model is presented which produces self-sustained regular oscillations of the protein concentrations. The mathematical model is based on a reaction-diffusion PDE system and is independent of external triggers. Necessary conditions on the reaction terms leading to oscillating solutions are derived theoretically. Possible scenarios for protein interaction are numerically tested for robustness against parameter variation. Finally, possible extensions of the model will be addressed.

Tue, 26 Feb 2013
17:00
L2

Relatively hyperbolic groups, mapping class groups and random walks

Alessandro Sisto
(Oxford)
Abstract

I will discuss similarities and differences between the geometry of
relatively hyperbolic groups and that of mapping class groups.
I will then discuss results about random walks on such groups that can
be proven using their common geometric features, namely the facts that
generic elements of (non-trivial) relatively hyperbolic groups are
hyperbolic, generic elements in mapping class groups are pseudo-Anosovs
and random paths of length $n$ stay $O(\log(n))$-close to geodesics in
(non-trivial) relatively hyperbolic groups and
$O(\sqrt{n}\log(n))$-close to geodesics in mapping class groups.

Tue, 26 Feb 2013

14:30 - 15:30
L3

Limit method in extremal combinatorics

Oleg Pikhurko
(Warwick)
Abstract

Razborov's flag algebras provide a formal system

for operating with asymptotic inequalities between subgraph densities,

allowing to do extensive "book-keeping" by a computer. This novel use

of computers led to progress on many old problems of extremal

combinatorics. In some cases, finer structural information can be

derived from a flag algebra proof by by using the Removal Lemma or

graph limits. This talk will overview this approach.

Mon, 25 Feb 2013

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

Self-gravitating elastic bodies

Lars Andersson
(Max Planck Institute for Gravitational Physics)
Abstract

Self-gravitating elastic bodies provide models for extended

objects in general relativity. I will discuss constructions of static

and rotating self-gravitating bodies, as well as recent results on the

initial value problem for self-gravitating elastic bodies.

Mon, 25 Feb 2013

15:45 - 16:45
L3

The complexity of group presentations, manifolds, and the Andrews-Curtis conjecture

Martin Bridson
(Oxford)
Abstract
Many natural problems concerning the geometry and topology of manifolds are intimately connected with the nature of presentations for the fundamental groups of the manifolds. I shall illustrate this theme with various specific results, then focus on balanced presentations. I'll explain the (open) Andrews-Curtis conjecture and it's relation to the smooth 4-dimensional Poincare conjecture, and I'll present a construction that gives (huge) lower bounds on how hard it is to distinguish a homology 4-sphere from a genuine sphere.

Mon, 25 Feb 2013

15:45 - 16:45
Oxford-Man Institute

Nonnegative local martingales, Novikow's and Kazamaki's criteria, and the distribution of explosion times

JOHANNES RUF
(University of Oxford)
Abstract

I will give a new proof for the famous criteria by Novikov and Kazamaki, which provide sufficient conditions for the martingale property of a nonnegative local martingale. The proof is based on an extension theorem for probability measures that can be considered as a generalization of a Girsanov-type change of measure.

In the second part of my talk I will illustrate how a generalized Girsanov formula can be used to compute the distribution of the explosion time of a weak solution to a stochastic differential equation