Size-driven quantum phase transitions.

Can the properties of the thermodynamic limit of a many-body quantum system be extrapolated by analyzing a sequence of finite-size cases? We present models for which such an approach gives completely misleading results: translationally invariant, local Hamiltonians on a square lattice with open boundary conditions and constant spectral gap, which have a classical product ground state for all system sizes smaller than a particular threshold size, but a ground state with topological degeneracy for all system sizes larger than this threshold. Starting from a minimal case with spins of dimension 6 and threshold lattice size [Formula: see text], we show that the latter grows faster than any computable function with increasing local spin dimension. The resulting effect may be viewed as a unique type of quantum phase transition that is driven by the size of the system rather than by an external field or coupling strength. We prove that the construction is thermally robust, showing that these effects are in principle accessible to experimental observation.

Undecidability of the spectral gap.

The spectral gap--the energy difference between the ground state and first excited state of a system--is central to quantum many-body physics. Many challenging open problems, such as the Haldane conjecture, the question of the existence of gapped topological spin liquid phases, and the Yang-Mills gap conjecture, concern spectral gaps. These and other problems are particular cases of the general spectral gap problem: given the Hamiltonian of a quantum many-body system, is it gapped or gapless? Here we prove that this is an undecidable problem. Specifically, we construct families of quantum spin systems on a two-dimensional lattice with translationally invariant, nearest-neighbour interactions, for which the spectral gap problem is undecidable. This result extends to undecidability of other low-energy properties, such as the existence of algebraically decaying ground-state correlations. The proof combines Hamiltonian complexity techniques with aperiodic tilings, to construct a Hamiltonian whose ground state encodes the evolution of a quantum phase-estimation algorithm followed by a universal Turing machine. The spectral gap depends on the outcome of the corresponding 'halting problem'. Our result implies that there exists no algorithm to determine whether an arbitrary model is gapped or gapless, and that there exist models for which the presence or absence of a spectral gap is independent of the axioms of mathematics.

Extracting dynamical equations from experimental data is NP hard.

The behavior of any physical system is governed by its underlying dynamical equations. Much of physics is concerned with discovering these dynamical equations and understanding their consequences. In this Letter, we show that, remarkably, identifying the underlying dynamical equation from any amount of experimental data, however precise, is a provably computationally hard problem (it is NP hard), both for classical and quantum mechanical systems. As a by-product of this work, we give complexity-theoretic answers to both the quantum and classical embedding problems, two long-standing open problems in mathematics (the classical problem, in particular, dating back over 70 years).

Gapless Hamiltonians for the toric code using the projected entangled pair state formalism.

We study Hamiltonians which have Kitaev's toric code as a ground state, and show how to construct a Hamiltonian which shares the ground space of the toric code, but which has gapless excitations with a continuous spectrum in the thermodynamic limit. Our construction is based on the framework of projected entangled pair states, and can be applied to a large class of two-dimensional systems to obtain gapless "uncle Hamiltonians."

Assessing quantum dimensionality from observable dynamics.

Using tools from classical signal processing, we show how to determine the dimensionality of a quantum system as well as the effective size of the environment's memory from observable dynamics in a model-independent way. We discuss the dependence on the number of conserved quantities, the relation to ergodicity and prove a converse showing that a Hilbert space of dimension D+2 is sufficient to describe every bounded sequence of measurements originating from any D-dimensional linear equations of motion. This is in sharp contrast to classical stochastic processes which are subject to more severe restrictions: a simple spectral analysis shows that the gap between the required dimensionality of a quantum and a classical description of an observed evolution can be arbitrary large.

Measurements incompatible in quantum theory cannot be measured jointly in any other no-signaling theory.

It is well known that jointly measurable observables cannot lead to a violation of any Bell inequality--independent of the state and the measurements chosen at the other site. In this Letter we prove the converse: every pair of incompatible quantum observables enables the violation of a Bell inequality and therefore must remain incompatible within any other no-signaling theory. While in the case of von Neumann measurements it is sufficient to use the same pair of observables at both sites, general measurements can require different choices. The main result is obtained by showing that for arbitrary dimension the Clauser-Horne-Shimony-Holt inequality provides the Lagrangian dual of the characterization of joint measurability. This leads to a simple criterion for joint measurability beyond the known qubit case.

Simulation of quantum many-body systems with strings of operators and Monte Carlo tensor contractions.

We introduce string-bond states, a class of states obtained by placing strings of operators on a lattice, which encompasses the relevant states in quantum information. For string-bond states, expectation values of local observables can be computed efficiently using Monte Carlo sampling, making them suitable for a variational algorithm which extends the density matrix renormalization group to higher dimensional and irregular systems. Numerical results demonstrate the applicability of these states to the simulation of many-body systems.

Area laws in quantum systems: mutual information and correlations.

The holographic principle states that on a fundamental level the information content of a region should depend on its surface area rather than on its volume. In this Letter we show that this phenomenon not only emerges in the search for new Planck-scale laws but also in lattice models of classical and quantum physics: the information contained in part of a system in thermal equilibrium obeys an area law. While the maximal information per unit area depends classically only on the number of degrees of freedom, it may diverge as the inverse temperature in quantum systems. It is shown that an area law is generally implied by a finite correlation length when measured in terms of the mutual information.

Not-so-normal mode decomposition.

We provide a generalization of the normal mode decomposition for nonsymmetric or locality constrained situations. This allows, for instance, to locally decouple a bipartitioned collection of arbitrarily correlated oscillators up to elementary pairs into which all correlations are condensed. Similarly, it enables us to decouple the interaction parts of multimode channels into single-mode and pair interactions where the latter are shown to be a clear signature of squeezing between system and environment. In mathematical terms the result is a canonical matrix form with respect to real symplectic equivalence transformations.

