Paper: 2610.18853
Authors: Yuante Li, Junwei Quan, Kai Qiu, Kate Zhang, Yicheng Tao
Categories: cs.AI, cs.LG

The Gap

Reinforcement learning with verifiable rewards (RLVR)—the post-training engine powering reasoning frontiers like DeepSeek-R1 and OpenAI o1—is bounded by a brutal economic constraint: sampling long chain-of-thought rollout tokens from large models is astronomically expensive. To amortize generation costs across cluster nodes, practitioners dramatically scale up the rollout batch size BB, pairing it with the classical square-root learning-rate scaling rule:

η∝B\eta \propto \sqrt{B}

In idealized single-step rollouts, this rule appears to preserve per-sample optimization progress. However, in practical multi-step optimization runs (e.g., standard GRPO or PPO over multiple optimizer epochs), training curves exhibit an exasperating paradox:

  1. The Progress Penalty: When batch size is scaled up, models require significantly more total environment samples to reach the same math or code reasoning benchmark threshold.
  2. The Scheduled Collapse: Despite learning slower per sample, large-batch runs do not survive longer—they crash and experience policy collapse at nearly the exact same cumulative sample count as smaller batch runs.

Why do larger rollout batches simultaneously learn slower yet fail on schedule?

   THE MULTI-STEP RLVR SCALING PARADOX

   Rollout Batch B scaled by 16x (with lr * sqrt(16) = lr * 4):
   
   Expectation: Same per-sample progress; linear wall-clock speedup.
   
   Reality (The Two-Clock Divergence):
   +-----------------------------------------------------------+
   | Clock 1 (The Progress Clock - Optimization Geometry)      |
   | - Takes fewer, wider steps into high-curvature zones      |
   | - Second-order Taylor terms destroy progress efficiency   |
   | ===> Requires 2x MORE samples to hit target benchmark!   |
   +-----------------------------------------------------------+
   | Clock 2 (The Failure Clock - Policy Drift Dynamics)       |
   | - Square-root lr preserves cumulative first-order drift   |
   | - Cumulative policy drift hits the cliff at sample N*     |
   | ===> COLLAPSES ON THE EXACT SAME SCHEDULE!               |
   +-----------------------------------------------------------+
   Net Result: Policy crashes BEFORE reaching target accuracy!

The Increment

One sentence: By decomposing multi-step RLVR optimization into a curvature-penalized Progress Clock and a drift-invariant Failure Clock, the authors reveal why square-root scaling breaks down beyond a critical batch size and introduce a two-stage batch schedule that achieves both maximum sample efficiency and robust training stability.

Core Mechanism

The authors model the policy gradient landscape under multi-step off-policy updates using a local quadratic expansion:

  1. The Progress Clock & Curvature Loss:
    • The first-order parameter drift per sample scales with η/B≈const\eta / \sqrt{B} \approx \text{const}.
    • However, the second-order curvature penalty scales with η2≈B\eta^2 \approx B.
    • Because a batch size of BB takes 1/B1/B as many optimizer steps, each individual step is substantially longer. The quadratic curvature penalty eats up the objective gain, establishing a learning-rate-dependent critical batch size (B∗B^*).
    • Training with B>B∗B > B^* suffers from severe diminishing returns in sample efficiency.
  2. The Failure Clock & Drift Invariance:
    • Policy collapse in RLVR (entropy collapse, reward hacking, or ratio explosion) is governed by cumulative parameter drift away from the reference checkpoint π0\pi_0.
    • Because the square-root rule holds expected first-order drift per sample approximately constant, the policy reaches the critical drift instability threshold at an invariant cumulative sample count, regardless of batch size.
  3. Controlled Empirical Evidence on GRPO:
    • Validated on Qwen2.5-Math-1.5B and 7B across a 16×16\times batch sweep.
    • PPO/GRPO ratio clipping cushions intermediate steps and delays collapse, but completely fails to close the curvature-driven progress gap.
  4. The Two-Stage RLVR Schedule:
    • To reconcile sample efficiency and stability, the authors derive a clean operational schedule:
      • Stage 1 (Rapid Ascent): Start with B<B∗B < B^* (small batch, conservative lr) where curvature loss is minimal, driving rapid early accuracy gains.
      • Stage 2 (Stability Transit): Switch to a larger batch size before approaching the critical drift threshold of the Failure Clock, stabilizing the policy through asymptotic convergence.
   THE DUAL DYNAMICS OF MULTI-STEP RLVR

   Optimization Space
           ^
           |     High-Curvature Valley
           |           \   /
           |            \_/  <-- Large Batch Step (Loses to curvature!)
           |             *
           |           /   \
           |          *     *  <-- Small Batch Steps (Follows curvature smoothly)
           |
           +---------------------------------------------> Sample Count
                                                |
                                                v
                                    [Failure Clock Deadline]
                               Policy Drift Hits Catastrophic Cliff

