[论文解读] A Necessary and Sufficient Condition for the Tail-Triviality of a Recursive Tree Process

Antar Bandyopadhyay|ArXiv.org|Nov 8, 2005

Stochastic processes and statistical mechanics参考文献 15被引用 10

一句话总结

本文通过引入一种与先前表述不同的新型二元唯一性性质，建立了递归树过程（RTPs）尾部平凡性的必要且充分条件。证明了该性质与尾部平凡性等价，从而为由递归分布方程（RDEs）导出的RTP提供了一个通用判据，并将该结果应用于证明阿隆德斯（Aldous）在正则树上的冻结渗滤过程的尾部平凡性。

ABSTRACT

Given a recursive distributional equation (RDE) and a solution $μ$ of it, we consider the tree indexed invariant process called the recursive tree process (RTP) with marginal $μ$. We introduce a new type of bivariate uniqueness property which is different from the one defined by Aldous and Bandyopadhyay (2005), and we prove that this property is equivalent to tail-triviality for the RTP, thus obtaining a necessary and sufficient condition to determine tail-triviality for a RTP in general. As an application we consider Aldous' (2000) construction of the frozen percolation process on a infinite regular tree and show that the associated RTP has a trivial tail.

研究动机与目标

• 建立由递归分布方程（RDEs）导出的树索引平稳过程——递归树过程（RTPs）——尾部平凡性的必要且充分条件。
• 提出一种不同于阿隆德斯与班德亚帕德哈亚所定义的新型二元唯一性性质，并证明其与RTP中尾部平凡性的等价性。
• 提供一个通用判据，用于判断RTP是否具有平凡尾部，且该判据独立于具体模型结构。
• 将该通用条件应用于阿隆德斯在无限r-正则树上的冻结渗滤过程，证明其对应的RTP具有平凡尾部。
• 阐明内生性、长程独立性与尾部平凡性之间的关系，表明内生性蕴含尾部平凡性，但未必蕴含长程独立性。

提出的方法

• 为递归树过程量身定制一种新型二元唯一性性质，通过不同树层级上变量联合分布的行为来定义。
• 利用柯尔莫哥洛夫的一致性定理，从给定RDE的解构造一个不变RTP，确保该过程在无限根树 $\mathbb{T}_\infty$ 上定义良好。
• 运用涉及 $\sigma$-代数与独立性的测度论论证，分析RTP的尾 $\sigma$-代数及其平凡性。
• 引入内生性概念——即根变量可测于创新过程——并通过新定义的二元唯一性性质，将内生性与尾部平凡性联系起来。
• 分析 $r$-正则树上的冻结渗滤RDE，证明在具有全支撑且在 $[1/(r-1),1]$ 上无原子的唯一解，可通过新判据导出平凡尾部。
• 利用如下事实：若根变量可测于创新过程，则尾部平凡，且该结论通过二元唯一性性质得以证明。

实验结果

研究问题

• RQ1 由递归分布方程（RDE）导出的递归树过程（RTP）的尾部平凡性，其必要且充分条件是什么？
• RQ2 新定义的二元唯一性性质与RTP中尾部平凡性有何关系？它与阿隆德斯和班德亚帕德哈亚所定义的二元唯一性有何不同？
• RQ3 与阿隆德斯在无限 $r$-正则树上的冻结渗滤过程相关的不变RTP是否具有平凡尾部？
• RQ4 RTP的内生性是否蕴含尾部平凡性？如果是，其逆命题是否成立？
• RQ5 RTP中长程独立性与尾部平凡性之间是否存在联系？该联系如何与底层RDE解的唯一性相关？

主要发现

• 本文证明，新定义的二元唯一性性质对不变递归树过程（RTP）的尾部平凡性而言，既是必要条件也是充分条件。
• RTP的尾部平凡性与二元唯一性性质等价，从而为所有由RDE导出的RTP提供了一个通用判据。
• 与无限 $r$-正则树上冻结渗滤过程相关的不变RTP具有平凡尾部，通过验证对应RDE的二元唯一性条件得以证明。
• 在 $r$-正则树上RDE的解 $\nu^r$，其密度为 $\nu^r(dy) = \frac{dy}{(r-2)(r-1)^{1/(r-2)} y^{(r-1)/(r-2)}}$ 在 $[1/(r-1),1)$ 上，且在 $\infty$ 处有原子，由此导出的RTP具有平凡尾部。
• 内生性蕴含尾部平凡性，但尾部平凡性不蕴含内生性；该逆命题亦不成立，文中通过反例予以说明。
• 长程独立性蕴含RDE解的唯一性，但尾部平凡性并不蕴含长程独立性，即使解是唯一的。