diff --git a/.translate/state/mobility.md.yml b/.translate/state/mobility.md.yml
new file mode 100644
index 0000000..f783a96
--- /dev/null
+++ b/.translate/state/mobility.md.yml
@@ -0,0 +1,6 @@
+source-sha: d7670896875332bb167f262f207c2f726f4af28a
+synced-at: "2026-08-20"
+model: claude-sonnet-5
+mode: NEW
+section-count: 7
+tool-version: 0.26.0
diff --git a/lectures/_static/quant-econ.bib b/lectures/_static/quant-econ.bib
index 21cbabf..ece2dc7 100644
--- a/lectures/_static/quant-econ.bib
+++ b/lectures/_static/quant-econ.bib
@@ -2918,6 +2918,57 @@ @incollection{sargent1989least
   publisher={Cambridge University Press}
 }
 
+@article{schaefer1954,
+  title={Some aspects of the dynamics of populations important to the management of the commercial marine fisheries},
+  author={Schaefer, Milner B.},
+  journal={Bulletin of the Inter-American Tropical Tuna Commission},
+  volume={1},
+  number={2},
+  pages={23--56},
+  year={1954}
+}
+
+@article{gordon1954,
+  title={The economic theory of a common-property resource: the fishery},
+  author={Gordon, H. Scott},
+  journal={Journal of Political Economy},
+  volume={62},
+  number={2},
+  pages={124--142},
+  year={1954},
+  publisher={University of Chicago Press}
+}
+
+@article{may1976,
+  title={Simple mathematical models with very complicated dynamics},
+  author={May, Robert M.},
+  journal={Nature},
+  volume={261},
+  number={5560},
+  pages={459--467},
+  year={1976},
+  publisher={Nature Publishing Group}
+}
+
+@book{clark1990,
+  title={Mathematical Bioeconomics: The Optimal Management of Renewable Resources},
+  author={Clark, Colin W.},
+  edition={2nd},
+  year={1990},
+  publisher={Wiley}
+}
+
+@article{ricard2012,
+  title={Evaluating the knowledge base and status of commercially exploited marine species with the {RAM} Legacy Stock Assessment Database},
+  author={Ricard, Daniel and Minto, Coilin and Jensen, Olaf P. and Baum, Julia K.},
+  journal={Fish and Fisheries},
+  volume={13},
+  number={4},
+  pages={380--398},
+  year={2012},
+  publisher={Wiley}
+}
+
 @article{decock2011ames,
   title={Ames, Iowa: Alternative to the Boston housing data as an end of semester regression project},
   author={De Cock, Dean},
@@ -2926,3 +2977,145 @@ @article{decock2011ames
   number={3},
   year={2011}
 }
+
+@unpublished{carroll2026mobility,
+  title  = {Mobility},
+  author = {Carroll, Daniel R. and Hoffman, Nicholas and Young, Eric R.},
+  year   = {2026},
+  note   = {Working paper, Federal Reserve Bank of Cleveland, Carnegie Mellon University and University of Virginia}
+}
+
+@article{shorrocks1978measurement,
+  title     = {The measurement of mobility},
+  author    = {Shorrocks, Anthony F.},
+  journal   = {Econometrica},
+  volume    = {46},
+  number    = {5},
+  pages     = {1013--1024},
+  year      = {1978}
+}
+
+@book{bartholomew1967stochastic,
+  title     = {Stochastic Models for Social Processes},
+  author    = {Bartholomew, David J.},
+  publisher = {Wiley},
+  address   = {London},
+  year      = {1967}
+}
+
+@article{prais1955measuring,
+  title     = {Measuring social mobility},
+  author    = {Prais, S. J.},
+  journal   = {Journal of the Royal Statistical Society. Series A (General)},
+  volume    = {118},
+  number    = {1},
+  pages     = {56--66},
+  year      = {1955}
+}
+
+@article{dardanoni1993measuring,
+  title     = {Measuring social mobility},
+  author    = {Dardanoni, Valentino},
+  journal   = {Journal of Economic Theory},
+  volume    = {61},
+  number    = {2},
+  pages     = {372--394},
+  year      = {1993}
+}
+
+@incollection{fields1999measurement,
+  title     = {The measurement of income mobility: an introduction to the literature},
+  author    = {Fields, Gary S. and Ok, Efe A.},
+  booktitle = {Handbook of Income Inequality Measurement},
+  pages     = {557--598},
+  publisher = {Springer},
+  year      = {1999}
+}
+
+@article{sommers1979eigenvalue,
+  title     = {Eigenvalue immobility measures for Markov chains},
+  author    = {Sommers, Paul M. and Conlisk, John},
+  journal   = {Journal of Mathematical Sociology},
+  volume    = {6},
+  number    = {2},
+  pages     = {253--276},
+  year      = {1979}
+}
+
+@article{conlisk1990monotone,
+  title     = {Monotone mobility matrices},
+  author    = {Conlisk, John},
+  journal   = {Journal of Mathematical Sociology},
+  volume    = {15},
+  number    = {3-4},
+  pages     = {173--191},
+  year      = {1990}
+}
+
+@book{kemeny1976finite,
+  title     = {Finite Markov Chains},
+  author    = {Kemeny, John G. and Snell, J. Laurie},
+  series    = {Undergraduate Texts in Mathematics},
+  publisher = {Springer},
+  year      = {1976}
+}
+
+@article{meyer1978alternative,
+  title     = {An alternative expression for the mean first passage matrix},
+  author    = {Meyer, Carl D.},
+  journal   = {Linear Algebra and its Applications},
+  volume    = {22},
+  pages     = {41--47},
+  year      = {1978}
+}
+
+@article{cowell2018measuring,
+  title     = {Measuring mobility},
+  author    = {Cowell, Frank A. and Flachaire, Emmanuel},
+  journal   = {Quantitative Economics},
+  volume    = {9},
+  number    = {2},
+  pages     = {865--901},
+  year      = {2018}
+}
+
+@article{corak2013income,
+  title     = {Income inequality, equality of opportunity, and intergenerational mobility},
+  author    = {Corak, Miles},
+  journal   = {Journal of Economic Perspectives},
+  volume    = {27},
+  number    = {3},
+  pages     = {79--102},
+  year      = {2013}
+}
+
+@article{chetty2014land,
+  title     = {Where is the land of opportunity? The geography of intergenerational
+               mobility in the United States},
+  author    = {Chetty, Raj and Hendren, Nathaniel and Kline, Patrick and Saez, Emmanuel},
+  journal   = {The Quarterly Journal of Economics},
+  volume    = {129},
+  number    = {4},
+  pages     = {1553--1623},
+  year      = {2014}
+}
+
+@article{hurst1998wealth,
+  title     = {The wealth dynamics of American families, 1984-94},
+  author    = {Hurst, Erik and Luoh, Ming Ching and Stafford, Frank P. and Gale, William G.},
+  journal   = {Brookings Papers on Economic Activity},
+  volume    = {1998},
+  number    = {1},
+  pages     = {267--337},
+  year      = {1998}
+}
+
+@article{jianakoplos1997wealth,
+  title     = {Wealth mobility},
+  author    = {Jianakoplos, Nancy A. and Menchik, Paul L.},
+  journal   = {Review of Economics and Statistics},
+  volume    = {79},
+  number    = {1},
+  pages     = {18--31},
+  year      = {1997}
+}
diff --git a/lectures/_toc.yml b/lectures/_toc.yml
index 2f4333a..e5b672a 100644
--- a/lectures/_toc.yml
+++ b/lectures/_toc.yml
@@ -77,6 +77,7 @@ parts:
   - file: input_output
   - file: lake_model
   - file: networks
+  - file: mobility
 - caption: 市场与竞争性均衡
   numbered: true
   chapters:
diff --git a/lectures/mobility.md b/lectures/mobility.md
new file mode 100644
index 0000000..3f5434e
--- /dev/null
+++ b/lectures/mobility.md
@@ -0,0 +1,1307 @@
+---
+jupytext:
+  text_representation:
+    extension: .md
+    format_name: myst
+    format_version: 0.13
+    jupytext_version: 1.16.6
+kernelspec:
+  display_name: Python 3 (ipykernel)
+  language: python
+  name: python3
+translation:
+  title: 测量流动性
+  headings:
+    Overview: 概览
+    Mobility matrices: 流动性矩阵
+    Mobility matrices::From quantiles to a stochastic matrix: 从分位数到随机矩阵
+    Mobility matrices::An example: 一个例子
+    Mobility matrices::Two benchmarks: 两个基准
+    Four measures of mobility: 四种流动性度量
+    Four measures of mobility::The Shorrocks index: Shorrocks 指数
+    Four measures of mobility::Bartholomew's measure: Bartholomew 度量
+    Four measures of mobility::The second eigenvalue: 第二特征值
+    Four measures of mobility::Mean first passage time: 平均首达时间
+    Four measures of mobility::Collecting the measures: 汇总各项度量
+    What the measures miss: 这些度量遗漏了什么
+    Wealth mobility in the US data: 美国数据中的财富流动性
+    Wealth mobility in the US data::The data: 数据
+    Wealth mobility in the US data::Mobility rises with the horizon: 流动性随视界延长而上升
+    Wealth mobility in the US data::Has mobility declined?: 流动性是否已经下降？
+    Wealth mobility in the US data::Is the quintile chain Markov?: 分位数链是马尔可夫的吗？
+    Exercises: 练习
+    Further reading: 延伸阅读
+    Further reading::Measurement theory: 度量理论
+    Further reading::Intergenerational mobility: 代际流动性
+    Further reading::Mobility in economic models: 经济模型中的流动性
+---
+
+(mobility)=
+# 测量流动性
+
+```{index} single: Mobility
+```
+
+除 Anaconda 中已有的库外，本讲座还需要以下库：
+
+```{code-cell} ipython3
+:tags: [hide-output]
+
+!pip install quantecon
+```
+
+## 概览
+
+在 {doc}`inequality` 中，我们衡量了在某一时间点收入和财富分布的不平等程度。
+
+这类衡量方式是一种快照。
+
+虽然它们确实能提供关于富人和穷人之间差距有多大的信息，但它们无法告诉我们同样的家庭是否一直保持贫穷或富有。
+
+这一点很重要，因为两个经济体可以拥有完全相同的洛伦兹曲线和完全相同的基尼系数，但却为其公民提供完全不同的人生前景。
+
+例如，假设我们正在比较两个财富分布完全相同的经济体。
+
+进一步假设它们属于以下两种情况之一。
+
+1. 出生时地位就已固定，且永不改变。
+2. 家庭地位不断起伏，今天的穷困家庭很有可能是明天的富裕家庭。
+
+这两个经济体之间的差异就是**流动性**：家庭在分布中改变地位的速率。
+
+流动性对政策至关重要。
+
+对再分配、税收的态度，以及我们对一个经济体能提供多少机会的判断，都取决于流动性。
+
+在本讲座中，我们研究当数据以财富分位数之间的转移矩阵形式呈现时，如何*测量*流动性。
+
+这是 {doc}`markov_chains_I` 和 {doc}`markov_chains_II` 中所发展的马尔可夫链理论的一个自然应用，也让我们再次用到了 {doc}`佩龙-弗罗贝尼乌斯定理 <eigen_II>`。
+
+```{note}
+本讲座大量借鉴了 Daniel Carroll、Nicholas Hoffman 和 Eric R. Young 所著论文 "Mobility" {cite}`carroll2026mobility` 的前几节内容。
+
+该论文将标准的流动性度量汇总在一处，将其应用于美国财富数据，然后探讨主力宏观经济模型能否重现其发现的结果。
+
+```
+
+让我们先导入一些库。
+
+```{code-cell} ipython3
+import matplotlib.pyplot as plt
+import numpy as np
+import pandas as pd
+import quantecon as qe
+
+import matplotlib as mpl
+FONTPATH = "fonts/SourceHanSerifSC-SemiBold.otf"
+mpl.font_manager.fontManager.addfont(FONTPATH)
+plt.rcParams['font.family'] = ['Source Han Serif SC', 'DejaVu Sans']
+
+np.set_printoptions(legacy='1.25')   # print scalars as plain numbers
+```
+
+## 流动性矩阵
+
+### 从分位数到随机矩阵
+
+假设我们在两个日期 $s$ 和 $s + t$ 观测大量家庭的财富。
+
+我们在每个日期按财富对家庭排序，并将其分为 $N$ 个等规模的组，即**分位数**。
+
+（在观察数据时，我们常常考虑 $N = 5$ 的情形，此时这些分位数即为**五分位数**，每组包含 20% 的家庭。）
+
+现在我们询问，对每个家庭而言，它在起始时属于哪个分位数，结束时又属于哪个分位数。
+
+对所有家庭取平均，就得到一个矩阵 $M$，其典型元素为
+
+$$
+    m_{ij}
+    = \mathbb P \{ \text{household $h$ is in quantile } j \text{ at } s+t
+                   \mid \text{$h$ was in quantile } i \text{ at } s \}
+$$
+
+$M$ 的每一行都是一个概率质量函数，因此按照 {doc}`markov_chains_I` 中的定义，$M$ 是一个随机矩阵。
+
+我们称 $M$ 为**流动性矩阵**。
+
+有两点值得强调。
+
+第一，$M$ 描述的是*相对*流动性：它记录的是家庭之间相对位置的变动，而不是财富本身的增长。
+
+在这个定义下，一个人人财富都翻倍的经济体是完全没有流动性的。
+
+第二，该链的时间单位是视界 $t$，可能是五年，也可能是二十年。
+
+这一选择会对结果产生很大影响，我们在查看数据时会再次讨论这一点。
+
+### 一个例子
+
+以下是根据美国 1984 年至 1989 年这五年间的数据估计出的一个流动性矩阵，我们将在 {ref}`后面的一节 <mobility_data>` 中更详细地讨论它。
+
+```{code-cell} ipython3
+M_ex = [[0.70, 0.23, 0.05, 0.02, 0.00],
+        [0.25, 0.45, 0.22, 0.06, 0.02],
+        [0.06, 0.24, 0.44, 0.19, 0.06],
+        [0.02, 0.06, 0.22, 0.47, 0.23],
+        [0.01, 0.01, 0.06, 0.22, 0.70]]
+```
+
+这些数字发表时保留两位小数，因此各行加总起来并不完全等于一。
+
+我们需要它们完全等于一，因此让我们写一个辅助函数来重新缩放每一行。
+
+```{code-cell} ipython3
+def normalize_rows(M):
+    M = np.asarray(M, dtype=float)
+    return M / M.sum(axis=1, keepdims=True)
+
+M_ex = normalize_rows(M_ex)
+```
+
+第一行表明，1984 年处于最贫穷五分位数的家庭，到 1989 年仍留在原处的概率为 70%，向上移动一个五分位数的概率为 23%，而到达最顶层的概率为零。
+
+概率质量集中在对角线附近，两个极端的五分位数最为"黏滞"。
+
+为使这一点更加具体，让我们模拟几个家庭的五分位数变化历程。
+
+```{code-cell} ipython3
+---
+mystnb:
+  figure:
+    caption: 四个家庭的模拟五分位数路径
+    name: fig:mobility-paths
+tags: [hide-input]
+---
+mc = qe.MarkovChain(M_ex)
+periods = 10
+years = np.arange(periods) * 5      # each period of M_ex spans five years
+styles = ('-', '--', '-.', ':')
+
+fig, ax = plt.subplots()
+for i, ls in enumerate(styles):
+    X = mc.simulate(periods, init=i, random_state=10 + i)
+    ax.step(years, X + 1, where='post', lw=2, ls=ls,
+            label=f'家庭 {i + 1}')
+ax.set_xlabel('年数')
+ax.set_ylabel('财富五分位数')
+ax.set_xticks(years)
+ax.set_yticks(range(1, 6))
+ax.set_ylim(0.5, 6.6)
+ax.legend(frameon=False, ncol=2, loc='upper center')
+plt.show()
+```
+
+有些家庭走得很远，有些家庭几乎原地不动。
+
+我们的任务就是用一个单一的数字来概括这种行为。
+
+(mobility_benchmarks)=
+### 两个基准
+
+在选择度量方法之前，先确定任何度量方法都应参照的两个极端情形会有所帮助。
+
+**完全不流动**对应于单位矩阵 $M = I$。
+
+每个家庭永远停留在其起始位置。
+
+**完全流动**对应于每个元素都等于 $1/N$ 的矩阵，
+
+$$
+    M^* = \frac{1}{N} \mathbb 1 \mathbb 1^\top
+$$
+
+其中 $\mathbb 1$ 是一个 $N \times 1$ 的全一向量。
+
+在这里，结束时的分位数与起始时的分位数无关，因此知道一个家庭起始位置对我们判断其最终归宿毫无帮助。
+
+这一性质被称为**起点独立性**，它是流动性的自然上限参照点：分布在每一步都被彻底重新洗牌。
+
+你或许会反对说，$M^*$ 并非唯一具有该性质的矩阵。
+
+事实上，只要 $M$ 的每一行都相同，即 $M = \mathbb 1 \psi^\top$（其中 $\psi$ 为某概率质量函数），结束时的分位数就与起始分位数无关。
+
+那么为何单单挑出均匀分布的情形，将其称为完全流动呢？
+
+原因在于，我们构造的分位数在*两个*日期都包含相同数量的家庭。
+
+结束时落入分位数 $j$ 的家庭比例为 $\sum_i (1/N) m_{ij}$，这必须等于 $1/N$，因此
+
+$$
+    \sum_{i=1}^N m_{ij} = 1
+    \qquad \text{for every } j
+$$
+
+换言之，一个基于等规模分位数构建的流动性矩阵，其列加总（与行加总一样）也等于一——它是**双随机的**。
+
+现在假设这样一个矩阵还具有相同的行，即 $M = \mathbb 1 \psi^\top$。
+
+其第 $j$ 列加总为 $N \psi(j)$，令其等于一即得 $\psi(j) = 1/N$。
+
+因此，$M^*$ 并非众多起点独立矩阵中的一个——在这种设定下，它是唯一的一个。
+
+```{code-cell} ipython3
+N = 5
+M_immobile = np.identity(N)
+M_perfect = np.ones((N, N)) / N
+```
+
+一个好的流动性度量应该在 $M_{\text{immobile}}$ 处返回 0，在 $M_{\text{perfect}}$ 处返回 1。
+
+我们将看到，下面所有四种度量都是按照这一原则构造的。
+
+```{note}
+高于 1 的取值是可能出现的，并且具有实际意义。
+
+当一个链系统性地反转排名时就会出现这种情况——例如，一个以概率一将最贫穷五分位数送到最富裕位置的矩阵，其带来的移动比纯粹的随机机会更多。
+
+因此，1 标志着起点独立性，而非上限。
+
+这种系统性反转在普通市场经济中并不常见，因为财富具有持续性，估计出的流动性矩阵大部分概率质量都落在对角线上或其附近。
+
+我们下面研究的所有实证矩阵得分都远低于 1。
+```
+
+## 四种流动性度量
+
+将一个 $N \times N$ 矩阵简化为一个单一数字会丢失信息。
+
+不同的度量方法舍弃了不同的信息，这正是通常做法要报告多个度量值的原因。
+
+我们遵循 {cite}`carroll2026mobility` 的做法，考虑四种度量，每一种都在 {cite}`dardanoni1993measuring` 中有详细讨论。
+
+(mobility_shorrocks)=
+### Shorrocks 指数
+
+{cite}`shorrocks1978measurement` 提出的度量只关注 $M$ 的对角线，
+
+```{math}
+:label: shorrocks_def
+
+\mu_S(M) = \frac{N - \mathrm{trace}(M)}{N - 1}
+```
+
+其思路是：$m_{ii}$ 是分位数 $i$ 中家庭留在原地的概率，因此 $1 - m_{ii}$ 就是其逃离原地的概率。
+
+将 {eq}`shorrocks_def` 改写为
+
+$$
+    \mu_S(M)
+    = \frac{N}{N-1} \cdot \frac{1}{N} \sum_{i=1}^N (1 - m_{ii})
+$$
+
+可以看出，$\mu_S$ 是平均逃离概率，除以完全流动情形下的逃离概率 $(N-1)/N$。
+
+从这个意义上说，$\mu_S$ 衡量的是初始条件相对于起点独立性而言的黏滞程度。
+
+```{code-cell} ipython3
+def shorrocks(M):
+    N = len(M)
+    return (N - np.trace(M)) / (N - 1)
+```
+
+```{code-cell} ipython3
+shorrocks(M_immobile), shorrocks(M_perfect)
+```
+
+该度量完全无视概率在对角线*之外*的分布方式。
+
+一个家庭一步之内从赤贫变成巨富的经济体，与一个贫困家庭只是略微不那么贫困的经济体，只要它们离开起始分位数的频率相同，得分就会相同。
+
+(mobility_bartholomew)=
+### Bartholomew 度量
+
+{cite}`bartholomew1967stochastic` 提出的度量则采取相反的视角，只关注非对角线元素，
+
+```{math}
+:label: bartholomew_def
+
+\mu_B(M) = \frac{1}{N-1} \sum_{i=1}^N \sum_{j=1}^N m_{ij} \, |i - j|
+```
+
+权重 $|i-j|$ 是跨越的分位数边界数，因此跨越多个分位数的转移比转移到相邻分位数计入更多的权重。
+
+除去因子 $1/(N-1)$，这就是每期一个家庭跨越的分位数的期望数量。
+
+{cite}`fields1999measurement` 将 $\mu_B$ 描述为对总*移动量*的度量。
+
+```{code-cell} ipython3
+def bartholomew(M):
+    N = len(M)
+    i, j = np.indices((N, N))
+    return np.sum(M * np.abs(i - j)) / (N - 1)
+```
+
+```{code-cell} ipython3
+bartholomew(M_immobile), bartholomew(M_perfect)
+```
+
+请注意，$\mu_B$ 的标定方式与 $\mu_S$ 不同：完全流动时给出的值是 2 而非 1。
+
+事实上，利用 $\sum_{i,j} |i-j| = N(N-1)(N+1)/3$ 稍作计算即可得到
+
+$$
+    \mu_B(M^*)
+    = \frac{1}{N-1} \cdot \frac{1}{N} \cdot \frac{N(N-1)(N+1)}{3}
+    = \frac{N+1}{3}
+$$
+
+因此，为了让 Bartholomew 度量与其他度量处于同一标准，我们进行重新缩放，
+
+```{math}
+:label: bartholomew_norm
+
+\mu_{NB}(M) = \frac{3}{N+1} \, \mu_B(M)
+```
+
+即跨越的分位数期望数量与起点独立情形下跨越数量的相对值。
+
+```{code-cell} ipython3
+def bartholomew_normalized(M):
+    N = len(M)
+    return 3 * bartholomew(M) / (N + 1)
+
+bartholomew_normalized(M_immobile), bartholomew_normalized(M_perfect)
+```
+
+当我们想要"每期跨越的分位数"这一解释时报告 $\mu_B$，而在与其他度量进行比较时报告 $\mu_{NB}$。
+
+(mobility_eigenvalue)=
+### 第二特征值
+
+我们的第三种度量来自收敛理论，而非转移次数的统计。
+
+回想一下 {doc}`markov_chains_I` 中的内容：当 $M$ 处处为正时，分布 $\psi_t = \psi_0 M^t$ 收敛于平稳分布 $\psi^*$。
+
+{doc}`佩龙-弗罗贝尼乌斯定理 <eigen_II>` 告诉我们，随机矩阵的最大特征值为 $\lambda_1 = 1$，而 $\psi_t \to \psi^*$ 的*速率*则由第二大特征值 $\lambda_2$ 的模决定。
+
+一个混合得快的链会很快忘记其初始条件，这正是流动性的含义所在。
+
+这启发我们定义
+
+```{math}
+:label: eigen_def
+
+\mu_{2E}(M) = 1 - |\lambda_2(M)|
+```
+
+{cite}`sommers1979eigenvalue` 证明了 $\mu_{2E}$ 度量的是 $M$ 相对于完全流动矩阵的总体偏离程度。
+
+```{code-cell} ipython3
+def second_eigenvalue(M):
+    λ = np.sort(np.abs(np.linalg.eigvals(M)))[::-1]
+    return 1 - λ[1]
+```
+
+```{code-cell} ipython3
+second_eigenvalue(M_immobile), second_eigenvalue(M_perfect)
+```
+
+单位矩阵的 $\lambda_2 = 1$，永远不会混合，而 $M^*$ 的 $\lambda_2 = 0$，一步即可完成混合。
+
+这一度量还有一个额外的吸引力：对于两状态链而言，$|\lambda_2|$ 恰好等于该过程的自相关系数，这一点将在下面的 {ref}`一道练习 <mob_ex2>` 中要求你验证。
+
+(mobility_mfp)=
+### 平均首达时间
+
+最后一种度量提出的是关于等待时间的问题：一个家庭需要多长时间才能到达某个给定的分位数？
+
+设 $T_{ij}$ 为从分位数 $i$ 出发的家庭首次到达分位数 $j$ 所需的期望期数。
+
+为了计算它，我们使用**一步分析法**：我们以链下一步的去向为条件，然后利用从那里出发的问题与原问题形式相同这一事实。
+
+固定目标 $j$，取任意起始分位数 $i \neq j$。
+
+家庭走一步，无论落到何处，都会消耗一期时间。
+
+这一步以概率 $m_{ik}$ 到达分位数 $k$，此时有两种可能。
+
+若 $k = j$，家庭已到达，无需再花时间。
+
+若 $k \neq j$，家庭仍需从 $k$ 前往 $j$，这段剩余旅程的期望时间为 $T_{kj}$。
+
+第二种情形正是马尔可夫性质发挥作用之处：从 $k$ 出发的旅程需要多久只取决于 $k$，而与我们是经由 $i$ 到达 $k$ 这一事实无关。
+
+对可能的第一步取平均，得到
+
+$$
+    T_{ij}
+    = \underbrace{1}_{\text{the first step}}
+      + \underbrace{m_{ij} \times 0}_{\text{arrived at } j}
+      + \underbrace{\sum_{k \neq j} m_{ik} T_{kj}}_{\text{not yet arrived}}
+$$
+
+中间那一项为零，因此我们得到
+
+```{math}
+:label: mfp_recursion
+
+T_{ij} = 1 + \sum_{k \neq j} m_{ik} T_{kj}
+```
+
+注意，求和中省略了 $k = j$ 的情形，并非因为这种情况不可能发生，而是因为一旦家庭到达，它就不再产生任何贡献。
+
+这里是最简单的检验方式。
+
+考虑 {doc}`markov_chains_I` 中的两状态链，其中失业工人每月以概率 $\alpha$ 找到工作，设 $i$ 为失业状态，$j$ 为就业状态。
+
+求和中唯一的项是 $k = i$，此时 $m_{ii} = 1 - \alpha$，因此 {eq}`mfp_recursion` 变为 $T_{ij} = 1 + (1 - \alpha) T_{ij}$，由此得到 $T_{ij} = 1/\alpha$。
+
+这正是正确的结果，因为等待时间是成功概率为 $\alpha$ 的几何分布。
+
+现在固定 $j$，将 {eq}`mfp_recursion` 视为关于 $N-1$ 个未知量 $\{T_{ij}\}_{i \neq j}$ 的 $N-1$ 个方程组成的方程组。
+
+用 $t$ 表示这些未知量组成的向量，$M_{-j}$ 表示删去第 $j$ 行和第 $j$ 列后的 $M$，则该方程组为
+
+$$
+    t = \mathbb 1 + M_{-j} \, t
+    \qquad \text{or} \qquad
+    (I - M_{-j}) \, t = \mathbb 1
+$$
+
+这是一个线性求解问题，也正是下面的代码对每个 $j$ 依次执行的操作。
+
+在对角线上，我们使用到 $j$ 的平均*返回*时间。
+
+根据 {doc}`markov_chains_II` 中的遍历性结果，一个不可约链在分位数 $j$ 中所花时间的比例为 $\psi^*(j)$，因此对 $j$ 的访问平均每 $1/\psi^*(j)$ 期发生一次，由此得到 $T_{jj} = 1/\psi^*(j)$。
+
+```{code-cell} ipython3
+def mean_first_passage(M):
+    """
+    Mean first passage matrix T, where T[i, j] is the expected number of
+    periods to reach quantile j starting from quantile i.
+
+    The diagonal holds mean return times.
+
+    """
+    N = len(M)
+    ψ_star = qe.MarkovChain(M).stationary_distributions[0]
+    T = np.zeros((N, N))
+    for j in range(N):
+        idx = [i for i in range(N) if i != j]
+        A = np.identity(N - 1) - M[np.ix_(idx, idx)]
+        T[idx, j] = np.linalg.solve(A, np.ones(N - 1))
+        T[j, j] = 1 / ψ_star[j]
+    return T
+```
+
+```{code-cell} ipython3
+np.round(mean_first_passage(M_ex), 1)
+```
+
+看右上角的元素，从最贫穷五分位数出发的家庭，要等大约 23 期才能首次到达最富裕五分位数。
+
+由于这里的一期是五年，那意味着要等一个多世纪。
+
+为了得到一个单一数字，{cite}`conlisk1990monotone` 建议对随机抽取的一对家庭取 $T$ 的平均值。
+
+由于各分位数包含相同数量的家庭，相关的权重为 $\psi = (1/N, \ldots, 1/N)$，因此
+
+$$
+    \text{MFP}(M) = \psi^\top T \psi
+$$
+
+即为一个家庭到达另一随机抽取家庭所在分位数所需的期望期数。
+
+在完全流动情形下 $\text{MFP}(M^*) = N$，因此归一化的度量为
+
+```{math}
+:label: mfp_def
+
+\mu_{MFP}(M) = \frac{N}{\text{MFP}(M)}
+```
+
+其单位为每期分位数数。
+
+```{code-cell} ipython3
+def mfp_measure(M):
+    N = len(M)
+    ψ = np.ones(N) / N
+    return N / (ψ @ mean_first_passage(M) @ ψ)
+```
+
+```{code-cell} ipython3
+mfp_measure(M_perfect)
+```
+
+与其他三种度量不同，这一度量要求不可约性。
+
+如果某个分位数无法从另一个分位数到达，那么期望等待时间为无穷大，$\mu_{MFP} = 0$，无论矩阵其他地方发生多少移动都是如此。
+
+```{note}
+{cite}`meyer1978alternative` 给出了 $T$ 的一个基于分块矩阵求逆的闭式表达式，这正是 {cite}`carroll2026mobility` 所使用的方法。
+
+{eq}`mfp_recursion` 中的一步分析法与之等价，且更易于记忆。
+```
+
+### 汇总各项度量
+
+让我们把这四种度量汇总到一个函数中。
+
+```{code-cell} ipython3
+def mobility_measures(M):
+    "Return the four mobility measures for stochastic matrix M."
+    return pd.Series({'μ_S':   shorrocks(M),
+                      'μ_B':   bartholomew(M),
+                      'μ_NB':  bartholomew_normalized(M),
+                      'μ_2E':  second_eigenvalue(M),
+                      'μ_MFP': mfp_measure(M)})
+
+def mobility_table(matrices):
+    "Apply the measures to a dict of labelled stochastic matrices."
+    return pd.DataFrame({k: mobility_measures(M)
+                         for k, M in matrices.items()}).T
+```
+
+由于单位矩阵是可约的，我们只单独检验完全流动这一基准。
+
+```{code-cell} ipython3
+mobility_table({'perfect mobility': M_perfect}).round(3)
+```
+
+除未归一化的 $\mu_B$ 之外，其余所有度量都等于一。
+
+## 这些度量遗漏了什么
+
+每种度量都会舍弃信息，而查明这一点最简洁的方式，是找出某种度量无法区分的矩阵。
+
+以下例子改编自 {cite}`carroll2026mobility` 附录 A.1，并做了轻微扰动，使三条链都具有不可约性。
+
+考虑三个具有三个财富三分位数的经济体。
+
+```{code-cell} ipython3
+ladder = np.array([[0.50, 0.50, 0.00],
+                   [0.25, 0.50, 0.25],
+                   [0.00, 0.50, 0.50]])
+
+jumper = np.array([[0.50, 0.10, 0.40],
+                   [0.25, 0.50, 0.25],
+                   [0.40, 0.10, 0.50]])
+
+sticky = np.array([[0.70, 0.10, 0.20],
+                   [0.25, 0.50, 0.25],
+                   [0.20, 0.10, 0.70]])
+```
+
+在*阶梯*经济体中，家庭只能移动到相邻的三分位数，因此穷人必须经过中产阶层才能变富。
+
+在*跳跃*经济体中，家庭离开其三分位数的频率相同，但当他们移动时，通常会一步到位。
+
+在*黏滞*经济体中，家庭移动很少，但一旦移动，往往会移动很远。
+
+```{code-cell} ipython3
+mobility_table({'ladder': ladder,
+                'jumper': jumper,
+                'sticky': sticky}).round(3)
+```
+
+由此可得三点启示。
+
+阶梯经济体和跳跃经济体的 Shorrocks 指数相同，因为它们的对角线相同。
+
+Shorrocks 指数无法看出一个经济体一步就能把家庭从底层送到顶层，而另一个需要两步。
+
+阶梯经济体和黏滞经济体的 Bartholomew 度量相同，因为黏滞经济体中额外的移动距离恰好抵消了其较低的移动频率。
+
+Bartholomew 度量无法区分频繁的小幅移动与罕见的大幅移动。
+
+阶梯经济体和黏滞经济体的第二特征值也相等。
+
+最引人注目的是，这些度量*在排序上出现分歧*。
+
+Bartholomew 度量和第二特征值都将跳跃经济体排在阶梯经济体之上，认为其流动性更高，而平均首达时间则将其排为流动性略低。
+
+原因在于，跳跃经济体中想要到达中间三分位数的家庭必须等待很长时间，因为几乎所有的移动都发生在两个极端之间。
+
+简而言之，流动性矩阵之间并不存在完整的排序，而任何单一指数都是通过强行规定来施加一种排序。
+
+这正是 {cite}`fields1999measurement` 和 {cite}`dardanoni1993measuring` 所要传达的核心信息，也是我们报告四个数字而非一个数字的原因。
+
+(mobility_data)=
+## 美国数据中的财富流动性
+
+### 数据
+
+现在我们转向 {cite}`carroll2026mobility` 根据收入动态追踪调查（PSID）估计出的财富流动性矩阵。
+
+PSID 对同一批家庭进行长期跟踪，并在 1984 年至 2015 年间以不定期间隔加入财富附加调查。
+
+对每一对调查年份，家庭在起始年和结束年都会按财富被分入五分位数，从分位数 $i$ 移动到分位数 $j$ 的比例被记录下来。
+
+作者报告了三种视界下的矩阵：短期（5--6 年）、中期（9--10 年）和长期（19--21 年）。
+
+我们先从三个具有相同起始年份 1984 年的视界开始。
+
+```{code-cell} ipython3
+psid = {}
+
+psid['1984-1989'] = [[0.70, 0.23, 0.05, 0.02, 0.00],
+                     [0.25, 0.45, 0.22, 0.06, 0.02],
+                     [0.06, 0.24, 0.44, 0.19, 0.06],
+                     [0.02, 0.06, 0.22, 0.47, 0.23],
+                     [0.01, 0.01, 0.06, 0.22, 0.70]]
+
+psid['1984-1994'] = [[0.63, 0.24, 0.09, 0.03, 0.02],
+                     [0.23, 0.41, 0.21, 0.10, 0.05],
+                     [0.10, 0.28, 0.33, 0.21, 0.09],
+                     [0.05, 0.08, 0.26, 0.37, 0.23],
+                     [0.02, 0.03, 0.09, 0.25, 0.61]]
+
+psid['1984-2003'] = [[0.58, 0.25, 0.11, 0.05, 0.02],
+                     [0.26, 0.35, 0.22, 0.12, 0.05],
+                     [0.09, 0.29, 0.27, 0.22, 0.13],
+                     [0.05, 0.11, 0.27, 0.32, 0.26],
+                     [0.03, 0.06, 0.11, 0.26, 0.55]]
+```
+
+和之前一样，发表数据的四舍五入使各行加总略有偏差。
+
+```{code-cell} ipython3
+np.array(psid['1984-2003']).sum(axis=1)
+```
+
+```{code-cell} ipython3
+psid = {k: normalize_rows(M) for k, M in psid.items()}
+```
+
+我们在前面论证过，基于等规模分位数构建的流动性矩阵应当是双随机的。
+
+让我们看看这些估计出的矩阵在多大程度上满足这一点。
+
+```{code-cell} ipython3
+for label, M in psid.items():
+    print(f'{label}:  {M.sum(axis=0).round(3)}')
+```
+
+各列加总大致但并不精确地等于一。
+
+有两个因素使其出现偏差。
+
+发表的数据保留两位小数，同时该面板数据并非完全平衡——家庭会在起始年和结束年之间退出样本，因此两个日期分入分位数的家庭集合并不完全相同。
+
+我们将在 {ref}`最后一道练习 <mob_ex6>` 中再次看到这种偏差——那里我们会发现这些矩阵的平稳分布接近但不完全等于均匀分布。
+
+以下是这三个矩阵的呈现方式。
+
+```{code-cell} ipython3
+---
+mystnb:
+  figure:
+    caption: 三种视界下的美国财富流动性矩阵
+    name: fig:mobility-heatmaps
+tags: [hide-input]
+---
+fig, axes = plt.subplots(1, 3, figsize=(11, 4))
+for ax, (label, M) in zip(axes, psid.items()):
+    im = ax.imshow(M, cmap='Blues', vmin=0, vmax=0.7)
+    ax.set_title(label)
+    ax.set_xticks(range(5), range(1, 6))
+    ax.set_yticks(range(5), range(1, 6))
+    ax.set_xlabel('期末五分位数')
+axes[0].set_ylabel('期初五分位数')
+fig.colorbar(im, ax=axes, shrink=0.8)
+plt.show()
+```
+
+随着视界拉长，概率质量逐渐远离对角线扩散开来，这正是我们所预期的。
+
+即使在五年时间跨度内，也存在相当大的移动。
+
+中间三个五分位数的家庭离开起始分位数的可能性大于留在原处的可能性，而起始位于最顶层五分位数的家庭有 30% 的概率最终落到其他位置。
+
+### 流动性随视界延长而上升
+
+让我们应用我们的度量方法。
+
+```{code-cell} ipython3
+horizon_table = mobility_table(psid)
+horizon_table.round(3)
+```
+
+```{code-cell} ipython3
+---
+mystnb:
+  figure:
+    caption: 三种视界下的流动性度量
+    name: fig:mobility-horizon
+tags: [hide-input]
+---
+cols = ['μ_S', 'μ_NB', 'μ_2E', 'μ_MFP']
+fig, ax = plt.subplots()
+horizon_table[cols].plot.bar(ax=ax, rot=0, width=0.75)
+ax.set_ylabel('流动性')
+ax.set_ylim(0, 1)
+ax.legend(frameon=False, ncol=4)
+plt.show()
+```
+
+所有四种度量都一致表明，流动性随视界延长而上升，并且它们上升的比例大致相同。
+
+这令人放心，但并不能提供多少信息：给定足够长的时间，任何不可约链都会忘记其起点，因此每种度量都必然趋近于一。
+
+其教训在于，流动性度量只能在*具有相同视界的矩阵之间*进行比较。
+
+这一警示对 $\mu_{MFP}$ 尤为重要，其单位是每期分位数数——而在这里，一"期"在某一列中是五年，在另一列中是十九年。
+
+### 流动性是否已经下降？
+
+一个更有意思的比较是固定视界、改变样本时期。
+
+以下是三个长视界矩阵，每个都跨越约二十年，分别从 1984 年、1989 年和 1994 年开始。
+
+```{code-cell} ipython3
+long_horizon = {}
+
+long_horizon['1984-2003'] = psid['1984-2003']
+
+long_horizon['1989-2009'] = normalize_rows(
+                            [[0.56, 0.28, 0.10, 0.04, 0.03],
+                             [0.27, 0.37, 0.20, 0.12, 0.05],
+                             [0.12, 0.25, 0.29, 0.22, 0.12],
+                             [0.08, 0.11, 0.29, 0.32, 0.20],
+                             [0.02, 0.05, 0.09, 0.25, 0.60]])
+
+long_horizon['1994-2015'] = normalize_rows(
+                            [[0.58, 0.24, 0.11, 0.04, 0.03],
+                             [0.28, 0.38, 0.20, 0.10, 0.04],
+                             [0.13, 0.25, 0.32, 0.21, 0.08],
+                             [0.07, 0.11, 0.24, 0.34, 0.25],
+                             [0.03, 0.05, 0.09, 0.25, 0.58]])
+```
+
+```{code-cell} ipython3
+---
+mystnb:
+  figure:
+    caption: 三个样本期的长视界流动性
+    name: fig:mobility-decline
+tags: [hide-input]
+---
+decline_table = mobility_table(long_horizon)
+
+fig, ax = plt.subplots()
+for col in cols:
+    ax.plot(decline_table.index, decline_table[col], 'o-', lw=2, label=col)
+ax.set_ylabel('流动性')
+ax.set_ylim(0, 0.8)
+ax.legend(frameon=False)
+plt.show()
+```
+
+```{code-cell} ipython3
+decline_table.round(3)
+```
+
+随着我们将这一二十年窗口向后推移，所有四种度量都出现下降，表明自 1980 年代中期以来，美国的财富流动性有所下降。
+
+这一下降幅度不大——$\mu_S$ 从 0.74 下降到 0.70。
+
+{cite}`carroll2026mobility` 对 PSID 样本进行自助法（bootstrap）以给出这些数字的置信区间，得出的结论是：这一下降在中期视界下具有统计显著性，但在此处展示的长期视界下不具有统计显著性。
+
+
+### 分位数链是马尔可夫的吗？
+
+数据还能让我们提出另一个问题。
+
+到目前为止，我们一直将每个矩阵视为独立的对象。
+
+但是，如果一个家庭所处的分位数真的是一条马尔可夫链，那么二十年跨度的矩阵就应当是五年跨度矩阵的四次方。
+
+让我们来检验一下。
+
+```{code-cell} ipython3
+M_short = psid['1984-1989']
+
+comparison = mobility_table(
+    {'1984-1994 (data)':  psid['1984-1994'],
+     'M^2 (predicted)':   np.linalg.matrix_power(M_short, 2),
+     '1984-2003 (data)':  psid['1984-2003'],
+     'M^4 (predicted)':   np.linalg.matrix_power(M_short, 4)})
+
+comparison.round(3)
+```
+
+对五年矩阵进行迭代，预测出的流动性比我们实际观测到的要高得多。
+
+在二十年时间跨度上，差距很大：马尔可夫预测下的 $\mu_S$ 为 0.87，而数据中的实际值为 0.74。
+
+因此，家庭在长期视界下比其五年行为所暗示的更加持续稳定，这意味着当前所处的分位数本身并不足以充分预测家庭未来的地位。
+
+此外，还有一些未观测到的特征在发挥作用。
+
+例如，{cite}`carroll2026mobility` 发现，一个曾经在财富分布中经历过一次大幅跳跃的家庭，明显更有可能再次经历这样的跳跃，而持有股票或私营企业的家庭比其他家庭的流动性要高得多。
+
+这一点对建模具有重要意义。
+
+它意味着一个现实的模型，其状态变量必须包含超出财富分布位置本身之外的信息。
+
+## 练习
+
+```{exercise}
+:label: mob_ex1
+
+本练习要求你检验 Shorrocks 指数的标定，并探索其取值范围。
+
+1. 从解析角度证明 $\mu_S(I) = 0$ 且 $\mu_S(M^*) = 1$，其中 $M^* = \mathbb 1 \mathbb 1^\top / N$。
+
+2. 证明对任意随机矩阵 $M$ 都有 $\mu_S(M) \leq N/(N-1)$，当且仅当 $M$ 的对角线全为零时取等号。
+
+3. 据此找出一个满足 $\mu_S(M) > 1$ 的 $3 \times 3$ 随机矩阵，并用代码验证你的答案。
+
+4. 用文字解释这样的矩阵所做的事情，以及为何超过一并非该度量的缺陷。
+```
+
+```{solution-start} mob_ex1
+:class: dropdown
+```
+
+对于第 1 部分，单位矩阵满足 $\mathrm{trace}(I) = N$，因此 $\mu_S(I) = (N - N)/(N-1) = 0$。
+
+完全流动矩阵的每个对角元素都等于 $1/N$，因此 $\mathrm{trace}(M^*) = 1$，$\mu_S(M^*) = (N-1)/(N-1) = 1$。
+
+对于第 2 部分，随机矩阵的每个元素都非负，因此 $\mathrm{trace}(M) \geq 0$，由此得到 $\mu_S(M) \leq N/(N-1)$。
+
+要取等号要求 $\mathrm{trace}(M) = 0$，对于非负矩阵而言，这意味着每个对角元素都为零。
+
+对于第 3 部分，任何对角线为零的随机矩阵都满足要求，最简单的例子就是循环置换矩阵。
+
+```{code-cell} ipython3
+M_cycle = np.array([[0.0, 1.0, 0.0],
+                    [0.0, 0.0, 1.0],
+                    [1.0, 0.0, 0.0]])
+
+shorrocks(M_cycle)
+```
+
+这个值为 $3/2$，是 $N = 3$ 时的最大值。
+
+对于第 4 部分，这个矩阵以概率一将每个家庭移出其当前的三分位数，这比起点独立性带来的移动还要多——在 $M^*$ 下，家庭留在原地的概率为 $1/N$。
+
+因此，超过一的取值表明的是系统性的排名反转，而非误差。
+
+请注意，这条链是周期性的，因此分布永不收敛，尽管该链是不可约的。
+
+请对照 {doc}`markov_chains_II` 中关于周期性链的讨论。
+
+```{solution-end}
+```
+
+```{exercise}
+:label: mob_ex2
+
+考虑 {doc}`markov_chains_I` 中的两状态链，
+
+$$
+M =
+\begin{bmatrix}
+    1 - \alpha & \alpha \\
+    \beta & 1 - \beta
+\end{bmatrix}
+$$
+
+其中 $\alpha, \beta \in (0,1)$ 且 $\alpha + \beta \leq 1$。
+
+1. 证明 $\mu_S(M) = \mu_{NB}(M) = \mu_{2E}(M) = \alpha + \beta$。
+
+2. 设 $\{X_t\}$ 为以该转移矩阵定义的平稳链，取值于 $\{0, 1\}$。
+
+   证明其自相关系数为 $\mathrm{corr}(X_t, X_{t+1}) = 1 - \alpha - \beta = |\lambda_2(M)|$。
+
+3. 用数值方法验证以上两个结果。
+
+4. 说明这一结果告诉我们，在什么情况下流动性度量方法的选择才重要。
+```
+
+```{solution-start} mob_ex2
+:class: dropdown
+```
+
+对于第 1 部分，矩阵的迹为 $2 - \alpha - \beta$，因此 $\mu_S = (2 - (2 - \alpha - \beta))/1 = \alpha + \beta$。
+
+对于 Bartholomew 度量，只有两个非对角元素有贡献，且每个都满足 $|i - j| = 1$，因此 $\mu_B = \alpha + \beta$，而当 $N = 2$ 时，归一化因子 $3/(N+1)$ 恰好等于一。
+
+对于特征值，由于 $M$ 的行加总为一，所以 $\lambda_1 = 1$，又因为特征值之和等于迹，所以 $\lambda_2 = 1 - \alpha - \beta$，在我们的假设下这是非负的。
+
+因此 $\mu_{2E} = 1 - (1 - \alpha - \beta) = \alpha + \beta$。
+
+对于第 2 部分，平稳分布为 $\psi^* = (\beta, \alpha)/(\alpha + \beta)$，因此令 $p := \psi^*(1) = \alpha/(\alpha+\beta)$，我们有 $\mathbb E X_t = p$ 以及 $\mathrm{var}(X_t) = p(1-p)$。
+
+由于 $X_t$ 是取值 0 或 1 的变量，
+
+$$
+\mathbb E [X_t X_{t+1}]
+= \mathbb P\{X_t = 1, X_{t+1} = 1\}
+= p (1 - \beta)
+$$
+
+因此
+
+$$
+\mathrm{cov}(X_t, X_{t+1})
+= p(1-\beta) - p^2
+= p (1 - p - \beta)
+= p(1-p)(1 - \alpha - \beta)
+$$
+
+其中最后一步用到了 $1 - p = \beta/(\alpha+\beta)$，因此 $1 - p - \beta = (1-p)(1 - \alpha - \beta)$。
+
+除以 $\mathrm{var}(X_t) = p(1-p)$ 即得所需结果。
+
+```{code-cell} ipython3
+α, β = 0.2, 0.3
+M2 = np.array([[1 - α, α],
+               [β, 1 - β]])
+
+print(f'μ_S  = {shorrocks(M2):.4f}')
+print(f'μ_NB = {bartholomew_normalized(M2):.4f}')
+print(f'μ_2E = {second_eigenvalue(M2):.4f}')
+print(f'α+β  = {α + β:.4f}')
+```
+
+```{code-cell} ipython3
+mc2 = qe.MarkovChain(M2)
+X = mc2.simulate(1_000_000, random_state=0)
+print(f'sample autocorrelation = {np.corrcoef(X[:-1], X[1:])[0, 1]:.4f}')
+print(f'1 - α - β              = {1 - α - β:.4f}')
+```
+
+对于第 4 部分，只有两个状态时，离开一个状态的方式只有一种，需要走的距离也只有一种，因此各种度量不可能产生分歧。
+
+流动性度量方法只有在 $N \geq 3$ 时才会开始产生分歧，因为只有那时才存在移动远与移动频繁之间的区别。
+
+请注意 $\mu_{MFP}$ 是一个例外，即使在 $N = 2$ 时也与其他度量不同。
+
+```{code-cell} ipython3
+mfp_measure(M2), 8 * α * β / ((1 + α + β) * (α + β))
+```
+
+```{solution-end}
+```
+
+```{exercise}
+:label: mob_ex3
+
+Shorrocks 指数是对逃离概率取平均，而与之密切相关且更易于解释的一个量，是家庭在离开当前分位数之前在其中停留的期望时间。
+
+1. 解释为什么对于当前处于分位数 $i$ 中的家庭，其离开所需的期数服从成功概率为 $1 - m_{ii}$ 的几何分布，因此平均停留时间为 $1/(1 - m_{ii})$。
+
+2. 针对 1984--1989 年矩阵，以年为单位计算每个五分位数中的平均停留时间。
+
+3. 对完全流动矩阵重复上述计算，并加以评论。
+```
+
+```{solution-start} mob_ex3
+:class: dropdown
+```
+
+对于第 1 部分，根据马尔可夫性质，家庭在每一期以概率 $1 - m_{ii}$ 离开分位数 $i$，且这一概率与家庭已在该分位数停留的时间长短无关。
+
+因此，直到首次离开所需的期数服从几何分布，均值为 $1/(1 - m_{ii})$。
+
+对于第 2 部分，1984--1989 年矩阵中每一期为五年。
+
+```{code-cell} ipython3
+sojourn = 5 / (1 - np.diag(psid['1984-1989']))
+
+pd.Series(sojourn.round(1), index=[f'五分位数 {i}' for i in range(1, 6)],
+          name='years')
+```
+
+家庭在最底层和最顶层五分位数中平均停留约 17 年，大约是中间三个五分位数停留时间的两倍。
+
+{cite}`carroll2026mobility` 发现标准的不完全市场模型难以重现这一模式。
+
+对于第 3 部分，在完全流动情形下，每个对角元素都为 $1/N$。
+
+```{code-cell} ipython3
+5 / (1 - np.diag(M_perfect))
+```
+
+一个家庭停留 $N/(N-1) = 1.25$ 期——即 6.25 年——这是与独立性相符的最小值，而非零。
+
+即使完全没有持续性，一个家庭仍有五分之一的概率再次抽中自己所在的五分位数。
+
+```{solution-end}
+```
+
+```{exercise}
+:label: mob_ex4
+
+取 1984--1989 年矩阵 $M$，计算 $M^k$（$k = 1, \ldots, 20$）的全部四种流动性度量。
+
+绘制结果图，并解释你所观察到的现象。
+
+这对我们在跨视界比较流动性度量时有何启示？
+```
+
+```{solution-start} mob_ex4
+:class: dropdown
+```
+
+```{code-cell} ipython3
+:tags: [hide-input]
+
+ks = np.arange(1, 21)
+paths = pd.DataFrame([mobility_measures(np.linalg.matrix_power(M_short, k))
+                      for k in ks], index=ks)
+
+fig, ax = plt.subplots()
+for col in cols:
+    ax.plot(ks, paths[col], lw=2, label=col)
+ax.axhline(1.0, ls='--', color='black', lw=1)
+ax.set_xlabel('k')
+ax.set_ylabel('流动性')
+ax.legend(frameon=False)
+plt.show()
+```
+
+每种度量都单调地增加并趋近于一。
+
+这一定会发生：该矩阵是不可约且非周期的，因此根据 {doc}`佩龙-弗罗贝尼乌斯定理 <eigen_II>`，$M^k$ 的各行会收敛于平稳分布，因此 $M^k$ 也就收敛于完全流动形式的矩阵。
+
+这一结果在实践中的含义是：如果不明确说明视界，流动性度量就没有意义。
+
+若报告说一个经济体的 $\mu_S = 0.75$ 而另一个经济体为 $\mu_S = 0.56$，若前者覆盖二十年而后者覆盖五年，那么这一比较就毫无信息量。
+
+```{solution-end}
+```
+
+```{exercise}
+:label: mob_ex5
+
+流动性矩阵无法进行完全排序，上面的玩具例子中就展示了一次分歧。
+
+请再寻找其他一些分歧。
+
+生成大量随机的 $5 \times 5$ 随机矩阵，对每一个计算 $\mu_{NB}$ 和 $\mu_{MFP}$，找出一对被这两种度量排出相反方向的矩阵。
+
+报告这一对矩阵，并解释这一分歧的原因。
+```
+
+```{solution-start} mob_ex5
+:class: dropdown
+```
+
+我们通过从狄利克雷分布中抽取每一行来生成随机随机矩阵。
+
+```{code-cell} ipython3
+rng = np.random.default_rng(seed=42)
+
+n_draws = 300
+draws = [rng.dirichlet(np.ones(5), size=5) for _ in range(n_draws)]
+scores = np.array([[bartholomew_normalized(M), mfp_measure(M)] for M in draws])
+```
+
+有些抽样结果接近可约的情形，这会因为与我们所需比较无关的原因，将 $\mu_{MFP}$ 拉向零。
+
+我们把这些结果暂时放到一边。
+
+```{code-cell} ipython3
+keep = np.flatnonzero(scores[:, 1] > 0.4)
+len(keep)
+```
+
+现在我们寻找一对被两种度量排出相反方向的矩阵。
+
+我们对每一对矩阵按两个差距中*较小*的一个打分，从而使胜出的一对在两种度量上都有实质性的分歧，而不是在其中一个上分歧巨大。
+
+```{code-cell} ipython3
+B, T = scores[keep, 0], scores[keep, 1]
+Δ_B = B[:, None] - B[None, :]
+Δ_T = T[:, None] - T[None, :]
+
+disagree = np.sign(Δ_B) != np.sign(Δ_T)
+score = np.where(disagree, np.minimum(np.abs(Δ_B), np.abs(Δ_T)), 0.0)
+a, b = np.unravel_index(np.argmax(score), score.shape)
+
+A, C = draws[keep[a]], draws[keep[b]]
+pd.DataFrame({'matrix A': mobility_measures(A),
+              'matrix C': mobility_measures(C)}).round(3)
+```
+
+Bartholomew 度量认为矩阵 C 比矩阵 A 流动性高得多，而平均首达时间度量则认为矩阵 C 的流动性低得多。
+
+以下是这两个矩阵。
+
+```{code-cell} ipython3
+np.round(A, 2)
+```
+
+```{code-cell} ipython3
+np.round(C, 2)
+```
+
+其原因在矩阵 C 的第二列中可以看出。
+
+```{code-cell} ipython3
+C[:, 1]
+```
+
+几乎没有概率进入分位数 2，因此一个家庭需要等待很长时间才能到达那里，平均首达时间度量因此被大幅拉低。
+
+Bartholomew 度量则完全注意不到这一点，因为它只统计所走过的距离，而矩阵 C 在其余分位数之间——包括在两个极端之间——移动了大量的概率质量。
+
+这两种度量所奖励的对象不同。
+
+Bartholomew 度量统计的是所走过的距离，因此偏好那些将概率质量转移到角落的矩阵。
+
+平均首达时间度量则询问家庭需要等待多久才能到达任意一个分位数，因此会惩罚任何使某个分位数难以进入的矩阵，无论矩阵其他地方发生了多少移动。
+
+```{solution-end}
+```
+
+```{exercise}
+:label: mob_ex6
+
+我们的函数 `mean_first_passage` 通过求解线性方程组来实现。
+
+另一种方法是通过模拟来估计首达时间。
+
+1. 编写一个函数，通过从状态 $i$ 出发模拟大量路径，并记录每条路径首次到达状态 $j$ 的时刻，从而估计 $T_{ij}$。
+
+   使用经过 JIT 编译的 `qe.MarkovChain.simulate`。
+
+2. 将你的估计值与 1984--1989 年矩阵的精确值进行比较。
+
+3. 作为第二项检验，手动计算用于 $T$ 对角线上的平稳分布——通过求解满足 $\psi^* \mathbb 1 = 1$ 约束下的 $\psi^* (I - M) = 0$——并将结果与 `qe.MarkovChain.stationary_distributions` 进行比较。
+```
+
+```{solution-start} mob_ex6
+:class: dropdown
+```
+
+对于第 1 部分，我们从每个起始状态模拟长路径，并记录首次命中时间。
+
+```{code-cell} ipython3
+def mfp_simulated(M, num_paths=2_000, path_length=400, seed=1234):
+    N = len(M)
+    mc = qe.MarkovChain(M)
+    T = np.zeros((N, N))
+    for i in range(N):
+        hits = np.full((num_paths, N), np.nan)
+        for m in range(num_paths):
+            X = mc.simulate(path_length, init=i, random_state=seed + m)
+            for j in range(N):
+                first = np.flatnonzero(X[1:] == j)
+                if first.size > 0:
+                    hits[m, j] = first[0] + 1
+        T[i] = np.nanmean(hits, axis=0)
+    return T
+```
+
+请注意，我们搜索的是 `X[1:]`，因此对角线记录的是平均*返回*时间而非零，这与 `mean_first_passage` 中的约定一致。
+
+```{code-cell} ipython3
+T_exact = mean_first_passage(M_short)
+T_sim = mfp_simulated(M_short)
+
+print('exact:')
+print(np.round(T_exact, 2))
+print('simulated:')
+print(np.round(T_sim, 2))
+```
+
+估计值非常接近，剩余的差异是蒙特卡洛误差。
+
+不过有一种偏差值得留意。
+
+在 `path_length` 步数内从未到达 $j$ 的路径不会有任何贡献，因此如果路径长度相对于最罕见的转移而言太短，估计值就会出现向下的偏差。
+
+不妨尝试用 `path_length=30` 重新运行，以观察这一现象。
+
+对于第 3 部分，平稳分布是 $M$ 的一个左特征向量。
+
+我们可以通过求解一个线性方程组来找到它，将其中一个冗余方程替换为归一化条件 $\psi^* \mathbb 1 = 1$。
+
+```{code-cell} ipython3
+def stationary_by_hand(M):
+    N = len(M)
+    A = np.identity(N) - M.T
+    A[-1, :] = 1.0              # replace last equation with normalisation
+    b = np.zeros(N)
+    b[-1] = 1.0
+    return np.linalg.solve(A, b)
+
+ψ_hand = stationary_by_hand(M_short)
+ψ_qe = qe.MarkovChain(M_short).stationary_distributions[0]
+
+print(np.round(ψ_hand, 6))
+print(np.round(ψ_qe, 6))
+print(f'max abs difference = {np.max(np.abs(ψ_hand - ψ_qe)):.2e}')
+```
+
+两者在机器精度范围内完全一致。
+
+值得注意的是，尽管各五分位数在构造上包含相同数量的家庭，但平稳分布并不精确等于均匀分布。
+
+均匀分布对 $M$ 而言是平稳的，当且仅当 $M$ 是双随机的，因为 $\psi^* M = \psi^*$ 且 $\psi^* = \mathbb 1^\top / N$ 恰好说明 $M$ 的每一列加总都等于一。
+
+因此这种偏差与我们之前在列加总中看到的偏差是同一回事，它有着相同的两个来源：数据发表时的四舍五入，以及 1984 年到 1989 年间面板样本的流失。
+
+```{solution-end}
+```
+
+## 延伸阅读
+
+### 度量理论
+
+流动性指数的正式研究始于 {cite}`prais1955measuring`，该文将转移矩阵应用于英格兰的职业阶层，以及 {cite}`bartholomew1967stochastic`。
+
+{cite}`shorrocks1978measurement` 将该学科置于公理化的基础之上。
+
+他探讨了一个流动性指数应满足哪些性质——包括：仅在完全不流动时取零值、对重新标记具有不变性、当概率质量从对角线移出时应增大、以及在起点独立情形下应取相同的公共值——并证明了这样一份看似自然的公理清单实际上是相互矛盾的。
+
+其结论是，各种指数必然要在一个理想性质和另一个理想性质之间做出取舍，这正是我们在上面的玩具例子中所看到的那种张力。
+
+{cite}`dardanoni1993measuring` 发展出了应对这一不可能性结果的另一种思路：与其强行给出一个完整排序，不如去问何时一个矩阵能够无歧义地比另一个矩阵更具流动性，并接受一种偏序关系。
+
+{cite}`sommers1979eigenvalue` 研究了基于特征值的度量方法，{cite}`conlisk1990monotone` 研究了平均首达时间方法以及单调性所起的作用，而 {cite}`kemeny1976finite` 至今仍是关于底层马尔可夫链理论的标准参考文献。
+
+{cite}`fields1999measurement` 对整个文献进行了综述，是最适合入门的读物。
+
+{cite}`cowell2018measuring` 给出了更为晚近的处理方式，直接基于底层分布本身而非离散化的转移矩阵展开分析。
+
+```{note}
+本节描述的是 Shorrocks 不可能性结果的大致轮廓，而非对其进行正式陈述，因为具体的公理清单十分重要。
+
+读者应直接参阅 {cite}`shorrocks1978measurement` 原文。
+```
+
+### 代际流动性
+
+本讲座研究的是*代内*流动性：即某一给定家庭在其自身生命周期内在分布中的移动。
+
+一个庞大的平行文献研究的是*代际*流动性，即父母的经济地位与其子女经济地位之间的关系。
+
+这一领域的核心统计量是代际弹性，即用子女的对数收入对父母的对数收入进行回归所得到的系数。
+
+其中最著名的呈现方式是**了不起的盖茨比曲线**（Great Gatsby curve），该名称由 Alan Krueger 于 2012 年提出，该曲线将这一弹性与各国的收入不平等程度绘制在一起 {cite}`corak2013income`。
+
+这条曲线呈上升趋势：不平等程度较高的国家往往代际流动性较低，丹麦和挪威位于曲线的一端，美国和英国位于另一端。
+
+对此的解读存在争议——这种关系只是几十个数据点之间的跨国相关关系，因果关系可能是双向的——但这一模式在政策辩论中影响颇大。
+
+{cite}`chetty2014land` 使用涵盖数千万家庭的美国行政税务记录，证明代际流动性在美国*内部*——跨通勤区——存在巨大差异，并将这种差异与种族隔离程度、学校质量和家庭结构联系起来。
+
+具体到财富领域，{cite}`hurst1998wealth` 和 {cite}`jianakoplos1997wealth` 是使用 PSID 数据的早期研究，而 {cite}`benhabib_wealth_2019` 估计了一个财富流动性模型，其转移矩阵我们已在 {doc}`markov_chains_II` 中见过。
+
+### 经济模型中的流动性
+
+本讲座中的所有内容都是在描述数据。
+
+自然而然的下一个问题是，我们的标准家庭储蓄模型能否重现这些数据。
+
+{cite}`carroll2026mobility` 后半部分给出的答案是：基本上不能。
+
+一个按照 Bewley、Huggett 和 Aiyagari 传统构建的标准不完全市场模型，即使经过校准以匹配观测到的财富不平等水平，所产生的短期流动性也远远不足。
+
+模型中的家庭在最底层和最顶层五分位数中分别停留大约 38 年和 63 年，而数据中的对应数值大约是 15 年和 17 年，而且当他们移动时，一次只移动一个五分位数。
+
+原因在于，储蓄是一种*平滑*工具：主体积累资产正是为了缓冲收入冲击对消费的影响，而这种缓冲作用减慢了他们在财富分布中的移动速度。
+
+该论文指出，为财富的*回报*而非劳动收入引入特异性风险，才是使模型流动性与数据相符的关键——这与其实证发现一致，即进行大幅跳跃的家庭正是那些持有股票和私营企业的家庭。
+
+论文接下来说明，这一点对政策具有重要意义：在校准为具有相同财富不平等程度的各个模型经济体中，家庭所偏好的资本收入税率会随流动性水平的不同而变化。
+
+这正是应当测量流动性、而不仅仅是不平等的理由所在。
+
+对模型方面感兴趣的读者，应参阅该论文原文。