[論文レビュー] E_0-dilation of strongly commuting CP_0-semigroups

Orr Moshe Shalit|ArXiv.org|Jul 12, 2007

Advanced Operator Algebra Research参考文献 6被引用数 8

ひとこと要約

本稿は、von Neumann代数上の任意の強可換CP₀-半群の対が最小E₀拡大をもつことを証明しており、2段階の構成法を用いる：まず、2パラメータの対応関係の積系を用いて可換な半群を表現する。次に、関連する完全共等長表現を等長的に拡大する。主な結果は、すべてのこのような対に対して最小E₀拡大が存在することであり、特にすべての有限次元B(H)上の可換CP₀-半群を含む。

ABSTRACT

We prove that every strongly commuting pair of CP_0-semigroups has a minimal E_0-dilation. This is achieved in two major steps, interesting in themselves: 1: we show that a strongly commuting pair of CP_0-semigroups can be represented via a two parameter product system representation; 2: we prove that every fully coisometric product system representation has a fully coisometric, isometric dilation. In particular, we obtain that every commuting pair of CP_0-semigroups on B(H), H finite dimensional, has an E_0-dilation.

研究の動機と目的

• von Neumann代数上の強可換CP₀-半群の対に対して最小E₀拡大の存在を確立すること。
• 単一パラメータのCP₀-半群に対する拡大理論を、積系を用いた2パラメータ半群へと拡張すること。
• 強可換性が2パラメータ半群の積系表現の構成を可能にする役割を明確にすること。
• すべての有限次元B(H)上の可換CP₀-半群が最小E₀拡大をもつことを示すこと。
• k次元半群（ℝ₊ᵏ上）への拡大枠組みの一般化。

提案手法

• von Neumann代数ℳ ⊆ B(H) 上の強可換CP₀-半群の対を、ℝ₊² 上のM′-対応関係の2パラメータ積系で表現する。
• 元のヒルベルト空間H上に、完全共等長的かつ完全に圧縮的な共変表現(σ, T)を構成する。
• 積系表現をヒルベルト空間上の圧縮的半群として表現する新しい手法を適用し、拡大を可能にする。
• 共変表現(σ, T)を、より大きなヒルベルト空間K上での等長的かつ完全共等長的な共変表現(ρ, V)に拡大する。
• 等長的拡大を用いてE₀拡大(K, u, ℛ, α)を構成する。ここでℛ = ρ(M′)′であり、αₛ(b) = Vₛ(I ⊗ b)Vₛ*により定義される。
• 拡大の最小性を証明し、ℳ = B(H)のときℛ = B(K)であることを示す。

実験結果

リサーチクエスチョン

• RQ1 von Neumann代数上の任意の強可換CP₀-半群の対は、E₀-半群に拡大可能か？
• RQ2 2パラメータCP₀-半群に対してE₀拡大が存在するための構造的条件は何か？
• RQ3 強可換性は、2パラメータ半群の積系表現の構成とどのように関係するか？
• RQ4 特に有限次元設定において、E₀拡大が最小のまま保たれる条件は何か？
• RQ5 kパラメータ半群（ℝ₊ᵏ上）への拡大枠組みは拡張可能か？

主な発見

• 任意のvon Neumann代数ℳ ⊆ B(H) 上の強可換CP₀-半群の対は、最小E₀拡大をもつ。
• この構成は、ℳ′-対応関係の2パラメータ積系と完全共等長的共変表現の表現に依存する。
• ℝ₊ᵏ 上の積系の完全共等長的かつ完全に圧縮的な共変表現は、すべて等長的かつ完全共等長的な拡大をもつ。
• 有限次元Hに対して、B(H)上の任意の可換CPマップのペアは強可換であるため、すべてのsuch CP₀-半群は最小E₀拡大をもつ。
• ℳ = B(H)のとき、E₀拡大は最小であり、ℛ = B(K)を満たす。これにより、拡大された代数の最大性が保証される。
• 強可換性は自発的ではない。無限小生成子が既約なストキャスティック行列であっても反例は存在するが、このような行列から生成される半群では成立する。