Past

The simplicial boundary is another way to study the boundary of CAT(0) cube complexes. I will define this boundary introducing the relevant terminology from CAT(0) cube complexes along the way. There will be many examples and many pictures, hopefully to help understanding but also to improve my (not so great) drawing skills. 

Due to Shor's algorithm, quantum computers are a severe threat for public key cryptography. This motivated the cryptographic community to search for quantum-safe solutions. On the other hand, the impact of quantum computing on secret key cryptography is much less understood. In this paper, we consider attacks where an adversary can query an oracle implementing a cryptographic primitive in a quantum superposition of different states. This model gives a lot of power to the adversary, but recent results show that it is nonetheless possible to build secure cryptosystems in it.
We study applications of a quantum procedure called Simon's algorithm (the simplest quantum period finding algorithm) in order to attack symmetric cryptosystems in this model. Following previous works in this direction, we show that several classical attacks based on finding collisions can be dramatically sped up using Simon's algorithm: finding a collision requires Ω(2n/2) queries in the classical setting, but when collisions happen with some hidden periodicity, they can be found with only O(n) queries in the quantum model.
We obtain attacks with very strong implications. First, we show that the most widely used modes of operation for authentication and authenticated encryption (e.g. CBC-MAC, PMAC, GMAC, GCM, and OCB) are completely broken in this security model. Our attacks are also applicable to many CAESAR candidates: CLOC, AEZ, COPA, OTR, POET, OMD, and Minalpher. This is quite surprising compared to the situation with encryption modes: Anand et al. show that standard modes are secure when using a quantum-secure PRF.
Second, we show that slide attacks can also be sped up using Simon's algorithm. This is the first exponential speed up of a classical symmetric cryptanalysis technique in the quantum model.

We will introduce the Thurston norm in the setting of 3-manifold groups, and show how the techniques coming from L2-homology allow us to extend its definition to the setting of free-by-cyclic groups.
We will also look at the relationship between this Thurston norm and the Alexander norm, and the BNS invariants, in particular focusing on the case of ascending HNN extensions of the 2-generated free group.

This talk will start with a brief historical review of the classification of solids by their symmetries, and the more recent K-theoretic periodic table of Kitaev. It will then consider some mathematical questions this raises, in particular about the behaviour of electrons on the boundary of materials and in the bulk. Two rather different models will be described, which turn out to be related by T-duality. Relevant ideas from noncommutative geometry will be explained where needed.

The CHY formulae are a set of remarkable formulae describing the scattering amplitudes of a variety of massless theories, as  certain worldsheet integrals, localized on the solutions to certain polynomial equations (scattering equations). These formulae arise from a new class of holomorphic strings called Ambitwistor strings that encode exactly the dynamics of the supergravity (Yang-Mills) modes of string theory.



Despite some recent progress by W. Siegel and collaborators, it remains as an open question as to what extent this theory was connected to the full string theory. The most mysterious point being certainly that the localization equations of the ambitwistor string also appear in the zero tension limit of string theory (alpha’ to infinity), which is the opposite limit than the supergravity one (alpha’ to zero).



In this talk, I’ll report on some work in progress with E. Casali (Math. Inst. Oxford) and argue that the ambitwistor string is actually a tensionless string. Using some forgotten results on the quantization of these objects, we explain that the quantization of tensionless strings is ambiguous, and can lead either to a higher spin theory, or to the ambitwistor string, hence solving the previously mentioned paradox. In passing, we see that the degenerations of the tensile worldsheet that lead to tensionless strings make connection with Galilean Conformal Algebras and the (3d) BMS algebra.

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

Ada Lovelace (1815-1852) is famous as "the first programmer" for her prescient writings about Charles Babbage's unbuilt mechanical computer, the Analytical Engine. Biographers have focused on her tragically short life and her supposed poetic approach – one even dismissed her mathematics as "hieroglyphics". This talk will focus on how she learned the mathematics she needed to write the paper – a correspondence course she took with Augustus De Morgan – which is available in the Bodleian Library. I'll also reflect more broadly on things I’ve learned as a newcomer to the history of mathematics.

