Fri, 13 May 2016
10:00
N3.12

tba

Heather Harrington
Thu, 12 May 2016

16:30 - 18:00
L1

Marcus du Sautoy - What We Cannot Know

Marcus du Sautoy
(Oxford University)
Abstract

Science is giving us unprecedented insight into the big questions that have challenged humanity. Where did we come from? What is the ultimate destiny of the universe? What are the building blocks of the physical world? What is consciousness?

‘What We Cannot Know’ asks us to rein in this unbridled enthusiasm for the power of science. Are there limits to what we can discover about our physical universe? Are some regions of the future beyond the predictive powers of science and mathematics? Are there ideas so complex that they are beyond the conception of our finite human brains? Can brains even investigate themselves or does the analysis enter an infinite loop from which it is impossible to rescue itself? 

To coincide with the launch of his new book of the same title, Marcus du Sautoy will be answering (or not answering) those questions. He will also be signing copies of the book before and after the lecture.

To book please email @email

Thu, 12 May 2016
16:00
L6

Joint Number Theory/Logic Seminar: Two models for the hyperbolic plane and existence of the Poincare metric on compact Riemann surfaces

Norbert A'Campo
(Basel)
Abstract
An implicite definition for the hyperbolic plane $H=H_I$ is in:
${\rm Spec}(\mathbb{R}[X]) = H_I \setunion  \mathbb{R}$.
All geometric hyperbolic features will follow from this definition in an elementary way.
 
A second definition is 
$H=H_J=\{J \in {\rm End}(R^2) \mid J^2=-Id, dx \wedge dy(u,Ju) \geq 0 \}$.
Working with $H=H_J$ allows to prove rather directly main theorems about Riemann surfaces.
Thu, 12 May 2016
16:00
L6

(Joint with logic) Two models for the hyperbolic plane and existence of the Poincaré metric on compact Riemann surfaces

Norbert A’Campo
(University of Basel)
Abstract
An implicite definition for the hyperbolic plane $H=H_I$ is in: ${\rm Spec}(\mathbb{R}[X]) = H_I \cup \mathbb{R}$. All geometric hyperbolic features will follow from this definition in an elementary way.
 
A second definition is $H=H_J=\{J \in {\rm End}(R^2) \mid J^2=-Id, dx \wedge dy(u,Ju) \geq 0 \}$. Working with $H=H_J$ allows to prove rather directly main theorems about Riemann surfaces.
Thu, 12 May 2016

16:00 - 17:30
L4

Dynamic Mean Variance Asset Allocation: Numerics and Backtests

Peter Forsyth
(University of Waterloo Canada)
Abstract

This seminar is run jointly with OMI.

 

Throughout the Western world, defined benefit pension plans are disappearing, replaced by defined contribution (DC) plans. Retail investors are thus faced with managing investments over a thirty year accumulation period followed by a twenty year decumulation phase. Holders of DC plans are thus truly long term investors. We consider dynamic mean variance asset allocation strategies for long term investors. We derive the "embedding result" which converts the mean variance objective into a form suitable for dynamic programming using an intuitive approach. We then discuss a semi-Lagrangian technique for numerical solution of the optimal control problem via a Hamilton-Jacob-Bellman PDE. Parameters for the inflation adjusted return of a stock index and a risk free bond are determined by examining 89 years of US data. Extensive synthetic market tests, and resampled backtests of historical data, indicate that the multi-period mean variance strategy achieves approximately the same expected terminal wealth as a constant weight strategy, while reducing the probability of shortfall by a factor of two to three.

Thu, 12 May 2016

16:00 - 17:00
L3

Cancelled - Mathematical Problems within the Analysis of Transport Data

Eddie Wilson
(University of Bristol)
Abstract

My main purpose in this talk is try and convey a sense of my enthusiasm for mathematical modelling generally and how I've come to use it in a range of transport applications. For concreteness, I am going to talk in particular about work I have been doing on EPSRC grant EP/K000438/1 (PI: Jillian Anable, Aberdeen) where we are using the UK government's Department for Transport MOT data to estimate mileage totals and study how they are broken down across the population in various different ways. Embedded inside this practical problem is a whole set of miniature mathematical puzzles and challenges which are quite particular to the problem area itself, and one wider question which is rather deeper and more general: whether it is possible (and how) to convert usage data that is low-resolution in time but high-resolution in individuals to knowledge that is high-resolution in time but only expressed at a population level.

Thu, 12 May 2016

14:00 - 15:00
Rutherford Appleton Laboratory, nr Didcot

Estimating the Largest Elements of a Matrix

Dr Sam Relton
(Manchester University)
Abstract


In many applications we need to find or estimate the $p \ge 1$ largest elements of a matrix, along with their locations. This is required for recommender systems used by Amazon and Netflix, link prediction in graphs, and in finding the most important links in a complex network, for example. 

