Perimeter Institute Quantum Discussions

Joint work with Earl Campbell (FU-Berlin) and Hussain Anwar (UCL)   Magic state distillation is a key component of some high-threshold schemes for fault-tolerant quantum computation [1], [2]. Proposed by Bravyi and Kitaev [3] (and implicitly by Knill [4]), and improved by Reichardt [4], Magic State Distillation is a method to broaden the vocabulary of a fault-tolerant computational model, from a limited set of gates (e.g. the Clifford group or a sub-group[2])  to full universality, via the preparation of mixed ancilla qubits which may be prepared without fault tolerant protection.    Magic state distillation schemes have a close relation with quantum error correcting codes, since a key step in such protocols [5] is the projection onto a code subspace. Bravyi and Kitaev proposed two protocols; one based upon the 5-qubit code, the second derived from a punctured Reed-Muller code. Reed Muller codes are a very important family of classical linear code. They gained much interest [6] in the early years of quantum error correction theory, since their properties make them well-suited to the formation of quantum codes via the CSS-construction [7]. Punctured Reed-Muller codes (loosely speaking, Reed-Muller codewords with a bit removed) in particular lead to quantum codes with an unusual property, the ability to implement non-Clifford gates transversally [8].    Most work in fault-tolerant quantum computation focuses on qubits, but fault tolerant constructions can be generalised to higher dimensions [9]  - particularly readily for prime dimensions. Recently, we presented the first magic state distillation protocols [10] for non-binary systems, providing explicit protocols for the qutrit case (complementing a recent no-go theorem demonstrating bound states for magic state distillation in higher dimensions [11]). In this talk, I will report on more recent work [12], where the properties of punctured Reed-Muller codes are employed to demonstrate Magic State distillation protocols for all prime dimensions. In my talk, I will give a technical account of this result and present numerical investigations of the performance of such a protocol in the qutrit case. Finally, I will discuss the potential for application of these results to fault-tolerant quantum computation.     This will be a technical talk, and though some concepts of linear codes and quantum codes will be briefly revised, I will assume that listeners are familiar with quantum error correction theory (e.g. the stabilizer formalism and the CSS construction) for qubits.   [1] E. Knill. Fault-tolerant postselected quantum computation: schemes, quant-ph/0402171 [2] R. Raussendorf, J. Harrington and K. Goyal, Topological fault-tolerance in cluster state quantum computation, arXiv:quant-ph/0703143v1 [3] S. Bravyi and A. Kitaev. Universal quantum computation based on a magic states distillation, quant- ph/0403025 [4] B. W. Reichardt, Improved magic states distillation for quantum universality, arXiv:quant-ph/0411036v1 [5] E.T. Campbell and D.E. Browne, On the Structure of Protocols for Magic State Distillation, arXiv:0908.0838
[6] A. Steane, Quantum Reed Muller Codes, arXiv:quant-ph/9608026 [7] Nielsen and Chuang, Quantum Information and Computation, chapter 10 [8] E. Knill, R. Laflamme, and W. Zurek, Threshold accuracy for quantum computation, quant-ph/9610011 [9] D. Gottesman, Fault-Tolerant Quantum Computation with Higher-Dimensional Systems, quant-ph/9802007 [10] H. Anwar, E.T Campbell and D.E. Browne, Qutrit Magic State Distillation, arXiv:1202.2326 [11] V. Veitch, C. Ferrie, J. Emerson, Negative Quasi-Probability Representation is a Necessary Resource for Magic State Distillation, arXiv:1201.1256v3 [12] H. Anwar, E.T Campbell and D.E. Browne, in preparation

We study the problem of reconstructing an unknown matrix M, of rank r and dimension d, using O(rd poly log d) Pauli measurements. This has applications to compressed sensing methods for quantum state tomography.  We give a solution to this problem based on the restricted isometry property (RIP), which improves on previous results using dual certificates. In particular, we show that almost all sets of O(rd log^6 d) Pauli measurements satisfy the rank-r RIP. This implies that M can be recovered from a fixed ("universal") set of Pauli measurements, using nuclear-norm minimization (e.g., the matrix Lasso), with nearly-optimal bounds on the error. Our proof uses Dudley's inequality for Gaussian processes, together with bounds on covering numbers obtained via entropy duality.

