Search

One of the main milestones in the study of opto- and electro-mechanical systems is to certify entanglement between a mechanical resonator and an optical or microwave mode of a cavity field. In this work, we show how a suitable time-periodic modulation can help to achieve large degrees of entanglement, building upon the framework introduced in [Phys. Rev. Lett. 103, 213603 (2009)]. It is demonstrated that with suitable driving, the maximum degree of entanglement can be significantly enhanced, in a way exhibiting a non-trivial dependence on the specifics of the modulation. Such time-dependent driving might help experimentally achieving entangled mechanical systems also in situations when quantum correlations are otherwise suppressed by thermal noise., Comment: 6 pages, 4 figures

We show that the time evolution of an open quantum system, described by a possibly time dependent Liouvillian, can be simulated by a unitary quantum circuit of a size scaling polynomially in the simulation time and the size of the system. An immediate consequence is that dissipative quantum computing is no more powerful than the unitary circuit model. Our result can be seen as a dissipative Church-Turing theorem, since it implies that under natural assumptions, such as weak coupling to an environment, the dynamics of an open quantum system can be simulated efficiently on a quantum computer. Formally, we introduce a Trotter decomposition for Liouvillian dynamics and give explicit error bounds. This constitutes a practical tool for numerical simulations, e.g., using matrix-product operators. We also demonstrate that most quantum states cannot be prepared efficiently., Comment: 4 pages + 5 pages appendix, Implication 3 corrected

We introduce the idea of actually cooling quantum systems by means of incoherent thermal light, hence giving rise to a counter-intuitive mechanism of "cooling by heating". In this effect, the mere incoherent occupation of a quantum mechanical mode serves as a trigger to enhance the coupling between other modes. This notion of effectively rendering states more coherent by driving with incoherent thermal quantum noise is applied here to the opto-mechanical setting, where this effect occurs most naturally. We discuss two ways of describing this situation, one of them making use of stochastic sampling of Gaussian quantum states with respect to stationary classical stochastic processes. The potential of experimentally demonstrating this counter-intuitive effect in opto-mechanical systems with present technology is sketched., Comment: 5 pages, 3 figures

We present applications of the renormalization algorithm with graph enhancement (RAGE). This analysis extends the algorithms and applications given for approaches based on matrix product states introduced in [Phys. Rev. A 79, 022317 (2009)] to other tensor-network states such as the tensor tree states (TTS) and projected entangled pair states (PEPS). We investigate the suitability of the bare TTS to describe ground states, showing that the description of certain graph states and condensed matter models improves. We investigate graph-enhanced tensor-network states, demonstrating that in some cases (disturbed graph states and for certain quantum circuits) the combination of weighted graph states with tensor tree states can greatly improve the accuracy of the description of ground states and time evolved states. We comment on delineating the boundary of the classically efficiently simulatable states of quantum many-body systems., Comment: 26 pages, 14 figures, final version

We discuss a notion of quantum critical exponents in open quantum many-body systems driven by quantum noise. We show that in translationally invariant quantum lattice models undergoing quasi-local Markovian dissipative processes, mixed states emerge as stationary points that show scaling laws for the divergence of correlation lengths giving rise to well-defined critical exponents. The main new technical tool developed here is a complete description of steady states of free bosonic or fermionic translationally invariant systems driven by quantum noise: This approach allows to express all correlation properties in terms of a symbol, paralleling the Fisher-Hartwig theory used for ground state properties of free models. We discuss critical exponents arising in bosonic and fermionic models. Finally, we relate the findings to recent work on dissipative preparation of pure dark and matrix product states by Markovian noisy processes and sketch further perspectives., Comment: 5 pages

Among the possibly most intriguing aspects of quantum entanglement is that it comes in "free" and "bound" instances. Bound entangled states require entangled states in preparation but, once realized, no free entanglement and therefore no pure maximally entangled pairs can be regained. Their existence hence certifies an intrinsic irreversibility of entanglement in nature and suggests a connection with thermodynamics. In this work, we present a first experimental unconditional preparation and detection of a bound entangled state of light. We consider continuous-variable entanglement, use convex optimization to identify regimes rendering its bound character well certifiable, and realize an experiment that continuously produced a distributed bound entangled state with an extraordinary and unprecedented significance of more than ten standard deviations away from both separability and distillability. Our results show that the approach chosen allows for the efficient and precise preparation of multimode entangled states of light with various applications in quantum information, quantum state engineering and high precision metrology., Comment: The final version accounts for a recent comment in Nature Physics [24] clarifying that a previous claim of having generated bound entanglement [23] was not supported by the authors' data. We also extended our introduction and discussion and also added references

We identify a large class of quantum many-body systems that can be solved exactly: natural frustration-free spin-1/2 nearest-neighbor Hamiltonians on arbitrary lattices. We show that the entire ground state manifold of such models can be found exactly by a tensor network of isometries acting on a space locally isomorphic to the symmetric subspace. Thus, for this wide class of models real-space renormalization can be made exact. Our findings also imply that every such frustration-free spin model satisfies an area law for the entanglement entropy of the ground state, establishing a novel large class of models for which an area law is known. Finally, we show that our approach gives rise to an ansatz class useful for the simulation of almost frustration-free models in a simple fashion, outperforming mean field theory., Comment: 5 pages, 1 figure

