[論文レビュー] Normal Forms and Tensor Ranks of Pure States of Four Qubits

Oleg Chterental, Dragomir Ž. Djoković|arXiv (Cornell University)|Dec 21, 2006

Quantum Information and Cryptography参考文献 25被引用数 25

ひとこと要約

本稿は、不変理論を用いて、4キュービット純状態のSLOCC分類を厳密に再導出し、先行研究における誤りを是正する。テンソルランクを計算する包括的なアルゴリズムを導入し、ランク≤3の状態を分類し、F₄ワイル群の不変量の新しい洗練された生成系を構成することで、SLOCCおよびキュービットの置換に関して効率的な同値性テストが可能になる。

ABSTRACT

We examine the SLOCC classification of the (non-normalized) pure states of four qubits obtained by F. Verstraete et al. The rigorous proofs of their basic results are provided and necessary corrections implemented. We use Invariant Theory to solve the problem of equivalence of pure states under SLOCC transformations of determinant 1 and qubit permutations. As a byproduct, we produce a new set of generators for the invariants of the Weyl group of type F_4. We complete the determination of the tensor ranks of 4-qubit pure states initiated by J.-L. Brylinski. As a result we obtain a simple algorithm for computing these ranks. We obtain also a very simple classification of pure states of rank at most 3.

研究の動機と目的

• Verstraeteらが以前に提唱した4キュービット純状態のSLOCC分類に誤りが含まれていたことを見抜き、それを是正・厳密に証明すること。
• 行列式が1のSLOCC操作およびキュービットの置換に関して、半単純な4キュービット状態の同値性をテストする体系的な手法を開発すること。
• Brylinskiの研究を拡張し、4キュービット純状態のテンソルランクの完全な決定を完了し、これらのランクを計算する簡単なアルゴリズムを提供すること。
• テンソルランク≤3のすべての4キュービット状態を分類し、ランク≤2の状態のザリスキ閉包を特定すること。
• SLOCC不変代数に基づき、F₄型ワイル群の多項式不変量の新しい、簡単で対称的な生成系を構成すること。

提案手法

• SL₂×SL₂×SL₂×SL₂およびその対称群S₄による半直積作用の下で、非正規化された4キュービット純状態を不変理論を用いて分類する。
• 次数2, 4, 4, 6の多項式不変量H, L, M, Dを用いてSLOCC軌道を特徴付け、軌道同値性の基準を導出する。
• クウェイバー表現の複素SVD分解の類似を用いて行列正規形を構成し、標準的な状態代表元を可能にする。
• 積状態の和として与えられた状態に最小限の数の積状態が必要な数としてテンソルランクを定義し、ランク別正規形を用いて計算する。
• F₄不変量の明示的生成系を導出：H（次数2）、Γ（次数6）、Σ（次数8）、Π（次数12）、ここでΠ = (L−M)(M−N)(N−L)、Σ = L² + M² + N²。
• ワイル群F₄の不変量とSLOCC不変代数A*との間の対応関係を確立し、新しい最小で対称的な生成系を導出する。

実験結果

リサーチクエスチョン

• RQ1 4キュービット純状態の正しいSLOCC分類とは何か？ また、Verstraeteらの分類における誤りを是正するための厳密な証明はどのように行えるか？
• RQ2 行列式が1のSLOCC操作およびキュービットの置換に関して、2つの半単純な4キュービット状態が同値であるかどうかを効率的にテストする方法は何か？
• RQ3 4キュービット純状態のテンソルランクの完全な集合は何か？ また、それらを計算する簡単なアルゴリズムを構築可能か？
• RQ4 テンソルランク≤2の4キュービット状態の集合のザリスキ閉包は何か？ また、低ランク状態の分類とどのように関係するか？
• RQ5 F₄型ワイル群の多項式不変量代数に対して、新しい、簡単で対称的な生成系を構成可能か？

主な発見

• Verstraeteらの分類における家族L_ab₃は、L_abc₂の部分族と同値であることが判明し、SLOCC分類における以前に気づかれていなかった誤りが是正された。
• ランク≤3の4キュービット状態の完全で正しい分類が得られ、各軌道に対して明示的な正規形が提供された。
• ランク≤2の4キュービット状態の集合のザリスキ閉包が特定され、Brylinskiが残した未解決の問題が解決された。
• F₄ワイル群の多項式不変量の新しい最小で対称的な生成系が構成された：H（次数2）、Γ（次数6）、Σ（次数8）、Π（次数12）、ここでΠ = (L−M)(M−N)(N−L)、Σ = L² + M² + N²。
• 本稿では、正規形と不変量を用いて、任意の4キュービット純状態のテンソルランクを計算する簡単なアルゴリズムを提供する。
• SLOCC不変代数A*の生成系が、既知のF₄の不変量I₂, I₆, I₈, I₁₂と明示的に関係づけられ、変換のための明示的公式が提示された。