[论文解读] Unitary Brownian motions are linearizable

Boris Tsirelson|ArXiv.org|Jun 19, 1998

Quantum Information and Cryptography参考文献 28被引用 28

一句话总结

本文证明了无限维酉群 U(H) 中的任意酉布朗运动均可线性化，即其可表示为与可数个独立一维布朗运动通过连续张量积结构相关联的连续过程。关键结果是此类运动源于一个在可分 F-空间（非局部凸）上的高斯过程，其生成元由半群期望与希尔伯特-施密特迹唯一确定，借助连续量子测量与泛函分析工具实现。

ABSTRACT

Brownian motions in the infinite-dimensional group of all unitary operators are studied under strong continuity assumption rather than norm continuity. Every such motion can be described in terms of a countable collection of independent one-dimensional Brownian motions. The proof involves continuous tensor products and continuous quantum measurements. A by-product: a Brownian motion in a separable F-space (not locally convex) is a Gaussian process.

研究动机与目标

• 确定 U(H) 中的酉布朗运动是否可线性化，即能否通过连续张量积结构与一列独立一维布朗运动实现完美相关。
• 解决关于无限维群中布朗运动的描述性（平稳独立增量）与构造性（基于生成元）定义是否等价的基础性问题。
• 将线性化理论从李群扩展至非李群（如 U(H)），使用连续张量积与量子随机过程。
• 证明 SU(d) 中布朗运动的生成元由期望半群与希尔伯特-施密特迹唯一确定。
• 证明在非局部凸 F-空间（如 0<p<1 时的 L_p）中，尽管不存在非零连续线性泛函，布朗运动仍为高斯过程。

提出的方法

• 本文提出基于连续概率空间张量积的线性化判据，推广了 Feldman 与 Tsirelson-Vershik 的框架。
• 将酉布朗运动建模为随机过程 X(t) = exp(iA(t))，其中 A(t) 为取值于 U(H) 的李代数的厄米特值过程。
• 通过希尔伯特-施密特内积与迹提取 A(t) 的无穷小特征，特别是当 t→0 时的 E[A(t)] 与 E[A²(t)]。
• 建立与酉布朗运动相关的量子随机过程的局部有限性，从而通过量子测量理论推导出线性化。
• 证明依赖于半群 (T_t) 作用于希尔伯特-施密特算子，可唯一确定 A(t) 的一、二阶矩，进而确定其生成元。
• 分析将 A(t) 分解为迹零部分 A₀(t) 与标量部分 λ(t)·1_H，使得二者可分别由 (x_t) 与 (T_t) 确定其无穷小特征。

实验结果

研究问题

• RQ1 U(H) 中的任意酉布朗运动是否均可线性化，即能否通过连续张量积结构与一列独立一维布朗运动实现完美相关？
• RQ2 酉布朗运动的生成元是否由期望半群 (x_t) 与希尔伯特-施密特迹半群 (T_t) 唯一确定？
• RQ3 在非局部凸 F-空间（如 0<p<1 时的 L_p）中，由于缺乏连续线性泛函，是否阻碍布朗运动成为高斯过程？
• RQ4 能否通过连续量子测量与张量积，将无限维群中布朗运动的构造方法从李群推广至更广范围？
• RQ5 U(H) 中布朗运动的线性化是否可继承至可连续单射同态嵌入 U(H) 的群，如 (0,1) 上保测度变换群？

主要发现

• U(H) 中的任意酉布朗运动均可线性化，即其样本路径与一列独立一维布朗运动之间存在完美相关。
• SU(d) 中布朗运动的无穷小生成元由作用于希尔伯特-施密特算子的半群 (T_t) 与期望半群 (x_t) 唯一确定。
• 厄米特过程 A(t) 的一、二阶矩（即 E[A(t)] 与 E[A²(t)]）由 (x_t) 与 (T_t) 唯一确定，且迹零部分 A₀(t) 与标量部分 λ(t)·1_H 可分别识别。
• U(H) 中的随机过程 X(t) = exp(iA(t)) 为高斯过程，其有限维分布由 A(t) 的一、二阶矩唯一决定，即使 H 非局部凸。
• 在可分 F-空间（如 0<p<1 时的 L_p）中，布朗运动为高斯过程，尽管不存在非零连续线性泛函。
• U(H) 的线性化性质意味着任何可连续单射同态嵌入 U(H) 的群（如 (0,1) 上保测度变换群）也具有线性化性质。