[論文レビュー] Correlation inequalities for Schrödinger operators

Tadahiro Miyao|arXiv (Cornell University)|Aug 2, 2016

Spectral Theory in Mathematical Physics参考文献 28被引用数 3

ひとこと要約

本稿は、自己双対な錐と正性構造を用いて、シュレーディンガー作用素の基底状態に関する作用素論的相関不等式を確立し、グリフィスの不等式を量子多体系に拡張する。強い解像度収束とエルゴード性条件を活用することで、基底状態期待値が非負性および正の相関不等式を満たすことを証明し、量子系におけるもつれと相関に関する普遍的な定性的な知見を提供する。

ABSTRACT

This paper analyzes Schödinger operators from viewpoint of correlation inequalities. We construct Griffiths inequalities for the ground state expectations by applying operator-theoretic correlation inequalities. As an example of such an application, we analyze the momentum distribution, i.e., the Fourier transform of the ground state density.

研究の動機と目的

• シュレーディンガー作用素の基底状態の相関構造を作用素論的手法を用いて分析すること。
• 従来、古典的イジング模型で知られていたグリフィスの不等式を、シュレーディンガー作用素で記述される量子多体系に拡張すること。
• ヒルベルト空間における自己双対な錐を用いて、反転正則性、スピン反転正則性、および相関不等式の枠組みを統一すること。
• 正性と作用素不等式を用いた一般的でモデルに依存しない方法を提供し、量子系における相関ともつれを研究すること。
• 複雑なポテンシャルが存在する場合でも、基底状態期待値が非負性および正の相関を保つための条件を確立すること。

提案手法

• ヒルベルト空間における自己双対な錐を用いて、作用素の正性構造を定義し、作用素論的相関不等式の定式化を可能にする。
• 適切な収束条件の下で、シュレーディンガー作用素の解像度を正の作用素の級数として表すために、デュハメル展開を適用する。
• 近似作用素 $H_n = -\Delta - V_n$ の強い解像度収束が全ハミルトニアン $H = -\Delta - V$ に及ぶことを用いて、スペクトル安定性を保証する。
• 摂動作用素 $B$ が正の錐 $\mathfrak{P}$ に関してエルゴード的であることを仮定することで、全時間発展半群 $e^{-\beta H}$ の正性を保証する。
• 正の半群および錐正性の理論を適用し、適切な条件下で $e^{-\beta H} \rhd 0$（厳密に正）であることを証明する。
• もし $A \unrhd 0$ かつ $u > 0$ が $\mathfrak{P}$ に関して成り立つならば $\langle u|Au\rangle = 0$ ならば $A = 0$ であるという事実を用いて、基底状態の一意性と無還元性を確立する。

実験結果

リサーチクエスチョン

• RQ1 古典的イジング模型で知られていたグリフィス型相関不等式は、シュレーディンガー作用素で記述される量子多体系に拡張可能か？
• RQ2 ポテンシャル $V$ およびハミルトニアン $H = -\Delta - V$ がどのような条件下に、基底状態期待値が非負性および正の相関を満たすか？
• RQ3 自己双対な錐と正性構造を用いた作用素論的手法は、反転正則性と相関不等式を統一的に扱うためにどのように利用可能か？
• RQ4 摂動 $B$ のエルゴード性は、半群 $e^{-\beta H}$ の厳密な正性、ひいては基底状態行列要素の正性を保証するために果たす役割は何か？
• RQ5 この手法は、単粒子系を越えて多体系シュレーディンガー作用素に一般化可能か？

主な発見

• 仮定 (A)、(B)、(C) を満たすシュレーディンガー作用素に対して、基底状態期待値 $\langle \sigma_A \rangle$ が非負であることを証明し、第一グリフィス不等式の一般化を達成した。
• すべての部分集合 $A, B \subseteq \Lambda$ に対して、相関 $\langle \sigma_A \sigma_B \rangle - \langle \sigma_A \rangle \langle \sigma_B \rangle \geq 0$ が成り立つことを確立し、第二グリフィス不等式を量子系に拡張した。
• 半群 $e^{-\beta H}$ の正性は、$e^{-\beta A} \unrhd 0$ および $B$ が自己双対錐 $\mathfrak{P}$ に関してエルゴード的であるという条件下で保存され、一意な正の基底状態の存在を保証した。
• 証明はデュハメル展開および時間変数 $s_1, \dots, s_n$ における行列要素の連続性に依拠しており、非負連続関数の積分が正のままであることを保証する。
• もし $A \unrhd 0$ かつ $u > 0$ が $\mathfrak{P}$ に関して成り立つならば $\langle u|Au\rangle = 0$ ならば $A = 0$ であるという事実を示し、基底状態の一意性および厳密な正性の証明に不可欠な役割を果たした。
• この手法は、与えられた可積分性条件の下で、複雑な相互作用や特異ポテンシャルを有する系を扱える十分に一般な枠組みであるため、多体系シュレーディンガー作用素に適用可能である。