[论文解读] Limits of permutation sequences through permutation regularity

Carlos Hoppen, Yoshiharu Kohayakawa+2 more|arXiv (Cornell University)|Jun 8, 2011

Limits and Structures in Graph Theory参考文献 20被引用 26

一句话总结

本文通过引入一个自然的极限对象：一个满足累积分布与质量条件的勒贝格可测函数 $ Z:[0,1]^2 \to [0,1] $，建立了收敛排列序列的极限理论。关键结果是每个收敛排列序列几乎处处有唯一的极限，且每个此类函数均可作为某序列的极限，通过一种新的随机排列模型和基于正则性的逼近方法，将图核理论推广至排列。

ABSTRACT

A permutation sequence $(σ_n)_{n \in \mathbb{N}}$ is said to be convergent if, for every fixed permutation $τ$, the density of occurrences of $τ$ in the elements of the sequence converges. We prove that such a convergent sequence has a natural limit object, namely a Lebesgue measurable function $Z:[0,1]^2 o [0,1]$ with the additional properties that, for every fixed $x \in [0,1]$, the restriction $Z(x,\cdot)$ is a cumulative distribution function and, for every $y \in [0,1]$, the restriction $Z(\cdot,y)$ satisfies a "mass" condition. This limit process is well-behaved: every function in the class of limit objects is a limit of some permutation sequence, and two of these functions are limits of the same sequence if and only if they are equal almost everywhere. An important ingredient in the proofs is a new model of random permutations, which generalizes previous models and is interesting for its own sake.

研究动机与目标

• 基于所有固定排列 $ \tau $ 的子排列密度，定义排列序列收敛的概念。
• 识别此类收敛序列的自然极限对象，类比图论中的图核。
• 在几乎处处相等的意义下，建立收敛排列序列与其极限函数之间的一一对应关系。
• 开发一种新的随机排列模型，推广现有模型并支持极限构造。
• 为使用极限框架进行排列的性质与参数测试提供基础。

提出的方法

• 通过所有固定排列 $ \tau $ 的子排列密度收敛，引入收敛排列序列的概念。
• 将极限对象定义为一个勒贝格可测函数 $ Z:[0,1]^2 \to [0,1] $，其具有两个关键性质：对每个 $ x $，$ Z(x,\cdot) $ 是累积分布函数；对每个 $ y $，$ Z(\cdot,y) $ 满足‘质量’条件。
• 采用基于正则性的逼近技术，利用排列的弱正则、等权划分成块。
• 从划分的逐次细化构造加权排列矩阵序列 $ Q_n^m $，其在切范数下收敛于极限矩阵 $ Q_m $。
• 通过嵌套子序列上的对角化论证提取极限函数 $ Z $，并利用切范数 $ d_\square $ 确保密度收敛。
• 应用一种新颖的随机排列模型：顶点被独立同分布地赋予 $[0,1]$ 中的均匀变量，边以概率 $ Z(x_i,x_j) $ 包含，推广了基于图核的随机图模型。

实验结果

研究问题

• RQ1 收敛排列序列的自然极限对象是什么，类比图论中的图核？
• RQ2 每个满足分布与质量条件的勒贝格可测函数 $ Z:[0,1]^2 \to [0,1] $ 是否都可作为某个排列序列的极限？
• RQ3 如何刻画并关联排列密度的收敛性与函数型极限对象？
• RQ4 正则性与等权划分在逼近排列序列并构造其极限中起什么作用？
• RQ5 新随机排列模型如何支持此类极限的存在性与唯一性？

主要发现

• 每个收敛排列序列都有唯一的极限对象 $ Z:[0,1]^2 \to [0,1] $，即一个勒贝格可测函数，其在第一个变量上为累积分布函数，并在第二个变量上满足质量条件。
• 极限对象 $ Z $ 几乎处处唯一：两个序列具有相同极限当且仅当其对应函数几乎处处相等。
• 每个此类函数 $ Z $ 都是某个排列序列的极限，建立了极限函数类与收敛序列之间的满射对应关系。
• 子排列密度的收敛性由相关加权排列矩阵的切范数收敛刻画，构造中满足 $ d_\square(Q_n^m, Q_m) < 1/m $。
• 通过嵌套子序列上的对角化过程，结合弱正则性与等权划分，保证了极限的存在性。
• 新随机排列模型可生成收敛于任意给定 $ Z $ 的序列，证明了极限框架的普遍性。