次臨界、臨界與超臨界的分類（subcritical, critical, supercritical classification）

每個高爾頓-沃森過程都依平均子代數 m 相對於 1 的位置，恰好落入三個區制之一。這個三分法——次臨界（m < 1）、臨界（m = 1）、超臨界（m > 1）——是整個學科的組織原則，而單一一個數竟能控制質地迥異的長期行為：必然的快速死亡、必然卻緩慢的死亡、或可能的爆發，實在非凡。

次臨界（m < 1）：族群平均萎縮，E[Z_n] = m^n -> 0，滅絕必然（q = 1），滅絕時間具指數型尾部；在「存活至第 n 代」的條件下，族群大小有一個極限分布（這是次臨界 Yaglom 定理），且存活機率以 m^n 衰減。臨界（m = 1，排除 p_1 = 1）：最微妙的情形——對所有 n 都有 E[Z_n] = 1，滅絕卻仍必然（q = 1）。存活居於臨界：P(Z_n > 0) 漸近於 2/(sigma^2 n)，其中 sigma^2 是子代變異數，而在存活條件下，Z_n / n 收斂到指數分布（Yaglom 定理）。超臨界（m > 1）：此時 q < 1，故族群以正機率 1 - q 存活，且在存活事件上以幾何方式成長：Z_n / m^n 幾乎必然收斂到一個非負極限 W，在 Kesten-Stigum（x log x）條件下，W > 0 恰好發生於存活事件。

重要性：只要有「繁殖或衰減」的機制在作用，同樣的分類便處處重現。再生數 R_0 < 1 的流行病會消亡（次臨界），R_0 = 1 是流行病門檻（臨界），R_0 > 1 則允許大規模爆發（超臨界）。Erdos-Renyi 巨大連通分量恰在局部分支平均跨越 1 時出現。此處關鍵的誠實在於臨界情形：人們容易以為「平均維持不變，所以會存活」，但臨界正是平均守恆卻滅絕必然的刀鋒——是「收斂到零的鞅」的原型。平均行為與幾乎必然行為，恰在 m = 1 處分道揚鑣得最為激烈。