Tue, 19 Jan 2021
14:30
Virtual

A subspace theorem for manifolds

Emmanuel Breuillard
(Cambridge)
Further Information

Part of the Oxford Discrete Maths and Probability Seminar, held via Zoom. Please see the seminar website for details.

Abstract

The Schmidt subspace theorem is a far-reaching generalization of the Thue-Siegel-Roth theorem in diophantine approximation. In this talk I will give an interpretation of Schmidt's subspace theorem in terms of the dynamics of diagonal flows on homogeneous spaces and describe how the exceptional subspaces arise from certain rational Schubert varieties associated to the family of linear forms through the notion of Harder-Narasimhan filtration and an associated slope formalism. This geometric understanding opens the way to a natural generalization of Schmidt's theorem to the setting of diophantine approximation on submanifolds of $GL_d$, which is our main result. In turn this allows us to recover and generalize the main results of Kleinbock and Margulis regarding diophantine exponents of submanifolds. I will also mention an application to diophantine approximation on Lie groups. Joint work with Nicolas de Saxcé.

Tue, 19 Jan 2021

14:00 - 15:00
Virtual

Hidden network evolution

Max Falkenberg
(Imperial College London)
Abstract

Networks are an imperfect representation of a dataset, yet often there is little consideration for how these imperfections may affect network evolution and structure.

In this talk, I want to discuss a simple set of generative network models in which the mechanism of network growth is decomposed into two layers. The first layer represents the “observed” network, corresponding to our conventional understanding of a network. Here I want to consider the scenario in which the network you observe is not self-contained, but is driven by a second hidden network, comprised of the same nodes but different edge structure. I will show how a range of different network growth models can be constructed such that the observed and hidden networks can be causally decoupled, coupled only in one direction, or coupled in both directions.

One consequence of such models is the emergence of abrupt transitions in observed network topology – one example results in scale-free degree distributions which are robust up to an arbitrarily long threshold time, but which naturally break down as the network grows larger. I will argue that such examples illustrate why we should be wary of an overreliance on static networks (measured at only one point in time), and will discuss other possible implications for prediction on networks.

Tue, 19 Jan 2021
12:00
Virtual

Quantum State Reduction: its Interrelation with Relativity

Roger Penrose
(Oxford University)
Abstract

I take the “collapse of the wave-function” to be an objective physical process—OR (the Objective Reduction of the quantum state)—which I argue to be intimately related to a basic conflict between the principles of equivalence and quantum linear superposition, which leads us to a fairly specific formula (in agreement with one found earlier by Diósi) for the timescale for OR to take place. Moreover, we find that for consistency with relativity, OR needs to be “instantaneous” but with curious retro-active features. By extending an argument due to Donadi, for EPR situations, we find a fundamental conflict with “gradualist” models such as CSL, in which OR is taken to be the result of a (stochastic) evolution of quantum amplitudes.

Mon, 18 Jan 2021

16:00 - 17:00

 Machine Learning for Mean Field Games

MATHIEU LAURIERE
(Princeton University)
Abstract

Mean field games (MFG) and mean field control problems (MFC) are frameworks to study Nash equilibria or social optima in games with a continuum of agents. These problems can be used to approximate competitive or cooperative situations with a large finite number of agents. They have found a broad range of applications, from economics to crowd motion, energy production and risk management. Scalable numerical methods are a key step towards concrete applications. In this talk, we propose several numerical methods for MFG and MFC. These methods are based on machine learning tools such as function approximation via neural networks and stochastic optimization. We provide numerical results and we investigate the numerical analysis of these methods by proving bounds on the approximation scheme. If time permits, we will also discuss model-free methods based on extensions of the traditional reinforcement learning setting to the mean-field regime.  

 

 

Mon, 18 Jan 2021

15:45 - 16:45
Virtual

E∞-algebras and general linear groups

Oscar Randal-Williams
(Cambridge University)
Abstract

I will discuss joint work with S. Galatius and A. Kupers in which we investigate the homology of general linear groups over a ring $A$ by considering the collection of all their classifying spaces as a graded $E_\infty$-algebra. I will first explain diverse results that we obtained in this investigation, which can be understood without reference to $E_\infty$-algebras but which seem unrelated to each other: I will then explain how the point of view of cellular $E_\infty$-algebras unites them.

Mon, 18 Jan 2021
14:15
Virtual

Representation theory in geometric complexity theory

Christian Ikenmeyer
(University of Liverpool)
Abstract

Geometric complexity theory is an approach towards solving computational complexity lower bounds questions using algebraic geometry and representation theory. This talk contains an introduction to geometric complexity theory and a presentation of some recent results. Along the way connections to the study of secant varieties and to classical combinatorial and representation theoretic conjectures will be pointed out.

