Fri, 12 Nov 2010

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

OCCAM Group Meeting

Various
Abstract
  • Ian Griffiths - "Taylor Dispersion in Colloidal Systems".
  • James Lottes - "Algebraic multigrid for nonsymmetric problems".
  • Derek Moulton - "Surface growth kinematics"
  • Rob Style - "Ice lens formation in freezing soils"
Fri, 12 Nov 2010

09:45 - 11:00
DH 1st floor SR

Challenges in Frictional Contact

David Nowell
(Department of Engineering Science, University of Oxford)
Abstract

Please note the earlier than usual start-time!

Thu, 11 Nov 2010

17:00 - 18:00

Partial Differential Equations: Origins, Developments and Roles in the Changing World

Professor Gui-Qiang G. Chen
(Oxford)
Abstract

The Mathematical Institute invites you to attend the Inaugural Lecture of Professor Gui-Qiang G. Chen. Professor in the Analysis of Partial Differential Equations. Examination Schools, 75-81 High Street, Oxford, OX 4BG.

There is no charge to attend but registration is required. Please register your attendance by sending an email to @email specifying the number of people in your party. Admission will only be allowed with prior registration.

---------------------------------------------------------------------------------------------------------------------------------------------------------------------

ABSTRACT

While calculus is a mathematical theory concerned with change, differential equations are the mathematician's foremost aid for describing change. In the simplest case, a process depends on one variable alone, for example time. More complex phenomena depend on several variables – perhaps time and, in addition, one, two or three space variables. Such processes require the use of partial differential equations. The behaviour of every material object in nature, with timescales ranging from picoseconds to millennia and length scales ranging from sub-atomic to astronomical, can be modelled by nonlinear partial differential equations or by equations with similar features. The roles of partial differential equations within mathematics and in the other sciences become increasingly significant. The mathematical theory of partial differential equations has a long history. In the recent decades, the subject has experienced a vigorous growth, and research is marching on at a brisk pace.

In this lecture, Professor Gui-Qiang G. Chen will present several examples to illustrate the origins, developments, and roles of partial differential equations in our changing world.

Thu, 11 Nov 2010

14:00 - 15:00
Gibson Grd floor SR

Applications of linear barycentric rational interpolation at equidistant points

Prof. Jean-Paul Berrut
(Université de Fribourg)
Abstract

Efficient linear and infinitely smooth approximation of functions from equidistant samples is a fascinating problem, at least since Runge showed in 1901 that it is not delivered by the interpolating polynomial.

In 1988, I suggested to substitute linear rational for polynomial interpolation by replacing the denominator 1 with a polynomial depending on the nodes, though not on the interpolated function. Unfortunately the so-obtained interpolant converges merely as the square of the mesh size. In 2007, Floater and Hormann have given for every integer a denominator that yields convergence of that prescribed order.

In the present talk I shall present the corresponding interpolant as well as some of its applications to differentiation, integration and the solution of boundary value problems. This is joint work with Georges Klein and Michael Floater.

Thu, 11 Nov 2010

13:00 - 14:00
SR1

Maximum principle for tensors with applications to the Ricci flow

Christopher Hopper
(University of Oxford)
Abstract

The maximum principle is one of the main tools use to understand the behaviour of solutions to the Ricci flow. It is a very powerful tool that can be used to show that pointwise inequalities on the initial data of parabolic PDE are preserved by the evolution. A particular weak maximum principle for vector bundles will be discussed with references to Hamilton's seminal work [J. Differential Geom. 17 (1982), no. 2, 255–306; MR664497] on 3-manifolds with positive Ricci curvature and his follow up paper [J. Differential Geom. 24 (1986), no. 2, 153–179; MR0862046] that extends to 4-manifolds with various curvature assumptions.

Thu, 11 Nov 2010
11:00
SR2

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

Jamshid Derakhshan
Abstract

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, 10 Nov 2010

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

Probing Profinite Properties

Owen Cotton-Barratt
(University of Oxford)
Abstract

We will investigate what one can detect about a discrete group from its profinite completion, with an emphasis on considering geometric properties.

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

Cryoprotectant transport in cartilage

Janet Elliott
(University of Alberta)
Abstract

Cryopreservation (using temperatures down to that of liquid nitrogen at

–196 °C) is the only way to preserve viability and function of mammalian cells for research and transplantation and is integral to the quickly evolving field of regenerative medicine. To cryopreserve tissues, cryoprotective agents (CPAs) must be loaded into the tissue. The loading is critical because of the high concentrations required and the toxicity of the CPAs. Our mathematical model of CPA transport in cartilage describes multi-component, multi-directional, non-dilute transport coupled to mechanics of elastic porous media in a shrinking and swelling domain.

Parameters are obtained by fitting experimental data. We show that predictions agree with independent spatially and temporally resolved MRI experimental measurements. This research has contributed significantly to our interdisciplinary group’s ability to cryopreserve human articular cartilage.

Tue, 09 Nov 2010

14:30 - 15:30
L3

