[论文解读] Unitary invariants of qubit systems

Frédéric Toumazet, Jean-Gabriel Luque+1 more|arXiv (Cornell University)|Apr 27, 2006

Quantum Mechanics and Applications参考文献 14被引用 4

一句话总结

本论文提出一种方法，通过利用可逆局部操作下的SLOCC协变量（即多项式不变量），计算纯k量子比特量子态的局部酉（LUT）和特殊酉（LSUT）不变量的基。该方法推导出至四量子比特的显式不变量，建立了完备的生成元集，并表明已知的纠缠度量在新基下简化，揭示了不变量代数中的Cohen-Macaulay结构。

ABSTRACT

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.

研究动机与目标

• 开发一种系统化算法，用于构建多量子比特系统中局部酉不变量的基。
• 将SLOCC协变量——即在可逆局部操作下不变的多项式不变量——与LUT和LSUT不变量联系起来。
• 为纯k量子比特态的不变量代数提供至k=4的显式、完备生成元集。
• 证明已知的纠缠度量在新基下简化，增强其物理可解释性。
• 探索不变量环的代数结构，识别LSUT不变量的初等不变量与Hilbert级数。

提出的方法

• 该方法始于SLOCC协变量的分类，即在SL(2,C)^k作用下不变的多项式函数。
• 利用经典不变量理论，通过内积与缩并，从这些SLOCC协变量推导出LUT和LSUT不变量。
• 该构造涉及从态系数及其共轭所关联的多重线性形式形成不变量。
• 应用多项式协变量理论，生成特定次数的齐次不变量，特别是四次和六次不变量。
• 通过生成函数计算四量子比特LSUT不变量的Hilbert级数，提供四量子比特的显式有理函数。
• 该方法识别出代数独立的初等不变量，表明不变量环中存在Cohen-Macaulay结构。

实验结果

研究问题

• RQ1 如何系统地将SLOCC协变量转化为多量子比特态的局部酉不变量？
• RQ2 LUT和LSUT不变量代数的完备生成元集是什么，特别是在k ≤ 4的k量子比特系统中？
• RQ3 已知的纠缠度量是否能在新不变量基下表示为更简形式？
• RQ4 不变量环的代数结构是什么？其是否表现出如Cohen-Macaulay性等性质？
• RQ5 该方法能否扩展至混合态？对于更大的k，其局限性是什么？

主要发现

• 对于四量子比特，识别出一个包含19个生成元的完备集：一个二阶生成元，七个四阶生成元，四个八阶生成元，一个十阶生成元，提示存在Cohen-Macaulay结构。
• k量子比特的四阶LUT不变量空间由10个不变量张成，包括A²、B以及各种B_ij项，其显式表达式由SLOCC协变量导出。
• 六阶酉不变量由20个多项式生成，包括协变量如C^1_1111和C^2_1111的内积及其范数。
• 四量子比特LSUT不变量的Hilbert级数被计算为一个有理函数，其分母为特定的Q(t)，与Grassl等人（2002年）的先前结果一致。
• 不变量⟨f²|f²⟩在代数上依赖于其他不变量，其显式关系以A²和B_ij项表示。
• 多项式D_4000、D_0400、D_0040、D_0004和E_3111被识别为代数独立，因此是六阶部分中初等不变量的强有力候选。