기하복잡도이론 효율적노터정규화알고리즘

초록

본 논문은 명시적(Explicit) 대수기하학적 다양체에 대해 노터 정규화 정리(NNL)의 정규화 사상을 효율적으로 구성하는 알고리즘을 제시한다. 일반 명시적 다양체에 대해서는 고확률적 다항시간 몬테카를로 알고리즘을, 특정 중요한 경우(예: SLₘ의 유한 차원 표현, 행렬 동시 공액 작용에 대한 카테고리적 몫)에는 결정론적 준다항시간(quasi‑polynomial) 알고리즘을 제공한다. 또한 영(0) 혹은 충분히 큰 특성에서 영구(permanent)의 어려움 가설을 가정하면 모든 명시적 다양체에 대해 NNL을 P 수준으로 끌어올릴 수 있음을 보인다.

상세 분석

논문은 먼저 “명시적 다양체”라는 개념을 형식화한다. 여기서 명시적이라 함은 차원이 다항식적으로 제한된 n에 대해, 차원 lₙ이 지수적으로 커도 그 정의가 다항시간에 계산 가능한 대수 회로(알제브라ic circuit)로 주어지는 경우를 말한다. 이러한 정의는 기존의 대수기하학에서 “명시적”이라는 모호한 표현을 복잡도 이론적 관점에서 엄밀히 규정한다.

주요 결과는 다섯 가지로 요약된다. (1) SLₘ의 유한 차원 표현 V(차원 n)에서, m이 상수일 때 카테고리적 몫 V/G의 불변식 고리 K