Scientific Series

The surface code is currently the leading proposal to achieve fault-tolerant quantum computation. Among its strengths are the plethora of known ways in which fault-tolerant Clifford operations can be performed, namely, by deforming the topology of the surface, by the fusion and splitting of codes, and even by braiding engineered Majorana modes using twist defects. Here, we present a unified framework to describe these methods, which can be used to better compare different schemes and to facilitate the design of hybrid schemes. Our unification includes the identification of twist defects with the corners of the planar code. This identification enables us to perform single-qubit Clifford gates by exchanging the corners of the planar code via code deformation. We analyze ways in which different schemes can be combined and propose a new logical encoding. We also show how all of the Clifford gates can be implemented with the planar code, without loss of distance, using code deformations, thus offering an attractive alternative to ancilla-mediated schemes to complete the Clifford group with lattice surgery.

I will give an overview of the causal set approach to quantum gravity, and what makes this "fork in the road" distinct from other approaches.  Motivated by deep theorems in Lorentzian geometry, causal set theory (CST) posits that the underlying fabric of spacetime is  atomistic and encoded in a locally finite partially ordered set. In  the continuum  approximation,  the partial order corresponds to the causal structure, and the cardinality to the conformal factor.  Together, these give the approximate continuum geometry.  Lorentz invariance emerges as a consequence, but brings with it a certain  "non-locality”, which distinguishes CST  from other approaches in an essential way. It also makes the  reconstruction of spacetime geometry from the causal set particularly challenging.  I will describe some of the progress we have made in this geometric reconstruction program. I will then describe a particular formulation of CST dynamics inspired by the continuum path integral and discuss what we have learnt so far and where it is taking us. 

The path integral formulation of quantum mechanics has been immensely influential, particularly in high energy physics. However, its applications to quantum circuits has so far been more limited. In this talk I will discuss the sum-over-paths approach to computing transition amplitudes in Clifford circuits. In such a formulation, the relative phases of different discrete-time paths through the configuration space can be defined in terms of a classical action which is provided by the discrete Wigner representation. As an application of the sum-over-paths technique I will show how to recover a version of the Gottesman-Knill theorem, namely that the transition amplitudes in Clifford circuits can be computed efficiently.

I discuss some aspects of boundary conformal field theories (bCFTs). I will demonstrate that free bCFTs have a universal way of satisfying crossing symmetry constraints. I will introduce a simple class of interacting bCFTs where the interaction is restricted to the boundary. Finally, I will discuss relationships between boundary trace anomalies and boundary limits of stress-tensor correlation functions.

Direct detection experiments are rapidly improving their sensitivity to weak scale Dark Matter.  A particular interesting (and minimal) possibility is that the Dark matter interacts with ordinary matter via the exchange of weak bosons: the W, Z, and Higgs.  Dark matter with substantial coupling to the Higgs boson is already under significant tension from limits on spin-independent scattering.  We comment on the power of  spin-dependent scattering as a probe of Z-mediated dark matter, both in a simple effective theory, and in the so-called Singlet-Doublet Model, which we argue is a useful benchmark.  We also review the case where the cosmology of the WIMP is dominated by co-annihilation processes, focusing on the stop co-annihilation region of the Minimal Supersymmetric Standard Model, and discuss prospects for direct detection in this case.

I will describe a tidal effect whereby the decay of primordial gravity waves leaves a permanent shear in the large-scale structure of the Universe. Future large-scale structure surveys - especially radio surveys of high-redshift hydrogen gas - could measure this shear and its spatial dependence to form a map of the initial gravity-wave field. The three dimensional nature of this probe makes it sensitive to the helicity of the gravity waves, allowing for searches for early-Universe gravitational parity violation. Due to the large number of measurable modes in the high-redshift large-scale structure, these tidal imprints could ultimately be more sensitive than searches for CMB B-modes.

