[論文レビュー] Stochastic Dilation of Symmetric Completely Positive Semigroups

Debashish Goswami, Kalyan B. Sinha|ArXiv.org|Jan 3, 2002

Random Matrices and Applications参考文献 17被引用数 3

ひとこと要約

本稿は、半有限トレースとリー群の共変性を仮定する下で、C*-代数またはフォン・ノイマン代数上の対称的で共変的かつ完全正値半群に対して、非有界生成元を伴う量子確率的拡張が存在することを確立する。ヒルベルト空間技法とエヴァンズ＝ハドソンフロー構成を用いて、そのような半群が数値インデックスがノイズ空間の次元に等しい最小でHP型の拡張を有することを証明する。

ABSTRACT

This is a continuation of the study of the theory of quantum stochastic dilation of completely positive semigroups on a von Neumann or $C^*$ algebra, here with unbounded generators. The additional assumption of symmetry with respect to a semifinite trace allows the use of the Hilbert space techniques, while the covariance gives rise to better handle on domains. An Evans-Hudson flow is obtained, dilating the given semigroup.

研究の動機と目的

• 非有界生成元を伴う完全正値半群への量子確率的拡張理論の拡張、これは以前は有界生成元に限られていた。
• 生成元が非有界である場合に量子確率的微分方程式における定義域制御の技術的課題に対処すること。
• 半有限トレースにおける対称性とリー群作用による共変性を活用し、ヒルベルト空間技法と定義域制御を可能にすること。
• 与えられた半群を拡張するエヴァンズ＝ハドソンフローを構成し、最小性とアーヴェソン＝パワーズインデックス理論との整合性を保証すること。
• 拡張におけるノイズ空間の次元と、アーヴェソンとパワーズが定義する半群の数値インデックスとの関係を確立すること。

提案手法

• 半有限トレースに付随するGNS構成を用いて代数をヒルベルト空間に埋め込み、ヒルベルト空間技法を可能にする。
• 第二可算なリー群作用による共変性を課し、ヒルベルト空間上での関連ユニタリ表現が強く連続であることを保証する。
• 微分作用素とユニタリ群の生成元の繰り返し作用により誘導されるフレシェ位相を用いて、代数およびヒルベルト空間内の滑らかなベクトルを定義する。
• 量子確率的微分方程式の係数の定義域制御に、モハリ＝シンハ条件を適用する。
• 最小ノイズ空間条件を用いて最小性を保証するHP拡張フレームワークを用いてエヴァンズ＝ハドソンフローを構成する。
• 演算子の$L^2$-独立性を用いて、ヒルベルト空間上の拡張半群の数値インデックスがノイズ空間の次元に等しいことを示す。

実験結果

リサーチクエスチョン

• RQ1 トレース構造と共変性構造を用いて、非有界生成元を伴う完全正値半群への量子確率的拡張を拡張可能か？
• RQ2 生成元が非有界である場合に、量子確率的微分方程式における定義域問題をどのように制御できるか？
• RQ3 リー群の共変性と半有限トレースは、ヒルベルト空間に基づく拡張技法を可能にする役割を果たすか？
• RQ4 エヴァンズ＝ハドソンフロー構成は、この一般化された設定において最小拡張をもたらすか？
• RQ5 拡張におけるノイズ空間の構造と半群の数値インデックスの関係は何か？

主な発見

• 本稿は、生成元が滑らかな部分代数$\mathcal{A}_\infty$上で定義されたC*-代数上の任意の共変的・対称的・保存的q.d.s.がエヴァンズ＝ハドソン型の拡張を有することを証明する。
• GNS構成のヒルベルト空間は$h_\infty = \mathcal{A}_\infty$を満たし、代数内の滑らかなベクトルとヒルベルト空間内の滑らかなベクトルが一致することを意味する。
• ヒルベルト空間上の拡張半群の最小拡張が、ビートとパルタサラシーの意味で最小であることが示され、Fock空間において拡張によって生成される全集合が稠密である。
• アーヴェソンとパワーズが定義する半群の数値インデックスは、ノイズ空間の次元$k_0$に等しい。
• 最小性の証明は、$h_\infty$上でのコア的議論と$k_0$の最小性仮定を用いて、家族$\{I, \tilde{R}_i\}$の$L^2$-独立性に依拠する。
• 係数の有界性を仮定しないでも結果が成り立つ。$h_\infty$-ベクトルの使用により、議論に十分な正則性が保証される。