로그스페이스에서 정규형을 구할 수 있는 군들의 구조와 확장성

초록

본 논문은 유한 생성 군 중 정규형을 로그스페이스 알고리즘으로 계산할 수 있는 군들의 클래스를 정의하고, 이 클래스가 유한 확장, 유한 지수 부분군, 직접곱, 월곱 및 특정 자유곱에 대해 닫혀 있음을 증명한다. 또한 Baumslag‑Solitar 군과 비잔여 유한성(따라서 비선형) 군들을 포함함을 보이며, 모든 유한 생성 영군이 로그스페이스에 삽입 가능함을 보여준다.

상세 분석

논문은 먼저 “정규형을 로그스페이스에서 계산 가능하다”(logspace computable normal form)는 개념을 정형화한다. 이는 입력된 단어를 해당 군의 고유한 정규표현식으로 변환하는 알고리즘이 메모리 사용량 O(log n)으로 동작함을 의미한다. 이 정의를 기반으로 저자들은 여러 군 연산에 대해 닫힘성을 체계적으로 조사한다.

첫 번째 주요 결과는 유한 확장에 대한 닫힘성이다. 즉, G가 로그스페이스 정규형을 갖는 군이고 H가 G의 유한 인덱스 부분군이면, H 역시 같은 성질을 가진다. 증명은 H의 코셋을 나타내는 유한 자동화와 G의 정규형 변환기를 결합하여, 입력 단어를 코셋 대표와 G‑정규형으로 분해하고 다시 H‑정규형으로 재구성하는 과정을 로그스페이스 내에서 구현함으로써 이루어진다.

다음으로 직접곱 G × H에 대한 닫힘성을 보인다. 두 군 각각에 대한 로그스페이스 변환기가 존재하면, 입력을 두 부분으로 분리하고 각각에 변환기를 적용한 뒤 결과를 결합하는 알고리즘이 로그스페이스 내에서 수행 가능함을 보여준다.

월곱 G ≀ ℤ에 대해서는, 기본적인 워드 문제를 ℤ‑좌표와 G‑워드의 두 층으로 나누어 처리한다. ℤ‑좌표는 단순히 카운터를 로그스페이스로 유지할 수 있고, 각 좌표에 대응하는 G‑워드는 이미 로그스페이스 정규형 변환기가 존재하므로 전체 변환이 로그스페이스에 머문다.

특정 자유곱에 대해서는, 자유곱의 각 자유 요인이 로그스페이스 정규형을 갖고, 자유 요인 사이의 교환 관계가 제한적일 때만 닫힘성을 확보한다. 이는 자유곱의 정규형이 “교환 규칙을 적용한 후 각 요인에 대한 정규형을 연결”하는 형태로 구현될 수 있음을 이용한다.

또한 저자들은 Baumslag‑Solitar 군 BS(1, n) (n≥2)이 로그스페이스 정규형을 가짐을 직접 구성한다. 이 군은 비잔여 유한이지만, 특수한 재귀적 구조를 이용해 워드의 지수 부분을 로그스페이스 카운터로 관리하고, 나머지 부분을 기존 로그스페이스 변환기로 처리한다.

마지막으로, 모든 유한 생성 영군이 로그스페이스에 삽입 가능함을 증명한다. 영군은 다항 성장 정리를 통해 다항 성장 군이 되며, 이러한 군은 중심 시리즈가 유한 단계의 아벨 군으로 구성된다. 각 아벨 군은 ℤ^k 형태이며, ℤ^k는 로그스페이스 정규형을 갖는다. 중심 확장을 반복 적용하면 전체 영군이 로그스페이스에 삽입될 수 있음을 보인다.

이러한 일련의 결과는 로그스페이스 복잡도와 군 이론 사이의 깊은 연관성을 드러내며, 특히 계산 가능성 관점에서 군 구조를 분류하는 새로운 틀을 제공한다.