[論文レビュー] From random sets to continuous tensor products: answers to three questions of W. Arveson

Boris Tsirelson|ArXiv.org|Jan 12, 2000

Stochastic processes and financial applications参考文献 8被引用数 33

ひとこと要約

本稿は、Bessel過程の零点集合からヒルベルト空間の連続的テンソル積系を構成し、W. Arvesonが提起した積系に関する3つの未解決問題に対して、単純で明示的な解答を提供する。これらの系が異なるBessel過程のパラメータに対して非同型であることを確立し、時間反転における無限で閉じていない零点集合の不変性を用いて、特定の積系の非対称性を証明する。

ABSTRACT

The set of zeros of a Brownian motion gives rise to a product system in the sense of William Arveson (that is, a continuous tensor product system of Hilbert spaces). Replacing the Brownian motion with a Bessel process we get a continuum of non-isomorphic product systems.

研究の動機と目的

• W. Arvesonが提起した、連続的テンソル積系の分類と構造に関する3つの未解決問題に応えること。
• ブラウン運動の代わりにBessel過程の零点集合を用いて、豊富で明示的な積系の例のソースを構築すること。
• 確率的過程の零点集合から得られる確率的集合の構造を用いて、積系の対称性と同型性の性質を調査すること。
• 無限で閉じていない集合が時間反転と同型性の文脈で積系を区別する役割を果たすことを明確にすること。
• 確率的集合からの測度型因子分解が、特定のArvesonの問題に対して、ノイズ理論的手法よりも単純で直接的な解決を提供することを示すこと。

提案手法

• ブラウン運動のレベル $ a $ における零点集合 $ Z_{t,a} = \{ s \in [0,t] : B(s) = a \} $ を定義し、$ [0,t] $ の閉集合の空間 $ \mathcal{C}_t $ に値をとる確率的集合とする。
• すべての $ a > 0 $ に対して、$ Z_{t,a} $ の分布 $ P_{t,a} $ が等価であることを示し、$ \mathcal{C}_t $ 上の測度型空間 $ \mathcal{P}_t $ を一意に定義する。
• 積測度 $ \mathcal{P}_s \otimes \mathcal{P}_t $ が $ \mathcal{P}_{s+t} $ と等価であることを証明し、$ L_2(\mathcal{C}_t, \mathcal{P}_t) $ を用いて連続的テンソル積系を構成する。
• 集合に特定の集積点または閉包性質を持つものに射影する演算子 $ Q_{t,u} $ および $ Q'_{t,E} $ を定義し、それらが同型写像に関して不変であることを示す。
• 時間反転写像 $ R_t(C) = t - C $ と、同型写像に関して不変である $ |\psi|'^2 $ を用いて、積系の対称性を分析する。
• 零点集合構造の時間発展をモデル化するマコフ過程 $ X(t) $ を導入し、無限で閉じていない集合 $ C'' $ の存在を反映するジャンプを用いて、非対称性を検出する。

実験結果

リサーチクエスチョン

• RQ1 Bessel過程のインデックス $ \nu \neq 1 $ を持つ零点集合から構成される積系は、ブラウン運動から得られる積系と同型であるか？
• RQ2 積系の対称性は、関連する確率的集合の構造、特に無限で閉じていない集合の存在によって特定できるか？
• RQ3 時間反転写像は、積系のヒルベルト空間のベクトルから誘導される測度を保存するか？
• RQ4 確率的過程の零点集合に、非対称な積系と対称な積系を区別する構造的不変量が存在するか？
• RQ5 確率的集合からの測度型因子分解アプローチは、ノイズ理論的手法よりもArvesonの問題に対してより単純な解答を提供できるか？

主な発見

• インデックス $ \nu \neq 1 $ のBessel過程の零点集合から構成される積系は、ブラウン運動から得られる積系と非同型であり、非同型な積系の連続的族を提供する。
• 任意の $ t > 0 $ に対して、$ \{ C \in \mathcal{C}_t : C'' \neq \emptyset \} $ は $ \mathcal{P}_{t,S} $-測度が正である（$ S'' \neq \emptyset $ ならば）、無限で閉じていない集合が零点集合に存在することを示唆する。
• $ C' \subset E $ を満たす集合に射影する演算子 $ Q'_{t,E} $ は、積系の同型写像に関して不変である。
• $ C \mapsto C' $ による $ |\psi|^2 $ のプッシュフォワードとして定義される測度 $ |\psi|'^2 $ は、同型写像に関して不変であるが、$ |\psi|^2 $ 自体は不変ではない。
• ノルムの差 $ \| U_{t,p,n,u} - U_{t,p,n,v} \| \leq \sqrt{1 - e^{-2\gamma t(1-p)}} $ は $ p \to 1 $ のとき0に収束するため、$ \| U_{t,1-,u} - U_{t,1-,v} \| = 0 $ となり、極限演算子が $ u $ の選択に依存しないことが示される。
• $ S'' \neq \emptyset $ ならば、$ (H_{t,S}) $ は非対称である。背理法により示される：対称性を仮定すると、時間反転下で $ \{ C : C'' \neq \emptyset \} $ が非無視的であることに矛盾する。