Key Concepts

  • Progress Clock: The physical rate of metric improvement per consumed rollout sample, dictated by the interplay between first-order gradients and second-order Hessian curvature.
  • Failure Clock: The invariant sample horizon at which cumulative parameter drift breaches the policy’s stable exploration basin, inducing entropy collapse.
  • Critical Batch Size (B∗B^*): The operational ceiling for rollout batch size beyond which second-order curvature losses outpace first-order gradient improvements.

Framework Shift

Before (Naive Square-Root Batch Scaling in RLVR):
  Assumption: eta = eta_0 * sqrt(B) maintains constant learning dynamics per sample.
  Observation: Massive GPU clusters hit policy collapse before reaching benchmark targets; sample efficiency degrades.
  Explanation: "Random training instability" or "insufficient clipping."

After (The Two-Clock Theory & Staged Schedule):
  Diagnosis: Square-root rule preserves drift (matching the Failure Clock) but penalizes curvature (lagging the Progress Clock).
  Prescription:
    1. Quantify critical batch B* for target architecture.
    2. Stage 1: Train below B* for maximum per-sample progress.
    3. Stage 2: Scale batch up before drift-induced failure horizon to cruise safely into convergence.

Expert Assessment

Problem choice: Hits the theoretical core of post-training reasoning models. Multi-step RLVR is notoriously finicky to tune, and huge engineering compute is wasted on unstable large-batch runs.

Method maturity: Formulates a clean analytical quadratic surrogate model that directly matches real empirical GRPO training curves across multiple model scales (1.5B to 7B).

Experimental integrity: Rigorous 16×16\times batch sweeps on mathematical reasoning, testing across multiple model families, general-purpose checkpoints, and varied clipping thresholds.

Writing quality: Highly lucid, with elegant physical analogies (“two independent clocks ticking at different rates”) that ground abstract optimization theory.

Verdict: strong accept — An essential scaling paper that transforms the black art of RLVR hyperparameter tuning into predictable engineering science.

Takeaways

  • Do not assume square-root learning rate scaling maintains sample efficiency in multi-step RLVR; large batches bleed progress to loss curvature.
  • PPO/GRPO ratio clipping can delay policy collapse, but it cannot fix the fundamental curvature penalty of oversized batches.
  • Implement a two-stage batch schedule: explore and ascend with sub-critical batch sizes, then expand batch size to safely navigate late-stage convergence.

论文: 2610.18853
作者: Yuante Li, Junwei Quan, Kai Qiu, Kate Zhang, Yicheng Tao
分类: cs.AI, cs.LG

缺口

以 DeepSeek-R1 与 OpenAI o1 为代表的带可验证奖励强化学习(RLVR),是当前大模型实现深度推理跃升的绝对主战场。 然而,RLVR 的训练面临着极度严苛的显存与算力枷锁:让大模型自发生成成千上万条数千 Token 的长思维链(Chain-of-Thought Rollout),开销高昂到令人咋舌。为了摊薄通信与采样成本,算法工程师通常会采取业界标准的经验法则——大幅提高 Rollout 批次大小(Batch Size, BB),并配合平方根学习率缩放公式(Square-Root Scaling Rule):

