Full Inseparability and Genuine Multipartite Entanglement Coincide for Finite-Mode Gaussian States
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
- Catalytic Activation of Genuine Multipartite Entanglement and Nonlocality
- Minimal Subsystems for Characterizing Genuine Multipartite Entanglement
- Noise robust self testing from genuine local operation shared randomness multipartite nonlocality Tests
- Multi-copy and Catalytic Superactivation of Genuine Multipartite Nonlocality
- Genuine Multipartite Nonlocality Is Fermionic Magic
BibTeX
@misc{yang2026full,
title = {{Full Inseparability and Genuine Multipartite Entanglement Coincide for Finite-Mode Gaussian States}},
author = {Yu Yang and Yuhang Wang and Chunxiao Du and Shikun Zhang and Zheng Qin and Rui Li and Wenxiu Li and Hao Zhang and Zhisong Xiao},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.10984},
eprint = {2609.10984},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.10984},
}
RIS
TY - UNPB
TI - Full Inseparability and Genuine Multipartite Entanglement Coincide for Finite-Mode Gaussian States
AU - Yu Yang
AU - Yuhang Wang
AU - Chunxiao Du
AU - Shikun Zhang
AU - Zheng Qin
AU - Rui Li
AU - Wenxiu Li
AU - Hao Zhang
AU - Zhisong Xiao
PY - 2026
DA - 2026/09/10
PB - arXiv
DO - 10.48550/arxiv.2609.10984
UR - https://arxiv.org/abs/2609.10984
AB - 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.
ER -