Quantum Information

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.

Coin flipping by telephone (Blum \'81) is one of the most basic cryptographic tasks of two-party secure computation. In a quantum setting, it is possible to realize (weak) coin flipping with information theoretic security. Quantum coin flipping has been a longstanding open problem, and its solution uses an innovative formalism developed by Alexei Kitaev for mapping quantum games into convex optimization problems. The optimizations are carried out over duals to the cone of operator monotone functions, though the mapped problem can also be described in a very simple language that involves moving points in the plane. Time permitting, I will discuss both Kitaev\'s formalism, and the solution that leads to quantum weak coin flipping with arbitrarily small bias.

Decoherence attempts to explain the emergent classical behaviour of a quantum system interacting with its quantum environment. In order to formalize this mechanism we introduce the idea that the information preserved in an open quantum evolution (or channel) can be characterized in terms of observables of the initial system. We use this approach to show that information which is broadcast into many parts of the environment can be encoded in a single observable. This supports a model of decoherence where the pointer observable can be an arbitrary positive operator-valued measure (POVM). This generalization makes it possible to characterize the emergence of a realistic classical phase-space. In addition, this model clarifies the relations among the information preserved in the system, the information flowing from the system to the environment (measurement), and the establishment of correlations between the system and the environment.

I should like to show how particular mathematical properties can limit our metaphysical choices, by discussing old and new theorems within the statistical-model framework of Mielnik, Foulis & Randall, and Holevo, and what these theorems have to say about possible metaphysical models of quantum mechanics. Time permitting, I should also like to show how metaphysical assumptions lead to particular mathematical choices, by discussing how the assumption of space as a relational concept leads to a not widely known frame-invariant formulation of classical point-particle mechanics by Föppl and Zanstra, and related research topics in continuum mechanics and general relativity.

The \\\"frequency comb\\\" defined by the eigenmodes of an optical resonator is a naturally large set of exquisitely well defined quantum systems, such as in the broadband mode-locked lasers which have redefined time/frequency metrology and ultra precise measurements in recent years. High coherence can therefore be expected in the quantum version of the frequency comb, in which nonlinear interactions couple different cavity modes, as can be modeled by different forms of graph states. We show that is possible to thereby generate states of interest to quantum metrology and computing, such as multipartite entangled cluster and Greenberger-Horne-Zeilinger states.

The Achilles\\\' heel of quantum information processors is the fragility of quantum states and processes. Without a method to control imperfection and imprecision of quantum devices, the probability that a quantum computation succeed will decrease exponentially in the number of gates it requires. In the last ten years, building on the discovery of quantum error correction, accuracy threshold theorems were proved showing that error can be controlled using a reasonable amount of resources as long as the error rate is smaller than a certain threshold. We thus have a scalable theory describing how to control quantum systems. I will briefly review some of the assumptions of the accuracy threshold theorems and comment on experiments that have been done and should be done to turn quantum error correction into an experimental reality.

We construct a simple translationally invariant, nearest-neighbor Hamiltonian on a chain of 10-dimensional qudits that makes it possible to realize universal quantum computing without any external control during the computational process, requiring only initial product state preparation. Both the quantum circuit and its input are encoded in an initial canonical basis state of the qudit chain. The computational process is then carried out by the autonomous Hamiltonian time evolution. After a time greater than a polynomial in the size of the quantum circuit has passed, the result of the computation can be obtained with high probability by measuring a few qudits in the computational basis. This result also implies that there cannot exist efficient classical simulation methods for generic translationally invariant nearest-neighbor Hamiltonians on qudit chains, unless quantum computers can be efficiently simulated by classical computers (or, put in complexity theoretic terms, unless BPP=BQP). This is joint work with Daniel Nagaj.

The renormalization group (RG) is one of the conceptual pillars of statistical mechanics and quantum field theory, and a key theoretical element in the modern formulation of critical phenomena and phase transitions. RG transformations are also the basis of numerical approaches to the study of low energy properties and emergent phenomena in quantum many-body systems. In this colloquium I will introduce the notion of \\\"entanglement renormalization\\\" and use it to define a coarse-graining transformation for quantum systems on a lattice [G.Vidal, Phys. Rev. Lett. 99, 220405 (2007)]. The resulting real-space RG approach is able to numerically address 1D and 2D lattice systems with thousands of quantum spins using only very modest computational resources. From the theoretical point of view, entanglement renormalization sheds new light into the structure of correlations in the ground state of extended quantum systems. I will discuss how it leads to a novel, efficient representation for the ground state of a system at a quantum critical point or with topological order.

The basic problem of much of condensed matter and high energy physics, as well as quantum chemistry, is to find the ground state properties of some Hamiltonian. Many algorithms have been invented to deal with this problem, each with different strengths and limitations. Ideas such as entanglement entropy from quantum information theory and quantum computing enable us to understand the difficulty of various problems. I will discuss recent results on area laws and use these to prove that we can use matrix product states to efficiently represent ground states for one-dimensional systems with a spectral gap, while certain other one-dimensional problems, without the gap assumption, almost certainly have no efficient way for us to even represent the ground state on a classical computer. I will also discuss recent results on higher-dimensional matrix product states, in an attempt to extend the remarkable success of matrix product algorithms beyond one dimension.

In this talk, we will investigate the distinguishability of quantum operations from both discrete and continuous point of view. In the discrete case, the main topic is how we can identify quantum measurement apparatuses by considering the patterns of measurement outcomes. In the continuous case, we will focus on the efficiency of parameter estimation of quantum operations. We will discuss several methods that can achieve Heisenberg Limit and prove in some other cases the impossibility of breaking the Standard Quantum Limit. The general treatment of estimation of quantum operations also allows an investigation of the effect of noise on estimation efficiency.

This is a talk in two parts. The first part is on evolution of a system under a Hamiltonian. First, a general method for implementing evolution under a Hamiltonian using entanglement and classical communication is presented. This method improves on previous methods by requiring less entanglement and communication, as well as allowing more general Hamiltonians to be implemented. Next, a method for simulating evolution under a sparse Hamiltonian using a quantum computer is presented. When H acts on n qubits, and has at most a constant number of nonzero entries in each row/column, we may select any positive integer k such that the simulation requires O((log*n)t^(1+1/2k)) accesses to matrix entries of H. The second part of the talk is on adaptive measurements of optical phase. Standard measurement schemes, using each resource independently, lead to a phase uncertainty that scales as 1/sqrt(N). It has long been conjectured that it should be possible to achieve a precision limited only by the Heisenberg uncertainty principle, dramatically improving the scaling to 1/N. I present a Heisenberg-limited phase estimation procedure which has been demonstrated experimentally. We use multiple applications of the phase shift on unentangled single-photon states, and generalize Kitaev\\\'s phase estimation algorithm using adaptive measurement theory to achieve a standard deviation scaling at the Heisenberg limit.

We define a measure of the quantumness of correlations, based on the operative task of local broadcasting of a bipartite state. Such a task is feasible for a state if and only if it corresponds to a joint classical probability distribution, or, in other terms, it is strictly classically correlated. A gap, defined in terms of quantum mutual information, can quantify the degree of failure in fulfilling such a task, therefore providing a measure of how non-classical a given state is. We are led to consider the asymptotic average mutual information of a state, defined as the minimal per-copy mutual information between parties, when they share an infinite amount of broadcast copies of the state. We analyze the properties of such quantity, and find that it satifies many of the properties required for an entanglement measure. We show that it lies between the quantum- and the classical-conditioned versions of squashed entanglement. The non-vanishing of asymptotic average mutual information for entangled states may be interpreted as a signature of monogamy of entanglement.