[論文レビュー] Hermitian tensor and quantum mixed state

Guyan Ni|arXiv (Cornell University)|Feb 5, 2019

Tensor decomposition and applications参考文献 33被引用数 10

ひとこと要約

この論文は、ヘルミート行列の高次元拡張としてヘルミートテンソルを導入し、量子混合状態との関係を確立する。ユニタリ類似、部分トレース、固有値分解などのテンソル演算を開発し、それらを用いて量子状態の分離可能性を検出する。主な貢献は、正のヘリミート分解の非存在に基づくもつれの基準であり、テンソル分解の不一致を用いてもつれた状態を効果的に特定できることを示している。

ABSTRACT

An order $2m$ complex tensor $\cH$ is said to be Hermitian if \[\mathcal{H}_\ijm=\mathcal{H}_\jim ^*\mathrm{\ for\ all\ }\ijm .\] It can be regarded as an extension of Hermitian matrix to higher order. A Hermitian tensor is also seen as a representation of a quantum mixed state. Motivated by the separability discrimination of quantum states, we investigate properties of Hermitian tensors including: unitary similarity relation, partial traces, nonnegative Hermitian tensors, Hermitian eigenvalues, rank-one Hermitian decomposition and positive Hermitian decomposition, and their applications to quantum states.

研究の動機と目的

• ヘリミートテンソルを高次元系へのヘリミート行列の拡張として数学的枠組みを確立すること。
• 密度行列表現を通じてヘリミートテンソルと量子混合状態を結びつけること。
• 量子情報理論において有用なテンソル演算（例：部分トレース、ユニタリ類似）を開発すること。
• テンソル分解の性質を用いて、量子混合状態における分離可能性およびもつれ検出を調査すること。
• 正のヘリミート分解の非存在に基づくもつれの基準を提供すること。

提案手法

• ヘリミートテンソルを条件 $\mathcal{H}_{i_1\cdots i_m j_1\cdots j_m} = \mathcal{H}^*_{j_1\cdots j_m i_1\cdots i_m}$ により定義し、ヘリミート行列を高次元配列へ一般化する。
• ユニタリ類似、部分トレース、ランク1のヘリミート分解などのテンソル演算を導入する。
• 量子混合状態を $\mathcal{H} = \sum_i \lambda_i \chi^{(i)} \otimes \chi^{(i)*}$ によりヘリミートテンソルとして表現し、テンソル構造と量子密度行列との関係を結ぶ。
• 正のヘリミート分解の概念を発展させ、分離可能性の基準とする：状態が分離可能であるとは、そのテンソルがこのような分解をもつことと同値である。
• 固有行列分解と部分空間解析を用いて、正のヘリミート分解の存在を検証する。

実験結果

リサーチクエスチョン

• RQ1 ヘリミートテンソルは、高次元テンソル枠組みにおいて量子混合状態を表現・分析するために用いられるか？
• RQ2 ユニタリ類似、部分トレース、固有値といったヘリミートテンソルの基本的性質は何か？
• RQ3 テンソル分解技術を用いて、量子混合状態における分離可能性またはもつれをどのように検出できるか？
• RQ4 ヘリミートテンソルが正のヘリミート分解をもつための条件は何か？
• RQ5 このような分解の非存在が、決定的なもつれの証人（witness）として機能できるか？

主な発見

• 量子混合状態が分離可能であるための必要十分条件は、対応するヘリミートテンソルがランク1成分への正のヘリミート分解をもつことである。
• 例として、$\rho_1 > 0$, $\rho_2 > 0$, かつ $\rho_1 + \rho_2 = 1$ を満たす状態 $\rho$ は、そのテンソル成分と一致する正のヘリミート分解が存在しないため、もつれ状態であることが証明された。
• $\rho$ のテンソル $\mathcal{H}$ は、固有行列分解と任意の潜在的な正のヘリミート分解との間に成分の不一致を示し、非分解可能性を証明している。
• 部分トレースの成分を異なる分解から比較することで、正の分解が存在しない場合の不一致を示し、もつれの検出に成功した。
• この枠組みは、標準的な密度行列解析を超えて、テンソル分解を用いたもつれ検出の体系的アプローチを提供する。
• 理論的結果により、ヘリミートテンソルが正のヘリミート分解をもつならば、すべての関連する積ベクトルは分解成分が張る特定の部分空間に含まれる。