Paper: 2609.17464 Authors: Rong He Categories: cs.MA, cs.AI, cs.DC

The Gap

Multi-agent systems split a task across a tree of agents and justify the split with folklore: smaller contexts, cleaner separation, parallelism. That folklore is load-bearing. Teams spend real money on orchestration because it feels like more agents find more things.

The paper asks a sharper question: what does the split do to how much of what the leaves discover reaches the root? Not “can we parallelize?” but “of the findings that exist, how many survive the tree?”

That reframing exposes a missing quantity. Without a model of per-item retention through a hop, you cannot predict yield, compare flat vs deep, or say when delegation is worth its coordination cost. The gap is not “multi-agent is unproven.” It is “we have been optimizing architecture without a yield law.”

   FOLKLORE VS THE REAL QUESTION

   folklore (why we build trees)
     smaller contexts
     cleaner separation
     parallelism
     "more agents find more things"
         |
         v
   the sharper question
     not: can we parallelize?
     but: of the findings that EXIST,
          HOW MANY SURVIVE THE TREE
          to reach the root?
         |
         v
   the missing quantity
     per-item RETENTION through a hop
     without it you cannot
       predict yield
       compare flat vs deep
       say when delegation is worth its cost
         |
         v
   the real gap
     not "multi-agent is unproven"
     but "we optimized architecture WITHOUT A YIELD LAW"

The Increment

One sentence: Before this paper, multi-agent decomposition was justified by folklore about context and parallelism; after it, there is an explicit retention model in which yield separates from architecture, flat is optimal for discoveries, and depth is bought only on context integrity and cost.

Core Mechanism

The model is a tree. An agent handed b items keeps any one of them with probability r(b). The form of r is everything.

If r(b) = 1/b, every tree delivers exactly one finding, for every task size and every shape. The paper verifies this to 2.4 x 10^-15 on 20,000 random irregular trees. That is not a heuristic estimate; it is an algebraic identity under the model. A hop does not amplify discoveries; under this retention law it collapses the expected count to one, no matter how you arrange the agents.

If r(b) = C b^{-delta}, a depth-k tree over N findings yields C^k N^{1-delta}. Two factors separate cleanly:

  • Task size contributes N^{1-delta}.
  • Architecture contributes only C^k, with C <= 1 per level.

So flat is optimal for yield, and no arrangement of agents escapes the exponent delta. You can rearrange the tree; you cannot buy your way out of the retention exponent.

   THE RETENTION MODEL

   agent sees b items
   keeps any ONE of them with probability r(b)

   case r(b) = 1/b
     EVERY tree delivers EXACTLY ONE finding
     for every task size, every shape
     verified to 2.4e-15 on 20,000 random irregular trees
     a hop does NOT amplify; it collapses expected count to 1

   case r(b) = C * b^(-delta)
     depth-k tree over N findings
     yields  C^k * N^(1-delta)
         |
         +-- task size:     N^(1-delta)
         +-- architecture:  C^k, with C <= 1 per level
         |
         v
     FLAT IS OPTIMAL FOR YIELD
     no agent arrangement escapes the exponent delta

Production numbers make the model falsifiable rather than decorative.

On 600 production deep-research traces, delta = 0.34 with interval [0.30, 0.38], by three identifications that do not share a failure mode. That last clause is doing scientific work: three independent ways of recovering the same exponent.

At a hop where item boundaries come from the tool rather than a text heuristic, and where b = 1 occurs 550 times, C = 0.571 [0.527, 0.615] is observed rather than extrapolated, over 16,082 hops. Measuring C at b = 1 avoids the hardest identification problem.

Depth also costs alignment. On 1,012 annotated multi-agent traces, one brief in sixteen goes off-target, giving mu = 0.939 and a per-tier penalty C mu = 0.536. So each tier is taxed twice: retention and misalignment.

Depth is bought on two other axes — that is the paper’s constructive claim.

  1. Context integrity. The root context is the only state that persists and the only one that cannot cheaply forget. Depth cuts its exposure from N items to N^{1/k}.
  2. Cost. Production flat agents bill as N^{1.39}, not the N^2 an append-only context predicts. At equal spend, two tiers overtake flat at 403 findings.