I will first present a theorem based on the Decoupling Theorem of [1] which gives sufficient and necessary conditions for a quantum channel (CPTPM) being such that it yields the same output for almost all possible inputs. This theorem allows us to reproduce and generalize results oft [2,3], in which cornerstones of statistical physics are derived from first principles of quantum mechanics, in a very natural and easy way. Specifically, we express them in a way which allows to apply results about random 2-qubit interactions [4]. Furthermore, we apply this theorem to provide a criterion for whether different initial states of some subspace of a quantum mechanical system in contact with an environment have at some given time already evolved to the same state or not. As it turns out, this question can be answered by examining a simple entropic inequality evaluated for just one particular state [5]. Applying this criterion to realistic Hamiltonians with local interactions may lead to improved bounds on the thermalization times of quantum mechanical systems.

We provide a microscopic understanding of the nucleation of topological quantum liquids that arise due to interactions between non-Abelian anyons. With the pairwise anyon interactions typically showing RKKY-type oscillations in sign, but decaying exponentially with distance, we show that the character of the nucleated phase is fully determined by anyon interactions beyond nearest neighbor exchange. We investigate this issue in the context of Kitaev's honeycomb lattice model. In the presence of vortex lattices, depending on microscopic parameters such as the vortex lattice spacing, we observe the nucleation of several distinct Abelian topological phases, that differ in their band structure and Chern number description. By employing an effective model of Majorana fermions, we show that these phases can be fully predicted from the vortex-vortex interactions. Corresponding microscopic results should hold for vortices forming an Abrikosov lattice in a p-wave superconductor or quasiholes forming a Wigner crystal in non-Abelian quantum Hall states.

We construct a class of entangled supersymmetric states which is used as a non-local resource in the CHSH game. This class of super entangled states is more non-local then maximally entangled states if the supersymmetric degrees of freedom are accessible to measurement. Consequently, we show that the winning probability for the CHSH game is greater than cos2(pi/8) corresponding to an expected value greater than Tsirelson's bound.

Continuous-variable SICPOVMS seem unlikely to exist, for a variety of reasons. But that doesn't rule out the possibility of other 2-designs for the continuous-variable Hilbert space L2(R). In particular, it would be nice if the coherent states -- which form a rather nice 1-design -- could be generalized in some way to get a 2-design comprising *Gaussian* states. So the question is: "Can we build a 2-design out of Gaussian states?". The answer is "No, but in a very surprising way!" Like coherent states, Gaussian states have a natural transitive symmetry group. For coherent states, it's the Heisenberg group. For Gaussian states, it's the affine symplectic group -- the Heisenberg group plus squeezings and rotations. And this group acts irreducibly on the symmetric subspace of L2(R) x L2(R)... which, by Schur's Lemma, implies that the Gaussian states *should* be a 2-design. Yet a very simple explicit calculation shows that they are not! The resolution is fascinating -- it turns out that the "symplectic twirl" involves an integral that does not quite converge, and this provides a loophole out of Schur's Lemma. So, in the end, we: (1) Show that Gaussian 2-designs do not exist, (2) Demonstrate a major stumbling block to *any* symplectic-covariant 2-designs for L2(R), (3) Gain a pretty complete understanding of *one* of the [formerly] mysterious discrepancies between discrete and continuous Hilbert spaces.

This talk presents sufficient conditions for equilibration and thermalization of subsystems within closed many body quantum systems. That is, we identify when the local properties of the equilibrium state resemble those of a thermal state. With this aim, the recent progress in this field is reviewed and we introduce a novel perturbation technique for a realistic weak coupling between the subsystem and its environment. Unlike the standard perturbation theory, our technique is robust in the thermodynamic limit. Based on our thermalization results, we construct a simple and fully general quantum algorithm for preparing Gibbs states with a certified runtime and error bonds.

