[論文レビュー] Polynomial constraints on representing entangled qubits as matrix product states

Andrew Critch, Jason Morton|arXiv (Cornell University)|Oct 10, 2012

Algebraic structures and combinatorial models被引用数 1

ひとこと要約

本稿は、トレース代数と隠れマルコフモデルとの関連を用いて、多体量子スピン系の純粋状態の振幅における多項式的制約を導出し、それがトランスレーション不変な行列積状態（MPS）またはその極限に表現可能であるための条件を特徴づける。小規模系に対して明示的な方程式を提示し、パラメータ同定可能性に関する予想を提示することで、MPS表現可能性の代数的理解を前進させる。

ABSTRACT

We quantify the representational power of matrix product states (MPS) for entangled qubit systems by giving polynomial expressions in a pure quantum state's amplitudes which hold if and only if the state is a translation invariant matrix product state or a limit of such states. For systems with few qubits, we give these equations explicitly, considering both periodic and open boundary conditions. Using the classical theory of trace varieties and trace algebras, we explain the relationship between MPS and hidden Markov models and exploit this relationship to derive useful parameterizations of MPS. We make four conjectures on the identifiability of MPS parameters.

研究の動機と目的

• エンタングルド・キュービット状態がトランスレーション不変な行列積状態（MPS）またはその極限に表現可能である条件を代数的制約を用いて特徴づけること。
• 小規模系において、MPS表現可能性に必要な十分な多項式方程式を、量子状態の振幅に関して明示的に導出すること。
• トレース代数とトレース多様体を通じて、MPSと隠れマルコフモデルとの数学的関係を確立すること。
• 代数的枠組みに基づいたMPSのパラメータ化を提供し、表現分析を向上させること。
• MPSパラメータの同定可能性に関する予想を提示し、量子状態表現における根本的な構造的問題に取り組むこと。

提案手法

• トレース多様体とトレース代数の古典的理論を用いて、MPS状態を特徴づける多項式不変量を導出する。
• 行列積状態の代数的構造を応用し、状態がトランスレーション不変なMPSまたはその極限であるための、振幅に関する多項式的制約を同定する。
• 開境界条件および周期的境界条件の下で、少数のキュービットを有する系について、これらの多項式方程式を明示的に構成する。
• MPSと隠れマルコフモデルの双対性を活用し、代数幾何学的手法を用いてMPSのパラメータ化を導出する。
• トレースの恒等式と行列トレースにおける多項式関係を用いて、MPS波動関数の構造を代数的に符号化する。
• 導出された代数的制約に基づき、MPSパラメータの一意性と同定可能性に関する予想を提示する。

実験結果

リサーチクエスチョン

• RQ1 純粋な量子状態の振幅におけるどの多項式的制約が、状態がトランスレーション不変なMPSまたはその極限に表現可能であるために必要かつ十分か？
• RQ2 トレース多様体とトレース代数の代数的構造は、行列積状態の表現とどのように関連しているか？
• RQ3 MPSと隠れマルコフモデルの双対性をどのように活用して、MPS波動関数のパラメータ化を可能にするか？
• RQ4 MPSパラメータの同定可能性を保証する条件は何か？ そして、これを代数的にどのように形式化できるか？
• RQ5 境界条件（開境界 vs. 周期的境界）は、MPS表現可能性の多項式的制約の形にどのように影響を与えるか？

主な発見

• 本稿は、小規模系において、状態がトランスレーション不変なMPSまたはその極限に表現可能であるための明示的な多項式方程式を、量子状態の振幅に関して導出した。
• トレース代数の理論を通じて、行列積状態と隠れマルコフモデルの間で明確な代数的対応関係を確立した。
• 導出された制約が、トランスレーション不変な条件下でMPS表現可能性に対して必要かつ十分であることが示された。
• 本フレームワークにより、トレース恒等式に基づくMPSの新たなパラメータ化が可能となり、状態表現の幾何学的・代数的視点が得られた。
• MPSパラメータの同定可能性に関する4つの予想が提示され、パrameter空間のより深い構造的性質が示唆された。
• 結果として、エンタングルド・キュービット系におけるMPSの表現可能性の代数的限界と能力を理解する基盤が提供された。