Thu, 24 Jan 2013

14:00 - 15:00
L3

Cocycle twists of tensor categories and of rational Cherednik algebras

Yuri Bazlov
(Manchester University)
Abstract

Central extensions of a finite group G correspond to 2-cocycles on G, which give rise to an abelian cohomology group known as the Schur

multiplier of G. Recently, the Schur multiplier was defined in a much more

general setting of a monoidal category. I will explain how to twist algebras by categorical 2-cocycles and will mention the role of

such twists the theory of quantum groups. I will then describe an approach to twisting rational Cherednik algebras by cocycles,

and will discuss possible applications of this new construction to the representation theory of these algebras.

Thu, 24 Jan 2013

14:00 - 15:00
Gibson Grd floor SR

A hybrid finite element-Lagrangian marker technique for geodynamics: Spatial discretisations, implicit solvers and numerics

Dr David May
(ETH Zurich)
Abstract

Over million year time scales, the evolution and deformation of rocks on Earth can be described by the equations governing the motion of a very viscous, incompressible fluid. In this regime, the rocks within the crust and mantle lithosphere exhibit both brittle and ductile behaviour. Collectively, these rheologies result in an effective viscosity which is non-linear and may exhibit extremely large variations in space. In the context of geodynamics applications, we are interested in studying large deformation processes both prior and post to the onset of material failure.

\\

\\

Here I introduce a hybrid finite element (FE) - Lagrangian marker discretisation which has been specifically designed to enable the numerical simulation of geodynamic processes. In this approach, a mixed FE formulation is used to discretise the incompressible Stokes equations, whilst the markers are used to discretise the material lithology.

\\

\\

First I will show the a priori error estimates associated with this hybrid discretisation and demonstrate the convergence characteristics via several numerical examples. Then I will discuss several multi-level preconditioning strategies for the saddle point problem which are robust with respect to both large variations in viscosity and the underlying topological structure of the viscosity field.

\\

Finally, I will describe an extension of the multi-level preconditioning strategy that enables high-resolution, three-dimensional simulations to be performed with a small memory footprint and which is performant on multi-core, parallel architectures.

Thu, 24 Jan 2013

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

Volatility Estimation Using Flat-Top Realized Kernels

Rasmus Varneskov (Oxford Man Institute)
Abstract

This paper analyzes a generalized class of flat-top realized kernels for

estimation of the quadratic variation spectrum in the presence of a

market microstructure noise component that is allowed to exhibit both

endogenous and exogenous $\alpha$-mixing dependence with polynomially

decaying autocovariances. In the absence of jumps, the class of flat-top

estimators are shown to be consistent, asymptotically unbiased, and

mixed Gaussian with the optimal rate of convergence, $n^{1/4}$. Exact

bounds on lower order terms are obtained using maximal inequalities and

these are used to derive a conservative MSE-optimal flat-top shrinkage.

In a theoretical and/or a numerical comparison with alternative

estimators, including the realized kernel, the two-scale realized

kernel, and a proposed robust pre-averaging estimator, the flat-top

realized kernels are shown to have superior bias reduction properties

with little or no increase in finite sample variance.

Thu, 24 Jan 2013

12:00 - 13:00
Gibson Grd floor SR

The pullback equation for differential forms

Bernard Dacorogna
(Ecole Polytechnique Federale de Lausanne)
Abstract

{\bf This seminar is at ground floor!}

\\

An important question in geometry and analysis is to know when two $k-$forms

$f$ and $g$ are equivalent. The problem is therefore to find a map $\varphi$

such that%

\[

\varphi^{\ast}\left( g\right) =f.

\]

We will mostly discuss the symplectic case $k=2$ and the case of volume forms

$k=n.$ We will give some results when $3\leq k\leq n-2,$ the case $k=n-1$ will

also be considered.

\\

The results have been obtained in collaboration with S. Bandyopadhyay, G.

Csato and O. Kneuss and can be found, in part, in the book below.\bigskip

