Nilpotent 그룹에서 로그스페이스와 압축 단어 연산

초록

이 논문은 유한 생성 닐포텐트 군에 대해 말레브 좌표를 이용해 정상형, 멤버십, 공액, 부분군 프레젠테이션 등을 로그스페이스와 준선형 시간으로 해결하는 알고리즘을 제시한다. 또한 입력을 직선 프로그램(압축 단어) 형태로 제공할 경우 모든 문제를 다항 시간 안에 해결한다.

상세 분석

본 연구는 닐포텐트 군의 구조적 특성을 말레브(또는 Hall‑말레브) 기저를 통해 정수 좌표계로 전환함으로써 군 연산을 다항식으로 표현한다. 좌표의 크기는 군의 계층수(c)와 입력 길이 L에 대해 다항식적으로 제한되며, 이는 연산을 로그스페이스 내에서 수행할 수 있게 하는 핵심 근거이다. 논문은 먼저 로그스페이스 트랜스듀서 모델을 정식화하고, 말레브 좌표를 이용한 정상형 계산이 O(log L) 공간과 O(L log³ L) 시간에 가능함을 증명한다. 이어서 행렬 감소 기법을 적용해 멤버십 문제를 해결하고, 부분군의 표준 생성집합을 구해 프레젠테이션을 구성한다. 동형사상 커널과 중심화군 계산 역시 좌표 연산으로 환원되어 동일한 복잡도 한계를 유지한다. 압축 단어 버전에서는 각 입력을 직선 프로그램으로 표현하고, 프로그램을 순회하면서 좌표를 이진 형태로 추출한 뒤 기존 로그스페이스 알고리즘을 적용한다. 이 과정은 전체 입력 크기 L에 대해 O(L⁴) 시간, 정상형·중심화·공액 문제는 O(L³) 시간에 해결된다. 또한 생성자 수와 닐포텐트 계층이 고정된 경우, 모든 알고리즘이 로그스페이스와 다항 시간(다항식 차수는 고정 파라미터에 의존)으로 실행될 수 있음을 보여준다. 이러한 결과는 기존에 복잡도 추정이 부족했던 닐포텐트 군의 기본 문제들을 실용적인 수준으로 끌어올리며, 압축 표현을 활용한 군 이론 계산의 가능성을 크게 확장한다.