양자 최적화 기반 동적 통신 토폴로지 설계와 합의 제어

초록

본 논문은 다중 에이전트 시스템의 합의 제어를 위해, 통신 그래프를 온라인으로 선택하는 양자 최적화 프레임워크를 제안한다. 혼합정수 2차계획(MIQP)을 흐름 기반 연결 제약과 비용·거리·정도 규제 항을 포함하도록 설계하고, 3‑블록 ADMM으로 문제를 완화·분할한다. 이 중 순수 이진 서브문제를 QUBO 해밀토니안으로 변환하고, 양자 허구시간 진화(QITE) 알고리즘으로 근사 해를 얻는다. 얻어진 시변 라플라시안은 1차·2차 선형 합의 동역학에 적용되어 연결성, 차수 제한, 비용 효율성을 동시에 만족함을 시뮬레이션으로 검증한다.

상세 분석

본 연구는 다중 에이전트 시스템(MAS)에서 통신 토폴로지를 동적으로 최적화하는 문제를 양자 컴퓨팅과 결합한 새로운 접근법으로 풀었다. 먼저, 기존 문헌에서 주로 사용되던 알제브라적 연결성(라플라시안의 두 번째 고유값) 최적화 대신, 실제 통신 비용, 링크 거리, 에이전트별 차수 균형을 직접 비용 함수에 포함한 혼합정수 2차계획(MIQP)을 정의한다. 연결성을 보장하기 위해 흐름 기반 제약을 도입했으며, 이는 그래프가 스패닝 트리 형태를 유지하도록 하는 전통적인 흐름 변수 모델링과 동일하다.

MIQP는 NP‑hard 특성 때문에 직접 해결이 어려우므로, 저자는 3‑블록 교대 방향 승수법(ADMM)으로 문제를 분해한다. 첫 번째 블록은 완화된 연속 변수(에지 가중치와 흐름)만을 포함하는 볼록 2차 프로그램으로, 라그랑지 승수와 페널티 항을 통해 원래 이진 제약을 약화한다. 두 번째 블록은 순수 이진 변수만을 다루는 무제한 서브문제로, 목적 함수가 단순히 이진 변수들의 2차 형태가 되므로 QUBO 형태로 바로 매핑할 수 있다. 세 번째 블록은 보조 연속 변수에 대한 닫힌 형태 업데이트이며, 이는 ADMM의 수렴성을 유지하면서 연산량을 최소화한다.

이진 서브문제를 양자 최적화에 활용하기 위해, 저자는 QUBO 해밀토니안을 양자 허구시간 진화(QITE) 알고리즘에 입력한다. QITE는 파라미터화된 양자 회로를 사용해 허구시간 흐름을 근사하고, 외부 클래식 최적화 루프 없이 직접 양자 상태를 에너지 최소화 방향으로 진화시킨다. 따라서 하이퍼파라미터 튜닝 부담이 크게 감소하고, 반복적인 토폴로지 재계산이 필요한 제어 루프에 적합한 구조가 된다.

양자 솔버가 제공하는 근사 해는 완전 최적이 아니지만, 시뮬레이션 결과는 전통적인 MIQP 상용 솔버(CPLEX, Gurobi)와 비교했을 때 비용 차이가 미미하고, 연결성 및 차수 제약을 확실히 만족한다는 점을 보여준다. 또한, 얻어진 라플라시안을 선형 1차 및 2차 합의 동역학에 적용했을 때, 알제브라적 연결성 λ₂>0 조건이 유지되므로 이론적 합의 보장이 그대로 적용된다.

핵심 기여는 (1) 실용적인 비용·거리·정도 제약을 포함한 MIQP 모델링, (2) 3‑블록 ADMM을 통한 문제 구조화 및 연속·이진 변수의 효율적 분리, (3) QITE 기반 양자 서브솔버의 도입으로 NISQ 환경에서도 실시간 토폴로지 최적화 가능성을 입증한 점이다. 한계로는 현재 양자 하드웨어의 큐비트 수와 게이트 오류가 제한적이므로, 대규모 네트워크(수백 노드)에서는 시뮬레이터 기반 검증에 머무른다. 향후 연구에서는 오류 보정 기법과 하이브리드 양자‑클래식 루프를 결합해 확장성을 높이는 방안을 모색할 수 있다.