Past

We describe the representation theory of loop groups in
terms of K-theory and noncommutative geometry. For any simply
connected compact Lie group G and any positive integer level l we
consider a natural noncommutative universal algebra whose 0th K-group
can be identified with abelian group generated by the level l
positive-energy representations of the loop group LG.
Moreover, for any of these representations, we define a spectral
triple in the sense of A. Connes and compute the corresponding index
pairing with K-theory. As a result, these spectral triples give rise
to a complete noncommutative geometric invariant for the
representation theory of LG at fixed level l. The construction is
based on the supersymmetric conformal field theory models associated
with LG and it can be generalized, in the setting of conformal nets,
to many other rational chiral conformal field theory models including
loop groups model associated to non-simply connected compact Lie
groups, coset models and the moonshine conformal field theory. (Based
on a joint work with Robin Hillier)

To book please email @email

Fluids and solids leave our bodies everyday.  How do animals do it, from mice to elephants?  In this talk, I will show how the shape of urinary and digestive organs enable them to function, regardless of the size of the animal.  Such ideas may teach us how to more efficiently transport materials.  I will show how the pee-pee pipe enables animals to urinate in constant time, how slippery mucus is critical for defecation, and how the motion of the gut is related to the density of its contents, and in turn to the gut’s natural frequency. 

More info is in the BBC news here: http://www.bbc.com/news/science-environment-34278595

We hope to bring together all Oxford researchers interested in Cryptography, in Quantum Computing and in the interactions between the two.

Please register at:  http://oxford-cryptography-day.eventbrite.co.uk

The accumulation of surface meltwater on ice shelves can lead to the formation of melt lakes. These structures have been implicated in crevasse propagation and ice-shelf collapse; the Larsen B ice shelf was observed to have a large amount of melt lakes present on its surface just before its collapse in 2002. Through modelling the transport of heat through the surface of the Larsen C ice shelf, where melt lakes have also been observed, this work aims to provide new insights into the ways in which melt lakes are forming and the effect that meltwater filling crevasses on the ice shelf will have. This will enable an assessment of the role of meltwater in triggering ice-shelf collapse. The Antarctic Peninsula, where Larsen C is situated, has warmed several times the global average over the last century and this ice shelf has been suggested as a candidate for becoming fully saturated with meltwater by the end of the current century. Here we present results of a 1-D mathematical model of heat transfer through an idealized ice shelf. When forced with automatic weather station data from Larsen C, surface melting and the subsequent meltwater accumulation, melt lake development and refreezing are demonstrated through the modelled results. Furthermore, the effect of lateral meltwater transport upon melt lakes and the effect of the lakes upon the surface energy balance are examined. Investigating the role of meltwater in ice-shelf stability is key as collapse can affect ocean circulation and temperature, and cause a loss of habitat. Additionally, it can cause a loss of the buttressing effect that ice shelves can have on their tributary glaciers, thus allowing the glaciers to accelerate, contributing to sea-level rise.

We give necessary and sufficient conditions for the variance of the partial sums of stationary processes to be regularly varying in terms of the spectral measure associated with the shift operator. In the case of reversible Markov chains, or with normal transition operator we also give necessary and sufficient conditions in terms of the spectral measure of the transition operator.  

The two spectral measures are then linked through the use of harmonic measure.



This is joint work with S. Utev(University of Leicester, UK) and M. Peligrad (University of Cincinnati, USA).

Fang, Lu and Yoshikawa conjectured a few years ago that a certain string-theoretic invariant (originally introduced by the physicists M. Bershadsky, S. Cecotti, H. Ooguri, and C. Vafa) of Calabi-Yau threefolds is a birational invariant. This conjecture can be viewed as a "secondary" analog (in dimension three) of the birational invariance of Hodge numbers of Calabi-Yau varieties established by Batyrev and Kontsevich. Using the arithmetic Riemann-Roch theorem, we prove a weak form of this conjecture. 

In this talk I will give several perspectives on the role of
quasi-abelian categories in analytic geometry. In particular, I will 
explain why a certain completion of the category of Banach spaces is a
convenient setting for studying sheaves of topological vector spaces on
complex manifolds. Time permitting, I will also argue why this category
may be a good candidate for a functor of points approach to (derived)
analytic geometry.

We study the number of nodal domains of toral Laplace eigenfunctions. Following Nazarov-Sodin's results for random fields and Bourgain's de-randomisation procedure we establish a precise asymptotic result for "generic" eigenfunctions. Our main results in particular imply an optimal lower bound for the number of nodal domains of generic toral eigenfunctions.

