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:2609.10984

Full Inseparability and Genuine Multipartite Entanglement Coincide for Finite-Mode Gaussian States

Yu Yang, Yuhang Wang, Chunxiao Du, Shikun Zhang, Zheng Qin, Rui Li, Wenxiu Li, Hao Zhang, Zhisong Xiao

quant-phSubmitted Sep 10, 2026• Announced Sep 11, 2026• 0 citations
arXivHTMLPDF

Abstract

For general mixed states, entanglement across every bipartition need not imply genuine multipartite entanglement (GME), because a biseparable decomposition may switch the separable cut from term to term. We prove that this convex ambiguity disappears for Gaussian states of finitely many bosonic modes. More generally, for any finite family of partitions, a Gaussian density operator in the trace-norm-closed convex class generated by states separable across those partitions is already separable across one fixed partition in the family. Only the target is Gaussian; a valid decomposition may be continuous and may contain arbitrary non-Gaussian states. Thus full inseparability and GME coincide, Gaussian k-separability and k-producibility reduce to fixed-partition tests, and party-wise tensor powers cannot activate GME from a biseparable Gaussian state. The proof combines a spectral selector with a holomorphic rigidity argument that converts one product vector in the square-root range of a Gaussian state into a block-local covariance certificate. The result shows that partition mixing, a generic mixed-state mechanism, adds no new exact finite-mode Gaussian states.

Related papers

Separability rigidity of Gaussian states under positive domination

Evgeny Shchukin, Peter van Loock

We prove a separability rigidity theorem for finite-mode Gaussian states. Let $ρ_G$ be Gaussian and let $\mathcal I$ be a fixed partition of the modes. If $ρ_G$ dominates a nonzero positive operator $T$ that is separable across $\mathcal I$, $0\neq T\preccurlyeq ρ_G$, then $ρ_G$ itself is separable across $\mathcal I$. The dominated operator is arbitrary and need not be Gaussian. The theorem has three applications. First, any Gaussian channel admitting a nonzero entanglement-breaking completely positive subchannel is itself entanglement breaking, even when that subchannel is non-Gaussian. Second, if a resource state dominates a positive multiple of a faithful separable state, no finite-copy, postselected separability-preserving protocol can prepare an entangled Gaussian state exactly with nonzero success probability. Third, a connected graph of entangled Gaussian two-mode marginals certifies genuine multipartite entanglement of every compatible global state, even if the global state is non-Gaussian; the certification is robust to sufficiently small trace-norm errors in the marginals. As a structural corollary, mixing states separable across different partitions cannot produce new Gaussian states, so full inseparability and genuine multipartite entanglement coincide for finite-mode Gaussian states and identical copies of a biseparable Gaussian state cannot activate genuine multipartite entanglement.

quant-pharXiv:2609.36336•Sep 30, 2026•0 citations

On the existence of fully inseparable biseparable Gaussian states

Olga Leskovjanová, Klára Baksová, Jan Provazník +2 more

Genuine multipartite entanglement and full inseparability are two inequivalent quantum resources. Even though all genuinely multipartite entangled states are also fully inseparable, not all fully inseparable states are genuinely multipartite entangled. There exist fully inseparable states that can be prepared as convex mixtures of states separable with respect to different bipartite splits. Here, we are interested in examples of Gaussian states that possess this type of entanglement, so-called fully inseparable biseparable states. We show for several archetypical families of multimode Gaussian states that fully inseparable biseparable candidate states are actually genuinely multipartite entangled. Using projections to finite-dimensional subspaces and fully decomposable witnesses, we observe a shrinking of the regions of potentially fully inseparable biseparable Gaussian states with growing dimension of the projection subspaces. We therefore conjecture that all fully inseparable Gaussian states are genuinely multipartite entangled.

quant-pharXiv:2605.28404•May 28, 2026•0 citations

Genuinely Unextendible Product Bases from Maximum Distance Separable Codes

Mao-Sheng Li

The existence of genuinely unextendible product bases (GUPBs), incomplete orthogonal sets of fully product states whose orthogonal complements contain no product vector across any bipartition, has remained an open problem. Here we construct GUPBs for any number $N\geq3$ of parties using classical maximum distance separable (MDS) codes. The MDS property imposes a rigidity on the induced product tiling across every bipartition; combined with Fourier mode deletion and a stopper state, this rigidity enforces genuine unextendibility. Consequently, the orthogonal complement of each GUPB is a genuinely entangled subspace whose normalized projector is invariant under partial transposition across every bipartition, yielding an explicit family of multipartite bound entangled states. We further construct GME witnesses that detect these states even though no fully decomposable witness can do so. Moreover, the resulting indistinguishability persists under arbitrary finite tensor powers and measurements separable across any bipartition. These results establish a direct connection between error-correcting codes and multipartite entanglement and provide an algebraic route to certifying genuinely multipartite bound entanglement.

