[论文解读] The Derrida--Retaux conjecture on recursive models

Xinxing Chen, Victor Dagard+4 more|arXiv (Cornell University)|Jul 2, 2019

Stochastic processes and statistical mechanics参考文献 17被引用 7

一句话总结

本文通过证明在初始分布的三阶矩可积条件下，自由能于临界点处以指数为 $\frac{1}{2}$ 的本性奇点消失，部分解决了关于最大值型递归模型的 Derrida–Retaux 猜想，确认了近超临界区域中预测的普遍行为。该结果在相变附近自由能指数衰减中确立了正确的临界指数。

ABSTRACT

We are interested in the nearly supercritical regime in a family of max-type recursive models studied by Collet, Eckman, Glaser and Martin and by Derrida and Retaux, and prove that under a suitable integrability assumption on the initial distribution, the free energy vanishes at the transition with an essential singularity with exponent $ frac12$. This gives a weaker answer to a conjecture of Derrida and Retaux. Other behaviours are obtained when the integrability condition is not satisfied.

研究动机与目标

• 研究在近超临界区域中最大值型递归模型的临界行为，特别是自由能靠近相变点时的衰减速率。
• 验证 Derrida–Retaux 猜想，即在临界点处自由能衰减具有指数为 $\frac{1}{2}$ 的本性奇点。
• 确定预测指数 $\frac{1}{2}$ 成立的条件，特别是初始分布的可积性。
• 分析当初始分布缺乏足够矩时的过渡区域，识别替代的衰减行为。
• 建立模型临界行为与初始随机变量可积性性质之间的严格联系。

提出的方法

• 定义递归模型 $X_{n+1} = (X_{n,1} + \cdots + X_{n,m} - 1)^+$，其中 $X_{n,i}$ 是 $X_n$ 的独立同分布副本，研究自由能 $F_\infty = \lim_{n\to\infty} \mathbb{E}[X_n]/m^n$。
• 利用定理 A 推导出临界阈值 $p_c$，其中 $p_c = 1 / (1 + \mathbb{E}[(m-1)X_0^* - 1]m^{X_0^*})$，以表征相变。
• 在超临界系统 $(X_n)$ 与截断临界系统 $(Y_n^{(M)})$ 之间建立耦合，以比较期望值并控制增长。
• 引入系统关于 $(4 - \alpha)$-正则性的概念，以量化临界分布下矩的增长速率。
• 应用定理 6.5，通过估计 $\mathbb{E}[(Y_0^{(M)})^3 m^{Y_0^{(M)}}]$ 和 $\mathbb{E}_{p_M}(X_0) - \mathbb{E}(Y_0^{(M)})$，推导自由能的下界。
• 利用尾部行为 $\mathbb{P}(X_0^* = k) \sim c_0 k^{-\alpha}$ 的渐近分析，将 $p_M - p_c$ 与 $M$ 关联，推导衰减速率指数。

实验结果

研究问题

• RQ1 在适当的可积性条件下，Derrida–Retaux 猜想在临界点附近自由能衰减的指数是否为 $\frac{1}{2}$？
• RQ2 当初始分布缺乏有限三阶矩时，特别是当 $\alpha \in (2,4]$ 时，临界指数会发生什么变化？
• RQ3 能否根据初始分布 $X_0^*$ 的尾指数 $\alpha$ 来刻画自由能的衰减速率？
• RQ4 初始分布中截断参数 $M$ 的选择如何影响临界行为及最终的自由能估计？
• RQ5 指数 $\frac{1}{2}$ 是否对初始分布的扰动具有鲁棒性，还是其依赖于矩条件？

主要发现

• 在条件 $\mathbb{E}[(X_0^*)^3 m^{X_0^*}] < \infty$ 下，自由能满足 $F_\infty(p) = \exp\left(-\frac{1}{(p - p_c)^{1/2 + o(1)}}\right)$ 当 $p \downarrow p_c$ 时，确认了 Derrida–Retaux 猜想中 $\frac{1}{2}$ 指数的存在。
• 当初始分布具有指数 $\alpha \in (2,4]$ 的正则变尾时，自由能衰减为 $\exp\left(-M^{1+o(1)}\right)$，其中 $M \sim (p - p_c)^{-1/(\alpha-2)}$，导致衰减速率指数为 $\frac{1}{\alpha - 2}$。
• 当 $\alpha = 2$ 时，衰减为双指数形式：$F_\infty(p) \geq \exp\left(-\exp\left(\frac{1+o(1)}{(m-1)c_0} \cdot \frac{1}{p}\right)\right)$，表明其衰减慢于 $\frac{1}{2}$ 指数。
• 证明表明，条件 $\mathbb{E}[(X_0^*)^3 m^{X_0^*}] < \infty$ 是使 $\frac{1}{2}$ 指数成立的最优条件。
• 证明通过耦合论证和截断临界系统的正则性，建立了自由能的下界，该下界依赖于矩的增长速率与尾部行为。
• 由于 $p \mapsto F_\infty(p)$ 的单调性以及渐近等价性 $\frac{p_M - p_c}{p_{M+1} - p_c} \to 1$，可将基于序列 $p_M$ 的界限扩展至整个邻域 $p \downarrow p_c$。