Quantum Information

Quantum operations are known to be the most general state transformations that can be applied to parts of compound systems compatibly with the probabilistic structure of quantum mechanics. What about the most general transformations of quantum operations? It turns out that any such general transformation can be realized by a quantum network with an open slot in which the input operation can be inserted, thus programming the resulting circuit. Moreover, one can recursively iterate this construction, generating an infinite hierarchy of admissible transformations and proving their realization within the circuit model of quantum mechanics. These results provide the basis of a new method to optimize quantum networks for information processing tasks, including e.g. gate estimation, discrimination, programming, and cloning. As examples of application, I will present here the optimal quantum networks for estimation of group transformations, for the alignment of reference frames with multiple communication rounds, and for universal cloning of unitary transformations.

A quantum channel models a physical process which adds noise to a quantum system by interacting with the 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. It measures the amount of quantum information that can be transmitted with vanishing error, in the limit of many independent transmissions over that 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. This unveils a rich structure in the theory of quantum communication that is absent from Shannon\'s classical theory. This is joint work with Graeme Smith (IBM) which was published in the Sept. 26 issue of Science.

We present a method which can be used to convert certain single photon sources, such as quantum dots, into devices capable of emitting large strings of photonic cluster states in a controlled and pulsed “on demand” manner. Such sources greatly alleviate the resources required to achieve linear optical quantum computation. Standard spin errors, such as dephasing, are shown to affect only 1 or 2 of the emitted photons at a time. This allows for the use of standard fault tolerance techniques, and shows that the machine gun can be fired for arbitrarily long times. Using realistic parameters for current semiconductor quantum dot sources, we conclude high entangled-photon emission rates are achievable, with Pauli-error rates less than 0.2%.

In recent years, the analysis of boolean functions has arisen as an important theme in theoretical computer science. In this talk I will discuss an extension of the concept of a boolean function to quantum computation. It turns out that many important classical results in the theory of boolean functions have natural quantum analogues. These include property testing of boolean functions; the Goldreich-Levin algorithm for approximately learning boolean functions; and a theorem of Friedgut, Kalai and Naor on the Fourier spectra of boolean functions. The quantum generalisation of this theorem uses a quantum extension of the hypercontractive inequality of Bonami, Gross and Beckner. This talk is based on joint work with Tobias Osborne.

With the aim of proposing feasible, quantum optical realizations of quantum information protocols and minimizing the resource costs in such implementations, we will discuss various, so-called hybrid approaches. These include, for instance, schemes based upon both discrete and continuous quantum variables.

Quantum computation by single-qubit measurements was proposed by Raussendorf and Briegel [PRL 86, 5188] as a potential scheme for implementing quantum computers. It also offers an unusual means of describing unitary transformations. To better understand which measurement-based procedures perform unitary operations, we may consider the following problem: under what circumstances can a measurement-based procedure for a unitary U be found, provided a similar procedure for U which relies on post-selection? In this talk, I describe the so-called \'Measurement Pattern Interpolation\' problem, the intuition behind the solved special cases, and possible applications of a general solution to this problem.

By storing quantum information in the degenerate ground state of a Hamiltonian, it is hoped that it can be made quite robust against noise processes. We will examine this situation, with particular emphasis on the Toric code in 2D, and show how adversarial effects, either perturbations to the Hamiltonian or interactions with an environment, destroy the stored information extremely quickly.

We analyze how quantum complexity poses bounds to the simulation of quantum systems. While methods as Density Functional Theory (DFT) and the Density Matrix Renormalization Group (DMRG) work very well in practice, essentially nothing on the formal requirements is known. In this talk, we consider these methods from a quantum complexity perspective: First, we discuss DFT which encapsulates the difficulty of solving the Schroedinger equation in a universal functional and show that this functional cannot be efficiently computed unless several complexity classes collapse. Second, we consider DMRG, a method to deal with quantum spin chains, and show that even under reasonable assumptions -- a polynomial gap and matrix product ground states -- finding the ground state is still a computationally hard problem. Beyond pinpointing the limitations of the methods, this helps us to understand under which assumptions we might be able to prove their convergence.

The question whether SICs exist can be viewed as a question about the structure of the convex set of quantum measurements, or turned into one about quantum states, asserting that they must have a high degree of symmetry. I\'ll address Chris Fuchs\' contrast of a \'probability first\' view of the issue with a \'generalized probabilistic theories\' view of it. I\'ll review some of what\'s known about the structure of convex state and measurement spaces with symmetries of a similar flavor, including the quantum one, and speculate on connections to recent SIC triple product results. And I\'ll present some old calculations, which will look familiar to old hands but may be worth contemplating yet again, reducing the Heisenberg-symmetric-SIC existence problem to the existence of solutions to a set of simultaneous polynomials in unit-modulus complex variables.

Abstract: Complete sets of mutually unbiased bases are clearly \'cousins\' of SICs. One difference is that there is a \'theory\' for MUBs, in the sense that they are straightforward to construct in some cases, and probably impossible to construct in others. Moreover complete sets of MUBs do appear naturally in the algebraic geometry of projective space (in particular they come from elliptic curves with certain symmetries). I will describe some unsuccessful attempts I have made to go from MUBs to SICs.