[論文レビュー] 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）に対する多項式不変量であるSLOCC共変量を活用することで、純粋なk量子ビット量子状態の局所ユニタリ（LUT）および特別ユニタリ（LSUT）不変量の基底を計算する手法を提示する。4量子ビットまで明示的な不変量を導出し、完全な生成集合を確立し、既知の量子もつれ尺度が新しい基底において簡略化されることを示し、不変量代数に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≤4の純粋k量子ビット状態の不変量代数の明示的かつ完全な生成子集合の提供。
• 既知の量子もつれ尺度が新しい基底において簡略化されることの実証。物理的解釈性の向上。
• 不変量環の代数的構造の解明。LSUT不変量の基本不変量とヒルベルト級数の特定。

提案手法

• SLOCC共変量の分類から出発し、これはSL(2,C)^kの作用に対して不変な多項式関数である。
• 古典的不変量理論を用い、内積と縮約を介してSLOCC共変量からLUTおよびLSUT不変量を導出する。
• 状態係数とその複素共役に関連する多重線形形式から不変量を構成する。
• 多項式共変量の理論を適用し、特に4次および6次を含む特定の次数の同次不変量を生成する。
• 生成関数を用いて4量子ビットのLSUT不変量のヒルベルト級数を計算し、4量子ビットに対して明示的な有理関数を提供する。
• 代数的に独立な基本不変量を同定し、不変量環にCohen-Macaulay構造が存在することを示唆する。

実験結果

リサーチクエスチョン

• RQ1 SLOCC共変量をどのように体系的に多量子ビット状態の局所ユニタリ不変量に変換できるか？
• RQ2 k量子ビット系におけるLUTおよびLSUT不変量の代数の完全な生成子集合は何か。特にk≤4の場合に限って。
• RQ3 既知の量子もつれ尺度は、新しい不変量基底においてより簡潔な形に表現可能か？
• RQ4 不変量環の代数的構造は何か。Cohen-Macaulay性などの性質を示すか？
• RQ5 本手法は混合状態へと拡張可能か。また、kが大きくなる場合の制限要因は何か？

主な発見

• 4量子ビットの場合、完全な生成子19個が同定された：2次が1つ、4次が7つ、8次が4つ、10次が1つ。これはCohen-Macaulay構造を示唆する。
• k量子ビットにおける4次LUT不変量の空間は、10個の不変量（A^2、B、およびさまざまなB_ij項）で張られ、SLOCC共変量から明示的な表現が導出された。
• 6次ユニタリ不変量は、C^1_1111およびC^2_1111などの共変量の内積およびノルムを含む20個の多項式によって生成される。
• 4量子ビットのLSUT不変量のヒルベルト級数は、特定の分母Q(t)を持つ有理関数として計算され、Grasslら（2002年）の先行結果と一致することが確認された。
• 不変量⟨f²|f²⟩は他の不変量と代数的に依存しており、A²およびB_ij項を用いた明示的な関係式が与えられた。
• D_4000、D_0400、D_0040、D_0004、およびE_3111は代数的に独立であることが同定され、6次領域における基本不変量の強力な候補である。