Forthcoming events in this series


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.

Wed, 22 Oct 2014
16:00
C2

Algebraic characterisation of convergence

Robert Leek
(Oxford)
Abstract
 
Using an internal characterisation of radiality or
> Fréchet-Urysohness, we can translate this property into other structural
> forms for many problems and classes of spaces. In this talk, I will
> recap this internal characterisation and translate the properties of
> being radial / Fréchet-Urysohn (Stone-Čech, Hewitt) into the prime ideal
> structure on C*(X) / C(X) for Tychonoff spaces, with a view to reaching
> out to other parts of algebra, e.g. C*-algebras, algebraic geometry, etc.
Wed, 18 Jun 2014
16:00
C4

The set functions T, K and S.

Leobardo Fernandez Ramon
(Mexico City and Birmingham)
Abstract

 A continuum is a non-empty compact connected metric space. Given a continuum X let P(X) be the power set of X. We define the following set functions:
T:P(X) to P(X) given by, for each A in P(X), T(A) = X \ { x in X : there is a continuum W such that x is in Int(W) and W does not intersect A}
K:P(X) to P(X) given by, for each A in P(X), K(A) = Intersection{ W : W is a subcontinuum of X and A is in the interior of W}
S:P(X) to P(X) given by, for each A in P(X), S(A) = { x in T(A) : A intersects T(x)}
Some properties and relations between these functions are going to be presented.

Wed, 05 Mar 2014
16:00
C4

tba

Kohei Kishida
(Computing Laboratory)
Wed, 26 Feb 2014
14:30
L2

Point versus set topology: constructing examples by splitting points

Mike Reed
(Munich)
Abstract

The main result is to give a separable, Cech-complete, 0-dimensional Moore space that is not Scott-domain representable. This result answered questions in the literature; it is known that each complete mertrisable space is Scott-domain representable. The talk will give a history of the techniques involved.

Wed, 13 Nov 2013
16:00
C4

Baire, Berz, Burton Jones and Steinhaus: linearity from subadditivity

Adam Ostaszewski
(LSE)
Abstract

Berz used the Hahn-Banach Theorem over Q to prove that the graph of a measurable subadditive function that is non-negatively Q-homogeneous consists of two lines through the origin. I will give a proof using the density topology and Steinhaus’ Sum-set Theorem. This dualizes to a much simpler category version: a `Baire-Berz Theorem’. I will give the broader picture of this using F. Burton Jones’ analysis of additivity versus linearity. Shift-compactness and special subsets of R will be an inevitable ingredient. The talk draws on recent work with Nick Bingham and separately with Harry I. Miller.

Wed, 27 Feb 2013
16:00
L3

Symbolic dynamics: taking another look at complex quadratic maps

Andy Barwell
(Heilbronn Institute)
Abstract

Complex dynamical systems have been very well studied in recent years, in particular since computer graphics now enable us to peer deep into structures such as the Mandlebrot set and Julia sets, which beautifully illustrate the intricate dynamical behaviour of these systems. Using new techniques from Symbolic Dynamics, we demonstrate previously unknown properties of a class of quadratic maps on their Julia sets.

Wed, 13 Feb 2013
16:00
L3

Structural analysis of Monogamy and Macroscopic Correlations

Rui Soares Barbosa
(Computer Science)
Abstract

 We consider the emergence of classical correlations in macroscopic quantum systems, and its connection to monogamy relations for violation of Bell-type inequalities. We work within the framework of Abramsky and Brandenburger [1], which provides a unified treatment of non-locality and contextuality in the general setting of no-signalling empirical models. General measurement scenarios are represented by simplicial complexes that capture the notion of compatibility of measurements. Monogamy and locality/noncontextuality of macroscopic correlations are revealed by our analysis as two sides of the same coin: macroscopic correlations are obtained by averaging along a symmetry (group action) on the simplicial complex of measurements, while monogamy relations are exactly the inequalities that are invariant with respect to that symmetry. Our results exhibit a structural reason for monogamy relations and consequently for the classicality of macroscopic correlations in the case of multipartite scenarios, shedding light on and generalising the results in [2,3].More specifically, we show that, however entangled the microscopic state of the system, and provided the number of particles in each site is large enough (with respect to the number of allowed measurements), only classical (local realistic) correlations will be observed macroscopically. The result depends only on the compatibility structure of the measurements (the simplicial complex), hence it applies generally to any no-signalling empirical model. The macroscopic correlations can be defined on the quotient of the simplicial complex by the symmetry that lumps together like microscopic measurements into macroscopic measurements. Given enough microscopic particles, the resulting complex satisfies a structural condition due to Vorob'ev [4] that is necessary and sufficient for any probabilistic model to be classical.  The generality of our scheme suggests a number of promising directions. In particular, they can be applied in more general scenarios to yield monogamy relations for contextuality inequalities and to study macroscopic non-contextuality.

[1] Samson Abramsky and Adam Brandenburger, The sheaf-theoretic structure of non-locality and contextuality, New Journal of Physics 13 (2011), no. 113036.
[2] MarcinPawłowski and Caslav Brukner, Monogamy of Bell’s inequality violations in nonsignaling theories, Phys. Rev. Lett. 102 (2009), no. 3, 030403.
[3] R. Ramanathan, T. Paterek, A. Kay, P. Kurzynski, and D. Kaszlikowski, Local realism of macroscopic correlations, Phys. Rev. Lett. 107 (2011), no. 6, 060405.
[4] N.N.Vorob’ev, Consistent families of measures and their extensions, Theory of Probability and its Applications VII (1962), no. 2, 147–163, (translated by N. Greenleaf, Russian original published in Teoriya Veroyatnostei i ee Primeneniya).