Perimeter Institute Quantum Discussions

The rise of quantum information science has been paralleled by the development of a vigorous research program aimed at obtaining an informational characterization or reconstruction of the quantum formalism, in a broad framework for stochastic theories that encompasses quantum and classical theory, but also a wide variety of other theories that can serve as foils to them. Such a reconstruction, at its most ambitious, is envisioned as playing a role in quantum physics similar to Einstein\'s reconstruction of the dynamics and kinetics of macroscopic bodies, and later of their gravitational interactions, on the basis of simple principles with clear operational meanings and experimental consequences. But short of such an ambitious goal, it could still lead to a principled understanding of the features of quantum mechanics that account for its greater-than-classical information-processing power, an understanding which could help guide the search for new quantum algorithms and protocols. I will summarize a convex operational framework for possible physical theories, and present results from a project to characterize quantum mechanics in terms of principles tightly linked to the possibility or impossibility of various information processing protocols. Previous results identified properties, like the existence of information-disturbance tradeoffs and restrictions on cloning and broadcasting, common to all nonclassical theories. In this talk I will focus on recent results involving protocols that are less generic. These are: the existence of exponentially secure bit commitment in non-classical theories without entanglement, the consequences for theories of the existence of a conclusive teleportation scheme, and sufficient conditions for the existence of a deterministic teleportation scheme. I\'ll also discuss sufficient conditions for \'remote steering\' of ensembles using entanglement, rendering insecure bit commitment protocols of the form shown to be secure in the unentangled case. Connections to the category-theoretic approach of Coecke and Abramsky, Selinger, Baez, and collaborators may be touched on if time permits. Joint work with various groups of collaborators including Jonathan Barrett, Matthew Leifer, Alexander Wilce, Oscar Dahlsten, and Ben Toner.

I would like to provide a short, possibly elementary, introduction to the problem of computing string amplitudes at higher genus for superstrings. Essentially, I will recall which is the mathematical problem in defining the path integral measure (which has a well defined algebraic geometry realization for bosonic strings) and the solution proposed by d~@~YHocker and Phong for the genus 2 case. Their main results are the chiral splitted form of the measure, and its explicit expression in genus two. They proposed the splitting form to work at any genus and assumed some restriction for the explicit form which however did not permitted them to find a solution for genera higher then 2. I will tell something about the technology which permitted us to find explicit solutions for genus 3 and four. Indeed, we showed that the restrictions imposed by d~@~YHocker and Phong have no solution whereas the most general form compatible with modular invariance and clustering provide a unique solution, at least for genus 3 and 4. I will try to be as less technical as possible.

In this talk I will give an introduction to the simulation of quantum many-body systems using the so-called tensor networks. After a brief historical review, I will introduce the basics on tensor network representations of quantum states, and will explain some recent developments. In particular, in the last part of my talk I will focus on recent results obtained in the simulation of 2-dimensional quantum lattice systems of infinite size.

A quantum channel models a physical process in which noise is added to a quantum system via interaction with its environment. Protecting quantum systems from such noise can be viewed as an extension of the classical communication problem introduced by Shannon sixty years ago. A fundamental quantity of interest is the quantum capacity of a given channel, which measures the amount of quantum information which can be protected, in the limit of many transmissions over the channel. In this talk, I will show that certain pairs of channels, each with a capacity of zero, can have a strictly positive capacity when used together, implying that the quantum capacity does not completely characterize a channel\'s ability to transmit quantum information. As a corollary, I will show that a commonly used lower bound on the quantum capacity - the coherent information, or hashing bound - is an overly pessimistic benchmark against which to measure the performance of quantum error correction because the gap between this bound and the capacity can be arbitrarily large.

I will report on efforts to implement a new method for simulating concatenated quantum error correction, where many levels of concatenation are simulated together explicitly. That is, the approach involves a Monte Carlo simulation of a noisy circuit involving many thousands of qubits, rather than tens of qubits previously. The new approach allows the threshold and resource usage of concatenated quantum error correction to be determined more accurately than before. Also, the approach makes it possible to better study the effects of circuit optimizations and message-passing algorithms [Poulin, PRA, 2006] on the performance of fault-tolerant concatenated quantum error correction. Such studies are necessary in order make a proper comparison with competing families of error-correction protocols, such as those involving surface codes. In the talk, a range of new numerical results will be presented.

One of the quintessential features of quantum information is its exclusivity, the inability of strong quantum correlations to be shared by many physical systems. Likewise, complementarity has a similar status in quantum mechanics as the sine qua non of quantum phenomena. We show that this is no coincidence, and that the central role of exclusivity in quantum information theory stems from the phenomenon of complementarity. We adopt an information-theoretic approach to complementarity, which leads to a new and simple definition of private states and new proofs of the achievable asymptotic rates of both secret key and entanglement distillation. From the latter follows a new proof of the direct part of the quantum noisy channel coding theorem.

