© 2026 Aqora Quantum S.A.S.

Terms Privacy Legal Notice

arXiv:2607.23039

Revisiting the invariant ring of two-qubit mixed states

Bing Xie, Lin Zhang

quant-phSubmitted Jul 25, 2026• Announced Jul 28, 2026• 0 citations

Abstract

Local unitary equivalence serves as the cornerstone for classifying entanglement in bipartite quantum systems. Mathematically, it reduces to the study of polynomial invariants of the density matrix under the action of local unitary groups. The collection of all such polynomial invariants forms a ring, known as the invariant ring. However, identifying the complete generators of the invariant ring is the central issue. In 2007, for the two-qubit system, King et al fully characterized the structure of the invariant ring and determined its Cohen--Macaulay decomposition. In this paper, we revisit their work, with a focus on the computation of the Molien series and the construction of invariants. On one hand, we rigorously derive the Molien series via explicit contour integration over the maximal torus, filling in all previously omitted computational steps. On the other hand, we systematically construct all invariants using a graphical method, and then reduce the candidate set by applying various identities and algebraic relations, obtaining a generating set consisting of 21 invariants. This paper aims to make this important result more widely accessible to researchers in quantum information and invariant theory through the above discussions.

Related papers

A mixed two-qubit system and the structure of its ring of local invariants

Ronald C. King, Trevor A. Welsh, Peter Jarvis

The local invariants of a mixed two-qubit system are discussed. These invariants are polynomials in the elements of the corresponding density matrix. They are counted by means of group-theoretic branching rules which relate this problem to one arising in spin-isospin nuclear shell models. The corresponding Molien series and a refinement in the form of a 4-parameter generating function are determined. A graphical approach is then used to construct explicitly a fundamental set of 21 invariants. Relations between them are found in the form of syzygies. By using these, the structure of the ring of local invariants is determined, and complete sets of primary and secondary invariants are identified: there are 10 of the former and 15 of the latter.

Journal of Physics A Mathematical and Theoretical•Aug 1, 2007•22 citations

Local invariants for mixed qubit-qutrit states

Vladimir P. Gerdt, A. Khvedelidze, Dimitar M. Mladenov +1 more

In the present paper few steps are undertaken towards the description of the qubit-qutrit pair - quantum bipartite system composed of two and three level subsystems. The computational difficulties with the construction of the local unitary polynomial invariants are discussed. Calculations of the Molien functions and Poincare series for the qubit-qubit and qubit-qutrit local unitary invariants are outlined and compared with the known results. The requirement of positive semi-definiteness of the density operator is formulated explicitly as a set of inequalities in five Casimir invariants of the algebra su(6).

arXiv:1106.4905•Jun 24, 2011•1 citation

Qubits and invariant theory

Ronald C. King, Trevor A. Welsh

The invariants of a mixed two-qubit system are discussed. These are polynomials in the elements of the corresponding density matrix. They are counted by means of grouptheoretic branching rules and the Molien function is determined. The fundamental invariants are then explicitly constructed and the relations between them are found in the form of syzygies. In this way, complete sets of primary and secondary invariants are identified: there are 10 of the former and 15 of the latter.

Journal of Physics Conference Series•Feb 28, 2006•7 citations

Bargmann-invariant framework for local unitary equivalence and entanglement

Lin Zhang, Bing Xie, Yuan-Hong Tao

Research on quantum states often focuses on the correlation between nonlocal effects and local unitary invariants, among which local unitary equivalence plays a significant role in quantum state classification and resource theories. This paper focuses on the local unitary equivalence of multipartite quantum states in quantum information theory, aiming to determine a complete set of invariants that identify their local unitary orbits; these invariants are crucial for deriving polynomial invariants and describing the physical properties preserved under local unitary transformations. The study deeply explores the characterization of local unitary equivalence and the method of detecting entanglement using local unitary Bargmann invariants. Taking two-qubit systems as an example, it verifies the measurability of invariants that determine equivalence and establishes a connection between Makhlin fundamental invariants (a complete set of 18 local unitary invariants for two-qubit states) and local unitary Bargmann invariants. These Bargmann invariants, related to the traces of products of density operators and marginal states, can be measured through cycle tests (an extended form of swap tests).

