[论文解读] Generalized Chinese restaurant construction of exchangeable Gibbs partitions and related results

Annalisa Cerquetti|ArXiv.org|May 26, 2008

Bayesian Methods and Mixture Models参考文献 14被引用 6

一句话总结

本文提出了一种用于可交换Gibbs分拆类型α的广义中国餐馆过程，通过序列构造和广义Stirling数，统一并扩展了遗传学中的贝叶斯非参数模型。主要贡献是一个概率框架，嵌入并简化了Lijoi等人（2007, 2008）的研究结果，特别是通过泊松-金曼模型中类别的删除，明确了Gibbs结构的可重现性。

ABSTRACT

By resorting to sequential constructions of exchangeable random partitions (Pitman, 2006), and exploiting some known facts about generalized Stirling numbers, we derive a generalized Chinese restaurant process construction of exchangeable Gibbs partitions of type $α$ (Gnedin and Pitman, 2006). Our construction represents the natural theoretical probabilistic framework in which to embed some recent results about a Bayesian nonparametric treatment of estimation problems arising in genetic experiment under Gibbs, species sampling, models priors.

研究动机与目标

• 通过序列构造，为可交换Gibbs分拆类型α提供一个统一的概率框架。
• 将Lijoi等人（2007, 2008）关于物种抽样先验下遗传推断的近期贝叶斯非参数结果嵌入并简化。
• 阐明泊松-金曼模型中类删除与可交换分拆中Gibbs结构可重现性之间的关系。
• 利用广义Stirling数和上升阶乘，简化可交换随机分拆中的组合推导。

提出的方法

• 通过广义中国餐馆过程推导可交换Gibbs分拆的组序构造，通过特定转移概率建模顾客分配至桌位。
• 使用广义Stirling数 $ S_{n,k}^{ heta,eta} $ 作为上升阶乘之间的连接系数，表达分拆概率。
• 利用上升阶乘与广义Stirling数的乘法和多项式恒等式，简化联合与条件分布表达式。
• 将从序列构造中导出的EPPF（可交换分拆概率函数）应用于类删除后的条件分布建模。
• 建立泊松-金曼模型中类删除与通过算子 $ \Pi_k $ 保持Gibbs结构之间的联系，该算子定义为在移除前 $ k $ 个块后对剩余元素重新编号。
• 证明条件分拆 $ \Pi_k $ 的EPPF与Lijoi等人（2008）推导的形式一致，通过在新桌位配置上的边际化实现。

实验结果

研究问题

• RQ1 如何构建一种广义中国餐馆过程，以表示类型α的可交换Gibbs分拆？
• RQ2 广义Stirling数在简化分拆概率与条件分布推导中起什么作用？
• RQ3 泊松-金曼模型中类的删除与可交换分拆中Gibbs结构的可重现性之间有何关系？
• RQ4 是否可以推导出类删除后的条件EPPF，并与Lijoi等人（2008）的现有结果匹配？
• RQ5 在可交换随机分拆中，类删除操作下Gibbs性质在何种条件下得以保持？

主要发现

• 广义中国餐馆过程提供了类型α可交换Gibbs分拆的序列构造，其转移概率基于上升阶乘与广义Stirling数。
• 证明了删除前 $ k $ 个类后分拆的EPPF与Lijoi等人（2008）推导的条件EPPF一致，确认了Gibbs结构的可重现性。
• 使用广义Stirling数 $ S_{s,k^*}^{-1,-eta} $ 可对 $ s $ 个新顾客分配至 $ k^* $ 个新桌位的边际概率进行紧凑表达。
• 在已知旧桌位顾客数的条件下，新桌位配置的条件分布为 $ p({\bf s}|{\bf m,n}) = \frac{V_{n+m,k+k^*}}{\sum_{k^*=1}^s V_{n+m,k+k^*} S_{s,k^*}^{-1,-α}} \prod_{j=1}^{k^*} (1-α)_{s_j-1\uparrow} $，与Lijoi等人（2008）的命题3一致。
• 本文证明了泊松-金曼模型中类的删除保持了Gibbs形式，表明条件结构仍属于同一指数族，尽管由于与Lijoi等人（2008）推论2的明显矛盾，该结论仍需进一步研究。