Wed, 29 Oct 2014
14:00
L2

The Structure of Counterexamples to Vaught's Conjecture

Robin Knight
(Oxford)
Abstract

Counterexamples to Vaught's Conjecture regarding the number of countable
models of a theory in a logical language, may felicitously be studied by investigating a tree
of types of different arities and belonging to different languages. This
tree emerges from a category of topological spaces, and may be studied as such, without
reference to the original logic. The tree has an intuitive character of absoluteness
and of self-similarity. We present theorems expressing these ideas, some old and some new.

Tue, 02 Dec 2014

14:30 - 15:30
L3

Phase transitions in bootstrap percolation

Michal Przykucki
(University of Oxford)
Abstract
We prove that there exist natural generalizations of the classical bootstrap percolation model on Z2 that have non-trivial critical probabilities, and moreover we characterize all homogeneous, local, monotone models with this property. Joint work with Paul Balister, Béla Bollobás and Paul Smith.
Tue, 11 Nov 2014

14:30 - 15:30
L6

Matroid bases polytope decomposition

Jorge Ramirez-Alfonsin
(Université Montpellier 2)
Abstract
Let P(M) be the matroid base polytope of a matroid M. A decomposition of P(M) is a subdivision of the form P(M)=ti=1P(Mi) where each P(Mi) is also a matroid base polytope for some matroid Mi, and for each 1ijt the intersection P(Mi)P(Mj) is a face of both P(Mi) and P(Mj). In this talk, we shall discuss some results on hyperplane splits, that is, polytope decomposition when t=2. We present sufficient conditions for M so P(M) has a hyperplane split and a characterization when P(MiMj) has a hyperplane split, where MiMj denotes the direct sum of Mi and Mj. We also show that P(M) has not a hyperplane split if M is binary. Finally, we present some recent results concerning the existence of decompositions with t3.
Subscribe to