Fri, 03 Jun 2016
14:15
C3

The Weak Constraint Formulation of Bayesian Inverse Problems

Sean Lim
(Oxford)
Abstract

Inverse problems arise in many applications. One could solve them by adopting a Bayesian framework, to account for uncertainty which arises from our observations. The solution of an inverse problem is given by a probability distribution. Usually, efficient methods at hand to extract information from this probability distribution involves the solution of an optimization problem, where the objective function is highly nonconvex. In this talk, we explore a reformulation of inverse problems, which helps in convexifying the objective function. We also discuss a method to sample from this probability distribution.

Fri, 03 Jun 2016

11:00 - 12:00
C2

The de Rham algebra of a point in affine space

Damian Rössler
(Oxford)
Abstract

Following the notes and an article of B. Bhatt, we shall compute the de Rham algebra of the immersion of the zero-section of affine space over Z/p^nZ.

This talk is part of the workshop on Beilinson's approach to p-adic Hodge theory.

Fri, 03 Jun 2016

10:00 - 11:00
L4

Unanticipated interaction loops involving autonomous systems

James Sutherland
(Thales Security and Consulting)
Abstract

We are entering a world where unmanned vehicles will be common. They have the potential to dramatically decrease the cost of services whilst simultaneously increasing the safety record of whole industries.

Autonomous technologies will, by their very nature, shift decision making responsibility from individual humans to technology systems. The 2010 Flash Crash showed how such systems can create rare (but not inconceivably rare) and highly destructive positive feedback loops which can severely disrupt a sector.

In the case of Unmanned Air Systems (UAS), how might similar effects obstruct the development of the Commercial UAS industry? Is it conceivable that, like the high frequency trading industry at the heart of the Flash Crash, the algorithms we provide UAS to enable autonomy could decrease the risk of small incidents whilst increasing the risk of severe accidents? And if so, what is the relationship between probability and consequence of incidents?

Fri, 03 Jun 2016
10:00
N3.12

(Strongly) quasihereditary algebras

Teresa Conde
(Oxford)
Abstract

Quasihereditary algebras are the 'finite' version of a highest weight category, and they classically occur as blocks of the category O and as Schur algebras.

They also occur as endomorphism algebras associated to modules endowed with special filtrations. The quasihereditary algebras produced in these cases are very often strongly quasihereditary (i.e. their standard modules have projective dimension at most 1).

In this talk I will define (strongly) quasihereditary algebras, give some motivation for their study, and mention some nice strongly quasihereditary algebras found in nature.

Thu, 02 Jun 2016
17:30
L6

Analytic properties of zeta functions and model theory

Jamshid Derakhshan
(Oxford)
Abstract
I will talk about meromorphic continuation of Euler products and zeta functions arising from model theory, and applications to
algebra and number theory.
Thu, 02 Jun 2016

16:00 - 17:00
C5

A hyperkähler metric on the cotangent bundle of a complex reductive group

Maxence Mayrand
(Oxford)
Abstract

Abstract: A hyperkähler manifold is a Riemannian manifold $(M,g)$ with three complex structures $I,J,K$ satisfying the quaternion relations, i.e. $I^2=J^2=K^2=IJK=-1$, and such that $(M,g)$ is Kähler with respect to each of them. I will describe a construction due to Kronheimer which gives such a structure on the cotangent bundle of any complex reductive group.
 

Thu, 02 Jun 2016
16:00
L6

The Hasse norm principle for abelian extensions

Rachel Newton
(University of Reading)
Abstract

Let $L/K$ be an extension of number fields and let $J_L$ and $J_K$ be the associated groups of ideles. Using the diagonal embedding, we view $L^*$ and $K^*$ as subgroups of $J_L$ and $J_K$ respectively. The norm map $N: J_L\to  J_K$ restricts to the usual field norm $N: L^*\to K^*$ on $L^*$. Thus, if an element of $K^*$ is a norm from $L^*$, then it is a norm from $J_L$. We say that the Hasse norm principle holds for $L/K$ if the converse holds, i.e. if every element of $K^*$ which is a norm from $J_L$ is in fact a norm from $L^*$. 

The original Hasse norm theorem states that the Hasse norm principle holds for cyclic extensions. Biquadratic extensions give the smallest examples for which the Hasse norm principle can fail. One might ask, what proportion of biquadratic extensions of $K$ fail the Hasse norm principle? More generally, for an abelian group $G$, what proportion of extensions of $K$ with Galois group $G$ fail the Hasse norm principle? I will describe the finite abelian groups for which this proportion is positive. This involves counting abelian extensions of bounded discriminant with infinitely many local conditions imposed, which is achieved using tools from harmonic analysis.

This is joint work with Christopher Frei and Daniel Loughran.

Thu, 02 Jun 2016

16:00 - 17:30
L4

CANCELLED

Nizar Touzi
(Ecole Polytechnique Paris)
Abstract

CANCELLED

Thu, 02 Jun 2016

16:00 - 17:00
L3

The spreading of a surfactant-laden drop down an inclined and pre-wetted substrate - Numerics, Asymptotics and Linear Stability Analysis

Shailesh Naire
(Keele)
Abstract

Surfactants are chemicals that adsorb onto the air-liquid interface and lower the surface tension there. Non-uniformities in surfactant concentration result in surface tension gradients leading to a surface shear stress, known as a Marangoni stress. This stress, if sufficiently large, can influence the flow at the interface.

