Quantum Information

I will survey recent feasibility results on building multi-party cryptographic protocols which manipulate quantum data or are secure against quantum adversaries. The focus will be protocols for secure evaluation of quantum circuits. Along the way, I'll discuss how quantum machines can (and can't) prove knowledge of a secret to a distrustful partner. The talk is based on recent unpublished results, as well as older joint work with subsets of Michael Ben-Or, Claude Crepeau, Daniel Gottesman, and Avinatan Hasidim (STOC '02, FOCS '02, Eurocrypt '05, FOCS '06).

Inelastic collisions occur in Bose-Einstein condensates, in some cases, producing particle loss in the system. Nevertheless, these processes have not been studied in the case when particles do not escape the trap. We show that such inelastic processes are relevant in quantum properties of the system such as the evolution of the relative population and entanglement. Moreover, including inelastic terms in the models of multimode condensates allows for an exact analytical solution. 

Consider a discrete quantum system with a d-dimensional state space. For certain values of d, there is an elegant information-theoretic uncertainty principle expressing the limitation on one's ability to simultaneously predict the outcome of each of d+1 mutually unbiased--or mutually conjugate--orthogonal measurements. (The allowed values of d include all powers of primes, and at present it is not known whether any value of d is excluded.) In this talk I show how states that minimize uncertainty in this sense can be generated via a discrete phase space based on finite fields. I also discuss some numerically observed features of these minimum-uncertainty states as the dimension d gets very large.

Thermodynamics places surprisingly few fundamental constraints on information processing. In fact, most people would argue that it imposes only one, known as Landauer's Principle: a process erasing one bit of information must release an amount kT ln 2 of heat. It is this simple observation that finally led to the exorcism of Maxwell's Demon from statistical mechanics, more than a century after he first appeared. Ignoring the lesson implicit in this early advance, however, quantum information theorists have been surprisingly slow to embrace erasure as a fundamental primitive. Over the past couple of years, however, it has become clear that a detailed understanding of how difficult it is to erase correlations leads to a nearly complete synthesis and simplification of the known results of asymptotic quantum information theory. As it turns out, surprisingly many of the tasks of interest, from distilling high-quality entanglement to sending quantum data through a noisy medium to many receivers, can be understood as variants of erasure. I'll sketch the main ideas behind these discoveries and end with some speculations on what lessons the new picture might have for understanding information loss in real physical systems.

We give a communication problem between two players, Alice and Bob, that can be solved by Alice sending a quantum message to Bob, for which any classical interactive protocol requires exponentially more communication.

We show that singlets composed of multiple multi-level quantum systems can naturally arise as the ground state of a physically-motivated Hamiltonian. The Hamiltonian needs to be one which simply exchanges the states of nearest neighbours in any graph of interacting d-level quantum systems (qudits) as long as the graph also has d sites. We point out that local measurements on some of these qudits, with the freedom of choosing a distinct measurement basis at each qudit randomly from an infinite set of bases, project the remainder onto a singlet state. One implication of this is that the entanglement in these states is very robust (persistent), while an application is in establishing an arbitrary amount of entanglement between well-separated parties (for subsequent use as a communication resource) by local measurements on an appropriate graph. Based on quant-ph/0602139.

We propose an extended quantum theory, in which the number of degrees of freedom K behaves as FOURTH power the number N of distinguishable states. As the simplex of classical N--point probability distributions can be embedded inside a higher dimensional convex body of mixed quantum states, one can further increase the dimensionality constructing the set of extended quantum states. The embedding proposed corresponds to an assumption that the physical system described in N dimensional Hilbert space is coupled with an auxiliary subsystem of the same dimensionality. The extended theory is shown to be a non-trivial generalisation of the standard quantum theory for which K=N^2. Imposing certain restrictions on initial conditions and dynamics allowed in the quartic theory one obtains quadratic theory as a special case. We discuss the question, how the theory of information processing looks like in the framework of the generalised quantum theory. In particular we propose a scheme of extended dense coding, in which one transmits two qubits by sending one extended bit, provided it was initially entangled with the extended bit of the receiver.

If a large quantum computer (QC) existed today, what type of physical problems could we efficiently simulate on it that we could not simulate on a conventional computer? In this talk, I argue that a QC could solve some relevant physical "questions" more efficiently. First, I will focus on the quantum simulation of quantum systems satisfying different particle statistics (e.g., anyons), using a QC made of two-level physical systems or qubits. The existence of one-to-one mappings between different algebras of observables or between different Hilbert spaces allow us to represent and imitate any physical system by any other one (e.g., a bosonic system by a spin-1/2 system). We explain how these mappings can be performed showing quantum networks useful for the efficient evaluation of some physical properties, such as correlation functions and energy spectra. Second, I will focus on the quantum simulation of classical systems. Interestingly, the thermodynamic properties of any d-dimensional classical system can be obtained by studying the zero-temperature properties of an associated d-dimensional quantum system. This classical-quantum correspondence allows us to understand classical annealing procedures as slow (adiabatic) evolutions of the lowest-energy state of the corresponding quantum system. Since many of these problems are NP-hard and therefore difficult to solve, is worth investigating if a QC would be a better device to find the corresponding solutions.

A multi-partite entanglement measure is constructed via the distance or angle of the pure state to its nearest unentangled state. The extention to mixed states is made via the convex-hull construction, as is done in the case of entanglement of formation. This geometric measure is shown to be a monotone. It can be calculated for various states, including arbitrary two-qubit states, generalized Werner and isotropic states in bi-partite systems. It is also calculated for various multi-partite pure and mixed states, including ground states of some physical models and states generated from quantum alogrithms, such as Grover's. A specific application to a spin model with quantum phase transistions will be presented in detail.The connection of the geometric measure to other entanglement properties will also be discussed.

Kolmogorov complexity is a measure of the information contained in a binary string. We investigate the notion of quantum Kolmogorov complexity, a measure of the information required to describe a quantum state. We show that for any definition of quantum Kolmogorov complexity measuring the number of classical bits required to describe a pure quantum state, there exists a pure n-qubit state which requires exponentially many bits of description. This is shown by relating the classical communication complexity to the quantum Kolmogorov complexity. Furthermore we give some examples of how quantum Kolmogorov complexity can be applied to prove results in different fields, such as quantum computation and communication.