[論文レビュー] Continuity of CP-semigroups in the point-strong operator topology

Daniel Markiewicz, Orr Moshe Shalit|arXiv (Cornell University)|Nov 1, 2007

Advanced Operator Algebra Research参考文献 7被引用数 11

ひとこと要約

この論文は、フォン・ノイマン代数上の任意のCP-半群が点単一作用素位相で連続であることを確立している。つまり、すべての作用素 A ∈ M およびベクトル ξ ∈ H に対して、写像 t ↦ φₜ(A)ξ はノルム連続である。この結果により、文献に存在していたギャップが解消され、両側連続性が証明された。これは、CP-半群をE₀-半群に拡張するための構成に不可欠である。

ABSTRACT

We prove that if $\{ϕ_t\}_{t \geq 0}$ is a CP-semigroup acting on a von Neumann algebra $M \subseteq B(H)$, then for every $A\in M$ and $ξ\in H$, the map $t \mapsto ϕ_t(A)ξ$ is norm-continuous. We discuss the implications of this fact to the existence of dilations of CP-semigroups to semigroups of endomorphisms.

研究の動機と目的

• CP-半群の点単一作用素位相における連続性を確立すること。これは、従来の文献では仮定されていたか、部分的にしか証明されていなかった性質である。
• CP-半群の基礎理論におけるギャップを埋めるために、右連続性だけでなく両側連続性を証明すること。
• CP-半群をE₀-半群に拡張する存在のための厳密な基礎を提供すること。これは、量子確率過程および作用素代数において極めて重要である。
• 従来の拡張定理の証明が、点単一連続性を仮定していたが、完全には正当化されていなかったという問題を解決すること。
• CP-半群の生成作用素 δ がMの稠密な定義域上で閉作用素として作用することを示し、関数解析的ツールの使用を可能にする。

提案手法

• 先行研究で示された事実を利用：すべての A ∈ M および ξ ∈ H に対して、写像 t ↦ φₜ(A)ξ はノルムで右連続である。
• 関数 f(t) = φₜ(A)ξ のボッハナー可積分性を用い、近似列 Aₙ = n∫₀¹ᐟⁿ φₜ(A) dt を構成する。
• Aₙ ∈ D(δ)（生成作用素 δ の定義域）であることを示し、Aₙ が σ-strong* 位相で A に収束することを示す。
• 一様有界性の原理を用いて、s に依存しない φₛ(Aₙ) − Aₙ のノルムを一様に制御する。
• σ-strong* 位相における乗法の jointly 連続性と、σ(M*, M) 位相における汎関数の収束を用いて一様推定を得る。
• 文献[8]の補題III.5.5（σ-strong*-零列上で汎関数の一様収束に関するもの）を適用し、φₜₖ(Aₙ)ξ − φₜ₀(Aₙ)ξ の差を k に一様に制御する。

実験結果

リサーチクエスチョン

• RQ1 フォン・ノイマン代数上のCP-半群は点単一作用素位相で連続か、すなわちすべての A ∈ M および ξ ∈ H に対して t ↦ φₜ(A)ξ がノルム連続であるか？
• RQ2 CP-半群の点単一位相における右連続性を、両側連続性に強化できるか？
• RQ3 M 内の稠密な定義域上で生成作用素 δ が存在することは、強い連続性を示すのに十分な正則性をもたらすか？
• RQ4 ヒルベルト空間の分離性を仮定せずに、CP-半群の点単一位相における連続性を確立できるか？
• RQ5 点単一連続性は、拡張理論においてE₀-半群への拡張をどのように支援するか？

主な発見

• すべての A ∈ M および ξ ∈ H に対して、写像 t ↦ φₜ(A)ξ はノルム連続であり、点単一作用素位相における連続性が確立された。
• 証明は、A を σ-strong* 位相で収束する D(δ) 内の要素 Aₙ による近似に依存している。
• 列 Aₙ は Aₙ = n∫₀¹ᐟⁿ φₜ(A) dt として構成され、これは D(δ) に属し、ノルムで有界である。
• 一様有界性の原理と乗法の σ-strong* 連続性を用いて一様推定を得た。
• 固定された n に対して、φₜₖ(Aₙ)ξ → φₜ₀(Aₙ)ξ は k に一様に成り立つため、三角不等式の議論が可能になった。
• 最終的な推定により、‖φₜₖ(A)ξ − φₜ₀(A)ξ‖ < ε が十分大きな k に対して成り立つことが示され、両側連続性が証明された。