quant-pharXiv:2608.09504•Aug 11, 2026•0 citations

Genuine multipartite entanglement of quantum states in the \nmultiple-copy scenario

Carlos Palazuelos, Julio I. de Vicente

Genuine multipartite entanglement (GME) is considered a powerful form of entanglement since it corresponds to those states that are not biseparable, i.e. a mixture of partially separable states across different bipartitions of the parties. In this work we study this phenomenon in the multiple-copy regime, where many perfect copies of a given state can be produced and controlled. In this scenario the above definition leads to subtle intricacies as biseparable states can be GME-activatable, i.e. several copies of a biseparable state can display GME. We show that the set of GMEactivatable states admits a simple characterization: a state is GME-activatable if and only if it is not partially separable across one bipartition of the parties. This leads to the second question of whether there is a general upper bound in the number of copies that needs to be considered in order to observe the activation of GME, which we answer in the negative. In particular, by providing an explicit construction, we prove that for any number of parties and any number k 2 N there exist GME-activatable multipartite states of fixed (i.e. independent of k) local dimensions such that k copies of them remain biseparable.

•Jun 13, 2022•57 citations

Genuine multipartite entanglement of quantum states in the multiple-copy scenario

Carlos Palazuelos, Julio I. de Vicente

Genuine multipartite entanglement (GME) is considered a powerful form of entanglement since it corresponds to those states that are not biseparable, i.e. a mixture of partially separable states across different bipartitions of the parties. In this work we study this phenomenon in the multiple-copy regime, where many perfect copies of a given state can be produced and controlled. In this scenario the above definition leads to subtle intricacies as biseparable states can be GME-activatable, i.e. several copies of a biseparable state can display GME. We show that the set of GME-activatable states admits a simple characterization: a state is GME-activatable if and only if it is not partially separable across one bipartition of the parties. This leads to the second question of whether there is a general upper bound in the number of copies that needs to be considered in order to observe the activation of GME, which we answer in the negative. In particular, by providing an explicit construction, we prove that for any number of parties and any number k∈N there exist GME-activatable multipartite states of fixed (i.e. independent of k ) local dimensions such that k copies of them remain biseparable.

arXiv:2201.08694•Quantum•Jun 13, 2022•33 citations

Multi-copy activation of genuine multipartite entanglement in continuous-variable systems

Klára Baksová, Olga Leskovjanová, Ladislav Mišta +2 more

Multi-copy activation of genuine multipartite entanglement (GME) is a phenomenon whereby multiple copies of biseparable but fully inseparable states can exhibit GME. This was shown to be generically possible in finite dimensions. Here, we extend this analysis to infinite dimensions. We provide examples of GME-activatable non-Gaussian states. For Gaussian states, we apply a necessary biseparability criterion for the covariance matrix and show that it cannot detect GME activation. We further identify fully inseparable Gaussian states that satisfy the criterion but show that multiple and, in some cases, even single copies are GME. Thus, we show that the covariance-matrix biseparability criterion is not sufficient even for Gaussian states.

