Tue, 06 May 2014

14:30 - 15:30
L6

The two-thirds conjecture

John Talbot
(UCL)
Abstract


Erdos, Faudree, Gould, Gyarfas, Rousseau and Schelp, conjectured that
whenever the edges of a complete graph are coloured using three colours
there always exists a set of at most three vertices which have at least
two-thirds of their neighbours in one of the colours.  We will describe a
proof of this conjecture. This is joint work with Rahil Baber

Tue, 06 May 2014

14:00 - 14:30
L5

What is the mathematics of the Faraday cage?

Nick Trefethen
(University of Oxford)
Abstract

Everybody has heard of the Faraday cage effect, in which a wire mesh does a good job of blocking electric fields and electromagnetic waves. For example, the screen on the front of your microwave oven keeps the microwaves from getting out, while light with its smaller wavelength escapes so you can see your burrito.  Surely the mathematics of such a famous and useful phenomenon has been long ago worked out and written up in the physics books, right?

Well, maybe.   Dave Hewett and I have communicated with dozens of mathematicians, physicists, and engineers on this subject so far, and we've turned up amazingly little.   Everybody has a view of why the Faraday cage mathematics is obvious, and most of their views are different.  Feynman discusses the matter in his Lectures on Physicsbut so far as we can tell, he gets it wrong. 

For the static case at least (the Laplace equation), Hewett and I have made good progress with numerical explorations based on  Mikhlin's method backed up by a theorem.   The effect seems to much weaker than we had imagined -- are we missing something?  For time-harmonic waves (the Helmholtz equation), our simulations lead to further puzzles.  We need advice!  Where in the world is the literature on this problem? 

Mon, 05 May 2014

17:00 - 18:00
L6

Frequency functions, monotonicity formulas, and the thin obstacle problem

Donatella Danielli-Garofalo
(Purdue University)
Abstract

Monotonicity formulas play a pervasive role in the study of variational inequalities and free boundary problems. In this talk we will describe a new approach to a classical problem, namely the thin obstacle (or Signorini) problem, based on monotonicity properties for a family of so-called frequency functions.

Mon, 05 May 2014

16:00 - 17:00
C5

How common are solutions to equations?

Simon Myerson
(University of Oxford)
Abstract

Let $F \in \mathbb{Z}[x_1,\ldots,x_n]$. Suppose $F(\mathbf{x})=0$ has infinitely many integer solutions $\mathbf{x} \in \mathbb{Z}^n$. Roughly how common should be expect the solutions to be? I will tell you what your naive first guess ought to be, give a one-line reason why, and discuss the reasons why this first guess might be wrong.

I then will apply these ideas to explain the intriguing parallels between the handling of the Brauer-Manin obstruction by Heath-Brown/Skorobogotov [doi:10.1007/BF02392841] on the one hand and Wei/Xu [arXiv:1211.2286] on the other, despite the very different methods involved in each case.

Mon, 05 May 2014

14:15 - 15:15
L5

Quantum curves for Higgs bundles and quantum invariants

Motohico Mulase (UC Davis)
Abstract

I will present a formula that relates a Higgs bundle on an algebraic curve and Gromov-Witten invariants. I will start with the simplest example, which is a rank 2 bundle over the projective line with a meromorphic Higgs field. The corresponding quantum curve is the Airy differential equation, and the Gromov-Witten invariants are the intersection numbers on the moduli space of pointed stable curves. The formula connecting them is exactly the path that Airy took, i.e., from wave mechanics to geometric optics, or what we call the WKB method, after the birth of quantum mechanics. In general, we start with a Higgs bundle. Then we apply a generalization of the topological recursion, originally found by physicists Eynard and Orantin in matrix models, to this context. In this way we construct a quantization of the spectral curve of the Higgs bundle. 

Mon, 05 May 2014

12:00 - 13:00
L5

The superconformal index of (2,0) theory with defects

