A complete ultrametric on von Neumann's incomplete tensor products

技术摘要：冯·诺依曼不完全张量积上的完备超度量

问题陈述
本文探讨了冯·诺依曼无穷张量积理论中，$C_0$-序列等价类集合 $\Gamma$ 的结构性质。在冯·诺依曼 1939 年的框架中，完全无穷张量积 $\bigop_{\iota \in I} \mathcal{H}_\iota$ 分解为由 $C_0$-序列等价类标记的“不完全”张量积的正交直和。两个序列被视为等价，若级数 $\sum_\iota |\langle \phi_\iota, \psi_\iota \rangle - 1|$ 收敛。虽然这个集合 $\Gamma$ 通常被视为一个具有巨大基数的无结构索引集，但本文指出，目前缺乏量化衡量不同类之间“不等价程度”的定量结构。核心问题在于定义一个作用在 $\Gamma$ 上的度量，以量化这种分离度，并分析其在乘积幺正演化背景下的拓扑与动力学性质。

方法论
作者假设索引集 $I$ 为带有标准枚举的自然数集 $\mathbb{N}$。研究方法分为三个主要阶段：

1. 伪超度量 $d$ 的定义：
   对于两个 $C_0$-序列 $\phi$ 和 $\psi$，距离 $d(\phi, \psi)$ 定义为级数 $\sum_j |\langle \phi_j, \psi_j \rangle - 1|$ 的收敛指数。具体为：
   $$d(\phi, \psi) = \inf \left\{ p \ge 0 : \sum_{j=1}^\infty \frac{1}{j^p} |\langle \phi_j, \psi_j \rangle - 1| < \infty \right\}.$$
   该定义依赖于加权传递引理（引理 2.5），该引理将内积级数的收敛性与平方范数差及虚部的收敛性联系起来。

2. 规范不变变体 $\tilde{d}$：
   考虑到物理态通常对分量级的相位变化不敏感，作者引入了一个基于级数 $\sum_j ||\langle \phi_j, \psi_j \rangle| - 1|$ 收敛性的弱等价关系 $\sim_w$。相应的度量 $\tilde{d}$ 通过使用内积的绝对值来类比定义。该变体对于“纯规范”乘积幺正算符是保持不变的。

3. 拓扑与动力学分析：
   论文建立了这些空间的完备性，并分析了乘积幺正算符 $U = \bigotimes U_j$ 在这些类上的作用。分析过程包括刻画保持该度量的索引集置换，并将其应用于埃弗里特（Everettian）分支的一个玩具模型。

主要贡献与结果

• $\Gamma$ 的度量结构：
  证明了函数 $d$ 是 $\Gamma$ 上的一个完备伪超度量。它满足强三角不等式 $d(c, e) \le \max(d(c, d), d(d, e))$。然而，$d$ 仅是伪度量，因为不同的类可能处于距离为零的状态（例如，如果级数比任何 $j^{-p}$ (对于 $p>0$) 衰减得更慢）。通过对 $\Gamma$ 进行 $d=0$ 的商运算，作者构造了一个完备超度量空间 $(\bar{\Gamma}, d)$。

• 规范不变性：
  证明了 $\tilde{d}$ 是弱等价类集合 $\Gamma_w$ 上的一个完备伪超度量。它在商空间 $\bar{\Gamma}_w$ 上下降为一个真正的超度量。文中指出，$\tilde{d}$ 的证明更为简单，因为它不需要控制内积的虚部。

• 重索引不变性：
  论文刻画了保持度量 $\tilde{d}$ 的 $\mathbb{N}$ 置换群 $\pi$。一个置换保持 $d$（及 $\tilde{d}$）当且仅当它满足“条件 (T)”：只有次多项式数量的索引可以被多项式量级的偏移所改变。这识别出了一个庞大的规范群，即在这些“多项式温和”的重标记下，度量结构保持不变。

• 乘积幺正算符的动力学：

  • 最大位移： 如果一个乘积幺正算符由重复作用在每个因子上的单个幺正算符 $U$ 组成，且 $U$ 满足 $\inf_{\|x\|=1} |\langle x, Ux \rangle - 1| > 0$（等价于在有限维下 $1 \notin \sigma(U)$），那么对于每一个类 $c$，都有 $d(c, Uc) = 1$。此类幺正算符将每个扇区都位移到了最大可能的距离。
  • 轨道分离： 若 $U$ 没有特征值为单位根，则轨道 $\{U^k c\}$ 在 $(\Gamma, d)$ 中是一个 1-分离集。
  • 类相关位移： 与之相对，规范不变位移 $\tilde{d}(c, Uc)$ 取决于特定的类。在量子比特设置中，$\tilde{d}$ 可以实现 $[0, 1]$ 之间的任何值。由特征向量（“指针态”）构建的类具有 $\tilde{d}=0$，而由等叠加态构建的类则可能具有 $\tilde{d}=1$。

• 物理诠释（埃弗里特分支）：
  论文将这些结果应用于埃弗里特多世界诠释的一个玩具模型。其中“世界”被识别为各个扇区（不完全张量积）。

  • 超选择： 扇区分解相对于拟局部可观测量表现为一种超选择结构；不同的扇区是正交的，且对于局部测量而言是不可区分的。
  • 退相干指数： 度量 $\tilde{d}$ 被诠释为退相干指数。它衡量了当观察者监测越来越多的环境自由度时，两个分支之间的重叠度以多项式速率衰减。具体而言，重叠度按 $\exp(-N^{\tilde{d}})$ 衰减。
  • 分支机制： 受约束的乘积幺正算符将普适态分裂成不同的分支。$\tilde{d}$ 的值决定了这些分支是截然不同的世界（$\tilde{d} > 0$），还是仅仅是同一个世界的规范等价描述（$\tilde{d} = 0$）。超度量结构自然地编码了分支事件的层次化、树状结构。

意义与主张
本文声称为冯·诺依曼的无穷张量积提供了一个定量的几何框架，将扇区集合从一个无结构的索引集转化为一个完备的超度量空间。其主要意义在于：

1. 数学严谨性： 它确立了不等价扇区空间具有自然的、完备的超度量拓扑，这一性质此前在文献中从未被强调。
2. 物理诠释： 它为埃弗里特诠释中的“分支”提供了精确的数学实现。度量 $\tilde{d}$ 是退相干的严格度量，量化了两个分支对于局部观察者而言在多快程度上变得在操作上不相交。
3. 解决相位敏感性问题： 通过区分相位敏感度量 $d$ 和规范不变度量 $\tilde{d}$，论文阐明了全局正交性（对不受限的可观测量可见）与局部不相交性（对拟局部可观测量可见）之间的区别，回应了类似于贝尔对 Hepp 模型提出的批评。
4. 离散时间演化： 分析支持了这样一种观点：在整个无穷张量积上的时间演化本质上是扇区之间的跳跃过程，除非状态分量是哈密顿量的特征向量，否则必须采用离散时间步。

作者明确指出，该模型是一个“数学漫画”，旨在提供一个受控的设定，使得“宇宙分裂成不等价的世界”这一说法成为一个定理而非隐喻，同时并不声称解决了诸如概率起源等更广泛的概念性问题。