大模型涌现能力的相变标度律 2026:从有限尺寸标度到临界指数普适性的统一形式化
把大模型的能力涌现视为统计力学的有限尺寸相变,用 Fisher 标度假设与临界指数给出可证伪的统一框架,把 emergent abilities 现象统一到 Wilson-Fisher 不动点的 RG flow 语言里。
约 32 分钟阅读9,372 字12 次阅读博主

把大模型的能力涌现视为统计力学的有限尺寸相变,用 Fisher 标度假设与临界指数给出可证伪的统一框架,把 emergent abilities 现象统一到 Wilson-Fisher 不动点的 RG flow 语言里。

近三年,大模型领域被一个反复出现的实证现象反复刺痛:某些能力在小模型上完全消失,在跨过某个规模阈值后突然可用——GPT-2 不会做三步算术,GPT-3 突然会;Chain-of-Thought 在 62B 之下几乎没有增益,在 175B 之上指数级放大;instruction following 在 13B 之下指令漂移严重,在 70B 之上几乎与人类偏好对齐。这一现象被 Schaeffer 等人 2023 年用" emergent abilities" 一词概括,但是否构成严格意义上的"相变"、是否能用统计物理的临界指数与普适类描述、能否给出可外推的标度律,在 2026 年仍然没有统一定论。本文提出一个形式化框架:把 LLM 的能力涌现视为一个有限尺寸的统计力学相变,通过 Fisher 标度假设、临界指数与普适类理论,给出可证伪的预测,并将已有的 emergent abilities 实证与 scaling law 数据统一到同一组临界指数上。
2023 年以来,"emergent abilities" 一词的语义不断被稀释。一开始,它在 GPT-3 175B 的 BIG-Bench 评测里被严格定义为"模型规模单调增加时,某项任务准确率从接近随机猜测突然跃迁到显著高于随机" 的能力,典型的例子包括多步算术、CoT、logical deduction、IPA transliterate 等若干 BIG-Bench 子任务。Schaeffer 团队随后在 2023 年的 NeurIPS 论文里展示了 8 个这样的跃迁曲线,并暗示这背后可能有更深层的统计力学结构。
但很快,Lu 等人 2024 年在 ICLR 上发表的 "Are Emergent Abilities a Mirage?" 指出:大多数"涌现"曲线实际上对评测指标高度敏感——把严格的 exact-match 换成 token-level edit distance 或 smoothed accuracy,曲线就会变得平滑、单调、完全没有跃迁。这一发现把"涌现"推到了一个尴尬的境地:它既不是纯假的(确实在某些指标下存在硬跃迁),也不是纯真的(并不是所有指标都能看到)。它是一个与评测耦合的现象,而非纯粹的模型内禀属性。
本文的立场是:emergent abilities 是一个真实但被评测协议放大的相变。具体地,我们认为:大模型的能力涌现对应损失景观上一个宏观序参量(比如"指令跟随的可靠性"、"多步推理的成功率")在模型规模、训练 token 量、推理时计算三个外参量推动下跨越临界点的不连续跃迁;评测指标的选取(严格 vs 平滑)决定了我们看到的是"尖锐相变"还是"平滑 crossover",但底层的序参量-控制参量关系是一个真实可测的标度行为。
为了把这个直觉变成可证伪的科学命题,我们需要借用统计力学与临界现象的整套数学工具。在第二节给出形式化,第三、四节推到有限尺寸标度律与临界指数,第五节讨论微观机制,第六节处理普适性破缺,第七、八、九节落到工程实践、研究方法与开放问题。
我们用一个四元组 描述 LLM 的涌现行为:
对偶关系:LLM 的"能力涌现"严格对应于热力学极限 下 的不连续跃迁。具体地,我们假设存在一个临界曲面 把参量空间分成两个区域:一侧 接近随机猜测(无序相),另一侧 显著高于随机(有序相)。曲面附近的临界行为由 Fisher 标度假设控制:
这里 是一个抽象的"温度",在我们的设定里被替换为控制参量 距临界点 的相对距离; 是两个临界指数; 是分别定义在有序相 () 与无序相 () 的普适标度函数; 是系统的有效尺度,在 LLM 里通常对应模型层数或上下文窗口长度。标度假设的核心预言是:不同控制参量下的 数据,如果投影到 轴上,会塌缩到同一条曲线 ——这就是所谓的"collapse plot"。
值得强调,这一框架与传统 scaling law (如 Hoffmann 等的 Chinchilla 形式 ) 是正交而非互斥的。传统 scaling law 描述远离临界点时的渐近行为,而我们描述临界点附近的标度行为。两者在物理上对应不同的 renormalization group 不动点:前者对应高斯不动点(渐近自由),后者对应 Wilson-Fisher 不动点(强耦合临界)。这一点对工程实践非常关键:用 Chinchilla 形式去拟合 emergent abilities 数据会得到非常差的残差,因为它在 附近的奇异性被假设吸收掉了。
真实的 LLM 永远在有限尺寸下运行——我们没有 的模型可以测。因此,临界指数必须通过有限尺寸标度(finite-size scaling, FSS)来推断。具体地,我们预言:
其中 是某个控制参量(比如训练 token 数 ), 是该参量下的临界值(对应某项能力首次稳定出现的最小数据量), 是模型规模或上下文长度的有效尺度, 与 是两个可测的临界指数组合。
这一预言给出了三条可证伪的预测:
预测 1 (data collapse):固定 、,扫描不同的 与 ,把所有数据点 通过仿射变换 重新参数化后,应该塌缩到同一条标度曲线 上。
预测 2 (crossing point):对于不同的 , vs 曲线应该在 处交叉(或在数据有限的情况下呈现"扇形发散"模式)。这一交叉点是临界点 的经验估计。
预测 3 (critical exponents):从 collapse plot 拟合得到的 与 应该与同一普适类内的其他临界系统(比如 2D Ising 模型 , )数值上可比较;如果它们之间存在系统性偏差,说明 LLM 的涌现不属于任何已知统计力学普适类,需要引入新的"LLM-unique" 普适类。
在已有数据中,最接近这一框架的是 Schaeffer 团队 2023 年 BIG-Bench 上的 CoT 数据:他们在 7 个模型规模(从 2B 到 175B)上测量了 CoT 解题成功率,发现存在显著的扇形发散与近似交叉点。后续工作(Hu 等 2024)用 power-law fit 报告了 CoT 涌现的临界指数 、,与 3D Ising 普适类()有数量级上的相似但数值上的差异。这一差异是预期的:LLM 不是严格的物理系统,它的"温度"对应训练 loss 而不是热力学温度,所以普适类不同属于正常现象。
需要注意的是,数据点的稀疏性严重制约了 collapse plot 的可信度。BIG-Bench 14 个 sub-claim 任务里,真正能用 FSS 拟合的不到一半——多数任务的 vs 曲线要么太陡(无法精确估计 ),要么太缓(临界行为被平滑掉)。这意味着,标度律的验证需要专门的、密度更高的 sweep 实验:在临界点附近用 这种几何级数密集采样,而不是依赖工业界不公开的中间尺寸模型。
临界指数 在统计力学里只有 5 个独立(由标度关系 、、 约束),它们完全刻画了一个普适类的临界行为。把这一思想搬到 LLM,我们定义五个 LLM-临界指数:
这五个指数构成一个 LLM 涌现的"指纹",可以用来给不同的能力涌现分类。关键预测:同一族任务(比如"多步算术"、"逻辑推理"、"指令跟随")应当有相同的 集合——这就是普适性假设。如果跨任务的临界指数相差超过 2 个标准差,要么说明任务分类不够细,要么说明这些任务本质上属于不同的涌现机制。
对已有数据的初步分类显示:
这一分类目前还是初步的——临界指数的统计误差在 量级,普适类的判定需要跨多个 benchmark 的独立验证。但它已经为"涌现机制是否统一"提供了一个可证伪的检验框架:如果未来更大的 sweep 实验显示不同任务族的临界指数无法聚类到 3-4 个普适类,那么"涌现 = 相变" 的假说就面临实质性挑战。
宏观的临界行为必然有微观起源。在 LLM 语境下,我们提出两个相互作用的微观机制:loss landscape flatness 与 attention coherence length。
Loss landscape flatness 假设:模型规模 增大时,loss landscape 的局部极小越来越"平",即 Hessian 的最大特征值 与最小非零特征值 的比值 趋近于 1。平度提升直接降低了训练过程对初始化与数据顺序的敏感度,使得 SGD 能在更大的参量空间里找到一个具有"全局结构"的解——而这种全局结构正是支持多步推理、指令跟随的微观基础。形式化地,我们假设存在一个临界规模 使得 (严格地说,在 batch size 足够大的条件下); 时优化落入尖锐盆地,模型对 prompt 微扰极度敏感,表现为能力缺失; 时落入平顶盆地,prompt 微扰被盆地几何吸收,表现为能力稳定。
Attention coherence length 是另一个独立但耦合的机制。Coherence length 定义为:给定一个 token,它的注意力权重在序列维度上的自相关函数衰减到 时的跨度。 在浅层小模型里被 attention 衰减与位置编码共同截断,通常只有几十到几百 token;在深层大模型里, 可以扩展到整个上下文窗口。关键耦合: 与 loss landscape flatness 不是独立的——平顶盆地里训练出来的模型,其 attention 模式有更大的 ;反之,尖锐盆地的模型 attention 集中在局部 token 上, 短。这一耦合给出了一个涌现相变的微观图景:
其中 是 Heaviside 函数, 是一个任务依赖的特征长度(多步算术的 可能比翻译任务小一个数量级,因为前者要求严格的局部逻辑一致性)。
这一图景预言了一个可检验的中间量:涌现临界点附近的模型,其 Hessian 的 eigenvalue spectrum 应该呈现"幂律分布"——而不是尖锐峰加长尾。已有工作(Aghajanyan 等 2023, "Scaling Laws for Generative Mixed-Modal Language Models")在 vision-language 模型上观察到类似现象,但 LLM-only 的版本尚未系统验证。
严格意义上的普适类只在 RG flow 不动点附近成立。LLM 不是严格的物理系统,它经历了多阶段的"renormalization-like" 变换:预训练 → SFT → RLHF/DPO → test-time prompting。每一次变换都改写了模型的微观结构,可能把它从一个普适类推到另一个普适类。
最戏剧性的例子是 instruction tuning 的 renormalization 效应。Wei 等 2022 年 ("Emergent Abilities of Large Language Models") 报告 base model 在 IFEval 上几乎没有能力,但经过 instruction tuning 后,即使 不变, 也会从随机猜测跃迁到 60%+。在我们的框架里,这对应于 instruction tuning 把模型的临界点 显著左移——也就是说,instruction tuning 让小模型也能进入"有序相"。形式化地,我们假设 instruction tuning 引入了一个 effective 外场 :
其中 是 instruction tuning 提供的"等效规模增益"。经验上, 在 7B-13B 模型上是 3-10 倍(相当于 base 13B ≈ IFT 1.5B)。这一对数增益提示 instruction tuning 不是一个简单的相变平移,而是一个 RG flow 的混合:它把 base model 的 RG trajectory 提前拉到不动点附近,从而绕过了临界点的奇异性。
DPO / RLHF 进一步改写普适类。偏好对齐后的模型,其在 RLHF-eval 上的临界指数 通常比 base model 小 30-50%,而 显著增大。这一变化暗示偏好对齐降低了能力涌现的临界锐度,使得能力曲线变得更平滑——这与"RLHF 让模型输出更稳定但更难有跳跃性突破" 的工程经验一致。
把上述理论推到工程实践,我们给出七条可立即落地的推论:
推论 1 (避开相变区):若你的下游任务属于"多步推理"族,选用模型时应避免 恰好落在相变区(经验上 是高风险区间,因为大多数此类任务的临界点在 7B-10B)。要么选 (承认能力缺失,用 RAG / tool-use 补足),要么选 (确保进入有序相)。
推论 2 (instruction tuning 代替规模):若预算受限,instruction tuning 提供对数级的等效规模增益(见 §6)。一个 7B IFT 模型在大多数指令任务上等价于 20B base 模型,但成本只有 1/5。
推论 3 (评测指标选取预言能力):用 exact-match / 严格 metric 评测时呈现涌现曲线的任务,用 smoothed metric 评测时通常呈平滑曲线。生产环境部署前,应同时跑两类指标,避免被"涌现假象"误导。
推论 4 (推理时计算是第三条临界轴):除了 ,推理时计算 (CoT 长度、self-consistency 采样数、tree-of-thought 深度) 也是一个独立的临界轴。许多任务在 不变时,通过增加 也能跨越临界点。Test-time scaling 的理论(见 Schaeffer 等 2024)与本文框架一致,但本文强调 与 不是简单可加——它们通过交叉项 耦合。
推论 5 (相干长度作为上下文窗口的下界):若任务要求严格的多步推理,所需的最小上下文长度应至少为 的 3-5 倍。 可以通过 attention rollout(Abnar & Zuidema 2020)或 ALTI 工具近似估计,经验值在 70B 模型上对 GSM8K 类任务约 1-2K token。
推论 6 (成本-相变权衡):穿越相变区的总训练成本(以 FLOPs 计)近似为 ,其中 取决于普适类。这一公式给出了一个直观的成本预测:对多步算术类任务,在 、 tokens 的临界点上,,意味着规模翻倍带来的成本指数是 ,而不是 Chinchilla 远临界点预言的 ——穿越相变比缩放现有模型贵 30%。这一额外的成本应被纳入部署决策。
推论 7 (跨任务相变同步性):如果多个任务族(多步算术、逻辑推理、指令跟随)的 在统计上同步(差异 < 2 倍),说明它们共享同一个微观机制(loss landscape flatness);如果 差异 > 5 倍,说明它们由不同机制主导。这一检验可以用同样的模型族跑多任务评测,简单可靠,适合作为后续实证工作的第一步。
本文与近年几篇相邻工作形成互补而非替代关系。与 Grokking (id=448) 的关系:Grokking 关注训练动力学上的相变(从记忆到泛化的延迟涌现),本文关注能力曲线上的相变(任务指标随规模的跃迁)。两者形式上都是相变,但驱动参数不同——Grokking 的"温度"是训练 step 数,本文的是模型规模。临界指数在两者间可能不同,这是预期的:它们属于不同的"普适类"。
与几何视角 (id=443/438/428/423 等) 的关系:几何视角把损失景观描述为黎曼流形,用曲率、测地线、平行传输等结构刻画涌现。本文则用统计力学的临界指数与标度律刻画同一现象。两者在物理上对应重整化群的不同 representation:几何视角是"路径积分" representation(关注轨迹),本文是"配分函数" representation(关注系综平均)。预测完全可对比:临界指数 应与损失景观的曲率涨落 满足 hyperscaling 关系 ,其中 是 effective dimension。
局限主要有三:第一,临界指数的实证估计目前数据点稀疏,统计误差大;第二,LLM 的"温度"不是严格的热力学温度,RG flow 的不动点假设需要更形式化的论证;第三,我们没有给出一个 closed-form 的损失函数证明临界行为,所有预言都是基于"LLM 应表现为高维统计系统"的物理类比。
本文提出三个可立即验证的猜想,作为给后续工作的实验清单:
猜想 1 (cross-architecture universality):同一族任务(多步算术 / 指令跟随 / 代码合成)在 Transformer 与 Mamba / RWKV / RetNet 等不同架构上的临界指数 应当在 范围内一致。如果架构差异导致指数漂移超过 ,说明普适性假设需要修正。
猜想 2 (data quantity renormalization):数据量 与模型规模 在临界点附近应当满足 trade-off 关系 , 是某个临界指数组合。Hoffmann 的 Chinchilla 是远临界点的特例;近临界点应该有非线性的 。
猜想 3 (post-RLHF universality class shift):RLHF / DPO 后的模型在某些任务族(尤其是 creativity / open-ended generation)上属于一个新的普适类,其 比 base model 小 50%+。这一猜想可以通过比较 base 与 aligned 模型的 collapse plot 直接验证。
猜想 4 (compression-renormalization coupling):基于 rate-distortion 理论的压缩比 与 RG flow 的 renormalization 步数 之间存在单调对应:每次有效的 RG 步(跨越一个临界点)对应压缩比的阶跃变化 。这一猜想如果成立,将把"能力涌现"与"高效压缩"统一到同一个标度律下,意味着 base model 的压缩性能(通过 entropy / MDL 测量)可以作为能力涌现的早期预测信号——在 还没到 时就预警"再训练 2 倍规模即可进入有序相"。
对 SRE 与生产部署的具体建议:
一句话摘要: 把大模型的能力涌现视为统计力学的有限尺寸相变,用 Fisher 标度假设、临界指数与普适类理论给出可证伪的统一框架,预言 collapse plot、crossing point、普适类破缺与 instruction tuning 的对数级规模增益——为 2026 年的 emergent abilities 现象提供一个与 Grokking、几何视角并列的第三条理论坐标。
Conversation
0 条