\\

\newline

Csato G., Dacorogna B. et Kneuss O., \emph{The pullback equation for

differential forms}, Birkha\"{u}ser, PNLDE Series, New York, \textbf{83} (2012).

Wed, 23 Jan 2013

16:00 - 17:00
SR2

Cubulating small cancellation and random groups

John Mackay
(University of Oxford)
Abstract

I'll discuss work of Wise and Ollivier-Wise that gives cubulations of certain small cancellation and random groups, which in turn shows that they do not have property (T).

Wed, 23 Jan 2013
10:30
Queen's College

Flexagons

Martin Palmer -- Queen's Lecture C
Abstract

There appears to be no universally accepted rigorous definition of a "flexagon" (although I will try to give a reasonable one in the talk). Examples of flexagons were most likely discovered and rediscovered many times in the past - but they were "officially" discovered in 1939, a serendipitous consequence of the discrepancy between US paper sizes and sensible paper sizes.* I'll describe a couple of the most famous examples of flexagons (with actual models to play with of course), and also introduce some of the more abstract theory of flexagons which has been developed. Feel free to bring your own models of flexagons!

* The views expressed herein are solely those of the speaker, and do not reflect the official position of the Kinderseminar w.r.t. international paper standards. 

Wed, 23 Jan 2013

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

Dielectrowetting driven spreading of droplets and shaping of liquid interfaces

Glen McHale
(Northumbria University)
Abstract

The contact angle of a liquid droplet on a surface can be controlled by making the droplet part of a capacitive structure where the droplet contact area forms one electrode to create an electrowetting-on-dielectric (EWOD) configuration [1]. EWOD introduces a capacitive energy associated with the charging of the solid-liquid interface, in addition to the surface free energy, to allow the contact angle, and hence effective hydrophilicity of a surface, to be controlled using a voltage. However, the substrate must include an electrode coated with a thin, and typically hydrophobic, solid insulating layer and the liquid must be conducting, typically a salt solution, and have a direct electrical contact. In this seminar I show that reversible voltage programmed control of droplet wetting of a surface can be achieved using non-conducting dielectric liquids and without direct electrical contact. The approach is based on non-uniform electric fields generated via interdigitated electrodes and liquid dielectrophoresis to alter the energy balance of a droplet on a solid surface (Fig. 1a,b). Data is shown for thick droplets demonstrating the change in the cosine of the contact angle is proportional to the square of the applied voltage and it is shown theoretically why this equation, similar to that found for EWOD can be expected [2]. I also show that as the droplet spreads and becomes a film, the dominant change in surface free energy to be expected occurs by a wrinkling/undulation of the liquid-vapor interface (Fig. 1c) [3,4]. This type of wrinkle is shown to be a method to create a voltage programmable phase grating [5]. Finally, I argue that dielectrowetting can be used to modify the dynamic contact angle observed during droplet spreading and that this is described by a modified form of the Hoffman-de Gennes law for the relationship between edge speed and contact angle. In this dynamic situation, three distinct regimes can be predicted theoretically and are observed experimentally. These correspond to an exponential approach to equilibrium, a pure Tanner’s law type power law and a voltage determined superspreading power law behavior [6]. 

Acknowledgements

GM acknowledges the contributions of colleagues Professor Carl Brown, Dr. Mike Newton, Dr. Gary Wells and Mr Naresh Sampara at Nottingham Trent University who were central to the development of this work. EPSRC funding under grant EP/E063489/1 is also gratefully acknowledged.

References

[1]   F. Mugele and J.C. Baret, “Electrowetting: From basics to applications”, J. Phys.: Condens. Matt., 2005, 17, R705-R774.

[2]  G. McHale, C.V. Brown, M.I. Newton, G.G. Wells and N. Sampara, “Dielectrowetting driven spreading of droplets”, Phys. Rev. Lett., 2011, 107, art. 186101.

