I will discuss ongoing work aimed at constructing higher categories of (enriched) higher categories. This should give the appropriate targets for many interesting examples of extended topological quantum field theories, including extended versions of the classical examples of TQFTs due to Turaev-Viro, Reshetikhin-Turaev, etc.

Klarrich showed that the Gromov boundary of the curve complex of a hyperbolic surface is homeomorphic to the space of ending laminations on that surface. Independent results of Bestvina-Reynolds and Hamenstädt give an analogous statement for the free factor graph of a free group, where the space of ending laminations is replaced with a space of equivalence classes of arational trees. I will give an introduction to these objects and describe some joint work with Bestvina and Horbez, where we show that the Gromov boundary of the free factor graph for a free group of rank N has topological dimension at most 2N-2.

Oxford Mathematics Public Lectures - Andrew Wiles, 28th November, 6.30pm, Science Museum, London SW7 2DD

Oxford Mathematics in partnership with the Science Museum is delighted to announce its first Public Lecture in London. World-renowned mathematician Andrew Wiles will be our speaker. Andrew will be talking about his current work and will also be 'in conversation' with mathematician and broadcaster Hannah Fry after the lecture.

This lecture is now sold out, but it will be streamed live and recorded. https://livestream.com/oxuni/wiles
 

In recognition of a lifetime's contribution across the mathematical sciences, we are initiating a series of annual Public Lectures in honour of Roger Penrose. The first lecture will be given by his long-time collaborator and friend Stephen Hawking.

Unfortunately the lecture is now sold out and we have a full waiting list. However, we will be podcasting the lecture live (and also via the University of Oxford Facebook page).

In this talk we consider a system of interacting Brownian particles. When diffusing particles interact with each other their motions are correlated, and the configuration space is of very high dimension. Often an equation for the one-particle density function (the concentration) is sought by integrating out the positions of all the others. This leads to the classic problem of closure, since the equation for the concentration so derived depends on the two-particle correlation function. We discuss two  common closures, the mean-field (MFA) and the Kirkwood-superposition approximations, as well as an alternative approach, which is entirely systematic, using matched asymptotic expansions (MAE). We compare the resulting (nonlinear) diffusion models with Monte Carlo simulations of the stochastic particle system, and discuss for which types of interactions (short- or long-range) each model works best. 

We present a new model for multi-agent dynamics where each agent is described by its position and body attitude: agents travel at a constant speed in a given direction and their body can rotate around it adopting different configurations. Agents try to coordinate their body attitudes with the ones of their neighbours. This model is inspired by the Vicsek model. The goal of this talk will be to present this new flocking model, its relevance and the derivation of the macroscopic equations from the particle dynamics.

A cubic polynomial equation in four or more variables tends to have many integer solutions, while one in two variables has a limited number of such solutions. There is a body of work establishing results along these lines. On the other hand very little is known in the critical case of three variables. For special such cubics, which we call Markoff surfaces, a theory can be developed. We will review some of the tools used to deal with these and related problems.

Joint works with Bourgain/Gamburd and with Ghosh
 

Adaptive oblivious transfer (OT) is a protocol where a sender
initially commits to a database {M_i}_{i=1}^N . Then, a receiver can query the
sender up to k times with private indexes ρ_1, …, ρ_k so as to obtain
M_{ρ_1}, …, M_{ρ_k} and nothing else. Moreover, for each i ∈ [k], the receiver’s
choice ρ_i may depend on previously obtained messages {M_ρ_j}_{j<i} . Oblivious transfer
with access control (OT-AC) is a flavor of adaptive OT
where database records are protected by distinct access control policies
that specify which credentials a receiver should obtain in order to access
each M_i . So far, all known OT-AC protocols only support access policies
made of conjunctions or rely on ad hoc assumptions in pairing-friendly
groups (or both). In this paper, we provide an OT-AC protocol where access policies may consist of any branching program of polynomial length, which is sufficient to realize any access policy in NC^1. The security of
our protocol is proved under the Learning-with-Errors (LWE) and Short-
Integer-Solution (SIS) assumptions. As a result of independent interest,
we provide protocols for proving the correct evaluation of a committed
branching program on a committed input.

Joint work with Benoît Libert, San Ling, Khoa Nguyen and Huaxiong Wang.