Thu, 22 Jan 2009

12:30 - 13:30
Gibson 1st Floor SR

Wave Propagation in One-Dimensional Granular Lattices

Mason Porter
(University of Oxford)
Abstract

I will discuss the investigatation of highly nonlinear solitary waves in heterogeneous one-dimensional granular crystals using numerical computations, asymptotics, and experiments. I will focus primarily on periodic arrangements of particles in experiments in which stiffer/heavier stainless stee are alternated with softer/lighter ones.

The governing model, which is reminiscent of the Fermi-Pasta-Ulam lattice, consists of a set of coupled ordinary differential equations that incorporate Hertzian interactions between adjacent particles. My collaborators and I find good agreement between experiments and numerics and gain additional insight by constructing an exact compaction solution to a nonlinear partial differential equation derived using long-wavelength asymptotics. This research encompasses previously-studied examples as special cases and provides key insights into the influence of heterogeneous, periodic lattice on the properties of the solitary waves.

I will briefly discuss more recent work on lattices consisting of randomized arrangements of particles, optical versus acoustic modes, and the incorporation of dissipation.

Wed, 21 Jan 2009
16:00
L3

TBA

TBA
Wed, 21 Jan 2009

11:30 - 12:30

Old theorems, new proofs: A week in fusion systems (HELD IN CHCH, Tom Gate, Room 2)

David Craven
(University of Oxford)
Abstract

Last week, I proved five theorems about fusion systems, each with a (relatively) trivial proof. All of these theorems were known, but in each case the proof was (in some cases highly) non-trivial. I will introduce fusion systems and talk a bit about why they are interesting, and then prove some, or maybe all, of the theorems I proved.

Tue, 20 Jan 2009

17:00 - 18:00
L2

Representation zeta functions of p-adic Lie groups

Benjamin Klopsch
(Royal Holloway)
Abstract

In a joint project with Christopher Voll, I have investigated the representation zeta functions of compact p-adic Lie groups. In my talk I will explain some of our results, e.g. the existence of functional equations in a suitable global setting, and discuss open problems. In particular, I will indicate how piecing together information about local zeta functions allows us to determine the precise abscissa of convergence for the representation zeta function of the arithmetic group SL3(Z).

Tue, 20 Jan 2009

14:30 - 15:30
L3

Vertex Turan problems in the hypercube

John Talbot
(UCL)
Abstract
Let $Q_n=\{0,1\}^n$ be the $n$-dimensional hypercube. For $1\leq d \leq n$ and $F\subseteq Q_d$ we consider the question of how large $S\subseteq Q _n$ can be if every embedding $i:Q_d\to Q_n$ satisfies $i(F)\not\subseteq S$. We determine the asymptotic behaviour of the largest $F$-free subsets of $Q_n$ for a variety of $F$, in particular we generalise the sole non-trivial prior result in this area: $F=Q_2$ due to E.A. Kostochka. Many natural questions remain open. This is joint work with Robert Johnson.
Mon, 19 Jan 2009
15:45
Oxford-Man Institute

A new combinatorial method for calculating the moments of Lévy area

Dr Daniel Levin
(Oxford)
Abstract
We present a new way to compute the moments of the Lévy area of a two-dimensional Brownian motion. This is a classical problem of great importance, originally solved by Lévy. Our approach uses iterated integrals and combinatorial arguments involving the shuffle product (joint paper with Mark Wildon, Swansea).

 

Mon, 19 Jan 2009
14:15
Oxford-Man Institute

Existence of unique solutions for SDEs for individual driving paths.

Professor Sandy Davie
(Edinburgh)
Abstract
Existence and uniqueness theorems for (vector) stochastic differential equations dx=a(t,x)dt+b(t,x)dW are usually formulated at the level of stochastic processes. If one asks for such a result for an individual driving Brownian path W then there is a difficulty of interpretation.

One solution to this is to use rough path theory, and in this context a uniqueness theorem can be proved (for a.e. W) for dx=b(x)dW if b has Holder continuous derivative. Another variant with a natural interpretation is dx=a(t,x)dt+dW where, if a is bounded Borel, uniqueness can be shown for a.e. W. The talk will explore the extent to which these two approaches can be combined.

Mon, 19 Jan 2009

12:00 - 13:00
L3

Born-Infeld gravity, bigravity, and their cosmological applications

Maximo Bañados
(Pontificia Universidad Católica de Chile and Oxford)
Abstract
In an attempt to define the ground state of general relativity as a state with no metric we arrive at a bigravity action. This action has surprising applications to cosmology and is competitive with the standard dark matter paradigm. Fluctuations and CMB spectra are briefly discussed.    
Thu, 15 Jan 2009

14:00 - 15:00
Comlab

On the accuracy of inexact saddle point solvers

Dr Miro Rozloznik
(Academy of Sciences of the Czech Republic)
Abstract