And the punchline for practitioners: across every parameter measured, the model says 0.7% to 11.3% of production sessions are worth delegating, against 7.8% that do. A hazard model on 743,819 production tool calls finds that delegation does not respond to a filling context and is instead an opening move. Systems are not delegating when the context is heavy; they are delegating as a habit at the start.

   PRODUCTION CALIBRATION

   delta = 0.34  [0.30, 0.38]
     from 600 deep-research traces
     three identifications, no shared failure mode

   C = 0.571  [0.527, 0.615]
     observed at b=1 (550 times), 16,082 hops
     tool-derived item boundaries

   alignment tax
     1,012 annotated multi-agent traces
     1 brief in 16 off-target
     mu = 0.939
     per-tier penalty C*mu = 0.536

   what depth actually buys
     [1] root context integrity: N -> N^(1/k) exposure
     [2] cost: flat bills as N^1.39 (not N^2)
         two tiers overtake flat at 403 findings

   practitioner punchline
     worth delegating: 0.7% .. 11.3% of sessions
     actually delegating: 7.8%
     hazard model, 743,819 tool calls:
       delegation is an OPENING MOVE
       not a response to a filling context

Think of it as a factory that splits work across foremen. If each foreman only forwards one item out of every b they handle, then adding layers does not increase output — it just reshuffles which single item survives. Layers still help when the shipping dock (root context) cannot hold the full inventory, or when one foreman is cheaper than one giant workbench. That is integrity and cost, not yield.

Key Concepts

  • Retention as the load-bearing law: without r(b), architecture debates are aesthetics.
  • Yield / architecture separation: N^{1-delta} vs C^k means you cannot rearrange your way out of the exponent.
  • Flat optimal for discoveries: if your goal is findings reaching the root, depth is a tax.
  • Depth for integrity and cost: root context exposure shrinks; spend can beat append-only flat at high N.
  • Alignment is a real tier penalty: off-target briefs compound with retention loss.
  • Delegation as opening move: production systems delegate early by habit, not late by context pressure — a systems bug, not a strategy.

Framework Shift

Before (folklore):
  split the task because contexts are smaller
  -> more agents should find more things
  -> architecture chosen by taste and demos
  -> no yield law, no measured exponent

After (retention model):
  r(b) determines what survives to the root
  -> r=1/b: every tree yields exactly one finding
  -> r=Cb^\{-delta\}: yield = C^k N^\{1-delta\}
  -> flat wins on yield; depth buys integrity + cost
  -> delta=0.34 and C=0.571 measured in production
  -> most sessions should not delegate at all

From “decompose because it feels parallel,” to “decompose only when integrity or cost — not yield — is the binding constraint,” the core shift is that multi-agent architecture acquires a yield law and therefore a discipline.

Expert Assessment

Problem choice: Outstanding. This is one of the few papers that treats multi-agent orchestration as an object of measurement rather than advocacy. The folklore it targets — smaller contexts, cleaner separation, parallelism — is exactly what shows up in product pitches and blog posts, and the paper’s replacement question (what survives to the root?) is the one that determines whether money spent on agents is money well spent.

Method maturity: The model is deliberately simple, which is a strength for a first yield law. The special case r = 1/b giving exactly one finding for every tree is the kind of clean identity that makes a theory memorable and checkable. The general form C^k N^{1-delta} is the right decomposition: task size and architecture should not be confounded. Limitations: r is assumed stationary across the tree, alignment is reduced to a single mu, and the two “depth buys” axes (integrity, cost) are argued with production billing rather than a single unified optimization. That is fine for a measurement paper; it is not yet a design handbook.

Experimental integrity: This is where the paper is strongest among the five. Three non-shared failure modes for delta; observed rather than extrapolated C at b = 1 with a large hop count; annotated traces for mu; nearly 750k tool calls for the hazard model. The practitioner-relevant finding — delegation is an opening move, not a context-pressure response — is the kind of negative systems result that is easy to miss and expensive to ignore. Residual risk: one production stack’s traces; other harnesses may retain differently.

Writing quality: Abstract is dense with numbers and intervals, which is correct for this contribution. The folklore / question / model / calibration / implication arc is readable even when the algebra is skimmed.

Verdict: strong accept — a falsifiable yield law for multi-agent trees, production-calibrated, with the constructive side (what depth actually buys) stated as clearly as the negative side (depth does not multiply yield).

Takeaways

  • Put a retention law on your hops before you add a tier. If you cannot estimate r(b), you are decorating, not designing.
  • Separate yield from architecture. If C <= 1 per level, flat finds more; choose depth for context or cost, not discoveries.
  • Measure the alignment tax. Off-target briefs compound with retention loss.
  • Check whether your system delegates because the context is full or because the session just started. Habitual early delegation is a bug.

论文: 2609.17464 作者: Rong He 分类: cs.MA, cs.AI, cs.DC

缺口

多智能体系统把任务拆到一棵智能体树上,并用民俗说法为这种拆分正名:上下文更小、职责更干净、可以并行。而这些民俗是承重的。团队为编排花真金白银,因为「更多智能体会找到更多东西」感觉上成立。

