평균 합의 최적 통신 토폴로지 de Bruijn 그래프와 블록 크로네커 전략

본 논문은 다수의 자율 에이전트가 초기 위치의 평균값에 수렴하도록 설계된 평균 합의 문제를 다룬다. 기존 연구에서는 완전 그래프나 인접 이웃만을 이용한 근사적 방법이 주로 다루어졌지만, 통신 비용을 제한하는 현실적 제약을 고려하면 각 에이전트가 ν개의 이웃(자기 자신 포함)과만 정보를 교환하도록 해야 한다. 이러한 제약 하에서 평균 합의를 달성하기 위한 최적의 토폴로지를 찾는 것이 논문의 핵심 목표이다. 먼저 저자들은 평균 합의를 선형 피드백 형태 u=Kx 로 모델링하고, 폐루프 시스템을 x⁺=(I+K)x 로 표현한다. 목표는 모든 초기 상태 x(0) 에 대해 limₜ→∞ x(t)=α·1 (α는 초기 평균) 가 되도록 K 를 설계하는 것이다. 이를 위해 행렬 I+K 가 만족해야 할 세 가지 수학적 조건을 제시한다. (A) 각 행·열의 합이 1인 이중 확률 행렬, (B) 고유값 1의 대수적 다중도가 1, (C) 나머지 고유값들의 절대값이 1보다 작다. 추가로 통신 제약을 반영해 (D) 각 행에 비제로 원소가 최대 ν개라는 제한을 둔다. 이러한 조건을 모두 만족하면서 수렴 속도를 나타내는 지표인 본질 스펙트럼 반경 ρ(I+K)를 최소화하는 것이 최적 설계 문제이다. 저자들은 ρ를 최소화하는 토폴로지가 바로 de Bruijn 그래프임을 증명한다. de Bruijn 그래프는 정점 수 N이 ν의 k제곱(N=νᵏ)일 때, 각 정점이 ν개의 전임자를 가지며 그래프 직경이 k=log_ν N에 비례한다. 따라서 정보가 로그 단계 안에 전파되어 평균 합의가 매우 빠르게 이루어진다. 이를 구체화하기 위해 블록 크로네커 전략을 도입한다. 기본 행렬 A∈ℝⁿˣⁿ이 (A)–(D)를 만족하면, A를 k번 블록 크로네커 곱(⊙)으로 확장해 M∈ℝⁿᵏˣⁿᵏ을 만든다. M은 구조적으로 de Bruijn 그래프의 인접 행렬과 동일하며, M의 고유값은 A의 고유값들의 곱으로 표현된다. 따라서 A가 빠른 수렴을 보이면 M도 k배 빠른 수렴을 보이며, 실제로 Mᵏ은 정확히 평균값을 산출하는 dead‑beat 특성을 가진다. 이는 “k 단계 안에 정확히 평균에 도달한다”는 강력한 결과를 제공한다. 다음으로 저자들은 성능 평가 지표로 LQR 비용 J=E