η∝B\eta \propto \sqrt{B}

在单步更新的理想化设定下,该规则似乎能保持单位样本的优化进度。但在工业界真实的多步训练(Multi-step Training,即每个 Rollout 批次进行多轮梯度更新)实践中,研究者却普遍撞上了一个令人费解的诡异悖论:

  1. 进展惩罚(越学越慢):将 Batch Size 放大后,模型达到相同的数学或代码评测基准,所需的总采样数据量反而成倍激增,样本利用效率大幅缩水。
  2. 准时崩盘(毫不延寿):尽管大批次每步学得更慢,但它遭遇策略瓦解、熵值坍塌(Policy Collapse)的总样本数节点却分毫不差地准时降临!

为什么大批次在多步 RLVR 中学得更慢,却依然在相同的倒计时下准时暴毙?

   多步 RLVR 批次缩放的「双时钟」背离悖论

   Rollout Batch 放大 16 倍(学习率按 sqrt(16)=4 倍放大):
   
   理论美好预期:单位样本学习进度恒定,算力利用率线性拉满。
   
   残酷实测真相(双时钟机制背道而驰):
   +-----------------------------------------------------------+
   | 时钟 1:进展时钟(Progress Clock - 优化曲率几何)         |
   | - 步数减少但步长拉大,陷入损失函数的高阶强曲率深谷        |
   | - 二阶泰勒项剧烈吞噬梯度收益                              |
   | ===> 达到相同准确率所需的真实采样量激增 2 倍!            |
   +-----------------------------------------------------------+
   | 时钟 2:失败时钟(Failure Clock - 参数漂移稳定性)        |
   | - 平方根法则恰好锁定了单位样本的一阶累计漂移量            |
   | - 参数偏离基座模型的总距离在第 N* 个样本处准时触碰悬崖    |
   +-----------------------------------------------------------+
   灾难后果:在进展时钟还没来得及跑出高分之前,失败时钟已经敲响了丧钟!

增量

一句话: 本文提出了「双时钟框架(Two-Clock Framework)」,从损失曲率的「进展时钟」与参数漂移的「失败时钟」两个维度解构了多步 RLVR 的缩放动力学,揭示了平方根规则在超过临界批次后样本效率劣化的本质,并据此设计了兼顾样本效率与长程稳定性的「先小后大两阶段批次调度法则」。

核心机制

研究团队基于局部二次曲面(Local Quadratic Model)展开了精密推导,将原本混淆的训练进程清晰拆解为走时独立的两个时钟:

  1. 进展时钟与高阶曲率惩罚:
    • 沿用平方根规则时,单位样本的一阶梯度位移期望 η/B≈常数\eta / \sqrt{B} \approx \text{常数}。
    • 然而,损失函数的二阶海森曲率(Hessian Curvature)惩罚正比于 η2≈B\eta^2 \approx B。
    • 大 Batch 使得优化步数减少、单步更新跨度剧烈增大,导致每一步都被二阶非线性曲率大幅「反噬」,由此定义了依赖于学习率的「临界批次大小(Critical Batch Size, B∗B^*)」。当 B>B∗B > B^* 时,单位样本的有效信息增益呈现断崖式下跌。
  2. 失败时钟与一阶漂移恒定性:
    • RLVR 中策略崩溃(如比率爆炸、熵值归零)的根源,是策略权重偏离原始参考模型 π0\pi_0 累积了一阶漂移(First-order Drift)。
    • 因为平方根学习率严格保持了一阶累计漂移对样本量的恒定性,导致不论 Batch 设多大,模型都会在几乎完全相同的总样本消耗量处撞上崩溃阈值。
  3. GRPO 严格受控实验验证:
    • 在 Qwen2.5-Math-1.5B 与 7B 模型上完成了跨度达 16×16\times 的完整批次网格实验。
    • 实验揭示:传统 PPO/GRPO 的 Ratio Clipping 只能稍微推迟失败时钟的响铃时间,却完全无法弥合大批次因曲率造成的进展落后。
  4. 两阶段动态批次调度器(Two-Stage Schedule):
    • 第一阶段(高效爬坡):在训练前期采用低于临界批次的较小 Batch(B<B∗B < B^*),将损失曲率惩罚降至最低,用极高样本效率快速拉升推理准度。
    • 第二阶段(平稳滑翔):在累积样本逼近失败时钟红线之前,动态将 Batch 放大、平抑局部扰动,安全护航模型平稳收敛至全局最优。
   多步 RLVR 优化曲面与双时钟动力学示意图

   优化目标流形
        ^
        |      强非线性高阶曲率深谷
        |            \   /
        |             \_/   <-- 大 Batch 巨幅跨步(被曲率惩罚大幅吞噬!)
        |              *
        |            /   \
        |           *     * <-- 小 Batch 连续平滑小步(紧贴曲率优雅上升)
        |
        +---------------------------------------------> 累积消耗样本量
                                             |
                                             v
                                  [失败时钟不可逾越的红线]
                            一阶参数漂移超标,策略陷入熵坍塌崩盘