We establish a method of directly measuring and estimating non-classicality - operationally defined in terms of the distinguishability of a given state from one with a positive Wigner function. It allows to certify non-classicality, based on possibly much fewer measurement settings than necessary for obtaining complete tomographic knowledge, and is at the same time equipped with a full certificate. We find that even from measuring two conjugate variables alone, one may infer the non-classicality of quantum mechanical modes. This method also provides a practical tool to eventually certify such features in mechanical degrees of freedom in opto-mechanics. The proof of the result is based on Bochner's theorem characterizing classical and quantum characteristic functions and on semi-definite programming. In this joint theoretical-experimental work we present data from experimental optical Fock state preparation, demonstrating the functioning of the approach., Comment: 4+1 pages, 2 figures, minor changes

We discuss the potential and limitations of Gaussian cluster states for measurement-based quantum computing. Using a framework of Gaussian projected entangled pair states (GPEPS), we show that no matter what Gaussian local measurements are performed on systems distributed on a general graph, transport and processing of quantum information is not possible beyond a certain influence region, except for exponentially suppressed corrections. We also demonstrate that even under arbitrary non-Gaussian local measurements, slabs of Gaussian cluster states of a finite width cannot carry logical quantum information, even if sophisticated encodings of qubits in continuous-variable (CV) systems are allowed for. This is proven by suitably contracting tensor networks representing infinite-dimensional quantum systems. The result can be seen as sharpening the requirements for quantum error correction and fault tolerance for Gaussian cluster states, and points towards the necessity of non-Gaussian resource states for measurement-based quantum computing. The results can equally be viewed as referring to Gaussian quantum repeater networks., Comment: 13 pages, 7 figures, details of main argument extended

The certificate of success for a number of important quantum information processing protocols, such as entanglement distillation, is based on the difference in the entanglement content of the quantum states before and after the protocol. In such cases, effective bounds need to be placed on the entanglement of non-local states consistent with statistics obtained from local measurements. In this work, we study numerically the ability of a novel type of homodyne detector which combines phase sensitivity and photon-number resolution to set accurate bounds on the entanglement content of two-mode quadrature squeezed states without the need for full state tomography. We show that it is possible to set tight lower bounds on the entanglement of a family of two-mode degaussified states using only a few measurements. This presents a significant improvement over the resource requirements for the experimental demonstration of continuous-variable entanglement distillation, which traditionally relies on full quantum state tomography., Comment: 18 pages, 6 figures

We prove that quantum many-body systems on a one-dimensional lattice locally relax to Gaussian states under non-equilibrium dynamics generated by a bosonic quadratic Hamiltonian. This is true for a large class of initial states - pure or mixed - which have to satisfy merely weak conditions concerning the decay of correlations. The considered setting is a proven instance of a situation where dynamically evolving closed quantum systems locally appear as if they had truly relaxed, to maximum entropy states for fixed second moments. This furthers the understanding of relaxation in suddenly quenched quantum many-body systems. The proof features a non-commutative central limit theorem for non-i.i.d. random variables, showing convergence to Gaussian characteristic functions, giving rise to trace-norm closeness. We briefly relate our findings to ideas of typicality and concentration of measure., Comment: 27 pages, final version

We introduce a framework of opto-mechanical systems that are driven with a mildly amplitude modulated light field, but that are not subject to classical feedback or squeezed input light. We find that in such a system one can achieve large degrees of squeezing of a mechanical micromirror signifying quantum properties of opto-mechanical systems - without the need of any feedback and control, and within parameters reasonable in experimental settings. Entanglement dynamics is shown of states following classical quasi-periodic orbits in their first moments. We discuss the complex time dependence of the modes of a cavity-light field and a mechanical mode in phase space. Such settings give rise to certifiable quantum properties within experimental conditions feasible with present technology., Comment: 4+3 pages, 2 figures, additional brief appendix compared to version in press in Phys. Rev. Lett.

As primitives for entanglement generation, controlled phase gates take a central role in quantum computing. Especially in ideas realizing instances of quantum computation in linear optical gate arrays a closer look can be rewarding. In such architectures, all effective non-linearities are induced by measurements: Hence the probability of success is a crucial parameter of such quantum gates. In this note, we discuss this question for controlled phase gates that implement an arbitrary phase with one and two control qubits. Within the class of post-selected gates in dual-rail encoding with vacuum ancillas we identify the optimal success probabilities. We construct networks that allow for an implementation by means of todays experimental capabilities in detail. The methods employed here appear specifically useful with the advent of integrated linear optical circuits, providing stable interferometers on monolithic structures., Comment: 9 pages, 6 figures, final version

