Quantum Information

Hamiltonian oracles are the continuum limit of the standard unitary quantum oracles. In addition to being a potentially useful tool in the study of standard oracles, Hamiltonian oracles naturally introduce the concept of fractional queries and are amenable to study using techniques of differential equations and geometry. As an example of these ideas we shall examine the Hamiltonian oracle corresponding to the problem of oracle interrogation. This talk is intended for all those who wish to apply their knowledge of differential geometry without the risk of creating an event horizon.

I will investigate the creation and detection of multipartite entangled states in systems of ultracold neutral atoms trapped in an optical lattice. These setups are scalable, highly versatile and controllable at the quantum level. Thus they provide an ideal test bed for studying the properties of multipartite entangled states. I will first present methods exploiting incoherent dynamics for initializing an atomic quantum register. The immersion of an optical lattice in a Bose-Einstein condensate leads to spontaneous emission of phonons. This process can be used for irreversibly loading and cooling atoms within the lowest Bloch band of the lattice. I will describe loading and cooling schemes based on this mechanism and compare them to conventional loading schemes. I will then show how coherent dynamics in a very strongly interacting 1D optical lattice setup can be used for the efficient generation of arbitrary graph states in the atomic quantum register. This system can be mapped onto an XY spin chain which itself is equivalent to a system of non-interacting fermions. By exploiting the anticommutation relations between these fictitious fermions I will discuss how any graph state can be realized in an efficient and robust way. In the final part of my talk I will present a practical method for detecting and characterizing multipartite entangled states in atomic quantum registers. This scheme is based on measuring violations of entropic inequalities using simple quantum networks involving only two copies of the quantum state under consideration. I will investigate the performance of this method under realistic conditions taking into account the most common sources of experimental errors.

The amount of nonlocality in the GHZ state can be quantified by determining how much classical communication is required to bring a local-hidden-variable model into agreement with the predictions of quantum mechanics. It turns out that one bit suffices, and, of course, nothing less will do. I will discuss generalizations of this result to graph states and its relation to the stabilizer formalism.

Quantum information methods have been recently used for studying the properties of ground state entanglement in several many body and field theory systems. We will discuss a thought experiment wherein entanglement can be extracted from the vacuum of a relativistic field theory into a pair of arbitrarily spatially separated atoms. In order to simulate the detection process, we will consider the ground state of a linear chain of cooled trapped ions, and discuss a scheme for detecting the entanglement between the ion's motional degrees of freedom.

We will postulate a novel notion of probability; this will involve introducing an extra axiom of probability that seems natural from a Bayesian perspective. We will then provide an analogue of Gleason's theorem for these probabilities. We will also discuss why this approach may be useful for generalizations of quantum theory such as quantum gravity theories; this will involve discussing an analogy between Bayesian approaches and relational approaches.

I look at the information-processing involved in a quantum computation, in terms of the difference between the Boolean logic underlying a classical computation and the non-Boolean logic represented by the projective geometry of Hilbert space, in which the subspace structure of Hilbert space replaces the set-theoretic structure of classical logic. I show that the original Deutsch XOR algorithm, Simon's algorithm, and Shor's algorithm all involve a similar geometric formulation. In terms of this picture, I consider the question of where the speedup relative to classical algorithms comes from.

In this talk I will expose different results concerning the properties of quantum many-body systems: on the one hand, I will introduce the concept of fine-grained entanglement loss together with its relation with majorization relations along parameter flows and Renormalization Group flows. The machinery of Conformal Field Theory will allow us to derive very general analytical properties, and some examples -like the XY quantum spin chain- will also be considered. On the other hand, I will describe results concerning the classical simulability of quantum many-body systems by means of Matrix Product States. In particular, I will present an approximated classical simulation of a quantum algorithm by adiabatic evolution solving hard instances of an NP-Complete problem up to 100 qubits.

I will discuss the design of degenerate quantum error correcting codes for an arbitrary Pauli channel. At noise levels slightly beyond those for which a random stabilizer code does not allow high fidelity transmission with a nonzero rate, our codes usually have a rate which is strictly positive. In fact, there exist Pauli channels for which our codes outperform a random stabilizer code whenever the random coding rate is less than 0.04, which is a couple of orders of magnitude larger than the previous examples of this effect. I'll also present a fairly straightforward explanation of why these codes work and discuss how their performance scales with block size and what this scaling suggests even better codes will look like.

The information spectrum approach gives general formulae for optimal rates of codes in many areas of information theory. In this talk I shall relate the information spectrum approach to Shannon information theory and explore its relationship to ``entropic'' properties including subadditivity, chain rules, Araki-Lieb inequlities, and monotonicity.

The concept of entanglement plays a central role in the field of strongly correlated quantum systems: it gives rise to fascinating phenomena such as quantum phase transitions and topological quantum order, but also represents a main obstacle to our ability to simulate such systems. We will discuss some new developments in which ideas, originating from the field of quantum information theory, led to valuable insights into the structure of entanglement in quantum spin systems and to novel powerful simulation methods

We consider the problem of bounded-error quantum state identification: given one of two known states, what is the optimal probability with which we can identify the given state, subject to our guess being correct with high probability (but we are permitted to output "don't know" instead of a guess). We prove a direct product theorem for this problem. Our proof is based on semidefinite programming duality and the technique may be of wider interest. Using this result, we present two new exponential separations in the simultaneous message passing model of communication complexity. Both are shown in the strongest possible sense: -- we describe a relation that can be computed with O(log n) classical bits of communication in the presence of shared randomness, but needs n^(1/3) communication if the parties don't share randomness, even if communication is quantum; -- we describe a relation that can be computed with O(log n) classical bits of communication in the presence of shared entanglement, but needs (almost) n^(1/3) communication if the parties share randomness but no entanglement, even if communication is quantum.