Tue, 10 Feb 2015

14:00 - 14:30
L5

Choking of flow through a poroelastic material

Ian Sobey
(University of Oxford)
Abstract

Flow thought a porous media is usually described by assuming the superficial velocity can be expressed in terms of a constant permeability and a pressure gradient. In poroelastic flows the underlying elastic matrix responds to changes in the fluid pressure. When the elastic deformation is allowed to influence the permeability through the elastic strain, it becomes possible for increased fluid pressure gradient not to result in increased flow, but to decrease the permeability and potentially this may close off or choke the flow. I will talk about a simple model problem for a number of different elastic constitutive models and a number of different permeability-strain models and examine whether there is a general criterion that can be derived to show when, or indeed if, choking can occur for different elasticity-permeability combinations.

Tue, 10 Feb 2015

14:30 - 15:00
L5

Expander parallel $\ell_0$ decoding

Rodrigo Mendoza-Smith
(University of Oxford)
Abstract

We present an algorithm, Parallel-$\ell_0$, for {\em combinatorial compressed sensing} (CCS), where the sensing matrix $A \in \mathbb{R}^{m\times n}$ is the adjacency matrix of an expander graph. The information preserving nature of expander graphs allow the proposed algorithm to provably recover a $k$-sparse vector $x\in\mathbb{R}^n$ from $m = \mathcal{O}(k \log (n/k))$ measurements $y = Ax$ via $\mathcal{O}(\log k)$ simple and parallelizable iterations when the non-zeros in the support of the signal form a dissociated set, meaning that all of the $2^k$ subset sums of the support of $x$ are pairwise different. In addition to the low computational cost, Parallel-$\ell_0$ is observed to be able to recover vectors with $k$ substantially larger than previous CCS algorithms, and even higher than $\ell_1$-regularization when the number of measurements is significantly smaller than the vector length.

Tue, 03 Feb 2015

14:30 - 15:00
L5

Fast and well-conditioned spectral methods for D-finite functions

Thomas Gregoire
(Écoles normales supérieures de Lyon)
Abstract

D-finite functions are solutions of linear differential equations with polynomial coefficients.  They have drawn a lot of attention, both in Computer Algebra--because of their numerous (algorithmic) closure properties--but also in Numerical Analysis, because their defining ODEs can be numerically solved very efficiently.  In this talk, I will show how a mix of symbolic and numerical methods yields fast and well-conditioned spectral methods on various domains and using different bases of functions.

Mon, 16 Feb 2015

12:00 - 13:00
L5

Singular Fibers and Coulomb Phases

Sakura Schafer-Nameki
(Kings College London)
Abstract

I will discuss how singular fibers in higher codimension in elliptically fibered Calabi-Yau fourfolds can be studied using Coulomb branch phases for d=3 supersymmetric gauge theories. This approach gives an elegent description of the generalized Kodaira fibers in terms of combinatorial/representation-theoretic objects called "box graphs", including the network of flops connecting distinct small resolutions. For physics applications, this approach can be used to constrain the possible matter spectra and possible U(1) charges (models with higher rank Mordell Weil group) for F-theory GUTs.

Mon, 26 Jan 2015

12:00 - 13:00
L5

Calabi-Yau Manifolds with Small Hodge Numbers

Philip Candelas
(Oxford)
Abstract

This is a report on an ongoing project to construct Calabi-Yau manifolds for which the Hodge numbers $(h^{11}, h^{21})$ are both relatively small. These manifolds are, in a sense, the simplest Calabi-Yau manifolds. I will report on joint work with Volker Braun, Andrei Constantin, Rhys Davies, Challenger Mishra and others.

Tue, 27 Jan 2015

12:00 - 13:00
L5

Tree-Level S-Matrices: from Einstein to Yang-Mills, Born-Infeld, and More

Ellis Yuan
(The Perimeter Institute)
Abstract

In this talk I am going to discuss our recent and on-going work on an integral representation of tree-level S-matrices for massless particles. Starting from the formula for gravity amplitudes, I will introduce three operations acting on the integrand that produce compact and closed formulas for amplitudes in various other theories of massless bosons. In particular these includes Yang-Mills coupled to gravity, (Dirac)-Born-Infeld, U(N) non-linear sigma model, and Galileon theory. The main references are arXiv:1409.8256, arXiv:1412.3479.

Tue, 03 Feb 2015

15:45 - 16:45
L4

Homological projective duality

Richard Thomas
(Imperial)
Abstract
I will describe a little of Kuznetsov's wonderful theory of Homological projective duality, a generalisation of classical projective duality that relates derived categories of coherent sheaves on different algebraic varieties. I will explain an approach that seems simpler than the original, and some applications that occur in joint work with Addington, Calabrese and Segal.
Tue, 03 Feb 2015
14:30
L6

Rigorous analysis of a randomised number field sieve

Jonathan Lee
(Cambridge University)
Abstract

The Number Field Sieve is the current practical and theoretical state of the art algorithm for factoring. Unfortunately, there has been no rigorous analysis of this type of algorithm. We randomise key aspects of the number theory, and prove that in this variant congruences of squares are formed in expected time $L(1/3, 2.88)$. These results are tightly coupled to recent progress on the distribution of smooth numbers, and we provide additional tools to turn progress on these problems into improved bounds.

Tue, 27 Jan 2015
14:30
L6

Coalescence on the real line

Bhargav Narayanan
(Cambridge University)
Abstract

Given two probability distributions $P_R$ and $P_B$ on the positive reals with finite means, colour the real line alternately with red and blue intervals so that the lengths of the red intervals have distribution $P_R$, the lengths of the blue intervals have distribution $P_B$, and distinct intervals have independent lengths. Now iteratively update this colouring of the line by coalescing intervals: change the colour of any interval that is surrounded by longer intervals so that these three consecutive intervals subsequently form a single monochromatic interval. Say that a colour (either red or blue) `wins' if every point of the line is eventually of that colour. I will attempt to answer the following question: under what natural conditions on the distributions is one of the colours almost surely guaranteed to win?

Subscribe to