It is known that if the boundary of a 1-ended
hyperbolic group G has a local cut point then G splits over a 2-ended group. We prove a similar theorem for CAT(0)
groups, namely that if a finite set of points separates the boundary of a 1-ended CAT(0) group G
then G splits over a 2-ended group. Along the way we prove two results of independent interest: we show that continua separated
by finite sets of points admit a tree-like decomposition and we show a splitting theorem for nesting actions on R-trees.
This is joint work with Eric Swenson.

The planar Ising model is one of the simplest and most studied models in Statistical Mechanics. On one hand, it has a rich and interesting phase transition behaviour. On the other hand, it is "solvable" enough to allow for many rigorous and exact results. This, in particular, makes it one of the prime examples in Conformal Field Theory (CFT). In this talk, I will review my joint work with C. Hongler and D. Chelkak on the scaling limits of correlations in the planar Ising model at criticality. We prove that these limits exist, are conformally covariant and given by explicit formulae consistent with the CFT predictions. This may be viewed as a step towards a rigorous understanding of CFT in the case of the Ising model.TBC

In 1995 N. Hitchin constructed explicit algebraic solutions to the Painlevé VI (1/8,-1/8,1/8,3/8) equation starting with any Poncelet trajectory, that is a closed billiard trajectory inscribed in a conic and circumscribed about another conic. In this talk I will show that Hitchin's construction is the Okamoto transformation between Picard's solution and the general solution of the Painlevé VI (1/8,-1/8,1/8,3/8) equation. Moreover, this Okamoto transformation can be written in terms of an Abelian differential of the third kind on the associated elliptic curve, which allows to write down solutions to the corresponding Schlesinger system in terms of this differential as well. This is a joint work with V. Dragovic.

We consider the random conductance model: random walk among iid, uniformly elliptic conductnace on the d-dimensional lattice. We state,and explain, the Einstein relation for this model:It says that the derivative of the velocity of a biased walk as a function of the bias equals the diffusivity in equilibrium. For fixed bias, we show that there is an invariant measure for the environment seen from the particle.These invariant measures are often called steady states.

The Einstein relation follows, at least for dimensions three and larger, from an expansion of the steady states as a function of the bias.

The talk is gase on joint work with Jan Nagel and Xiaoqin Guo

Generalised Geometry is a very powerful tool to study gravity duals of strongly coupled gauge theories. In this talk I will discuss how Exceptional Geometry can be used to study marginal deformations of N=1 SCFT's in 4 and 3 dimensions.

Cluster algebras: from finite to infinite -- Sira Gratz

Abstract: Cluster algebras were introduced by Fomin and Zelevinsky at the beginning of this millennium.  Despite their relatively young age, strong connections to various fields of mathematics - pure and applied - have been established; they show up in topics as diverse as the representation theory of algebras, Teichmüller theory, Poisson geometry, string theory, and partial differential equations describing shallow water waves.  In this talk, following a short introduction to cluster algebras, we will explore their generalisation to infinite rank.

Modelling the effects of data streams using rough paths theory -- Hao Ni

Abstract: In this talk, we bring the theory of rough paths to the study of non-parametric statistics on streamed data and particularly to the problem of regression where the input variable is a stream of information, and the dependent response is also (potentially) a path or a stream.  We explain how a certain graded feature set of a stream, known in the rough path literature as the signature of the path, has a universality that allows one to characterise the functional relationship summarising the conditional distribution of the dependent response. At the same time this feature set allows explicit computational approaches through linear regression.  We give several examples to show how this low dimensional statistic can be effective to predict the effects of a data stream.

