Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1409.8217 · Physical Review A

Interconversion of pure Gaussian states requiring non-Gaussian operations

Michael G. Jabbour, Raúl García−Patrón, Nicolas J. Cerf

Published Jan 12, 2015• 9 citations
arXivHTMLPDF

Abstract

We analyze the conditions under which local operations and classical communication enable entanglement transformations within the set of bipartite pure Gaussian states. A set of necessary and sufficient conditions had been found in [Quant. Inf. Comp. 3, 211 (2003)] for the interconversion between such states that is restricted to Gaussian local operations and classical communication. Here, we exploit majorization theory in order to derive more general (sufficient) conditions for the interconversion between bipartite pure Gaussian states that goes beyond Gaussian local operations. While our technique is applicable to an arbitrary number of modes for each party, it allows us to exhibit surprisingly simple examples of 2 x 2 Gaussian states that necessarily require non-Gaussian local operations to be transformed into each other.

DOI
10.1103/physreva.91.012316

Related papers

Gaussian local unitary equivalence of n -mode Gaussian states and Gaussian transformations by local operations with classical communication

G. Giedke, Barbara Kraus

We derive necessary and sufficient conditions for arbitrary multimode (pure or mixed) Gaussian states to be equivalent under Gaussian local unitary operations. To do so, we introduce a standard form for Gaussian states, which has the properties that (i) every state can be transformed into its standard form via Gaussian local unitaries and (ii) it is unique and (iii) it can be easily computed. Thus, two states are equivalent under Gaussian local unitaries if and only if their standard forms coincide. We explicitly derive the standard form for two- and three-mode Gaussian pure states. We then investigate transformations between these classes by means of Gaussian local operations assisted by classical communication. For three-mode pure states, we identify a global property that cannot be created but only destroyed by local operations. This implies that the highly entangled family of symmetric three-mode Gaussian states is not sufficient to generate all three-mode Gaussian states by local Gaussian operations.

arXiv:1311.0509•Physical Review A•Jan 30, 2014•13 citations

Conditions for local transformations between sets of quantum states

Somshubhro Bandyopadhyay, Saronath Halder, Ritabrata Sengupta

We study the problem of transforming a set of pure bipartite states into another using deterministic LOCC (local operations and classical communication). Necessary conditions for the existence of such a transformation are obtained using LOCC constraints on state transformation, entanglement, and distinguishability. These conditions are shown to be independent but not sufficient. We discuss their satisfiability and classify all possible input-output pairs of sets accordingly. We also prove that strict inclusions hold between LOCC, separable, and positive partial transpose operations for set transformation problems.

arXiv:2204.08821•Physical Review A•Jun 23, 2022•0 citations

Necessary and sufficient conditions for local manipulation of multipartite pure quantum states

Gilad Gour, Nolan R Wallach

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.

arXiv:1103.5096•New Journal of Physics•Jul 11, 2011•54 citations

Multipartite Entanglement Theory With Entanglement-Nonincreasing Operations

Alexander Streltsov

A key problem in quantum information science is to determine optimal protocols for the interconversion of entangled states shared between remote parties. While for two parties a large number of results in this direction is available, the multipartite setting still remains a major challenge. In this article, this problem is addressed by extending the resource theory of entanglement for multipartite systems beyond the standard framework of local operations and classical communication. Specifically, we consider transformations capable of introducing a small, controllable increase of entanglement of a state, with the requirement that the increase can be made arbitrarily small. We demonstrate that in this adjusted framework, the transformation rates between multipartite states are fundamentally dictated by the bipartite entanglement entropies of the respective quantum states. Remarkably, this approach allows the reduction of tripartite entanglement to its bipartite analog, indicating that every pure tripartite state can be reversibly synthesized from a suitable number of singlets distributed between pairs of parties.

arXiv:2305.18999•IEEE Transactions on Information Theory•Jan 9, 2025•2 citations

