SAN 阅读笔记
目录

第 1 章学习笔记:引言

配套译文:../translations/01-introduction.md(已落盘;正文、笔记与术语表锚点已对账)。 本章特点:无编号定理/定义环境、无编号公式、无习题、无 Further Notes。全章是"现象 → 模型直觉 → 统计问题"的导览,章尾三节(Book Organisation / Book Bibliographic Position / Funding)属于正文。因此本笔记以"关键概念卡片"替代定理卡片、以"关键推导补全"替代完整证明、以"章尾三节导读"替代 Exercises 模块。

Chapter 01 · 现象与问题
从网络现象识别模型缺口与统计任务

先观察稀疏、小世界、三元闭包和重尾等经验规律,再问哪些随机机制能够解释它们,最后把差距转化为全书要解决的统计问题。

第一遍约 40 分钟现象 → 度量 → 模型 → 问题
观测
真实网络、图像与汇总统计量
目标
识别跨数据集的经验规律
模型
ER、随机几何图、优先连接
失败模式
单一机制只能解释部分现象
  1. 01
    用统计量描述五类网络现象

    把稀疏、巨分量、小世界、三元闭包和重尾分别对应到可计算量。

  2. 02
    比较模型解释边界

    说明 ER、RGG 和优先连接各自能解释什么、遗漏什么。

  3. 03
    核对随机基线口径

    区分标准 transitivity 基线与原书 Table 1.2 使用的印刷口径。

  4. 04
    把问题定位到后续章节

    将中心性、社区检测、半监督、时序和抽样问题接到第 2–7 章。

逐页精读 · 按需展开 原书顺序、详细导读与卡点索引 第一次学习先用上方仪表板和主线;并排逐页阅读时再打开。

1. 一句话定位

本章回答两个问题——为什么真实网络值得用统计方法研究(1.1 的例子给出动机,1.2 提炼出五个跨领域共性,说明它们不是巧合而是需要模型解释的规律),以及全书要解决什么(1.3 提出三大统计问题,Book Organisation 给出第 2–7 章的地图)。本章是全书的"问题清单":它不证明任何东西,但后面每一章都是在兑现本章许下的承诺。

2. 本章导读

本章按"例子 → 共性 → 模型 → 问题"四步推进:

  1. 1.1 Examples of Networks(印刷页 2–7):六类真实网络——社交(karate club、LiveJournal、Political Blogs)、面对面互动(高中传感器数据)、通信(Enron 邮件)、信息与协作(DBLP、Web-graph)、生物(海豚网络)、几何构造(MNIST 高斯核/KNN 图)。读这一节只需建立两个印象:网络数据到处都有;karate club 的"能否仅凭友谊图预测分裂出的两派"这个问题将在第 4 章得到回答。
  2. 1.2.1 共性(印刷页 8–11):把上述例子压缩成五条经验规律——稀疏性、连通性(巨分量)、小世界、关系传递性与三元闭包(由聚类系数度量)、重尾度分布(幂律)。Table 1.2 是本节的数据锚点,所有"真实网络 vs 随机图"的对比都靠它支撑。
  3. 1.2.2 模型直觉(印刷页 11–13):三个随机图模型各自"认领"一部分共性——ER 解释稀疏与连通、RGG 解释关系传递性与三元闭包、优先连接解释幂律。注意没有哪个模型能同时解释全部共性,这正是第 2 章严格化、第 4 章引入 SBM 的动机。
  4. 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 的节点。先明确任务,再选择统计量与方法,正是本章的主旨。

本章决策地图:网络观察与诊断

先读上半部的“为什么转向”,再按下半部任务卡选读;不必把两层信息重复背一遍。

章节逻辑 · 观察 → 诊断 → 建模

看到一种网络现象后,下一步该换度量、换模型,还是换统计任务?

先用可计算的网络共性检验独立边基线,再按基线解释不了的结构选择机制模型。

因果关系读法:观察催生度量,度量暴露随机基线的失败,失败逼出三个机制模型,模型支撑统计问题。

把现象变成诊断证据
① 观察(1.1)
六类真实网络
karate club · 高中互动 · Political Blogs · 海豚 · MNIST 图
② 度量(1.2.1)
稀疏 $\bar d \ll n$ · 巨分量 · 小世界 $\delta$ 小 · cc 大 · 度分布重尾
Table 1.2 给每条共性一个数
③ 基线检验
若边独立随机:$\mathrm{cc}\approx 6|E|/(n(n-1))$
比真实值低 1–3 个数量级 ⇒ 独立性假设失败
按结构缺口选择模型
④a ER 模型
独立连边 $p_n$
解释:稀疏、连通相变
不能解释:cc、幂律
④b RGG
几何距离 $< r$ 才连边
解释:关系传递性 / 三元闭包(大量三角形)
不能解释:幂律
④c 优先连接
新节点按 $d_i$ 正比连边
解释:幂律度分布
不能解释:cc
任务出口 ⑤ 统计问题(1.3)⇒ 全书:模型都不完整 ⇒ 需要带社区结构的生成模型(Ch4 SBM)、需要对节点排序的指标(Ch3)、需要在拿不到全网时做估计(Ch7 抽样)、部分标签下的推断(Ch5 SSL)、时序扩展(Ch6)。
从本章问题出发

