Past

We find a new duality  for form factors of lightlike Wilson loops
in planar N=4 super-Yang-Mills theory. The duality maps a form factor
involving a lightlike polygonal super-Wilson loop together with external
on-shell states, to the same type of object  but with the edges of the
Wilson loop and the external states swapping roles.  This relation can
essentially be seen graphically in Lorentz harmonic chiral (LHC) superspace
where it is equivalent to planar graph duality.

Part of the series "What do historians of mathematics do?"  

I will address this question by turning to another: "What is algebra?"  In answering this second question, and surveying the way that the answer changes as we move through the centuries, I will highlight some of the problems that face historians of mathematics when it comes to interpreting historical mathematics, and give a flavour of what it means to study the history of mathematics.

Results on the existence and stability of clustered spike patterns for biological reaction‐diffusion systems with two small diffusivities will be presented. In particular we consider a consumer chain model and the Gierer‐Meinhardt activator-inhibitor system with a precursor gradient. A clustered spike pattern consists of multiple spikes which all approach the same limiting point as the diffusivities tend to zero. We will present results on the asymptotic behaviour of the spikes including their shapes, positions and amplitudes. We will also compute the asymptotic behaviour of the eigenvalues of the system linearised around a clustered spike pattern. These systems and their solutions play an important role in biological modelling to account for the bridging of lengthscales, e.g. between genetic, nuclear, intra‐cellular, cellular and tissue levels, or for the time-hierarchy of biological processes, e.g. a large‐scale structure, which appears first, induces patterns on smaller scales. This is joint work with Juncheng Wei.
 

An efficient way to descibe binary operations which are associative only up to coherent homotopy is via simplicial spaces. 2-Segal spaces were introduced independently by Dyckerhoff--Kapranov and G\'alvez-Carrillo--Kock--Tonks to encode spaces carrying multivalued, coherently associative products. For example, the Waldhausen S-construction of an abelian category is a 2-Segal space. It describes a multivalued product on the space of objects given in terms of short exact sequences. 
The main motivation to study spaces carrying multivalued products is that they can be linearised, producing algebras in the usual sense of the word. For the preceding example, the linearisation yields the Hall algebra of the abelian category. One can also extract tensor categories using a categorical linearisation procedure.
In this talk I will discuss double 2-Segal spaces, that is, bisimplicial spaces which satisfy the 2-Segal condition in each variable. Such bisimplicial spaces give rise to multivalued bialgebras. The second iteration of the Waldhausen S-construction is a double 2-Segal space whose linearisation is the bialgebra structure given by Green's Theorem. The categorial linearisation produces categorifications of Zelevinsky's positive, self-adjoint Hopf algebras.
 

