Negative association of Busemann functions in exponential last-passage percolation

技术摘要：指数型最后路径渗透（LPP）中 Busemann 函数的负相关性

1. 问题陈述与动机

在研究属于 Kardar–Parisi–Zhang (KPZ) 普遍类别的随机增长模型时，一个核心挑战是建立涨落统计的普遍性。对于像指数型最后路径渗透（LPP）这样的精确可解模型，乘积形式不变测度的存在通常允许通过依赖于增量独立性的概率论论证来确认 KPZ 涨落指数（$\chi = 1/3, \xi = 2/3$）。

然而，在一般设定下，Busemann 函数（定义为路径时间差的极限）充当了不变测度的代理。虽然 Busemann 增量在沿单一方向考虑或在特定方向参数单调排序下是独立的，但当同时考虑多个渐近方向时，这种独立性会失效。联合不变测度并非联合乘积形式。

本文旨在探讨这种依赖性的本质。虽然人们推测 Busemann 增量具有负相关性（这将意味着增量之和满足扩散标度，这是证明 $\xi \ge 2\chi$ 的关键步骤），但严谨的证据一直很少。Alevy 和 Krishnan 的先前工作确立了在一般权重下相邻增量的负相关性，但由于指数情况下的独立性而排除了该情况。本文旨在刻画指数型 LPP 设定下不同方向间 Busemann 增量的依赖结构，特别是研究它们是否表现出负相关性（negative association）。

2. 研究方法

作者结合了 LPP 的排队论表示法和排队映射的组合性质。其核心方法包括：

• 排队映射形式化（Queueing Map Formalism）： 文中利用了作用于权重环境上的向上（$\sigma_m$）和向下（$\sigma_m$）排队映射。这些映射是确定性的变换，将带有边界条件的 LPP 与体部（bulk）LPP 联系起来。
• 伯克性质（Burke Property）： 对于指数权重，一个关键成分是伯克性质（命题 2.15），它指出对于 $M/M/1$ 队列，输出过程独立于队列长度并保持指数分布，仅交换速率。这使得作者可以将权重速率的变换视为一种置换。
• 辫子关系与单调性（Braid Relations and Monotonicity）： 证明高度依赖于排队映射的辫子关系（命题 2.13）及其单调性质（命题 2.14）。这些性质允许作者操纵操作顺序并比较不同的环境。
• 分布等价性（Distributional Equivalence）： 作者利用了一个已知结果（命题 4.1，引用自 [29]），该结果确立了体部 Busemann 过程与具有特定边界条件（增量平稳 LPP）的 LPP 模型增量之间的分布相等性。
• 简化为边界 LPP（Reduction to Boundary LPP）： 通过旋转模型并利用分布等价性，分析 Busemann 函数的问题被简化为分析具有南边界的边界 LPP 模型的增量。
• Harris-FKG 不等式： 负相关性证明的核心在于展示一个特定的增量（与“边界”边相关）与其它增量呈负相关。这是通过证明：减少边界边的权重会增加（或保持不变）其他增量，而边界增量本身会减少来实现的。这种单调性允许应用 Harris-FKG 不等式来建立负协方差。

3. 主要贡献与结果

主要定理：负相关性（定理 1.1）
主要结果确立了任意方向下的 Busemann 增量是负相关的。具体而言，对于沿下-右路径的一组增量 $\{B_i\}$ 以及在由 $B_i$ 所构成的矩形内定义的下-右路径上的 Busemann 函数集 $\{R_j\}$，其联合分布满足：
$$\mathbb{E}\left[ g(R_1, \dots, R_k) \prod_{i=1}^n f_i(B_i) \right] \le \mathbb{E}\left[ g(R_1, \dots, R_k) \right] \prod_{i=1}^n \mathbb{E}\left[ f_i(B_i) \right]$$
对于任何在同一方向上的非负、逐坐标单调函数 $f_i$ 和 $g$。这意味着增加 $B_i$ 的值倾向于在概率上减小 $R_j$ 的值。

推论：

• 矩生成函数的控制（推论 1.3）： 沿下-右路径的 Busemann 增量的联合矩生成函数受限于其边缘矩生成函数的乘积。
• 指数集中性（推论 1.4）： 即使不存在独立性，在扩散标度（$\sqrt{n}$）下的 Busemann 增量之和仍满足指数集中不等式。这证实了涨落以扩散方式标度，支持了 $\xi \ge 2\chi$ 的下界。
• 负依赖性（推论 1.5）： 增量满足负象限依赖性（negative orthant dependence），即所有增量同时变大（或变小）的概率被其边缘概率的乘积所界定。
• 改进的独立性（定理 1.8）： 本文完善了先前的独立性结果。它表明，只要空间顺序得到尊重，Busemann 增量 $B^\lambda_{a,b}$ 独立于由方向参数 $\rho \ge \lambda$（位于边“上方”）或 $\rho \le \lambda$（位于边“下方”）的增量生成的 $\sigma$-代数。这推广了先前需要沿单一路径具有全序参数序列的结果。

命题 1.10：
文中提供了一个显式示例，表明对于非单调方向参数，相关性是严格负的（而非零），从而确认了负相关性是一个非平凡的结构特征。

4. 意义与主张

本文主张，联合 Busemann 过程中独立性的失效是“单向的”，表现为负相关性而非任意依赖性。

• 对 KPZ 指数的意义： 这些结果为“负相关意味着 Busemann 涨落满足扩散标度”这一启发式观点提供了严谨的基础。即使本文专注于精确可解的指数情况，这也是在一般模型中证明 KPZ 关系 $\xi = 2\chi$（特别是 $\xi \ge 2\chi$ 方向）的必要组成部分。
• 证明技术的普适性： 虽然主要结果通过伯克性质依赖于指数分布，但作者强调，证明的“主体部分”（涉及隐藏的 LPP 单调性和排队映射的辫子关系）对于任意权重分布均成立。这表明负相关性的版本可能会扩展到非精确可解的设定中。
• 结构性洞察： 这项工作阐明了 Busemann 函数复杂的联合律，表明虽然它们不是独立的，但它们具有足够强的负依赖性，足以导出集中不等式。

本文并未声称解决了非可解模型的完整 KPZ 普遍性问题，而是将其发现定位为理解更广泛背景下建立涨落指数所需的关联结构的重要一步。