[论文解读] From slightly coloured noises to unitless product systems

Boris Tsirelson|ArXiv.org|Jun 22, 2000

Functional Equations Stability Results参考文献 12被引用 11

一句话总结

本文通过使用谱密度缓慢衰减的轻微彩色高斯平稳噪声，构建了一个非同构无单位产品系统的连续统。通过分析其相关的希尔伯特空间结构及其张量积性质，证明了存在不可数多个非同构的无单位产品系统，从而解决了阿夫森长期提出的关于此类系统丰富性的问题。

ABSTRACT

Stationary Gaussian generalized random processes having slowly decreasing spectral densities give rise to product systems in the sense of William Arveson (basically, continuous tensor product systems of Hilbert spaces). A continuum of nonisomorphic unitless product systems is produced, answering a question of Arveson.

研究动机与目标

• 解决威廉·阿夫森关于无单位产品系统连续统存在的开放性问题。
• 为产品系统理论，特别是缺乏单位的产品系统，提供丰富的例子来源。
• 确立轻微彩色噪声——即谱密度缓慢下降的高斯过程——可产生无单位产品系统。
• 表明噪声中的空间相关性会被系统量子态继承，从而影响子系统的渐近独立性。
• 表明子系统的渐近行为在很大程度上取决于谱衰减率中的参数 α，该参数影响相关性和方差行为。

提出的方法

• 构造一个谱密度在小 $ t $ 处衰减为 $ \frac{1}{|t|\ln^\alpha(1/|t|)} $ 的高斯平稳广义随机过程，其中 $ \alpha > 1 $。
• 将希尔伯特空间 $ H_{a,b} $ 定义为区间 $ (a,b) $ 上函数的 $ L^2 $-空间，形成连续张量积系统。
• 利用范数为 1 的单位向量 $ \psi_{a,b} $ 满足 $ \psi_{a,b} \otimes \psi_{b,c} = \psi_{a,c} $ 来定义乘法结构。
• 引入测度 $ \mu = |\psi_{0,1}|^2 $，其关于原始概率测度 $ \mathcal{P} $ 绝对连续，以分析独立性与收敛性。
• 在测度 $ \mu $ 下分析序列 $ g_n \to g $ 与 $ h_n \to g $ 在 $ L^0 $-范数下的收敛性，其中对每个 $ n $，$ g_n $ 与 $ h_n $ 相互独立。
• 通过证明 $ g $ 必须 $ \mu $-几乎处处为常数，但不在原始高斯测度 $ \gamma $ 下为常数，从而导出矛盾，意味着 $ \|g\|_{G_{0,1}} = 0 $，这与非退化性矛盾。

实验结果

研究问题

• RQ1 能否从自然的概率源构造出无单位产品系统的连续统？
• RQ2 高斯过程中谱密度的缓慢衰减如何影响相关产品系统的结构？
• RQ3 在无单位产品系统中，空间相关性起什么作用？
• RQ4 子系统的渐近行为如何依赖于谱衰减率 $ \sim \frac{1}{|t|\ln^\alpha(1/|t|)} $ 中的参数 $ \alpha $？
• RQ5 在何种条件下子系统趋于渐近独立或相关？这种行为如何反映在方差与相关系数上？

主要发现

• 通过使用谱衰减 $ \sim \frac{1}{|t|\ln^\alpha(1/|t|)} $（其中 $ \alpha > 1 $）的轻微彩色噪声，构建了无单位产品系统的连续统。
• 当 $ \varepsilon_n \ln^{\alpha-1} n \to \infty $ 时，随机变量 $ Z_n \to Z $ 在 $ L^2 $ 中收敛，表明时间平均积分的收敛性。
• 当 $ \varepsilon_n \ln^{\alpha-1} n \to 0 $ 时，$ \text{Var}(Z_n) \to \infty $ 且 $ \text{Corr}(Z_n, Z) \to 0 $，表明相关性丧失。
• 若 $ \lim_n (\varepsilon_n \ln^{\alpha-1} n) \in (0, \infty) $，则 $ \lim_n \text{Var}(Z_n) \in (0, \infty) $ 且 $ \lim_n \text{Corr}(Z_n, Z) \in (0,1) $，表明存在稳定且非退化的相关性。
• 通过反证法证明了无单位产品系统的存在性：假设存在单位将导致一个随机变量独立于自身，因而 $ \mu $-几乎处处为常数，但这与原始高斯测度下的非退化性矛盾。
• 该构造证实了噪声中的空间相关性被继承至量子态，从而阻止所有有限子系统同时实现解纠缠。