Boundary Conditions, Mirror Symmetry and Symplectic Duality
Abstract
In the last few years, it has become clear that there are striking connections between supersymmetry and geometric representation theory. In this talk, I will discuss boundary conditions in three dimensional gauge theories with N = 4 supersymmetry. I will then outline a physical understanding of a remarkable conjecture in representation theory known as `symplectic duality.
16:30
Macroscopic transport: ballistic, diffusive, super diffusive
Abstract
In acoustic materials (non null sound velocity), there is a clear separation of scale between the relaxation to mechanical equilibrium, governed by Euler equations, and the slower relaxation to thermal equilibrium, governed by heat equation if thermal conductivity is finite. In one dimension in acoustic systems, thermal conductivity is diverging and the thermal equilibrium is reached by a superdiffusion governed by a fractional heat equation. In non-acoustic materials it seems that there is not such separation of scales, and thermal and mechanical equilibriums are reached at the same time scale, governed by a Euler-Bernoulli beam equation. We prove such macroscopic behaviors in chains of oscillators with dynamics perturbed by a random local exchange of momentum, such that energy and momentum are conserved. (Works in collaborations with T. Komorowski).
15:45
Anosov representations and proper actions
Abstract
Superhedging Approach to Robust Finance and Local Times
Abstract
Using Vovk's game-theoretic approach to mathematical finance and probability, it is possible to obtain new results in both areas.We first prove that one can make an arbitrarily large profit by investing in those one-dimensional paths which do not possess a local time of finite p-variation. Additionally, we provide pathwise Tanaka formulas suitable for our local times and for absolutely continuous functions with sufficient regular derivatives. In the second part we derive a model-independent super-replication theorem in continuous time. Our result covers a broad range of exotic derivatives, including look-back options, discretely monitored Asian options, and options on realized variance.
This talk is based on joint works with M. Beiglböck, A.M.G. Cox, M. Huesmann and N. Perkowski.
Singular SPDEs on manifolds
Abstract
We show how the theories of paracontrolled distributions and regularity structures can be implemented on manifolds, to solve singular SPDEs like the parabolic Anderson model.
This is ongoing work with Bruce Driver (UCSD) and Antoine Dahlqvist (Cambridge)
3d N=2 dualities with monopoles
Abstract
I will present several new 3d N=2 dualities with super-potentials involving monopole operators. Some of the theories that I will discuss describe systems of D3 branes ending on pq-webs. In these cases 3d mirror symmetry is a consequence of S-duality.
Hurricanes and Climate Change
Abstract
In his talk, Kerry will explore the pressing practical problem of how hurricane activity will respond to global warming, and how hurricanes could in turn be influencing the atmosphere and ocean
Hurricanes and Climate Change - Oxford Climate Network Annual Lecture
Abstract
In his talk, Kerry will explore the pressing practical problem of how hurricane activity will respond to global warming, and how hurricanes could in turn be influencing the atmosphere and ocean.
Mathematical models of blood pressure regulation
MLMC for reflected diffusions
Abstract
This talk will discuss work-in-progress on the numerical approximation
of reflected diffusions arising from applications in engineering, finance
and network queueing models. Standard numerical treatments with
uniform timesteps lead to 1/2 order strong convergence, and hence
sub-optimal behaviour when using multilevel Monte Carlo (MLMC).
In simple applications, the MLMC variance can be improved by through
a reflection "trick". In more general multi-dimensional applications with
oblique reflections an alternative method uses adaptive timesteps, with
smaller timesteps when near the boundary. In both cases, numerical
results indicate that we obtain the optimal MLMC complexity.
This is based on joint research with Eike Muller, Rob Scheichl and Tony
Shardlow (Bath) and Kavita Ramanan (Brown).
The effect of domain shape on reaction-diffusion equations
Abstract
I will discuss some reaction-diffusion equations of bistable type motivated by biology and medicine. The aim is to understand the effect of the shape of the domain on propagation or on blocking of advancing waves. I will first describe the motivations of these questions and present a result about the existence of generalized “transition waves”. I will then discuss various geometric conditions that lead to either blocking, or partial propagation, or complete propagation. These questions involve new qualitative results for some non-linear elliptic and parabolic partial differential equations. I report here on joint work with Juliette Bouhours and Guillemette Chapuisat.
Fault prediction from time series data
Abstract
On the railway network, for example, there is a large base of installed equipment with a useful life of many years. This equipment has condition monitoring that can flag a fault when a measured parameter goes outside the permitted range. If we can use existing measurements to predict when this would occur, preventative maintenance could be targeted more effectively and faults reduced. As an example, we will consider the current supplied to a points motor as a function of time in each operational cycle.
17:30
Real Closed Fields and Models of Peano Arithmetic
Abstract
We say that a real closed field is an IPA-real closed field if it admits an integer part (IP) which is a model of Peano Arithmetic (PA). In [2] we prove that the value group of an IPA-real closed field must satisfy very restrictive conditions (i.e. must be an exponential group in the residue field, in the sense of [4]). Combined with the main result of [1] on recursively saturated real closed fields, we obtain a valuation theoretic characterization of countable IPA-real closed fields. Expanding on [3], we conclude the talk by considering recursively saturated o-minimal expansions of real closed fields and their IPs.
References:
[1] D'Aquino, P. - Kuhlmann, S. - Lange, K. : A valuation theoretic characterization ofrecursively saturated real closed fields ,
Journal of Symbolic Logic, Volume 80, Issue 01, 194-206 (2015)
[2] Carl, M. - D'Aquino, P. - Kuhlmann, S. : Value groups of real closed fields and
fragments of Peano Arithmetic, arXiv: 1205.2254, submitted
[3] D'Aquino, P. - Kuhlmann, S : Saturated o-minimal expansions of real closed fields, to appear in Algebra and Logic (2016)
[4] Kuhlmann, S. :Ordered Exponential Fields, The Fields Institute Monograph Series, vol 12. Amer. Math. Soc. (2000)
Hecke eigenvalue congruences and experiments with degree-8 L-functions
Abstract
I will describe how the moduli of various congruences between Hecke eigenvalues of automorphic forms ought to show up in ratios of critical values of $\text{GSP}_2 \times \text{GL}_2$ L-functions. To test this experimentally requires the full force of Farmer and Ryan's technique for approximating L-values given few coefficients in the Dirichlet series.
Stochastic Dependence ,Extremal Risks and Optimal Payoffs
Abstract
We describe the possible influence of stochastic
dependence on the evaluation of
the risk of joint portfolios and establish relevant risk bounds.Some
basic tools for this purpose are the distributional transform,the
rearrangement method and extensions of the classical Hoeffding -Frechet
bounds based on duality theory.On the other hand these tools find also
essential applications to various problems of optimal investments,to the
construction of cost-efficient payoffs as well as to various optimal
hedging problems.We
discuss in detail the case of optimal payoffs in Levy market models as
well as utility optimal payoffs and hedgings
with state dependent utilities.
Non-linear continuum models for planar extensible beams and pantographic lattices of beams: Heuristic homogenization, experimental and numerical examples of equilibrium in large deformation
Abstract
Sparse iterative solvers on GPGPUs and applications
Abstract
We will review the basic building blocks of iterative solvers, i.e. sparse matrix-vector multiplication, in the context of GPU devices such
as the cards by NVIDIA; we will then discuss some techniques in preconditioning by approximate inverses, and we will conclude with an
application to an image processing problem from the biomedical field.
12:00
Some regularity results for classes of elliptic systems with "structure"
Abstract
11:00
'Additive extensions and Pell's equation in polynomials'.
Abstract
We will discuss families of Pell's equation in polynomials
with one complex parameter. In particular the relation between
the generic equation and its specializations. Our emphasis will
be on families with a triple zero. Then additive extensions enter
the picture.
Group Cohomology and Quasi-Isometries
Abstract
I will present a basic overview of finiteness conditions, group cohomology, and related quasi-isometry invariance results. In particular, I will show that if a group satisfies certain finiteness conditions, group cohomology with group ring coefficients encodes some structure of the `homology at infinity' of a group. This is seen for hyperbolic groups in the work of Bestvina-Mess, which relates the group cohomology to the Čech cohomology of the boundary.
15:00
Cryptographic Algorithms Used in Trusted Platform Modules
Abstract
Trusted Platform Modules (TPMs) are currently used in large numbers of computers. In this talk, I will discuss the cryptographic algorithms supported by the current version of the Trusted Platform Modules (Version 1.2) and also those due to be included in the new version (Version 2.0). After briefly introducing the history of TPMs, and the difference between these two generations TPMs, I will focus on the challenges faced in developing Direct Anonymous Attestation (DAA) an algorithmic scheme designed to preserve privacy and included in TPMs.
Topological Fukaya category and homological mirror symmetry
Abstract
The topological Fukaya category is a combinatorial model of the Fukaya category of exact symplectic manifolds which was first proposed by Kontsevich. In this talk I will explain work in progress (joint with J. Pascaleff and S. Scherotzke) on gluing techniques for the topological Fukaya category that are closely related to Viterbo functoriality. I will emphasize applications to homological mirror symmetry for three-dimensional CY LG models, and to Bondal's and Fang-Liu-Treumann-Zaslow's coherent constructible correspondence for toric varieties.
A "Simple" Answer to a "Not Quite Simple" Problem - The Prequel to A "Simple" Question
Abstract
In this seminar, I aim to go through the "main prequel" of the talk I gave during the first Advanced Class of this term, and provide a "simple" answer to Abraham Robinson's original question that he posed in 1973 regarding the (un)decidability of finitely generated extensions of undecidable fields. I will provide a quick introduction to, and some classical results from, the mathematical discipline of Field Arithmetic, and using these results show that one can construct undecidable (large) fields that have finitely generated extensions which are decidable. Of course, as I had mentioned in the advanced class, a counterexample to the "simple" question that I have been working on unfortunately does not seem to lie within this class of large fields. If time permits, I will provide a sneak peek into the possible "sequel" by briefly talking about what the main issue of solving the "simple" problem is, and how a "hide-and-seek" method might come in handy in tackling that problem.
14:30
Kerdock matrices and the efficient quantization of subsampled measurements
Abstract
Kerdock matrices are an attractive choice as deterministic measurement matrices for compressive sensing. I'll explain how Kerdock matrices are constructed, and then show how they can be adapted to one particular strategy for quantizing measurements, in which measurements exceeding the desired dynamic range are rejected.
14:30
Ramsey Classes and Beyond
Abstract
Ramsey classes may be viewed as the top of the line of Ramsey properties. Classical and not so classical examples of Ramsey classes of finite structures were recently extended by many new examples which make the characterisation of Ramsey classes realistic (and in many cases known). Particularly I will cover recent joint work with J. Hubicka.
There And Back Again: A Localization's Tale.
Abstract
The prime spectrum of a quantum algebra has a finite stratification in terms
of a set of distinguished primes called H-primes, and we can study these
strata by passing to certain nice localizations of the algebra. H-primes
are now starting to show up in some surprising new areas, including
combinatorics (totally nonnegative matrices) and physics, and we can borrow
techniques from these areas to answer questions about quantum algebras and
their localizations. In particular, we can use Grassmann necklaces -- a
purely combinatorial construction -- to study the topological structure of
the prime spectrum of quantum matrices.
14:00
16:30
Torelli and Borel-Tits theorems via trichotomy
Abstract
Using the "trichotomy principle" by Boris Zilber I will give model theoretic proofs of appropriate versions of Torelli theorem and Borel-Tits theorem. The first one has interesting applications to anabelian geometry, I won't assume any prior knowledge in model theory.
Crystallization Results for Optimal Location Problems
Abstract
While it is believed that many particle systems have periodic ground states, there are few rigorous crystallization results in two and more dimensions. In this talk I will show how results by the Hungarian geometer László Fejes Tóth can be used to prove that an idealised block copolymer energy is minimised by the triangular lattice. I will also discuss a numerical method for a broader class of optimal location problems and some conjectures about minimisers in three dimensions. This is joint work with Mark Peletier, Steven Roper and Florian Theil.
15:45
Bordered Floer homology via immersed curves
Abstract
Bordered Floer homology is a variant of Heegaard Floer homology adapted to manifolds with boundary. I will describe a class of three-manifolds with torus boundary for which these invariants may be recast in terms of immersed curves in a punctured torus. This makes it possible to recast the paring theorem in bordered Floer homology in terms of intersection between curves leading, in turn, to some new observations about Heegaard Floer homology. This is joint work with Jonathan Hanselman and Jake Rasmussen.
Malliavin Calculus for Regularity Structures: the case of gPAM
Abstract
Malliavin calculus is implemented in the context of [M. Hairer, A theory of regularity structures, Invent. Math. 2014]. This involves some constructions of independent interest, notably an extension of the structure which accommodates a robust and purely deterministic translation operator in L^2-directions between models. In the concrete context of the generalized parabolic Anderson model in 2D -one of the singular SPDEs discussed in the afore-mentioned article - we establish existence of a density at positive times.
14:15
The topology of area-minimizing surfaces in manifolds of non-negative curvature
Abstract
Work of Schoen--Yau in the 70's/80's shows that area-minimizing (actually stable) two-sided surfaces in three-manifolds of non-negative scalar curvature are of a special topological type: a sphere, torus, plane or cylinder. The torus and cylinder cases are "borderline" for this estimate. It was shown by Cai--Galloway in the late 80's that the torus can only occur in a very special ambient three manifold. We complete the story by showing that a similar result holds for the cylinder. The talk should be accessible to those with a basic knowledge of curvature in Riemannian geometry.
Rough Gronwall Lemma and weak solutions to RPDEs
Abstract
In this talk, I will present recent results that give the necessary mathematical foundation for the study of rough path driven PDEs in the framework of weak solutions. The main tool is a new rough Gronwall Lemma argument whose application is rather wide: among others, it allows to derive the basic energy estimates leading to the proof of existence for e.g. parabolic RPDEs. The talk is based on a joint work with Aurelien Deya, Massimiliano Gubinelli and Samy Tindel.
Black holes, entropy, and mock modular forms
Abstract
It was discovered in the 1970s that black holes are thermodynamic objects carrying entropy, thus suggesting that they are really an ensemble of microscopic states. This idea has been realized in a remarkable manner in string theory, wherein one can describe these ensembles in a class of models. These ensembles are known, however, to contain configurations other than isolated black holes, and it remains an outstanding problem to precisely isolate a black hole in the microscopic ensemble. I will describe how this problem can be solved completely in N=4 string theory. The solution involves surprising relations to mock modular forms -- a class of functions first discovered by S. Ramanujan about 95 years ago.
Self-awareness, assertiveness & productive relationships
Abstract
Who are you? What motivates you? What's important to you? How do you react to challenges and adversities? In this session we will explore the power of self-awareness (understanding our own characters, values and motivations) and introduce assertiveness skills in the context of building positive and productive relationships (with colleagues, collaborators, students and others).
14:15
Benchmark problems for wave propagation in layered media
Abstract
Accurate methods for the first-order advection equation, used for example in tracking contaminants in fluids, usually exploit the theory of characteristics. Such methods are described and contrasted with methods that do not make use of characteristics.
Then the second-order wave equation, in the form of a first-order system, is considered. A review of the one-dimensional theory using solutions of various Riemann problems will be provided. In the special case that the medium has the ‘Goupillaud’ property, that waves take the same time to travel through each layer, one can derive exact solutions even when the medium is spatially heterogeneous. The extension of this method to two-dimensional problems will then be discussed. In two-dimensions it is not apparent that exact solutions can be found, however by exploiting a generalised Goupillaud property, it is possible to calculate approximate solutions of high accuracy, perhaps sufficient to be of benchmark quality. Some two-dimensional simulations, using exact one-dimensional solutions and operator splitting, will be described and a numerical evaluation of accuracy will be given.
Order under uncertainty: probabilistic approaches to pseudotime estimation from single cell gene expression measurements
Tunneling in Theories with Many Fields
Abstract
The possibility of a landscape of metastable vacua raises the question of what fraction of vacua are truly long lived. Naively any would-be vacuum state has many nearby decay paths, and all possible decays must be suppressed. An interesting model of this phenomena consists of N scalars with a random potential of fourth order. We show that the scaling of the typical minimal bounce action with N is readily understood. We discuss the extension to more realistic landscape models as well as the effects of gravity.
The Fundamental Theorem of Derivative Trading - Exposition, Extensions, & Experiments
Abstract
When estimated volatilities are not in perfect agreement with reality, delta hedged option portfolios will incur a non-zero profit-and-loss over time. There is, however, a surprisingly simple formula for the resulting hedge error, which has been known since the late 90s. We call this The Fundamental Theorem of Derivative Trading. This is a survey with twists of that result. We prove a more general version and discuss various extensions (including jumps) and applications (including deriving the Dupire-Gyo ̈ngy-Derman-Kani formula). We also consider its practical consequences both in simulation experiments and on empirical data thus demonstrating the benefits of hedging with implied volatility.
InFoMM CDT Group Meeting - Introduction to Research (includes complementary lunch)
Ionic liquids - a challenge to our understanding of the liquid state
Abstract
17:30
Extremal fields and tame fields
Abstract
In the year 2003 Yuri Ershov gave a talk at a conference in Teheran on
his notion of ``extremal valued fields''. He proved that algebraically
complete discretely valued fields are extremal. However, the proof
contained a mistake, and it turned out in 2009 through an observation by
Sergej Starchenko that Ershov's original definition leads to all
extremal fields being algebraically closed. In joint work with Salih
Durhan (formerly Azgin) and Florian Pop, we chose a more appropriate
definition and then characterized extremal valued fields in several
important cases.
We call a valued field (K,v) extremal if for all natural numbers n and
all polynomials f in K[X_1,...,X_n], the set of values {vf(a_1,...,a_n)
| a_1,...,a_n in the valuation ring} has a maximum (which is allowed to
be infinity, attained if f has a zero in the valuation ring). This is
such a natural property of valued fields that it is in fact surprising
that it has apparently not been studied much earlier. It is also an
important property because Ershov's original statement is true under the
revised definition, which implies that in particular all Laurent Series
Fields over finite fields are extremal. As it is a deep open problem
whether these fields have a decidable elementary theory and as we are
therefore looking for complete recursive axiomatizations, it is
important to know the elementary properties of them well. That these
fields are extremal could be an important ingredient in the
determination of their structure theory, which in turn is an essential
tool in the proof of model theoretic properties.
The notion of "tame valued field" and their model theoretic properties
play a crucial role in the characterization of extremal fields. A valued
field K with separable-algebraic closure K^sep is tame if it is
henselian and the ramification field of the extension K^sep|K coincides
with the algebraic closure. Open problems in the classification of
extremal fields have recently led to new insights about elementary
equivalence of tame fields in the unequal characteristic case. This led
to a follow-up paper. Major suggestions from the referee were worked out
jointly with Sylvy Anscombe and led to stunning insights about the role
of extremal fields as ``atoms'' from which all aleph_1-saturated valued
fields are pieced together.