55 research outputs found
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
The thermodynamic meaning of negative entropy
Landauer's erasure principle exposes an intrinsic relation between
thermodynamics and information theory: the erasure of information stored in a
system, S, requires an amount of work proportional to the entropy of that
system. This entropy, H(S|O), depends on the information that a given observer,
O, has about S, and the work necessary to erase a system may therefore vary for
different observers. Here, we consider a general setting where the information
held by the observer may be quantum-mechanical, and show that an amount of work
proportional to H(S|O) is still sufficient to erase S. Since the entropy H(S|O)
can now become negative, erasing a system can result in a net gain of work (and
a corresponding cooling of the environment).Comment: Added clarification on non-cyclic erasure and reversible computation
(Appendix E). For a new version of all technical proofs see the Supplementary
Information of the journal version (free access
Description of quantum coherence in thermodynamic processes requires constraints beyond free energy
Recent studies have developed fundamental limitations on nanoscale thermodynamics, in terms of a set of independent free energy relations. Here we show that free energy relations cannot properly describe quantum coherence in thermodynamic processes. By casting time-asymmetry as a quantifiable, fundamental resource of a quantum state, we arrive at an additional, independent set of thermodynamic constraints that naturally extend the existing ones. These asymmetry relations reveal that the traditional Szilárd engine argument does not extend automatically to quantum coherences, but instead only relational coherences in a multipartite scenario can contribute to thermodynamic work. We find that coherence transformations are always irreversible. Our results also reveal additional structural parallels between thermodynamics and the theory of entanglement
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
- …