[论文解读] Commutative monads as a theory of distributions

Anders Kock|arXiv (Cornell University)|Aug 30, 2011

Logic, programming, and type systems参考文献 16被引用 36

一句话总结

本文提出了一种使用笛卡尔闭范畴中的交换单子的分布代数框架，为质量或电荷分布等广延量提供了范畴论基础。它通过一个典范积分公理建立了积分与微分的普遍理论，表明总值为零的分布具有唯一原函数，并在解析微分几何时态假设下推导出分布乘积的莱布尼茨法则。

ABSTRACT

The theory of commutative monads on cartesian closed categories provides a framework where aspects of the theory of distributions and other extensive quantities can be formulated and some results proved. We make explicit a link between our theory and the theory of Schwartz distributions of compact support. We also discuss probability distributions.

研究动机与目标

• 开发一种避免泛函分析中双重对偶化的单子化、范畴论化的分布基础。
• 将广延量（如质量或电荷分布）形式化为笛卡尔闭范畴中的协变函子。
• 在该单子理论与施瓦茨分布理论之间建立典范比较。
• 为总值为零的紧支集分布建立普遍积分公理，确保原函数的唯一性。
• 在解析微分几何时态假设下，推导出分布对测试函数作用的莱布尼茨法则。

提出的方法

• 在笛卡尔闭范畴 E 上使用交换单子 T 来建模分布为 T(X)，其中 T(X) 是 X 上的自由 T-代数。
• 利用单位映射 η: X → T(X) 作为将元素嵌入分布的通用构造，并满足 T-线性扩张的通用性质。
• 引入一个总函数 tot: T(R) → R，为每个分布分配一个标量值，推广了积分概念。
• 通过无穷小群 D（满足 d²=0）的作用定义微分，使用前推 α_d* 将 P′ 定义为 P 的导数。
• 应用积分公理：每个满足 tot(Q)=0 的 Q ∈ T(R) 都存在唯一的原函数 P，使得 P′ = Q。
• 使用配对 ⊢: T(R) × (R ⇀ R) → T(R) 定义分布对函数的作用，并在 KL-模中的测试函数下证明莱布尼茨法则。

实验结果

研究问题

• RQ1 如何在不依赖泛函分析双重对偶化的情况下，范畴化地公理化紧支集分布？
• RQ2 在交换单子的语境下，单位映射 η: X → T(X) 满足哪些通用性质？
• RQ3 能否为总值为零的分布定义一个典范积分理论，以确保原函数的唯一性？
• RQ4 分布乘积的莱布尼茨法则如何从单子结构与解析微分几何时态中自然导出？
• RQ5 该单子理论与经典施瓦茨分布之间存在何种关系？

主要发现

• 积分公理确保每个满足 tot(Q) = 0 的分布 Q ∈ T(R) 都存在唯一的原函数 P，使得 P′ = Q，且该唯一性等价于：若 P′ = 0，则 P = 0。
• 区间分布 [a,b] 的总值为 b−a，通过使用评价泛函 E 得到 E(δ_b − δ_a) = b−a 推导得出。
• 卷积序列 [−a,a], [−a,a]*[−a,a], … 的总值为 (2a)^n；当 2a=1 时，这些构成逼近正态分布的概率分布序列，但当前框架中因缺乏紧支集而无法实现。
• 证明了莱布尼茨法则：(P ⊢ φ)′ = P′ ⊢ φ − P ⊢ φ′，利用配对的双加法性与乘法的莱布尼茨法则。
• 莱布尼茨法则的证明依赖于存在足够多的 B-值测试函数，其中 B 是自由 T-代数（KL-模），并利用了配对与微分之间的交换性质。
• 该理论提供了一个典范的、普遍的分布微积分框架，既推广了经典结果，又建立在单子理论与解析微分几何的基础之上。