Recent efforts have applied quantum tomography techniques to the calibration and characterization of complex quantum detectors using minimal assumptions. In this work we provide detail and insight concerning the formalism, the experimental and theoretical challenges and the scope of these tomographical tools. Our focus is on the detection of photons with avalanche photodiodes and photon number resolving detectors and our approach is to fully characterize the quantum operators describing these detectors with a minimal set of well specified assumptions. The formalism is completely general and can be applied to a wide range of detectors, Comment: 22 pages, 27 figures

We introduce a scheme for efficiently describing pure states of strongly correlated fermions in higher dimensions using unitary circuits featuring a causal cone. A local way of computing local expectation values is presented. We formulate a dynamical reordering scheme, corresponding to time-adaptive Jordan-Wigner transformation, that avoids nonlocal string operators. Primitives of such a reordering scheme are highlighted. Fermionic unitary circuits can be contracted with the same complexity as in the spin case. The scheme gives rise to a variational description of fermionic models not suffering from a sign problem. We present numerical examples on $9\times 9$ and $6\times 6$ fermionic lattice model to show the functioning of the approach., Comment: 5 pages, 3 figures, numerical example added, small typographic errors corrected

Measurement is the only part of a general quantum system that has yet to be characterized experimentally in a complete manner. Detector tomography provides a procedure for doing just this; an arbitrary measurement device can be fully characterized, and thus calibrated, in a systematic way without access to its components or its design. The result is a reconstructed POVM containing the measurement operators associated with each measurement outcome. We consider two detectors, a single-photon detector and a photon-number counter, and propose an easily realized experimental apparatus to perform detector tomography on them. We also present a method of visualizing the resulting measurement operators., Comment: 9 pages, 4 figures

It is often argued that entanglement is at the root of the speedup for quantum compared to classical computation, and that one needs a sufficient amount of entanglement for this speedup to be manifest. In measurement-based quantum computing (MBQC), the need for a highly entangled initial state is particularly obvious. Defying this intuition, we show that quantum states can be too entangled to be useful for the purpose of computation. We prove that this phenomenon occurs for a dramatic majority of all states: the fraction of useful n-qubit pure states is less than exp(-n^2). Computational universality is hence a rare property in quantum states. This work highlights a new aspect of the question concerning the role entanglement plays for quantum computational speed-ups. The statements remain true if one allows for certain forms of post-selection and also cover the notion of CQ-universality. We identify scale-invariant states resulting from a MERA construction as likely candidates for physically relevant states subject to this effect., Comment: 5 pages, 2 figures, replaced with final version to appear in Phys. Rev. Lett. (except for an appendix and an additional figure)

We introduce the notion of quantum computational webs: These are quantum states universal for measurement-based computation which can be built up from a collection of simple primitives. The primitive elements - reminiscent of building blocks in a construction kit - are (i) states on a one-dimensional chain of systems ("computational quantum wires") with the power to process one logical qubit and (ii) suitable couplings which connect the wires to a computationally universal "web". All elements are preparable by nearest-neighbor interactions in a single pass - a type of operation well-suited for a number of physical architectures. We provide a complete classification of qubit wires. This is first instance where a physically well-motivated class of universal resources can be fully understood. Finally, we sketch possible realizations in superlattices, and explore the power of coupling mechanisms based on Ising or exchange-interactions., Comment: 4 pages, 3 figures, small errors corrected, final version

Physical interactions in quantum many-body systems are typically local: Individual constituents interact mainly with their few nearest neighbors. This locality of interactions is inherited by a decay of correlation functions, but also reflected by scaling laws of a quite profound quantity: The entanglement entropy of ground states. This entropy of the reduced state of a subregion often merely grows like the boundary area of the subregion, and not like its volume, in sharp contrast with an expected extensive behavior. Such "area laws" for the entanglement entropy and related quantities have received considerable attention in recent years. They emerge in several seemingly unrelated fields, in the context of black hole physics, quantum information science, and quantum many-body physics where they have important implications on the numerical simulation of lattice models. In this Colloquium we review the current status of area laws in these fields. Center stage is taken by rigorous results on lattice models in one and higher spatial dimensions. The differences and similarities between bosonic and fermionic models are stressed, area laws are related to the velocity of information propagation, and disordered systems, non-equilibrium situations, classical correlation concepts, and topological entanglement entropies are discussed. A significant proportion of the article is devoted to the quantitative connection between the entanglement content of states and the possibility of their efficient numerical simulation. We discuss matrix-product states, higher-dimensional analogues, and states from entanglement renormalization and conclude by highlighting the implications of area laws on quantifying the effective degrees of freedom that need to be considered in simulations., Comment: 28 pages, 2 figures, final version