Surfactants are ubiquitous in many aspects of technology and industry to control the wetting properties of liquids due to  their ability to modify surface tension. They are used in detergents, crop spraying, coating processes and oil recovery. Surfactants also occur naturally, for example in the mammalian lung. They reduce the surface tension within the liquid lining the airways, which assists in preventing the collapse of the smaller airways. In the lungs of premature infants, the quantity of surfactant produced is insufficient as the lungs are under- developed. This leads to a respiratory distress syndrome which is treated by Surfactant Replacement Therapy.

Motivated by this medical application, we theoretically investigate a model problem involving the spreading of a drop laden with an insoluble surfactant down an inclined and pre-wetted substrate.  Our focus is in understanding the mechanisms behind a “fingering” instability observed experimentally during the spreading process. High-resolution numerics reveal a multi-region asymptotic wave-like structure of the spreading droplet. Approximate solutions for each region is then derived using asymptotic analysis. In particular, a quasi-steady similarity solution is obtained for the leading edge of the droplet. A linear stability analysis of this region shows that the base state is linearly unstable to long-wavelength perturbations. The Marangoni effect is shown to be the dominant driving mechanism behind this instability at small wavenumbers. A small wavenumber stability criterion is derived and it's implication on the onset of the fingering instability will be discussed.

Thu, 02 Jun 2016

14:00 - 15:00
L5

CUR Matrix Factorizations: Algorithms, Analysis, Applications

Professor Mark Embree
(Virginia Tech)
Abstract
Interpolatory matrix factorizations provide alternatives to the singular value decomposition for obtaining low-rank approximations; this class includes the CUR factorization, where the C and R matrices are subsets of columns and rows of the target matrix.  While interpolatory approximations lack the SVD's optimality, their ingredients are easier to interpret than singular vectors: since they are copied from the matrix itself, they inherit the data's key properties (e.g., nonnegative/integer values, sparsity, etc.). We shall provide an overview of these approximate factorizations, describe how they can be analyzed using interpolatory projectors, and introduce a new method for their construction based on the
Discrete Empirical Interpolation Method (DEIM).  To conclude, we will use this algorithm to gain insight into accelerometer data from an instrumented building.  (This talk describes joint work with Dan Sorensen (Rice) and collaborators in Virginia Tech's Smart Infrastucture Lab.)
Thu, 02 Jun 2016
12:00
L6

Regularity Theory for Symmetric-Convex Functionals of Linear Growth

Franz Gmeineder
(Oxford)
Abstract
In this talk I will report on regularity results for convex autonomous functionals of linear growth which depend on the symmetric gradients. Here, generalised minimisers will be attained in the space BD of functions of bounded of deformation which consists of those summable functions for which the distributional symmetric gradient is a Radon measure of finite total variation. Due to Ornstein's Non--Inequality, BD contains BV as a proper subspace and thus the full weak gradients of BD--functions might not exist even as Radon measures. In this talk, I will discuss conditions on the variational integrand under which partial regularity or higher Sobolev regularity for minima and hence the existence and higher integrability of the full gradients of minima can be established. This is joint work with Jan Kristensen.
Wed, 01 Jun 2016

16:00 - 17:00
C1

Finding CAT(-1) structures on groups

Sam Brown
(UCL London)
Abstract

I will describe a method to find negatively curved structures on some groups, by manipulating metrics on piecewise hyperbolic complexes. As an example, I will prove that hyperbolic limit groups are CAT(-1).

Wed, 01 Jun 2016

15:00 - 16:00
L6

Homology torsion growth in right angled groups

Miklos Abert
(Renyi Institute Budapest)
Abstract

Torsion in homology are invariants that have received increasing attention over the last twenty years, by the work of Lück, Bergeron, Venkatesh and others. While there are various vanishing results, no one has found a finitely presented group where the torsion in the first homology is exponential over a normal chain with trivial intersection. On the other hand, conjecturally, every 3-manifold group should be an example.

A group is right angled if it can be generated by a list of infinite order elements, such that every element commutes with its neighbors. Many lattices in higher rank Lie groups (like SL(n,Z), n>2) are right angled. We prove that for a right angled group, the torsion in the first homology has subexponential growth for any Farber sequence of subgroups, in particular, any chain of normal subgroups with trivial intersection. We also exhibit right angled cocompact lattices in SL(n,R) (n>2), for which the Congruence Subgroup Property is not known. This is joint work with Nik Nikolov and Tsachik Gelander.

Wed, 01 Jun 2016
15:00
L4

Computing Factor Tables, and Tables of Class Numbers

Roger Heath-Brown
(University of Oxford)
Abstract

Efficient factorization or efficient computation of class 
numbers would both suffice to break RSA.  However the talk lies more in 
computational number theory rather than in cryptography proper. We will 
address two questions: (1) How quickly can one construct a factor table 
for the numbers up to x?, and (2) How quickly can one do the same for the 
class numbers (of imaginary quadratic fields)? Somewhat surprisingly, the 
approach we describe for the second problem is motivated by the classical 
Hardy-Littlewood method.

Tue, 31 May 2016

15:45 - 16:45
L4

Non-reductive GIT for graded groups and curve counting

Greg Berczi
(Oxford)
Abstract
I will start with a short report on recent progress in constructing quotients by actions of non-reductive algebraic groups and extending Mumford's geometric invariant theory to a wide class of non-reductive linear algebraic groups which we call graded groups. I will then explain how certain components of the Hilbert scheme of points on smooth varieties can be described as non-reductive quotients and why this description is especially efficient to study the topology of Hilbert schemes. In particular I will explain how equivariant localisation can be used to develop iterated residue formulae for tautological integrals on geometric subsets of Hilbert schemes and I present new formulae counting curves on surfaces (and more generally hypersurfaces in smooth varieties) with given singularity classes. This talk is based on joint works with Frances Kirwan, Thomas Hawes, Brent Doran and Andras Szenes.