Quantum Information

Even though the security of quantum key distribution has been rigorously proven, most practical schemes can be attacked and broken. These attacks make use of imperfections of the physical devices used for their implementation. Since current security proofs assume that the physical devices' exact and complete specification is known, they do not hold for this scenario. The goal of device-independent quantum key distribution is to show security without making any assumptions about the internal working of the devices. In this talk, I will first explain the assumptions 'traditional' security proofs make and why they are problematic. Then, I will discuss how the violation of Bell inequalities can be used to show security even when a large part of the physical devices is untrusted.

A system of spins with complicated interactions between them can have many possible configurations. Many configurations will be local minima of the energy, and to get from one local minimum to another requires changing the state of very many spins. A system like this is called a spin glass, and at low temperatures tends to get caught for very long times at a local minimum of energy, rather than reaching its true ground state. Indeed, in many cases, finding the ground state energy of a spin glass is a computationally hard problem, too hard to be solved on a classical computer or even a quantum computer in any reasonable amount of time. Which types of interactions give us computationally hard problems and spin glasses? I will survey what is known as we close in on finding the simplest complex spin systems.

We introduce a family of variational ansatz states for chains of anyons which optimally exploits the structure of the anyonic Hilbert space. This ansatz is the natural analog of the multi-scale entanglement renormalization ansatz for spin chains. In particular, it has the same interpretation as a coarse-graining procedure and is expected to accurately describe critical systems with algebraically decaying correlations. We numerically investigate the validity of this ansatz using the anyonic golden chain and its relatives as a testbed. This demonstrates the power of entanglement renormalization in a setting with non-abelian exchange statistics, extending previous work on qudits, bosons and fermions in two dimensions. This is joint work with Ersen Bilgin.

Over the last twenty years, quantum information and quantum computing have profoundly shaped our thinking about the basic concepts of quantum physics. But can these insights also shape the way we /teach/ quantum mechanics to undergraduate physics students? A recent adventure in textbook-writing suggests some strategies and dilemmas.

In this talk we will explore a "toy model" of quantum theory that is similar to actual quantum theory, but uses scalars drawn from a finite field. The set of possible states of a system is discrete and finite. Our theory does not have a quantitative notion of probability, but only makes the "modal" distinction between possible and impossible measurement results. Despite its very simple structure, our toy model nevertheless includes many of the key phenomena of actual quantum systems: interference, complementarity, entanglement, nonlocality, and the impossibility of cloning.

We study a Hamiltonian system describing a three-spin 1/2 cluster like interaction competing with an Ising-like exchange. We show that a cluster state, the ground state of the Hamiltonian in the absence of the Ising term, is provided by a hidden order of topological nature. In the presence of the cluster and Ising couplings, a continuous quantum phase transition occurs in the system, directly connecting a local broken symmetry phase to a cluster phase with the hidden order. At the critical point the Hamiltonian is self-dual. We analyze the geometric entanglement and demonstrate that it can capture the transition, as a single parameter.

A lattice gauge theory is described by a redundantly large vector space that is subject to local constraints, and it can be regarded as the low energy limit of a lattice model with a local symmetry. I will describe a coarse-graining scheme capable of exactly preserving local symmetries. The approach results in a variational ansatz for the ground state(s) and low energy excitations of a lattice gauge theory. This ansatz has built-in local symmetries, which are exploited to significantly reduce simulation costs. I will describe benchmark results in the context of Kitaev’s toric code with a magnetic field or, equivalently, Z2 lattice gauge theory, for lattices with up to 16 x 16 sites (16^2 x 2 = 512 spins) on a torus.

Closed quantum systems evolve unitarily and therefore cannot converge in a strong sense to an equilibrium state starting out from a generic pure state. Nevertheless for large system size one observes temporal typicality. Namely, for the overwhelming majority of the time instants, the statistics of observables is practically indistinguishable from an effective equilibrium one. In this talk we will discuss he Loschmidt echo (LE) to study this sort of unitary equilibration after a quench. In particular we ll address the issue of typicality with respect the initial state preparation and the influence of quantum criticality of the long-time probability distribution of LE.

In this talk (based on arXiv:1001.0354) we give a quantum statistical interpretation for the Kauffmann bracket polynomial state sum <K> for the Jones polynomial. We use this quantum mechanical interpretation to give a new quantum algorithm for computing the Jones polynomial. This algorithm is useful for its conceptual simplicity, and it applies to all values of the polynomial variable that lie on the unit circle in the complex plane. Letting C(K) denote the Hilbert space for this model, there is a natural unitary transformation U from C(K) to itself such that <K> = <F|U|F> where |F> is a sum over basis states for C(K). The quantum algorithm arises directly from this formula via the Hadamard Test. We then show that the framework for our quantum model for the bracket polynomial is a natural setting for Khovanov homology. The Hilbert space C(K) of our model has basis in one-to-one correspondence with the enhanced states of the bracket state summmation and is isomorphic with the chain complex for Khovanov homology with coefficients in the complex numbers. We show that for the Khovanov boundary operator d defined on C(K) we have the relationship dU + Ud = 0. Consequently, the unitary operator U acts on the Khovanov homology, and we therefore obtain a direct relationship between Khovanov homology and this quantum algorithm for the Jones polynomial. The formula for the Jones polynomial as a graded Euler characteristic is now expressed in terms of the eigenvalues of U and the Euler characteristics of the eigenspaces of U in the homology. The quantum algorithm given here is inefficient, and so it remains an open problem to determine better quantum algorithms that involve both the Jones polynomial and the Khovanov homology.

Fibonacci anyons are the simplest system of anyons capable of implementing universal topological quantum computation, an area which is of intense theoretical and experimental interest. Recent studies have shown that for nearest-neighbour interactions, the properties of the ground state of a 1-D chain of Fibonacci anyons may be modeled using a spin chain, and are related to specific conformal field theories. I will talk about the role played by boundary conditions in this mapping, and demonstrate that for these simple anyonic systems the correct spin chain models in fact correspond to conformal field theories with a defect. The presence of this defect drastically changes the excitations observable in the system.