[논문 리뷰] How hard is it to approximate the Jones polynomial?

Greg Kuperberg|arXiv (Cornell University)|2009. 08. 04.

Quantum Computing Algorithms and Architecture참고 문헌 24인용 수 67

한 줄 요약

이 논문은 비격자 원주율에서의 존스 다항식 근사화가 어떤 값 구분 가능한 근사화라도 #P-난이도임을 증명한다. 이는 고정된 0 < a < b에 대해 |V(L,t)|가 a보다 작거나 b보다 큰지를 구분하는 경우조차도 마찬가지다. 이 결과는 양자 계산의 보편성, Aaronson의 PostBQP = PP 정리, 그리고 Solovay-Kitaev 정리를 결합하여 이러한 근사화가 #P의 전부의 능력을 포괄함을 보이며, 이는 #P ⊆ FP가 아닐 경우 효율적인 고전적 근사화가 불가능하다는 것을 시사한다.

ABSTRACT

Freedman, Kitaev, and Wang [arXiv:quant-ph/0001071], and later Aharonov, Jones, and Landau [arXiv:quant-ph/0511096], established a quantum algorithm to "additively" approximate the Jones polynomial V(L,t) at any principal root of unity t. The strength of this additive approximation depends exponentially on the bridge number of the link presentation. Freedman, Larsen, and Wang [arXiv:math/0103200] established that the approximation is universal for quantum computation at a non-lattice, principal root of unity; and Aharonov and Arad [arXiv:quant-ph/0605181] established a uniform version of this result. In this article, we show that any value-dependent approximation of the Jones polynomial at these non-lattice roots of unity is #P-hard. If given the power to decide whether |V(L,t)| &gt; a or |V(L,t)| &lt; b for fixed constants a &gt; b &gt; 0, there is a polynomial-time algorithm to exactly count the solutions to arbitrary combinatorial equations. In our argument, the result follows fairly directly from the universality result and Aaronson's theorem that PostBQP = PP [arXiv:quant-ph/0412187].

연구 동기 및 목표

• 비격자 원주율에서의 존스 다항식 근사화의 계산 난이도를 규명하는 것.
• 이러한 근사화에서의 값 구분 가능한 근사화가 #P-난이도임을 보여주는 것.
• 양자 계산과 링크 불변량의 맥락에서 Aaronson의 PostBQP = PP 정리와 Solovay-Kitaev 정리를 명확히 하고 일반화하는 것.
• 평면 그래프에서 투트 토폴로지 다항식의 특정 값으로의 난이도 결과를 확장하는 것.
• 존스 다항식을 계산하는 데 있어 모스 유형 알고리즘의 최적성에 대해 조사하는 것.

제안 방법

• Freedman, Larsen, Wang가 확립한 비격자 원주율에서의 존스 다항식의 양자 계산 보편성 사용.
• Aaronson의 정리(PostBQP = PP)를 적용하여 양자 결정 문제와 수세기 복잡도를 연결.
• Solovay-Kitaev 정리를 활용하여 비격자 원주율에서의 유한한 게이트 집합으로 임의의 양자 게이트를 시뮬레이션.
• 고정된 0 < a < b에 대해 |V(L,t)| < a 와 |V(L,t)| > b 를 구분하는 결정 문제로 #P-완전 문제를 감소.
• 비격자 원주율에서의 존스 다항식 평가를 사용하여 #P-난이도 문제를 시뮬레이션하는 양자 회로 구축.
• 존스 다항식으로부터 투트 토폴로지 다항식으로의 알려진 감소를 활용하여 주장 확장.

실험 결과

연구 질문

• RQ1 비격자 원주율에서의 존스 다항식 근사화는 계산적으로 난이도가 높은가?
• RQ2 비격자 원주율에서의 존스 다항식 값 구분 가능한 근사화는 다항시간 내에 해결될 수 있는가?
• RQ3 존스 다항식의 보편성과 그 계산 복잡도 사이의 관계는 무엇인가?
• RQ4 특정 값의 투트 토폴로지 다항식은 근사화가 #P-난이도인가?
• RQ5 존스 다항식을 계산하거나 추정하는 데 있어 모스 알고리즘이 최적임을 증명할 수 있는가?

주요 결과

• 비격자 원주율에서의 존스 다항식 값 구분 가능한 근사화는 쿡-튜링 감소에 대해 #P-난이도이다.
• 이 난이도 결과는 일반 링크가 아니라 knot(결합)로 제한된 경우에도 성립한다.
• 이 결과는 복소수 값이 아닌 크기 |V(L,t)|에 대해 적용되며, 상수 인자 근사화에 대해 안정적이다.
• 이 난이도 결과는 평면 그래프에서의 투트 토폴로지 다항식 T(G,x,y)의 특정 값으로 확장되며, 이는 임의의 상수 인자 c > 1 범위 내에서 근사화가 #P-난이도임을 의미한다.
• 이 증명 기법은 양자 계산 보편성, Aaronson의 PostBQP = PP 결과, Solovay-Kitaev 정리를 통합한다.
• 결과는 모스 알고리즘이 비격자 원주율에서 존스 다항식을 계산하는 데 거의 최적일 수 있음을 시사하며, 이는 브릿지 수에 대해 지수 시간이 소요되기 때문이다.