대칭 리 대수로 보는 비토릭 통계 모델 탐구

초록

본 논문은 비가역적인(비토릭) 프로젝트 다양체를 판별하기 위해 해당 다양체와 그 소거 이데알의 대칭 리 군·리 대수를 정의하고, 차원 비교를 통한 비토릭성 검증 기준을 제시한다. 또한 SageMath 기반 알고리즘을 개발하여 실제 통계 모델(스테이지드 트리, 가우시안 그래프)에서 비토릭 사례를 발견한다.

상세 분석

논문은 먼저 토릭 다양체와 토릭 이데알의 정의를 복습하고, 토릭 구조가 통계 모델의 최대우도 추정, 마르코프 기저, 지수족의 매끄러움 등 여러 응용에 핵심적임을 강조한다. 이후 핵심 아이디어는 ‘대칭 리 군(G_I)’을 정의하는데, 이는 GLₙ(ℂ) 안에서 주어진 동차 소거 이데알 I를 고정시키는 행렬들의 집합이다. 정의 10에 따라 G_I는 I의 모든 생성다항식에 대해 g·p∈I를 만족하는 g∈GLₙ(ℂ)이다. 중요한 관찰은 G_I가 닫힌 부분군이므로 리 군이며, 그 차원은 대응하는 리 대수 𝔤_I의 복소 차원과 동일하다는 점이다(정리 6).

정리 1(정리 23 재표현)에서는 V가 비가역적이면 dim 𝔤_I < dim V가 성립한다는 충분조건을 제시한다. 이는 토릭 다양체라면 토러스 차원이 다양체 차원보다 크거나 같아야 한다는 전통적인 사실과 일치한다. 따라서 차원 비교만으로도 비토릭성을 빠르게 판단할 수 있다.

리 대수 계산을 실용화하기 위해 정리 2(정리 24 재표현)에서는 I의 d차 성분