[논문 리뷰] An Automaton Group with PSPACE-Complete Word Problem

Jan Philipp Wächter, A. Weiss|arXiv (Cornell University)|2019. 06. 08.

semigroups and automata theory인용 수 1

한 줄 요약

이 논문은 PSPACE-완전인 단어 문제를 가진 이진 알파벳 위의 자동기계군을 구성하여 스텐버그의 추측을 해결한다. 이 구성은 터널 링의 계산을 비틀린 교환자와 A5 군을 사용한 바링턴 기법을 통해 시뮬레이션하며, 압축된 단어 문제의 복잡도가 EXPSPACE-완전임을 동시에 증명하여 알파벳 크기와 복잡도 면에서 최적임을 보인다.

ABSTRACT

We construct an automaton group with a PSPACE-complete word problem, proving a conjecture due to Steinberg. Additionally, the constructed group has a provably more difficult, namely EXPSPACE-complete, compressed word problem and acts over a binary alphabet. Thus, it is optimal in terms of the alphabet size. Our construction directly simulates the computation of a Turing machine in an automaton group and, therefore, seems to be quite versatile. It combines two ideas: the first one is a construction used by D'Angeli, Rodaro and the first author to obtain an inverse automaton semigroup with a PSPACE-complete word problem and the second one is to utilize a construction used by Barrington to simulate Boolean circuits of bounded degree and logarithmic depth in the group of even permutations over five elements.

연구 동기 및 목표

• 스텐버그의 추측, 즉 PSPACE-완전인 단어 문제를 가진 자동기계군이 존재한다는 것을 해결하기 위해.
• 알파벳 크기의 최적성을 달성하기 위해 이와 같은 군을 이진 알파벳 위에 구성하기 위해.
• 구성된 군의 압축된 단어 문제의 복잡도가 실제로 더 어렵다는 것을 보여주기 위해, 이를 증명하기 위해.
• 역자기계 반군 기법과 바링턴의 분지 프로그램 시뮬레이션 기법을 통합하고 확장하여 결과를 도출하기 위해.

제안 방법

• D’Angeli, Rodaro, Wächter(2019)의 마스터 감소 기법을 변형하여 튜링 기계의 계산을 직접 자동기계군에 인코딩한다.
• A5 군(다섯 원소 위의 짝수 치환군)을 사용하여 깊이가 유한하고 입력 수가 일정한 부울 회로를 시뮬레이션하는 바링턴의 방법을 적용한다.
• 비틀린 교환자와 직선형 프로그램을 사용하여 군 원소에 튜링 기계의 구성 상태를 인코딩한다.
• 알파벳 크기가 2인 이진 알파벳 Σ를 사용하여 군 원소가 튜링 기계의 구성 상태를 나타내는 상태 시퀀스에 대응하는 G-자동기계 T = (Q, Σ, δ)를 구성한다.
• 복잡한 군 원소를 위한 압축된 입력을 효율적으로 생성하기 위해 로그 공간 복잡도의 구성 기법을 적용한다.
• 공간 계층 정리(의 공간 계층 정리)를 활용하여, 압축된 단어 문제의 복잡도가 표준 단어 문제보다 엄격히 더 어렵다는 것을 보이며, 이를 통해 EXPSPACE-완전성을 확보한다.

실험 결과

연구 질문

• RQ1 이진 알파벳 위에서 PSPACE-완전인 단어 문제를 가진 자동기계군을 구성할 수 있는가?
• RQ2 이러한 군의 압축된 단어 문제의 복잡도는 표준 단어 문제보다 실제로 더 어렵다 할 수 있는가?
• RQ3 부등치군을 이용한 NC1 회로 시뮬레이션 기법인 바링턴 기법을 자동기계군에 응용할 수 있는가?
• RQ4 이 구성이 군의 구조 내에서 튜링 기계의 계산을 직접 시뮬레이션할 수 있는가?
• RQ5 단어 문제의 PSPACE-완전성을 증명하면서도, 동시에 압축된 단어 문제가 EXPSPACE-완전임을 보장할 수 있는가?

주요 결과

• 논문은 이진 알파벳 위의 자동기계군을 구성하였으며, 이 군의 단어 문제가 PSPACE-완전임을 확인하여 스텐버그의 추측을 입증한다.
• 동일한 군의 압축된 단어 문제가 EXPSPACE-완전임을 증명하여, 복잡도의 엄격한 계층이 존재함을 보여준다.
• 군은 비틀린 교환자와 직선형 프로그램을 통해 튜링 기계의 계산을 직접 시뮬레이션하는 방식으로 구성된다.
• 군은 다섯 원소 위의 짝수 치환군 A5를 사용하지만, 자동기계 표현을 통해 알파벳 크기를 2로 최소화한다.
• 증명은 단어 문제가 PSPACE에 속하고 PSPACE-완전함을 보이며, 압축된 단어 문제가 EXPSPACE에 속하고 EXPSPACE-완전함을 보이며, 압축된 입력을 로그 공간 복잡도로 생성하는 방식을 사용한다.
• 알파벳 크기 측면에서 최적임을 입증한다. 즉, 이와 같은 PSPACE-완전 단어 문제를 지원할 수 있는 자동기계군은 이보다 더 작은 알파벳(예: 단일 알파벳)을 사용할 수 없다.