경로완전 그래프와 연합 스펙트럼 반경을 이용한 새로운 Lyapunov 방법

초록

본 논문은 스위칭 선형 시스템의 안정성을 판단하기 위해 ‘경로완전 그래프’라는 개념을 도입하고, 다중 Lyapunov 함수 사이의 부등식으로 구성된 그래프 기반 프레임워크를 제시한다. 이 프레임워크는 기존의 공통 2차형, SOS, 최대·최소-2차형 Lyapunov 함수 등을 하나의 계층 구조로 통합하며, 특히 De Bruijn 그래프와 두 노드·두 매트릭스 그래프 등에 대해 근사 정확도와 성능 보장을 제공한다. 또한 최대·최소-2차형 Lyapunov 함수에 대한 구성적 역정리를 증명한다.

상세 분석

이 논문은 스위칭 시스템 x_{k+1}=A_{\sigma(k)}x_k 의 절대 비대칭 안정성(absolute asymptotic stability, AAS)과 연합 스펙트럼 반경(Joint Spectral Radius, JSR) 사이의 깊은 연관성을 활용한다. 기존 방법은 하나의 공통 Lyapunov 함수 V(x) 를 찾아 모든 매트릭스 A_i 에 대해 V(A_i x) ≤ γ V(x) 를 만족시키는 것이었으나, 이는 실제 시스템에서 과도하게 보수적인 결과를 낳는다. 저자들은 이 한계를 극복하기 위해 ‘경로완전 그래프(Path‑Complete Graph)’라는 새로운 구조를 정의한다. 그래프의 각 정점은 개별 Lyapunov 함수 V_i(x)를, 각 간선은 라벨(매트릭스 곱) A_{σ} 로 표시된다. 간선 (i→j, A_{σ})에 대응하는 부등식 V_j(A_{σ}x) ≤ V_i(x) 가 모든 x에 대해 성립하면, 그래프가 ‘경로완전’일 경우 시스템이 AAS임을 보인다(정리 2.4). 여기서 ‘경로완전’이란, 알파벳 {A_1,…,A_m} 로 구성된 모든 가능한 무한 단어가 그래프 상의 어떤 경로에 매핑될 수 있음을 의미한다.

이 프레임워크는 기존 기법을 특수한 그래프 형태로 재해석한다. 예를 들어, 공통 2차형 Lyapunov 함수는 단일 정점 그래프, 최대‑2차형 Lyapunov 함수는 ‘max‑graph’(정점마다 하나의 2차형, 간선 라벨은 단일 매트릭스) 로, SOS 기반 고차 다항식 Lyapunov 함수는 정점당 고차 다항식 형태의 그래프 등으로 나타난다. 저자들은 이러한 그래프들을 계층적으로 정렬하여, 그래프가 복잡해질수록 JSR에 대한 상한 근사가 점점 더 정확해짐을 증명한다(정리 3.4, 3.5).

특히 두 매트릭스 알파벳에 대해 두 정점 그래프의 전체 경우를 완전 분류하고, 각 그래프의 ‘부분 순서(partial order)’에 따라 근사 정확도가 어떻게 달라지는지를 제시한다(명제 4.2). 이와 더불어 De Bruijn 그래프와 그 듀얼 그래프를 분석하여, 이들 그래프가 제공하는 근사 상한이 기존 방법보다 최소 1/√n 배 정도 더 타이트함을 보인다(정리 5.4).

또한, 최대‑2차형 Lyapunov 함수에 대한 구성적 역정리(정리 6.1)를 제시한다. 이는 주어진 정확도 ε에 대해, 최악의 경우에도 O(1/ε^n) 개의 2차형 함수만 있으면 ε‑근사 JSR를 얻을 수 있음을 의미한다. 이와 동시에, 매트릭스 곱의 길이가 다른 경우를 포함하는 새로운 LMI 계층을 도입해, 길이‑가중치된 제품을 이용한 상한을 제공한다(정리 6.2).

실험 부분에서는 겹치지 않는 단어의 성장률, Euler 삼진 분할 함수, 웨이브렛 연속성 등 세 가지 실제 응용 사례에 대해 제안된 그래프 기반 방법을 적용한다. 모든 사례에서 제안된 방법이 기존 SDP 기반 기법보다 더 빠르고 정확한 JSR 상한을 제공함을 확인한다.

전반적으로 이 논문은 ‘경로완전 그래프’를 통해 다중 Lyapunov 함수 사이의 부등식 체계를 체계화하고, 이를 SDP와 결합함으로써 JSR 근사의 이론적 한계와 실용적 알고리즘을 동시에 제시한다. 이는 스위칭 시스템 안정성 분석뿐 아니라, 자동제어, 신호처리, 코딩 이론 등 다양한 분야에서 JSR을 활용하는 문제에 강력한 도구가 될 것이다.