University of Oxford

The relationship of diagonal dominance ideas to the convergence of stationary iterations is well known. There are a multitude of situations in which such considerations can be used to guarantee convergence when the splitting matrix (the preconditioner) is positive definite. In this talk we will describe and prove sufficient conditions for convergence of a stationary iteration based on a splitting with an indefinite preconditioner. Simple examples covered by this theory coming from Optimization and Economics will be described.

This is joint work with Michael Ferris and Tom Rutherford

We investigate an X-ray imaging system that fires multiple point sources of radiation simultaneously from close proximity to a probe. Radiation traverses the probe in a non-parallel fashion, which makes it necessary to use tomosynthesis as a preliminary step to calculating a 2D shadowgraph. The system geometry requires imaging techniques that differ substantially from planar X-rays or CT tomography. We present a proof of concept of such an imaging system, along with relevant artefact removal techniques.  This work is joint with Kishan Patel.

Gyárfás conjectured in 1985 that if $G$ is a graph with no induced cycle of odd length at least 5, then the chromatic number of $G$ is bounded by a function of its clique number.  We prove this conjecture.  Joint work with Paul Seymour.

Networks provide a convenient way to represent complex systems of interacting entities. Many networks contain "communities" of nodes that are more strongly connected to each other than to nodes in the rest of the network. Most methods for detecting communities are designed for static networks. However, in many applications, entities and/or interactions between entities evolve in time. To incorporate temporal variation into the detection of a network's community structure, two main approaches have been adopted. The first approach entails aggregating different snapshots of a network over time to form a static network and then using static techniques on the resulting network. The second approach entails using static techniques on a sequence of snapshots or aggregations over time, and then tracking the temporal evolution of communities across the sequence in some ad hoc manner. We represent a temporal network as a multilayer network (a sequence of coupled snapshots), and discuss  a method that can find communities that extend across time. 

Factorization is a property of global objects that can be built up from local data. In the first half, we introduce the concept of factorization spaces, focusing on two examples relevant for the Geometric Langlands programme: the affine Grassmannian and jet spaces.

In the second half, factorization algebras will be defined including a discussion of how factorization spaces and commutative algebras give rise to examples. Finally, chiral homology is defined as a way to give global invariants of such objects.

Ever wondered how the log function in your code is computed? This talk, which was prepared for the 400th anniversary of Napier's development of logarithms, discusses the computation of reciprocals, exponentials and logs, and also my own work on some special functions which are important in Monte Carlo simulation.