Entropy scaling and simulability by matrix product states.

We investigate the relation between the scaling of block entropies and the efficient simulability by matrix product states (MPSs) and clarify the connection both for von Neumann and Rényi entropies. Most notably, even states obeying a strict area law for the von Neumann entropy are not necessarily approximable by MPSs. We apply these results to illustrate that quantum computers might outperform classical computers in simulating the time evolution of quantum systems, even for completely translational invariant systems subject to a time-independent Hamiltonian.

Quantum capacities of bosonic channels.

We investigate the capacity of bosonic quantum channels for the transmission of quantum information. We calculate the quantum capacity for a class of Gaussian channels, including channels describing optical fibers with photon losses, by proving that Gaussian encodings are optimal. For arbitrary channels we show that achievable rates can be determined from few measurable parameters by proving that every channel can asymptotically simulate a Gaussian channel which is characterized by second moments of the initial channel. Along the way we provide a complete characterization of degradable Gaussian channels and those arising from teleportation protocols.

Computational complexity of projected entangled pair states.

We determine the computational power of preparing projected entangled pair states (PEPS), as well as the complexity of classically simulating them, and generally the complexity of contracting tensor networks. While creating PEPS allows us to solve PP problems, the latter two tasks are both proven to be #P-complete. We further show how PEPS can be used to approximate ground states of gapped Hamiltonians and that creating them is easier than creating arbitrary PEPS. The main tool for our proofs is a duality between PEPS and postselection which allows us to use existing results from quantum complexity.

Quantum phase transitions in matrix product systems.

We investigate quantum phase transitions (QPTs) in spin chain systems characterized by local Hamiltonians with matrix product ground states. We show how to theoretically engineer such QPT points between states with predetermined properties. While some of the characteristics of these transitions are familiar, like the appearance of singularities in the thermodynamic limit, diverging correlation length, and vanishing energy gap, others differ from the standard paradigm: In particular, the ground state energy remains analytic, and the entanglement entropy of a half-chain stays finite. Examples demonstrate that these kinds of transitions can occur at the triple point of "conventional" QPTs.

Extremality of Gaussian quantum states.

We investigate Gaussian quantum states in view of their exceptional role within the space of all continuous variables states. A general method for deriving extremality results is provided and applied to entanglement measures, secret key distillation and the classical capacity of bosonic quantum channels. We prove that for every given covariance matrix the distillable secret key rate and the entanglement, if measured appropriately, are minimized by Gaussian states. This result leads to a clearer picture of the validity of frequently made Gaussian approximations. Moreover, it implies that Gaussian encodings are optimal for the transmission of classical information through bosonic channels, if the capacity is additive.

Violation of the entropic area law for fermions.

We investigate the scaling of the entanglement entropy in an infinite translational invariant fermionic system of any spatial dimension. The states under consideration are ground states and excitations of tight-binding Hamiltonians with arbitrary interactions. We show that the entropy of a finite region typically scales with the area of the surface times a logarithmic correction. Thus, in contrast with analogous bosonic systems, the entropic area law is violated for fermions. The relation between the entanglement entropy and the structure of the Fermi surface is discussed, and it is proven that the presented scaling law holds whenever the Fermi surface is finite. This is, in particular, true for all ground states of Hamiltonians with finite range interactions.

Optimal squeezing and entanglement from noisy Gaussian operations.

We investigate the creation of squeezing via operations subject to noise and losses and ask for the optimal use of such devices when supplemented by noiseless passive operations. Both single and repeated uses of the device are optimized analytically and it is proven that in the latter case the squeezing converges exponentially fast to its asymptotic optimum, which we determine explicitly. For the case of multiple iterations we show that the optimum can be achieved with fixed intermediate passive operations. Finally, we relate the results to the generation of entanglement and derive the maximal two-mode entanglement achievable within the considered scenario.

Entangling power of passive optical elements.

We investigate the entangling capability of passive optical elements, both qualitatively and quantitatively. We present a general necessary and sufficient condition for the possibility of creating distillable entanglement in an arbitrary multimode Gaussian state with the help of passive optical elements, thereby establishing a general connection between squeezing and the entanglement that is attainable by nonsqueezing operations. Special attention is devoted to general two-mode Gaussian states, for which we provide the optimal entangling procedure, present an explicit formula for the attainable degree of entanglement, and discuss several practically important special cases.

Entanglement versus bell violations and their behavior under local filtering operations.

We discuss the relations between the violation of the Clauser-Horne-Shimony-Holt (CHSH) Bell inequality for systems of two qubits on the one side and entanglement of formation, local filtering operations, and the entropy and purity on the other. We calculate the extremal Bell violations for a given amount of entanglement of formation and characterize the respective states, which turn out to have extremal properties also with respect to the entropy, purity, and several entanglement monotones. The optimal local filtering operations leading to the maximal Bell violation for a given state are provided, and the special role of the resulting Bell diagonal states in the context of Bell inequalities is discussed.

Activating distillation with an infinitesimal amount of bound entanglement.

We show that bipartite quantum states of any dimension, which do not have a positive partial transpose (NPPT), become 1-distillable when one adds an infinitesimal amount of bound entanglement. To this end we investigate the activation properties of a new class of symmetric bound entangled states of full rank. It is shown that in this set there exist universal activator states capable of activating the distillation of any NPPT state. The result shows that even a small amount of bound entanglement can be useful for quantum information purposes.