[논문 리뷰] Knottedness is in NP, modulo GRH

Greg Kuperberg|arXiv (Cornell University)|2011. 12. 05.

Linguistics and Discourse Analysis인용 수 11

한 줄 요약

이 논문은 일반화된 리만 가설(GRH)을 가정할 경우, 매듭이 비자명한지(꼬임이 있는지) 판단하는 것이 복잡도 클래스 NP에 속한다는 것을 증명한다. 이는 다항수의 증명서를 구성함으로써 달성되며, 이 증명서는 소수 $ p $ 와 $ \mathrm{SL}(2,\mathbb{Z}/p\mathbb{Z}) $로의 비아벨 표현을 포함한다. 이 증명서는 다항시간 내에 검증 가능하며, GRH는 소수가 다항시간 크기 이내로 충분히 작다는 것을 보장한다.

ABSTRACT

Given a tame knot K presented in the form of a knot diagram, we show that the problem of determining whether K is knotted is in the complexity class NP, assuming the generalized Riemann hypothesis (GRH). In other words, there exists a polynomial-length certificate that can be verified in polynomial time to prove that K is non-trivial. GRH is not needed to believe the certificate, but only to find a short certificate. This result complements the result of Hass, Lagarias, and Pippenger that unknottedness is in NP. Our proof is a corollary of major results of others in algebraic geometry and geometric topology.

연구 동기 및 목표

• 일반화된 리만 가설(GRH)을 가정할 경우, 매듭이 비자명한지 여부를 판단하는 문제가 NP에 속한다는 것을 입증하는 것.
• GRH가 증명서의 크기가 다항시간 내에 유지되도록 보장함으로써, 다항시간 내에 검증 가능한 비자명성에 대한 다항길이의 증명서를 제공하는 것.
• 해스, 라가리아스, 히피퍼의 결과(비자명성 문제의 NP 소속)를 보완하여, 동일한 가정 하에 비자명성 문제가 coNP에 속함을 보여주며, 이로써 비자명성 문제가 NP ∩ coNP에 속함을 밝혀내는 것.
• 짧은 증명서의 존재가 GRH에 의존한다는 것을 보여주되, 증명서 자체는 조건부가 아니며 확실하게 타당하다는 것을 확인하는 것.
• 특히, 표준 추측 하에 매듭의 비자명성이 NP-난이도가 아닐 가능성이 있다는 복잡도론적 함의를 탐색하는 것.

제안 방법

• 비자명한 매듭은 항상 $ \mathrm{SU}(2) \subset \mathrm{SL}(2,\mathbb{C}) $로의 비아벨 표현을 가진다는 크론하이머와 브로와카의 결과를 활용한다.
• 코이란의 정리를 활용하여, 대수방정식 시스템이 복소수 해를 가진다면, GRH 하에 그 해가 모듈로 소수 $ p $ 에서도 존재하는 작은 소수 $ p $ 가 존재함을 보인다.
• 증명서로 사용할 소수 $ p $ 와 매듭군의 생성자 각각에 대한 $ 2 \times 2 $ 행렬 표현( $ \mathbb{Z}/p\mathbb{Z} $ 위에서)을 구성한다.
• 행렬 표현이 매듭군의 관계를 만족하고, 비교적 비가환적이거나 위르팅어 표현에서 모두 동일하지 않음을 검증함으로써 비자명성을 확인한다.
• 유한체 위에서의 이러한 비아벨 표현이 존재한다는 사실은 매듭이 원판이 아님을 의미함을 이용한다.
• 일반화된 리만 가설을 적용하여 $ p $ 의 크기를 유한하게 제한함으로써, 증명서 길이가 입력 크기의 다항함수 내에 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 일반화된 리만 가설(GRH)을 가정할 경우, 매듭이 비자명한지 여부를 판단하는 문제는 복잡도 클래스 NP에 속하는가?
• RQ2 유한군 표현을 이용하여 짧고 효율적으로 검증 가능한 비자명성 증명서를 구성할 수 있는가?
• RQ3 GRH가 증명서의 다항길이를 보장하는 데 어떤 역할을 하는가? 이 조건을 조건부 없이 제거할 수 있는가?
• RQ4 매듭의 비자명성 문제의 복잡도는 소인수분해나 그래프 이sov머피즘과 같은 중간 복잡도 문제와 어떻게 관련이 있는가?
• RQ5 다른 증명서나 알고리즘(예: 양자 알고리즘)을 통해 매듭의 비자명성이 BQP 또는 SZK와 같은 복잡도 클래스에 속할 수 있는가?

주요 결과

• 일반화된 리만 가설(GRH)을 가정할 경우, 매듭의 비자명성 문제가 NP에 속함을 입증하였으며, 해스, 라가리아스, 히피퍼의 결과(비자명성 문제가 NP에 속함)와 함께 완결된 그림을 그렸다.
• 증명서는 소수 $ p $ 와 매듭군의 비아벨 $ \mathrm{SL}(2,\mathbb{Z}/p\mathbb{Z}) $-표현으로 구성되며, GRH 하에 입력 크기의 다항함수 내에서 $ p $ 가 유한하게 제한된다.
• 검증자는 다항시간 내에 군의 관계와 표현의 비가환성을 확인함으로써 매듭이 비자명함을 검증한다.
• GRH 없이도 증명서는 여전히 유효하지만, 길이가 $ \exp(\exp(\mathrm{poly}(\ell))) $ 수준으로 증가한다. 여기서 $ \ell $ 는 교차점 수 또는 단체 수이다.
• 이 결과는 비자명성 문제가 GRH 하에 NP ∩ coNP 에 속함을 시사하며, 이는 비자명성 문제가 NP-난이도가 아니며 중간 복잡도 클래스에 속할 가능성이 있음을 암시한다.
• 이 방법은 매듭군의 유한 몫의 크기에 대한 효과적인 상한을 제공한다: GRH 하에 $ |G| = \exp(\mathrm{poly}(\ell)) $, 그렇지 않으면 $ \exp(\exp(\mathrm{poly}(\ell))) $.