In the study of relaxation processes in coherent non-equilibrium dynamics of quenched quantum systems, ultracold atoms in optical superlattices with periodicity two provide a very fruitful test ground. In this work, we consider the dynamics of a particular, experimentally accessible initial state prepared in a superlattice structure evolving under a Bose-Hubbard Hamiltonian in the entire range of interaction strengths, further investigating the issues raised in Ref. [Phys. Rev. Lett. 101, 063001 (2008)]. We investigate the relaxation dynamics analytically in the non interacting and hard core bosonic limits, deriving explicit expressions for the dynamics of certain correlation functions, and numerically for finite interaction strengths using the time-dependent density-matrix renormalization (t-DMRG) approach. We can identify signatures of local relaxation that can be accessed experimentally with present technology. While the global system preserves the information about the initial condition, locally the system relaxes to the state having maximum entropy respecting the constraints of the initial condition. For finite interaction strengths and finite times, the relaxation dynamics contains signatures of the relaxation dynamics of both the non-interacting and hard core bosonic limits., Comment: 18 pages RevTex, 20 figures, final version (problem with figures resolved)

When locally exciting a quantum lattice model, the excitation will propagate through the lattice. The effect is responsible for a wealth of non-equilibrium phenomena, and has been exploited to transmit quantum information through spin chains. It is a commonly expressed belief that for local Hamiltonians, any such propagation happens at a finite "speed of sound". Indeed, the Lieb-Robinson theorem states that in spin models, all effects caused by a perturbation are limited to a causal cone defined by a constant speed, up to exponentially small corrections. In this work we show that for translationally invariant bosonic models with nearest-neighbor interactions, this belief is incorrect: We prove that one can encounter excitations which accelerate under the natural dynamics of the lattice and allow for reliable transmission of information faster than any finite speed of sound. The effect is only limited by the model's range of validity (eventually by relativity). It also implies that in non-equilibrium dynamics of strongly correlated bosonic models far-away regions may become quickly entangled, suggesting that their simulation may be much harder than that of spin chains even in the low energy sector., Comment: 4+3 pages, 1 figure, some material added, typographic error fixed

Measurement connects the world of quantum phenomena to the world of classical events. It plays both a passive role, observing quantum systems, and an active one, preparing quantum states and controlling them. Surprisingly - in the light of the central status of measurement in quantum mechanics - there is no general recipe for designing a detector that measures a given observable. Compounding this, the characterization of existing detectors is typically based on partial calibrations or elaborate models. Thus, experimental specification (i.e. tomography) of a detector is of fundamental and practical importance. Here, we present the realization of quantum detector tomography: we identify the optimal positive-operator-valued measure describing the detector, with no ancillary assumptions. This result completes the triad, state, process, and detector tomography, required to fully specify an experiment. We characterize an avalanche photodiode and a photon number resolving detector capable of detecting up to eight photons. This creates a new set of tools for accurately detecting and preparing non-classical light., Comment: 6 pages, 4 figures,see video abstract at http://www.quantiki.org/video_abstracts/08072444

We establish a setting - atoms in optical superlattices with period 2 - in which one can experimentally probe signatures of the process of local relaxation and apparent thermalization in non-equilibrium dynamics without the need of addressing single sites. This opens up a way to explore the convergence of subsystems to maximum entropy states in quenched quantum many-body systems with present technology. Remarkably, the emergence of thermal states does not follow from a coupling to an environment, but is a result of the complex non-equilibrium dynamics in closed systems. We explore ways of measuring the relevant signatures of thermalization in this analogue quantum simulation of a relaxation process, exploiting the possibilities offered by optical superlattices., Comment: 4 pages, 3 figures, version to published in Physical Review Letters

A complete analysis of multi-mode bosonic Gaussian channels is proposed. We clarify the structure of unitary dilations of general Gaussian channels involving any number of bosonic modes and present a normal form. The maximum number of auxiliary modes that is needed is identified, including all rank deficient cases, and the specific role of additive classical noise is highlighted. By using this analysis, we derive a canonical matrix form of the noisy evolution of n-mode bosonic Gaussian channels and of their weak complementary counterparts, based on a recent generalization of the normal mode decomposition for non-symmetric or locality constrained situations. It allows us to simplify the weak-degradability classification. Moreover, we investigate the structure of some singular multi-mode channels, like the additive classical noise channel that can be used to decompose a noisy channel in terms of a less noisy one in order to find new sets of maps with zero quantum capacity. Finally, the two-mode case is analyzed in detail. By exploiting the composition rules of two-mode maps and the fact that anti-degradable channels cannot be used to transfer quantum information, we identify sets of two-mode bosonic channels with zero capacity., Comment: 37 pages, 3 figures (minor editing), accepted for publication in New Journal of Physics

The Lieb-Robinson theorem states that locality is approximately preserved in the dynamics of quantum lattice systems. Whenever one has finite-dimensional constituents, observables evolving in time under a local Hamiltonian will essentially grow linearly in their support, up to exponentially suppressed corrections. In this work, we formulate Lieb-Robinson bounds for general harmonic systems on general lattices, for which the constituents are infinite-dimensional, as systems representing discrete versions of free fields or the harmonic approximation to the Bose-Hubbard model. We consider both local interactions as well as infinite-ranged interactions, showing how corrections to locality are inherited from the locality of the Hamiltonian: Local interactions result in stronger than exponentially suppressed corrections, while non-local algebraic interactions result in algebraic suppression. We derive bounds for canonical operators, Weyl operators and outline generalization to arbitrary operators. As an example, we discuss the Klein-Gordon field, and see how the approximate locality in the lattice model becomes the exact causality in the field limit. We discuss the applicability of these results to quenched lattice systems far from equilibrium, and the dynamics of quantum phase transitions., Comment: 19 pages latex, contribution to proceedings of "Quantum Information and Many-Body Quantum Systems" Workshop, 26-31 Mar 2007, Pisa. (v2) minor changes

