Thu, 04 Nov 2010

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

Interfacial Dynamics in the Presence of Additives

Omar Matar
(Imperial College London)
Abstract

The presence of additives, which may or may not be surface-active, can have a dramatic influence on interfacial flows. The presence of surfactants alters the interfacial tension and drives Marangoni flow that leads to fingering instabilities in drops spreading on ultra-thin films. Surfactants also play a major role in coating flows, foam drainage, jet breakup and may be responsible for the so-called ``super-spreading" of drops on hydrophobic substrates. The addition of surface-inactive nano-particles to thin films and drops also influences the interfacial dynamics and has recently been shown to accelerate spreading and to modify the boiling characteristics of nanofluids. These findings have been attributed to the structural component of the disjoining pressure resulting from the ordered layering of nanoparticles in the region near the contact line. In this talk, we present a collection of results which demonstrate that the above-mentioned effects of surfactants and nano-particles can be captured using long-wave models.

Thu, 04 Nov 2010

14:00 - 15:00
Gibson Grd floor SR

The Convergence Behaviour of BiCG

Prof. Eric de Sturler
(Virginia Tech)
Abstract

The Bi-Conjugate Gradient method (BiCG) is a well-known iterative solver (Krylov method) for linear systems of equations, proposed about 35 years ago, and the basis for some of the most successful iterative methods today, like BiCGSTAB. Nevertheless, the convergence behavior is poorly understood. The method satisfies a Petrov-Galerkin property, and hence its residual is constrained to a space of decreasing dimension (decreasing one per iteration). However, that does not explain why, for many problems, the method converges in, say, a hundred or a few hundred iterations for problems involving a hundred thousand or a million unknowns. For many problems, BiCG converges not much slower than an optimal method, like GMRES, even though the method does not satisfy any optimality properties. In fact, Anne Greenbaum showed that every three-term recurrence, for the first (n/2)+1 iterations (for a system of dimension n), is BiCG for some initial 'left' starting vector. So, why does the method work so well in most cases? We will introduce Krylov methods, discuss the convergence of optimal methods, describe the BiCG method, and provide an analysis of its convergence behavior.

Thu, 04 Nov 2010

13:00 - 14:00
SR1

Hypersymplectic Manifolds and Harmonic Maps

Markus Röser
(University of Oxford)
Abstract

In the first part of this talk we introduce hypersymplectic manifolds and compare various aspects of their geometry with related notions in hyperkähler geometry. In particular, we explain the hypersymplectic quotient construction. Since many examples of hyperkähler structures arise from Yang-Mills moduli spaces via the hyperkähler quotient construction, we discuss the gauge theoretic equations for a (twisted) harmonic map from a Riemann surface into a compact Lie group. They can be viewed as the zero condition for a hypersymplectic moment map in an infinite-dimensional setup.

Thu, 04 Nov 2010
13:00
DH 1st floor SR

Learning and Optimisation in Bandit Problems

Nathaniel Korda
Abstract

An agent is presented with an N Bandit (Fruit) machines. It is assumed that each machine produces successes or failures according to some fixed, but unknown Bernoulli distribution. If the agent plays for ever, how can he/she choose a strategy that ensures the average successes observed tend to the parameter of the "best" arm?

Alternatively suppose that the agent recieves a reward of a^n at the nth button press for a success, and 0 for a failure; now how can the agent choose a strategy to optimise his/her total expected rewards over all time? These are two examples of classic Bandit Problems.

We analyse the behaviour of two strategies, the Narendra Algorithm and the Gittins Index Strategy. The Narendra Algorithm is a "learning"

strategy, in that it answers the first question in the above paragraph, and we demonstrate this remains true when the sequences of success and failures observed on the machines are no longer i.i.d., but merely satisfy an ergodic condition. The Gittins Index Strategy optimises the reward stream given above. We demonstrate that this strategy does not "learn" and give some new explicit bounds on the Gittins Indices themselves.

Thu, 04 Nov 2010
11:00
SR2

"Conjugacy classes in quotients of algebraic groups, model theory, and a transfer principle".

Jamshid Derakhshan
Abstract

 In this talk, I will present joint work with Uri Onn, Mark Berman, and Pirita Paajanen.

Let G be a linear algebraic group defined over the integers. Let O be a compact discrete valuation ring with a finite residue field of cardinality q and characteristic p. The group

G(O) has a filtration by congruence subgroups

G_m(O) (which is by definition the kernel of reduction map modulo P^m where P is the maximal ideal of O).

Let c_m=c_m(G(O))  denote the number of conjugacy classes in the finite quotient group G(O)/G_m(O) (which is called the mth congruence quotient of G(O)).  The conjugacy class zeta function of

G(O) is defined to be the Dirichlet series Z_{G(O)}(s)=\sum_{m=0,1,...} c_m q^_{-ms}, where s is a complex number with Re(s)>0. This zeta function was defined by du Sautoy when G is a p-adic analytic group and O=Z_p, the ring of p-adic integers, and he proved that in this case it is a rational function in p^{-s}.  We consider the question of dependence of this zeta function on p and more generally on the ring O.

