重新审视两量子比特混合态的不变环
Revisiting the invariant ring of two-qubit mixed states
浏览论文内容
中文总结 AI 辅助
本文重新审视两量子比特系统不变环相关工作，通过在极大环面上显式围道积分严格推导Molien级数，并用图形方法系统构造不变量，经化简得到含21个不变量的生成集，便于量子信息和不变理论研究者获取重要结果。
中文摘要 AI 辅助
局部酉等价是二分量子系统中纠缠分类的基石，数学上归结为研究密度矩阵在局部酉群作用下的多项式不变量，所有这些多项式不变量构成不变环。确定不变环的完整生成元是核心问题。2007年，King等人完全刻画了两量子比特系统不变环的结构并确定其Cohen-Macaulay分解。本文重新审视他们的工作，一方面通过在极大环面上的显式围道积分严格推导Molien级数，另一方面用图形方法系统构造所有不变量，经化简得到由21个不变量组成的生成集，旨在让量子信息和不变理论的研究人员更易获取这一重要结果。
英文摘要
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.