It is easy to prove that d-dimensional complex Hilbert space can contain at most d^2 equiangular lines.  But despite considerable evidence and effort, sets of this size have only been proved to exist for finitely many d.  Such sets are relevant in quantum information theory, where they define optimal quantum measurements known as SIC-POVMs (Symmetric Informationally Complete Positive Operator-Valued Measures).  They also correspond to complex projective 2-designs of the minimum possible cardinality.   Numerical evidence points to their existence for all d as orbits of finite Heisenberg groups, the current record being d=844 [Scott-Grassl '17].  However, to date, they are only proven to exist for finitely many d (the current record being d=323 [SG17]) via computer-assisted calculations in number fields of degree increasing with d.  In this talk, I will discuss the structure of these number fields, which turn out to be specific abelian extensions of specific real quadratic number fields [Appleby, Flammia, McConnell, Y. 1604.06098].  Such fields are known to exist by general theorems of class field theory, but until now, had never been found 'explicitly' in Nature.  This contrasts the classical situation for abelian extensions of CM fields, which are generated by the torsion points of abelian varieties with complex multiplication.   All known Heisenberg-covariant SIC-POVMs have unitary symmetries under the associated Weil representation that are intimately related to the structure of the underlying number fields.  A proper understanding of this relationship may ultimately lead to a general proof of their existence in all dimensions, rather than the finite number of examples currently proved to exist. 

We consider classical, pure Yang-Mills theory in a box. We show how a set of static electric fields that solve the theory in an adiabatic limit correspond to geodesic motion on the space of vacua, equipped with a particular Riemannian metric that we identify. The vacua are generated by spontaneously broken global gauge symmetries, leading to an infinite number of conserved momenta of the geodesic motion. We show that these correspond to the soft multipole charges of Yang-Mills theory.

We present an in-depth study of the domain walls available in the color code. We begin by presenting new boundaries which gives rise to a new family of color codes. Interestingly, the smallest example of such a code consists of just 4 qubits and weight three parity check measurements, making it an accessible playground for today's experimentalists interested in small scale experiments on topological codes. Secondly, we catalogue the twist defects that are accessible with the color code model. We give lattice representations of these twists and investigate how they interact with one another, and how they interact with the anyons of the system. Our categorisation allows us to explore new approaches for the fault-tolerant storage and manipulation of quantum information in color codes. This research combines and extends recent work with the surface code [1,2] to the color code models, whose continuous domain walls have been studied in generality in [3]. [1] Delfosse, Nicolas, Pavithran Iyer, and David Poulin. "Generalized surface codes and packing of logical qubits." arXiv preprint arXiv:1606.07116 (2016). [2] Brown, Benjamin J., et al. "Poking holes and cutting corners to achieve Clifford gates with the surface code." Physical Review X 7.2 (2017): 021029. [3] Yoshida, Beni. "Topological color code and symmetry-protected topological phases." Physical Review B 91.24 (2015): 245131.

There is a long tradition of formulating Quantum Theory in an operational manner.  In one version of this a circuit is formed by wiring together operations. Each operation has knob settings and outcomes (lights flashing, detectors clicking, ..).  The question raised and answered in this colloquium is whether we can do the same for General Relativity.  There are hurdles that have to be overcome to do this - in particular, we need to define a diffeomorphism invariant notion of operations, identify what the knob settings and outcomes are, and what the wiring corresponds to.   In this colloquium I will provide an outline of how to formulate General Relativity like this providing a possibilistic calculus (we can calculate whether operationally described situations are possible or not).  This provides the beginnings of an operational approach to the problem of Quantum Gravity.  This talk is based on arxiv:1608.06940.  

I will talk about a recent proof, joint with M. Gröchenig and D. Wyss, of a conjecture of Hausel and Thaddeus which predicts the equality of suitably defined Hodge numbers of moduli spaces of Higgs bundles with SL(n)- and PGL(n)-structure. The proof, inspired by an argument of Batyrev, proceeds by comparing the number of points of these moduli spaces over finite fields via p-adic integration.

Standard models of cosmology use inflation as a mechanism to resolve the isotropy and homogeneity problem of the universe as well as the flatness problem. However, due to various well known problems with the inflationary paradigm, there has been an ongoing search for alternatives. Perhaps the most famous among these is the cyclic universe scenario or scenarios which incorporate bounces. As these scenarios have a contracting phase in the evolution of the universe, it is reasonable to ask whether the problems of homogeneity and isotropy can still be resolved in these scenarios. In my talk, I will focus on the problem of the resolution of isotropy. In the contracting phase of the evolution, the mechanism of ekpyrosis is used in most cosmological scenarios which incorporate a contracting phase to mitigate the problem of anisotropies blowing up on approaching the bounce. I will start by studying anisotropic universes and I shall examine the effect of the addition of ultra-stiff anisotropic pressures on the ekpyrotic phase. I will then consider evolving such anisotropic universes through several cycles with increasing expansion maxima at each successive bounce. This eventually leads to flatness in the isotropic case. My aim will be to see if the resolution of the flatness problem also leads to a simultaneous resolution of the isotropy problem. In the last section of my talk, I will briefly consider the effect of non comoving velocities on the shape of this anisotropic bouncing universe.