SL(2,R) 코사이크에서 리아푸노프 지수의 불연속성

초록

본 논문은 베르누이 시프트 위에 정의된 지역상수형 SL(2,ℝ) 코사이크에 대해 α‑홀더 위상에서 리아푸노프 지수가 연속이 아니며, 특정 매개변수 구간에서 영 지수를 갖는 코사이크를 임의로 가깝게 만들 수 있음을 보인다. 또한 같은 방법을 이용해 SL(m,ℝ) 차원에서도 불연속점을 구성한다.

상세 분석

논문은 먼저 α‑홀더 위상에서 연속성을 보장하는 기존 결과(Backes‑Brown‑Butler 정리)와, 비‑홀더‑번칭 조건을 만족하지 않는 경우에 발생하는 불연속성 사례(Bocker‑Viana, Butler)를 정리한다. 핵심은 베르누이 시프트 (M,f,µ) 위에 정의된 코사이크 Aσ(x) = diag(σ,σ⁻¹) 혹은 그 전치 형태를 이용해, σ>1 인 경우에 λ⁺(Aσ,µ)=|1‑2p|·logσ 로 명시적으로 계산한다. 기존 연구는 σ²>2^{4α}·p(1‑p) 구간에서 Aσ를 영 지수를 갖는 코사이크들로 근사시켜 불연속성을 보였으며, Butler는 σ⁴·p⁻²≥2α 조건 하에 영이 아닌 아주 작은 지수를 갖는 근사 코사이크를 구성했다.

본 논문의 주요 공헌은 두 가지이다. 첫째, σ²≥2^{3α} 인 경우에 대해, 영 지수를 갖는 코사이크 B를 α‑홀더 거리에서 임의로 가깝게 만들 수 있음을 증명한다(정리 1.1). 이는 Oseledets 부분공간을 교환하는 새로운 교환 기법을 도입함으로써 가능해졌다. 기존 Bocker‑Viana 방식은 영 지수를 갖는 근사 코사이크를 만들었지만, 그 과정에서 강한 비‑번칭이 필요했다. 여기서는 Aσ의 Oseledets 부분공간이 표준 수평·수직 축과 일치한다는 점을 이용해, 작은 원통(cylinder) 안에서 회전·전단 행렬 R_k를 삽입해 부분공간을 뒤바꾸고, 그 결과 B_k = A·R_k 가 영 지수를 갖도록 설계한다. 이때 R_k는 원통마다 상수이며, 원통 길이와 매개변수 β,γ를 적절히 선택하면 α‑홀더 노름이 충분히 작아진다.

둘째, 위의 구성을 일반화해 다중 심볼 a_i (i=0,…,ℓ) 로 정의된 코사이크 A(x)=diag(a_{x_0},a_{x_0}^{-1}) 를 고려한다. 여기서 최소값 η와 최대값 σ를 정의하고, 조건 (1.11) σ²>2^{3α}, (1.12) 2(2+logη·logσ)α ≤ η² 를 만족하면, 동일한 원통‑전단 기법으로 영 지수를 갖는 B를 만들 수 있다(정리 A). 이 결과는 a_i 가 η보다 작거나 σ보다 큰 경우에만 제한을 두고, 나머지 매개변수는 거의 자유롭게 선택할 수 있음을 의미한다. 따라서 기존 결과보다 훨씬 넓은 파라미터 영역에서 불연속성을 확보한다.

마지막으로, 위의 2×2 코사이크를 블록 대각선 형태로 배열해 SL(m,ℝ) 코사이크를 구성한다. σ²>2^{3α} 를 만족하면, 차원 2m 혹은 2m+1 에서도 동일하게 영(또는 거의 영) 지수를 갖는 코사이크를 만들 수 있음을 보이며, 이는 고차원에서도 리아푸노프 지수의 불연속성이 일반적임을 시사한다.

전체 증명은 크게 두 단계로 나뉜다. (1) α‑홀더 거리에서 원통‑전단 변형 R_k 를 설계해 A와 충분히 가깝게 만들고, (2) R_k 가 만든 부분공간 교환이 전체 곱 A·R_k 의 지수를 소멸시킨다는 것을 직접 계산한다. 특히 두 번째 단계에서는 전단 행렬의 특수 구조와 원통 길이 선택이 지수 소멸에 결정적 역할을 함을 보인다. 이와 같이 본 논문은 기존의 비‑번칭·번칭 경계 사이에 있던 구간을 메우고, 영 지수를 갖는 근사 코사이크가 존재함을 명시적으로 제시함으로써 Clark Butler가 제기한 질문에 부분적인 답을 제공한다.