[論文レビュー] Quantum marginal problem and representations of the symmetric group

Alexander A. Klyachko|ArXiv.org|Sep 17, 2004

Advanced Algebra and Geometry参考文献 31被引用数 115

ひとこと要約

本稿は、幾何学的および表現論的技法を用いて、密度行列の固有値に関する線形不等式を導出し、2粒子量子系における量子マージナル問題を完全に解決する。この研究では、量子マージナル問題と対称群の表現理論との間の関係を確立し、マージナル制約の明示的計算を可能にするとともに、与えられたマージナルを持つ状態の最大固有値やランクに関する問題に答えを提示する。

ABSTRACT

We discuss existence of mixed state of multicomponent system with given spectrum and given reduced density matrices. We give a complete solution of the problem in terms of linear inequalities on the spectra, accompanied with extensive tables of marginal inequalities, including arrays up to 4 qubits. In the second part of the paper we pursue another approach based on reduction of the problem to representation theory of the symmetric group.

研究の動機と目的

• 合成量子系およびその部分系に与えられた固有値が、一貫した混合状態によって実現可能かどうかを特定する量子マージナル問題を解くこと。
• 2粒子系における縮約密度行列の固有値を制約する明示的な線形不等式を導出すること。
• 量子マージナル問題と対称群の表現理論との深い関係を確立すること。
• 与えられたマージナル固有値から、状態の最大固有値やランクといった性質を判定する計算可能な基準を提供すること。
• 組合せ的枠組みを用いて、2〜4キュービットまでを含む小規模系のマージナル不等式を生成および表形式にまとめること。

提案手法

• 部分群 $\mathrm{SU}(\mathcal{H}_A) \times \mathrm{SU}(\mathcal{H}_B) \subset \mathrm{SU}(\mathcal{H}_A \otimes \mathcal{H}_B)$ にベレンシュタイン＝スヤマールの定理を適用し、固有値制約を導出すること。
• フラッグ多様体におけるフィルトレーション、キュービクル、極端な辺を用いて、コhomオロジー的技法によりマージナル不等式を生成すること。
• マージナル問題を可約表現のテンソル積の分解問題に再定式化するために、対称群の表現論を適用すること。
• 標準的予想（定理4.2.3）の下で、キュービット配列に対するマージナル不等式を体系的に生成する手法を導入すること。
• シューベルト多項式やクロネッカー係数といった組合せ的道具を用いて、固有値の整合性を分析すること。
• ランクが4以下の系、特に2、3、4キュービット系に対して、明示的なマージナル不等式の表を提供すること。

実験結果

リサーチクエスチョン

• RQ1 縮約密度行列 $\rho_A$, $\rho_B$, および $\rho_{AB}$ の固有値に必要なかつ十分な線形不等式は何か？ これにより一貫した混合状態 $\rho_{AB}$ が存在するか？
• RQ2 対称群の表現論を用いて、量子マージナル問題をどのように再定式化できるか？
• RQ3 合成量子状態の固有値が、その状態の最大固有値やランクにどのような制約を課えるか？
• RQ4 キュービット配列や2キュートリット系のような小規模系におけるマージナル不等式の構造は何か？
• RQ5 表現論的双対性を通じて、量子マージナル問題とヘルミート固有値問題はどのように関係しているか？

主な発見

• 本稿は、ランク $\leq 4$ の系において、量子マージナル問題の完全な線形不等式の集合を提供し、2、3、4キュービット系のマージナル不等式の明示的表を含む。
• キュービット配列では、標準的予想の下で、定理4.2.3によりマージナル不等式を体系的に生成可能であり、問題が組合せ的データに還元される。
• 与えられたマージナル固有値を持つ状態の最大固有値は、定理6.3.1で示されるように、マージナルの固有値の明示的線形結合によって上限が与えられる。
• 所与のマージナル固有値を持つ状態のランクは、表現論的枠組みから導かれた不等式によって制約され、定理6.4.1で形式化されている。
• 量子マージナル問題と対称群のクロネッカー係数との間の関係が確立され、その安定的台（stable support）への応用が第7節で示されている。
• 本稿は、量子力学におけるベル型不等式が、コhomオロジーおよびフラッグ多様体幾何から導かれる一般マージナル制約の特別な場合として現れることを示している。