We prove that for certain algebraic groups, for all compact discrete valuation rings with finite residue field of cardinality q and sufficiently large residue characteristic p, the conjugacy class zeta function is a rational function in q^{-s} which depends only on q and not on the structure of the ring. Note that this applies also to positive characteristic local fields.

A key in the proof is a transfer principle. Let \psi(x) and f(x) be resp.

definable sets and functions in Denef-Pas language.

For a local field K, consider the local integral Z(K,s)=\int_\psi(K)

|f(x)|^s dx, where | | is norm on K and dx normalized absolute value

giving the integers O of K volume 1. Then there is some constant

c=c(f,\psi) such that  for all local fields K of residue characteristic larger than c and residue field of cardinality q, the integral Z(K,s) gives the same rational function in q^{-s} and takes the same value as a complex function of s.

This transfer principle is more general than the specialization to local fields of the special case when there is no additive characters of the motivic transfer principle of Cluckers and Loeser since their result is the case when the integral is zero.

The conjugacy class zeta function is related to the representation zeta function which counts number of irreducible complex representations in each degree (provided there are finitely many or finitely many natural classes) as was shown in the work of Lubotzky and Larsen, and gives information on analytic properties of latter zeta function.

Wed, 03 Nov 2010

11:30 - 12:30
ChCh, Tom Gate, Room 2

What is property (T) and why should we care about it?

Ric Wade
(University of Oxford)
Abstract

This talk will be an introduction to property (T). It was originally introduced by Kazhdan as a method of showing that certain discrete subgroups of Lie groups are finitely generated, but has expanded to become a widely used tool in group theory. We will take a short tour of some of its uses.

Wed, 03 Nov 2010
10:10
OCCAM Common Room (RI2.28)

Knots and elasticity

Sebastien Neukirch
(Universite Pierre et Marie Curie)
Abstract

We derive solutions of the Kirchhoff equations for a knot tied on an infinitely long elastic rod subjected to combined tension and twist. We consider the case of simple (trefoil) and double (cinquefoil) knots; other knot topologies can be investigated similarly. The rod model is based on Hookean elasticity but is geometrically non-linear. The problem is formulated as a non-linear self-contact problem with unknown contact regions. It is solved by means of matched asymptotic expansions in the limit of a loose knot. Without any a priori assumption, we derive the topology of the contact set, which consists of an interval of contact flanked by two isolated points of contacts. We study the influence of the applied twist on the equilibrium and find an instability for a threshold value of the twist.

Tue, 02 Nov 2010

16:00 - 17:00
DH 3rd floor SR

Geoghegan stacks and finiteness properties of groups

Benno Kuckuck
(Oxford University)
Abstract

Geoghegan's stack construction is a tool for analysing groups

that act on simply connected CW complexes, by providing a topological

description in terms of cell stabilisers and the quotient complex,

similar to what Bass-Serre theory does for group actions on trees. We

will introduce this construction and see how it can be used to give

results on finiteness properties of groups.

Tue, 02 Nov 2010

15:45 - 16:45
L3

Motivic Donaldson-Thomas invariants and 3-manifolds

Ben Davison
(Oxford)
Abstract

I will describe recent work on motivic DT invariants for 3-manifolds, which are expected to be a refinement of Chern-Simons theory. The conclusion will be that these should be possible to define and work with, but there will be some interesting problems along the way. There will be a discussion of the problem of upgrading the description of the moduli space of flat connections as a critical locus to the problem of describing the fundamental group algebra of a 3-fold as a "noncommutative critical locus," including a recent topological result on obstructions for this problem. I will also address the question of how a motivic DT invariant may be expected to pick up a finer invariant of 3-manifolds than just the fundamental group.

Tue, 02 Nov 2010

13:15 - 13:45
Gibson Grd floor SR

Accurate telemonitoring of Parkinson's disease symptom severity using nonlinear signal processing and statistical machine learning

Athanasios Tsanas
(OCIAM and SAMP)
Abstract

This work demonstrates how we can extract clinically useful patterns

extracted from time series data (speech signals) using nonlinear signal
processing and how to exploit those patterns using robust statistical
machine learning tools, in order to estimate remotely and accurately
average Parkinson's disease symptom severity. 

 

Tue, 02 Nov 2010

12:00 - 13:00
L3

Lattice String Field Theory: The 1d linear dilaton

Francis Bursa (Cambridge)
Abstract

String field theory is a candidate for a full non-perturbative definition

of string theory. We aim to define string field theory on a space-time

lattice to investigate its behaviour at the quantum level. Specifically, we

look at string field theory in a one dimensional linear dilaton background,

using level truncation to restrict the theory to a finite number of fields.

I will report on our preliminary results at level-0 and level-1.

Mon, 01 Nov 2010

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

What is a circle-valued map made of?

Petru Mironescu
(Universite Lyon 1)
Abstract