[3]  C.V. Brown, W. Al-Shabib, G.G. Wells, G. McHale and M.I. Newton, “Amplitude scaling of a static wrinkle at an oil-air interface created by dielectrophoresis forces”, Appl. Phys. Lett., 2010,  97, art. 242904.

[4]  C.V. Brown, G. McHale and N.J. Mottram, “Analysis of a static wrinkle on the surface of a thin dielectric liquid layer formed by dielectrophoresis forces”, J. Appl. Phys. 2011, 110 art. 024107.

[5]  C.V. Brown, G. G. Wells, M.I. Newton and G. McHale, “Voltage-programmable liquid optical interface”, Nature Photonics, 2009, 3, 403-405.

[6]  C.V. Brown, G. McHale and N. Sampara, “Voltage induced superspreading of droplets”, submitted (2012)

Tue, 22 Jan 2013

14:30 - 15:30
L3

Long paths and cycles in subgraphs of the cube

Eoin Long
(Queen Mary)
Abstract

Let $Q_n$ denote the graph of the $n$-dimensional cube with vertex set $\{0, 1\}^n$

in which two vertices are adjacent if they differ in exactly one coordinate.

Suppose $G$ is a subgraph of $Q_n$ with average degree at least $d$. How long a

path can we guarantee to find in $G$?

My aim in this talk is to show that $G$ must contain an exponentially long

path. In fact, if $G$ has minimum degree at least $d$ then $G$ must contain a path

of length $2^d − 1$. Note that this bound is tight, as shown by a $d$-dimensional

subcube of $Q^n$. I hope to give an overview of the proof of this result and to

discuss some generalisations.

Mon, 21 Jan 2013

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

Rough Solutions of Einstein Vacuum equations in CMCSH gauge

Qian Wang
(OxPDE, University of Oxford)
Abstract

I will report my work on rough solutions to Cauchy problem for the Einstein vacuum equations in CMC spacial harmonic gauge, in which we obtain the local well-posedness result in $H^s$, $s$>$2$. The novelty of this approach lies in that, without resorting to the standard paradifferential regularization over the rough, Einstein metric $\bf{g}$, we manage to implement the commuting vector field approach to prove Strichartz estimate for geometric wave equation $\Box_{\bf{g} } \phi=0$ directly. If time allows, I will talk about my work in progress on the sharp results for the more general quasilinear wave equations by vector fields approach.

Mon, 21 Jan 2013

15:45 - 16:45
L3

Balloons and Hoops and their Universal Finite Type Invariant, BF Theory, and an Ultimate Alexander Invariant

Dror Bar-Natan
(Toronto and Newton Institute)
Abstract

Balloons are two-dimensional spheres. Hoops are one dimensional loops. Knotted Balloons and Hoops (KBH) in 4-space behave much like the first and second fundamental groups of a topological space - hoops can be composed like in π1, balloons like in π2, and hoops "act" on balloons as π1 acts on π2. We will observe that ordinary knots and tangles in 3-space map into KBH in 4-space and become amalgams of both balloons and hoops.

We give an ansatz for a tree and wheel (that is, free-Lie and cyclic word) -valued invariant ζ of KBHs in terms of the said compositions and action and we explain its relationship with finite type invariants. We speculate that ζ is a complete evaluation of the BF topological quantum field theory in 4D, though we are not sure what that means. We show that a certain "reduction and repackaging" of ζ is an "ultimate Alexander invariant" that contains the Alexander polynomial (multivariable, if you wish), has extremely good composition properties, is evaluated in a topologically meaningful way, and is least-wasteful in a computational sense. If you believe in categorification, that's a wonderful playground.

For further information see http://www.math.toronto.edu/~drorbn/Talks/Oxford-130121/

Mon, 21 Jan 2013

15:45 - 16:45
Oxford-Man Institute

The stochastic quasi-geostrophic equation

