Analytic Topology in Mathematics and Computer Science (past)
|
Wed, 24/04 16:00 |
Dimitrina Stavrova (Leicester) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 24/04 16:00 |
Dimitrina Stavrova (Leicester) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 27/02 16:00 |
Andy Barwell (Heilbronn Institute) |
Analytic Topology in Mathematics and Computer Science |
L3 |
| 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/02 16:00 |
Rui Soares Barbosa (Oxford) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
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. |
|||
|
Wed, 06/02 16:00 |
Robin Knight (Oxford) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 30/01 16:00 |
Joel Ouaknine (Oxford) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 28/11/2012 16:00 |
David Fremlin (Essex) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 14/11/2012 00:00 |
Dona Strauss (Hull) |
Analytic Topology in Mathematics and Computer Science |
|
|
Wed, 07/11/2012 16:00 |
Yoshihiro Maruyama (Oxford) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 24/10/2012 16:00 |
tba |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 17/10/2012 16:00 |
Paul Bankston (Aberystwyth) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 15/08/2012 00:00 |
Analytic Topology in Mathematics and Computer Science Workshop |
||
|
Organisers: Hilary Priestley, Drew Moshier and Leo Cabrer. |
|||
|
Mon, 09/07/2012 00:00 |
Analytic Topology in Mathematics and Computer Science Workshop |
||
|
Chief Organiser: Shari Levine. Main speakers: Alexander Arhangel'skii, Alan Dow, Aisling McCluskey, Jan van Mill, Frank Tall, Vladimir Tkachuk |
|||
|
Wed, 13/06/2012 00:00 |
Analytic Topology in Mathematics and Computer Science Workshop |
||
| Organisers: Hilary Priestley, Drew Moshier and Leo Cabrer.This will be dedicated principally to extensions of duality theory beyond zero-dimensional structures and to its application in novel settings. Topics that are likely to feature include duality for bilattice-based structures and associated semantics; extensions to compact Hausdorff spaces, bitopological duality, and duality for continuous data; applications to coalgebraic logic. We shall be seeking two-way interaction between those focused on a particular application and those who are seeking to extend the theory. Keynote speakers will be Mike Mislove and Drew Moshier. Samson Abramsky will be away from Oxford fromJune 12, but we are grateful for his offer to give a talk on June 11. We are also pleased to announce that, through the good offices of Georg Gottlob (Oxford Department of Computer Science), we are able to include within W1 a tutorial lecture on the applications of bilattice semantics to computer science; this will be given by Ofer Arieli. | |||
|
Wed, 06/06/2012 16:00 |
Chris Good (University of Birmingham) |
Analytic Topology in Mathematics and Computer Science |
L3 |
Joint work with: Sina Greenwood, Brian Raines and Casey Sherman
Abstract: We say a space with property is universal for orbit spectra of homeomorphisms with property provided that if is any space with property and the same cardinality as and is any (auto)homeomorphism then there is a homeomorphism such that the orbit equivalence classes for and are isomorphic. We construct a compact metric space that is universal for homeomorphisms of compact metric spaces of cardinality the continuum. There is no universal space for countable compact metric spaces. In the presence of some set theoretic assumptions we also give a separable metric space of size continuum that is universal for homeomorphisms on separable metric spaces. |
|||
|
Wed, 30/05/2012 16:00 |
Robin Knight |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 02/05/2012 16:00 |
David Fremlin (University of Essex) |
Analytic Topology in Mathematics and Computer Science |
L3 |
| See http://www.essex.ac.uk/maths/people/fremlin/chap53.pdf (538S) | |||
|
Wed, 07/03/2012 16:00 |
Adam Ostaszewski (London School of Economics) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 29/02/2012 16:00 |
Andreas Doering (University of Oxford) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 22/02/2012 16:00 |
tba |
Analytic Topology in Mathematics and Computer Science |
L3 |

with property
is universal for orbit spectra of homeomorphisms with property
is any space with property
is any (auto)homeomorphism then there is a homeomorphism
such that the orbit equivalence classes for
and
are isomorphic. We construct a compact metric space