Tue, 07 Nov 2017

14:00 - 14:30
L5

OSQP: An Operator Splitting Solver for Quadratic Programs

Bartolomeo Stellato
(Oxford University)
Abstract

We develop a general purpose solver for quadratic programs based on operator splitting. We introduce a novel splitting that requires the solution of a quasi-definite linear system with the same coefficient matrix in each iteration. The resulting algorithm is very robust, and once the initial factorization is carried out, division free; it also eliminates requirements on the problem data such as positive definiteness of the objective function or linear independence of the constraint functions. Moreover, it is able to detect primal or dual infeasible problems providing infeasibility certificates. The method supports caching the factorization of the quasi-definite system and warm starting, making it efficient for solving parametrized problems arising in finance, control, and machine learning. Our open-source C implementation OSQP has a small footprint and is library-free. Numerical benchmarks on problems arising from several application domains show that OSQP is typically 10x faster than interior-point methods, especially when factorization caching or warm start is used.


This is joint work with Goran Banjac, Paul Goulart, Alberto Bemporad and Stephen Boyd
 

Mon, 27 Nov 2017

14:15 - 15:15
L5

Constructions of cohomogeneity one Ricci solitons

Matthias Wink
(Oxford University)
Abstract

In this talk two different methods for constructing complete steady and expanding Ricci solitons of cohomogeneity one will be discussed. The first is based on an estimate on the growth of the soliton potential and holds for large classes of cohomogeneity one manifolds. The second approach is specific to the two summands case and uses a Lyapunov function. This method also carries over to the Einstein case and as an application, a simplified construction of B\"ohm's Einstein metrics of positive scalar curvature on spheres will be explained.

 

Wed, 18 Oct 2017

17:00 - 18:00
L1

Vicky Neale - Closing the Gap: the quest to understand prime numbers

Vicky Neale
(Oxford University)
Abstract

Prime numbers have intrigued, inspired and infuriated mathematicians for millennia and yet mathematicians' difficulty with answering simple questions about them reveals their depth and subtlety. 

Join Vicky to learn about recent progress towards proving the famous Twin Primes Conjecture and to hear the very different ways in which these breakthroughs have been made - a solo mathematician working in isolation, a young mathematician displaying creativity at the start of a career, a large collaboration that reveals much about how mathematicians go about their work.  

Vicky Neale is Whitehead Lecturer at the Mathematical Institute, University of Oxford and Supernumerary Fellow at Balliol College.

Please email @email to register.

Tue, 02 May 2017
14:30
L6

Bootstrap Percolation in the Hypercube

Natasha Morrison
(Oxford University)
Abstract

The $r$-neighbour bootstrap process on a graph $G$ starts with an initial set of "infected" vertices and, at each step of the process, a healthy vertex becomes infected if it has at least $r$ infected neighbours (once a vertex becomes infected, it remains infected forever). If every vertex of $G$ becomes infected during the process, then we say that the initial set percolates.

In this talk I will discuss the proof of a conjecture of Balogh and Bollobás: for fixed $r$ and $d\to\infty$, the minimum cardinality of a percolating set in the $d$-dimensional hypercube is $\frac{1+o(1)}{r}\binom{d}{r-1}$. One of the key ideas behind the proof exploits a connection between bootstrap percolation and weak saturation. This is joint work with Jonathan Noel.

Thu, 08 Jun 2017

16:00 - 17:00
L3

Population Dispersal in Spatially Structured Domains & Modelling and computation for compacting sedimentary basins

Andrew Krause, Jane Lee
(Oxford University)
Abstract

Understanding the spatial distribution of organisms throughout an environment is an important topic in population ecology. We briefly review ecological questions underpinning certain mathematical work that has been done in this area, before presenting a few examples of spatially structured population models. As a first example, we consider a model of two species aggregation and clustering in two-dimensional domains in the presence of heterogeneity, and demonstrate novel aggregation mechanisms in this setting. We next consider a second example consisting of a predator-prey-subsidy model in a spatially continuous domain where the spatial distribution of the subsidy influences the stability and spatial structure of steady states of the system. Finally, we discuss ongoing work on extending such results to network-structured domains, and discuss how and when the presence of a subsidy can stabilize predator-prey dynamics."

-------------------------------------------------------------------------------------------------------------------------------

Compaction is a primary process in the evolution of a sedimentary basin. Various 1D models exist to model a basin compacting due to overburden load. We explore a multi-dimensional model for a basin undergoing mechanical and chemical compaction. We discuss some properties of our model. Some test cases in the presence of geological features are considered, with appropriate numerical techniques presented.

Thu, 01 Jun 2017

14:00 - 15:00
L4

Randomized methods for accelerating matrix factorization algorithms

Prof. Gunnar Martinsson
(Oxford University)
Abstract


The talk will describe accelerated algorithms for computing full or partial matrix factorizations such as the eigenvalue decomposition, the QR factorization, etc. The key technical novelty is the use of  randomized projections to reduce the effective dimensionality of  intermediate steps in the computation. The resulting algorithms execute faster on modern hardware than traditional algorithms, and are particularly well suited for processing very large data sets.

The algorithms described are supported by a rigorous mathematical analysis that exploits recent work in random matrix theory. The talk will briefly review some representative theoretical results.

Tue, 24 Jan 2017
14:30
L6

Gowers Norms of the Thue-Morse and Other Automatic Sequences

Jakub Konieczny
(Oxford University)
Abstract

The Thue-Morse sequence is perhaps the simplest example of an automatic sequence. Various pseudorandomness properties of this sequence have long been studied. During the talk, I will discuss a new result in this direction, asserting that the Gowers uniformity norms of the Thue-Morse sequence are small in a quantitative sense. Similar results hold for the Rudin-Shapiro sequence, as well as for a much wider class of automatic sequences which will be introduced during the talk.

The talk is partially based on joint work with Jakub Byszewski.

Tue, 17 Jan 2017
14:30
L6

Parking On A Random Tree

Michał Przykucki
(Oxford University)
Abstract

Consider the following particle system. We are given a uniform random rooted tree on vertices labelled by $[n] = \{1,2,\ldots,n\}$, with edges directed towards the root. Each node of the tree has space for a single particle (we think of them as cars). A number $m \le n$ of cars arrive one by one, and car $i$ wishes to park at node $S_i$, $1 \le i \le m$, where $S_1, S_2, \ldots, S_m$ are i.i.d. uniform random variables on $[n]$. If a car wishes to park at a space which is already occupied, it follows the unique path oriented towards the root until it encounters an empty space, in which case it parks there; if there is no empty space, it leaves the tree. Let $A_{n,m}$ denote the event that all $m$ cars find spaces in the tree. Lackner and Panholzer proved (via analytic combinatorics methods) that there is a phase transition in this model. Set $m = \lfloor \alpha n \rfloor$. Then if $\alpha \le 1/2$, $\mathbb{P}(A_{n,\lfloor \alpha n \rfloor}) \to \frac{\sqrt{1-2\alpha}}{1-\alpha}$, whereas if $\alpha > 1/2$ we have $\mathbb{P}(A_{n,\lfloor \alpha n \rfloor}) \to 0$. In this talk, we will give a probabilistic explanation for this phenomenon, and an alternative proof via the objective method.

Joint work with Christina Goldschmidt.

Subscribe to Oxford University