第 1 章学习笔记:引言
配套译文:
../translations/01-introduction.md(已落盘;正文、笔记与术语表锚点已对账)。 本章特点:无编号定理/定义环境、无编号公式、无习题、无 Further Notes。全章是"现象 → 模型直觉 → 统计问题"的导览,章尾三节(Book Organisation / Book Bibliographic Position / Funding)属于正文。因此本笔记以"关键概念卡片"替代定理卡片、以"关键推导补全"替代完整证明、以"章尾三节导读"替代 Exercises 模块。
先观察稀疏、小世界、三元闭包和重尾等经验规律,再问哪些随机机制能够解释它们,最后把差距转化为全书要解决的统计问题。
- 观测
- 真实网络、图像与汇总统计量
- 目标
- 识别跨数据集的经验规律
- 模型
- ER、随机几何图、优先连接
- 失败模式
- 单一机制只能解释部分现象
- 01用统计量描述五类网络现象
把稀疏、巨分量、小世界、三元闭包和重尾分别对应到可计算量。
- 02比较模型解释边界
说明 ER、RGG 和优先连接各自能解释什么、遗漏什么。
- 03核对随机基线口径
区分标准 transitivity 基线与原书 Table 1.2 使用的印刷口径。
- 04把问题定位到后续章节
将中心性、社区检测、半监督、时序和抽样问题接到第 2–7 章。
逐页精读 · 按需展开 原书顺序、详细导读与卡点索引 第一次学习先用上方仪表板和主线;并排逐页阅读时再打开。
1. 一句话定位
本章回答两个问题——为什么真实网络值得用统计方法研究(1.1 的例子给出动机,1.2 提炼出五个跨领域共性,说明它们不是巧合而是需要模型解释的规律),以及全书要解决什么(1.3 提出三大统计问题,Book Organisation 给出第 2–7 章的地图)。本章是全书的"问题清单":它不证明任何东西,但后面每一章都是在兑现本章许下的承诺。
2. 本章导读
本章按"例子 → 共性 → 模型 → 问题"四步推进:
- 1.1 Examples of Networks(印刷页 2–7):六类真实网络——社交(karate club、LiveJournal、Political Blogs)、面对面互动(高中传感器数据)、通信(Enron 邮件)、信息与协作(DBLP、Web-graph)、生物(海豚网络)、几何构造(MNIST 高斯核/KNN 图)。读这一节只需建立两个印象:网络数据到处都有;karate club 的"能否仅凭友谊图预测分裂出的两派"这个问题将在第 4 章得到回答。
- 1.2.1 共性(印刷页 8–11):把上述例子压缩成五条经验规律——稀疏性、连通性(巨分量)、小世界、关系传递性与三元闭包(由聚类系数度量)、重尾度分布(幂律)。Table 1.2 是本节的数据锚点,所有"真实网络 vs 随机图"的对比都靠它支撑。
- 1.2.2 模型直觉(印刷页 11–13):三个随机图模型各自"认领"一部分共性——ER 解释稀疏与连通、RGG 解释关系传递性与三元闭包、优先连接解释幂律。注意没有哪个模型能同时解释全部共性,这正是第 2 章严格化、第 4 章引入 SBM 的动机。
- 1.3 统计问题(印刷页 13–15):从"描述网络"转向"用网络做推断"——社区检测(1.3.1 → 第 4 章)、节点重要性排序(1.3.2 → 第 3 章)、网络抽样与估计(1.3.3 → 第 7 章)。
3. 本页使用方式
按你在正文中最可能卡住的位置直接跳转:
- 分不清 small world 和 clustering 是不是一回事 → 先看本页 §14 易混点 第 2 条,再回到 §9 概念卡片 的卡片 A/B:small world 是全局距离性质(任意两点很近),clustering 是局部三角闭合性质(邻居彼此相识),二者独立,真实网络恰好同时满足。
- "幂律"和"重尾"哪个是现象、哪个是模型 → §14 第 3 条。正文明确说:重尾是普遍现象,幂律是有争议的建模选择(Broido & Clauset 2019 的批评)。
- "ER 模型为什么不能描述有社区的网络" → §9 卡片 D:ER 的边彼此独立,标准聚类基线为 $p\to0$(原书 Table 1.2 的印刷口径为 $3p\to0$),既无持续三角闭合也无社区参数;这正是 1.3.1 说"ER 上也能找到高 modularity 划分是过拟合"的原因。
- 想验证 Table 1.2 括号里的数字怎么算出来的 → §10 关键推导补全,含一个实例的完整代入验算。
- 只想知道每章读什么 → §16 章尾三节导读 对 Book Organisation 的解读 + §4 本章主线 的后续用途列。
快速掌握
围绕研究问题、贯穿例子和方法选择建立第一遍认知地图。
按任务读完本章
先建立本章的选择框架,再补公式与证明;最后用主动回忆和跨章连接检查是否真正掌握。
- 第一遍(主线,约 40 分钟)
章首引言段($G=(V,E)$ 的定义性文字)→ 1.1 只读 karate club 与高中互动两个例子 → 1.2.1 五个小标题各读首段 → 手算 六节点例子 → 1.2.2 只读三个模型的定义段 → 1.3 三节首段 + Book Organisation。目标:能画出 §5 的概念地图,并说明同一组统计量为何不能唯一确定模型。
- 第二遍(定量细节)
对照 Table 1.2 逐项核对 1.2.1 的定量断言——$\bar d$ 的数量级、括号内 cc 与真实 cc 的差距、$\alpha$ 落在 $2<\alpha<3$ 区间;然后精读 1.2.1 Edge transitivity 小节末尾的 cc 推导(配合本页 §10 验算);再看 Figure 1.8 的 log-log 图与"幂律批评"一段。
- 第三遍(与应用挂钩)
回到 1.1,思考每个数据集对应 1.3 的哪类问题(如高中数据集 → 时序社区恢复,Ch6;karate club → Ch4;Twitter 抓取限制 → Ch7);阅读 1.2.1 末尾对幂律的批评文献脉络,理解"重尾普遍、幂律存疑"的立场。
- 专题回看
学第 2 章 Theorem 2.1/2.2(ER 连通性)与 Proposition 2.3(PA 幂律)时按 §11 回读锚点表 回到本章对应前瞻句。
按原书页序阅读需要逐页精读时,再打开章节停靠点主题学习无需展开;并排阅读时可把它当作页序索引。
| 顺序 | 小节(印刷页) | 读法 |
|---|---|---|
| 1 | 章首引言段(p.1) | 精读:$G=(V,E)$、二值/加权/时序三种相互作用的划分是全书数据观 |
| 2 | 1.1 Social networks(p.2–4) | 精读 karate club 段;Figure 1.1–1.3 看图即可;Political Blogs 记住"90% 链接发生在同阵营" |
| 3 | 1.1 Face-to-face(p.4–5) | Table 1.1 + Figure 1.4/1.5:理解时间聚合会丢信息(Figure 1.5 的课间峰值) |
| 4 | 1.1 其余三类 + 几何构造(p.5–7) | 快读;几何构造段的两个核权重公式(§15 卡片 F1/F2)是 Ch5 的伏笔 |
| 5 | 1.2.1 五共性(p.8–11) | 本章核心,逐小节精读,随时对照 Table 1.2;幂律批评一段不要跳过 |
| 6 | 1.2.2 三模型(p.11–13) | 精读定义段,Figure 1.9/1.10/1.11 各对应一个模型的"签名图像" |
| 7 | 1.3 三问题(p.13–15) | 每节首段 + 末段(末段往往给出方法路线的预告) |
| 8 | Book Organisation / Bibliographic Position / Funding(p.15–16) | 见 §16 |
贯穿例子:两个三角形与一条桥边
取六个节点,边集由两个三角形与一条桥边组成:左侧三角形为 $\{1,2,3\}$,右侧三角形为 $\{4,5,6\}$,再以 $(3,4)$ 连接两侧。 这张最小图足以把“观察—度量—模型—任务”完整走一遍。
| 要量什么 | 直接计算 | 读法 |
|---|---|---|
| 节点数、边数 | $n=6,\ m=7$ | 图很小,但以下口径可直接推广到大图 |
| 度序列 | $(2,2,3,3,2,2)$ | 节点 3、4 因桥边各多一个邻居 |
| 平均度 | $2m/n=7/3$ | 只反映总体连边强度,不说明边如何分组 |
| 边密度 | $m/\binom{n}{2}=7/15$ | 与同密度 ER 基线比较时取 $p=7/15$ |
| 连通性 | 全图连通 | 删除桥边 $(3,4)$ 后立即分成两个分量 |
| 平均距离 | $27/\binom{6}{2}=9/5$ | 15 对节点的最短路长度之和为 27;桥边压低跨组距离 |
| 连通三元组数 | $\sum_i\binom{d_i}{2}=10$ | 四个度为 2 的节点各贡献 1,两个度为 3 的节点各贡献 3 |
| 三角形数、聚类系数 | $T=2,\ \mathrm{cc}=3T/10=3/5$ | 标准同密度 ER 基线为 $p=7/15$;本图的局部闭合更强 |
这组数值不能唯一反推出生成机制。ER 可以匹配密度,却没有参数保证“两组三角形 加一条桥”的持续结构;随机几何图可用空间邻近解释三角闭合;两块 SBM 则把组内边 概率高、组间边概率低直接写进模型。由于这里只有两种度数,它也不支持“重尾”或 “幂律”判断。换句话说,汇总统计量是模型诊断线索,不是生成机制的身份证。
同一张图在后续章节会变成不同问题:Ch3 会问节点 3、4 的桥接作用是否让它们更中心; Ch4 会尝试恢复两个三节点社区;Ch5 可在只标注节点 1、6 时传播标签;Ch7 则会问沿边 抽样是否更容易遇到度为 3 的节点。先明确任务,再选择统计量与方法,正是本章的主旨。
本章决策地图:网络观察与诊断
先读上半部的“为什么转向”,再按下半部任务卡选读;不必把两层信息重复背一遍。
看到一种网络现象后,下一步该换度量、换模型,还是换统计任务?
先用可计算的网络共性检验独立边基线,再按基线解释不了的结构选择机制模型。
因果关系读法:观察催生度量,度量暴露随机基线的失败,失败逼出三个机制模型,模型支撑统计问题。
六类真实网络
karate club · 高中互动 · Political Blogs · 海豚 · MNIST 图
稀疏 $\bar d \ll n$ · 巨分量 · 小世界 $\delta$ 小 · cc 大 · 度分布重尾
Table 1.2 给每条共性一个数
若边独立随机:$\mathrm{cc}\approx 6|E|/(n(n-1))$
比真实值低 1–3 个数量级 ⇒ 独立性假设失败
独立连边 $p_n$
解释:稀疏、连通相变
不能解释:cc、幂律
几何距离 $< r$ 才连边
解释:关系传递性 / 三元闭包(大量三角形)
不能解释:幂律
新节点按 $d_i$ 正比连边
解释:幂律度分布
不能解释:cc
现象—模型选择器
先判断研究现象落在哪一层,再检查它如何转化为后续统计问题。
1.1 例子
网络数据长什么样、从哪里来
karate club 分裂:友谊图能否预测群体?→ 把"看图说话"升级为统计问题
Ch4 社区检测(karate club 是基准例子);Ch6 时序网络(高中数据集)
1.2.1 共性
六类网络有无共同规律
五条共性都可用一个数字刻画($\bar d$、$\delta$、cc、$\alpha$),使"规律"变成可检验的量
Ch2 用模型复现这些量;Table 1.2 是全书反复对照的基准
1.2.1→1.2.2 转折
共性从哪来
随机图 cc 估计量 $6|E|/(n(n-1))$ 与真实值差 1–3 个数量级 ⇒ 独立连边假设破产,必须引入结构
Ch2 严格化 ER/RGG/PA;Ch4 用 SBM 补"社区"这一块
1.2.2 三模型
每个模型各解释哪条共性
ER 管稀疏/连通、RGG 管传递性、PA 管幂律——分工明确但都不完整
Ch2 全部严格化并证明极限性质
1.3 统计问题
从描述到推断
提出社区检测、中心性、抽样三大问题;强调 modularity 会过拟合、抽样偏差不能靠加大样本消除
Ch3 中心性、Ch4 社区检测、Ch5 SSL、Ch7 抽样
先选最接近当前任务的一张卡;第一遍只追踪“问题 → 转折”,第二遍再沿“后续用途”进入公式、证明与跨章连接。
易混点
把最容易混用的对象并排拆开
每张卡只处理一个边界:先说清差别,再回到公式、假设或例子验证。
connected vs giant component
先拆开相近概念,再核对条件与结论。
连通图要求连通分量个数 $p=1$(只有一个连通分量);一些真实网络虽不连通,但最大连通分量可占约 90% 节点——这是书中数据示例,不是“巨分量”的定义。严格地说,巨分量规模为 $\Theta(n)$,即占据不消失的正比例。"有巨分量" ≠ "连通";Figure 1.9(a) 的 ER 图正是"大连通分量 + 孤立点"的形态。
小世界 vs 聚类系数
先拆开相近概念,再核对条件与结论。
小世界是全局性质(任意两点间距离短),聚类系数是局部性质(我的两个邻居彼此相连的概率)。网格状网络 cc 高但距离大;ER 距离短但 cc≈0。真实网络二者兼得——这是 Watts–Strogatz 式建模的经典张力,本书用 RGG(局部)+ ER(全局)对照呈现。
幂律 vs 重尾
先拆开相近概念,再核对条件与结论。
重尾是现象(右偏、尾部厚重,几乎所有真实网络都有);幂律是参数化模型($f(x)=Cx^{-\alpha}$,有争议)。log-log 直线只是幂律的必要证据而非充分证据;正文引 Broido & Clauset (2019):"幂律度分布其实罕见",但"重尾度分布是绝大多数"。
加权 vs 时序网络
先拆开相近概念,再核对条件与结论。
加权边记录强度/次数(高中网络的互动次数,Figure 1.4);时序边记录精确时刻序列(Figure 1.5 的快照)。把时间轴压成权重会丢信息(课间峰值消失)——这正是 Ch6 单独处理时序网络的理由。
cc 定义中的因子 3
先拆开相近概念,再核对条件与结论。
$\mathrm{cc}=3\times$三角形/三元组,因子 3 因为每个三角形含 3 个连通三元组(每个顶点各为中心一次)。忘掉因子 3 会让 cc 缩水三倍,与 Table 1.2 对不上。
连通三元组 vs 三角形
先拆开相近概念,再核对条件与结论。
三元组只要求"中心连出两条边"(允许是三角形的一部分,也可以不是);三角形要求三条边齐全。cc 的分母含前者、分子(除以 3 后)含后者。
主动回忆:合上正文再回答
- 五条经验规律分别由什么统计量刻画?其中哪两条最容易被误认为同一现象?
- ER、随机几何图和优先连接分别解释哪类规律?各自最明显的缺口是什么?
- 标准 transitivity 的 ER 基线为什么是 $p$?原书 Table 1.2 为什么使用 $3p$?
- “真实网络重尾”为什么不等于“真实网络严格服从幂律”?
- karate club、高中互动和受限网络访问三个问题分别在哪些后续章节得到处理?
- 对“两个三角形加一条桥边”的六节点图,平均度、密度、平均距离和聚类系数分别是多少?这些数为什么不能唯一确定生成模型?
核对答案 · 作答后展开六题最短答案答不完整时按链接回到相应模块。
- 平均度/边密度、最大分量占比、平均距离、聚类系数和度分布尾部;小世界是全局距离性质,三元闭包是局部邻域性质。
- ER 解释稀疏与连通相变,RGG 解释三元闭包,优先连接解释重尾/幂律;三者都不能单独覆盖全部经验规律,ER 尤其没有社区参数。
- 标准分母计 $3\binom n3p^2$ 个带中心楔形,和分子的三角形因子 3 相消得 $p$;原书漏掉分母的中心因子,得到并在表中使用 $3p$。回看校勘推导。
- 重尾是数据现象,幂律是对尾部函数形式的具体模型;有限样本中的近似直线不足以证明严格幂律。
- karate club → Ch4;高中互动 → Ch6;受限访问与抽样偏差 → Ch7。
- $\bar d=7/3$、密度 $7/15$、平均距离 $9/5$、$\mathrm{cc}=3/5$;这些量压缩了边的位置,ER、几何机制与块结构可能匹配其中一部分,必须结合结构特征与推断任务辨别。
若主动回忆题能够用自己的语言回答,可以先暂停;需要复现推导或核查证明时,再进入第二遍。
深入理解
把背景工具、符号、定理和证明链放回同一逻辑结构中。
初学者背景补充
预备知识 · 按需展开只补当前章节真正需要的前置工具已经熟悉时可直接跳过;遇到符号或证明卡点再回来。
本章默认的概率背景很少,只需三个直觉(严格处理见附录与未来第 2 章):
- 期望的线性性:数三角形时,"期望个数 = 候选位置数 × 每个位置成形的概率",即 $\mathbb E[\text{三角形}] = \binom{n}{3}p^3$——不需要独立性以外的任何工具。这是 §10 推导链的唯一概率工具。
- 二项分布:$n$ 个节点、每对以概率 $p$ 独立连边时,某节点的度 $\sim \mathrm{Bin}(n-1,p) \approx \mathrm{Bin}(n,p)$,平均度 $\bar d = np$(原书脚注 5 给的就是这个直觉)。记住它的形状:质量集中在均值附近 → 尾部指数衰减 → 不重尾。第 2 章会系统使用。
- 幂律与 log-log 图:密度 $f(x)=cx^{-\alpha}$ 取对数得 $\log f = -\alpha\log x + \log c$,所以 log-log 坐标下是斜率 $-\alpha$ 的直线——这是 Figure 1.8(b)、1.11(右) 的读图方法,也是"线性回归拟合幂律"做法的来源(正文同时警告其系统性误差,拟合宜用 CCDF 或 Hill 估计量)。
术语的准确定义见全书术语表;图论记号($V$、$E$、路径、连通分量)如感生疏,可在学第 2 章前先读本页 §8 符号表 与术语表"图与网络基础"分组。
核心对象与符号表
把本章会反复调用的记号集中在一处;读证明时从这里核对输入、输出与跨章角色。
| 符号 | 含义 | 本章出处 | 在后续章节的角色 |
|---|---|---|---|
| $G=(V,E)$ | 图:节点集 $V$ + 边集 $E$ | 章首引言段 | 全书基本对象;Ch2 起固定 $V=\{1,\dots,n\}$ |
| $n$ | 节点数 | 章首 | 一切渐近陈述($p_n$、$\bar d$ 标度)的参数 |
| $\lvert E\rvert$ | 边数 | Table 1.2 | 估计 $p$、cc 估计量 $6\lvert E\rvert/(n(n-1))$ 的输入 |
| $d_i$,$\bar d=\frac1n\sum_i d_i$ | 节点度、平均度 | 1.2.1 Sparsity | Ch2 度序列 $d=(d_1,\dots,d_n)$;稀疏性判据 $\bar d\ll n$ |
| $\delta$ | 平均节点距离 | Table 1.2 | 小世界的定量刻画 |
| $\mathrm{cc}$ | 聚类系数 $3\times$三角形数/连通三元组数 | 1.2.1 Edge transitivity | 关系传递性 / 三元闭包的度量;Ch4 前后反复作为"结构 vs 随机"对照 |
| $p_k$,$\{p_k\}$ | 度分布(随机抽到度为 $k$ 的节点的概率) | 1.2.1 Heavy-tailed | Ch2 各模型度分布推导的目标量 |
| $\alpha$,$C$,$x_{\min}$ | 幂律指数、正则化常数、下截断 | 1.2.1 Heavy-tailed | $2<\alpha<3$ 为典型区间;$C=(\alpha-1)x_{\min}^{\alpha-1}$ |
| $p$,$p_n$ | ER 连边概率及其标度($a/n$、$a\log n/n$) | 1.2.2 ER | Ch2 连通性阈值的核心参数 |
| $r$,$\mathcal S$ | RGG 距离阈值与采样区域 | 1.2.2 RGG | Ch2 RGG 严格定义 |
| $w_{ij}$,$W$,$\tau,\kappa$ | 边权、权重矩阵、核参数 | 1.1 几何构造(印刷页 6–7) | Ch5 图半监督学习的输入;对称化 $W\leftarrow \tfrac12(W+W^{\top})$ |
| $K$ | 社区数 / KNN 近邻数(依语境) | 1.3.1 / 1.1 | Ch4 社区检测的预设参数 |
关键概念卡片
四张卡片覆盖本章全部"必须带走"的概念,各按 定义 / 直觉 / 后续用途 组织。
小世界现象(small-world phenomenon)
#- 定义:网络中任意两节点间平均距离 $\delta$ 很小的经验现象;源于 Milgram 信件实验(约 20% 信件送达,平均中间人 5.2,通称"六度分隔")。
- 直觉:$\bar d$ 固定时,$k$ 步可达的节点数约按 $\bar d^k$ 增长,$n$ 个人只需 $\log n/\log\bar d$ 步量级——所以"稀疏"与"距离小"并不矛盾。
- 后续用途:Table 1.2 的 $\delta$ 列(2.4–9.3)是经验证据;ER 在 $p_n=a/n$ 下也有小世界性,Ch2 会给出直径的严格结果。参见术语表:小世界现象。
聚类系数(clustering coefficient)
#- 定义:$\mathrm{cc} = \dfrac{3\times\text{三角形数}}{\text{连通三元组数}}$;连通三元组 = "一个节点连着另两个"的三节点组,三角形 = 两两相连的三节点组。系数 3 来自每个三角形恰好贡献 3 个连通三元组(见 §10)。
- 直觉:度量"朋友的朋友也是朋友"的局部三角闭合倾向;cc 是条件概率"已知两条边存在时第三条边也存在"的估计。
- 后续用途:是区分"真实网络 vs ER 基线"最锋利的单一指标(Table 1.2 括号对照);RGG 因几何而天然高 cc。参见术语表:聚类系数、关系传递性与三元闭包。
重尾度分布(heavy-tailed degree distribution)
#- 定义:度分布显著右偏,远离均值处仍有不可忽略的概率质量;少数节点度极大(网红、枢纽),多数节点度很小。常用幂律 $f(x)=Cx^{-\alpha}$ 建模。
- 直觉:二项分布(ER)的尾部指数衰减,容不下"度为均值百倍"的节点;真实网络容得下。幂律的标度不变性 $f(cx)\propto f(x)$ 意味着"没有特征尺度"(scale-free)。
- 后续用途:优先连接模型在极限下产生幂律度分布(Ch2 将证明);但正文同时强调批评立场——log-log 线性回归有系统误差、Broido & Clauset (2019) 发现严格幂律罕见,"重尾普遍、幂律存疑"是本书的立场。参见术语表:重尾度分布、幂律。
三大随机图模型的直觉分工
#| 模型 | 机制一句话 | 解释什么 | 不能解释什么 | 严格化位置 |
|---|---|---|---|---|
| Erdős–Rényi | 每对节点独立以概率 $p_n$ 连边 | 稀疏性($p_n=a/n$)、连通性相变($p_n=a\log n/n$ 附近,Figure 1.9) | 关系传递性 / 三元闭包(cc$\to 0$)、幂律(度 $\sim\mathrm{Bin}(n,p)$ 不重尾)、社区 | Ch2,Definition/Theorem 严格化 |
| 随机几何图 RGG | 节点随机撒在空间中,距离 $<r$ 才连边 | 关系传递性 / 三元闭包(近邻的邻居仍近 ⇒ 大量三角形,对照 Figure 1.10 与 1.9)、局部稠密全局稀疏 | 幂律度分布 | Ch2 |
| 优先连接 | 增长模型:新节点以正比于 $d_i$ 的概率连向 $i$(富者愈富) | 幂律度分布(Figure 1.11) | 关系传递性 / 三元闭包、社区结构 | Ch2 严格定义并证极限幂律 |
为什么"ER 不能有社区":社区要求组内连边概率高于组间,而 ER 所有节点对共享同一个 $p$ 且边独立——不存在任何"组"可以依附的结构;连带的,标准 transitivity 基线为 $p$,原书 Table 1.2 的印刷基线为 $3p$,二者在稀疏情形都趋于 $0$(§10)。要社区就得换生成模型,这是 Ch4 的 SBM 出场的入口。
关键推导补全:标准基线 $p$ 与原书表格基线 $3p$
快速阅读可只看证明卡标题与状态;需要严格掌握时,再逐段核验每个等式和外引依赖。
这是本章唯一一条完整推导链(正文 1.2.1 Edge transitivity 小节,印刷页 9),也是 Table 1.2 括号数值的来源。原文已给出全部步骤,本模块把它串成一条链并做实例验算。
推导链(期望版):设 $n$ 个节点、每对以概率 $p$ 独立连边。
- 三节点候选组共 $\binom{n}{3}$ 组;一组三节点两两全连(3 条边)的概率为 $p^3$,故 $\mathbb E[\text{三角形数}] = \binom{n}{3}p^3$。
- 标准定义把连通三元组计为带中心的楔形。每组三节点有 3 个可能中心,每个中心的两条邻接边同时存在的概率为 $p^2$,故 $\mathbb E[\text{连通三元组数}] = 3\binom{n}{3}p^2$。
- 因此,按通常的全局聚类系数(transitivity)定义,期望计数之比给出 $$\mathrm{cc}_{\mathrm{standard}} \approx \frac{3\binom{n}{3}p^3}{3\binom{n}{3}p^2}=p.$$ 这里两个因子 $3$ 必须相消;原笔记先相消又写成 $3p$ 是代数错误。
- 原书印刷文本把连通三元组的期望写成 $\binom n3p^2$,少计了 3 个中心,因而得到 $$\mathrm{cc}_{\mathrm{book}}=3p.$$ Table 1.2 的括号数值确实按这一印刷口径计算。学习时必须把“标准定义下的理论基线”和“复现原书表格的口径”分开,不能把两条链写成同一个证明。
- 用数据估计 $p$:$\hat p = \lvert E\rvert\big/\binom{n}{2} = \dfrac{2\lvert E\rvert}{n(n-1)}$。于是标准基线为 $\hat p$,原书表格基线为 $$\widehat{\mathrm{cc}}_{\text{rand}} \;=\; \frac{6\lvert E\rvert}{n(n-1)}\,.$$
校勘结论:这不是把因子放在不同位置即可消除的“记号压缩”。若分母计带中心楔形,ER 基线是 $p$;若按原书漏掉中心因子的印刷计数,则表格基线是 $3p$。本页保留后者只为复现 Table 1.2,不把它认证为标准 transitivity 的理论值。
实例验算(Table 1.2 第一行 Political blogs):$n=1222$,$\lvert E\rvert=16717$。
$$\widehat{\mathrm{cc}}_{\text{rand}} = \frac{6\times 16717}{1222\times 1221} = \frac{100302}{1492062} \approx 0.0672 \approx 0.07\ \checkmark$$
与表中括号值 $(0.07)$ 一致;而真实 $\mathrm{cc}=0.32$,约为随机基线的 5 倍。再验 DBLP 行:$\frac{6\times 34281}{13326\times 13325}\approx 0.00116\approx 0.001\ \checkmark$(括号值 0.001,真实 0.61,差约 3 个数量级)。结论:真实网络的三角闭合远超"边独立随机"所能解释的水平——这就是 1.2.2 必须引入几何(RGG)与增长(PA)机制、Ch4 必须引入社区结构的定量理由。
正文隐藏验证说明(回读锚点表)
先确认原书给到哪里,再检查补充证明使用的条件、证据等级与闭合边界。
清单扫描结论:本章无真正留白型读者任务。聚类系数推导(文件页 18)文内已给完整链条(见 §10),其余四处"we will show / we will see"均为前瞻句。相关章节现已落盘,双向定位状态如下:
| # | 本章原句(意译) | 文件页 | 指向 | 回填状态 |
|---|---|---|---|---|
| F1 | "能否仅凭友谊图预测最终分裂成的两派?"(karate club) | 11 | Ch4 社区检测,karate club 为基准数据集 | 已兑现 |
| F2 | "在 ER 等无社区结构的随机图上也能找到高 modularity 的划分!" | 23 | Ch4 modularity 过拟合讨论与 Bayesian/MCMC 缓解方法 | 已兑现 |
| F3 | "第 2 章将看到严格命题如何确认这些观察"(ER 在 $p_n=2/n$ 不连通、$p_n=2\log n/n$ 连通的图感) | 20 | Ch2 ER 连通性定理(Theorem 2.1/2.2) | 已兑现 |
| F4 | "第 2 章将给出该模型的严格定义并证明其极限幂律度分布"(优先连接) | 22 | Ch2 优先连接(Definition 2.4 / Proposition 2.3) | 已兑现 |
另有一条隐性前瞻:1.1 高中数据集"按时间互动恢复班级"的问题 → Ch6 时序网络社区检测(正文已明说 "We will study this dataset in more detail in Chapter 6"),现已兑现。
巩固迁移
确认术语无歧义、易混点能解释,并知道结论在后续哪里复用。
术语与跨章链接
先统一名称,再查看对象的前后章关系
术语、符号与跨章用途放在同一组任务卡中,避免把链接读成没有结构的长清单。
本章首次系统引入、已入全书术语表的术语(点击跳转定义):
图与网络基础
术语组
网络统计性质
术语组
随机图模型
术语组
统计问题
术语组
校勘备忘(译文与本笔记统一按此处理,详见清单 §7):OCR 将 Erdős 的 ő 系统性误识为 ˝;权重矩阵对称化公式的 $\tfrac12$ 被误作 \mathsf{\Omega}_2^1,应为 $W\leftarrow\tfrac12(W+W^{\top})$;原书 typo 两处("Morever"→Moreover,文件页 20;脚注 6 "dissasociative"→disassortative,文件页 22)按规范加校勘提示、不静默改写。
公式卡片
本章无编号公式;以下 4 个展示公式 + 2 个行内关键公式按"输入 → 输出 → 用途"整理。
高斯核阈值权重
#(印刷页 7,Ch5 图构造的伏笔): $$w_{ij}=\begin{cases}\exp\!\left(-\dfrac{\lVert x_i-x_j\rVert^2}{\tau^2}\right),& \lVert x_i-x_j\rVert^2\le\kappa,\\\\0,&\text{否则},\end{cases}$$ 输入数据矩阵 $X=(x_1,\dots,x_n)\in\mathbb R^{m\times n}$($n$ 个 $m$ 维点);截断 $\kappa$ 防止稠密化。
KNN 核权重(MNIST 网络实际所用)
#: $$w_{ij}=\begin{cases}\exp\!\left(-\dfrac{4\lVert x_i-x_j\rVert^2}{\tau_i}\right),& x_j\in K\text{-近邻 of }x_i,\\\\0,&\text{否则},\end{cases}$$ $\tau_i$ = $x_i$ 到其第 $K$ 近邻的距离(逐点自适应带宽);之后对称化 $W\leftarrow\tfrac12(W+W^{\top})$。Figure 1.7 即用 $K=8$ 构造。
聚类系数定义
#(印刷页 9,本章最重要的一个数): $$\mathrm{cc}=\frac{3\times\text{三角形数}}{\text{连通三元组数}}.$$
数据矩阵记号
#:$X=(x_1,\ldots,x_n)\in\mathbb{R}^{m\times n}$——机器学习语境下"网络从数据来"的起点。
幂律正则化常数
#:连续幂律 $f(x)=Cx^{-\alpha}$ 在 $[x_{\min},+\infty)$ 上归一化要求 $\alpha>1$ 且 $$C=(\alpha-1)\,x_{\min}^{\alpha-1}\;;$$ 离散变体(Zipf)$\mathbb P(X=k)=ck^{-\alpha}\,\mathbf 1(k\ge x_{\min})$,$c=\big(\sum_{k=0}^{\infty}(k+x_{\min})^{-\alpha}\big)^{-1}$。log-log 下 $\log\mathbb P(X=k)=-\alpha\log k+\log c$ 为直线(Figure 1.8(b) 的读法)。
ER 度分布与标度
#:度 $\sim\mathrm{Bin}(n,p)$,$\bar d=np$;$p$ 为常数时 $\bar d$ 随 $n$ 增长(不稀疏),故取 $p_n\ll 1$——$p_n=a/n$ 给出常数平均度 $a$,$p_n=a\log n/n$ 给出对数增长平均度 $a\log n$(Figure 1.9 两种标度情形的分界,Ch2 将证明后者是连通性阈值的量级)。
章尾三节导读
文献出口 · 按需展开延伸路线、适用时机与离开本书的入口主线学习可以略过;准备深入某个方向时再展开。
Book Organisation(印刷页 15)——这是全书的依赖图,读法如下:
- Ch2(随机图模型)是全书地基,"所有部分都在一定程度上需要";务必先读。
- 主线一(结构推断):Ch4 社区检测 → Ch5 半监督学习(已知部分社区信息)→ Ch6 时序网络扩展。书言 Ch4 对 Ch5/6 "有用但非绝对必要"。
- 主线二(节点与数据获取):Ch3 中心性指标;Ch7 网络抽样。书言 Ch3 对 Ch5、Ch7 有帮助。
- 对照本页 §4 主线表 的"后续用途"列即可看出:1.3 的三个问题正好各认领一条主线。
Book Bibliographic Position(印刷页 15–16)——作者的自定位,分四层:
- 随机图模型理论已有经典教材(Bollobás 2001;Chung & Lu 2006;Janson et al. 2011;Hofstad 2016);
- 图形成过程与图上动力学另有专著(Durrett 2007;Barabási 2016;Newman 2018 等);社交网应用与网络可视化/软件亦已有大量文献,本书不覆盖这些;
- 本书的差异化在于统计视角:社区检测(尤其 SBM)与 2018 年后的进展综述、时序网络上的聚类与图半监督学习;
- 作者声称两点"未见于其他教材":中心性指标的详细比较分析、现代网络抽样方法——"希望这是第一部网络统计分析的综合教材式著作"。读这一节的价值在于选参考书时知道本书补的是哪个空位。
Funding(印刷页 16):如实陈述本书工作部分受 Inria – Nokia Bell Labs 项目 "Distributed Learning and Control for Network Analysis" 与 EU COST Action "European Cooperation for Statistics of Network Data Science" 资助。无技术内容。
学习检查表:完成标准
学完本章后自查:
- [ ] 能复述:用一句话说明 $G=(V,E)$ 以及二值/加权/时序三种网络的区别。
- [ ] 能复述:五条共性(稀疏、巨分量、小世界、关系传递性 / 三元闭包、重尾)各自的定量指标是什么($\bar d$、最大分量占比、$\delta$、cc、$\alpha$)。
- [ ] 能解释:为什么标准 transitivity 的 ER 基线为 $p$,为什么原书 Table 1.2 采用 $3p$,并能用 $6\lvert E\rvert/(n(n-1))$ 复现任一括号数值而不混淆两种口径。
- [ ] 能解释:三个随机图模型各自解释哪条共性、不能解释哪条;为什么说"没有模型能同时解释全部共性"是引入 SBM 的动机。
- [ ] 能判别:给定一段描述,区分它在说小世界(全局距离)还是聚类(局部三角闭合);区分"重尾"(现象)与"幂律"(模型)。
- [ ] 能计算:独立算出 六节点例子的平均度、密度、平均距离与聚类系数,并说明这些汇总量为什么不足以唯一识别生成机制。
- [ ] 能判别:为什么"抽样偏差不能靠增大样本量消除"(Literary Digest 1936 例),并指出这与 Ch7 的关系。
- [ ] 能定位:karate club 的预测问题、ER 连通性相变、PA 幂律证明分别在第几章兑现(见 §11 回读锚点表)。
后续衔接
不必机械按章号前进,选择真正需要解决的问题
每张出口卡说明连接对象及其用途;需要回看时,仍可沿卡内链接返回精确位置。
把 1.2.2 的三个模型严格化——ER 的定义与连通性定理(兑现前瞻句 F3)、RGG 的定义、优先连接的严格定义与极限幂律证明(兑现 F4);本章的 $p_n$ 标度直觉在那里变成阈值定理。
回答 1.3.2“谁最重要”——度中心性只是起点,PageRank 类随机游走排名与路径中介性指标对应不同的“重要性”语义。
回答 1.1 karate club 的预测问题(F1);1.3.1 预告的 cut-based/谱方法、modularity 及其过拟合(F2)、Bayesian 方法与 SBM 在此展开。Table 1.2 的 cc 对照逻辑会升级为"有结构的生成模型 vs 零模型"的检验框架。
1.1 几何构造小节(F1/F2 公式)埋下的"从数据建图"在此成为输入;部分社区标签已知时推断其余标签。
高中互动数据集(Table 1.1、Figure 1.4/1.5)在这里被正式研究,回应 1.1"时间聚合丢信息"的警告。
1.3.3 的 Twitter 抓取限制与 Literary Digest 偏差在此方法化。