유니모듈러 리 군에서의 정보 이론 부등식

초록

본 논문은 유니모듈러 리 군 위에서 확률밀도함수의 합성(convolution)과 군곱을 이용해, 전통적인 유클리드 공간의 정보 이론 부등식(데 브루인, 피셔, Kullback‑Leibler 등)을 일반화한다. 피셔 정보 행렬, 엔트로피, 엔트로피 파워 등 핵심 개념을 리 군에 맞게 정의하고, 총 15개의 소정리 형태로 새로운 부등식들을 제시한다. 회전군과 유클리드 운동군을 주요 사례로 삼아, 이미지 재구성, 모바일 로봇 정보 수집, 위성 자세 제어 등 실용적 응용 가능성을 논의한다.

상세 분석

이 연구는 정보 이론의 핵심 불평등들을 비가환 구조인 유니모듈러 리 군으로 확장한다는 점에서 이론적·실용적 의미가 크다. 유니모듈러 리 군은 좌·우 이동에 대해 불변인 Haar 측도를 갖으며, 이는 유클리드 공간의 Lebesgue 측도와 직접적인 유사성을 제공한다. 논문은 먼저 Haar 측도를 이용해 확률밀도함수의 정의와 군곱에 의한 합성을 정형화한다. 이때, 비가환성 때문에 합성 연산이 순서에 민감하므로, 왼쪽·오른쪽 합성 두 가지 경우를 구분하여 기술한다.

다음으로 피셔 정보 행렬을 리 군에 맞게 재정의한다. 기존 유클리드 정의는 파라미터에 대한 로그밀도 미분을 이용했지만, 리 군에서는 좌/우 인베리언트 벡터장(left‑invariant, right‑invariant vector fields)을 사용해 미분 연산자를 정의한다. 이를 통해 얻어진 피셔 행렬은 군의 리 대수 구조와 직접 연결되며, 특히 회전군 SO(3)에서는 각속도와 연관된 물리적 의미를 갖는다.

데 브루인 항등식은 가우시안 열 흐름(heat kernel)과 엔트로피 변화율을 연결하는데, 논문은 리 군의 열 방정식 해인 가우시안 커널을 이용해 엔트로피의 시간 미분이 피셔 정보와 동일함을 증명한다. 이 과정에서 리 군의 리프시츠 연산자와 그 스펙트럼 특성을 활용한다.

또한 Kullback‑Leibler 발산에 대한 비대칭성, 엔트로피 파워 부등식(Entropy Power Inequality, EPI) 등도 군곱 기반 합성에 맞게 재구성된다. 특히 EPI는 군곱에 대한 “분산” 개념을 리 대수의 사영(norm)으로 정의하고, 그에 대한 하한을 제시한다.

전체 15개의 정리는 위에서 정의된 개념들을 이용해, (1) 피셔 정보의 단조성, (2) 데 브루인 식의 일반화, (3) 엔트로피 증가성, (4) Kullback‑Leibler 발산의 삼각 부등식, (5) 엔트로피 파워 부등식 등 기존 유클리드 부등식들의 정확한 대응을 제공한다. 각 정리는 가정(예: 연속성, 유한 2차 모멘트)과 증명 개요를 명시하며, 비가환성으로 인한 추가 조건을 명확히 한다.

마지막으로 논문은 회전군 SO(3)와 유클리드 운동군 SE(3)를 사례 연구로 삼아, 실제 물리 시스템에서의 확률적 모델링(예: 랜덤 회전, 무작위 이동)과 정보 전파를 어떻게 정량화할 수 있는지를 보여준다. 이는 이미지 재구성(무작위 투영), 모바일 로봇의 센서 데이터 융합, 위성 자세 제어, 미생물 화학주성 등 다양한 공학 문제에 직접 적용 가능함을 시사한다.