[论文解读] Invariant matchings of exponential tail on coin flips in $\Z^d$

Ádám Timár|ArXiv.org|Sep 6, 2009

Game Theory and Voting Systems参考文献 5被引用 17

一句话总结

本文在 $\mathbb{Z}^d$ 上的 i.i.d. Bernoulli(1/2) 渗透模型中，构建了开放顶点与闭合顶点之间的一种不变匹配，以最小化匹配距离的尾部概率。对于 $d=2$，其尾部衰减达到最优的 $r^{-1/2}$；对于 $d \geq 3$，其尾部衰减为指数形式 $\exp(-cr^{d-2-\epsilon})$，显著优于以往的界限，方法基于一种新颖的等变划分方案，并通过在粗化单元上迭代稳定匹配实现。

ABSTRACT

Consider Bernoulli(1/2) percolation on $\Z^d$, and define a perfect matching between open and closed vertices in a way that is a deterministic equivariant function of the configuration. We want to find such matching rules that make the probability that the pair of the origin is at distance greater than $r$ decay as fast as possible. For two dimensions, we give a matching of decay $cr^{1/2}$, which is optimal. For dimension at least 3 we give a matching rule that has an exponential tail. This substantially improves previous bounds. The construction has two major parts: first we define a sequence of coarser and coarser partitions of $\Z^d$ in an equivariant way, such that with high probability the cell of a fixed point is like a cube, and the labels in it are i.i.d. Then we define a matching for a fixed finite cell, which stabilizes as we repeatedly apply it for the cells of the consecutive partitions. Our methods also work in the case when one wants to match points of two Poisson processes, and they may be applied to allocation questions.

研究动机与目标

• 在 $\ mathbb{Z}^d$ 上的 i.i.d. Bernoulli(1/2) 渗透模型中，构造一种确定性、等变的完美匹配，连接开放与闭合顶点，以最小化匹配距离的尾部概率。
• 在维度 $d=2$ 和 $d \geq 3$ 下，实现 $\mathbb{P}[\text{dist}(o, \phi(o)) > r]$ 的最快可能衰减速率。
• 发展一种通用方法，适用于匹配泊松点过程与分配问题，同时保持不变性与最优性。
• 建立 $\ mathbb{Z}^d$ 的一系列更粗粒度、等变的划分，使得每个单元为具有 i.i.d. 标签的伪立方体，从而支持局部匹配。

提出的方法

• 构造 $\ mathbb{Z}^d$ 的一系列更粗粒度、等变的划分 $\{\mathcal{Q}_i\}$，使得以高概率，包含原点的单元为 $2^i$-伪立方体，且其标签为 i.i.d. Bernoulli(1/2)。
• 使用稳定化程序：在每一层划分中，对每个单元内未匹配的相反标签点进行匹配，并在不同尺度上迭代精炼匹配。
• 应用等周不等式与伪立方体条件，控制边界效应，确保匹配过程在各层之间稳定。
• 在修改后的图上使用基于流的论证，证明满足所需尾部界限的匹配存在，依赖于割集与容量估计。
• 引入函数 $f(x)$ 控制匹配稳定性，选择如 $f(x) \propto x^{(d-1)/d} (\log x \log \log x)^{-1}$ 可获得更优的尾部界限。
• 使用二进制分解与二进制伪立方体，控制表面积，并确保匹配误差之和以足够快的速度衰减。

实验结果

研究问题

• RQ1 在 $\ mathbb{Z}^d$ 上的不变匹配中，尾部概率 $\mathbb{P}[\text{dist}(o, \phi(o)) > r]$ 的最快可能衰减速率是什么？
• RQ2 能否在 $\mathbb{Z}^d$（$d \geq 3$）中构造出具有指数尾部衰减的不变匹配？
• RQ3 在 $d=2$ 中能否实现最优的 $r^{-1/2}$ 衰减，且该界是否紧致？
• RQ4 该方法能否推广至匹配两个强度相等的独立泊松过程？
• RQ5 何种划分的结构性质可支持稳定、不变的匹配并实现快速衰减？

主要发现

• 对于 $d=2$，本文构造的不变匹配具有尾部衰减 $\mathbb{P}[\text{dist}(o, \phi(o)) > r] \leq c r^{-1/2}$，该结果最优，因为已知其 $d/2$ 阶矩存在下界。
• 对于 $d \geq 3$，本文构造的不变匹配具有尾部衰减 $\mathbb{P}[\text{dist}(o, \phi(o)) > r] \leq C \exp(-c r^{d-2-\epsilon})$，显著优于先前的界限。
• 该构造依赖于一系列等变划分，其中原点所在单元为具有 i.i.d. 标签的伪立方体，且该事件发生的概率超过 $1 - c 2^{-2^{i-1}}$。
• 该方法可推广至两个强度相等的独立泊松过程，对典型点的匹配距离也获得类似的尾部衰减。
• 通过选择 $f(x) \propto x^{(d-1)/d} (\log x \log \log x)^{-1}$，尾部界限可进一步优化为 $\exp(-c r^{d-2}/(\log r \log \log r))$，但本文为简化起见使用了稍弱的 $f$。
• 证明使用了在修改图上的基于流的论证，表明除自然割集外不存在其他最小割集，从而确保匹配过程稳定。