This is joint work with Richard A. Davis (Columbia Statistics) and Johannes Heiny (Copenhagen). In recent years the sample covariance matrix of high-dimensional vectors with iid entries has attracted a lot of attention. A deep theory exists if the entries of the vectors are iid light-tailed; the Tracy-Widom distribution typically appears as weak limit of the largest eigenvalue of the sample covariance matrix. In the heavy-tailed case (assuming infinite 4th moments) the situation changes dramatically. Work by Soshnikov, Auffinger, Ben Arous and Peche shows that the largest eigenvalues are approximated by the points of a suitable nonhomogeneous Poisson process. We follows this line of research. First, we consider a p-dimensional time series with iid heavy-tailed entries where p is any power of the sample size n. The point process of the scaled eigenvalues of the sample covariance matrix converges weakly to a Poisson process. Next, we consider p-dimensional heavy-tailed time series with dependence through time and across the rows. In particular, we consider entries with a linear dependence or a stochastic volatility structure. In this case, the limiting point process is typically a Poisson cluster process. We discuss the suitability of the aforementioned models for large portfolios of return series. 

The aim of this talk is to describe effective media for wave propagation through periodic, or nearly periodic, composites. Homogenisation methods are well-known and developed for quasi-static and low frequency regimes. The aim here is to move to situations of more practical interest where the frequencies are high, in some sense, and to compare the results of the theory with large scale simulations.

Orientable manifolds can only have an odd Euler characteristic in dimensions divisible by 4. I will prove the analogous result for spin and string manifolds, where the dimension can only be a multiple of 8 and 16 respectively. The talk will require very little background. I'll go over the definition of spin and string structures, discuss cohomology operations and Poincare duality.

"In a paper from 2001, Diestel and Leader characterised uncountable graphs with normal spanning trees through a class of forbidden minors. In this talk we investigate under which circumstances this class of forbidden minors can be made nice. In particular, we will see that there is a nice solution to this problem under Martin’s Axiom. Also, some connections to the Stone-Chech remainder of the integers, and almost disjoint families are uncovered.”

Structure-preserving signatures are an important cryptographic primitive that is useful for the design of modular cryptographic protocols. In this work, we show how to bypass most of the existing lower bounds in the most efficient Type-III bilinear group setting. We formally define a new variant of structure-preserving signatures in the Type-III setting and present a number of fully secure schemes with signatures half the size of existing ones. We also give different constructions including constructions of optimal one-time signatures. In addition, we prove lower bounds and provide some impossibility results for the variant we define. Finally, we show some applications of the new constructions.

The wall-crossing behaviour of Donaldson-Thomas invariants in CY3 categories is controlled by a beautiful formula involving the group of automorphisms of a symplectic algebraic torus. This formula invites one to solve a certain Riemann-Hilbert problem. I will start by explaining how to solve this problem in the simplest possible case (this is undergraduate stuff!). I will then talk about a more general class of examples of the wall-crossing formula involving moduli spaces of quadratic differentials.

The Faraday cage effect is the phenomenon whereby electrostatic and electromagnetic fields are shielded by a wire mesh "cage". Nick Trefethen, Jon Chapman and I recently carried out a mathematical analysis of the two-dimensional electrostatic problem with thin circular wires, demonstrating that the shielding effect is not as strong as one might infer from the physics literature. In this talk I will present new results generalising the previous analysis to the electromagnetic case, and to wires of arbitrary shape. The main analytical tool is the asymptotic method of multiple scales, which is used to derive continuum models for the shielding, involving homogenized boundary conditions on an effective cage boundary. In the electromagnetic case one observes interesting resonance effects, whereby at frequencies close to the natural frequencies of the equivalent solid shell, the presence of the cage actually amplifies the incident field, rather than shielding it. We discuss applications to radiation containment in microwave ovens and acoustic scattering by perforated shells. This is joint work with Ian Hewitt.

A subgroup Gamma of a semisimple algebraic group G is called strongly dense if every subgroup of Gamma is either cyclic or Zariski-dense. I will describe a method for building strongly dense free subgroups inside a given Zariski-dense subgroup  Gamma of G, thus providing a refinement of the Tits alternative. The method works for a large class of G's and Gamma's. I will also discuss connections with word maps and expander graphs. This is joint work with Bob Guralnick and Michael Larsen.

 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.

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).

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.

 

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)

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.

 

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

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.

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).

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.

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.

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)
 

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.

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.

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.

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.