图极限（graphon），或称图极限函数（graphon function），是用统计网络分析中，用以描述一类具有顶点可交换性结构的图之结构的二元函数。概念上，图极限函数可以被理解为一个内在结构恒定的随机图，在顶点数趋于无穷时所收敛到的极限（假定其顶点已按恰当的次序排列）。

图极限函数为描述随机图的结构和渐近性质提供了基础工具，对图极限的估计和统计推断，是近年来统计网络分析的前沿课题之一。

定义
在文献中，图极限函数的定义，通常必须和顶点可交换随机图（vertex/node exchangeable random graphon）的模型，以及Aldous-Hoover表示一起陈述。

顶点可交换随机图
“随机图”指的是一个顶点集合为 \{1,\ldots,n\} 的图，其边是从某个统计模型中随机生成的。用邻接矩阵（adjacency matrix） A\in\{0,1\}^{n\times n} 表示该随机图，则 A 是一个随机矩阵。

“顶点可交换性”指的是，若任意交换两个下标 i,j，不会改变 A 的边际分布。换句话说，A 具有顶点可交换性质，当且仅当：

:A \stackrel{d}= A_{\sigma,\sigma}

其中 \stackrel{d}= 表示同分布， \sigma:\{1,\ldots,n\}\to\{1,\ldots,n\} 是任意一个重排列（permutation），并定义 (A_{\sigma,\sigma})_{i,j} = A_{\sigma^{-1}(i),\sigma^{-1}(j)} .

Aldous-Hoover表示（Aldous-Hoover representation）
Aldous和Hoover在1980年代独立证明了如下结论：任何一个顶点可交换图的生成模型，都对应某个图极限函数 f(u,v):[0,1]^2\to[0,1]，使得图的生成模型等价于如下的随机图生成模型：

从 [0,1] 上的均匀分布生成 n 个独立同分布的随机变量 X_1,\ldots,X_n\sim\mathrm{Uniform}[0,1]，它们是图顶点的隐含位置（latent space position）

顶点 (i,j) 间有边相连的概率定义为 W_{ij}=f(X_i,X_j)，这里 W\in[0,1]^{n\times n} 是该随机图的概率矩阵

从概率矩阵生成邻接矩阵： \mathbb{P}(A_{ij}=1|W_{ij}) = W_{ij}，并且所有 A_{ij} 在给定 W 的条件下是互相条件独立的。

对上述定义的理解

• Aldous-Hoover表示可以描述一切顶点可交换图。也就是说，即使 A 的生成模型中边之间不是独立的（或给定某个期望矩阵后是条件独立的），只要 A 整体（考虑整个图所有边的联合分布）具备顶点可交换性质，那么该边不独立的随机图模型，就等价于由某个图极限函数 f 诱导的随机图模型，其中边在给定概率矩阵后是条件独立的。但Aldous-Hoover表示并不显式地构造这个 f，而对应一个边不独立的随机图的 f 有可能非常复杂和抽象，并未必具有良好的光滑性。
• 上述Aldous-Hoover表示所描述的生成模型中，X_1,\ldots,X_n， f 以及 W 都是不可见的。唯一能观测到的数据是邻接矩阵 A.
• 由于模型参数的可识别性问题，X_1,\ldots,X_n 和 f 一般是不唯一的，因而也是无法估计的。实际应用中，唯一能被有意义地估计的参数是 W.

离散的随机图向图极限的收敛
例子

• 随机区块模型（Stochastic Block Model，简称SBM）的图极限（graphon）是一个分块常数函数。具体而言，设一个随机区块模型由 K 个区块构成，成员所占百分比为 \pi_1,\ldots,\pi_K ，满足 \pi_1+\cdots+\pi_K=1。又记第 k_1 和 k_2 个区块的成员之间有边相连的概率是 B_{k_1,k_2}，则该随机区块模型可以等价地表为从下述图极限函数诱导的网络模型：

: f(u,v):= B_{k_1,k_2} ，其中 u\in(\pi_1+\cdots+\pi_{k_1-1},\pi_1+\cdots+\pi_{k_1}), v\in(\pi_1+\cdots+\pi_{k_2-1},\pi_1+\cdots+\pi_{k_2}) ，并为方便统一记号，令 \pi_0=0. 一般而言，该图极限表示不是唯一的，例如随意交换 \pi_1,\ldots,\pi_K 的顺序，上述表述依然成立。

• Erdos-Renyi图（Erdos-Renyi graph）的图极限是一个常数函数，它是一种特殊的随机区块模型。

图极限的估计方法
参考文献