arXiv:2412.17237•Physical Review A•Nov 13, 2025•1 citation

Unitary invariants of qubit systems

Frédéric Toumazet, Jean-Gabriel Luque, Jean‐Yves Thibon

We give an algorithm allowing to construct bases of local unitary invariants of pure k-qubit states from the knowledge of polynomial covariants of the group of invertible local filtering operations. The simplest invariants obtained in this way are explicited and compared to various known entanglement measures. Complete sets of generators are obtained for up to four qubits, and the structure of the invariant algebras is discussed in detail.

arXiv:quant-ph/0604202•Apr 27, 2006•5 citations

Bargmann Invariants Are Insufficient for Complete Local-Unitary Orbit Discrimination

Lin Zhang, Bing Xie

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

quant-pharXiv:2609.11090•Sep 11, 2026•0 citations

Local unitary equivalence serves as the cornerstone for classifying entanglement in bipartite quantum systems. Mathematically, it reduces to the study of polynomial invariants of the density matrix under the action of local unitary groups. The collection of all such polynomial invariants forms a ring, known as the invariant ring. However, identifying the complete generators of the invariant ring is the central issue. In 2007, for the two-qubit system, King et al fully characterized the structure of the invariant ring and determined its Cohen--Macaulay decomposition. In this paper, we revisit their work, with a focus on the computation of the Molien series and the construction of invariants. On one hand, we rigorously derive the Molien series via explicit contour integration over the maximal torus, filling in all previously omitted computational steps. On the other hand, we systematically construct all invariants using a graphical method, and then reduce the candidate set by applying various identities and algebraic relations, obtaining a generating set consisting of 21 invariants. This paper aims to make this important result more widely accessible to researchers in quantum information and invariant theory through the above discussions.

The local invariants of a mixed two-qubit system are discussed. These invariants are polynomials in the elements of the corresponding density matrix. They are counted by means of group-theoretic branching rules which relate this problem to one arising in spin-isospin nuclear shell models. The corresponding Molien series and a refinement in the form of a 4-parameter generating function are determined. A graphical approach is then used to construct explicitly a fundamental set of 21 invariants. Relations between them are found in the form of syzygies. By using these, the structure of the ring of local invariants is determined, and complete sets of primary and secondary invariants are identified: there are 10 of the former and 15 of the latter.

In the present paper few steps are undertaken towards the description of the qubit-qutrit pair - quantum bipartite system composed of two and three level subsystems. The computational difficulties with the construction of the local unitary polynomial invariants are discussed. Calculations of the Molien functions and Poincare series for the qubit-qubit and qubit-qutrit local unitary invariants are outlined and compared with the known results. The requirement of positive semi-definiteness of the density operator is formulated explicitly as a set of inequalities in five Casimir invariants of the algebra su(6).

Research on quantum states often focuses on the correlation between nonlocal effects and local unitary invariants, among which local unitary equivalence plays a significant role in quantum state classification and resource theories. This paper focuses on the local unitary equivalence of multipartite quantum states in quantum information theory, aiming to determine a complete set of invariants that identify their local unitary orbits; these invariants are crucial for deriving polynomial invariants and describing the physical properties preserved under local unitary transformations. The study deeply explores the characterization of local unitary equivalence and the method of detecting entanglement using local unitary Bargmann invariants. Taking two-qubit systems as an example, it verifies the measurability of invariants that determine equivalence and establishes a connection between Makhlin fundamental invariants (a complete set of 18 local unitary invariants for two-qubit states) and local unitary Bargmann invariants. These Bargmann invariants, related to the traces of products of density operators and marginal states, can be measured through cycle tests (an extended form of swap tests).

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