Mon, 18 Jan 2021
14:00
Virtual

Ensemble averaging torus orbifolds

Nathan Benjamin
(Princeton)
Abstract

 We generalize the recent holographic correspondence between an ensemble average of free bosons in two dimensions, and a Chern-Simons-like theory of gravity in three dimensions, by Afkhami-Jeddi et al and Maloney and Witten. We find that the correspondence also works for toroidal orbifolds, but we run into difficulties generalizing to K3 and Calabi-Yau sigma models. For the case of toroidal orbifolds, we extend the holographic correspondence to averages of correlation functions of twist operators by using properties of rational tangles in three-dimensional balls and their covering spaces. Based on work to appear with C. Keller, H. Ooguri, and I. Zadeh. 

Thu, 14 Jan 2021

10:00 - 12:00
Virtual

An invitation to matroid theory - Day 3, Lectures 1 & 2

Greg Henselman-Petrusek
(Mathematical Institute)
Further Information

Zoom passcode: Basis

Abstract

Giancarlo Rota once wrote of matroids that "It is as if one were to
condense all trends of present day mathematics onto a single
structure, a feat that anyone would a priori deem impossible, were it
not for the fact that matroids do exist" (Indiscrete Thoughts, 1997).
This makes matroid theory a natural hub through which ideas flow from
one field of mathematics to the next. At the end of our three-day
workshop, participants will understand the most common objects and
constructions in matroid theory to the depth suitable for exploring
many of these interesting connections. We will also pick up some
highly practical matroid tools for working through problems in
persistent homology, (optimal) cycle representatives, and other
objects of interest in TDA.

 

Day 3, Lecture 1

Circuits in persistent homology


Day 3, Lecture 2

Exercise: write your own persistent homology algorithm!
 

Tue, 12 Jan 2021

10:00 - 12:00
Virtual

An invitation to matroid theory - Day 2, Lectures 1 & 2

Greg Henselman-Petrusek
(Mathematical Institute)
Further Information

Zoom Passcode: Basis

Abstract

Giancarlo Rota once wrote of matroids that "It is as if one were to
condense all trends of present day mathematics onto a single
structure, a feat that anyone would a priori deem impossible, were it
not for the fact that matroids do exist" (Indiscrete Thoughts, 1997).
This makes matroid theory a natural hub through which ideas flow from
one field of mathematics to the next. At the end of our three-day
workshop, participants will understand the most common objects and
constructions in matroid theory to the depth suitable for exploring
many of these interesting connections. We will also pick up some
highly practical matroid tools for working through problems in
persistent homology, (optimal) cycle representatives, and other
objects of interest in TDA.

Day 2, Lecture 1, 10-10.45am

Matroid representations, continued


Day 2, Lecture 2, 11-11.45am

Matroids in homological algebra

Mon, 11 Jan 2021

10:00 - 10:45
Virtual

An invitation to matroid theory

Greg Henselman-Petrusek
(Mathematical Institute)
Further Information

Zoom Passcode: Basis

[[{"fid":"60822","view_mode":"preview","fields":{"format":"preview"},"link_text":"Matroids.pdf","type":"media","field_deltas":{"2":{"format":"preview"}},"attributes":{"class":"media-element file-preview","data-delta":"2"}}]]

Abstract

Giancarlo Rota once wrote of matroids that "It is as if one were to
condense all trends of present day mathematics onto a single
structure, a feat that anyone would a priori deem impossible, were it
not for the fact that matroids do exist" (Indiscrete Thoughts, 1997).
This makes matroid theory a natural hub through which ideas flow from
one field of mathematics to the next. At the end of our three-day
workshop, participants will understand the most common objects and
constructions in matroid theory to the depth suitable for exploring
many of these interesting connections. We will also pick up some
highly practical matroid tools for working through problems in
persistent homology, (optimal) cycle representatives, and other
objects of interest in TDA.

Condensed outline

Day 1, Lecture 1, 10-10.45am

Definitions There are many definitions of matroids. Here's how to organize them.
Examples We work with matroids every day. Here are a few you have seen.
Important properties What's so great about a matroid?

Day 1, Lecture 2, 11-11.45am

The essential operations: deletion, contraction, and dualization
Working with matroids: matrix representations

Fri, 11 Dec 2020

14:00 - 15:00
Virtual

Equivariant etale coverings of the Drinfeld half-plane

Amy Zhu
(University of Cambridge)
Abstract

The Drinfeld half-plane is a rigid analytic variety over a p-adic field. In this talk, I will give an overview of the geometric aspects of this space and describe its connection with representation theory.