Entanglement manipulation of multipartite pure states with finite rounds of classical communication

Julio I. de Vicente, Cornelia Spee, David Sauerwein +1 more

We studied pure state transformations using local operations assisted by finitely many rounds of classical communication (${\text{LOCC}}_{I\phantom{\rule{-0.30em}{0ex}}N}$) [C. Spee, J. I. de Vicente, D. Sauerwein, and B. Kraus [Phys. Rev. Lett. (to be published)], arXiv:1606.04418]. Here, we present the details of some of the proofs and generalize the construction of examples of state transformations via ${\text{LOCC}}_{I\phantom{\rule{-0.30em}{0ex}}N}$ which require a probabilistic step. However, we also present explicit examples of SLOCC classes where any separable transformation can be realized by a protocol in which each step is deterministic (all-det-${\text{LOCC}}_{I\phantom{\rule{-0.30em}{0ex}}N}$). Such transformations can be considered as natural generalizations of bipartite transformations. Furthermore, we provide examples of pure state transformations which are possible via separable transformations, but not via ${\text{LOCC}}_{I\phantom{\rule{-0.30em}{0ex}}N}$. We also analyze an interesting genuinely multipartite effect which we call locking or unlocking the power of other parties. This means that one party can prevent or enable the implementation of LOCC transformations by other parties. Moreover, we investigate the maximally entangled set restricted to ${\text{LOCC}}_{I\phantom{\rule{-0.30em}{0ex}}N}$ and show how easily computable bounds on some entanglement measures can be derived by restricting to ${\text{LOCC}}_{I\phantom{\rule{-0.30em}{0ex}}N}$.

arXiv:1607.05145•Physical Review A•Jan 23, 2017•53 citations

Incoherent Gaussian equivalence of m -mode Gaussian states

Shuanping Du, Zhaofang Bai

Necessary and sufficient conditions for arbitrary multimode (pure or mixed) Gaussian states to be equivalent under incoherent Gaussian operations are derived. We show that two Gaussian states are incoherent equivalence if and only if they are related by incoherent unitaries. This builds the counterpart of the celebrated result that two pure entangled states are equivalent under local operations and classical communication (LOCC) if and only if they are related by local unitaries. Furthermore, incoherent equivalence of Gaussian states is equivalent to frozen coherence [Phys. Rev. Lett. 114, 210401 (2015)]. Basing this as foundation, we find all measures of coherence are frozen for an initial Gaussian state under strongly incoherent Gaussian operations if and only if the relative entropy measure of coherence is frozen for the state. This gives an entropy-based dynamical condition in which the coherence of an open quantum system is totally unaffected by noise.

