비정상 행렬곱의 특이값 간격에 대한 효과적인 하한과 잡음 영향

초록

본 논문은 절대 연속적인 작은 잡음(노름 ≤ ε)으로 독립적으로 섞인 비정상 행렬열의 곱에 대해, 로그 특이값 차이가 평균·거의 확실히 최소 ε² n 만큼 성장한다는 정량적 하한을 제시한다. 이를 위해 Gorodetski‑Kleptsyn의 비정상 Furstenberg 이론을 상대 엔트로피와 미니플래그(부분 플래그) 번들을 이용해 정량화하고, 모든 연속적인 Lyapunov 지수 차이에 적용한다.

상세 분석

이 연구는 두 가지 주요 기술적 진보를 담고 있다. 첫째, Gorodetski‑Kleptsyn(2023)이 제시한 비정상 Furstenberg 정리의 “엔트로피‑볼륨 왜곡” 관계를 절대 연속적인 잡음 분포에 대해 정량화하였다. 구체적으로, 잡음 분포 μ가 밀도 φ를 가지고 ‖A‖≤M인 행렬열 (Aₙ)ₙ에 대해, ε‑스케일 잡음 Eₙ를 독립적으로 더하면 Bₙ=(Aₙ+εEₙ)…(A₁+εE₁) 가 정의된다. 논문은 평균 상대 엔트로피 h(μ)와 미니플래그 번들 위의 “섬유별 엔트로피”를 계산해, 이 값이 최소 C·ε²·n (C는 φ와 M에 의존) 이상임을 보인다. 여기서 핵심은 엔트로피가 합성(convolution) 아래에서 가산(additive)된다는 사실을 이용해, n번 반복 후 누적 엔트로피가 선형적으로 증가함을 입증한 점이다.

둘째, 기존의 프로젝트 공간 RP^{d‑1} 위에서만 다루던 방법을 확장해, (k‑1, k, k+1) 형태의 부분 플래그 번들 PF(k‑1,k+1) 위에 정의된 미니플래그 F(V_{k‑1},V_{k+1})에 행렬이 작용하도록 했다. 이 번들의 섬유는 1차원 원형(즉, V_{k+1}\ominus V_{k‑1})와 동형이며, 섬유 부피 왜곡량이 σ_k/σ_{k+1} (k번째와 k+1번째 특이값 비)와 직접적으로 연결된다(정리 4.6). 따라서 “섬유별 평균 부피 왜곡”이 충분히 크면, 해당 특이값 차이가 ε²·n 수준으로 성장한다는 결론을 얻는다.

논문은 엔트로피 하한을 얻기 위해 “점별 엔트로피”(Definition 4.1)를 도입한다. 이는 두 점 사이의 Jacobian 변동을 측정하는 양으로, 섬유별 엔트로피를 하한하는 데 사용된다. 점별 엔트로피는 잡음이 절대 연속적이고 밀도가 φ로 제한됨을 이용해, φ의 상수 C_φ와 M에 대한 명시적 식으로 추정된다. 결과적으로, 기대값과 거의 확실히(Almost surely) 모두에서
\