Bargmann Invariants Are Insufficient for Complete Local-Unitary Orbit Discrimination

• URL: http://arxiv.org/abs/2609.11090v1
• Date: Thu, 10 Sep 2026 05:00:01 GMT
• Title: Bargmann Invariants Are Insufficient for Complete Local-Unitary Orbit Discrimination
• Abstract summary: We show that ordinary Bargmann algebra coincides with the full local unitary invariant ring if and only if both subsystems are qubits.<n>The missing data are geometric: they encode the placement of global eigenspaces relative to the tensor-product decomposition.
• Score: 7.293435425629241
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• 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\otimes2$ and $2\otimes3$ 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 papers

• Full Inseparability and Genuine Multipartite Entanglement Coincide for Finite-Mode Gaussian States [39.7867986252164]
  We prove that a biseparable decomposition may switch the separable cut from term to term in general mixed states.<n>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.
  arXiv  Detail & Related papers  (2026-09-10T02:02:56Z)
• Revisiting the invariant ring of two-qubit mixed states [7.293435425629241]
  Local unitary equivalence serves as the cornerstone for classifying entanglement in bipartite quantum systems.<n>In 2007, for the two-qubit system, King et al fully characterized the structure of the invariant ring and determined its Cohen-Macaulay decomposition.<n>This paper makes this important result more widely accessible to researchers in quantum information and in theory.
  arXiv  Detail & Related papers  (2026-07-25T04:51:12Z)
• Bargmann invariants and local unitary equivalence [10.534809869409832]
  We study the local unitary equivalence of quantum states on $mathbbCnotimesmathbbCn$.<n>For the case $n=2$, the local unitary orbits of two-qubit states are completely determined by their local unitary Bargmann invariants.
  arXiv  Detail & Related papers  (2026-07-18T16:34:31Z)
• Compositional Boundaries for Density Fusion [26.01053678258559]
  We study the requirement for binary fusion of weighted probability densities.<n>We establish a compositional boundary for local segment-valued fusion rules.<n>We show that this obstruction is local to endpoint-to-candidate binary balancing, whereas global divergence barycenters retain additive-weight local limits.
  arXiv  Detail & Related papers  (2026-06-04T08:45:59Z)
• Topological nature of edge states for one-dimensional systems without symmetry protection [46.87902365052209]
  We numerically verify and analytically prove a winding number invariant that correctly predicts the number of edge states in one-dimensional, nearest-neighbor (between unit cells)<n>Our winding number is invariant under unitary or similarity transforms.
  arXiv  Detail & Related papers  (2024-12-13T19:44:54Z)
• Critical Fermions are Universal Embezzlers [44.99833362998488]
  We show that universal embezzlers are ubiquitous in many-body physics. The same property holds in locally-interacting, dual spin chains via the Jordan-Wigner transformation.
  arXiv  Detail & Related papers  (2024-06-17T17:03:41Z)
• Symmetry-restricted quantum circuits are still well-behaved [45.89137831674385]
  We show that quantum circuits restricted by a symmetry inherit the properties of the whole special unitary group $SU(2n)$. It extends prior work on symmetric states to the operators and shows that the operator space follows the same structure as the state space.
  arXiv  Detail & Related papers  (2024-02-26T06:23:39Z)
• The Schmidt rank for the commuting operator framework [58.720142291102135]
  The Schmidt rank is a measure for the entanglement dimension of a pure bipartite state. We generalize the Schmidt rank to the commuting operator framework. We analyze bipartite states and compute the Schmidt rank in several examples.
  arXiv  Detail & Related papers  (2023-07-21T14:37:33Z)
• Effective Rationality for Local Unitary Invariants of Mixed States of Two Qubits [0.0]
  We calculate the field of rational local unitary invariants for mixed states of two qubits. We prove that this field is rational (i.e. purely transcendental) We also prove similar statements for the local unitary invariants of symmetric mixed states of two qubits.
  arXiv  Detail & Related papers  (2023-05-25T15:35:34Z)
• Coordinate Independent Convolutional Networks -- Isometry and Gauge Equivariant Convolutions on Riemannian Manifolds [70.32518963244466]
  A major complication in comparison to flat spaces is that it is unclear in which alignment a convolution kernel should be applied on a manifold. We argue that the particular choice of coordinatization should not affect a network's inference -- it should be coordinate independent. A simultaneous demand for coordinate independence and weight sharing is shown to result in a requirement on the network to be equivariant.
  arXiv  Detail & Related papers  (2021-06-10T19:54:19Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.