출력 양자화 이산시간 시스템의 좌측 가역성: 선형 경우와 유한 입력

초록

본 논문은 상태공간을 일정한 구역으로 나눈 출력 양자화 이산시간 선형 시스템에서 입력이 유한 알파벳을 가질 때, 시스템의 좌측 가역성(입출력 매핑의 일대일성)을 분석한다. 좌측 가역성을 좌측 D‑가역성(단일 구역에 대한 차이 시스템의 가역성)과 동등하게 만들 수 있는 충분조건을 제시하고, 동적 행렬의 원소가 대수적으로 독립일 경우 두 개념이 등가가 됨을 증명한다. 또한 고유값이 단위 원 위에 없고, 행렬이 일반적인 경우(측정값이 거의 전부) 좌측 D‑가역성을 판정할 수 있는 구체적인 계산 절차를 제시한다. 이를 통해 전체 시스템의 좌측 가역성을 효율적으로 검증할 수 있음을 예제와 함께 보여준다.

상세 분석

논문은 먼저 출력 양자화가 적용된 이산시간 선형 시스템을 다음과 같이 모델링한다. 상태 x(k+1)=Ax(k)+Bu(k), 출력 y(k)=Q(Cx(k)), 여기서 Q는 상태공간을 사전 정의된 셀(partition)로 나누는 양자화 연산자이며, 입력 u(k)∈𝕌는 유한 알파벳이다. 좌측 가역성은 모든 입력 시퀀스 u₁, u₂에 대해 동일한 출력 시퀀스 y가 발생하면 u₁=u₂임을 의미한다. 이는 전통적인 연속 출력 시스템에서의 가역성 개념과는 달리, 출력이 셀에 속하는지 여부만을 관찰하기 때문에 판정이 복잡해진다.

이를 해결하기 위해 저자들은 “좌측 D‑가역성”이라는 새로운 개념을 도입한다. D‑가역성은 차이 시스템 Δx(k+1)=AΔx(k)+BΔu(k)와 그 차이 출력 Δy(k)=CΔx(k) 가 양자화 셀의 경계에 닿지 않고 영(0) 셀에 머무르는지를 검사한다. 즉, 두 입력 시퀀스가 서로 다를 경우 차이 상태가 어느 순간이라도 양자화 경계 밖으로 벗어나면 두 출력 시퀀스는 구분 가능하다는 논리이다. 이 접근법은 원래의 복잡한 셀-멤버십 조건을 단일 셀(보통 원점 셀) 조건으로 축소시켜, 선형 대수와 불변 집합 이론을 이용한 계산이 가능하도록 만든다.

핵심 정리는 “동적 행렬 A의 모든 원소가 대수적으로 독립(algebraically independent)일 때, 좌측 가역성과 좌측 D‑가역성은 동치이다”는 것이다. 대수적 독립성은 거의 모든 실수 행렬이 만족하는 일반적인 성질이며, 측정상 거의 전부의 행렬에 대해 적용 가능함을 의미한다. 따라서 실무에서 특별히 구조화된 행렬을 제외하고는 D‑가역성 검사가 곧 가역성 검사가 된다.

다음으로 저자들은 A의 고유값이 |λ|≠1인 경우, 즉 시스템이 수렴하거나 발산하는 경우에 한해 D‑가역성을 판정하는 구체적 알고리즘을 제시한다. 핵심 아이디어는 차이 시스템의 상태공간을 불변 집합(invariant set)으로 분할하고, 각 셀에 대해 가능한 Δu 조합을 열거함으로써 “도달 가능 집합(reachable set)”을 계산하는 것이다. 이때 사용되는 도구는 선형 프로그래밍과 폴리토프 연산이며, 셀 경계와의 교차 여부를 정밀히 판단한다. 고유값이 단위 원 위에 있으면 무한히 반복되는 궤도가 존재해 경계와의 접촉을 피하기 어려워, 해당 경우는 별도 분석이 필요함을 명시한다.

마지막으로 논문은 두 개의 수치 예제를 통해 제안된 방법의 실효성을 검증한다. 첫 번째 예제는 2차원 시스템으로, A가 대수적으로 독립인 경우와 아닌 경우를 비교하면서 D‑가역성 ⇔ 가역성이 성립함을 보여준다. 두 번째 예제는 3차원 시스템에 대해 고유값이 모두 |λ|<1인 상황에서 알고리즘을 적용해, 입력 알파벳이 4개일 때 모든 입력 시퀀스가 구별 가능함을 확인한다. 이 과정에서 계산 복잡도는 셀 수와 차이 입력 조합에 비례하지만, 실제 구현에서는 폴리토프 연산 라이브러리를 이용해 수초 내에 결과를 얻을 수 있음을 보고한다.

전체적으로 이 논문은 출력 양자화라는 비선형적인 관측 제한 하에서도 선형 시스템의 가역성을 효율적으로 판단할 수 있는 이론적 틀과 실용적 알고리즘을 제공한다. 특히 대수적 독립성이라는 일반적인 가정을 통해, 대부분의 실제 시스템에 대해 복잡한 셀-멤버십 검사를 단순화시키는 점이 큰 공헌이다. 향후 연구에서는 고유값이 단위 원 위에 있는 경우와, 비선형(예: 비선형 A) 시스템에 대한 확장 가능성을 탐색할 여지가 있다.