Bargmann Invariants Are Insufficient for Complete Local-Unitary Orbit Discrimination
Abstract
Bargmann invariants constructed from a bipartite density operator and its two lifted marginals are polynomial invariants of local-unitary conjugation. We determine the precise information encoded in these invariants. Whenever one subsystem is a qubit, the ordinary marginal-word family determines the full spectrum of the partial transpose and hence decides whether the state has the positive-partial-transpose property. In 2⊗2 and 2⊗3 systems, this yields complete separability criteria. For the two-qubit system, a finite subfamily additionally separates local-unitary orbits, and a finite extension generates the polynomial invariant ring. These three tasks already diverge for qubit-qutrit states: we exhibit full-rank, locally maximally mixed states that agree on all ordinary marginal-word invariants yet have different operator-Schmidt ranks, together with a quartic correlation invariant that separates them. When both local dimensions are at least three, the analogous collapse on the locally maximally mixed sector produces isospectral pairs consisting of one separable state and one entangled state with negative partial transpose. The ordinary Bargmann algebra therefore coincides with the full local unitary invariant ring if and only if both subsystems are qubits. The missing data are geometric: they encode the placement of global eigenspaces relative to the tensor-product decomposition
Related
- Exact probability laws of random inner products: Dirichlet splines, overlaps, uncertainty, and Bargmann invariants
- On the zero sets of the Bargmann Fock space
- Operator-theoretic and analytic properties of a driven single-mode Kerr cavity in Bargmann space
- The Segal-Bargmann Transform in Neural Partial Differential Equations
- Bargmann-Fock Representation and Global Estimates for the Linearized Hard-Sphere Boltzmann Operator
BibTeX
@misc{zhang2026bargmann,
title = {{Bargmann Invariants Are Insufficient for Complete Local-Unitary Orbit Discrimination}},
author = {Lin Zhang and Bing Xie},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.11090},
eprint = {2609.11090},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.11090},
}
RIS
TY - UNPB
TI - Bargmann Invariants Are Insufficient for Complete Local-Unitary Orbit Discrimination
AU - Lin Zhang
AU - Bing Xie
PY - 2026
DA - 2026/09/10
PB - arXiv
DO - 10.48550/arxiv.2609.11090
UR - https://arxiv.org/abs/2609.11090
AB - Bargmann invariants constructed from a bipartite density operator and its two lifted marginals are polynomial invariants of local-unitary conjugation. We determine the precise information encoded in these invariants. Whenever one subsystem is a qubit, the ordinary marginal-word family determines the full spectrum of the partial transpose and hence decides whether the state has the positive-partial-transpose property. In 2⊗2 and 2⊗3 systems, this yields complete separability criteria. For the two-qubit system, a finite subfamily additionally separates local-unitary orbits, and a finite extension generates the polynomial invariant ring. These three tasks already diverge for qubit-qutrit states: we exhibit full-rank, locally maximally mixed states that agree on all ordinary marginal-word invariants yet have different operator-Schmidt ranks, together with a quartic correlation invariant that separates them. When both local dimensions are at least three, the analogous collapse on the locally maximally mixed sector produces isospectral pairs consisting of one separable state and one entangled state with negative partial transpose. The ordinary Bargmann algebra therefore coincides with the full local unitary invariant ring if and only if both subsystems are qubits. The missing data are geometric: they encode the placement of global eigenspaces relative to the tensor-product decomposition
ER -