L5

We investigate the strong data processing inequalities of contractive Markov Kernels under a specific f-divergence, namely the E-gamma-divergence. More specifically, we characterize an upper bound on the E-gamma-divergence between PK and QK, the output distributions of contractive Markov kernel K, in terms of the E-gamma-divergence between the corresponding input distributions P and Q. Interestingly, the tightest such upper bound turns out to have a non-multiplicative form. We apply our results to derive new bounds for the local differential privacy guarantees offered by the sequential application of a privacy mechanism to data and we demonstrate that our framework unifies the analysis of mixing times for contractive Markov kernels.

We characterise the solutions to a continuous-time optimal liquidity provision problem in a market populated by informed and uninformed traders. In our model, the asset price exhibits fads -- these are short-term deviations from the fundamental value of the asset. Conditional on the value of the fad, we model how informed traders and uninformed traders arrive in the market. The market maker knows of the two groups of traders but only observes the anonymous order arrivals. We study both, the complete information and the partial information versions of the control problem faced by the market maker. In such frameworks, we characterise the value of information, and we find the price of liquidity as a function of the proportion of informed traders in the market. Lastly, for the partial information setup, we explore how to go beyond the Kalman-Bucy filter to extract information about the fad from the market arrivals.

The class of henselian valued fields with non-discrete value group is not well-understood. In 2018, Koenigsmann conjectured that a list of seven natural axioms describes a complete axiomatisation of Q_p^ab, the maximal extension of the p-adic numbers Q_p with abelian Galois group, which is an example of such a valued field. Informed by the recent work of Jahnke-Kartas on the model theory of perfectoid fields, we formulate an eighth axiom (the discriminant property) that is not a consequence of the other seven. Revisiting work by Koenigsmann (the Galois characterisation of Q_p) and Jahnke-Kartas, we give a uniform treatment of their underlying method. In particular, we highlight how this method yields short, non-standard model-theoretic proofs of known results (e.g. finite extensions of perfectoid fields are perfectoid).

We study the spectrum of the Laplacian on finite-area hyperbolic surfaces of large volume, focusing on small eigenvalues i.e. those below 1/4. I will discuss some recent results and open problems in this area. Based on joint works with Michael Magee and with Joe Thomas.
 

Gauge theory excels at solving minimal genus problems for 3- and 4-manifolds.  A notable triumph is its resolution of the Thom conjecture, asserting that the genus of a smooth complex curve in the complex projective plane is no larger than any smooth submanifold homologous to it.  Gauge theoretic techniques have also been used to verify analagous conjectures for Kähler surfaces or, more generally, symplectic 4-manifolds.  One can formulate versions of these conjectures for surfaces with boundary lying in a 3-manifold, and I'll discuss work in progress with Katherine Raoux which attempts to extend these "relative" Thom conjectures outside the complex (or even symplectic) realm using tools from Floer homology.