Fri, 11 Dec 2020

11:45 - 13:15
Virtual

InFoMM CDT Group Meeting

Harry Renolds, Lingyi Yang, Alexandru Puiu, Arkady Wey
(Mathematical Institute)
Mon, 07 Dec 2020

16:00 - 17:00

"Efficient approximation of high-dimensional functions with neural networks”

PATRICK CHERIDITO
((ETH) Zurich)
Abstract

We develop a framework for showing that neural networks can overcome the curse of dimensionality in different high-dimensional approximation problems. Our approach is based on the notion of a catalog network, which is a generalization of a standard neural network in which the nonlinear activation functions can vary from layer to layer as long as they are chosen from a predefined catalog of functions. As such, catalog networks constitute a rich family of continuous functions. We show that under appropriate conditions on the catalog, catalog networks can efficiently be approximated with ReLU-type networks and provide precise estimates on the number of parameters needed for a given approximation accuracy. As special cases of the general results, we obtain different classes of functions that can be approximated with ReLU networks without the curse of dimensionality. 

 

A preprint is here: https://arxiv.org/abs/1912.04310

Mon, 07 Dec 2020

11:00 - 12:00
Virtual

Two perspectives on the stack of principal bundles on an elliptic curve and its slices

Dougal Davis
(Edinburgh)
Abstract

Let G be a reductive group, E an elliptic curve, and Bun_G the moduli stack of principal G-bundles on E. In this talk, I will attempt to explain why Bun_G is a very interesting object from the perspectives of both singularity theory on the one hand, and shifted symplectic geometry and representation theory on the other. In the first part of the talk, I will explain how to construct slices of Bun_G through points corresponding to unstable bundles, and how these are linked to certain singular algebraic surfaces and their deformations in the case of a "subregular" bundle. In the second (probably much shorter) part, I will discuss the shifted symplectic geometry of Bun_G and its slices. If time permits, I will sketch how (conjectural) quantisations of these structures should be related to some well known algebras of an "elliptic" flavour, such as Sklyanin and Feigin-Odesskii algebras, and elliptic quantum groups.

Fri, 04 Dec 2020
18:45
Virtual

Symmetries and Strings of adjoint QCD in two dimensions

Konstantinos Roumpedakis
(UCLA)
Abstract

In this talk, we will review the notion of non-invertible symmetries and we will study adjoint QCD in two dimensions. It turns out that this theory has a plethora of such symmetries which require deconfinement in the massless case. When a mass or certain quartic interactions are tunrned on, these symmetries are broken and the theory confines. In addition, we will use these symmetries to calculate the string tension for small mass and make some comments about naturalness along the RG flow.

Fri, 04 Dec 2020

15:00 - 16:00
Virtual

Topological representation of cloth state for robot manipulation

Fabio Strazzeri
(Institut de Robòtica i Informàtica Industrial)
Abstract

Research on robot manipulation has focused, in recent years, on grasping everyday objects, with target objects almost exclusively rigid items. Non–rigid objects, as textile ones, pose many additional challenges with respect to rigid object manipulation. In this seminar we will present how we can employ topology to study the ``state'' of a rectangular textile using the configuration space of $n$ points on the plane. Using a CW-decomposition of such space, we can define for any mesh associated with a rectangular textile a vector in an euclidean space with as many dimensions as the number of regions we have defined. This allows us to study the distribution of such points on the cloth and define meaningful states for detection and manipulation planning of textiles. We will explain how such regions can be defined and computationally how we can assign to any mesh the corresponding region. If time permits, we will also explain how the CW-structure allows us to define more than just euclidean distance between such mesh-distributions.

Fri, 04 Dec 2020

14:00 - 15:00
Virtual

Linking partition combinatorics to the geometry of Hilbert schemes

Eve Pound
(University of Sheffield)
Abstract

One of the key objects in studying the Hilbert Scheme of points in the plane is a torus action of $(\mathbb{C}^*)^2$. The fixed points of this action correspond to monomial ideals in $\mathbb{C}[x,y]$, and this gives a connection between the geometry of Hilbert schemes and partition combinatorics. Using this connection, one can extract identities in partition combinatorics from algebro-geometric information and vice versa. I will give some examples of combinatorial identities where as yet the only proofs we have rely on the geometry of Hilbert schemes. If there is time, I will also sketch out a hope that such identities can also be seen by representations of appropriately chosen algebras.

Fri, 04 Dec 2020

14:00 - 15:00
Virtual

Vortices and jets in planetary cores

Celine Guervilly
(Newcastle University)
Abstract

