Talks

One implication of Bell's theorem is that there cannot in general be hidden variable models for quantum mechanics that both are noncontextual and retain the structure of a classical probability space.  Thus, some hidden variable programs aim to retain noncontextuality at the cost of using a generalization of the Kolmogorov probability axioms.  We present a theorem to show that such programs are committed to the existence of a finite null cover for some quantum mechanical experiments, i.e., a finite collection of probability zero events whose disjunction exhausts the space of possibilities.  This serves as a kind of "no-go" theorem for these alternative, or generalized, probability theories.

Categorical symplectic geometry studies an invariant of symplectic manifolds called the "Fukaya (A-infinity) category", which consists of the Lagrangian submanifolds and a symplectically-robust intersection theory of these Lagrangians.  Over the last two decades the Fukaya category has emerged as a powerful tool: for instance, it has produced inroads to Arnol'd's Nearby Lagrangians Conjecture, and it allowed Kontsevich to formulate the the Homological Mirror Symmetry conjecture.

In this talk I will describe a project, joint with Satyan Devadoss, Stefan Forcey, and Katrin Wehrheim, which attempts to relate the Fukaya categories of different symplectic manifolds via a notion of functoriality.  After mentioning some analytic results about the singular quilts necessary for this construction, I will describe the combinatorial component: with Devadoss and Forcey we are constructing a family of polytopes that specialize to the associahedra in two different ways, and can be thought of as the 2-categorical version of associahedra.

Generation of accurate mock observations tailored specifically to upcoming surveys such as Advanced ACT, CHIME, and LSST is a key technical challenge in cosmology. Traditional approaches involving N-body simulation are fraught with difficulties due to increasingly large survey volumes and depths. Typically, statistical ensembles can only be realized for a few carefully-chosen parameters, limiting exploration to a significantly restricted cosmological model space. We have developed a new massively parallel algorithm to generate accurate halo masses and positions in a fraction (~1e-3 to 1e-2) of the time taken by N-body simulations. I will present a suite of simulated full sky cluster Sunyaev-Zel’dovich maps that have been produced with this approach, and describe the types of virtual large scale structure observations that are now within reach in the coming years.

We study restrictions on locality-preserving unitary logical gates for topological quantum codes in two spatial dimensions.  A locality-preserving operation is one which maps local operators to local operators --- for example, a  constant-depth quantum circuit of geometrically local gates, or evolution for a constant time governed by a geometrically-local bounded-strength Hamiltonian. Locality-preserving logical gates of topological codes are intrinsically fault tolerant because spatially localized errors remain localized, and hence sufficiently dilute errors remain correctable. By invoking general properties of two-dimensional topological field theories, we find that the locality-preserving logical gates are severely limited for codes which admit non-abelian anyons; in particular, there are no locality-preserving logical gates on the torus or the sphere with M punctures if the braiding of anyons is computationally universal. Furthermore, for Ising anyons on the M-punctured sphere, locality-preserving gates must be elements of the logical Pauli group. We derive these results by relating logical gates of a topological code to automorphisms of the Verlinde algebra of the corresponding anyon model, and by requiring the logical gates to be compatible with basis changes in the logical Hilbert space arising from local F-moves and the mapping class group. 

This is joint work with Oliver Buerschaper, Robert Koenig, Fernando Pastawski and Sumit Sijher.