关键概念

  • 进展时钟(Progress Clock):衡量模型能力指标随采样量增长的真实上升速率,由一阶梯度推力与二阶海森曲率阻力的博弈决定。
  • 失败时钟(Failure Clock):衡量策略网络偏离基座权重发生不可逆崩溃的倒计时,由一阶参数漂移的累积量主导。
  • 临界批次大小(Critical Batch Size, B∗B^*):多步 RLVR 中样本效率由高效跃迁至迟钝的拐点;超过此阈值,增大 Batch 必然导致单位样本学习效率缩水。

范式跃迁

过去 (粗暴套用平方根批次法则):
  工程直觉: 只要按 sqrt(B) 同步放大学习率,把 Batch 开得再大也能保持相同训练效率。
  实操困境: 超大集群训练总是莫名其妙在评测还没及格时发生策略崩溃。
  归因偏差: 误以为是 Clipping 阈值没调好或者学习率过大。

现在 (基于双时钟理论的科学两阶段调度):
  本质洞察: 平方根法则保住的是失败时钟的寿命,却让进展时钟落后于曲率。
  实施指南:
    1. 理论测定当前任务与架构的临界批次 B*。
    2. 训练前半程保持在 B* 之内,最大化挖掘每个样本的数学思维链增量。
    3. 在失败阈值降临前切换至大 Batch,实现无损平稳收敛。

专家评估

选题价值: 直击长思维链推理模型训练最底层的痛点。RLVR 的超参数调优极其昂贵且充满黑盒盲目性,本文为大规模后训练提供了清晰的物理机理解释。

方法成熟度: 巧妙地通过局部二次模型将复杂的策略梯度漂移转化为可解析的曲率-漂移方程,推导完备,实验与数学预测高度严丝合缝。

实验严密性: 在 Qwen-Math 1.5B/7B 多个真实算力规模下完成了扎实的横向对照,数据量扎实,并开源了全部复现测试代码。

写作水准: 比喻极其精炼传神(「走时不同的两座时钟」),将复杂的随机优化几何学以极其易懂的直觉呈现出来。

综合评审: 强烈推荐 (strong accept) — 堪称 RLVR 训练动力学与 Scaling Laws 领域的必读力作。

行囊 (Takeaways)

  • 在多步 RLVR 中,切忌盲目相信平方根学习率缩放能保住大批次的样本效率;过大的 Batch 必然在高阶曲率面前严重丢分。
  • Ratio Clipping 只能稍微延缓崩溃发生的时间,治标不治本,无法解决进展落后的硬伤。
  • 采用「前期小批次冲锋爬坡、后期大批次稳定收敛」的两阶段调度机制,是目前破解 RLVR 算力浪费的最优解。