现象—模型选择器

先判断研究现象落在哪一层,再检查它如何转化为后续统计问题。

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 后)含后者。

主动回忆:合上正文再回答

  1. 五条经验规律分别由什么统计量刻画?其中哪两条最容易被误认为同一现象?
  2. ER、随机几何图和优先连接分别解释哪类规律?各自最明显的缺口是什么?
  3. 标准 transitivity 的 ER 基线为什么是 $p$?原书 Table 1.2 为什么使用 $3p$?
  4. “真实网络重尾”为什么不等于“真实网络严格服从幂律”?
  5. karate club、高中互动和受限网络访问三个问题分别在哪些后续章节得到处理?
  6. 对“两个三角形加一条桥边”的六节点图,平均度、密度、平均距离和聚类系数分别是多少?这些数为什么不能唯一确定生成模型?
核对答案 · 作答后展开六题最短答案答不完整时按链接回到相应模块。
  1. 平均度/边密度、最大分量占比、平均距离、聚类系数和度分布尾部;小世界是全局距离性质,三元闭包是局部邻域性质。
  2. ER 解释稀疏与连通相变,RGG 解释三元闭包,优先连接解释重尾/幂律;三者都不能单独覆盖全部经验规律,ER 尤其没有社区参数。
  3. 标准分母计 $3\binom n3p^2$ 个带中心楔形,和分子的三角形因子 3 相消得 $p$;原书漏掉分母的中心因子,得到并在表中使用 $3p$。回看校勘推导。
  4. 重尾是数据现象,幂律是对尾部函数形式的具体模型;有限样本中的近似直线不足以证明严格幂律。
  5. karate club → Ch4;高中互动 → Ch6;受限访问与抽样偏差 → Ch7。
  6. $\bar d=7/3$、密度 $7/15$、平均距离 $9/5$、$\mathrm{cc}=3/5$;这些量压缩了边的位置,ER、几何机制与块结构可能匹配其中一部分,必须结合结构特征与推断任务辨别。
第一遍完成 此时应能解释本章的选择框架,而不是背完所有公式

若主动回忆题能够用自己的语言回答,可以先暂停;需要复现推导或核查证明时,再进入第二遍。

阶段二

深入理解

把背景工具、符号、定理和证明链放回同一逻辑结构中。

初学者背景补充

预备知识 · 按需展开只补当前章节真正需要的前置工具已经熟悉时可直接跳过;遇到符号或证明卡点再回来。

本章默认的概率背景很少,只需三个直觉(严格处理见附录与未来第 2 章):

  1. 期望的线性性:数三角形时,"期望个数 = 候选位置数 × 每个位置成形的概率",即 $\mathbb E[\text{三角形}] = \binom{n}{3}p^3$——不需要独立性以外的任何工具。这是 §10 推导链的唯一概率工具。
  2. 二项分布:$n$ 个节点、每对以概率 $p$ 独立连边时,某节点的度 $\sim \mathrm{Bin}(n-1,p) \approx \mathrm{Bin}(n,p)$,平均度 $\bar d = np$(原书脚注 5 给的就是这个直觉)。记住它的形状:质量集中在均值附近 → 尾部指数衰减 → 不重尾。第 2 章会系统使用。
  3. 幂律与 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 社区检测的预设参数

关键概念卡片

四张卡片覆盖本章全部"必须带走"的概念,各按 定义 / 直觉 / 后续用途 组织。

A · 概念