We introduce a class of variational states to describe quantum many-body systems. This class generalizes matrix product states which underly the density-matrix renormalization group approach by combining them with weighted graph states. States within this class may (i) possess arbitrarily long-ranged two-point correlations, (ii) exhibit an arbitrary degree of block entanglement entropy up to a volume law, (iii) may be taken translationally invariant, while at the same time (iv) local properties and two-point correlations can be computed efficiently. This new variational class of states can be thought of as being prepared from matrix product states, followed by commuting unitaries on arbitrary constituents, hence truly generalizing both matrix product and weighted graph states. We use this class of states to formulate a renormalization algorithm with graph enhancement (RAGE) and present numerical examples demonstrating that improvements over density-matrix renormalization group simulations can be achieved in the simulation of ground states and quantum algorithms. Further generalizations, e.g., to higher spatial dimensions, are outlined., Comment: 4 pages, 1 figure

This article is a draft of a book chapter of the book entitled "Quantum Percolation and Breakdown", to appear 2008., Comment: Invited book chapter, "Quantum Percolation and Breakdown", Lecture Notes in Physics (Springer, Heidelberg, 2008). Also contains longer version of proof of main statement of quant-ph/0611140

We investigate what a snapshot of a quantum evolution - a quantum channel reflecting open system dynamics - reveals about the underlying continuous time evolution. Remarkably, from such a snapshot, and without imposing additional assumptions, it can be decided whether or not a channel is consistent with a time (in)dependent Markovian evolution, for which we provide computable necessary and sufficient criteria. Based on these, a computable measure of `Markovianity' is introduced. We discuss how the consistency with Markovian dynamics can be checked in quantum process tomography. The results also clarify the geometry of the set of quantum channels with respect to being solutions of time (in)dependent master equations., Comment: 5 pages, RevTex, 2 figures. (Except from typesetting) version to be published in the Physical Review Letters

We present a simple way to quantize the well-known Margulis expander map. The result is a quantum expander which acts on discrete Wigner functions in the same way the classical Margulis expander acts on probability distributions. The quantum version shares all essential properties of the classical counterpart, e.g., it has the same degree and spectrum. Unlike previous constructions of quantum expanders, our method does not rely on non-Abelian harmonic analysis. Analogues for continuous variable systems are mentioned. Indeed, the construction seems one of the few instances where applications based on discrete and continuous phase space methods can be developed in complete analogy., Comment: 12 pages, 1 figure. Slightly expanded, material on phase space methods added, reference to arXiv:0709.1142 appended, replaced with published version

Mixtures of bosonic and fermionic atoms in optical lattices provide a promising arena to study strongly correlated systems. In experiments realizing such mixtures in the quantum degenerate regime the temperature is a key parameter. In this work, we investigate the intrinsic heating and cooling effects due to an entropy-preserving raising of the optical lattice potential. We analyze this process, identify the generic behavior valid for a wide range of parameters, and discuss it quantitatively for the recent experiments with 87Rb and 40K atoms. In the absence of a lattice, we treat the bosons in the Hartree-Fock-Bogoliubov-Popov-approximation, including the fermions in a self-consistent mean field interaction. In the presence of the full three-dimensional lattice, we use a strong coupling expansion. As a result of the presence of the fermions, the temperature of the mixture after the lattice ramp-up is always higher than for the pure bosonic case. This sheds light onto a key point in the analysis of recent experiments., Comment: 5 pages, 3 figures

We introduce novel schemes for quantum computing based on local measurements on entangled resource states. This work elaborates on the framework established in [Phys. Rev. Lett. 98, 220503 (2007), quant-ph/0609149]. Our method makes use of tools from many-body physics - matrix product states, finitely correlated states or projected entangled pairs states - to show how measurements on entangled states can be viewed as processing quantum information. This work hence constitutes an instance where a quantum information problem - how to realize quantum computation - was approached using tools from many-body theory and not vice versa. We give a more detailed description of the setting, and present a large number of new examples. We find novel computational schemes, which differ from the original one-way computer for example in the way the randomness of measurement outcomes is handled. Also, schemes are presented where the logical qubits are no longer strictly localized on the resource state. Notably, we find a great flexibility in the properties of the universal resource states: They may for example exhibit non-vanishing long-range correlation functions or be locally arbitrarily close to a pure state. We discuss variants of Kitaev's toric code states as universal resources, and contrast this with situations where they can be efficiently classically simulated. This framework opens up a way of thinking of tailoring resource states to specific physical systems, such as cold atoms in optical lattices or linear optical systems., Comment: 21 pages, 7 figures

Invited contribution to "Quantum Aspects of Life", D. Abbott Ed. (World Scientific, Singapore, 2007)., Comment: 15 pages, minor typographical errors corrected

The quantum marginal problem asks what local spectra are consistent with a given spectrum of a joint state of a composite quantum system. This setting, also referred to as the question of the compatibility of local spectra, has several applications in quantum information theory. Here, we introduce the analogue of this statement for Gaussian states for any number of modes, and solve it in generality, for pure and mixed states, both concerning necessary and sufficient conditions. Formally, our result can be viewed as an analogue of the Sing-Thompson Theorem (respectively Horn's Lemma), characterizing the relationship between main diagonal elements and singular values of a complex matrix: We find necessary and sufficient conditions for vectors (d1, ..., dn) and (c1, ..., cn) to be the symplectic eigenvalues and symplectic main diagonal elements of a strictly positive real matrix, respectively. More physically speaking, this result determines what local temperatures or entropies are consistent with a pure or mixed Gaussian state of several modes. We find that this result implies a solution to the problem of sharing of entanglement in pure Gaussian states and allows for estimating the global entropy of non-Gaussian states based on local measurements. Implications to the actual preparation of multi-mode continuous-variable entangled states are discussed. We compare the findings with the marginal problem for qubits, the solution of which for pure states has a strikingly similar and in fact simple form., Comment: 18 pages, 1 figure, material added, references updated, except from figure identical with version to appear in Commun. Math. Phys

A reasonable physical intuition in the study of interacting quantum systems says that, independent of the initial state, the system will tend to equilibrate. In this work we study a setting where relaxation to a steady state is exact, namely for the Bose-Hubbard model where the system is quenched from a Mott quantum phase to the strong superfluid regime. We find that the evolving state locally relaxes to a steady state with maximum entropy constrained by second moments, maximizing the entanglement, to a state which is different from the thermal state of the new Hamiltonian. Remarkably, in the infinite system limit this relaxation is true for all large times, and no time average is necessary. For large but finite system size we give a time interval for which the system locally "looks relaxed" up to a prescribed error. Our argument includes a central limit theorem for harmonic systems and exploits the finite speed of sound. Additionally, we show that for all periodic initial configurations, reminiscent of charge density waves, the system relaxes locally. We sketch experimentally accessible signatures in optical lattices as well as implications for the foundations of quantum statistical mechanics., Comment: 8 pages, 3 figures, replaced with final version

Several physical architectures allow for measurement-based quantum computing using sequential preparation of cluster states by means of probabilistic quantum gates. In such an approach, the order in which partial resources are combined to form the final cluster state turns out to be crucially important. We determine the influence of this classical decision process on the expected size of the final cluster. Extending earlier work, we consider different quantum gates operating at various probabilites of success. For finite resources, we employ a computer algebra system to obtain the provably optimal classical control strategy and derive symbolic results for the expected final size of the cluster. We identify two regimes: When the success probability of the elementary gates is high, the influence of the classical control strategy is found to be negligible. In that case, other figures of merit become more relevant. In contrast, for small probabilities of success, the choice of an appropriate strategy is crucial., Comment: 7 pages, 9 figures, contribution to special issue of New J. Phys. on "Measurement-Based Quantum Information Processing". Replaced with published version

We introduce schemes for linear-optical quantum state generation. A quantum state generator is a device that prepares a desired quantum state using product inputs from photon sources, linear-optical networks, and postselection using photon counters. We show that this device can be concisely described in terms of polynomial equations and unitary constraints. We illustrate the power of this language by applying the Grobner-basis technique along with the notion of vacuum extensions to solve the problem of how to construct a quantum state generator analytically for any desired state, and use methods of convex optimization to identify bounds to success probabilities. In particular, we disprove a conjecture concerning the preparation of the maximally path-entangled |n,0)+|0,n) (NOON) state by providing a counterexample using these methods, and we derive a new upper bound on the resources required for NOON-state generation., Comment: 5 pages, 2 figures

We propose a unifying approach to the separability problem using covariance matrices of locally measurable observables. From a practical point of view, our approach leads to strong entanglement criteria that allow to detect the entanglement of many bound entangled states in higher dimensions and which are at the same time necessary and sufficient for two qubits. From a fundamental perspective, our approach leads to insights into the relations between several known entanglement criteria -- such as the computable cross norm and local uncertainty criteria -- as well as their limitations., Comment: 4 pages, no figures; v3: final version to appear in PRL

The entanglement entropy of a distinguished region of a quantum many-body system reflects the entanglement present in its pure ground state. In this work, we establish scaling laws for this entanglement for critical quasi-free fermionic and bosonic lattice systems, without resorting to numerical means. We consider the geometrical setting of D-dimensional half-spaces which allows us to exploit a connection to the one-dimensional case. Intriguingly, we find a difference in the scaling properties depending on whether the system is bosonic - where an area-law is first proven to hold - or fermionic, extending previous findings for cubic regions. For bosonic systems with nearest neighbor interaction we prove the conjectured area-law by computing the logarithmic negativity analytically. We identify a length scale associated with entanglement, different from the correlation length. For fermions we determine the logarithmic correction to the area-law, which depends on the topology of the Fermi surface. We find that Lifshitz quantum phase transitions are accompanied with a non-analyticity in the prefactor of the leading order term., Comment: 4 pages, 1 figure (essentially identical with published version)

We apply a notion of static renormalization to the preparation of entangled states for quantum computing, exploiting ideas from percolation theory. Such a strategy yields a novel way to cope with the randomness of non-deterministic quantum gates. This is most relevant in the context of optical architectures, where probabilistic gates are common, and cold atoms in optical lattices, where hole defects occur. We demonstrate how to efficiently construct cluster states without the need for rerouting, thereby avoiding a massive amount of conditional dynamics; we furthermore show that except for a single layer of gates during the preparation, all subsequent operations can be shifted to the final adapted single qubit measurements. Remarkably, cluster state preparation is achieved using essentially the same scaling in resources as if deterministic gates were available., Comment: 5 pages, 4 figures, discussion of strategies to deal with further imperfections extended, references updated

We clarify the mathematical structure underlying unitary $t$-designs. These are sets of unitary matrices, evenly distributed in the sense that the average of any $t$-th order polynomial over the design equals the average over the entire unitary group. We present a simple necessary and sufficient criterion for deciding if a set of matrices constitutes a design. Lower bounds for the number of elements of 2-designs are derived. We show how to turn mutually unbiased bases into approximate 2-designs whose cardinality is optimal in leading order. Designs of higher order are discussed and an example of a unitary 5-design is presented. We comment on the relation between unitary and spherical designs and outline methods for finding designs numerically or by searching character tables of finite groups. Further, we sketch connections to problems in linear optics and questions regarding typical entanglement., Comment: 15 pages, one figure. Minor revisions to mirror version to appear in J. Math. Phys

This thesis covers several aspects of entanglement in the context of quantum information theory., Comment: 153 pages, 30 figures. An ancient PhD thesis, covering the time period April 1998 - December 2000. On quant-ph/9806088, quant-ph/9807034, quant-ph/9907021, quant-ph/9912080, quant-ph/0004076, quant-ph/0005101, quant-ph/0007081, quant-ph/0103096, quant-ph/0212007. Some material has only been published here (such as a more detailed discussion of entanglement loss under twirling with respect to the symmetric group as encountered in symmetric group superselection rules, an early independent proof that the negativity is an entanglement monotone and hence a proper measure of entanglement, discussions of entanglement transformations, catalysis, and non-local gates in distributed quantum computation, and some review material)

We describe a scheme showing signatures of macroscopic optomechanical entanglement generated by radiation pressure in a cavity system with a massive movable mirror. The system we consider reveals genuine multipartite entanglement. We highlight the way the entanglement involving the inaccessible massive object is unravelled, in our scheme, by means of field-field quantum correlations., Comment: 4 pages, 5 figure, RevTeX4

We establish a framework which allows one to construct novel schemes for measurement-based quantum computation. The technique further develops tools from many-body physics - based on finitely correlated or projected entangled pair states - to go beyond the cluster-state based one-way computer. We identify resource states that are radically different from the cluster state, in that they exhibit non-vanishing correlation functions, can partly be prepared using gates with non-maximal entangling power, or have very different local entanglement properties. In the computational models, the randomness is compensated in a different manner. It is shown that there exist resource states which are locally arbitrarily close to a pure state. Finally, we comment on the possibility of tailoring computational models to specific physical systems as, e.g. cold atoms in optical lattices., Comment: 5 pages RevTeX, 1 figure, many diagrams. Title changed, presentation improved, material added

The density matrix renormalization group (DMRG) approach is arguably the most successful method to numerically find ground states of quantum spin chains. It amounts to iteratively locally optimizing matrix-product states, aiming at better and better approximating the true ground state. To date, both a proof of convergence to the globally best approximation and an assessment of its complexity are lacking. Here we establish a result on the computational complexity of an approximation with matrix-product states: The surprising result is that when one globally optimizes over several sites of local Hamiltonians, avoiding local optima, one encounters in the worst case a computationally difficult NP-hard problem (hard even in approximation). The proof exploits a novel way of relating it to binary quadratic programming. We discuss intriguing ramifications on the difficulty of describing quantum many-body systems., Comment: 5 pages, 1 figure, RevTeX, final version

We establish bounds to the necessary resource consumption when building up cluster states for one-way computing using probabilistic gates. Emphasis is put on state preparation with linear optical gates, as the probabilistic character is unavoidable here. We identify rigorous general bounds to the necessary consumption of initially available maximally entangled pairs when building up one-dimensional cluster states with individually acting linear optical quantum gates, entangled pairs and vacuum modes. As the known linear optics gates have a limited maximum success probability, as we show, this amounts to finding the optimal classical strategy of fusing pieces of linear cluster states. A formal notion of classical configurations and strategies is introduced for probabilistic non-faulty gates. We study the asymptotic performance of strategies that can be simply described, and prove ultimate bounds to the performance of the globally optimal strategy. The arguments employ methods of random walks and convex optimization. This optimal strategy is also the one that requires the shortest storage time, and necessitates the fewest invocations of probabilistic gates. For two-dimensional cluster states, we find, for any elementary success probability, an essentially deterministic preparation of a cluster state with quadratic, hence optimal, asymptotic scaling in the use of entangled pairs. We also identify a percolation effect in state preparation, in that from a threshold probability on, almost all preparations will be either successful or fail. We outline the implications on linear optical architectures and fault-tolerant computations., Comment: 18 pages, 10 figures, replaced with published version

Entanglement distillation aims at preparing highly entangled states out of a supply of weakly entangled pairs, using local devices and classical communication only. In this note we discuss the experimentally feasible schemes for optical continuous-variable entanglement distillation that have been presented in [D.E. Browne, J. Eisert, S. Scheel, and M.B. Plenio, Phys. Rev. A 67, 062320 (2003)] and [J. Eisert, D.E. Browne, S. Scheel, and M.B. Plenio, Annals of Physics (NY) 311, 431 (2004)]. We emphasize their versatility in particular with regards to the detection process and discuss the merits of the two proposed detection schemes, namely photo-detection and homodyne detection, in the light of experimental realizations of this idea becoming more and more feasible., Comment: 5 pages, 5 figures, contribution to conference proceedings

Graph states form a rich class of entangled states that exhibit important aspects of multi-partite entanglement. At the same time, they can be described by a number of parameters that grows only moderately with the system size. They have a variety of applications in quantum information theory, most prominently as algorithmic resources in the context of the one-way quantum computer, but also in other fields such as quantum error correction and multi-partite quantum communication, as well as in the study of foundational issues such as non-locality and decoherence. In this review, we give a tutorial introduction into the theory of graph states. We introduce various equivalent ways how to define graph states, and discuss the basic notions and properties of these states. The focus of this review is on their entanglement properties. These include aspects of non-locality, bi-partite and multi-partite entanglement and its classification in terms of the Schmidt measure, the distillability properties of mixed entangled states close to a pure graph state, as well as the robustness of their entanglement under decoherence. We review some of the known applications of graph states, as well as proposals for their experimental implementation., Comment: 99 pages, 24 figures, 5 tables, LaTeX. To appear in the Proceedings of the International School of Physics "Enrico Fermi" on "Quantum Computers, Algorithms and Chaos", Varenna, Italy, July, 2005

We address the question of how many maximally entangled photon pairs are needed in order to build up cluster states for quantum computing using the toolbox of linear optics. As the needed gates in dual-rail encoding are necessarily probabilistic with known optimal success probability, this question amounts to finding the optimal strategy for building up cluster states, from the perspective of classical control. We develop a notion of classical strategies, and present rigorous statements on the ultimate maximal and minimal use of resources of the globally optimal strategy. We find that this strategy - being also the most robust with respect to decoherence - gives rise to an advantage of already more than an order of magnitude in the number of maximally entangled pairs when building chains with an expected length of L=40, compared to other legitimate strategies. For two-dimensional cluster states, we present a first scheme achieving the optimal quadratic asymptotic scaling. This analysis shows that the choice of appropriate classical control leads to a very significant reduction in resource consumption., Comment: 5 pages, 2 figures, title changed, presentation improved, bounds improved, minor errors corrected, references updated

This paper is concerned with all tests for continuous-variable entanglement that arise from linear combinations of second moments or variances of canonical coordinates, as they are commonly used in experiments to detect entanglement. All such tests for bi-partite and multi-partite entanglement correspond to hyperplanes in the set of second moments. It is shown that all optimal tests, those that are most robust against imperfections with respect to some figure of merit for a given state, can be constructed from solutions to semi-definite optimization problems. Moreover, we show that for each such test, referred to as entanglement witness based on second moments, there is a one-to-one correspondence between the witness and a stronger product criterion, which amounts to a non-linear witness, based on the same measurements. This generalizes the known product criteria. The presented tests are all applicable also to non-Gaussian states. To provide a service to the community, we present the documentation of two numerical routines, FULLYWIT and MULTIWIT, which have been made publicly available., Comment: 14 pages LaTeX, 1 figure, presentation improved, references updated

We investigate the relationship between the gap between the energy of the ground state and the first excited state and the decay of correlation functions in harmonic lattice systems. We prove that in gapped systems, the exponential decay of correlations follows for both the ground state and thermal states. Considering the converse direction, we show that an energy gap can follow from algebraic decay and always does for exponential decay. The underlying lattices are described as general graphs of not necessarily integer dimension, including translationally invariant instances of cubic lattices as special cases. Any local quadratic couplings in position and momentum coordinates are allowed for, leading to quasi-free (Gaussian) ground states. We make use of methods of deriving bounds to matrix functions of banded matrices corresponding to local interactions on general graphs. Finally, we give an explicit entanglement-area relationship in terms of the energy gap for arbitrary, not necessarily contiguous regions on lattices characterized by general graphs., Comment: 26 pages, LaTeX, published version (figure added)