Mathew Bullimore
(Perimeter Institute)
Abstract
String theory predicts the existence of a class of interacting superconformal field theories in six dimensions which arise on the world-volume of coincident M5 branes. There are important non-local operators in these theories corresponding to intersecting M2 and M5 branes. I will explain how to compute the superconformal index in the presence of such operators using five-dimensional supersymmetric gauge theory. The answers are in 1-1 correspondence with characters of representations of a class of `chiral algebras’. I will discuss potential applications of this result for bootstrapping correlation functions.
Fri, 02 May 2014

17:00 - 18:00
L5

Relaxation in BV under non-standard growth conditions

Dr Parth Soneji
(Ludwig Maximilians Universitat)
Abstract

Morrey's lower semicontinuity theorem for quasiconvex integrands is a classical result that establishes the existence of minimisers to variational problems by the Direct Method, provided the integrand satisfies "standard" growth conditions (i.e. when the growth and coercivity exponents match). This theorem has more recently been refined to consider convergence in Sobolev Spaces below the growth exponent of the integrand: such results can be used to show existence of solutions to a "Relaxed minimisation problem" when we have "non-standard'" growth conditions.

When the integrand satisfies linear coercivity conditions, it is much more useful to consider the space of functions of Bounded Variation, which has better compactness properties than $W^{1,1}$. We review the key results in the standard growth case, before giving an overview of recent results that we have obtained in the non-standard case. We find that new techniques and ideas are required in this setting, which in fact provide us with some interesting (and perhaps unexpected) corollaries on the general nature of quasiconvex functions. 

Fri, 02 May 2014

12:00 - 13:00
C6

Using multiple frequencies to satisfy local constraints in PDE and applications to hybrid inverse problems

Giovanni Alberti
(University of Oxford)
Abstract

In this talk I will describe a multiple frequency approach to the boundary control of Helmholtz and Maxwell equations. We give boundary conditions and a finite number of frequencies such that the corresponding solutions satisfy certain non-zero constraints inside the domain. The suitable boundary conditions and frequencies are explicitly constructed and do not depend on the coefficients, in contrast to the illuminations given as traces of complex geometric optics solutions. This theory finds applications in several hybrid imaging modalities. Some examples will be discussed.

Thu, 01 May 2014

16:00 - 17:00
C6

A Fourier--Mukai transform for Higgs bundles

Jakob Blaavand
Abstract

The first half of this talk will be an introduction to the wonderful world of Higgs bundles. The last half concerns Fourier--Mukai transforms, and we will discuss how to merge the two concepts by constructing a Fourier--Mukai transform for Higgs bundles. Finally we will discuss some properties of this transform. We will along the way discuss why you would want to transform Higgs bundles.

Thu, 01 May 2014

16:00 - 17:00
L3

Mathematical questions in sustainability and resilience

Mary Lou Zeeman
(Bowdoin)
Abstract

One of the things sustainability applications have in common with industrial applications is their close connection with decision-making and policy. We will discuss how a decision-support viewpoint may inspire new mathematical questions. For example, the concept of resilience (of ecosystems, food systems, communities, economies, etc) is often described as the capacity of a system to withstand disturbance and retain its functional characteristics. This has several familiar mathematical interpretations, probing the interaction between transient dynamics and noise. How does a focus on resilience change the modeling, dynamical and policy questions we ask? I look forward to your ideas and discussion.

Thu, 01 May 2014

16:00 - 17:00
L5

Effective Ratner Theorem for $ASL(2, R)$ and the gaps of the sequence $\sqrt n$ modulo 1

Ilya Vinogradov
(University of Bristol)
Abstract

Let $G=SL(2,\R)\ltimes R^2$ and $\Gamma=SL(2,Z)\ltimes Z^2$. Building on recent work of Strombergsson we prove a rate of equidistribution for the orbits of a certain 1-dimensional unipotent flow of $\Gamma\G$, which projects to a closed horocycle in the unit tangent bundle to the modular surface. We use this to answer a question of Elkies and McMullen by making effective the convergence of the gap distribution of $\sqrt n$ mod 1.

Thu, 01 May 2014

16:00 - 17:30
L4

Financial Markets: Behavioral Equilibrium and Evolutionary Dynamics

Thorsten Hens
(Zurich)
Abstract

We present a new model of financial markets that studies the evolution of wealth

among investment strategies. An investment strategy can be generated by maximizing utility

given some expectations or by behavioral rules. The only requirement is that any investment strategy

is adapted to the information filtration. The model has the mathematical structure of a random dynamical system.

We solve the model by characterizing evolutionary properties of investment strategies (survival, evolutionary stability, dominance).

It turns out that only a fundamental strategy investing according to expected relative dividends satisfies these evolutionary criteria.

Thu, 01 May 2014

14:00 - 16:00
L4

The geometric Langlands conjecture

Dario Baraldo
(University of Oxford)
Abstract
In the first meeting of this reading group, I will begin with an overview of the statement of the geometric Langlands conjecture. Then, following Arinkin and Gaitsgory, I will outline a strategy of the proof in the case of GL_n. Some ingredients of the proof are direct translations of number theoretic constructions, while others are specific to the geometric situation. No prior familiarity with the subject is assumed. However, a number of technical tools is necessary for both the statement and the proof; in this talk I intend to list these tools (to be explained in future talks) and motivate why they are essential.
Thu, 01 May 2014
14:00
L5

Adjoint sensitivity analysis in Thermoacoustics

Dr Matthew Juniper
(Cambridge)
Abstract

Thermoacoustic oscillations occur in combustion chambers when heat release oscillations lock into pressure oscillations. They were first observed in lamps in the 18th century, in rockets in the 1930s, and are now one of the most serious problems facing gas turbine manufacturers.

This theoretical and numerical study concerns an infinite-rate chemistry diffusion flame in a tube, which is a simple model for a flame in a combustion chamber. The problem is linearized around the non-oscillating state in order to derive the direct and adjoint equations governing the evolution of infinitesimal oscillations.

The direct equations are used to predict the frequency, growth rate, and mode shape of the most unstable thermoacoustic oscillations. The adjoint equations are then used to calculate how the frequency and growth rate change in response to (i) changes to the base state such as the flame shape or the composition of the fuel (ii) generic passive feedback mechanisms that could be added to the device. This information can be used to stabilize the system, which is verified by subsequent experiments.

This analysis reveals that, as expected from a simple model, the phase delay between velocity and heat-release fluctuations is the key parameter in determining the sensitivities. It also reveals that this thermo-acoustic system is exceedingly sensitive to changes in the base state. This analysis can be extended to more accurate models and is a promising new tool for the analysis and control of thermo-acoustic oscillations.

Wed, 30 Apr 2014
10:30
N3.12

On the congruence subgroup problem for branch groups

Alejandra Garrido Angulo
Abstract

For any infinite group with a distinguished family of normal subgroups of finite index -- congruence subgroups-- one can ask whether every finite index subgroup contains a congruence subgroup. A classical example of this is the positive solution for $SL(n,\mathbb{Z})$ where $n\geq 3$, by Mennicke and Bass, Lazard and Serre. \\

Groups acting on infinite rooted trees are a natural setting in which to ask this question. In particular, branch groups have a sufficiently nice subgroup structure to yield interesting results in this area. In the talk, I will introduce this family of groups and the congruence subgroup problem in this context and will present some recent results.

Tue, 29 Apr 2014

17:00 - 18:00
C5

Virtual Endomorphisms of Groups

Said Sidki
(Universidade de Brasília)
Abstract

A virtual endomorphism of a group $G$ is a homomorphism $f : H \rightarrow G$ where $H$

is a subgroup of $G$ of fi…nite index $m$: A recursive construction using $f$ produces a

so called state-closed (or, self-similar in dynamical terms) representation of $G$ on

a 1-rooted regular $m$-ary tree. The kernel of this representation is the $f$-core $(H)$;

i.e., the maximal subgroup $K$ of $H$ which is both normal in G and is f-invariant.

Examples of state-closed groups are the Grigorchuk 2-group and the Gupta-

Sidki $p$-groups in their natural representations on rooted trees. The affine group

$Z^n \rtimes GL(n;Z)$ as well as the free group $F_3$ in three generators admit state-closed

representations. Yet another example is the free nilpotent group $G = F (c; d)$ of

class c, freely generated by $x_i (1\leq i \leq d)$: let $H = \langle x_i^n | \

(1 \leq i \leq d) \rangle$ where $n$ is a

fi…xed integer greater than 1 and $f$ the extension of the map $x^n_i

\rightarrow x_i$ $(1 \leq i \leq d)$.

We will discuss state-closed representations of general abelian groups and of

…nitely generated torsion-free nilpotent groups.

Tue, 29 Apr 2014

15:45 - 16:45
L4

Comparing curve-counting invariants

Cristina Manolache
(Imperial College)
Abstract

Counting curves with given topological properties in a variety is a very old question. Example questions are: How many conics pass through five points in a plane, how many lines are there on a Calabi-Yau 3-fold? There are by now several ways to count curves and the numbers coming from different curve counting theories may be different. We would then like to have methods to compare these numbers. I will present such a general method and show how it works in the case of stable maps and stable quasi-maps.

Tue, 29 Apr 2014

14:30 - 15:30
L3

On the Erdos-Gyarfas problem in generalised Ramsey theory

David Conlon
(University of Oxforord)
Abstract

Fix positive integers p and q with 2 \leq q \leq {p \choose 2}. An edge-colouring of the complete graph K_n is said to be a (p, q)-colouring if every K_p receives at least q different colours. The function f(n, p, q) is the minimum number of colours that are needed for K_n to have a (p,q)-colouring. This function was introduced by Erdos and Shelah about 40 years ago, but Erdos and Gyarfas were the first to study the function in a systematic way. They proved that f(n, p, p) is polynomial in n and asked to determine the maximum q, depending on p, for which f(n,p,q) is subpolynomial in n. We prove that the answer is p-1.

We also discuss some related questions.

Joint work with Jacob Fox, Choongbum Lee and Benny Sudakov.

Tue, 29 Apr 2014

14:00 - 15:00
L5

Music of the microspheres: eigenvalue problems from micro-gyro design

David Bindel
(Cornell University)
Abstract

In 1890, G. H. Bryan demonstrated that when a ringing wine glass rotates, the shape of the vibration pattern precesses, and this effect is the basis for a family of high-precision gyroscopes. Mathematically, the precession can be described in terms of a symmetry-breaking perturbation due to gyroscopic effects of a geometrically degenerate pair of vibration modes.  Unfortunately, current attempts to miniaturize these gyroscope designs are subject to fabrication imperfections that also break the device symmetry. In this talk, we describe how these devices work and our approach to accurate and efficient simulations of both ideal device designs and designs subject to fabrication imperfections.

Tue, 29 Apr 2014

12:00 - 13:00
L5

Operator Expansion Algebras

Stefan Hollands (Leipzig)
Abstract

Quantum field theory (QFT) originated in physics in the context of

elementary particles. Although, over the years, surprising and profound

connections to very diverse branches of mathematics have been discovered,

QFT does not have, as yet, found a universally accepted "standard"

mathematical formulation. In this talk, I shall outline an approach to QFT

that emphasizes its underlying algebraic structure. Concretely, this is

represented by a concept called "Operator Product Expansion". I explain the

properties of such expansions, how they can be constructed in concrete QFT

models, and the emergent relationship between "perturbation theory" on the

physics side and

"Hochschild cohomology" on the physics side. This talk is based on joint

work

with Ch. Kopper and J. Holland from Ecole Polytechnique, Paris.

Mon, 28 Apr 2014

17:00 - 18:00
L5

Conformal scattering on black hole spacetimes

Jean-Philippe Nicolas
(Université de Brest)
Abstract

The conformal approach to scattering theory goes back to the 1960's

and 1980's, essentially with the works of Penrose, Lax-Phillips and

Friedlander. It is Friedlander who put together the ideas of Penrose

and Lax-Phillips and presented the first conformal scattering theory

in 1980. Later on, in the 1990's, Baez-Segal-Zhou explored Friedlander's

method and developed several conformal scattering theories. Their

constructions, just like Friedlander's, are on static spacetimes. The

idea of replacing spectral analysis by conformal geometry is however

the door open to the extension of scattering theories to general non

stationary situations, which are completely inaccessible to spectral

methods. A first work in collaboration with Lionel Mason explained

these ideas and applied them to non stationary spacetimes without

singularity. The first results for nonlinear equations on such

backgrounds was then obtained by Jeremie Joudioux. The purpose is now

to extend these theories to general black holes. A first crucial step,

recently completed, is a conformal scattering construction on

Schwarzschild's spacetime. This talk will present the history of the

ideas, the principle of the constructions and the main ingredients

that allow the extension of the results to black hole geometries.