论文问了一个更尖的问题:拆分对「叶子发现的东西有多少能到达根」做了什么? 不是「能不能并行?」,而是「在已经存在的发现里,有多少能活着穿过这棵树?」

这个重框定暴露了一个缺失的量。没有「经一跳的逐条保留率」模型,你就无法预测产出、无法比较扁平与纵深、也无法说出委派何时值得其协调成本。缺口不是「多智能体未被证明」,而是「我们在没有产出定律的情况下优化架构」。

   民俗  vs  真问题

   民俗(我们为何去建树)
     上下文更小
     职责更干净
     可以并行
     「更多智能体会找到更多东西」
         |
         v
   更尖的问题
     不是:能不能并行?
     而是:在「已经存在」的发现里,
           「有多少能活着穿过这棵树」
           到达根?
         |
         v
   缺失的量
     经一跳的「逐条保留率」
     没有它,你无法
       预测产出
       比较扁平 vs 纵深
       说出委派何时值得其成本
         |
         v
   真正的缺口
     不是「多智能体未被证明」
     而是「我们在没有产出定律的情况下优化架构」

增量

一句话: 在这篇论文之前,多智能体分解靠上下文与并行的民俗正名;在这之后,有了显式保留率模型:产出与架构分离,扁平对发现最优,纵深只买得起上下文完整性与成本。

核心机制

模型是一棵树。 一个拿到 b 个条目的智能体,以概率 r(b) 保留其中任意一条。r 的形式决定一切。

若 r(b) = 1/b,则任何树都恰好交付一个发现,对任何任务规模、任何形状。 论文在 20,000 棵随机不规则树上验证到 2.4 x 10^-15。这不是启发式估计;在该模型下这是代数恒等式。一跳不会放大发现;在这条保留率下,它把期望条数压成一,与你怎么摆智能体无关。

若 r(b) = C b^{-delta},深度为 k、覆盖 N 个发现的树产出 C^k N^{1-delta}。 两个因子干净分离:

  • 任务规模贡献 N^{1-delta}。
  • 架构只贡献 C^k,且每层 C <= 1。

于是扁平对产出最优没有任何智能体排布能逃出指数 delta。你可以重排树;你买不出保留率指数。

   保留率模型

   智能体看到 b 个条目
   以概率 r(b) 保留其中「任意一条」

   情形 r(b) = 1/b
     「任何」树都「恰好交付一个」发现
     对任何任务规模、任何形状
     在 20,000 棵随机不规则树上验证到 2.4e-15
     一跳不放大;它把期望条数压成 1

   情形 r(b) = C * b^(-delta)
     深度 k、覆盖 N 个发现的树
     产出  C^k * N^(1-delta)
         |
         +-- 任务规模:  N^(1-delta)
         +-- 架构:      C^k,每层 C <= 1
         |
         v
     「扁平对产出最优」
     没有任何智能体排布能逃出指数 delta

生产数字让模型可证伪,而不是装饰。

在 600 条生产深研究轨迹上,delta = 0.34,区间 [0.30, 0.38],由三种不共享失效模式的辨识得到。最后这句在做科学工作:三条独立路径恢复同一个指数。

在「条目边界来自工具、而非文本启发式」的那一跳上,且 b = 1 出现 550 次时,C = 0.571 [0.527, 0.615]观测到的、而非外推的,覆盖 16,082 跳。在 b = 1 处测 C,避开了最难的辨识问题。

纵深还要付对齐税。 在 1,012 条标注的多智能体轨迹上,十六分之一的任务书会跑偏,得到 mu = 0.939,以及每层惩罚 C mu = 0.536。于是每一层被征两次税:保留率与错位。

纵深买的是另外两条轴——这是论文的建设性主张。

  1. 上下文完整性。 根上下文是唯一持续存在的状态,也是唯一无法廉价遗忘的状态。纵深把它的暴露从 N 个条目降到 N^{1/k}。
  2. 成本。 生产扁平智能体的计费是 N^{1.39},而不是只增上下文所预测的 N^2。在同等花费下,两层在 403 个发现处超过扁平。

