Past

SPDEs with Lévy noise can be used to model chemical, physical or biological phenomena which contain uncertainties. When discretising these SPDEs in order to solve them numerically the problem might be of large order. The goal is to save computational time by replacing large scale systems by systems of low order capturing the main information of the full model. In this talk, we therefore discuss balancing related MOR techniques. We summarise already existing results and discuss recent achievements.

Calabi-Yau spaces provide well-understood examples of supersymmetric vacua in supergravity. The supersymmetry conditions on such spaces can be rephrased as the existence and integrability of a particular geometric structure. When fluxes are allowed, the conditions are more complicated and the analogue of the geometric structure is not well understood.
In this talk, I will review work that defines the analogue of Calabi-Yau geometry for generic D=4, N=2 supergravity backgrounds. The geometry is characterised by a pair of structures in generalised geometry, where supersymmetry is equivalent to integrability of the structures. I will also discuss the extension AdS backgrounds, where deformations of these geometric structures correspond to exactly marginal deformations of the dual field theories.

The so-called Ax-Lindemann theorem asserts that the Zariski closure of a certain subset of a homogeneous variety (typically abelian or Shimura) is itself a homogeneous variety. This theorem has recently been proven in full generality by Klingler-Ullmo-Yafaev and Gao. This statement leads to a variety of questions about topological and Zariski closures of certain sets in  homogeneous varieties which can be approached by both ergodic and o-minimal techniques.  In a series of recent papers with E. Ullmo, we formulate conjectures and prove a certain number of results  of this type.  In this talk I will present these conjectures and results and explain the ideas of proofs
 

Some relish the idea of working with users of research and having an impact on the outside world - some view it as a ridiculous government agenda which interferes with academic freedom.  We’ll give an overview of  the political and practical aspects of impact and identify things you might want to consider when deciding whether, and how, to get involved.

Niall Bootland (Scalable Two-Phase Flow Solvers)

Sourav Mondal (Electrohydrodynamics in microchannel)

Abstract: Flow of liquid due to an electric potential gradient is possible when the channel walls bear a surface charge and liquid contains free charges (electrolyte). Inclusion of electrokinetic effects in microchannel flows has an added advantage over Poiseuille flow - depending upon the electrolyte concentration, the Debye layer thickness is different, which allows for tuning of flow profiles and the associated mass transport. The developed mathematical model helps in probing the mass transfer effects through a porous walled microchannel induced by electrokinetic forces.

The challenge is to develop an automated process that transforms an initial desired design of turbine rotor and blades in to a close approximation having eigenfrequencies that avoid the operating frequency (and its first harmonic) of the turbine.

I will revisit the theory of Hodge-Tate local systems in the light of the p-adic Simpson correspondence. This is a joint work with Michel Gros.

The study of moving contact lines is challenging for various reasons: Physically no sliding motion is allowed with a standard no-slip boundary condition over a solid substrate. Mathematically one has to deal with a free-boundary problem which contains certain singularities at the contact line. Instabilities can lead to topological transition in configurations space - their rigorous mathematical understanding is highly non-trivial. In this talk some state-of-the-art modeling and numerical techniques for such challenges will be presented. These will be applied to flows over solid and liquid substrates, where we perform detailed comparisons with experiments.

 The matrix logarithm, when applied to symmetric positive definite matrices, is known to satisfy a notable concavity property in the positive semidefinite (Loewner) order. This concavity property is a cornerstone result in the study of operator convex functions and has important applications in matrix concentration inequalities and quantum information theory.
In this talk I will show that certain rational approximations of the matrix logarithm remarkably preserve this concavity property and moreover, are amenable to semidefinite programming. Such approximations allow us to use off-the-shelf semidefinite programming solvers for convex optimization problems involving the matrix logarithm. These approximations are also useful in the scalar case and provide a much faster alternative to existing methods based on successive approximation for problems involving the exponential/relative entropy cone. I will conclude by showing some applications to problems arising in quantum information theory.

This is joint work with James Saunderson (Monash University) and Pablo Parrilo (MIT)

A Kähler group is a group which can be realised as fundamental group of a compact Kähler manifold. I shall begin by explaining why such groups are not arbitrary and then address Delzant-Gromov's question of which subgroups of direct products of surface groups are Kähler. Work of Bridson, Howie, Miller and Short reduces this to the case of subgroups which are not of type $\mathcal{F}_r$ for some $r$. We will give a new construction producing Kähler groups with exotic finiteness properties by mapping products of closed Riemann surfaces onto an elliptic curve. We will then explain how this construction can be generalised to higher dimensions. This talk is independent of last weeks talk on Kähler groups and all relevant notions will be explained.

The introduction of Edwards' curves in 2007 relaunched a
deeper study of the arithmetic of elliptic curves with a
view to cryptographic applications.  In particular, this
research focused on the role of the model of the curve ---
a triple consisting of a curve, base point, and projective
(or affine) embedding. From the computational perspective,
a projective (as opposed to affine) model allows one to
avoid inversions in the base field, while from the
mathematical perspective, it permits one to reduce various
arithmetical operations to linear algebra (passing through
the language of sheaves). We describe the role of the model,
particularly its classification up to linear isomorphism
and its role in the linearization of the operations of addition,
doubling, and scalar multiplication.

In joint work with Olof Sisask, we establish new quantitative bounds for Roth's theorem on arithmetic progressions, showing that a set of integers with no three-term arithmetic progressions must have density O(1/(log N)^{1+c}) for some absolute constant c>0. This is the integer analogue of a result of Bateman and Katz for the model setting of vector spaces over a finite field, and the proof follows a similar structure. 

In this talk, we consider a split connected semisimple group G defined over a global field F. Let A denote the ring of adèles of F and K a maximal compact subgroup of G(A) with the property that the local factors of K are hyperspecial at every non-archimedian place. Our interest is to study a certain subspace of the space of square-integrable functions on the adelic quotient G(F)\G(A). Namely, we want to study functions coming from induced representations from an unramified character of a Borel subgroup and which are K-invariant.

Our goal is to describe how the decomposition of such space can be related with the Plancherel decomposition of a graded affine Hecke algebra (GAHA).

The main ingredients are standard analytic properties of the Dedekind zeta-function as well as known properties of the so-called residue distributions, introduced by Heckman-Opdam in their study of the Plancherel decomposition of a GAHA and a result by M. Reeder on the support of the weight spaces of
the anti-spherical  discrete series representations of affine Hecke algebras. These last ingredients are of a purely local nature.

This talk is based on joint work with V. Heiermann and E. Opdam.

In this talk, we discuss an ongoing calculation of the
four-loop form factors in massless QCD. We begin by discussing our
novel approach to the calculation in detail. Of particular interest
are a new polynomial-time integration by parts reduction algorithm and
a new method to algebraically resolve the IR and UV singularities of
dimensionally-regulated bare perturbative scattering amplitudes.
Although not all integral topologies are linearly reducible for the
more non-trivial color structures, it is nevertheless feasible to
obtain accurate numerical results for the finite parts of the complete
four-loop form factors using publicly available sector decomposition
programs and bases of finite integrals. Finally, we present first
results for the four-loop gluon form factor Feynman diagrams which
contain three closed fermion loops.