Much of our understanding of the tropospheric dynamics relies on the concept of discrete internal modes. However, discrete modes are the signature of a finite system, while the atmosphere should be modeled as infinite and "is characterized by a single isolated eigenmode and a continuous spectrum" (Lindzen, JAS 2003). Is it then unphysical to use discrete modes? To resolve this issue we obtain an approximate radiation condition at the tropopause --- this yields an EBC. We then use this EBC to compute a new set of vertical modes: the leaky rigid lid modes. These modes decay, with decay time-scales for the first few modes ranging from an hour to a week. This suggests that the rate of energy loss through upwards propagating waves may be an important factor in setting the time scale for some atmospheric phenomena. The modes are not orthogonal, but they are complete, with a simple way to project initial conditions onto them.

The EBC formulation requires an extension of the dispersive wave theory. There it is shown that sinusoidal waves carry energy with the group speed c_g = d omega / dk, where both the frequency omega and wavenumber k are real. However, when there are losses, complex k's and omega's arise, and a more general theory is required. I will briefly comment on this theory, and on how the Laplace Transform can be used to implement generic EBC.

Wei Title: Adaptive timestep Methods for non-globally Lipschitz SDEs

Wei Abstract: Explicit Euler and Milstein methods are two common ways to simulate the numerical solutions of
SDEs for its computability and implementability, but they require global Lipschitz continuity on both
drift and diffusion coefficients. By assuming the boundedness of the p-th moments of exact solution
and numerical solution, strong convergence of the Euler-type schemes for locally Lipschitz drift has been
proved in [HMS02], including the implicit Euler method and the semi-implicit Euler method. However,
except for some special cases, implicit-type Euler method requires additional computational cost, which
is very inefficient in practice. Explicit Euler method then is shown to be divergent in [HJK11] for non-
Lipschitz drift. Explicit tamed Euler method proposed in [HJK + 12], shows the strong convergence for the
one-sided Lipschitz condition with at most polynomial growth and it is also extended to tamed Milstein
method in [WG13]. In this paper, we propose a new adaptive timestep Euler method, which shows the
strong convergence under locally Lipschitz drift and gains the standard convergence order under one-sided
Lipschitz condition with at most polynomial growth. Numerical experiments also demonstrate a better
performance of our scheme, especially for large initial value and high dimensions, by comparing the mean
square error with respect to the runtime. In addition, we extend this adaptive scheme to Milstein method
and get a higher order strong convergence with commutative noise.

Alexander Title: Functionally-generated portfolios and optimal transport

Alexander Abstract: I will showcase some ongoing research, in which I try to make links between the class of functionally-generated portfolios from Stochastic Portfolio Theory, and certain optimal transport problems.

This is the 4th talk of the study group on Beilinson's approach to p-adic Hodge theory, following the notes of Szamuley and Zabradi.

I shall finish the computation of the module of differentials of the ring of integers of the algebraic closure of Q_p and describe a universal thickening of C_p.

I shall also quickly introduce the derived de Rham algebra. Kevin McGerty will give a talk on the derived de Rham algebra in W5 or W6.

Hall algebras are a deformation of the K-group (Grothendieck group) of an abelian category, which encode some information about non-trivial extensions in the category.
A main feature of Hall algebras is that in addition to the product (which deforms the product in the K-group) there is a natural coproduct, which in certain cases makes the Hall algebra a (braided) bi-algebra. This is the content of Green's theorem and supplies the main ingredient in a construction of quantum groups.

An abelian l-group G is essentially a partially ordered subgroup of functions from a set to a totally ordered abelian group such

that G is closed under taking finite infima and suprema. For example, G could be the continuous semi-linear functions defined on the open
unit square, or, G could be the continuous semi-algebraic functions defined in the plane with values in (0,\infty), where the group
operation is multiplication. I will show how G, under natural geometric assumptions, can be interpreted (in a weak sense) in its lattice of
zero sets. This will then be applied to the model theory of natural divisible abelian l-groups. For example we will see that the
aforementioned examples are elementary equivalent. (Parts of the results have been announced in a preliminary report from 1987 by F. Shen
and V. Weispfenning.)