Tue, 09 Jul 2019

12:00 - 13:00
N3.12

Predicting epidemic risk from contact and mobility data

Eugenio Valdano
(University of California Los Angeles)
Abstract

The vulnerability of a host population to a specific disease measures how likely pathogen introduction will lead to an epidemic outbreak, and how hard it is to contain or eliminate an ongoing one. Predicting vulnerability is thus key to designing risk-reduction strategies that limit disease burden on public health and economic development. To do that, highly-resolved data tracking contacts and mobility of the host population need to integrate into detailed models of disease dynamics. This represents a twofold challenge. Firstly, we need theoretical frameworks that turn data feeds into predictors of epidemic risk, and can identify which of the structural features of the host population drive its vulnerability. Secondly, we need new ways to access, analyze, and share the relevant contact and mobility data: a necessary step to make our predictions realistic and reliable. In my talk, I will address both issues. I will show how to analytically derive the conditions that discriminate between epidemic regime and quick pathogen extinction, by representing empirically measured contacts as time-evolving complex networks. The analytical core of this theory leads to a broad range of applications. At the same time, its data-driven nature prompts context-specific predictions that can inform policymaking, as I will show in two case studies: reorganizing nurse scheduling to reduce the risk of spread of healthcare-associated infections; linking the features of livestock trade movements to the spatial spread of cattle diseases. The latter application is also an example of how limited access and incomplete data collection represent a big hurdle to predictive vulnerability analysis. To overcome this, I will present a collaborative platform for analyzing and comparing trade networks coming from several European countries. Using a bring code to the data approach, our platform surmounts the strict regulations preventing data sharing, and builds an algorithm that predicts vulnerability even in situations when limited data on cattle trade are available. The ultimate goal of all these theoretical and numerical developments is to inform strategies that reduce the vulnerability of the host population by restructuring its contacts. However, such restructuring may entail a feedback effect, acting as selective pressure on the pathogen itself. In the last part of my talk, I will extend the developed formalism to modeling evolutionary pathways that maximize the invasion potential of the pathogen, given the observed host population structure. Specifically, I will link the emergence of exotic replication behaviors in plant-infecting viruses to historical changes in plant distribution patterns.

Mon, 25 Mar 2019

11:00 - 12:00
N3.12

The homotopy type of algebraic cobordism categories

Fabian Hebestreit
(Bonn)
Abstract

In this talk I want to outline the proofs our of main results, i.e. the localisation theorem and the identification of the homotopy type of Grothendieck-Witt theory in terms of K- and L-theory.
Finally, as a small application I want to present a refinement and extension of certain maps relating certain Madsen-Tillmann spectra and orthogonal/symplectic algebraic K-theory spectra of the integers.

All original material is joint work with B.Calmès, E.Dotto, Y.Harpaz, M.Land, K.Moi, D.Nardin, T.Nikolaus and W.Steimle.
 

Thu, 21 Mar 2019

11:00 - 12:00
N3.12

Poincaré categories and L-theory

Fabian Hebestreit
(Bonn)
Abstract

I will start by briefly reviewing the Tate construction and in particular, the Tate diagonal. Using these I will then illustrate Lurie’s notion of Poincaré categories by considering Poincaré structures on module categories over a ring (spectrum) in detail. In particular, I will describe the somewhat subtle genuine Poincaré structure on the category of perfect complexes of an ordinary ring, which conjecturally links the classical notion of the Grothendieck-Witt spectrum to our derived version. Finally, I will compute its associated L-groups.

Wed, 06 Mar 2019
11:00
N3.12

Introduction to Large Cardinal theory

Alex Chevalier
(University of Oxford)
Abstract

I will present some basic concepts in Large Cardinal theory. A Large Cardinal axiom is the assertion of the existence of a cardinal so large that it entails the existence of set-sized models of ZFC, something which we know ZFC alone does not do. Large Cardinal axioms are therefore strengthenings of ZFC. We believe them to be consistent with ZFC, but this is a touchy subject. Nevertheless, Large Cardinal axioms have become an essential tool in set theory, providing insight into the fine structure of the set theoretic universe. In my talk, I will focus on inaccessible and measurable cardinals, and, if time permits, I will discuss supercompact cardinals.

Mon, 04 Mar 2019

13:00 - 14:00
N3.12

Mathematrix - Panel on mental health with Sandy Patel and Tim Knowlson

Further Information

We are very excited to have another session with invited speakers joining us for the lunch next week. Sandy Patel and Dr. Timothy Knowlson, Oxford's Peer Support Programme Coordinator, will be joining us for a panel discussion on mental health in academia. 

This will be a great opportunity to learn about what support is available, what are the common issues faced by postgrads in our department and how we can help ourselves and each other. All are welcome to join us and to ask questions.

We hope to see many of you at the (free) lunch - Monday 1-2pm Quillen Room (N3.12).

Wed, 27 Feb 2019
11:00
N3.12

Applying Distributional Compositional Categorical Models of Meaning to Language Translation

Brian Tyrrell
(University of Oxford)
Abstract

In 2010 Coecke, Sadrzadeh, and Clark formulated a new model of natural language which operates by combining the syntactics of grammar and the semantics of individual words to produce a unified ''meaning'' of sentences. This they did by using category theory to understand the component parts of language and to amalgamate the components together to form what they called a ''distributional compositional categorical model of meaning''. In this talk I shall introduce the model of Coecke et. al., and use it to compare the meaning of sentences in Irish and in English (and thus ascertain when a sentence is the translation of another sentence) using a cosine similarity score.

The Irish language is a member of the Gaelic family of languages, originating in Ireland and is the official language of the Republic of Ireland.

Wed, 20 Feb 2019
11:00
N3.12

A curve in the Möbius band

Esteban Gomezllata Marmolejo
(University of Oxford)
Abstract


Suppose that you have a long strip of paper, and draw the central line through it. You then glue it together so as to make a Möbius band. Can the drawn curve be contained in a plane?

We'll answer the question in this talk, as well as introduce the concepts from the Geometry of Surfaces course required to go through it; including Gauss' one and only Theorema Egregium! (we won't prove it though).

Mon, 18 Feb 2019

13:00 - 14:00
N3.12

Mathematrix - Women in Logic

Further Information

This session started from the observation from one of the Logic students that for the past 8 years, there had been no female students in logic. We will look at questions related to the differences between various areas of mathematics and how this may affect potential applicants.

Wed, 13 Feb 2019
11:00
N3.12

Grothendieck Rings of Varieties and Cubic Hypersurfaces

Søren Gammelgaard
(University of Oxford)
Abstract

The Grothendieck ring of varieties over a field is a simple idea that formalizes various cut-and-paste arguments in algebraic geometry. We will explain how this intuitive construction leads to nontrivial results, such as computing Euler characteristics, counting points of varieties over finite fields, and determining Hodge numbers. As an example, we will investigate cubic hypersurfaces, especially the varieties parametrizing lines on them. If time permits, we will discuss some of the stranger properties of the Grothendieck ring.

Wed, 06 Feb 2019
11:00
N3.12

RSK Insertion and Symmetric Polynomials

Adam Keilthy
(University of Oxford)
Abstract

Young diagrams frequently appear in the study of partitions and representations of the symmetric group. By filling these diagrams with numbers, we obtain Young tableau, combinatorial objects onto which we can define the structure of a monoid via insertion algorithms. We will explore this structure and it's connection to a basis of the ring of symmetric polynomials. If we have time, we will mention alternative monoid structures and their corresponding bases.

Subscribe to N3.12