Our algorithm uses only matrix vector products and is based upon a power method for mixed subordinate norms. We have obtained theoretical results on the convergence of this algorithm via a comparison with rook pivoting for the LU  decomposition. We have also improved the practicality of the algorithm by producing a blocked version iterating on $n \times t$ matrices, as opposed to vectors, where $t$ is a tunable parameter. For $p > 1$ we show how deflation can be used to improve the convergence of the algorithm. 

Finally, numerical experiments on both randomly generated matrices and real-life datasets (the latter for $A^TA$ and $e^A$) show how our algorithms can reliably estimate the largest elements of a matrix whilst obtaining considerable speedups when compared to forming the matrix explicitly: over 1000x in some cases.

Thu, 12 May 2016
12:00
L6

Quantization of time-like energy for wave maps into spheres

Roland Grinis
(Oxford)
Abstract
In this talk, we shall discuss how building upon the threshold theorem for wave maps, techniques inspired by the blow-up analysis of supercritical harmonic maps, can lead to a decomposition of the map into a decoupled sum of rescaled solitons, along a suitably chosen sequence of time slices converging to the maximal time of existence, with a term having asymptotically vanishing energy in the interior of the light cone, and when the target manifold is an Euclidean sphere. This work is motivated by the soliton resolution conjecture, on which spectacular progress has been achieved recently for equivariant wave maps, radial Yang-Mills fields and semi-linear critical wave equations.
Wed, 11 May 2016

16:00 - 17:00
C1

Commutator Subgroup and Quasimorphisms

Nicolaus Heuer
(Oxford)
Abstract

Quasimorphisms (QM) of groups to the reals are well studied and are linked to stable commutator length (scl) via Bavard Duality- Theorem. The notion of QM can be generalized to yield maps  between groups such that each QM from one group pulls back to a QM in the other.

We will give both a short overview of features of scl and investigate these generalized QMs with large scale properties of the commutator group. 

Wed, 11 May 2016
15:00
L4

The monogamy of entanglement, and applications to quantum cryptography

Serge Fehr
(CWI Amsterdam)
Abstract

One of the peculiar features of quantum mechanics is
entanglement. It is known that entanglement is monogamous in the sense
that a quantum system can only be strongly entangled to one other
system. In this talk, I will show how this so-called monogamy of
entanglement can be captured and quantified by a "game". We show that,
in this particular game, the monogamy completely "cancels out" the
advantage of entanglement.
As an application of our analysis, we show that - in theory - the
standard BB84 quantum-key-distribution scheme is one-sided
device-independent, meaning that one of the parties, say Bob, does not
need to trust his quantum measurement device: security is guaranteed
even if his device is completely malicious.
The talk will be fully self-contained; no prior knowledge on quantum
mechanics/cryptography is necessary.

Wed, 11 May 2016

11:00 - 12:30
N3.12

Wild spheres in R3

Simon Bergant
(Oxford)
Abstract

In 1924, James W. Alexander constructed a 2-sphere in R3 that is not ambiently homeomorphic to the standard 2-sphere, which demonstrated the failure of the Schoenflies theorem in higher dimensions. I will describe the construction of the Alexander horned sphere and the Antoine necklace and describe some of their properties.

Wed, 11 May 2016
11:00
L5

Geometry without Points

Dana Scott
Abstract

Ever since the compilers of Euclid's Elements gave the "definitions" that "a point is that which has no part" and "a line is breadthless length", philosophers and mathematicians have worried that the basic concepts of geometry are too abstract and too idealized.  In the 20th century writers such as Husserl, Lesniewski, Whitehead, Tarski, Blumenthal, and von Neumann have proposed "pointless" approaches.  A problem more recent authors have emphasized it that there are difficulties in having a rich theory of a part-whole relationship without atoms and providing both size and geometric dimension as part of the theory.  A possible solution is proposed using the Boolean algebra of measurable sets modulo null sets along with relations derived from the group of rigid motions in Euclidean n-space. 

Tue, 10 May 2016

15:30 - 17:00
L4

Cohomological DT theory beyond the integrality conjecture

Ben Davison
(EPFL)
Abstract
The integrality conjecture is one of the central conjectures of the DT theory of quivers with potential, which itself is a key tool in understanding the local calculation of DT invariants on moduli spaces of coherent sheaves, as well as having deep links to geometric representation theory, noncommutative geometry and algebraic combinatorics.  I will explain some of the ingredients of the proof of this conjecture by myself and Sven Meinhardt.  In fact the proof gives much more than the original conjecture, which ultimately concerns identities in a Grothendieck ring of mixed Hodge structures associated to moduli spaces of representations, and proves that these equalities categorify to isomorphisms in the category of mixed Hodge structures.  I'll explain what this all means, as well as giving some applications of the categorified version of the theory.
Tue, 10 May 2016
14:30
L5