We discuss two methods to encode one qubit into six physical qubits. Each of our two examples corrects an arbitrary single-qubit error. Our first example is a degenerate six-qubit quantum error-correcting code. We explicitly provide the stabilizer generators, encoding circuits, codewords, logical Pauli operators, and logical CNOT operator for this code. We also show how to convert this code into a non-trivial subsystem code that saturates the subsystem Singleton bound. We then prove that a six-qubit code without entanglement assistance cannot simultaneously possess a Calderbank-Shor-Steane (CSS) stabilizer and correct an arbitrary single-qubit error. A corollary of this result is that the Steane seven-qubit code is the smallest single-error correcting CSS code. Our second example is the construction of a non-degenerate six-qubit CSS entanglement-assisted code. This code uses one bit of entanglement (an ebit) shared between the sender and the receiver and corrects an arbitrary single-qubit error. The code we obtain is globally equivalent to the Steane seven-qubit code and thus corrects an arbitrary error on the receiver\'s half of the ebit as well. We prove that this code is the smallest code with a CSS structure that uses only one ebit and corrects an arbitrary single-qubit error on the sender\'s side. We discuss the advantages and disadvantages for each of the two codes.

In an effort to better understand the class of operations on a bipartite system which preserve positivity of partial transpose (PPT operations), we have investigated the (non-asymptotic) transformation of pure states to pure states by operations in this class. Under local operations and classical communication (LOCC) Nielsen\'s majorization criterion provides a necessary and sufficient condition for such a transformation. This can be used to show that under LOCC a phenomenon called catalysis can occur, where an otherwise impossible transformation can be made possible by the provision of an entangled catalyst state, which must be recovered unchanged after the transformation (hence the name). I will present some recent work where we have found a necessary condition for obtaining a given pure state from a maximally entangled state via PPT operations. This condition is conjectured to be sufficient also, and we can prove this for the case where the goal state has Schmidt rank three. We have also shown that catalysis occurs under PPT operations, and have derived a necessary and sufficient condition for PPT pure state transformations where both the initial state and the catalyst are maximally entangled.

What does a fractional quantum Hall liquid and Kitaev\'s proposals for topological quantum computation have in common? It turns out that they are physical systems that exhibit degenerate ground states with properties seemingly different than ordinary (Landau-type) vacua, such as the ground states of a Heisenberg magnet. For example, those (topologically quantum ordered)states cannot be characterized by (local) order parameters such as magnetization. How does one characterize this new order? I will present a unifying framework which will allow us to engineer physical systems displaying topological quantum order. What are the physical properties of these new orders? How robust are they to temperature effects? What are they useful for? Topologically quantum ordered states of matter seem to be ideal physical systems to store and manipulate quantum information since they are believed to be robust against decoherence with an environment, and thus appropriate for building a quantum computer and quantum memories. I will discuss the role of temperature in the protection of quantum information. Have we finally found a technological application for quantum Hall liquids?

Wigner-Dirac relativistic quantum theory is applied to decay laws of an unstable particle in different reference frames. It is shown that decay slows down from the point of view of the moving observer, as expected. However, small deviations from Einstein\'s time dilation formula are also found. The origin of these deviations is discussed, as well as possibilities for their experimental detection.

The Hamiltonian of traditionally adopted detector models features out of diagonal elements between the vacuum and the one particle states of the field to be detected. We argue that reasonably good detectors, when written in terms of fundamental fields, have a more trivial response on the vacuum. In particular, the model configuration ``detector in its ground state + vacuum of the field\' generally corresponds to a stable bound state of the underlying theory (e.g. the hydrogen atom in a suitable QED with electrons and protons) and therefore should be also an eigenstate of the model Hamiltonian. As a concrete example, we study a consistent ``fundamental\' toy field theory where a stable particle can capture a light quantum and form a quasi-stable state. To such stable particle correspond eigenstates of the full theory, as is shown explicitly by using a dressed particle formalism at first order in perturbation theory. We then write the corresponding Hamiltonian for a model detector (at rest) where the stable particle and the quasi-stable configurations correspond to the two internal levels, ``ground\' and ``excited\', of the detector. The accelerated version of this Hamiltonian is inevitably model dependent emph{i.e.} it will generally depend on how the stable particle/detector is forced along the accelerated trajectory. However, in its most basic version, the accelerated detector doesn\'t see Unruh radiation.

The talk concerns a generalization of the concept of a minimum uncertainty state to the finite dimensional case. Instead of considering the product of the variances of two complementary observables we consider an uncertainty relation involving the quadratic Renyi entropies summed over a full set of mutually unbiased bases (MUBs). States which achieve the lower bound set by this inequality were introduced by Wootters and Sussman, who proved existence for every prime power dimension, and by Appleby, Dang and Fuchs who showed that in prime dimension the fiducial vector for a for a symmetric informationally complete positive operator valued measure (SIC-POVM) covariant under the Weyl-Heisenberg group is a state of this kind. Subsequently Sussman proved existence for a class of odd prime power dimensions. The purpose of this talk is to complete the existence proof by showing that minimum uncertainty states exist in every prime power dimension, without exception. Along the way we establish a number of properties of the Clifford group, and Galois extension fields, which might be of some independent interest.