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

Technische Samenvatting: Wanneer verificatie te laat is: Vertragingsvloeren en plaatsingsommekeerpunten in gecorrigeerde multi-agent-systemen

Probleemstelling
Het artikel behandelt het ontwerp van multi-agent-systemen (specifiek gebouwd op Large Language Models) waarbij een zwerm onbetrouwbare agenten naar feitelijke nauwkeurigheid wordt geleid door een subset van "correctoren" of verifieerders. Terwijl eerdere literatuur heeft vastgesteld dat het toevoegen van verificatie de nauwkeurigheid verbetert in vertragingsvrije settings, en ander werk heeft aangetoond dat verificatievertragingen consensus kunnen destabiliseren, heeft geen enkel voorgaand raamwerk deze factoren geïntegreerd om een cruciale ontwerpvraag te beantwoorden: Gegeven een vast budget voor verificatie, hoeveel correctie moet er worden ingekocht, en waar moet deze worden geplaatst, wanneer verificatie inherent tijd kost?

De auteurs modelleren dit als een gepinde, vertraagde grounded-Laplacian consensus system. In dit model wisselen agenten overtuigingen uit, en trekken correctoren het systeem naar bewijslast, maar pas na een verificatievertraging $\tau$. De kernuitdaging is dat een sterkere aantrekkingskracht (hogere correctorsterkte $w$) de nauwkeurigheid verbetert, maar ook het risico op instabiliteit onder vertraging vergroot, wat een afruil creëert die traditionele vertragingsvrije plaatsingstheorieën niet kunnen vatten.

Methodologie
De auteurs formuleren de systeemdynamica als een lineaire stochastische vertragingsdifferentiaalvergelijking (SDDE):
$$\dot{x}(t) = -L_g x(t) - W x(t-\tau) + \xi(t)$$
waarbij $L_g$ de grounded Laplacian is (die de koppeling tussen agenten en de verankering aan bewijslast vertegenwoordigt), $W$ de diagonale matrix van correctorsterktes is, $\tau$ de gemeenschappelijke verificatievertraging is, en $\xi(t)$ witte ruis is.

De primaire metriek voor systeemprestaties is coherentie ($H$), gedefinieerd als de trace van de stationaire covariantie-matrix van de overtuigingen (equivalent aan de gekwadrateerde $H_2$-norm van ruis naar overtuiging). Het ontwerpprobleem behelst het minimaliseren van $H$ onder een budgetrestrictie op de correctorsterktes.

Belangrijke analytische stappen zijn:

1. Modale Reductie: Door gebruik te maken van de eigenbasis van $L_g$, wordt het systeem ontkoppeld in $N$ onafhankelijke scalaire modi. De totale coherentie is de som van de stationaire varianties van deze modi.
2. Gesloten Vorm Variantie: De auteurs leiden een exacte uitdrukking in gesloten vorm af voor de stationaire variantie $V(a, w, \tau)$ van een enkele scalaire modus met vervalrate $a$, sterkte $w$ en vertraging $\tau$. Deze uitdrukking verenigt de vertragingsvrije straf en de door vertraging geïnduceerde instabiliteit.
3. Stabiliteitsanalyse: Zij identificeren een harde stabiliteitscap $w_{max}(\tau)$ waarboven het systeem gaat oscilleren en een stationaire distributie verliest.
4. Optimalisatie: Het artikel analyseert de budget-nauwkeurigheidsfrontier, waarbij wordt bepaald wat de optimale distributie van een vast budget is onder correctoren (concentreren op enkele sterke agenten versus verspreiden over vele) onder de restrictie van vertraging.

Belangrijkste Bijdragen en Resultaten

1. De Vertragingsvloer (Nauwkeurigheidscap):
   Het artikel bewijst dat voor elke niet-nul vertraging $\tau > 0$, er een strikt positieve ondergrens bestaat op de haalbare fout (de "vertragingsvloer"), ongeacht hoe groot het verificatiebudget is.

   • Exacte Constante: In de limiet van kleine vertraging convergeert het optimale sterkte-vertraging-product $w^* \tau$ naar het Dottie-getal $\xi^* \approx 0,739085$ (de unieke wortel van $\cos \xi = \xi$).
   • Implicatie: Geen enkele hoeveelheid extra budget kan de fout onder deze vloer brengen. Zodra het budget een specifieke drempel bereikt ($B_{floor}$), levert verdere besteding geen winst in nauwkeurigheid meer op; als het budget mechanisch wordt omgezet in pure sterkte zonder afkapping, kan het de prestaties zelfs verslechteren door het systeem richting instabiliteit te duwen.

