확률적 최대플러스 선형 시스템의 사이클 타임 분석

초록

본 논문은 정적이고 에르고딕한 무작위 행렬열에 의해 정의되는 최대플러스 대수 기반 재귀식의 장기 거동을 연구한다. 강법칙(Strong Law of Large Numbers)이 성립하기 위한 필요조건을 제시하고, 행렬이 i.i.d.인 경우 이 조건이 충분함을 증명한다. 또한 강한 혼합(strongly mixing) 행렬열이 동일한 필요조건을 만족함에도 불구하고 재귀열이 거의 확실히 수렴하지 않는 새로운 반례를 제시한다.

상세 분석

이 연구는 최대플러스(max‑plus) 대수에서 정의된 선형 시스템의 사이클 타임, 즉 시간 척도에서의 평균 성장률을 분석한다. 시스템은 초기 벡터 (x_0)와 무작위 행렬열 ({A_n}{n\ge1})에 의해 (x{n}=A_n\otimes x_{n-1}) 형태로 전개되며, 여기서 (\otimes)는 최대플러스 곱을 의미한다. 저자들은 먼저 행렬열이 정적(stationary)이고 에르고딕(ergodic)이라는 가정 하에, (\frac{1}{n}x_n)가 거의 확실히 한 상수 벡터 (\gamma)로 수렴하는 강법칙이 성립하기 위한 필요조건을 도출한다. 이 필요조건은 “상태 공간의 전이 그래프가 강연결(strongly connected)이며, 각 행렬 원소의 기대값이 유한하고, 최대플러스 연산에 대한 서브애디티브(subadditive) 구조가 유지된다”는 형태로 표현된다.

특히, 행렬들이 독립동일분포(i.i.d.)일 경우, 위 필요조건이 충분조건이 됨을 보인다. 이는 Kingman의 서브애디티브 정리와 유사한 논증을 사용해, (\frac{1}{n}x_n)가 거의 확실히 (\gamma)에 수렴하고, (\gamma)는 행렬들의 기대값에 의해 정의되는 고정점임을 증명한다.

하지만 저자들은 강한 혼합(strong mixing) 성질을 가진 의존적인 행렬열에 대해 동일한 필요조건이 만족되더라도 강법칙이 깨질 수 있음을 새로운 반례를 통해 보여준다. 이 반례는 행렬열이 충분히 빠르게 의존성을 잃지만, 특정 패턴(예: 주기적 큰 값과 작은 값의 교차)이 존재해 평균 성장률이 불안정해지는 구조를 갖는다. 이를 통해 “정적·에르고딕 + 필요조건”만으로는 강법칙을 보장할 수 없으며, 독립성 혹은 더 강한 믹싱 조건이 필요함을 시사한다.

이 논문의 핵심 기여는 다음과 같다. 첫째, 최대플러스 선형 시스템에 대한 강법칙 필요조건을 명확히 규정하고, i.i.d. 경우 충분조건임을 증명함으로써 기존 문헌에 비해 일반성을 확대하였다. 둘째, 강한 혼합 행렬열에 대한 반례를 구성함으로써, 필요조건만으로는 충분하지 않다는 한계를 명확히 제시하였다. 셋째, 이러한 결과는 대기열 네트워크, 철도 스케줄링, 컴퓨터 패킷 전송 등 실제 시스템 모델링에 있어 무작위 행렬의 의존 구조가 시스템 안정성에 미치는 영향을 정량적으로 평가하는 데 중요한 이론적 토대를 제공한다.