arXiv:2206.12831•Physical Review A•Jan 5, 2023•5 citations
We analyze the conditions under which local operations and classical communication enable entanglement transformations within the set of bipartite pure Gaussian states. A set of necessary and sufficient conditions had been found in [Quant. Inf. Comp. 3, 211 (2003)] for the interconversion between such states that is restricted to Gaussian local operations and classical communication. Here, we exploit majorization theory in order to derive more general (sufficient) conditions for the interconversion between bipartite pure Gaussian states that goes beyond Gaussian local operations. While our technique is applicable to an arbitrary number of modes for each party, it allows us to exhibit surprisingly simple examples of 2 x 2 Gaussian states that necessarily require non-Gaussian local operations to be transformed into each other.
We derive necessary and sufficient conditions for arbitrary multimode (pure or mixed) Gaussian states to be equivalent under Gaussian local unitary operations. To do so, we introduce a standard form for Gaussian states, which has the properties that (i) every state can be transformed into its standard form via Gaussian local unitaries and (ii) it is unique and (iii) it can be easily computed. Thus, two states are equivalent under Gaussian local unitaries if and only if their standard forms coincide. We explicitly derive the standard form for two- and three-mode Gaussian pure states. We then investigate transformations between these classes by means of Gaussian local operations assisted by classical communication. For three-mode pure states, we identify a global property that cannot be created but only destroyed by local operations. This implies that the highly entangled family of symmetric three-mode Gaussian states is not sufficient to generate all three-mode Gaussian states by local Gaussian operations.
We study the problem of transforming a set of pure bipartite states into another using deterministic LOCC (local operations and classical communication). Necessary conditions for the existence of such a transformation are obtained using LOCC constraints on state transformation, entanglement, and distinguishability. These conditions are shown to be independent but not sufficient. We discuss their satisfiability and classify all possible input-output pairs of sets accordingly. We also prove that strict inclusions hold between LOCC, separable, and positive partial transpose operations for set transformation problems.
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.
A key problem in quantum information science is to determine optimal protocols for the interconversion of entangled states shared between remote parties. While for two parties a large number of results in this direction is available, the multipartite setting still remains a major challenge. In this article, this problem is addressed by extending the resource theory of entanglement for multipartite systems beyond the standard framework of local operations and classical communication. Specifically, we consider transformations capable of introducing a small, controllable increase of entanglement of a state, with the requirement that the increase can be made arbitrarily small. We demonstrate that in this adjusted framework, the transformation rates between multipartite states are fundamentally dictated by the bipartite entanglement entropies of the respective quantum states. Remarkably, this approach allows the reduction of tripartite entanglement to its bipartite analog, indicating that every pure tripartite state can be reversibly synthesized from a suitable number of singlets distributed between pairs of parties.
We studied pure state transformations using local operations assisted by finitely many rounds of classical communication (LOCCIN{\text{LOCC}}_{I\phantom{\rule{-0.30em}{0ex}}N}LOCCIN​) [C. Spee, J. I. de Vicente, D. Sauerwein, and B. Kraus [Phys. Rev. Lett. (to be published)], arXiv:1606.04418]. Here, we present the details of some of the proofs and generalize the construction of examples of state transformations via LOCCIN{\text{LOCC}}_{I\phantom{\rule{-0.30em}{0ex}}N}LOCCIN​ which require a probabilistic step. However, we also present explicit examples of SLOCC classes where any separable transformation can be realized by a protocol in which each step is deterministic (all-det-LOCCIN{\text{LOCC}}_{I\phantom{\rule{-0.30em}{0ex}}N}LOCCIN​). Such transformations can be considered as natural generalizations of bipartite transformations. Furthermore, we provide examples of pure state transformations which are possible via separable transformations, but not via LOCCIN{\text{LOCC}}_{I\phantom{\rule{-0.30em}{0ex}}N}LOCCIN​. We also analyze an interesting genuinely multipartite effect which we call locking or unlocking the power of other parties. This means that one party can prevent or enable the implementation of LOCC transformations by other parties. Moreover, we investigate the maximally entangled set restricted to LOCCIN{\text{LOCC}}_{I\phantom{\rule{-0.30em}{0ex}}N}LOCCIN​ and show how easily computable bounds on some entanglement measures can be derived by restricting to LOCCIN{\text{LOCC}}_{I\phantom{\rule{-0.30em}{0ex}}N}LOCCIN​.
Necessary and sufficient conditions for arbitrary multimode (pure or mixed) Gaussian states to be equivalent under incoherent Gaussian operations are derived. We show that two Gaussian states are incoherent equivalence if and only if they are related by incoherent unitaries. This builds the counterpart of the celebrated result that two pure entangled states are equivalent under local operations and classical communication (LOCC) if and only if they are related by local unitaries. Furthermore, incoherent equivalence of Gaussian states is equivalent to frozen coherence [Phys. Rev. Lett. 114, 210401 (2015)]. Basing this as foundation, we find all measures of coherence are frozen for an initial Gaussian state under strongly incoherent Gaussian operations if and only if the relative entropy measure of coherence is frozen for the state. This gives an entropy-based dynamical condition in which the coherence of an open quantum system is totally unaffected by noise.