小世界现象(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 会给出直径的严格结果。参见术语表:小世界现象。
B · 概念

聚类系数(clustering coefficient)

#
  • 定义:$\mathrm{cc} = \dfrac{3\times\text{三角形数}}{\text{连通三元组数}}$;连通三元组 = "一个节点连着另两个"的三节点组,三角形 = 两两相连的三节点组。系数 3 来自每个三角形恰好贡献 3 个连通三元组(见 §10)。
  • 直觉:度量"朋友的朋友也是朋友"的局部三角闭合倾向;cc 是条件概率"已知两条边存在时第三条边也存在"的估计。
  • 后续用途:是区分"真实网络 vs ER 基线"最锋利的单一指标(Table 1.2 括号对照);RGG 因几何而天然高 cc。参见术语表:聚类系数、关系传递性与三元闭包。
C · 概念

重尾度分布(heavy-tailed degree distribution)

#
  • 定义:度分布显著右偏,远离均值处仍有不可忽略的概率质量;少数节点度极大(网红、枢纽),多数节点度很小。常用幂律 $f(x)=Cx^{-\alpha}$ 建模。
  • 直觉:二项分布(ER)的尾部指数衰减,容不下"度为均值百倍"的节点;真实网络容得下。幂律的标度不变性 $f(cx)\propto f(x)$ 意味着"没有特征尺度"(scale-free)。
  • 后续用途:优先连接模型在极限下产生幂律度分布(Ch2 将证明);但正文同时强调批评立场——log-log 线性回归有系统误差、Broido & Clauset (2019) 发现严格幂律罕见,"重尾普遍、幂律存疑"是本书的立场。参见术语表:重尾度分布、幂律。
D · 概念

三大随机图模型的直觉分工

#
模型 机制一句话 解释什么 不能解释什么 严格化位置
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$ 独立连边。

  1. 三节点候选组共 $\binom{n}{3}$ 组;一组三节点两两全连(3 条边)的概率为 $p^3$,故 $\mathbb E[\text{三角形数}] = \binom{n}{3}p^3$。
  2. 标准定义把连通三元组计为带中心的楔形。每组三节点有 3 个可能中心,每个中心的两条邻接边同时存在的概率为 $p^2$,故 $\mathbb E[\text{连通三元组数}] = 3\binom{n}{3}p^2$。
  3. 因此,按通常的全局聚类系数(transitivity)定义,期望计数之比给出 $$\mathrm{cc}_{\mathrm{standard}} \approx \frac{3\binom{n}{3}p^3}{3\binom{n}{3}p^2}=p.$$ 这里两个因子 $3$ 必须相消;原笔记先相消又写成 $3p$ 是代数错误。
  4. 原书印刷文本把连通三元组的期望写成 $\binom n3p^2$,少计了 3 个中心,因而得到 $$\mathrm{cc}_{\mathrm{book}}=3p.$$ Table 1.2 的括号数值确实按这一印刷口径计算。学习时必须把“标准定义下的理论基线”和“复现原书表格的口径”分开,不能把两条链写成同一个证明。
  5. 用数据估计 $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 个行内关键公式按"输入 → 输出 → 用途"整理。

F1 · 公式

高斯核阈值权重

#

(印刷页 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$ 防止稠密化。

F2 · 公式

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$ 构造。

F3 · 公式

聚类系数定义

#

(印刷页 9,本章最重要的一个数): $$\mathrm{cc}=\frac{3\times\text{三角形数}}{\text{连通三元组数}}.$$

F4 · 公式

数据矩阵记号

#

:$X=(x_1,\ldots,x_n)\in\mathbb{R}^{m\times n}$——机器学习语境下"网络从数据来"的起点。

F5 · 公式

幂律正则化常数

#

:连续幂律 $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) 的读法)。

F6 · 公式

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)——作者的自定位,分四层:

  1. 随机图模型理论已有经典教材(Bollobás 2001;Chung & Lu 2006;Janson et al. 2011;Hofstad 2016);
  2. 图形成过程与图上动力学另有专著(Durrett 2007;Barabási 2016;Newman 2018 等);社交网应用与网络可视化/软件亦已有大量文献,本书不覆盖这些;
  3. 本书的差异化在于统计视角:社区检测(尤其 SBM)与 2018 年后的进展综述、时序网络上的聚类与图半监督学习;
  4. 作者声称两点"未见于其他教材":中心性指标的详细比较分析、现代网络抽样方法——"希望这是第一部网络统计分析的综合教材式著作"。读这一节的价值在于选参考书时知道本书补的是哪个空位。

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 回读锚点表)。

后续衔接

按下一项学习任务离开本章

不必机械按章号前进,选择真正需要解决的问题

每张出口卡说明连接对象及其用途;需要回看时,仍可沿卡内链接返回精确位置。

下一步 01 第 2 章 Random Graph Models

把 1.2.2 的三个模型严格化——ER 的定义与连通性定理(兑现前瞻句 F3)、RGG 的定义、优先连接的严格定义与极限幂律证明(兑现 F4);本章的 $p_n$ 标度直觉在那里变成阈值定理。

下一步 02 第 3 章 Centrality Indices

回答 1.3.2“谁最重要”——度中心性只是起点,PageRank 类随机游走排名与路径中介性指标对应不同的“重要性”语义。

下一步 03 第 4 章 Community Detection

回答 1.1 karate club 的预测问题(F1);1.3.1 预告的 cut-based/谱方法、modularity 及其过拟合(F2)、Bayesian 方法与 SBM 在此展开。Table 1.2 的 cc 对照逻辑会升级为"有结构的生成模型 vs 零模型"的检验框架。

下一步 04 第 5 章 Semi-supervised Learning

1.1 几何构造小节(F1/F2 公式)埋下的"从数据建图"在此成为输入;部分社区标签已知时推断其余标签。

下一步 05 第 6 章 Temporal Networks

高中互动数据集(Table 1.1、Figure 1.4/1.5)在这里被正式研究,回应 1.1"时间聚合丢信息"的警告。

下一步 06 第 7 章 Sampling

1.3.3 的 Twitter 抓取限制与 Literary Digest 偏差在此方法化。