[논문 리뷰] A Polynomial Quantum Algorithm for Approximating the Jones Polynomial

Dorit Aharonov, Vaughan F. R. Jones외 1명|ArXiv.org|2005. 11. 09.

Geometric and Algebraic Topology참고 문헌 21인용 수 20

한 줄 요약

이 논문은 브레인 군의 경로 모델 표현과 템퍼리-라이브 대수에서의 마르코프 추적의 유일성에 기반하여, 임의의 원시 k차 단위근 e^{2πi/k}에서 n줄 브레인의 존스 다항식을 다항시간 내에 다항식 오차로 근사하는 명시적 양자 알고리즘을 제시한다. 이 알고리즘은 애드티브 근사 오차를 역다항식 수준으로 달성하며, BQP-완전성을 가지며, 위상 양자장 이론에 의존하지 않는 조합론적 문제에 대해 직접적인 양자 가속을 제공한다.

ABSTRACT

The Jones polynomial, discovered in 1984, is an important knot invariant in topology. Among its many connections to various mathematical and physical areas, it is known (due to Witten) to be intimately connected to Topological Quantum Field Theory (TQFT). The works of Freedman, Kitaev, Larsen and Wang provide an efficient simulation of TQFT by a quantum computer, and vice versa. These results implicitly imply the existence of an efficient quantum algorithm that provides a certain additive approximation of the Jones polynomial at the fifth root of unity, e^{2πi/5}, and moreover, that this problem is BQP-complete. Unfortunately, this important algorithm was never explicitly formulated. Moreover, the results mentioned are heavily based on TQFT, which makes the algorithm essentially inaccessible to computer scientists. We provide an explicit and simple polynomial quantum algorithm to approximate the Jones polynomial of an n-strands braid with m crossings at any primitive root of unity e^{2πi/k}, where the running time of the algorithm is polynomial in m,n and k. Our algorithm is based, rather than on TQFT, on well known mathematical results. By the results of Freedman et. al., our algorithm solves a BQP complete problem. The algorithm we provide exhibits a structure which we hope is generalizable to other quantum algorithmic problems. Candidates of particular interest are the approximations of other #P-hard problems, most notably, the partition function of the Potts model, a model which is known to be tightly connected to the Jones polynomial.

연구 동기 및 목표

• 이전의 TQFT 기반 결과에서 암묵적으로 암시되었지만 명시적으로 제시되지 않았던, 존스 다항식을 근사하는 명시적이고 접근 가능한 양자 알고리즘을 제공하기 위해.
• 기존의 다섯 번째 단위근 e^{2πi/5}를 넘어서, 임의의 원시 k차 단위근 e^{2πi/k}에서의 근사를 다항시간 내에 수행할 수 있도록 확장하기 위해.
• 복잡한 위상 양자장 이론(TQFT)의 형식주의가 아닌, 구체적인 대수적 구조—특히 경로 모델 표현과 마르코프 추적—에 기반한 알고리즘 설계를 위해.
• 이 알고리즘이 BQP-완전 문제를 해결하므로, 양자 계산의 전체 계산 능력을 포괄함을 입증하기 위해.
• 유사한 유닛리어 게이트 내부의 구조적 인코딩을 통해, 페츠 모델 분할 함수와 같은 다른 #P-난이도 문제로의 일반화를 위한 기반을 마련하기 위해.

제안 방법

• 브레인 군의 경로 모델 표현을 사용하여 브레인을 템퍼리-라이브 대수의 경로 공간 위에서 작용하는 유니터리 행렬로 매핑한다.
• 경로 모델에서 유도된 유니터리 연산자로 브레인의 작용을 인코딩하여, 마르코프 추적을 통해 행렬 곱의 추적값이 존스 다항식과 일치하도록 보장한다.
• 헤단드 테스트를 사용하여 특정 상태에서 브레인 연산자 추적의 실수부와 허수부를 추정함으로써 존스 다항식을 근사한다.
• 가중 경로 공간에서 무작위로 경로를 샘플링하고, 양자 진폭 추정을 통해 기대값을 계산하며, 신뢰도 확보를 위해 체르노프-후프딩 부등식을 활용한다.
• 플랫 닫힘의 경우, 캡컵을 사용하여 브레인을 타앵글로 매핑하고, 기저 상태 |α⟩로의 투영을 통해 추적값과 플랫-닫힘 다항식을 연결한다.
• 마르코프 추적의 유일성 덕분에, 경로 모델에서의 브레인 연산자 추적값이 표준 존스 다항식 평가값과 동일함을 보장한다.

실험 결과

연구 질문

• RQ1 위상 양자장 이론(TQFT)에 의존하지 않고도, 임의의 단위근에서 존스 다항식을 근사할 수 있는 명시적 양자 알고리즘을 구성할 수 있는가?
• RQ2 브레인 군의 경로 모델 표현이 존스 다항식에 대한 직접적이고 효율적인 양자 알고리즘을 가능하게 하는가?
• RQ3 모든 k차 단위근에서 애드티브 근사 오차를 역다항식 수준으로 달성할 수 있으며, 런타임이 m, n, k에 대해 다항식 수준이 되는가?
• RQ4 e^{2πi/k}에서 존스 다항식을 근사하는 문제는 BQP-완전한가? 그리고 이는 명시적인 양자 알고리즘으로 입증될 수 있는가?
• RQ5 이 접근법은 페츠 모델 분할 함수와 같은 다른 #P-난이도 문제로 일반화될 수 있는가? 유사한 구조적 인코딩을 통해 양자 회로에 통합될 수 있는가?

주요 결과

• 이 알고리즘은 임의의 n줄 브레인에 대해 m개의 교차점이 있을 때, e^{2πi/k}에서 존스 다항식을 m, n, k에 대해 다항시간 내에 근사한다.
• 독립 동일분포(i.i.d.) 샘플에 대해 체르노프-후프딩 부등식을 적용하여, 애드티브 근사 오차 ε = 1/poly(n, m, k)를 얻으며, 지수적 높은 신뢰도를 확보한다.
• 알고리즘의 정확성은 마르코프 추적의 유일성과 경로 모델 표현에 기반하여 입증되며, Tr_n(φ(B)) = tr(ρ_A(B))를 보장한다.
• 알고리즘이 BQP-완전하므로, 양자 계산의 전체 계산 능력을 포괄함을 입증하며, 양자 복잡도 이론에서의 핵심적 역할을 확인한다.
• TQFT에 의존하지 않아서 컴퓨터 과학자들에게 접근하기 쉬우며, 하향 자가재귀적 #P-난이도 함수를 포함한 다른 문제들로의 일반화가 가능하다.
• 존스 다항식과 통계역학의 분할 함수 사이의 밀접한 연결 덕분에, 이 방법은 페츠 모델과 같은 다른 문제들로도 확장 가능하다.