Revisiting the invariant ring of two-qubit mixed states

• URL: http://arxiv.org/abs/2607.23039v1
• Date: Sat, 25 Jul 2026 04:51:12 GMT
• Title: Revisiting the invariant ring of two-qubit mixed states
• Abstract summary: 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.
• Score: 7.293435425629241
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• 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

• Bargmann Invariants Are Insufficient for Complete Local-Unitary Orbit Discrimination [7.293435425629241]
  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.
  arXiv  Detail & Related papers  (2026-09-10T05:00:01Z)
• Efficient generation and explicit dimensionality of Lie group-equivariant and permutation-invariant bases [1.6789611055085498]
  We propose a practical construction of Lie group-equivariant and permutation-invariant functions of $N$ variables.<n>The construction is generic for any linear Lie group and relies on building a matrix constructed from the Lie algebra.<n>We show that for large values of $N$, the number of rotation-equivariant and permutation-invariant basis functions is of a comparable order.
  arXiv  Detail & Related papers  (2026-04-02T12:33:33Z)
• Any-Subgroup Equivariant Networks via Symmetry Breaking [47.72921214239821]
  equivariant architectures are usually highly constrained, designed for symmetries chosen a priori.<n>This precludes the development of flexible, multi-modal foundation models capable of processing diverse data equivariantly.<n>We build a single model that can be simultaneously equivariant to several groups, simply by modulating a certain auxiliary input feature.
  arXiv  Detail & Related papers  (2026-03-19T21:30:41Z)
• Rethinking Diffusion Models with Symmetries through Canonicalization with Applications to Molecular Graph Generation [56.361076943802594]
  CanonFlow achieves state-of-the-art performance on the challenging GEOM-DRUG dataset, and the advantage remains large in few-step generation.
  arXiv  Detail & Related papers  (2026-02-16T18:58:55Z)
• 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)
• A Galois theorem for machine learning: Functions on symmetric matrices and point clouds via lightweight invariant features [26.619014249559942]
  We present a mathematical formulation for machine learning of functions on symmetric matrices and point clouds.<n>We provide a general construction of generically separating invariant features using ideas inspired by Galois theory.<n>We prove that the number of invariant features can be reduced, generically without losing expressivity, to $O(n)$, where $n$ is the number of points.
  arXiv  Detail & Related papers  (2024-05-13T18:24:03Z)
• 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)
• Permutation symmetry in large N Matrix Quantum Mechanics and Partition Algebras [0.0]
  We describe the implications of permutation symmetry for the state space and dynamics of quantum mechanical systems of general size $N$. A symmetry-based mechanism for quantum many body scars discussed in the literature can be realised in these matrix systems with permutation symmetry.
  arXiv  Detail & Related papers  (2022-07-05T16:47:10Z)
• Low Dimensional Invariant Embeddings for Universal Geometric Learning [6.405957390409045]
  This paper studies separating invariants: mappings on $D$ dimensional domains which are invariant to an appropriate group action, and which separate orbits. The motivation for this study comes from the usefulness of separating invariants in proving universality of equivariant neural network architectures.
  arXiv  Detail & Related papers  (2022-05-05T22:56:19Z)
• Local unitary classes of states invariant under permutation subgroups [0.0]
  The study of entanglement properties of multi-qubit states that are invariant under permutations of qubits is motivated by potential applications in quantum computing, quantum communication, and quantum metrology. We generalize the notions of symmetrization, Dicke states, and the Majorana representation to the alternating, cyclic, and dihedral subgroups of the full group of permutations.
  arXiv  Detail & Related papers  (2021-09-14T18:42:21Z)
• A Practical Method for Constructing Equivariant Multilayer Perceptrons for Arbitrary Matrix Groups [115.58550697886987]
  We provide a completely general algorithm for solving for the equivariant layers of matrix groups. In addition to recovering solutions from other works as special cases, we construct multilayer perceptrons equivariant to multiple groups that have never been tackled before. Our approach outperforms non-equivariant baselines, with applications to particle physics and dynamical systems.
  arXiv  Detail & Related papers  (2021-04-19T17:21:54Z)
• Relevant OTOC operators: footprints of the classical dynamics [68.8204255655161]
  The OTOC-RE theorem relates the OTOCs summed over a complete base of operators to the second Renyi entropy. We show that the sum over a small set of relevant operators, is enough in order to obtain a very good approximation for the entropy. In turn, this provides with an alternative natural indicator of complexity, i.e. the scaling of the number of relevant operators with time.
  arXiv  Detail & Related papers  (2020-07-31T19:23:26Z)
• A refinement of Reznick's Positivstellensatz with applications to quantum information theory [72.8349503901712]
  In Hilbert's 17th problem Artin showed that any positive definite in several variables can be written as the quotient of two sums of squares. Reznick showed that the denominator in Artin's result can always be chosen as an $N$-th power of the squared norm of the variables.
  arXiv  Detail & Related papers  (2019-09-04T11:46:26Z)

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.