[论文解读] 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 关于积系统提出的三个开放问题提供了简单且明确的答案。研究证明，不同 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 提出的关于连续张量积系统分类与结构的三个开放问题。
• 通过 Bessel 过程的零集而非布朗运动，构建丰富且显式的积系统示例。
• 研究由随机零集导出的积系统的对称性与同构性质。
• 阐明无限非闭集在时间反演与同构下区分积系统中的作用。
• 证明随机集的测度型因子分解方法在某些 Arveson 问题上比噪声理论方法更简单直接。

提出的方法

• 将随机集 $ Z_{t,a} = \{ s \in [0,t] : B(s) = a \} $ 定义为水平值为 $ a $ 的布朗运动的零集，其取值于 $ [0,t] $ 的闭子集空间 $ \mathcal{C}_t $。
• 证明 $ Z_{t,a} $ 的分布 $ P_{t,a} $ 在所有 $ a > 0 $ 下等价，从而在 $ \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 过程零集构造的积系统是否彼此同构？
• RQ2 积系统的对称性能否由其关联随机集的结构决定，特别是无限非闭集的存在？
• RQ3 时间反演映射是否保持积系统希尔伯特空间中向量所诱导测度的性质？
• RQ4 是否存在一种零集结构不变量，可区分非对称积系统与对称积系统？
• RQ5 随机集的测度型因子分解方法是否能为 Arveson 的问题提供比噪声理论方法更简单直接的答案？

主要发现

• 由索引 $ \nu \neq 1 $ 的 Bessel 过程零集构造的积系统与由布朗运动构造的积系统非同构，从而提供了不可数个非同构积系统的连续族。
• 对任意 $ t > 0 $，若 $ S'' \neq \emptyset $，则集合 $ \{ C \in \mathcal{C}_t : C'' \neq \emptyset \} $ 对 $ \mathcal{P}_{t,S} $ 的测度为正，表明零集中存在无限非闭集。
• 算子 $ Q'_{t,E} $（投影到其导集 $ C' $ 包含于 $ E $ 的集合上）在积系统的同构下保持不变。
• 测度 $ |\psi|'^2 $（即 $ |\psi|^2 $ 沿映射 $ C \mapsto C' $ 的推出）在同构下保持不变，尽管 $ \psi|^2 $ 本身并非如此。
• 范数差 $ \| U_{t,p,n,u} - U_{t,p,n,v} \| \leq \sqrt{1 - e^{-2\gamma t(1-p)}} $，当 $ p \to 1 $ 时趋于零，因此 $ \| U_{t,1-,u} - U_{t,1-,v} \| = 0 $，表明极限算子与 $ u $ 的选择无关。
• 若 $ S'' \neq \emptyset $，则积系统 $ (H_{t,S}) $ 为非对称的，其证明采用反证法：假设对称性将与 $ \{ C : C'' \neq \emptyset \} $ 在时间反演下非可忽略性矛盾。