In this work we study a stochastic three-dimensional Landau-Lifschitz-Gilbert equation perturbed by pure jump noise in the Marcus canonical form. We show existence of weak martingale solutions taking values in a two-dimensional sphere $\mathbb{S}^3$ and discuss certain regularity results. The construction of the solution is based on the classical Faedo-Galerkin approximation, the compactness method and the Jakubowski version of the Skorokhod Theorem for nonmetric spaces. This is a joint work with Utpal Manna (Triva

This talk will address a new link from stochastic differential equations (SDEs) to nonlinear parabolic PDEs. Starting from the necessary and sufficient condition of the path-independence of the density of Girsanov transform for SDEs, we derive characterisation by nonlinear parabolic equations of Burgers-KPZ type. Extensions to the case of SDEs on differential manifolds and the case od SDEs with jumps as well as to that of (infinite dimensional) SDEs on separable Hilbert spaces will be discussed. A perspective to stochastically deformed dynamical systems will be briefly considered.

The moduli space M_C of Higgs bundles over a complex curve X admits a hyperkaehler metric: a Riemannian metric which is Kaehler with respect to three different complex structures I, J, K, satisfying the quaternionic relations. If X admits an anti-holomorphic involution, then there is an induced involution on M_C which is anti-holomorphic with respect to I and J, and holomorphic with respect to K. The fixed point set of this involution, M_R, is therefore a real
Lagrangian submanifold with respect to I and J, and complex symplectic with respect to K, making it a so called AAB-brane. In this talk, I will explain how to compute the mod 2 Betti numbers of M_R using Morse theory. A key role in this calculation is played by the Abel-Jacobi map from symmetric products of X to the Jacobian of X.

The gauged linear sigma model (GLSM) is a supersymmetric gauge theory in two dimensions which captures information about Calabi-Yaus and their moduli spaces. Recent result in supersymmetric localization provide new tools for computing quantum corrections in string compactifications. This talk will focus on the hemisphere partition function in the GLSM which computes the quantum corrected central charge of B-type D-branes. Several concrete examples of GLSMs and the application of the hemisphere partition function in the context of transporting D-branes in the Kahler moduli space will be given.

Alan is the Head of Counselling at the University of Oxford.  He will talk about the importance of managing expectations and not having rigid expectations, about challenging perfectionism, and about building emotional resilience through adaptability and compassion.

In July 2011, the observation of a massive phytoplankton bloom underneath a sea ice–covered region of the Chukchi Sea shifted the scientific consensus that regions of the Arctic Ocean covered by sea ice were inhospitable to photosynthetic life. Although the impact of widespread phytoplankton blooms under sea ice on Arctic Ocean ecology and carbon fixation is potentially marked, the prevalence of these events in the modern Arctic and in the recent past is, to date, unknown. We investigate the timing, frequency, and evolution of these events over the past 30 years. Although sea ice strongly attenuates solar radiation, it has thinned significantly over the past 30 years. The thinner summertime Arctic sea ice is increasingly covered in melt ponds, which permit more light penetration than bare or snow-covered ice. We develop a simple mathematical model to investigate these physical mechanisms. Our model results indicate that the recent thinning of Arctic sea ice is the main cause of a marked increase in the prevalence of light conditions conducive to sub-ice blooms. We find that as little as 20 years ago, the conditions required for sub-ice blooms may have been uncommon, but their frequency has increased to the point that nearly 30% of the ice-covered Arctic Ocean in July permits sub-ice blooms. Recent climate change may have markedly altered the ecology of the Arctic Ocean.

All data intelligence processes are designed for processing a finite amount of data within a time period. In practice, they all encounter
some difficulties, such as the lack of adequate techniques for extracting meaningful information from raw data; incomplete, incorrect 
or noisy data; biases encoded in computer algorithms or biases of human analysts; lack of computational resources or human resources; urgency in 
making a decision; and so on. While there is a great enthusiasm to develop automated data intelligence processes, it is also known that
many of such processes may suffer from the phenomenon of data processing inequality, which places a fundamental doubt on the credibility of these 
processes. In this talk, the speaker will discuss the recent development of an information-theoretic measure (by Chen and Golan) for optimizing 
the cost-benefit ratio of a data intelligence process, and will illustrate its applicability using examples of data analysis and 
visualization processes including some in bioinformatics.

I will talk about a recent proof, joint with M. Gröchenig and D. Wyss, of a conjecture of Hausel and Thaddeus which predicts the equality of suitably defined Hodge numbers of moduli spaces of Higgs bundles with SL(n)- and PGL(n)-structure. The proof, inspired by an argument of Batyrev, proceeds by comparing the number of points of these moduli spaces over finite fields via p-adic integration. I will start with an introduction to Higgs bundles and their moduli spaces and then explain our argument.

Liquid crystals are classical examples of mesophases or materials that are intermediate in character between conventional solids and liquids. There are different classes of liquid crystals and we focus on the simplest and most widely used nematic liquid crystals. Nematic liquid crystals are simply put, anisotropic liquids with distinguished directions and are the working material of choice for the multi-billion dollar liquid crystal display industry. In this workshop, we briefly review the mathematical theories for nematic liquid crystals, the modelling framework and some recent work on modelling experiments on confined liquid crystalline systems conducted by the Aarts Group (Chemistry Oxford) and experiments on nematic microfluidics by Anupam Sengupta (ETH Zurich). This is joint work with Alexander Lewis, Peter Howell, Dirk Aarts, Ian Griffiths, Maria Crespo Moya and Angel Ramos.
We conclude with a brief overview of new experiments on smectic liquid crystals in the Aarts laboratory and questions related to the recycling of liquid crystal displays originating from informal discussions with Votechnik ( a company dealing with automated recycling technologies , http://votechnik.com/).
 

Networks of interacting oscillators give rise to collective dynamics such as localized frequency synchrony. In networks of neuronal oscillators, for example, the location of frequency synchrony could encode information. We discuss some recent persistence results for certain dynamically invariant sets called weak chimeras, which show localized frequency synchrony of oscillators. We then explore how the network structure and interaction allows for dynamic switching of the spatial location of frequency synchrony: these dynamics are induced by stable heteroclinic connections between weak chimeras. Part of this work is joined with Peter Ashwin (Exeter).

This  concerns recent work with P. Corvaja in which we relate the Hilbert Property for an algebraic variety (a kind of axiom linked with Hilbert Irreducibility, relevant e.g. for the Inverse Galois Problem)  with the fundamental group of the variety.
 In particular, this leads to new examples (of surfaces) of  failure of the Hilbert Property. We also prove the Hilbert Property for a non-rational surface (whereas all previous examples involved rational varieties).

We consider rough stochastic volatility models where the driving noise of volatility has fractional scaling, in the “rough” regime of Hurst pa- rameter H < 1/2. This regime recently attracted a lot of attention both from the statistical and option pricing point of view. With focus on the latter, we sharpen the large deviation results of Forde-Zhang (2017) in a way that allows us to zoom-in around the money while maintaining full analytical tractability. More precisely, this amounts to proving higher order moderate deviation es- timates, only recently introduced in the option pricing context. This in turn allows us to push the applicability range of known at-the-money skew approxi- mation formulae from CLT type log-moneyness deviations of order t1/2 (recent works of Alo`s, Le ́on & Vives and Fukasawa) to the wider moderate deviations regime.

This is work in collaboration with C. Bayer, P. Friz, A. Gulsashvili and B. Stemper

This  concerns recent work with P. Corvaja in which we relate the Hilbert Property for an algebraic variety (a kind of axiom linked with Hilbert Irreducibility, relevant e.g. for the Inverse Galois Problem)  with the fundamental group of the variety.
 In particular, this leads to new examples (of surfaces) of  failure of the Hilbert Property. We also prove the Hilbert Property for a non-rational surface (whereas all previous examples involved rational varieties).

Abstract: We study nonuniform sampling in shift-invariant spaces whose generator is a totally positive function. For a subclass of such generators the sampling theorems can be formulated in analogy to the theorems of Beurling and Landau for bandlimited functions. These results are  optimal and validate  the  heuristic reasonings in the engineering literature. In contrast to the cardinal series, the reconstruction procedures for sampling in a shift-invariant space with a totally positive generator  are local and thus accessible to numerical linear algebra.

A subtle  connection between sampling in shift-invariant spaces and the theory of Gabor frames leads to new and optimal  results for Gabor frames.  We show that the set of phase-space shifts of  $g$ (totally positive with a Gaussian part) with respect to a rectangular lattice forms a frame, if and only if the density of the lattice  is strictly larger than 1. This solves an open problem going backto Daubechies in 1990 for the class of totally positive functions of Gaussian type.
 

I will discuss the specific long-time behaviour of kinetic solutions to stochastic conservation laws with non-linear multiplicative noises.

.. showing that a field K is isomorphic to Q if it has the same absolute Galois group and if it satisfies a very small additional condition (very similar to my talk 2 years ago).

Abstract: The Kontsevich graph weights are period integrals whose
values make Kontsevich's star-product associative for any Poisson
structure. We illustrate, by using software, to what extent these
weights are determined by their properties: the associativity
constraint for the star-product (for all Poisson structures), the
multiplicativity (decomposition into prime graphs), the cyclic
relations, and some relations due to skew-symmetry. Up to the order 4
in ℏ we express all the weights in terms of 10 parameters (6
parameters modulo gauge-equivalence), and we verify pictorially that
the star-product expansion is associative modulo ō(ℏ⁴) for every value
of the 10 parameters. This is joint work with Arthemy Kiselev.
 

In this talk, I’ll share the progress that we have made in the field of e-voting, including the proposal of a new paradigm of e-voting system called self-enforcing e-voting (SEEV). A SEEV system is End-to-End (E2E) verifiable, but it differs from all previous E2E systems in that it does not require tallying authorities. The removal of tallying authorities significantly simplifies the election management and makes the system much more practical than before. A prototype of a SEEV system based on the DRE-i protocol (Hao et al. USENIX JETS 2014) has been built and used regularly in Newcastle University for classroom voting and student prize competitions with very positive student feedback. Lessons from our experience of designing, analysing and deploying an e-voting system for real-world applications are also presented.