When Verification Is Late: Delay Floors and Placement Flips in Corrected Multi-Agent Systems

技術要約：検証が遅延する場合：修正済みマルチエージェント・システムにおける遅延フロアと配置の反転

問題提起
本論文は、信頼性の低いエージェントの群れ（スウォーム）が、一部の「修正者（correctors）」または「検証者（verifiers）」によって事実に基づいた正確性へと導かれるマルチエージェント・システム（具体的には大規模言語モデル（LLM）上に構築されたもの）の設計について扱っている。先行研究では、遅延のない設定において検証の追加が精度を向上させることが確立されており、また、検証の遅延がコンセンサスを不安定化させることを示す研究も存在するが、これらの要因を統合して以下の重要な設計上の問いに答えた枠組みはこれまで存在しなかった：検証に固有の時間がかかる場合、固定された予算に対して、どの程度の修正量を購入すべきであり、それをどこに配置すべきか？

著者らはこれを、**拘束付き遅延グラウンデッド・ラプラシアン・コンセンサス（pinned, delayed grounded-Laplacian consensus）**システムとしてモデル化している。このモデルでは、エージェントは信念を交換し、修正者は検証遅延 $\tau$ を経た後に、証拠へとシステムを引き寄せる。核心となる課題は、修正強度 $w$ が高いほど精度は向上するものの、遅延下での不安定性のリスクも増大するということであり、これは従来の遅延のない配置理論では捉えきれないトレードオフを生じさせる。

手法
著者らは、システム力学を以下の線形確率遅延微分方程式（SDDE）として定式化している：
$$\dot{x}(t) = -L_g x(t) - W x(t-\tau) + \xi(t)$$
ここで、$L_g$ はグラウンデッド・ラプラシアン（エージェント間の結合および証拠への固着を表す）、$W$ は修正強度の対角行列、$\tau$ は共通の検証遅延、$\xi(t)$ はホワイトノイズである。

システムの性能を示す主要な指標は、信念の定常共分散行列のトレースとして定義されるコヒーレンス（Coherence, $H$）（ノイズから信念への $H_2$ ノルムの二乗に相当）である。設計問題は、修正強度の予算制約の下で $H$ を最小化することである。

主な解析ステップは以下の通りである：

1. モード削減（Modal Reduction）: $L_g$ の固有基底を利用することで、システムを $N$ 個の独立したスカラーモードにデカップリングする。全コヒーレンスは、これらのモードの定常分散の総和である。
2. 閉形式の分散: 著者らは、減衰率 $a$、強度 $w$、遅延 $\tau$ を持つ単一のスカラーモードの定常分散 $V(a, w, \tau)$ の厳密な閉形式の式を導出した。この式は、遅延のない場合のペナルティと、遅延に起因する不安定性を統一的に記述している。
3. 安定性解析: システムが振動して定常分布を失う限界点であるハードな安定性上限 $w_{max}(\tau)$ を特定した。
4. 最適化: 予算と精度の境界（budget-accuracy frontier）を分析し、遅延の制約下で、固定された予算を修正者にどのように分配すべきか（少数の強力なエージェントに集中させるか、多数に分散させるか）を決定した。

主な貢献と結果

1. 遅延フロア（精度の天井）:
   本論文は、$\tau > 0$ の非ゼロの遅延が存在する場合、検証予算をどれほど大きくしても、達成可能な誤差には厳密に正の最小値（「遅延フロア」）が存在することを証明している。

   • 正確な定数: 小さな遅延の極限において、最適な強度と遅延の積 $w^* \tau$ は、ドッティ数（Dottie number） $\xi^* \approx 0.739085$（$\cos \xi = \xi$ の唯一の根）に収束する。
   • 示唆: いかなる追加予算も、このフロアを下回る精度を実現することはできない。予算が特定の閾値（$B_{floor}$）に達すると、さらなる支出は精度の向上をもたらさない。もし予算がクリッピング（制限）されずに生の強度へと機械的に変換された場合、システムを不安定化へと押し上げることで、逆に性能を悪化させる可能性がある。

2. 配置の反転（The Placement Flip）:
   遅延のないシステムでは、最適な配置はコスト法の曲率に応じて、少数の強力な修正者に予算を集中させることが多い。著者らは、遅延がこのルールを根本的に変えることを示している。

   • メカニズム: 遅延は、特定の強度 $w^*(\tau)$ においてコスト法に「ニー（膝）」を課す。この強度を超えると、追加のパワーは無益、あるいは有害となる。
   • 結果: 閉形式の予算閾値を超えると、最適な戦略は「集中」から**「分散」へと反転**する。個々のエージェントを極めて強力にするよりも、中程度の強さ（各々が $w^*(\tau)$ に制限されたもの）を持つ多数のエージェントを配備する方が厳密に優れた戦略となる。

3. 有限の予算天井:
   遅延のない理論ではコヒーレンスは予算とともに単調に改善するが、遅延制約のあるシステムには有限の予算天井（$B_{floor}$）が存在する。遅延フロアを下回る精度を要求するターゲットは、数学的に実現不可能である。

4. 厳密性のための交換子条件:
   モーダル削減（独立した分散の総和）が厳密であるための必要十分条件は、修正行列 $W$ がグラウンデッド・ラプラシアン $L_g$ と可換であること（$[L_g, W] = 0$）であることを本論文は確立している。非可換な配置の場合、モーダル削減は既知の誤差範囲を持つ一次近似となるが、非一様な配置における安定性境界の推定は楽観的になる可能性がある。

5. 経験的較正:
   モデルは、修正された Qwen3.6-35B-A3B スウォームのデータに対して較正されている。結果は以下の通りである：

   • 遅延緩和モデルは、観測された信念の軌跡によく適合している（$R^2 = 0.94–0.99$）。
   • 検証の遅延が長いほど、真実への復帰が遅くなる。
   • 識別限界: データは、平均化された軌跡からは遅延（$\tau$）と修正強度（$w$）を個別に識別できないことを確認している。これらは単一の有効なレートへと崩壊する。これは、本モデルファミリーの理論的予測と一致している。

意義と主張
本論文は、遅延を無視する「遅延なしの配置理論」と、予算制約を無視する「遅延安定性理論」の間のギャップを埋めるものである。

• 実践的なメッセージ: 修正されたマルチエージェント LLM システムにおいては、検証のパワーではなく、**検証のレイテンシ（遅延）**が達成可能な精度の究極的な限界を決定する。
• 設計指針: 設計者は、検証パワーを無制限に「積み上げる」という直感を避けるべきである。予算が遅延依存の閾値を超えた場合、戦略を「個々のエージェントを強化すること」から「より多くのエージェントに予算を分配すること」へと切り替え、かつ不安定化を避けるために個々の強度を厳格に制限しなければならない。
• 理論的貢献: 本研究は、グラウンデッド・ネットワークにおける「遅延フロア」の最初の閉形式の特性化を提供し、修正強度と検証レイテンシの間のトレードオフを支配する基本定数としてドッティ数を特定した。

著者らは、リニアモデルは非線形ダイナミクスの全容ではなくプラトー付近の緩和を記述していること、および使用されたコスト法やグラフトポロジーが様式化されたものであることを認め、限界に対して謙虚な姿勢を保っている。また、モデルは特定の条件下では適合するものの、個別質問ごとのフィッティングなしには、平均化されたデータから遅延と強度を分離できないことも認めている。