The maps $u$ which are continuous in ${\mathbb R}^n$ and circle-valued are precisely the maps of the form $u=\exp (i\varphi)$, where the phase $\varphi$ is continuous and real-valued.

In the context of Sobolev spaces, this is not true anymore: a map $u$ in some Sobolev space $W^{s,p}$ need not have a phase in the same space. However, it is still possible to describe all the circle-valued Sobolev maps. The characterization relies on a factorization formula for Sobolev maps, involving three objects: good phases, bad phases, and topological singularities. This formula is the analog, in the circle-valued context, of Weierstrass' factorization theorem for holomorphic maps.

The purpose of the talk is to describe the factorization and to present a puzzling byproduct concerning sums of Dirac masses.

Mon, 01 Nov 2010

16:00 - 17:00
SR1

Primes in short arithmetic progressions

James Maynard
(Oxford)
Abstract

The Siegel-Walfisz theorem gives an asymptotic estimate for the number of primes in an arithmetic progression, provided the modulus of the progression is small in comparison with the length of the progression. Counting primes is harder when the modulus is not so small compared to the length, but estimates such as Linnik's constant and the Brun-Titchmarsh theorem give us some information. We aim to look in particular at upper bounds for the number of primes in such a progression, and improving the Brun-Titchmarsh bound.

Mon, 01 Nov 2010

15:45 - 16:45
L3

Analogues of Euler characteristic

Tom Leinster
(Glasgow)
Abstract

There is a close but underexploited analogy between the Euler characteristic

of a topological space and the cardinality of a set. I will give a quite

general definition of the "magnitude" of a mathematical structure, framed

categorically. From this single definition can be derived many

cardinality-like invariants (some old, some new): the Euler characteristic

of a manifold or orbifold, the Euler characteristic of a category, the

magnitude of a metric space, the Euler characteristic of a Koszul algebra,

and others. A conjecture states that this purely categorical definition

also produces the classical invariants of integral geometry: volume, surface

area, perimeter, .... No specialist knowledge will be assumed.

Mon, 01 Nov 2010

12:00 - 13:00
L3

New three-generation models from the heterotic standard embedding

Rhys Davies
(Oxford)
Abstract

Recently, two new Calabi-Yau threefolds have been discovered which have small Hodge numbers, and give rise to three chiral generations of fermions via the so-called 'standard embedding' compactification of the heterotic string.
In this talk I will describe how to deform the standard embedding on these manifolds in order to achieve the correct gauge group.  I will also describe how to calculate the resulting spectrum and interactions, which is still work in progress.

Fri, 29 Oct 2010
14:15
DH 1st floor SR

Stock Loans in Incomplete Markets

Matheus Grasselli
(McMaster University Canada)
Abstract

A stock loan is a contract between two parties: the lender, usually a bank or other financial institution providing a loan, and the borrower, represented by a client who owns one share of a stock used as collateral for the loan. Several reasons might motivate the client to get into such a deal. For example he might not want to sell his stock or even face selling restrictions, while at the same time being in need of available funds to attend to another financial operation. In Xia and Zhou (2007), a stock loan is modeled as a perpetual American option with a time varying strike and analyzed in detail within the Black-Scholes framework. In this paper, we extend the valuation of such loans to an incomplete market setting, which takes into account the natural trading restrictions faced by the client. When the maturity of the loan is infinite we obtain an exact formula for the value of the loan fee to be charged by the bank based on a result in Henderson (2007). For loans of finite maturity, we characterize its value using a variational inequality first presented in Oberman and Zariphopoulou (2003). In both cases we show analytically how the fee varies with the model parameters and illustrate the results numerically. This is joint work with Cesar G. Velez (Universidad Nacional de Colombia).

Fri, 29 Oct 2010

11:45 - 12:15
DH 1st floor SR

OCIAM internal seminar

John Allen and Angela Mihai
(Oxford)
Abstract

John Allen: The Bennett Pinch revisited

Abstract: The original derivation of the well-known Bennett relation is presented. Willard H. Bennett developed a theory, considering both electric and magnetic fields within a pinched column, which is completely different from that found in the textbooks. The latter theory is based on simple magnetohydrodynamics which ignores the electric field.

The discussion leads to the interesting question as to whether the possibility of purely electrostatic confinement should be seriously considered.

Angela Mihai: A mathematical model of coupled chemical and electrochemical processes arising in stress corrosion cracking

Abstract: A general mathematical model for the electrochemistry of corrosion in a long and narrow metal crack is constructed by extending classical kinetic models to also incorporate physically realistic kinematic conditions of metal erosion and surface film growth. In this model, the electrochemical processes are described by a system of transport equations coupled through an electric field, and the movement of the metal surface is caused, on the one hand, by the corrosion process, and on the other hand, by the undermining action of a hydroxide film, which forms by consuming the metal substrate. For the model problem, approximate solutions obtained via a combination of analytical and numerical methods indicate that, if the diffusivity of the metal ions across the film increases, a thick unprotective film forms, while if the rate at which the hydroxide produces is increased, a thin passivating film develops.