arXiv:2312.16570•Quantum•Apr 9, 2025•4 citations
For general mixed states, entanglement across every bipartition need not imply genuine multipartite entanglement (GME), because a biseparable decomposition may switch the separable cut from term to term. We prove that this convex ambiguity disappears for Gaussian states of finitely many bosonic modes. More generally, for any finite family of partitions, a Gaussian density operator in the trace-norm-closed convex class generated by states separable across those partitions is already separable across one fixed partition in the family. Only the target is Gaussian; a valid decomposition may be continuous and may contain arbitrary non-Gaussian states. Thus full inseparability and GME coincide, Gaussian k-separability and k-producibility reduce to fixed-partition tests, and party-wise tensor powers cannot activate GME from a biseparable Gaussian state. The proof combines a spectral selector with a holomorphic rigidity argument that converts one product vector in the square-root range of a Gaussian state into a block-local covariance certificate. The result shows that partition mixing, a generic mixed-state mechanism, adds no new exact finite-mode Gaussian states.
We prove a separability rigidity theorem for finite-mode Gaussian states. Let ρGρ_GρG​ be Gaussian and let I\mathcal II be a fixed partition of the modes. If ρGρ_GρG​ dominates a nonzero positive operator TTT that is separable across I\mathcal II, 0≠T≼ρG0\neq T\preccurlyeq ρ_G0=T≼ρG​, then ρGρ_GρG​ itself is separable across I\mathcal II. The dominated operator is arbitrary and need not be Gaussian. The theorem has three applications. First, any Gaussian channel admitting a nonzero entanglement-breaking completely positive subchannel is itself entanglement breaking, even when that subchannel is non-Gaussian. Second, if a resource state dominates a positive multiple of a faithful separable state, no finite-copy, postselected separability-preserving protocol can prepare an entangled Gaussian state exactly with nonzero success probability. Third, a connected graph of entangled Gaussian two-mode marginals certifies genuine multipartite entanglement of every compatible global state, even if the global state is non-Gaussian; the certification is robust to sufficiently small trace-norm errors in the marginals. As a structural corollary, mixing states separable across different partitions cannot produce new Gaussian states, so full inseparability and genuine multipartite entanglement coincide for finite-mode Gaussian states and identical copies of a biseparable Gaussian state cannot activate genuine multipartite entanglement.
Genuine multipartite entanglement and full inseparability are two inequivalent quantum resources. Even though all genuinely multipartite entangled states are also fully inseparable, not all fully inseparable states are genuinely multipartite entangled. There exist fully inseparable states that can be prepared as convex mixtures of states separable with respect to different bipartite splits. Here, we are interested in examples of Gaussian states that possess this type of entanglement, so-called fully inseparable biseparable states. We show for several archetypical families of multimode Gaussian states that fully inseparable biseparable candidate states are actually genuinely multipartite entangled. Using projections to finite-dimensional subspaces and fully decomposable witnesses, we observe a shrinking of the regions of potentially fully inseparable biseparable Gaussian states with growing dimension of the projection subspaces. We therefore conjecture that all fully inseparable Gaussian states are genuinely multipartite entangled.
The existence of genuinely unextendible product bases (GUPBs), incomplete orthogonal sets of fully product states whose orthogonal complements contain no product vector across any bipartition, has remained an open problem. Here we construct GUPBs for any number N≥3N\geq3N≥3 of parties using classical maximum distance separable (MDS) codes. The MDS property imposes a rigidity on the induced product tiling across every bipartition; combined with Fourier mode deletion and a stopper state, this rigidity enforces genuine unextendibility. Consequently, the orthogonal complement of each GUPB is a genuinely entangled subspace whose normalized projector is invariant under partial transposition across every bipartition, yielding an explicit family of multipartite bound entangled states. We further construct GME witnesses that detect these states even though no fully decomposable witness can do so. Moreover, the resulting indistinguishability persists under arbitrary finite tensor powers and measurements separable across any bipartition. These results establish a direct connection between error-correcting codes and multipartite entanglement and provide an algebraic route to certifying genuinely multipartite bound entanglement.
Genuine multipartite entanglement (GME) is considered a powerful form of entanglement since it corresponds to those states that are not biseparable, i.e. a mixture of partially separable states across different bipartitions of the parties. In this work we study this phenomenon in the multiple-copy regime, where many perfect copies of a given state can be produced and controlled. In this scenario the above definition leads to subtle intricacies as biseparable states can be GME-activatable, i.e. several copies of a biseparable state can display GME. We show that the set of GMEactivatable states admits a simple characterization: a state is GME-activatable if and only if it is not partially separable across one bipartition of the parties. This leads to the second question of whether there is a general upper bound in the number of copies that needs to be considered in order to observe the activation of GME, which we answer in the negative. In particular, by providing an explicit construction, we prove that for any number of parties and any number k 2 N there exist GME-activatable multipartite states of fixed (i.e. independent of k) local dimensions such that k copies of them remain biseparable.
Genuine multipartite entanglement (GME) is considered a powerful form of entanglement since it corresponds to those states that are not biseparable, i.e. a mixture of partially separable states across different bipartitions of the parties. In this work we study this phenomenon in the multiple-copy regime, where many perfect copies of a given state can be produced and controlled. In this scenario the above definition leads to subtle intricacies as biseparable states can be GME-activatable, i.e. several copies of a biseparable state can display GME. We show that the set of GME-activatable states admits a simple characterization: a state is GME-activatable if and only if it is not partially separable across one bipartition of the parties. This leads to the second question of whether there is a general upper bound in the number of copies that needs to be considered in order to observe the activation of GME, which we answer in the negative. In particular, by providing an explicit construction, we prove that for any number of parties and any number k∈N there exist GME-activatable multipartite states of fixed (i.e. independent of k ) local dimensions such that k copies of them remain biseparable.
Multi-copy activation of genuine multipartite entanglement (GME) is a phenomenon whereby multiple copies of biseparable but fully inseparable states can exhibit GME. This was shown to be generically possible in finite dimensions. Here, we extend this analysis to infinite dimensions. We provide examples of GME-activatable non-Gaussian states. For Gaussian states, we apply a necessary biseparability criterion for the covariance matrix and show that it cannot detect GME activation. We further identify fully inseparable Gaussian states that satisfy the criterion but show that multiple and, in some cases, even single copies are GME. Thus, we show that the covariance-matrix biseparability criterion is not sufficient even for Gaussian states.