체비쉐프 다항식을 활용한 고속 분산 합의 알고리즘

초록

본 논문은 체비쉐프 1종 다항식의 최소극대 특성을 이용해, 가중 인접 행렬에 대한 다항식 평가 형태의 분산 합의 프로토콜을 설계한다. 두 차수 차분 방정식 기반의 재귀식으로 각 에이전트는 이웃에게 현재 상태만 전송하면 되며, 고정 및 변동 네트워크 토폴로지 모두에서 기존 선형 반복 방식보다 현저히 적은 반복 횟수로 수렴한다. 수렴 조건, 최적 파라미터 선택 및 수렴 속도에 대한 이론적 분석과 합성 데이터 실험을 통해 제안 알고리즘의 우수성을 입증한다.

상세 분석

논문은 먼저 체비쉐프 1종 다항식 (T_n(x)) 의 정의와 재귀식 (T_n(x)=2xT_{n-1}(x)-T_{n-2}(x)) 를 소개한다. 이 재귀식은 차수 (n) 에 따라 다항식 값을 순차적으로 계산할 수 있게 해 주며, 특히 (|x|\le 1) 구간에서는 (|T_n(x)|\le 1) 로 제한된다. 이러한 특성은 합의 문제에서 스펙트럼이 (|\lambda_i|<1) 인 가중 인접 행렬 (A) 의 고유값에 직접 적용될 수 있다.

전통적인 합의 알고리즘은 (x(n)=A x(n-1)) 형태로, 수렴 속도는 (\rho = \max_{i\neq1}|\lambda_i|) 에 의해 결정된다. (\rho) 가 1에 가까울수록 수천 번의 반복이 필요하므로, 저자들은 (P_n(A)=T_n(cA-dI)/T_n(c-d)) 라는 정규화된 체비쉐프 다항식으로 변환한다. 여기서 (c=\frac{2}{\lambda_M-\lambda_m}), (d=\frac{\lambda_M+\lambda_m}{\lambda_M-\lambda_m}) 로 정의된 두 파라미터 (\lambda_m,\lambda_M) 은 행렬 스펙트럼을 (