Wreath product에서 비대칭 엔트로피 연속성

초록

본 논문은 카운터블 그룹 A와 초‑FC‑중심이며 최소 3차 성장(예: ℤ³ 또는 Heisenberg 군)을 갖는 기반군 B에 대해, 유한 엔트로피를 가진 비퇴화 확률측도 μ에 대해 비대칭 엔트로피 h(μ)의 연속성을 증명한다. 핵심은 (1) 기반군 B에서 “절대 귀환하지 않을 확률” pₑₛ𝚌(μ)의 연속성, (2) 포아송 경계가 폴리시 공간 X에 모델링될 때 조화 측도의 약한 연속성이 엔트로피 연속성을 보장한다는 일반 기준을 이용하는 것이다. 결과는 기존에 알려진 초볼록, 비가역적 초볼록, 선형·CAT(0) 군 등에 새롭게 적용된다.

상세 분석

논문은 크게 세 부분으로 나뉜다. 첫 번째는 “wreath product A ≀ B”에서 비대칭 엔트로피 h(μ)의 연속성을 다루는 정리 1.2이다. 여기서 B가 초‑FC‑중심이고 최소 3차 성장이라는 가정은, B가 반드시 무한 차원 아벨리안 군(ℤ³) 혹은 Heisenberg 군 H₃(ℤ)과 같은 다항 성장 하위군을 포함함을 의미한다. 이러한 가정 아래, μ가 비퇴화이며 유한 샤논 엔트로피 H(μ)<∞인 경우, μₖ→μ(점별 수렴)와 H(μₖ)→H(μ)라면 h(μₖ)→h(μ)임을 보인다. 핵심 아이디어는 μ‑랜덤워크의 베이스군 B에 대한 투사 경로가 방문한 서로 다른 위치의 수와 엔트로피 사이에 직접적인 관계가 있음을 이용한다. 베이스군에서의 방문 수는 귀환 확률 pₑₛ𝚌(μ)와 연결되며, 이는 정리 1.4에서 증명된 “귀환하지 않을 확률의 연속성”을 통해 제어된다. 정리 1.4는 μ의 지원이 생성하는 반군이 최소 3차 성장 하위군을 포함하면, μₖ→μ이면 pₑₛ𝚌(μₖ)→pₑₛ𝚌(μ)임을 보여준다. 이 결과는 기존에 제한적이던 “고정된 유한 지원” 가정 없이도 적용 가능하게 만든다.

두 번째 핵심은 포아송 경계와 조화 측도의 연속성 사이의 연결 고리이다. 정리 1.5는 G가 카운터블 그룹이고, 각 μₖ, μ가 유한 엔트로피를 갖는 비퇴화 측도이며, μₖ→μ와 H(μₖ)→H(μ)라면, G가 연속 변환을 하는 폴란스 공간 X에 대해 (X,νₖ)와 (X,ν) 가 각각 μₖ, μ의 포아송 경계라 가정한다. 이때 νₖ가 ν로 약하게 수렴하면 h(μₖ)→h(μ)임을 증명한다. 증명은 세 가지 도구를 결합한다. 첫째, 기존 결과인 “비대칭 엔트로피의 상반 연속성”(upper semi‑continuity); 둘째, Kaimanovich‑Vershik가 제시한 엔트로피를 Kullback‑Leibler 거리의 평균으로 표현하는 공식; 셋째, 포아송 경계 위의 조화 측도에 대한 Kullback‑Leibler 거리의 약한 하반 연속성이다. 이를 통해 엔트로피는 조화 측도의 약한 연속성에 의해 제어된다는 일반적인 기준을 얻는다.

세 번째 단계에서는 이 일반 기준을 구체적인 군 클래스에 적용한다. 코롤라리 1.6은 (1) 비가역적 초볼록 군, (2) 실수 행렬군 SLₙ(ℝ)의 Zariski‑dense 이산 부분군, (3) 적절하고 코콤팩트한 CAT(0) 공간에서의 작용을 갖는 군, (4) CAT(0) 큐브 복합체에 작용하는 이산 군 등 네 가지 경우에 연속성을 즉시 얻는다. 특히 (2)와 (3)·(4)는 이전 문헌에 없던 새로운 연속성 결과이며, SLₙ(ℤ) (n≥3)와 고차원 리만 다양체의 격자군 등에 적용 가능하다.

전체적으로 논문은 “귀환 확률의 연속성 → 포아송 경계 조화 측도의 약한 연속성 → 비대칭 엔트로피 연속성”이라는 흐름을 구축한다. 이 과정에서 성장 조건(최소 3차 성장)과 초‑FC‑중심성이라는 군 구조적 가정이 핵심적인 역할을 하며, 기존에 알려진 비연속성 예시(예: ℤ/2 ≀ D_∞)와 대비해 왜 이러한 가정이 필요함을 명확히 제시한다. 또한, 엔트로피와 드리프트(ℓ(μ)) 사이의 차원 관계가 알려진 경우와 연결해, 엔트로피 연속성이 기하학적 경계와도 깊은 연관이 있음을 암시한다. 최종적으로, 본 연구는 무한 군에서 확률적 동역학을 다루는 여러 분야(기하학적 군론, 확률론적 경계 이론, 정보 이론) 사이의 교차점을 확장하고, 향후 더 일반적인 군 클래스(예: 자유 번스 사이드 군)에서의 연속성 문제에 대한 새로운 접근법을 제공한다.