One of the key features of the quantum Hall effect (QHE) is the fractional charge and statistics of quasiparticles. Fractionally charged anyons accumulate non-trivial phases when they encircle each other. In some QHE systems an unusual type of particles, called non-Abelian anyons, is expected to exist. When one non-Abelian particle makes a circle around another anyon this changes not only the phase but even the direction of the quantum-state vector in the Hilbert space. This property makes non-Abelian anyons promising for fault-tolerant quantum computation. Several experiments allowed an observation of fractional charges. Probing exchange statistics is more difficult and has not been accomplished for identical anyons so far. We will discuss how the statistics can be probed with Mach-Zehnder interferometry, tunneling experiments and far-from-equilibrium fluctuation-dissipation theorem.

In many physical scenarios, close relations between the bulk properties of quantum systems and theories associated to their boundaries have been observed. In this work, we provide an exact duality mapping between the bulk of a quantum spin system and its boundary using Projected Entangled Pair States (PEPS). This duality associates to every region a Hamiltonian on its boundary, in such a way that the entanglement spectrum of the bulk corresponds to the excitation spectrum of the boundary Hamiltonian. We study various specific models, like a deformed AKLT , an Ising-type , and Kitaev's toric code, both in finite ladders and infinite square lattices. In the latter case, some of those models display quantum phase transitions. We find that a gapped bulk phase with local order corresponds to a boundary Hamiltonian with local interactions, whereas critical behavior in the bulk is reflected on a diverging interaction length of the boundary Hamiltonian. Furthermore, topologically ordered states yield non-local Hamiltonians. As our duality also associates a boundary operator to any operator in the bulk, it in fact provides a full holographic framework for the study of quantum many-body systems via their boundary. Work done in collaboration with Didier Poilblanc, Norbert Schuch, and Frank Verstraete.

Two-party Bell correlation inequalities (that is, inequalities involving only correlations between dichotomic observables at each site, such as the CHSH inequality) are well-understood: Grothendieck's inequality stipulates that the quantum bias can only be a constant factor larger than the classical bias, and the maximally entangled state is always the most nonlocal resource. In part due to the complex nature of multipartite entanglement, tripartite inequalities are much more unwieldy. In a recent breakthrough result, Perez-Garcia et. al. (quant-ph/0702189) showed using tools originating from the study of operator algebras that in this setting the quantum-classical violation could be arbitrarily large. Moreover, they showed that GHZ states could only lead to bounded violations, so that they were not the most non-local states. We extend and simplify their results in a number of ways: - We show that large families of states, including generalizations of GHZ states and stabilizer states, can only lead to bounded violations. - We prove bounds on the maximal quantum-classical violation as a function both of the local dimension (this was already shown in Perez-Garcia et. al., but we give a much simpler proof), and of the number of settings per site. - We provide a simple probabilistic construction of an inequality for which there is an unbounded quantum-classical gap. Our construction is simpler, and has better parameters, than the one in Perez-Garcia et.al. It is essentially optimal in terms of the local dimension of one of the parties, and off by a quadratic factor in terms of the number of settings. In this talk I will survey some of these results, focusing on the tools that have so far been useful for their analysis (and do not involve operator algebras!). Based on joint works with Jop Briet, Harry Buhrman, and Troy Lee. Some of this work is available at arXiv:0911.4007.

We propose a mechanism where high entanglement between very distant boundary spins is generated by suddenly connecting two long Kondo spin chains. We show that this procedure provides an efficient way to route entanglement between multiple distant sites useful for quantum computation and multi-party quantum communication. We observe that the key features of the entanglement dynamics of the composite spin chain are remarkably well described using a simple model of two singlets, each formed by two spins. The proposed entanglement routing mechanism is a footprint of the emergence of a Kondo cloud in a Kondo system and can be engineered and observed in varied physical settings.