RONGCHAN ZHU
(Bielefeld University)
Abstract
In this talk we talk about the 2D stochastic quasi-geostrophic equation on T2 for general parameter _ 2 (0; 1) and multiplicative noise. We
prove the existence of martingale solutions and Markov selections for multiplicative noise for all _ 2 (0; 1) . In the subcritical case _ > 1=2, we prove existence and uniqueness of (probabilistically) strong solutions. We obtain the ergodicity for _ > 1=2 for degenerate noise. We also study the long time behaviour of the solutions tothe 2D stochastic quasi-geostrophic equation on T2 driven by real linear multiplicative noise and additive noise in the subcritical case by proving the existence of a random attractor.
Mon, 21 Jan 2013

14:15 - 15:15
Oxford-Man Institute

Contraction Rates for Bayesian Inverse Problems

SERGIOS AGAPIOU
(University of Warwick)
Abstract

Abstract: We consider the inverse problem of recovering u from a noisy, indirect observation We adopt a Bayesian approach, in which the aim is to determine the posterior distribution _y on the unknown u, given some prior information about u in the form of a prior distribution _0,together with the observation y. We are interested in the question of posterior consistency, which is the characterization of the behaviour of _y as more data become available. We work in a separable Hilbert space X, assuming a Gaussian prior _0 = N(0; _ 2C0). The theory is developed using two concrete problems: i) a family of linear inverse problems in which we want to _nd u from y where y = A

Mon, 21 Jan 2013

12:00 - 13:00
L3

Umbral Moonshine

Miranda Cheng
(Jussieu)
Abstract
Mock modular forms are generalizations of modular forms first introduced by Ramanujan. Their properties had been mysterious for 80 years until various breakthroughs in the past 10 years. In the last century, the Monstrous Moonshine Conjecture initiated the study of the fascinating relation between modular forms and sporadic groups. In this talk I will report a conjecture on a new type of "umbral moonshine" relating a set of mock modular forms, including many of Ramanujan's original examples, and the representation theory of a set of finite groups. One instance of such a surprising umbral moonshine phenomenon relates the largest Mathieu group to the elliptic genus of K3 surfaces, as was first observed by Euguchi-Ooguri-Tachikawa in 2010. Moreover, there are hints suggesting that all occurrences of umbral moonshine have a close relation to K3-compactifications of string theory. However, despite of these tantalising hints the origin and the explanation of this umbral moonshine is still unclear at the moment. This talk is based on the arXiv pre-print: 1201.4140, 1204.2779 with John Duncan and Jeff Harvey.
Fri, 18 Jan 2013
16:00
DH 1st floor SR

Brownian Motions and Martingales under Probability Model Uncertainty

Shige Peng
(Shandong University)
Abstract

The models of Brownian motion, Poisson processes, Levy processes and martingales are frequently used as basic formulations of prices in financial market. But probability and/or distribution uncertainties cause serious problems of robustness. Nonlinear expectations (G-Expectations) and the corresponding martingales are useful tools to solve them.

Fri, 18 Jan 2013

09:45 - 11:00

DH12 Alan Tayler Room

OCIAM Meeting
Abstract

DH common room at 09:45 and from 10:00 in DH12

Thu, 17 Jan 2013

16:00 - 17:00
L3

Computing the local Cassels-Tate pairing.

Rachel Newton
(Leiden University)
Abstract

Let K be a number field and E/K be an elliptic curve. Multiplication by n induces a map from the n^2-Selmer group of E/K to the n-Selmer group. The image of this map contains the image of E(K) in the n-Selmer group and is often smaller. Thus, computing the image of the n^2-Selmer group under multiplication by n can give a tighter bound on the rank of E/K. The Cassels-Tate pairing is a pairing on the n-Selmer group whose kernel is equal to the image of the n^2-Selmer group under multiplication by n. For n=2, Cassels gave an explicit description of the Cassels-Tate pairing as a sum of local pairings and computed the local pairing in terms of the Hilbert symbol. In this talk, I will give a formula for the local Cassels-Tate pairing for n=3 and describe an algorithm to compute it for n an odd prime. This is joint work with Tom Fisher.