paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Partitions and Ewens Distributions in element-free Probability Theory

无元素概率论中的划分与 Ewens 分布
LICS Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science2022匹配度 1/10 · 论文属于概率论与群体遗传学中的 Ewens 分布数学重构,与静态分析、LLM/Agent、浮点程序分析等核心方向无直接关联;虽可能涉及贝叶斯非参数方法的数学基础,但未涉及程序分析或形式化验证。引用 5 inbox
Bart Jacobs
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:用基于多重集的无元素方法重构 Ewens 分布理论,提出划分多项式定理与无元素多项分布。

本文重新发展与深化了 1970 年代群体生物学中 Ewens 等人的概率论,其核心是描述生物突变的 Ewens 分布。原始工作以自然数上的特殊多重集——划分——来表述;本文则从任意集合上的多重集出发,把划分视为只刻画「重数的重数」而不指名元素本身的一种特殊形式,并让这套「无元素」进路与通常的基于元素的理论并行展开。Ewens 著名的抽样公式刻画了划分上一个(带参数的)分布锥;本文用新的无元素多项分布给出该链的另一个锥。这些分布之所以良定义,依赖于一个新颖的「划分多项式定理」,它推广了熟悉的多项式定理,其基础是作为无元素分布的「除法」新概念,即由和为 1 的概率所构成的多重集。

问题
如何在不指名具体元素的前提下,为 Ewens 分布及其抽样公式给出一个更一般、结构更清晰的数学表述。
方法
以任意集合上的多重集和「重数的重数」式划分为基础,发展无元素概率论,并引入无元素「除法」与划分多项式定理来定义新的无元素多项分布。
评估
属于理论性工作,通过与经典基于元素的 Ewens 理论平行重构、并证明推广的多项式定理来论证新构造的良定义性与一致性。
原文摘要(Abstract)

This article redevelops and deepens the probability theory of Ewens and others from the 1970s in population biology. At the heart of this theory are the so-called Ewens distributions describing biolological mutations. These distributions have a particularly rich (and beautiful) mathematical structure. The original work is formulated in terms of partitions, which are special multisets on natural numbers. The current redevelopment starts from multisets on arbitrary sets, with partitions as a special form that captures only the multiplicities of multiplicities, without naming the elements themselves. This ‘element-free’ approach will be developed in parallel to the usual element-based theory. Ewens’ famous sampling formula describes a cone of (parametrised) distributions on partitions. Another cone for this chain is described in terms of new (element-free) multinomials. They are well-defined because of a novel ‘partitions multinomial theorem’ that extends the familiar multinomial theorem. This is based on a new concept of ‘division’, as element-free distribution, in terms of multisets of probabilities that add up to one.

链接与引用

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

BibTeX
@inproceedings{000122,
  title = {Partitions and Ewens Distributions in element-free Probability Theory},
  author = {Bart Jacobs},
  booktitle = {LICS},
  year = {2022},
  doi = {10.1145/3531130.3532419}
}