重温双量子比特混合态的不变环

局域酉等价性是双体量子系统纠缠分类的基石。在数学上，它归结为研究密度矩阵在局域酉群作用下的多项式不变量。所有此类多项式不变量的集合构成一个环，称为不变环。然而，识别不变环的完备生成元是核心问题。2007 年，针对双量子比特系统，King 等人完整刻画了不变环的结构并确定了其 Cohen--Macaulay 分解。在本文中，我们重温了他们的工作，重点关注 Molien 级数的计算和不变量的构造。一方面，我们通过对极大环面的显式围道积分严格推导了 Molien 级数，填补了之前所有省略的计算步骤。另一方面，我们使用图论方法系统地构造了所有不变量，然后通过应用各种恒等式和代数关系缩减候选集，获得了由 21 个不变量组成的生成集。本文旨在通过上述讨论，使这一重要结果更广泛地被量子信息论和不变量理论的研究人员所了解。