[論文レビュー] Quantum dynamics on Orlicz spaces

Louis E. Labuschagne, W. A. Majewski|arXiv (Cornell University)|May 4, 2016

Advanced Operator Algebra Research参考文献 38被引用数 3

ひとこと要約

本稿では、非可換オルリッチ空間、特にペア $\langle L^{\cosh-1}, L\log(L+1)\rangle$ における量子ダイナミカルマップを確立する。これは、$L^1$ から $L^\infty$-型空間への完全正のマルコフマップの拡張を可能にする、新しい補間技法を導入することによって達成される。主な貢献は、KMS対称性を仮定しないままでも、量子ダイナミクス（ディリクレ型形式およびマルコフ半群を含む）をこれらのオルリッチ空間へと標準的に拡張できることであり、これは正則な量子系の統計力学の枠組みを完成させるものである。

ABSTRACT

Quantum dynamical maps are defined and studied for quantum statistical physics based on Orlicz spaces. This complements earlier work [W. A. Majewski, L.E. Labuschagne, Ann. H. Poincare. 15, 1197-1221, (2014)] where we made a strong case for the assertion that statistical physics of regular systems should properly be based on the pair of Orlicz spaces $\langle L^{\cosh - 1}, L\log(L+1) angle$. The present paper therefore in some sense "completes" the picture by showing that even in the most general non-commutative contexts, completely positive Markov maps satisfying a natural Detailed Balance condition, canonically admit an action on a large class of quantum Orlicz spaces. This is achieved by the development of a new interpolation technique, specifically suited to the above context, for extending the action of such maps to the appropriate intermediate spaces of the pair $\langle L^\infty,L^1 angle$. Moreover, it is shown that quantum dynamics in the form of Markov semigroups described by some Dirichlet forms naturally extends to the context proposed in [W. A. Majewski, L.E. Labuschagne, Ann. H. Poincare. 15, 1197-1221, (2014)].

研究の動機と目的

• オルリッチ空間に基づく量子統計力学の理論的枠組みを完成させるために、$L^1$ や $L^\infty$ を超える動的マップの拡張を行う。
• 従来、正則な量子系に適しているとされてきた、オルリッチペア $\langle L^{\cosh-1}, L\log(L+1)\rangle$ の一般の動的理論の欠如に応える。
• 非可換オルリッチ空間に特化した、中間空間への完全正のマルコフマップの拡張を可能にする新しい補間技法を開発する。
• ディリクレ型形式によって定義される量子マルコフ半群が、提示されたオルリッチ空間枠組みへ自然に拡張されることを示す。
• 物理的に制限的であることが多く、しばしば不自然なKMS対称性の仮定を排除しつつも、量子ダイナミクスの構造を保ち続ける。

提案手法

• 完全正のマルコフマップの $L^1$ から $L^\infty$-型空間への作用を拡張するための新しい補間技法が開発され、特にオルリッチペア $\langle L^{\cosh-1}, L\log(L+1)\rangle$ を標的としている。
• 構成はGNS表現とモジュラー作用素 $\Delta$ に依存し、自然な錐 $\mathcal{P}$ とモジュラー共役 $J$ を用いて、ヒルベルト空間レベルでのマップ作用を定義する。
• マップは $\widehat{T}(a\Omega) = T(a)\Omega$ という規定により定義され、モジュラー構造およびKMS条件と整合性を保つ。
• テンソル積 $\widehat{T} \otimes \mathds{1}$ を用いて、行列代数 $M_n(\mathfrak{M})$ へと理論が拡張され、正値性と詳細つり合い条件が保存される。
• このアプローチは $L^p$-空間補間に依存せず、動的構造をより大きなスーパースペースに埋め込むことで、オルリッチ文脈における補間を可能にする。
• 理論は非可換 $L^p$-空間上のディリクレ型形式に適用され、それに関連する半群がオルリッチ設定へ自然に拡張されることを示している。

実験結果

リサーチクエスチョン

• RQ1 詳細つり合い条件を満たす完全正のマルコフマップを、オルリッチ空間ペア $\langle L^{\cosh-1}, L\log(L+1)\rangle$ に標準的に拡張することは可能か？
• RQ2 非可換オルリッチ設定において、$L^1$ から $L^\infty$-型空間への量子ダイナミカルマップの拡張を可能にする一般の補間法は存在するか？
• RQ3 ディリクレ型形式によって定義される量子マルコフ半群は、KMS対称性を仮定しないまま、提示されたオルリッチ空間枠組みへ自然に拡張されるか？
• RQ4 KMS自己随伴性の仮定をせずとも理論を定式化できるか？そして、この緩和の物理的意味は何か？
• RQ5 既存の $L^p$-ベースのアプローチと比較して、提案された補間法は一般性および物理的適用性においてどのように異なるか？

主な発見

• 本稿では、完全正のマルコフマップをオルリッチ空間 $L^{\cosh-1}$ および $L\log(L+1)$ へ拡張可能にする新しい補間技法を構築し、正則な量子系のダイナミクス枠組みを完成させた。
• ディリクレ型形式に関連する量子マルコフ半群のダイナミクスが、提示されたオルリッチ空間枠組みへ自然に拡張されることを示した。
• 理論はKMS対称性の仮定を必要とせず、物理的に不自然であることが多く、より一般で物理的に現実的である設定を提供する。
• $\mathfrak{M}$ 上の単位的完全正のマップ $T$ によって誘導されるマップ $\widehat{T}$ は、すべての必要な構造的性質を満たす：$\Delta$ と可換であり、$J$-自己随伴であり、$\Omega$ を保存し、正の錐を自身へ写像する。
• $L^p$-ベースの補間の制限を避けるために、より大きなスーパースペースに埋め込むことで、非可換オルリッチ空間への適用における柔軟性と広範な適用可能性を高めた。
• 構成はGNS表現およびモジュラー理論と整合しており、非可換測度論的構造と整合性を保っている。