[논문 리뷰] Magnus embedding and algorithmic properties of groups $F/N^{(d)}$

Funda Gul, Mahmood Sohrabi외 1명|arXiv (Cornell University)|2015. 01. 05.

Geometric and Algebraic Topology참고 문헌 10인용 수 4

한 줄 요약

이 논문은 마그누스 임bedding를 사용하여 $F/N^{(d)}$ 형식의 군에서 단어 문제, 거듭제곱 문제, 켤레 문제 간의 정확한 환원 다이어그램을 수립한다. 쿠로브카 노트의 문제 12.98을 해결함으로써, $F/N$에서의 단어 문제의 결정 가능성이 $F/N'$에서의 거듭제곱 문제의 결정 가능성으로 이어지고, $F/N'$에서의 켤레 문제 환원이 $F/N$에서의 거듭제곱 문제와 켤레 문제로 가능하지만 그 반대는 아님을 보여주며, 대부분의 환원이 다항시간 내로 계산 가능하다.

ABSTRACT

In this paper we further study properties of Magnus embedding, give a precise reducibility diagram for Dehn problems in groups of the form $F/N^{(d)}$, and provide a detailed answer to Problem 12.98 in Kourovka notebook. We also show that most of the reductions are polynomial time reductions and can be used in practical computation.

연구 동기 및 목표

• 마그누스 임bedding를 사용하여 군 $F/N^{(d)}$에서의 단어 문제, 거듭제곱 문제, 켤레 문제 간의 논리적 관계를 명확히 하기.
• 자유 해소군에서 이러한 문제들의 결정 가능성과 관련된 쿠로브카 노트의 문제 12.98를 해결하기.
• 대부분의 결정 문제 간 환원이 다항시간 내로 계산 가능함을 입증하여 실용적 계산을 가능하게 하기.
• 부분합 문제와 비순환 그래프 소속 문제의 복잡도를 $F/N'$에서 분석하여 특정 조건 하에서 NP-완전성을 보여주기.

제안 방법

• $F/N'$의 원소를 $\mathbb{Z}[F/N]$ 위의 $2\times 2$ 행렬로 표현하기 위해 마그누스 임bedding를 사용하기.
• 특히 $\mathbf{WP}(F/N) \Rightarrow \mathbf{PP}(F/N')$ 및 $\mathbf{PP}(F/N) \Rightarrow \mathbf{CP}(F/N')$를 포함한 환원을 통한 결정 문제 간 논리적 함의 관계 수립하기.
• HNN 확장을 사용한 반례 구축을 통해 $\mathbf{CP}(F/N) \not\Rightarrow \mathbf{CP}(F/N')$임을 보여주기.
• 브리튼의 보조정리를 적용하여 구성된 HNN 확장에서 단어 문제와 거듭제곱 문제의 결정 가능성 보장하기.
• 다항시간 가정 하에 영-일 방정식 문제(ZOE)를 $F/N'$에서의 부분합 문제로 환원하기.
• 무한 차수의 $N/N'$ 및 다항시간 기저 구성 등의 군론적 성질을 활용하여 NP-완전성 결과 증명하기.

실험 결과

연구 질문

• RQ1 단어 문제의 결정 가능성($F/N$에서)이 거듭제곱 문제의 결정 가능성($F/N'$에서)을 유도하는가?
• RQ2 $F/N'$에서의 켤레 문제는 $F/N$에서의 거듭제곱 문제와 켤레 문제로 환원될 수 있으며, 만약 가능하다면 어떤 조건에서 가능한가?
• RQ3 $\mathbf{CP}(F/N)$는 결정 가능할 수 있지만 $\mathbf{CP}(F/N')$는 결정 불가능할 수 있는가?
• RQ4 단어 문제의 결정 가능성 $\mathbf{WP}(F/N) \in \mathbf{P}$일 경우, $F/N'$에서의 부분합 문제의 계산 복잡도는 어떻게 되는가?
• RQ5 $F/N'$에서의 비순환 그래프 소속 문제는 어떤 조건에서 P 또는 NP-완전인가?

주요 결과

• $F/N$에서의 단어 문제는 $F/N'$에서의 거듭제곱 문제로 환원되며, 이 환원은 다항시간 내로 계산 가능하다.
• $F/N$에서의 거듭제곱 문제는 $F/N'$에서의 켤레 문제로 환원되며, 이 환원 역시 다항시간 내로 계산 가능하다.
• $\mathbf{CP}(F/N)$는 결정 가능하지만 $\mathbf{CP}(F/N')$는 결정 불가능한 군 $F/N$가 존재하므로 $\mathbf{CP}(F/N) \not\Rightarrow \mathbf{CP}(F/N')$임을 보여준다.
• $\mathbf{WP}(F/N) \in \mathbf{P}$ 이고 $N \neq \{1\}$ 이며 $[F:N] = \infty$ 이면, $\mathbf{SSP}(F/N')$는 $\mathbf{NP}$-완전이다.
• $\mathbf{WP}(F/N) \in \mathbf{P}$ 이고 $[F:N] < \infty$ 이면, $\mathbf{SSP}(F/N') \in \mathbf{P}$ 이다.
• $\mathbf{WP}(F/N) \in \mathbf{P}$ 이고 $N \neq \{1\}$ 이면, 모든 $d \geq 2$에 대해 $F/N^{(d)}$에서의 부분합 문제 $\mathbf{SSP}(F/N^{(d)})$는 $\mathbf{NP}$-완전하다.