Intersecting families of graphs

David Ellis
(Cambridge)
Abstract

A family of graphs F on a fixed set of n vertices is said to be triangle-intersecting if for any two graphs G,H in F, the intersection of G and H contains a triangle. Simonovits and Sos conjectured that such a family has size at most (1/8)2^{\binom{n}{2}}, and that equality holds only if F
consists of all graphs containing some fixed triangle. Recently, the author, Yuval Filmus and Ehud Friedgut proved a strengthening of this conjecture, namely that if F is an odd-cycle-intersecting family of graphs, then |F| \leq (1/8) 2^{\binom{n}{2}}. Equality holds only if F consists of all graphs containing some fixed triangle. A stability result also holds: an odd-cycle-intersecting family with size close to the maximum must be close to a family of the above form. We will outline proofs of these results, which use Fourier analysis, together with an analysis of the properties of random cuts in graphs, and some results in the theory of Boolean functions. We will then discuss some related open questions.

All will be based on joint work with Yuval Filmus (University of Toronto) and Ehud Friedgut (Hebrew University of Jerusalem).

Mon, 08 Nov 2010

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

On the stationary Navier-Stokes system with nonhomogeneous boundary data

Konstantin Pileckas
(Vilnius University)
Abstract

We study the nonhomogeneous boundary value problem for the

Navier--Stokes equations

\[

\left\{ \begin{array}{rcl}

-\nu \Delta{\bf u}+\big({\bf u}\cdot \nabla\big){\bf u} +\nabla p&=&{0}\qquad \hbox{\rm in }\;\;\Omega,\\[4pt]

{\rm div}\,{\bf u}&=&0 \qquad \hbox{\rm in }\;\;\Omega,\\[4pt]

{\bf u}&=&{\bf a} \qquad \hbox{\rm on }\;\;\partial\Omega

\end{array}\right

\eqno(1)

\]

in a bounded multiply connected domain

$\Omega\subset\mathbb{R}^n$ with the boundary $\partial\Omega$,

consisting of $N$ disjoint components $\Gamma_j$.

Starting from the famous J. Leray's paper published in 1933,

problem (1) was a subject of investigation in many papers. The

continuity equation in (1) implies the necessary solvability

condition

$$

\int\limits_{\partial\Omega}{\bf a}\cdot{\bf

n}\,dS=\sum\limits_{j=1}^N\int\limits_{\Gamma_j}{\bf a}\cdot{\bf

n}\,dS=0,\eqno(2)

$$

where ${\bf n}$ is a unit vector of the outward (with respect to

$\Omega$) normal to $\partial\Omega$. However, for a long time

the existence of a weak solution ${\bf u}\in W^{1,2}(\Omega)$ to

problem (1) was proved only under the stronger condition

$$

{\cal F}_j=\int\limits_{\Gamma_j}{\bf a}\cdot{\bf n}\,dS=0,\qquad

j=1,2,\ldots,N. \eqno(3)

$$

During the last 30 years many partial results concerning the

solvability of problem (1) under condition (2) were obtained. A

short overview of these results and the detailed study of problem

(1) in a two--dimensional bounded multiply connected domain

$\Omega=\Omega_1\setminus\Omega_2, \;\overline\Omega_2\subset

\Omega_1$ will be presented in the talk. It will be proved that

this problem has a solution, if the flux ${\cal

F}=\int\limits_{\partial\Omega_2}{\bf a}\cdot{\bf n}\,dS$ of the

boundary datum through $\partial\Omega_2$ is nonnegative (outflow

condition).

Mon, 08 Nov 2010

16:00 - 17:00
SR1

Complex multiplication

Frank Gounelas
(Oxford)
Abstract

In this talk I will introduce some of the basic ideas linking the theory of complex multiplication for elliptic curves and class field theory. Time permitting, I'll mention Shimura and Taniyama's work on the case of abelian varieties.

Mon, 08 Nov 2010

15:45 - 16:45

The fundamental group of $\text{ Hom}(\bb Z^k,G)$

Alexandra Pettet
(Oxford)
Abstract

Let $G $ be a compact Lie group, and consider the variety $\text {Hom} (\bb Z^k,G)$

of representations of the rank $k$ abelian free group $\bb Z^k$ into $G$. We prove

that the fundamental group of $\text {Hom} (\bb Z^k,G) $ is naturally isomorphic to direct

product of $k$ copies of the fundamental group of $G$. This is joint work with

Jose Manuel Gomez and Juan Souto.

Mon, 08 Nov 2010
15:45
Eagle House

Stochastic flows in the Brownian net.

Jan Swart
Abstract

In this talk, we will look at the diffusive scaling limit of a class of

one-dimensional random walks in a random space-time environment. In the

scaling limit, this gives rise to a so-called stochastic flow of kernels as

introduced by Le Jan and Raimond and generalized by Howitt and Warren. We will

prove several new results about these stochastic flows of kernels by making

use of the theory of the Brownian web and net. This is joint work with R. Sun

and E. Schertzer.