Thu, 30 Jan 2020

13:00 - 14:00
N3.12

How to use maths to solve philosophy, human value, AI, and save the world

Stuart Armstrong
(University of Oxford)
Abstract

How would we get a powerful AI to align itself with human preferences? What are human preferences anyway? And how can you code all this?
It turns out that maths give you the grounding to answer these fascinating and vital questions.
 

Thu, 23 Jan 2020

13:00 - 14:00
N3.12

Many paths, one maths

Noam Kantor
(University of Oxford)
Abstract

Let's take a step back to understand what it means to use maths in society: Which maths, and whose society? I'll talk about some of the options I've come across, including time I spent at the US Census Bureau, and we will hear your ideas too. We might even crowdsource a document of maths in society opportunities together...

Tue, 21 Jan 2020
14:00
L6

Extremal problems of long cycles in random graphs

Gal Kronenberg
(University of Oxford)
Abstract

In this talk, we consider the random version of some classical extremal problems in the context of long cycles. This type of problems can also be seen as random analogues of the Turán number of long cycles, established by Woodall in 1972.

For a graph $G$ on $n$ vertices and a graph $H$, denote by $\text{ex}(G,H)$ the maximal number of edges in an $H$-free subgraph of $G$. We consider a random graph $G\sim G(n,p)$ where $p>C/n$, and determine the asymptotic value of $\text{ex}(G,C_t)$, for every $A\log(n)< t< (1- \varepsilon)n$. The behaviour of $\text{ex}(G,C_t)$ can depend substantially on the parity of $t$. In particular, our results match the classical result of Woodall, and demonstrate the transference principle in the context of long cycles.

Using similar techniques, we also prove a robustness-type result, showing the likely existence of cycles of prescribed lengths in a random subgraph of a graph with a nearly optimal density (a nearly ''Woodall graph"). If time permits, we will present some connections to size-Ramsey numbers of long cycles.

Based on joint works with Michael Krivelevich and Adva Mond.

Thu, 06 Feb 2020

14:00 - 15:00
L4

Quantifying the Estimation Error of Principal Component

Raphael Hauser
(University of Oxford)
Abstract

(Joint work with: Jüri Lember, Heinrich Matzinger, Raul Kangro)

Principal component analysis is an important pattern recognition and dimensionality reduction tool in many applications and are computed as eigenvectors

of a maximum likelihood covariance that approximates a population covariance. The eigenvectors are often used to extract structural information about the variables (or attributes) of the studied population. Since PCA is based on the eigen-decomposition of the proxy covariance rather than the ground-truth, it is important to understand the approximation error in each individual eigenvector as a function of the number of available samples. The combination of recent results of Koltchinskii & Lounici [8] and Yu, Wang & Samworth [11] yields such bounds. In the presented work we sharpen these bounds and show that eigenvectors can often be reconstructed to a required accuracy from a sample of strictly smaller size order.

Thu, 27 Feb 2020

17:00 - 18:30
L1

Hidden histories: Oxford’s female computing pioneers

Ursula Martin, Georgina Ferry and Panel
(University of Oxford)
Further Information

Join us in Oxford Mathematics on 27th February 2020 for a talk and discussion celebrating the Bodleian Libraries' release of interviews by Georgina Ferry of some of Oxford’s female computing pioneers.

Some remarkable women shaped Oxford computing: Dorothy Hodgkin won the Nobel Prize for work on insulin; Susan Hockey pioneered digital humanities; Shirley Carter, Linda Hayes and Joan Walsh got the pioneering software company NAG off the ground in 1970; and female operators and programmers were at the heart of the early large-scale computing efforts powering 20th-century science.

4.30pm: Welcome tea
5.00pm: Professor June Barrow-Green - Hidden histories: Oxford’s female computing pioneers
5.45pm: Panel discussion chaired by science writer Georgina Ferry and featuring some of the the pioneers themselves

No need to register.

Tue, 10 Dec 2019 09:00 -
Tue, 31 Mar 2020 18:00
South Mezz Circulation

The Penrose Proofs: an exhibition of Roger Penrose’s Scientific Drawings 1-6

Roger Penrose
(University of Oxford)
Further Information

As you might expect from a man whose family included the Surrealist artist Roland Penrose, Roger Penrose has always thought visually. That thinking is captured brilliantly in this selection of Roger’s drawings that he produced for his published works and papers.

From quasi-symmetric patterns to graphic illustrations of the paradoxical three versions of reality via twistor theory and the brain, this selection captures the stunning range of Roger’s scientific work and the visual thinking that inspires and describes it.

Mezzanine Level
Mathematical Institute
Oxford

10 December 2019- 31 March 2020

[[{"fid":"56998","view_mode":"media_397x223","fields":{"format":"media_397x223","field_file_image_alt_text[und][0][value]":false,"field_file_image_title_text[und][0][value]":false},"type":"media","field_deltas":{"1":{"format":"media_397x223","field_file_image_alt_text[und][0][value]":false,"field_file_image_title_text[und][0][value]":false}},"attributes":{"class":"media-element file-media-397x223","data-delta":"1"}}]]

Subscribe to University of Oxford