2. De Plaatsingsomkeer (Placement Flip):
   In vertragingsvrije systemen concentreert de optimale plaatsing vaak het budget op een paar sterke correctoren (afhankelijk van de kromming van de kostenwet). De auteurs tonen aan dat vertraging deze regel fundamenteel verandert.

   • Mechanisme: Vertraging legt een "knie" op in de kostenwet bij een specifieke sterkte $w^*(\tau)$. Voorbij deze sterkte is extra kracht nutteloos of schadelijk.
   • Resultaat: Voorbij een gesloten vorm budgetdrempel keert de optimale strategie om van concentreren naar verspreiden. Het is strikt beter om veel matige correctoren in te zetten (elk begrensd door $w^*(\tau)$) dan een paar extreem sterke.

3. Eindig Budgetplafond:
   In tegen tegenstelling tot vertragingsvrije theorieën waar coherentie monotoon verbetert met het budget, heeft het door vertraging beperkte systeem een eindig budgetplafond ($B_{floor}$). Doelen die een nauwkeurigheid vereisen onder de vertragingsvloer zijn wiskundig onhaalbaar.

4. Commutatorconditie voor Exactheid:
   Het artikel stelt vast dat de modale reductie (het sommeren van onafhankelijke varianties) exact is indien en slechts indien de corrector-matrix $W$ commuteert met de grounded Laplacian $L_g$ ($[L_g, W] = 0$). Voor niet-commuterende plaatsingen biedt de modale reductie een eerste-orde benadering met een bekende foutmarge, hoewel de schattingen van de stabiliteitsgrens optimistisch kunnen zijn voor niet-uniforme plaatsingen.

5. Empirische Kalibratie:
   Het model is gekalibreerd tegen data van een gecorrigeerde Qwen3.6-35B-A3B zwerm. De resultaten laten zien:

   • Het vertraagde relaxatiemodel past goed bij de geobserveerde overtuingstrajecten ($R^2 = 0,94–0,99$).
   • Langere verificatievertragingen correleren met een langzamere terugkeer naar de waarheid.
   • Identificeerbaarheidslimiet: De data bevestigt dat vertraging ($\tau$) en correctiekracht ($w$) niet afzonderlijk identificeerbaar zijn uit gemiddelde trajecten; ze klonteren samen tot één effectieve snelheid. Dit komt overeen met de theoretische voorspellingen voor dit modeltype.

Betekenis en Claims
Het artikel claimt het gat te hebben gedicht tussen twee bestaande literaturen: de vertragingsvrije plaatsingstheorie (die vertraging negeert) en de vertragingsstabiliteitstheorie (die budgetrestricties negeert).

• Praktische Boodschap: In gecorrigeerde multi-agent LLM-systemen bepaalt de verificatielatentie, en niet de verificatiekracht, de ultieme grens van de haalbare nauwkeurigheid.
• Ontwerprichtlijn: Ontwerpers moeten de drang vermijden om oneindig veel verificatiekracht te "stapelen". Zodra het budget de vertragingsafhankelijke drempel overschrijdt, moet de strategie verschuiven van het versterken van individuele agenten naar het verdelen van het budget over meer agenten, terwijl de individuele sterkte strikt wordt begrensd om destabilisatie te voorkomen.
• Theoretische Bijdrage: Het werk biedt de eerste karakterisering in gesloten vorm van de "vertragingsvloer" in grounded netwerken, waarbij het Dottie-getal wordt geïdentificeerd als de fundamentele constante die de afruil tussen correctiekracht en verificatievertraging beheerst.

De auteurs blijven bescheiden over de beperkingen en merken op dat het lineaire model de relaxatie rond een plateau beschrijft in plaats van volledige nietlineaire dynamica, en dat de gebruikte kostenwetten en graaftopologieën gestileerd zijn. Ze erkennen ook dat, hoewel het model aan specifieke condities voldoet, het vertraging en sterkte niet uit gemiddelde data kan onderscheiden zonder per vraag te fitten.