Abstract

Suppose that several parties jointly possess a pure multipartite state, |ψ⟩. Using local operations on their respective systems and classical communication (i.e. LOCC), it may be possible for the parties to transform deterministically |ψ⟩ into another joint state |ϕ⟩. In the bipartite case, the Nielsen majorization theorem gives the necessary and sufficient conditions for this process of entanglement transformation to be possible. In the multipartite case, such a deterministic local transformation is possible only if both the states are in the same stochastic LOCC (SLOCC) class. Here, we generalize the Nielsen majorization theorem to the multipartite case, and find necessary and sufficient conditions for the existence of a local separable transformation between two multipartite states in the same SLOCC class. When such a deterministic conversion is not possible, we find an expression for the maximum probability to convert one state to another by local separable operations. In addition, we find necessary and sufficient conditions for the existence of a separable transformation that converts a multipartite pure state into one of a set of possible final states all in the same SLOCC class. Our results are expressed in terms of (i) the stabilizer group of the state representing the SLOCC orbit and (ii) the associate density matrices (ADMs) of the two multipartite states. The ADMs play a similar role to that of the reduced density matrices when considering local transformations that involve pure bipartite states. We show, in particular, that the requirement that one ADM majorizes another is a necessary condition but is, in general, far from also being sufficient as it happens in the bipartite case. In most of the results the twirling operation with respect to the stabilizer group (of the representative state in the SLOCC orbit) plays an important role that provides a deep link between entanglement theory and the resource theory of reference frames.

Highlights

  • Every restriction on quantum operations defines a resource theory, determining how quantum states that cannot be prepared under the restriction may be manipulated and used to circumvent the restriction

  • For each stochastic local operations and classical communication (SLOCC) class we show that there is a natural state that can be chosen to represent the class, and use the stabilizer group of this state to present our results

  • The main results of this paper are expressed in terms of the stabilizer group of the state representing the SLOCC orbit, and the multipartite generalization of the reduced density matrices, which we call the associate density matrices (ADMs)

Read more

Summary

INTRODUCTION

Every restriction on quantum operations defines a resource theory, determining how quantum states that cannot be prepared under the restriction may be manipulated and used to circumvent the restriction. A fundamental problem in quantum information is, to characterize all possible deterministic LOCC transformations among states in the same SLOCC class. One of the several difficulties encountered in the effort to solve this problem, is the non-elegant mathematical description of (the operationally motivated) LOCC protocols in composite quantum systems consisting of more than two parties This difficulty has been avoided in the literature by considering a larger set of transformations, such as the positive partial transpose preserving operations [16], or the non-entangling operations in [17]. We generalize our results to include necessary and sufficient conditions for the existence of a separable transformation that converts a multipartite pure state into one of a set of possible final states all in the same SLOCC class.

PRELIMINARIES
The Critical Set
THE STABILIZER GROUP
The Stabilizer Twirling Operation
SL- Invariant Polynomials
THE ASSOCIATE DENSITY MATRIX
MAIN RESULTS
Generalization of Nielsen Majorization Theorem to Multipartite states
Non Deterministic Transformations
Probabilities
General formula for Pmax
A simple formula for states with unitary stabilizer
Lower and Upper bounds
A Lower Bound
Infinite Stabilizer Group
EXAMPLES
The Bipartite Case
Four qubits
Three Qubits
CONCLUSIONS
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.