지연된 검증이 다중 에이전트 LLM 신념을 불안정하게 함: 불안정 임계치와 최적 교정자 배치

검증(verifier) 에이전트가 지연되면 그 자체가 시스템의 안정성을 해칠 수 있다는 점을 수식적으로 규명했다. 이 연구는 검증 강도와 지연이라는 두 축에서 안정 경계를 닫힌 형태로 도출함으로써 검증 정책이 무조건적으로 강화되어서는 안 된다는 설계 원칙을 제공한다. 또한 제한된 교정자 예산이 있을 때 네트워크상의 어디에 배치해야 잔류 오류를 가장 효과적으로 줄일지에 관한 실용적 근거를 보였다.

출발점은 다중 에이전트 토론에서 각 에이전트가 이웃 평균 쪽으로 이동하는 평균 합의(consensus) 단계와 일부 노드가 검증된 정보를 고정적으로 제공하는 정정자(pinning)가 병렬로 작동하는 점이다. 이 합의 항은 그래프 라플라시안 L_g와 스텝 크기 η로 표현되며 검증은 지연 δ와 강도 κ로 모델링되어 시간이 지난 오류를 늦게 보정하는 피드백으로 작동한다. 지연된 음성 피드백은 제어 이론에서 진동을 유발하는 전형적 인자이므로 검증이 과도하거나 늦으면 수렴 대신 진동이 발생할 가능성이 존재한다.

모델링은 자유 노드 벡터 e_t와 그라운디드 라플라시안 L_g를 사용하여 이산시간 재귀식 e_{t+1}=(I−ηL_g)e_t−ηκ e_{t−δ}+η g 형태로 정식화되었다. L_g는 고유분해 Q diag(μ_i) Q^T로 분해되어 Q^T e_t = x_t 좌표계로 변환하면 시스템이 모드별 스칼라 지연 재귀 x_{i,t+1}=a_i x_{i,t}−ηκ x_{i,t−δ}+η g_i로 완전히 분리되었다. 스칼라 모드 분석을 통해 복소수 단위원 진입 시의 위상 조건을 풀어 β_c( a , δ ) 형태의 임계치를 유도했고, Chebyshev 다항식으로 재표현하여 단조성 및 특수 케이스(δ=2의 역 황금비 등)를 확보했다.

이론적으로 도출된 임계선 β_c(a,δ) 때문에 안전한 검증 강도는 지연 δ가 증가할수록 감소한다는 결론이 도출되었다. 합성 포화 비선형 실험에서는 이론 κ_max를 기준으로 진동 발현 임계값이 약 2% 오차 범위 내에서 일치했고 δ=2에서의 진동 주기는 이론적 주기와 근접했다. 실제 LLM 수치 추정 실험에서는 α=0.5, δ=6 조건에서 8문제 모두 진동이 발생(overshoot 96–100%)했으나 δ=1에서는 0–4%만 진동하여 예측이 반복적으로 재현되었고, 그라운디드 사실판단 과제에서는 진동이 실질적으로 관찰되지 않았다.

전체 시스템은 이산시간 라플라시안 평균합의에 지연된 검증 항을 더한 선형 재귀식으로 시작한다. 구체적으로 자유 노드에 대한 그라운디드 라플라시안 L_g의 고유분해 Q diag(μ_i) Q^T를 취하면 좌표 변환 x_t=Q^T e_t 하에서 각 고유모드가 스칼라 지연 재귀로 분리된다. 이 분리는 κI가 스펙트럼 분해와 가환하므로 가능했으며, 결과적으로 n_f차원 시스템의 안정성 검정이 모드별 단일 스칼라 특성방정식으로 환원되었다.

분석은 주로 평형 근처의 선형화에 근거하며 전역적 비선형 거동에 대한 완전한 수렴 분석은 이루어지지 않았다. 그라운디드 라플라시안의 정직한 분해는 상호 영향이 대칭적(무향 그래프)이라는 가정에 의존하므로, 방향성(non-normal)을 가진 토폴로지에서는 전이적 성장과 다른 거동이 나타날 수 있다. 교정자 배치의 수치적 검증은 선형 대리모델에서 광범위하게 수행되었으나 실제 LLM 상에서의 배치 유효성은 향후 추가 검증이 필요하다고 논문에 명시되었다.