For large--scale saddle point problems, the application of exact iterative schemes and preconditioners may be computationally expensive. In practical situations, only approximations to the inverses of the diagonal block or the related cross-product matrices are considered, giving rise to inexact versions of various solvers. Therefore, the approximation effects must be carefully studied. In this talk we study numerical behavior of several iterative Krylov subspace solvers applied to the solution of large-scale saddle point problems. Two main representatives of the segregated solution approach are analyzed: the Schur complement reduction method, based on an (iterative) elimination of primary variables and the null-space projection method which relies on a basis for the null-space for the constraints. We concentrate on the question what is the best accuracy we can get from inexact schemes solving either Schur complement system or the null-space projected system when implemented in finite precision arithmetic. The fact that the inner solution tolerance strongly influences the accuracy of computed iterates is known and was studied in several contexts.

In particular, for several mathematically equivalent implementations we study the influence of inexact solving the inner systems and estimate their maximum attainable accuracy. When considering the outer iteration process our rounding error analysis leads to results similar to ones which can be obtained assuming exact arithmetic. The situation is different when we look at the residuals in the original saddle point system. We can show that some implementations lead ultimately to residuals on the the roundoff unit level independently of the fact that the inner systems were solved inexactly on a much higher level than their level of limiting accuracy. Indeed, our results confirm that the generic and actually the cheapest implementations deliver the approximate solutions which satisfy either the second or the first block equation to the working accuracy. In addition, the schemes with a corrected direct substitution are also very attractive. We give a theoretical explanation for the behavior which was probably observed or it is already tacitly known. The implementations that we pointed out as optimal are actually those which are widely used and suggested in applications.

Mon, 12 Jan 2009
14:00
L3

Zermelo set theory, Mac Lane set theory and set forcing

Adrian Mathias
(Reunion)
Abstract

Over certain transitive models of Z, the usual treatment of forcing goes awry. But the provident closure of any such set is a provident model of Z, over which, as shown in "Provident sets and rudimentary set forcing", forcing works well. In "The Strength of Mac Lane Set Theory" a process is described of passing from a transitive model of Z + Tco to what is here called its lune, which is a larger model of Z + KP.

Theorem: Over a provident model of Z, the two operations of forming lunes and generic extensions commute.

Corresponding results hold for transitive models of Mac Lane set theory + Tco.

Wed, 17 Dec 2008

13:30 - 14:30
Gibson 1st Floor SR

Invariant Variational Problems and Invariant Flows

Peter J. Olver
(University of Minnesota)
Abstract

I will introduce the moving frame approach to the analysis of invariant variational problems and the evolution of differential invariants under invariant submanifold flows. Applications will include differential geometric flows, integrable systems, and image processing.

Thu, 11 Dec 2008
11:00
DH 3rd floor SR

TBA

Dr Shuli Guo
(Beijing Institute of Technology)
Tue, 09 Dec 2008

14:30 - 15:30
L3

Graphs on surfaces and virtual knots

Sergei Chmutov
(Ohio State)
Abstract
Regions of a link diagram can be colored in black and white in a checkerboard manner. Putting a vertex in each black region and connecting two vertices by an edge if the corresponding regions share a crossing yields a planar graph. In 1987 Thistlethwaite proved that the Jones polynomial of the link can be obtained by a specialization of the Tutte polynomial of this planar graph. The goal of my talk will be an explanation of a generalization of Thistlethwaite's theorem to virtual links. In this case graphs will be embedded into a (higher genus, possibly non-oriented) surface. For such graphs we used a generalization of the Tutte polynomial called the Bollobas-Riordan polynomial. For graphs on
surfaces the natural duality can be generalized to a duality with respect to a subset of edges. The generalized dual graph might be embedded into a different surface. I will explain a relation between the Bollobas-Riordan polynomials of dual graphs. This relation unifies various Thistlethwaite type theorems.

Fri, 05 Dec 2008
14:30
Gibson 1st Floor SR

SEMINAR CANCELLED

Professor Neil Crout
(University of Nottingham)
Fri, 05 Dec 2008
14:15
DH 1st floor SR

Contracting for optimal investment with risk control

Chris Rogers
(Cambridge)
Abstract

The theory of risk measurement has been extensively developed over the past ten years or so, but there has been comparatively little effort devoted to using this theory to inform portfolio choice. One theme of this paper is to study how an investor in a conventional log-Brownian market would invest to optimize expected utility of terminal wealth, when subjected to a bound on his risk, as measured by a coherent law-invariant risk measure. Results of Kusuoka lead to remarkably complete expressions for the solution to this problem.

The second theme of the paper is to discuss how one would actually manage (not just measure) risk. We study a principal/agent problem, where the principal is required to satisfy some risk constraint. The principal proposes a compensation package to the agent, who then optimises selfishly ignoring the risk constraint. The principal can pick a compensation package that induces the agent to select the principal's optimal choice.