[논문 리뷰] The complexity of balanced presentations and the Andrews-Curtis conjecture

Martin R. Bridson|arXiv (Cornell University)|2015. 04. 16.

Geometric and Algebraic Topology참고 문헌 19인용 수 9

한 줄 요약

이 논문은 랭크 ≥4에서 자명한 군의 균형 잡힌 표현을 비틀기 위해 필요한 Andrews-Curtis 이동의 수에 대해 명시적이고 계산 가능한 하한을 제시한다. 이는 군의 푸시아웃에서의 Dehn 함수 행동을 이용한 것으로, 이동의 수가 유한한 지수열의 탑을 초월하여, 오히려 우주의 전자 수를 초월하는 것으로 밝혀져, 이론적으로 가능하더라도 물리적으로 실현 불가능하다는 것을 보여준다.

ABSTRACT

Motivated by problems in topology, we explore the complexity of balanced group presentations. We obtain large lower bounds on the complexity of Andrews-Curtis trivialisations, beginning in rank 4. Our results are based on a new understanding of how Dehn functions of groups behave under certain kinds of push-outs. We consider groups $S$ with presentations of deficiency 1 satisfying certain technical conditions and construct balanced group presentations $¶_w$ indexed by words $w$ in the generators of $S$. If $w=1$ in $S$ then $¶_w$ is Andrews-Curtis trivialisable and the number of Andrews-Curtis moves required to trivialise it can be bounded above and below in terms of how hard it is to prove that $w=1$ in $S$.

연구 동기 및 목표

• 자명한 군의 균형 잡힌 표현에 대한 Andrews-Curtis 비틀기의 계산 복잡도를 조사한다.
• 그러한 표현을 비틀기 위해 필요한 Andrews-Curtis 이동의 수에 대해 명시적이고 계산 가능한 하한을 확립한다.
• 1의 결함을 가진 군에서 단어-성립성 증명의 어려움과 Andrews-Curtis 이동의 복잡도를 연결한다.
• 작은 표현에 대해서조차도 이론적으로 가능하긴 하지만 물리적으로 실현 불가능하다는 점을 보여준다.

제안 방법

• 결함 1을 가지며 기술적 조건을 만족하는 군 $S$ 내의 단어 $w$ 에 따라 인덱싱된 균형 잡힌 표현 $\mathcal{P}_w$ 를 구성한다.
• 군의 확장에서 Dehn 함수 행동을 분석하기 위해 푸시아웃 구성 기법을 사용하며, 이를 Andrews-Curtis 복잡도와 연결한다.
• $\hbox{AC}_*(\mathcal{P})$ 를 $\mathcal{P}$ 를 비틀기 위해 필요한 최소 수의 이면 이동 수로 정의하고, $S$ 에서 $w=1$ 을 증명하는 데의 어려움을 통해 이를 하한화한다.
• recursive 함수인 $\Delta(m)$ 을 사용하여 이동 수의 하한을 표현한다. 이는 $\Delta(0)=2$, $\Delta(m+1)=2^{\Delta(m)}$ 로 정의된다.
• Andrews-Curtis 그래프 $\hbox{AC}_k$ 와 그의 하위레벨 집합 $\Lambda(n)$ 을 분석하여 연결성과 경로 복잡도를 연구한다.
• 기하군론 기법, 특히 Dehn 함수와 군론적 복잡도를 활용하여 안정화 여부와 무관한 하한을 유도한다.

실험 결과

연구 질문

• RQ1 랭크 ≥4에서 자명한 군의 균형 잡힌 표현을 비틀기 위해 필요한 Andrews-Curtis 이동의 최소 수는 얼마인가?
• RQ2 군 $S$ 에서 단어 $w$ 가 항등원과 같음을 증명하는 데의 복잡도는 관련 표현 $\mathcal{P}_w$ 를 비틀기 위한 복잡도와 어떻게 관련되는가?
• RQ3 작은 표현에 대해서조차도 필요한 Andrews-Curtis 이동의 수가 유한한 지수열의 탑을 초월할 수 있는가?
• RQ4 이 하한은 명시적 비틀기 시퀀스의 물리적 실현 불가능성에 얼마나 깊이 영향을 미치는가?

주요 결과

• $k \geq 4$ 에 대해, 총 상수 길이가 $24(n+1)$ 이하인 $k$-생성자 균형 잡힌 표현 $\mathcal{P}_n$ 이 존재하지만, 비틀기 위해 최소 $\Delta(\lfloor \log_2 n \rfloor)$ 개의 Andrews-Curtis 이동이 필요하다.
• 하한 $\Delta(\lfloor \log_2 n \rfloor)$ 는 유한한 지수열의 탑을 초월하여 증가하며, 중간 정도의 $n$ 에서도 관측 가능한 우주의 전자 수를 초월한다.
• 이 구성은 심지어 총 상수 길이 ≤ 240인 작은 표현이라도 비틀기 위해 $10^{10000}$ 개 이상의 이동이 필요할 수 있음을 보여주며, 이는 명시적 비틀기의 물리적 실현 불가능성을 암시한다.
• 필요한 이동 수는 기저 군 $S$ 의 Dehn 함수와 밀접하게 연결되어 있으며, $S$ 에서 단어 증명 문제가 더 어려울수록 $\mathcal{P}_w$ 에서의 이동 복잡도가 높아진다.
• 안정화를 허용하든 말든 결과는 동일하므로, 이 하한은 표준 및 안정 Andrews-Curtis 추측 모두에 적용된다.
• 명시적 예시가 제시된다: 총 길이 ≤ 240이고 상수 4개를 가진 4-생성자 균형 잡힌 표현이 있으며, 비틀기 위해 $10^{10000}$ 개 이상의 AC-이동이 필요하다.