[论文解读] 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)ξ 在 [0,1] 上的Bochner可积性，构造逼近序列 Aₙ = n∫₀¹ᐟⁿ φₜ(A) dt。
• 证明 Aₙ 属于生成元 δ 的定义域 D(δ)，且 Aₙ 按 σ-强* 拓扑收敛于 A。
• 使用一致有界性原理，对所有 s 一致控制 ‖φₛ(Aₙ) − Aₙ‖ 的范数。
• 利用乘法在 σ-强* 拓扑下的联合连续性，以及在 σ(M*, M) 拓扑下泛函的收敛性，获得一致估计。
• 应用文献 [8] 中的引理 III.5.5（关于泛函在 σ-强* 零序列上的一致收敛性），一致控制差值 φₜₖ(Aₙ)ξ − φₜ₀(Aₙ)ξ。

实验结果

研究问题

• RQ1 冯诺依曼代数上的CP-半群是否在点强算子拓扑下连续，即对所有 A ∈ M 和 ξ ∈ H，映射 t ↦ φₜ(A)ξ 是否保持范数连续？
• RQ2 CP-半群在点强拓扑下的右连续性能否加强为双边连续性？
• RQ3 若生成元 δ 在 M 的稠密定义域上存在，是否足以保证强连续性？
• RQ4 是否可在不假设希尔伯特空间可分的前提下，建立CP-半群在点强拓扑下的连续性？
• RQ5 点强连续性如何支持在扩张理论中将CP-半群构造为E₀-半群？

主要发现

• 对所有 A ∈ M 和 ξ ∈ H，映射 t ↦ φₜ(A)ξ 是范数连续的，从而确立了在点强算子拓扑下的连续性。
• 该证明依赖于用属于 D(δ) 的元素 Aₙ 逼近 A，且 Aₙ 按 σ-强* 拓扑收敛于 A。
• 序列 Aₙ 构造为 Aₙ = n∫₀¹ᐟⁿ φₜ(A) dt，该序列属于 D(δ) 且范数有界。
• 通过一致有界性原理和乘法在 σ-强* 拓扑下的连续性，获得一致估计。
• 对固定的 n，收敛 φₜₖ(Aₙ)ξ → φₜ₀(Aₙ)ξ 在 k 上是一致的，从而可使用三角不等式。
• 最终估计表明：当 k 足够大时，有 ‖φₜₖ(A)ξ − φₜ₀(A)ξ‖ < ε，从而证明了双边连续性。