Are the laws of entanglement theory thermodynamical?

We argue that on its face, entanglement theory satisfies laws equivalent to thermodynamics if the theory can be made reversible by adding certain bound entangled states as a free resource during entanglement manipulation. Subject to plausible assumptions, we prove that this is not the case in general, and discuss the implications of this for the thermodynamics of entanglement.Comment: 4 pages, 1 figure, Revtex4; to appear in Phys. Rev. Let

Quantum Measurements and Gates by Code Deformation

The usual scenario in fault tolerant quantum computation involves certain amount of qubits encoded in each code block, transversal operations between them and destructive measurements of ancillary code blocks. We introduce a new approach in which a single code layer is used for the entire computation, in particular a surface code. Qubits can be created, manipulated and non-destructively measured by code deformations that amount to `cut and paste' operations in the surface. All the interactions between qubits remain purely local in a two-dimensional setting.Comment: Revtex4, 6 figure

Classical information deficit and monotonicity on local operations

We investigate classical information deficit: a candidate for measure of classical correlations emerging from thermodynamical approach initiated in [Phys. Rev. Lett 89, 180402]. It is defined as a difference between amount of information that can be concentrated by use of LOCC and the information contained in subsystems. We show nonintuitive fact, that one way version of this quantity can increase under local operation, hence it does not possess property required for a good measure of classical correlations. Recently it was shown by Igor Devetak, that regularised version of this quantity is monotonic under LO. In this context, our result implies that regularization plays a role of "monotoniser".Comment: 6 pages, revte

Entanglement of distant flux qubits mediated by non-classical electromagnetic field

The mechanism for entanglement of two flux qubits each interacting with a single mode electromagnetic field is discussed. By performing a Bell state measurements (BSM) on photons we find the two qubits in an entangled state depending on the system parameters. We discuss the results for two initial states and take into consideration the influence of decoherence.Comment: 20 pages, 8 figure

Mapping all classical spin models to a lattice gauge theory

In our recent work [Phys. Rev. Lett. 102, 230502 (2009)] we showed that the partition function of all classical spin models, including all discrete standard statistical models and all Abelian discrete lattice gauge theories (LGTs), can be expressed as a special instance of the partition function of a 4-dimensional pure LGT with gauge group Z_2 (4D Z_2 LGT). This provides a unification of models with apparently very different features into a single complete model. The result uses an equality between the Hamilton function of any classical spin model and the Hamilton function of a model with all possible k-body Ising-type interactions, for all k, which we also prove. Here, we elaborate on the proof of the result, and we illustrate it by computing quantities of a specific model as a function of the partition function of the 4D Z_2 LGT. The result also allows one to establish a new method to compute the mean-field theory of Z_2 LGTs with d > 3, and to show that computing the partition function of the 4D Z_2 LGT is computationally hard (#P hard). The proof uses techniques from quantum information.Comment: 21 pages, 21 figures; published versio

On asymptotic continuity of functions of quantum states

A useful kind of continuity of quantum states functions in asymptotic regime is so-called asymptotic continuity. In this paper we provide general tools for checking if a function possesses this property. First we prove equivalence of asymptotic continuity with so-called it robustness under admixture. This allows us to show that relative entropy distance from a convex set including maximally mixed state is asymptotically continuous. Subsequently, we consider it arrowing - a way of building a new function out of a given one. The procedure originates from constructions of intrinsic information and entanglement of formation. We show that arrowing preserves asymptotic continuity for a class of functions (so-called subextensive ones). The result is illustrated by means of several examples.Comment: Minor corrections, version submitted for publicatio

Faithful Squashed Entanglement

Squashed entanglement is a measure for the entanglement of bipartite quantum states. In this paper we present a lower bound for squashed entanglement in terms of a distance to the set of separable states. This implies that squashed entanglement is faithful, that is, strictly positive if and only if the state is entangled. We derive the bound on squashed entanglement from a bound on quantum conditional mutual information, which is used to define squashed entanglement and corresponds to the amount by which strong subadditivity of von Neumann entropy fails to be saturated. Our result therefore sheds light on the structure of states that almost satisfy strong subadditivity with equality. The proof is based on two recent results from quantum information theory: the operational interpretation of the quantum mutual information as the optimal rate for state redistribution and the interpretation of the regularised relative entropy of entanglement as an error exponent in hypothesis testing. The distance to the set of separable states is measured by the one-way LOCC norm, an operationally-motivated norm giving the optimal probability of distinguishing two bipartite quantum states, each shared by two parties, using any protocol formed by local quantum operations and one-directional classical communication between the parties. A similar result for the Frobenius or Euclidean norm follows immediately. The result has two applications in complexity theory. The first is a quasipolynomial-time algorithm solving the weak membership problem for the set of separable states in one-way LOCC or Euclidean norm. The second concerns quantum Merlin-Arthur games. Here we show that multiple provers are not more powerful than a single prover when the verifier is restricted to one-way LOCC operations thereby providing a new characterisation of the complexity class QMA.Comment: 24 pages, 1 figure, 1 table. Due to an error in the published version, claims have been weakened from the LOCC norm to the one-way LOCC nor

Fundamental limitations for quantum and nano thermodynamics

The relationship between thermodynamics and statistical physics is valid in the thermodynamic limit - when the number of particles becomes very large. Here, we study thermodynamics in the opposite regime - at both the nano scale, and when quantum effects become important. Applying results from quantum information theory we construct a theory of thermodynamics in these limits. We derive general criteria for thermodynamical state transformations, and as special cases, find two free energies: one that quantifies the deterministically extractable work from a small system in contact with a heat bath, and the other that quantifies the reverse process. We find that there are fundamental limitations on work extraction from nonequilibrium states, owing to finite size effects and quantum coherences. This implies that thermodynamical transitions are generically irreversible at this scale. As one application of these methods, we analyse the efficiency of small heat engines and find that they are irreversible during the adiabatic stages of the cycle.Comment: Final, published versio

Complete positivity of nonlinear evolution: A case study

Simple Hartree-type equations lead to dynamics of a subsystem that is not completely positive in the sense accepted in mathematical literature. In the linear case this would imply that negative probabilities have to appear for some system that contains the subsystem in question. In the nonlinear case this does not happen because the mathematical definition is physically unfitting as shown on a concrete example.Comment: extended version, 3 appendices added (on mixed states, projection postulate, nonlocality), to be published in Phys. Rev.