Low-rank compression of functions in 2D and 3D

Nick Trefethen
(University of Oxford)
Abstract

Low-rank compression of matrices and tensors is a huge and growing business.  Closely related is low-rank compression of multivariate functions, a technique used in Chebfun2 and Chebfun3.  Not all functions can be compressed, so the question becomes, which ones?  Here we focus on two kinds of functions for which compression is effective: those with some alignment with the coordinate axes, and those dominated by small regions of localized complexity.

 

Tue, 10 May 2016
14:30
L6

Finite Reflection Groups and Graph Norms

Joonkyung Lee
(Oxford University)
Abstract

For any given graph H, we may define a natural corresponding functional ||.||_H. We then say that H is norming if ||.||_H is a semi-norm. A similar notion ||.||_{r(H)} is defined by || f ||_{r(H)}:=|| | f | ||_H and H is said to be weakly norming if ||.||_{r(H)} is a norm. Classical results show that weakly norming graphs are necessarily bipartite. In the other direction, Hatami showed that even cycles, complete bipartite graphs, and hypercubes are all weakly norming. Using results from the theory of finite reflection groups, we demonstrate that any graph which is edge-transitive under the action of a certain natural family of automorphisms is weakly norming. This result includes all previous examples of weakly norming graphs and adds many more. We also include several applications of our results. In particular, we define and compare a number of generalisations of Gowers' octahedral norms and we prove some new instances of Sidorenko's conjecture. Joint work with David Conlon.

Tue, 10 May 2016
14:00
L5

Linear convergence rate bounds for operator splitting methods

Goran Banjac
(Department of Engineering Science, University of Oxford)
Abstract

We establish necessary and sufficient conditions for linear convergence of operator splitting methods for a general class of convex optimization problems where the associated fixed-point operator is averaged. We also provide a tight bound on the achievable convergence rate. Most existing results establishing linear convergence in such methods require restrictive assumptions regarding strong convexity and smoothness of the constituent functions in the optimization problem. However, there are several examples in the literature showing that linear convergence is possible even when these properties do not hold. We provide a unifying analysis method for establishing linear convergence based on linear regularity and show that many existing results are special cases of our approach.

Tue, 10 May 2016

12:00 - 13:15
L4

Quantum corrections to Hawking radiation

Dr Hadi Godazgar
(Cambridge DAMTP)
Abstract

Black holes are one of the few available laboratories for testing theoretical ideas in fundamental physics. Since Hawking's result that they radiate a thermal spectrum, black holes have been regarded as thermodynamic objects with associated temperature, entropy, etc. While this is an extremely beautiful picture it has also lead to numerous puzzles. In this talk I will describe the two-loop correction to scalar correlation functions due to \phi^4 interactions and explain why this might have implications for our current view of semi-classical black holes.
 

Mon, 09 May 2016
16:00
C3

Descent of a sum of Consecutive Cubes ... Twice!!

Vandita Patel
(Warwick University)
Abstract

Given an integer $d$ such that $2 \leq d \leq 50$, we want to
answer the question: When is the sum of
$d$ consecutive cubes a perfect power? In other words, we want to find all
integer solutions to the equation
$(x+1)^3 + (x+2)^3 + \cdots + (x+d)^3 = y^p$. In this talk, we present some
of the techniques used to tackle such diophantine problems.

 

Mon, 09 May 2016

16:00 - 17:00
L4

The wrinkling of a twisted ribbon

Ethan O'Brien
(Courant Institute)
Abstract

We explore a specific system in which geometry and loading conspire to generate fine-scale wrinkling. This system -- a twisted ribbon held with small tension -- was examined experimentally by Chopin and Kudrolli 
[Phys Rev Lett 111, 174302, 2013].

There is a regime where the ribbon wrinkles near its center. A recent paper by Chopin, D\'{e}mery, and Davidovitch models this regime using a von-K\'{a}rm\'{a}n-like 
variational framework [J Elasticity 119, 137-189, 2015]. Our contribution is to give upper and lower bounds for the minimum energy as the thickness tends to zero. Since the bounds differ by a thickness-independent prefactor, we have determined how the minimum energy scales with thickness. Along the way we find estimates on Sobolev norms of the minimizers, which provide some information on the character of the wrinkling. This is a joint work with  Robert V. Kohn in Courant Institute, NYU.

Mon, 09 May 2016
16:00
L3

Charles Hutton 'One of the Greatest Mathematicians in Europe'?

Benjamin Wardhaugh
Abstract

Part of the series 'What do historians of mathematics do?'

I'm currently working on a biography of Charles Hutton (1737–1823): pit lad, FRS, and professor of Mathematics. No-one much has heard of him today, but to his contemporaries he was "one of the greatest mathematicians in Europe". I'll give an outline of his remarkable story and say something about why he's worth my time.