paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Element-free probability distributions and random partitions

无元素概率分布与随机划分
LICS Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science2024匹配度 4/10 · 论文属于概率编程/形式语义与贝叶斯非参数理论,涉及随机划分和分布表示,与贝叶斯程序分析有间接理论关联;但未涉及静态分析、LLM/Agent、浮点程序分析或程序分析工具与benchmark,与用户核心方向匹配度较低。引用 1 inbox
Victor Blanchi, Hugo Paquet
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:用多重集和范畴论建立无元素概率分布理论,并给出交换随机划分与随机分布的表示定理。

在贝叶斯统计中,概率分布所赋值的元素有时仅充当标签,其具体身份并不重要;忘记这些元素后剩下的结构即为“无元素”概率分布。本文用多重集与范畴论发展其结构理论,给出在无元素分布与普通分布之间转换的操作,并证明这些操作与多项采样交换。基于此,作者证明两个表示定理:无元素分布可为贝叶斯非参数聚类中的两类关键随机结构提供自然表示——可交换随机划分,以及由基测度参数化的随机分布。

问题
在元素仅作标签、身份不重要的贝叶斯场景中,如何形式化地描述“遗忘元素”后剩余的概率分布,并刻画其与普通分布及随机结构的关系。
方法
借助多重集与范畴论建立无元素分布的结构理论,定义其与普通分布之间的转换操作,并证明这些操作与多项采样交换,进而证明表示定理。
评估
评估以数学证明为主:两个表示定理分别表明无元素分布可自然表示可交换随机划分和以基测度为参数的随机分布。
原文摘要(Abstract)

An "element-free" probability distribution is what remains of a probability distribution after we forget the elements to which the probabilities were assigned. These objects naturally arise in Bayesian statistics, in situations where elements are used as labels and their specific identity is not important. This paper develops the structural theory of element-free distributions, using multisets and category theory. We give operations for moving between element-free and ordinary distributions, and we show that these operations commute with multinomial sampling. We then exploit this theory to prove two representation theorems. These theorems show that element-free distributions provide a natural representation for key random structures in Bayesian nonparametric clustering: exchangeable random partitions, and random distributions parametrized by a base measure.

链接与引用

DOI 原文 · arXiv · PDF(开放获取) · DBLP

BibTeX
@inproceedings{abs-2405-17595,
  title = {Element-free probability distributions and random partitions},
  author = {Victor Blanchi and Hugo Paquet},
  booktitle = {LICS},
  year = {2024},
  doi = {10.1145/3661814.3662131}
}