[논문 리뷰] Ackermannian Integer Compression and the Word Problem for Hydra Groups

Will Dison, Eduard Einstein외 1명|arXiv (Cornell University)|2015. 09. 08.

Geometric and Algebraic Topology참고 문헌 12인용 수 2

한 줄 요약

이 논문은 애너그램 함수를 반복적으로 사용하여 압축된 정수를 효율적으로 계산할 수 있는 새로운 방법을 제안함으로써, 애너그램 함수 수준의 딜 함수를 가지며 매우 복잡한 것으로 알려진 '헤이드라 군'이라는 유한형성 군의 클래스에 대해 다항시간 알고리즘을 제시한다. 주요 혁신은 극도로 비선형적이고 비민감한 성장률을 보이는 군의 경우에도, 압축된 정수 표현을 통해 빠른 결정 절차를 가능하게 한다.

ABSTRACT

For a finitely presented group, the word problem asks for an algorithm which declares whether or not words on the generators represent the identity. The Dehn function is a complexity measure of a direct attack on the word problem by applying the defining relations. Dison & Riley showed that a "hydra phenomenon" gives rise to novel groups with extremely fast growing (Ackermannian) Dehn functions. Here we show that nevertheless, there are efficient (polynomial time) solutions to the word problems of these groups. Our main innovation is a means of computing efficiently with enormous integers which are represented in compressed forms by strings of Ackermann functions.

연구 동기 및 목표

• 극도로 빠르게 증가하는(애너그램 함수 수준의) 딜 함수를 가지며 일반적으로 해결이 불가능한 복잡도를 지닌, '헤이드라 군'이라고 불리는 유한형성 군의 클래스에 대해 단어 문제를 해결하는 것.
• 직접 평가가 불가능한 상황에서, 반복 애너그램 함수를 사용해 압축된 형태로 표현된 정수에 대한 효율적인 산술 연산을 수행할 수 있는 방법을 개발하는 것.
• 헤이드라 군 Γk의 중심적인 부분군 Hk에 대한 소속 문제를 다항시간 내에 해결하는 것. 이는 전체 군에서의 단어 문제 해결에 핵심적이다.
• 딜 함수의 극도로 빠른 성장에도 불구하고, 군의 구조적 성질과 압축된 정수 산술의 특성 덕분에 단어 문제의 다항시간 해결이 가능함을 보여주는 것.
• 압축된 정수 계산과 부분군 소속 검사의 조합을 통해, 입력 길이 n에 대해 총 시간 복잡도가 O(n^{3k^2 + k + 2})인 Γk에 대한 전체 단어 문제를 다항시간 내에 해결하는 것.

제안 방법

• 애너그램 함수의 반복을 사용한 정수의 압축 표현(ψ-어휘)을 도입하여, 극도로 큰 정수를 압축된 형태로 효율적으로 표현할 수 있도록 한다.
• ψ-어휘가 양수, 음수, 또는 0인지를 판단하기 위한 다항시간 알고리즘(Psi)을 설계하며, 정의역 유효성도 추적하면서 표현식을 재귀적으로 단순화한다.
• 군 원소가 압축된 정수에 작용하는 방식을 계산하기 위해, 취소 조건을 제약하는 피스 기준(Piece Criterion)을 활용한 재귀적 알고리즘(Frontm 및 Backm)을 개발한다.
• 압축 표현의 길이와 랭크를 유지하면서 군 어휘를 통해 압축된 정수 표현을 전파하는 Pushm 알고리즘을 구축한다.
• Pushm 및 Piecem 알고리즘을 사용하여, 주어진 어휘가 압축된 정수 평가에서 항등원으로 매핑되는지 여부를 테스트함으로써 Hk의 소속 문제를 해결한다.
• 소속 문제 해결기와 브리튼의 보조정리(Britton’s Lemma)를 조합하여, Γk에서의 단어 문제를 Gk 내의 반복적 소속 테스트와 단순화로 환원함으로써, 전체적으로 다항시간 솔루션을 도출한다.

실험 결과

연구 질문

• RQ1 애너그램 함수 수준의 딜 함수를 가지는 군의 경우, 극도로 비민감한 성장률을 보일 때에도 단어 문제를 다항시간 내에 해결할 수 있는가?
• RQ2 직접 평가하지 않고도 반복 애너그램 함수로 표현된 정수에 대해 효율적인 산술 연산을 수행할 수 있는가?
• RQ3 군 원소들이 매우 비선형적이고 급격히 증가하는 함수를 통해 작용하는 상황에서, Hk의 부분군 소속 문제를 어떻게 효율적으로 테스트할 수 있는가?
• RQ4 헤이드라 군의 어떤 구조적 성질이 다항시간 단어 문제 해결을 가능하게 하는가? 특히 다항시간 딜 함수가 존재하지 않는 상황에서도 말이다.
• RQ5 압축된 정수 표현을 사용하여 군 작용과 취소 과정을 시뮬레이션할 수 있으며, 이 과정에서 시간 복잡도의 상한을 유지할 수 있는가?

주요 결과

• 헤이드라 군 Γk에 대한 단어 문제는 입력 어휘 길이 n에 대해 O(n^{3k^2 + k + 2}) 시간 내에 해결 가능하며, 이는 애너그램 함수 수준의 딜 함수가 존재함에도 불구하고 다항시간 솔루션임을 보여준다.
• Gk의 부분군 Hk에 대한 소속 문제는 어휘 w와 압축된 정수 f에 대해 O((ℓ(w) + ℓ(f))^{2m + k}) 시간 내에 Pushm 및 Piecem 알고리즘을 통해 해결된다.
• ψ-어휘(애너그램 함수를 사용한 정수의 압축 표현)를 평가하는 새로운 알고리즘 Psi는 차수 4 + k의 다항식으로 제한된 시간 내에 결과가 양수, 음수, 또는 0인지 판단할 수 있다.
• 평가 과정에서 정의역 위반이 발생하더라도 알고리즘이 이를 정확히 처리하여, 중간 단계에서 애너그램 함수 적용이 정의되지 않더라도 정확성을 유지한다.
• Pushm 알고리즘은 길이 ℓ(v)인 어휘 v와 압축된 정수 f에 대해 O((ℓ(v) + ℓ(f))^{2m + k + 1}) 시간 내에 실행되며, 출력 g는 ℓ(g) ≤ ℓ(f) + 2mℓ(v)를 만족한다.
• Γk에 대한 전체 솔루션은 소속 문제 해결기 최대 n/2회와 Gk 단어 문제 해결기 1회를 포함하며, 이 모든 과정이 다항시간 내에 수행되어 총 시간 복잡도가 O(n^{3k^2 + k + 2})로 도출된다.