而给实践者的一击:在所测的每一个参数下,模型说只有 0.7% 到 11.3% 的生产会话值得委派,而实际有 7.8% 在委派。对 743,819 次生产工具调用的危险率模型发现:委派并不响应「上下文变满」,而是一开局就发生的动作。 系统不是在上下文变重时委派;它们是开局习惯性委派。

   生产标定

   delta = 0.34  [0.30, 0.38]
     来自 600 条深研究轨迹
     三种辨识,无共享失效模式

   C = 0.571  [0.527, 0.615]
     在 b=1 处观测(出现 550 次),16,082 跳
     条目边界由工具给出

   对齐税
     1,012 条标注多智能体轨迹
     十六分之一任务书跑偏
     mu = 0.939
     每层惩罚 C*mu = 0.536

   纵深实际买到了什么
     [1] 根上下文完整性:暴露 N -> N^(1/k)
     [2] 成本:扁平按 N^1.39 计费(不是 N^2)
         两层在 403 个发现处超过扁平

   给实践者的一击
     值得委派:0.7% .. 11.3% 的会话
     实际在委派:7.8%
     危险率模型,743,819 次工具调用:
       委派是「开局动作」
       不是对上下文变满的反应

可以理解为:一家把工作拆给多级工头的工厂。 若每个工头只把自己处理的每 b 件里转发一件,那么加层并不会增加产出——只是决定哪一件活下来。当发货台(根上下文)装不下全部库存时,或者当一个工头比一张巨大工作台更便宜时,加层仍然有用。那是完整性与成本,不是产出。

关键概念

  • 保留率是承重定律: 没有 r(b),架构之争只是审美。
  • 产出 / 架构分离: N^{1-delta} 对 C^k 意味着你不能靠重排逃出指数。
  • 扁平对发现最优: 若目标是让发现到达根,纵深是税。
  • 纵深买完整性与成本: 根上下文暴露缩小;在高 N 时花费可胜过只增式扁平。
  • 对齐是真实的层级惩罚: 跑偏的任务书与保留损失相乘。
  • 委派是开局动作: 生产系统按习惯早委派,而不是按上下文压力晚委派——这是系统缺陷,不是策略。

框架转变

之前(民俗):
  因为上下文更小所以拆任务
  -> 更多智能体应找到更多东西
  -> 架构靠品味和演示选
  -> 无产出定律,无测得的指数

之后(保留率模型):
  r(b) 决定有多少能活到根
  -> r=1/b:任何树都恰好产出一个发现
  -> r=Cb^\{-delta\}:产出 = C^k N^\{1-delta\}
  -> 扁平赢产出;纵深买完整性 + 成本
  -> delta=0.34 与 C=0.571 在生产中被测到
  -> 多数会话根本不该委派

从「因为感觉可并行所以分解」,到「只在完整性或成本——而不是产出——成为硬约束时才分解」,核心转变是:多智能体架构获得了产出定律,因而获得了纪律。

专家评审

选题眼光: 卓越。这是少数把多智能体编排当作测量对象、而不是辩护对象的论文。它瞄准的民俗——上下文更小、职责更干净、可并行——正是产品宣讲和博文里反复出现的说法;而它的替代问题(有多少活到根?)决定了花在智能体上的钱是否花得值。

方法成熟度: 模型刻意简单,这对第一版产出定律是优点。r = 1/b 时任何树恰好一个发现的特例,是那种让理论可记忆、可验算的干净恒等式。一般形式 C^k N^{1-delta} 是正确的分解:任务规模与架构不应混淆。局限:r 被假设在树上平稳;对齐被压成单一 mu;两条「纵深买什么」的轴(完整性、成本)用生产计费论证,而不是一个统一优化。对测量论文这没问题;它还不是设计手册。

实验诚意: 这是五篇里最强的。delta 用三种不共享失效模式;C 在 b = 1 处观测而非外推,跳数很大;mu 来自标注轨迹;危险率模型用了近 75 万次工具调用。与实践最相关的发现——委派是开局动作,而不是上下文压力反应——是那种容易被忽略、又贵得惊人的负面系统结果。残留风险:单一生产栈的轨迹;其他缰绳的保留率可能不同。

写作功力: 摘要数字与区间密集,对这类贡献是正确的。民俗 / 问题 / 模型 / 标定 / 含义这条弧线,即使略读代数也能跟上。

判决: 强接收(Strong Accept) — 一条可证伪的多智能体树产出定律,经生产标定,且建设性一侧(纵深实际买到什么)与消极一侧(纵深不会倍增产出)说得一样清楚。

要点总结

  • 在加层之前,先给你的跳数装上保留率定律。若估不出 r(b),你是在装饰,不是在设计。
  • 把产出与架构分开。若每层 C <= 1,扁平找得更多;选纵深是为了上下文或成本,不是为了发现。
  • 度量对齐税。跑偏的任务书与保留损失相乘。
  • 检查你的系统是因为上下文满才委派,还是因为会话刚开始就委派。习惯性早委派是一个缺陷。