Imperial College London

We are interested in large systems of agents collectively looking for a

consensus (about e.g. their direction of motion, like in bird flocks). In

spite of the local character of the interactions (only a few neighbours are

involved), these systems often exhibit large scale coordinated structures.

The understanding of how this self-organization emerges at the large scale

is still poorly understood and offer fascinating challenges to the modelling

science. We will discuss a few of these issues on a selection of specific

examples.

*****     PLEASE NOTE THIS SEMINAR WILL TAKE PLACE ON MONDAY 17TH JUNE 2013     *****

Computing is an exercise of discretization of the real world into space, time, and value. While discretization in time and space is well understood in the sciences, discretization of value is a scientific domain full of opportunity. Maxeler's Multiscale Dataflow Computing allows the programmer to finely trade off discretization of value with real performance measured in wallclock time.

In this talk I will show the connection between discretization of value and Kolmogorov Complexity on one hand and approximation theory on the other. Utilizing the above concepts together with building general purpose computing systems based on dataflow concepts, has enabled us to deliver production systems for Oil & Gas imaging (modelling, multiple elimination, RTM, Geomechanics), Finance Risk (derivatives modelling and scenario analysis), as well as many scientific application such as computing weather models, Astrochemistry, and brain simulations. Algorithms range from 3D Finite Difference, Finite Elements (sparse matrix solvers), pattern matching, conjugate gradient optimization, to communication protocols and bitcoin calculations. Published results of users of our machines show a 20-50x total advantage in computations per unit space (1U) and computations per Watt.

*****     PLEASE NOTE THIS SEMINAR WILL TAKE PLACE ON MONDAY 17TH JUNE 2013     *****

The study of wave equations on black hole backgrounds provides important insights for the non-linear stability problem for black holes. I will illustrate this in the context of asymptotically anti de Sitter black holes and present both stability and instability results. In particular, I will outline the main ideas of recent work with J. Smulevici (Paris) establishing a logarithmic decay in time for solutions of the massive wave equation on Kerr-AdS black holes and proving that this slow decay rate is in fact sharp.

Counting nodal curves in linear systems $|L|$ on smooth projective surfaces $S$ is a problem with a long history. The G\"ottsche conjecture, now proved by several people, states that these counts are universal and only depend on $c_1(L)^2$, $c_1(L)\cdot c_1(S)$, $c_1(S)^2$ and $c_2(S)$. We present a quite general definition of reduced Gromov-Witten and stable pair invariants on S. The reduced stable pair theory is entirely computable. Moreover, we prove that certain reduced Gromov-Witten and stable pair invariants with many point insertions coincide and are both equal to the nodal curve counts appearing in the Göttsche conjecture. This can be seen as version of the MNOP conjecture for the canonical bundle $K_S$. This is joint work with R. P. Thomas.

If $X$ is a Fano variety with canonical bundle $O(-k)$, its derived category

has a semi-orthogonal decomposition (I will say what that means)

\[ D(X) = \langle O(-k+1), ..., O(-1), O, A \rangle, \]

where the subcategory $A$ is the "interesting piece" of $D(X)$. In the previous talk we saw that $A$ can have very rich geometry. In this talk we will see a less well-understood example of this: when $X$ is a smooth cubic in $P^5$, $A$ looks like the derived category of a K3 surface. We will discuss Kuznetsov's conjecture that $X$ is rational if and only if $A$ is geometric, relate it to Hassett's earlier work on the Hodge theory of $X$, and mention an autoequivalence of $D(Hilb^2(K3))$ that I came across while studying the problem.