Convection is the main heat transport process in the liquid cores of planets and the primary energy source for planetary magnetic fields. These convective motions are thought to be turbulent and strongly constrained by rotation. In this talk, I will discuss the large-scale flows (zonal jets and vortices) that form in this rapidly-rotating turbulent regime, which we explore with numerical models.

Fri, 04 Dec 2020

14:00 - 15:00
Virtual

Family analysis with mendelian Imputations

Professor Austine Kong
(Nuffield Department of Population Health University of Oxford)
Abstract

Genotype-phenotype associations can be results of direct effects, genetic nurturing effects and population stratification confounding (The nature of nurture: Effects of parental genotypes, Science, 2018, Deconstructing the sources of genotype-phenotype associations in humans, Science, 2019). Genotypes from parents and siblings of the proband can be used to statistically disentangle these effects. To maximize power, a comprehensive framework for utilizing various combinations of parents’ and siblings’ genotypes is introduced. Central to the approach is mendelian imputation, a method that utilizes identity by descent (IBD) information to non-linearly impute genotypes into untyped relatives using genotypes of typed individuals. Applying the method to UK Biobank probands with at least one parent or sibling genotyped, for an educational attainment (EA) polygenic score that has a R2 of 5.7% with EA, its predictive power based on direct genetic effect alone is demonstrated to be only about 1.4%. For women, the EA polygenic score has a bigger estimated direct effect on age-at-first-birth than EA itself.

Thu, 03 Dec 2020

16:00 - 17:00

Asymptotic Randomised Control with an application to bandit and dynamic pricing

Tanut Treetanthiploet
(University of Oxford)
Abstract

Abstract: In many situations, one needs to decide between acting to reveal data about a system and acting to generate profit; this is the trade-off between exploration and exploitation. A simple situation where we face this trade-off is a multiarmed bandit problem, where one has M ‘bandits’ which generate reward from an unknown distribution, and one must choose which bandit to play at each time. The key difficulty in the multi-armed bandit problem is that the action often affects the information obtained. Due to the curse of dimensionality, solving the bandit problem directly is often computationally intractable.

In this talk, we will formulate a general class of the multi-armed bandit problem as a relaxed stochastic control problem. By introducing an entropy premium, we obtain a smooth asymptotic approximation to the value function. This yields a novel semi-index approximation of the optimal decision process, obtained numerically by solving a fixed point problem, which can be interpreted as explicitly balancing an exploration–exploitation trade-off.  Performance of the resulting Asymptotic Randomised Control (ARC) algorithm compares favourably with other approaches to correlated multi-armed bandits.

As an application of the multi-armed bandit, we also consider a multi-armed bandit problem where the observation from each bandit arrive from a Generalised Linear Model. We then use such model to consider a dynamic online pricing problem. The numerical simulation shows that the ARC algorithm also performs well compared to others.
============

Thu, 03 Dec 2020

16:00 - 16:45
Virtual

Algebras and games

Vern Paulsen
(Waterloo)
Further Information

Part of UK virtual operator algebras seminar: https://sites.google.com/view/uk-operator-algebras-seminar/home

Abstract

There are many constructions that yield C*-algebras. For example, we build them from groups, quantum groups, dynamical systems, and graphs. In this talk we look at C*-algebras that arise from a certain type of game. It turns out that the properties of the underlying game gives us very strong information about existence of traces of various types on the game algebra. The recent solution of the Connes Embedding Problem arises from a game whose algebra has a trace but no hyperlinear trace.


Assumed knowledge: Familiarity with tensor products of Hilbert spaces, the algebra of a discrete group, and free products of groups.

Thu, 03 Dec 2020

16:00 - 17:30
Virtual

Kirigami

Lakshminarayanan Mahadevan
(Harvard)
Further Information

We return this term to our usual flagship seminars given by notable scientists on topics that are relevant to Industrial and Applied Mathematics. 

The join button will be published on the right (Above the view all button) 30 minutes before the seminar starts (login required).

Abstract

Kirigami, the relatively unheralded cousin of origami, is the art of cutting paper to articulate and deploy it as a whole. By varying the number, size, orientation and coordination of the cuts, artists have used their imagination and intuition to create remarkable sculptures in 2 and 3 dimensions. I will describe some of our attempts to quantify the inverse problem that artists routinely solve, combining elementary mathematical ideas, with computations and physical models. 

[[{"fid":"60095","view_mode":"media_portrait_large","fields":{"format":"media_portrait_large","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_portrait_large","field_file_image_alt_text[und][0][value]":false,"field_file_image_title_text[und][0][value]":false}},"attributes":{"class":"media-element file-media-portrait-large","data-delta":"1"}}]]