L3

The spatial coordination of cellular differentiation enables functional organogenesis. How coordination results in specific patterns of differentiation in a robust manner is a fundamental question for all developmental systems in biology. Theoreticians such as Turing and Wolpert have proposed the importance of specific mechanisms that enable certain types of patterns to emerge, but these mechanisms are often difficult to identify in natural systems. Therefore, we have started using synthetic biology to ask whether specific mechanisms of pattern formation can be engineered into a simple cellular background. In this talk, I will show several examples of emergent spatial patterning that results from the insertion of synthetic signalling pathways and transcriptional logic into E. coli. In all cases, we use computational modelling to initially design circuits with a desired outcome, and improve the selection of biological components (DNA sub-sequences) that achieve this outcome according to a quantifiable measure. In the specific case of Turing patterns, we have yet to produce a functional system in vivo, but I will describe new analytical tools that are helping to guide the design of synthetic circuits that can produce a Turing instability.

We aim to establish and experimentally test mathematical models of embryogenesis. While the foundation of this research is based on models of isolated developmental events, the ultimate challenge is to formulate and understand dynamical systems encompassing multiple stages of development and multiple levels of regulation. These range from specific chemical reactions in single cells to coordinated dynamics of multiple cells during morphogenesis. Examples of our dynamical systems models of embryogenesis – from the events in the Drosophila egg to the early stages of gastrulation – will be presented. Each of these will demonstrate what had been learned from model analysis and model-driven experiments, and what further research directions are guided by these models.

In this talk I shall describe recent work inspired by problems in cell biology, namely how the dynamics of small G-proteins underlies polarity formation. Their dynamics is such that their active membrane bound form diffuses more slowly. Hence you might expect Turing patterns. Yet how do cells form backs and fronts or single isolated patches. In understanding these questions we shall show that the key is to identify the parameter region where Turing bifurcations are sub-critical. What emerges is a unified 2-parameter bifurcation diagram containing pinned fronts, localised spots, localised patterns. This diagram appears in many canonical models such as Schnakenberg and Brusselator, as well as biologically more realistic systems. A link is also found between theories of semi-string interaction asymptotics and so-called homoclinic snaking. I will close with some remarks about relevance to root hair formation and to the importance of subcriticality in biology. 

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 an n-sided lightlike polygonal super-Wilson loop together with m 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. However there are some crucial subtleties with the cancellation of spurious poles due to the gauge fixing. They are resolved by finding the correct formulation of the Wilson loop and by careful analytic continuation from Minkowski to Euclidean space. We illustrate all of these subtleties explicitly in the simplest non-trivial NMHV-like case.

In existing techniques for model-based derivative-free optimisation, the computational cost of constructing local models and Lagrange polynomials can be high. As a result, these algorithms are not as suitable for large-scale problems as derivative-based methods. In this talk, I will introduce a derivative-free method based on exploration of random subspaces, suitable for nonlinear least-squares problems. This method has a substantially reduced computational cost (in terms of linear algebra), while still making progress using few objective evaluations.

I will talk about supersymmetric index of 4d N=1 supersymmetric theories on S^1xM_3 which counts supersymmetric states.  
In the first part, I will discuss a general formula to describe an asymptotic behaviour of the index in the limit of shrinking S^1
which we refer to as 4d (refined) supersymmetric Cardy formula. This part is based on arXiv:1611.00380 with Lorenzo Di Pietro.
In the second part, I will apply this formula to black hole physics. I will mainly focus on superconformal index of SU(N) N=4 super Yang-Mills theory
which is expected to be dual to type IIB superstring theory on AdS_5 x S^5. We will see that the index in the large-N limit reproduces the Bekenstein-Hawking entropy
of rotating charged BPS black hole on the gravity side. Our result for finite N makes a prediction to the black hole entropy with full quantum corrections.
The second part is based on arXiv:1901.08091.

I will review the equivalence of categories of a Bernstein component of a p-adic classical group with the category of right modules over a certain affine Hecke algebra (with parameters) that I obtained previously. The parameters can be made explicit by the parametrization of supercuspidal representations of classical groups obtained by C. Moeglin, using methods of J. Arthur. Via this equivalence, I can show that the category of smooth complex representations of a quasisplit $p$-adic classical group and its pure inner forms is naturally decomposed into subcategories that are equivalent to the tensor product of categories of unipotent representations of classical groups (in the sense of G. Lusztig). All classical groups (general linear, orthogonal, symplectic and unitary groups) appear in this context.