Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction

技术摘要：通过无限张量积从离散趋向连续

问题陈述
范畴概率领域的近期进展已成功利用字符串图示演算（string diagrammatic calculi）对离散概率过程（例如有限集和随机矩阵）以及高斯过程进行了公理化。然而，在对一般连续概率（如 $\mathbf{BorelStoch}$，即标准 Borel 空间与马尔可夫核）进行公理化方面仍存在显著差距。主要的困难在于如何在现有的框架内编码无限行为，因为现有的框架通常依赖于有限生成元和等式。虽然柯尔莫哥洛夫扩展定理（Kolmogorov extension theorem）表明连续测度可以被视为离散测度的极限，但目前仍缺乏一种严谨的范畴构造，能够通过无限张量积将离散设置与连续设置联系起来。

方法论
作者提出了一种通用构造，通过向给定的半笛卡尔范畴（semicartesian category）$\mathcal{C}$ 添加无限张量积来构建 $\mathcal{C}^{\otimes\infty}$。该方法论通过以下几个阶段进行：

1. 通用构造： 文中定义了一个通过向半笛卡尔范畴 $\mathcal{C}$ 添加无限张量积而得到的范畴 $\mathcal{C}^{\otimes\infty}$。这是通过一个泛性质实现的：$\mathcal{C}^{\otimes\infty}$ 是接收来自 $\mathcal{C}$ 的对称单子函子且具有无限张量积的初始半笛卡尔范畴。
2. 具体表示（有限逼近族）： 为了使 $\mathcal{C}^{\otimes\infty}$ 中的态射具有可处理性，作者将注意力限制在具有“可消去删除”（cancellative deletions，即若 $f \otimes \text{del} = g \otimes \text{del}$ 则 $f=g$）的范畴上。在这种设定下，无限张量积之间的态射并非作为抽象极限进行刻画，而是被刻画为有限逼近族。一个态射是一个由有限态射族 $(f_{F,G})$ 组成的等价类，这些族满足自然性（naturality）、覆盖性（covering）和遗传性（hereditariness）条件。
3. 图示语法： 作者引入了“板式表示法”（plate notation），将这些有限逼近族表示为字符串图。这使得提升公理化呈现成为可能：如果 $\mathcal{C}$ 由对称单子理论 $(\Sigma, E)$ 呈现，那么 $\mathcal{C}^{\otimes\infty}$ 则由包含原生成元、等式以及处理无限张量积（板/plates）规则的理论 $\text{Free}_\infty(\Sigma, E)$ 呈现。
4. 应用于 $\mathbf{FinStoch}$： 该构造被应用于 $\mathbf{FinStoch}$（有限集与随机矩阵）及其子范畴 $\mathbf{BinStoch}$（$\{0,1\}$ 的幂次）。

关键结果

• $\mathbf{FinStoch}^{\otimes\infty}$ 的特征化： 作者证明了范畴 $\mathbf{FinStoch}^{\otimes\infty}$ 等价于配备了局部常数马尔可夫核（locally constant Markov kernels）的 Stone 空间范畴（$\mathbf{StoneStoch}_{lc}$）。在该范畴中，对象是有限集的无限乘积（根据布劳威尔定理，这些要么是有限集，要么是康托尔空间 $2^\mathbb{N}$），而态射是马尔可夫核 $f: X \to Y$，其中闭集（clopen set）的概率仅取决于输入的有限个坐标。
• 连续概率的公理化呈现： 通过限制到 $\mathbf{BinStoch}$，作者推导出了 $\mathbf{CantorStoch}_{lc}$（涉及 2 的幂次与康托尔空间的 $\mathbf{StoneStoch}_{lc}$ 子范畴）的公理化呈现。他们表明，$\mathbf{CantorStoch}_{lc}$ 与 $\text{Free}_\infty(\Sigma, E)$ 同构，其中 $(\Sigma, E)$ 是 $\mathbf{CausCirc}$（$\mathbf{BinStoch}$ 的公理化）的理论。
• 表达能力： 文中展示了 $\mathbf{CantorStoch}_{lc}$ 足以涵盖实数轴 $\mathbb{R}$ 上的所有概率测度。这是因为 $\mathbb{R}$ 在 $\mathbf{BorelStoch}$ 中同构于 2 的一个无限张量积，且该构造建立了 $\mathbb{R}$ 上的测度与康托尔空间 $2^\mathbb{N}$ 上的测度之间的双射对应关系。
• 局限性： 作者明确指出 $\mathbf{FinStoch}^{\otimes\infty}$ 并不完全恢复整个 $\mathbf{BorelStoch}$。虽然它捕捉了所有的概率测度，但它无法完全捕捉任意可测函数（可能不是局部常数的）的行为，因此它形成了一个特定的、具有表达能力的子范畴，而非完整的连续范畴。

意义与主张
本文声称提供了首个使用字符串图对具有无限张量积的马尔可夫范畴进行公理化的工具。其主要贡献在于建立了一个连接离散与连续概率推理的严谨桥梁。通过展示连续概率可以通过无限张量积作为离散设置的极限来趋近，这项工作使得使用图示演算（特别是板式表示法）来推理连续系统成为可能。

作者强调，这种方法允许直接从离散公理导出连续概率中的语义等式。他们指出，虽然该构造并未捕捉 $\mathbf{BorelStoch}$ 的全部泛性（特别是关于非局部常数核的部分），但它提供了一个丰富的框架，通过康托尔空间的视角来研究 $\mathbb{R}$ 或其他连续空间上的概率测度。这项工作被呈现为连接连续概率的语义方法与字符串图方法的一个基础性步骤，并建议未来工作可以扩展到一般的马尔可夫核和其他概率模型（如高斯混合模型）。