[論文レビュー] Extremal Density Matrices for Qudit States

Armando Figueroa, Julio A. López-Saldívar+2 more|arXiv (Cornell University)|Sep 30, 2016

Algebraic structures and combinatorial models参考文献 13被引用数 3

ひとこと要約

本稿では、Blochベクトル成分、SU(d)構造定数、ハミルトニアンパラメータを含む不定線形方程式を解くことにより、クイジット系における極値密度行列を代数的に計算する手法を提示する。この手法により、純粋状態および混合状態の両方に対して極値平均エネルギー値が得られ、純粋状態の場合には全エネルギー準位が回復され、与えられたエネルギー期待値に対して最大でd!個の極値混合状態が特定される。

ABSTRACT

An algebraic procedure to find extremal density matrices for any Hamiltonian of a qudit system is established. The extremal density matrices for pure states provide a complete description of the system, that is, the energy spectra of the Hamiltonian and their corresponding projectors. For extremal density matrices representing mixed states, one gets mean values of the energy in between the maximum and minimum energies associated to the pure case. These extremal densities give also the corresponding mixture of eigenstates that yields the corresponding mean value of the energy. We enhance that the method can be extended to any hermitian operator.

研究の動機と目的

• 任意のハミルトニアンに従うクイジット系における極値密度行列を系統的に計算する代数的手順の開発。
• 純粋状態に対応する極値密度行列を通じて、ハミルトニアンの完全なエネルギー準位を回復すること。
• エネルギー期待値を極小および極大化する混合状態密度行列の特徴付けにより、最小および最大の平均エネルギー値を同定すること。
• ハミルトニアンに限らず、任意のエルミート演算子に対しても、SU(d)リー代数からの代数的道具を用いてこの手法を拡張すること。
• 正定値性および極値性の条件に対して、特徴多項式やベズウチアン行列などの代数的技法を統合・適用すること。

提案手法

• SU(d)生成子とトレースがゼロのエルミート演算子を用いて、ハミルトニアンおよび密度行列を一般化されたBlochベクトル形式で表現する。
• SU(d)の反対称構造定数f_ijkを用い、Blochベクトル成分λ_kに関する不定線形方程式系を構築する。
• 自由パラメータを導入し、密度行列の特徴多項式を適用することで、極値解を求める。
• 密度行列の正定値性を、ベズウチアン行列およびその主小行列式を用いて強制する。これにより、有効な量子状態が保証される。
• Cayley-Hamiltonの定理を用いて、固有値のべき和t_kを特徴多項式の係数c_kで表す。
• d=2,3,4について、ベズウチアン行列B_dの行列式および小行列式の解析により、明示的な正定値性制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 与えられたハミルトニアンに対して、クイジット系における極値密度行列をどのように系統的に計算できるか。
• RQ2 極値状態を特定するにあたり、Blochベクトル、SU(d)構造定数、ハミルトニアンパラメータの間の代数的構造は何か。
• RQ3 混合状態の極値密度行列は、純粋状態のエネルギー準位によって境界づけられる平均エネルギー値とどのように関係するか。
• RQ4 d=2,3,4について、固有値の対称関数を用いたクイジット密度行列の完全な正定値性条件は何か。
• RQ5 同じ代数的枠組みを用いて、ハミルトニアンに限らず任意のエルミート演算子に対してもこの手法を一般化できるか。

主な発見

• 純粋状態の場合、極値密度行列はハミルトニアンのエネルギー準位を完全に再構成し、すべての固有値とその射影演算子を含む。
• 混合状態の場合、この手法により、ハミルトニアンの最小固有値と最大固有値の間で境界づけられた極値平均エネルギー値が特定される。
• 与えられたエネルギー期待値に対して、極値混合状態の数は、解空間の対称性により最大でd!個に制限される。
• d=2の場合、正定値性条件はc₂ ≤ 1/4に簡略化され、既知のBloch球制約と整合する。
• d=3の場合、(c₂, c₃)の整合性領域は3つの不等式で境界づけられる：0 ≤ c₂ ≤ 1/3、0 ≤ c₃ ≤ 1/27、およびc₂とc₃を含む四次式の行列式不等式。
• d=4の場合、ベズウチアン行列B₄の小行列式から得られる5つの不等式が、完全な正定値性条件を構成する。特にdet(B₄) ≥ 0が最も制限が厳しい。解空間は、退化した固有値配置に対応する表面を持つ3次元立体を形成する。