Quantum Information

A recent breakthrough in quantum computing has been the realization that quantum computation can proceed solely through single-qubit measurements on an appropriate quantum state - for example, the ground state of an interacting many-body system. It would be unfortunate, however, if the usefulness of a ground state for quantum computation was critically dependent on the details of the system\'s Hamiltonian; a much more powerful result would be the existence of a robust ordered phase which is characterized by the ability to perform measurement-based quantum computation (MBQC). To identify such phases, we propose to use nonlocal correlation functions that quantify the fidelity of quantum gates performed between distant qubits. We investigate a simple spin-lattice system based on the cluster-state model for MBQC, and demonstrate that it possesses a zero temperature phase transition between a disordered phase and an ordered \'cluster phase\' in which it is possible to perform a universal set of quantum gates.

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?

Constructing good quantum LDPC codes remains an important problem in quantum coding theory. We contribute to the ongoing discussion on this topic by proposing two approaches to constructing quantum LDPC codes. In the first, we rely on an algebraic method that uses a redundant description of the parity check matrix to overcome the problem of 4-cycles in the Tanner graph that degrade the performance of iterative decoding. In the second we use the fact that subsystem coding can simplify the decoding process. We show that if there exist classical LDPC codes with large error exponents, then we can construct degenerate subsystem LDPC codes with the stabilizer generators having low weight.

We investigate which families of quantum states can be used as resources for approximate and/or stochastic universal measurement-based quantum computation, in the sense that single-qubit operations and classical communication are sufficient to prepare (with some fixed precision and/or probability) any quantum state from the initial resource. We find entanglement-based criteria for non-universality in the approximate and/or stochastic case. By applying them, we are able to discard some families of states as not universal also in this weaker sense. Finally, we show that any family $Sigma$ of states that is \'close\' to an (approximate and/or stochastic) universal family $Gamma$ is approximate and stochastic universal, and we prove that if $Gamma$ was efficiently universal then also $Sigma$ is.