[논문 리뷰] The Jones polynomial: quantum algorithms and applications in quantum complexity theory

Paweł Wocjan, Jon Yard|arXiv (Cornell University)|2006. 03. 08.

Quantum Computing Algorithms and Architecture참고 문헌 21인용 수 19

한 줄 요약

이 논문은 브레인 군의 유니터리 표현을 통해 존스 다항식과 그 일반화인 HOMFLYPT 다항식을 근사하는 효율적인 양자 알고리즘을 제시한다. 뿌리 단위에서의 존스 다항식의 덧셈 근사가 양자 계산의 보편성을 충분히 제공함을 입증하며, 관련 문제에 대해 QCMA- 및 PSPACE-완전성을 증명하고, 존스 다항식의 중요한 비트를 학습하는 문제에 대해 #P-난이도를 단순화된 양자 기반 증명으로 재확인한다.

ABSTRACT

We analyze relationships between quantum computation and a family of generalizations of the Jones polynomial. Extending recent work by Aharonov et al., we give efficient quantum circuits for implementing the unitary Jones-Wenzl representations of the braid group. We use these to provide new quantum algorithms for approximately evaluating a family of specializations of the HOMFLYPT two-variable polynomial of trace closures of braids. We also give algorithms for approximating the Jones polynomial of a general class of closures of braids at roots of unity. Next we provide a self-contained proof of a result of Freedman et al. that any quantum computation can be replaced by an additive approximation of the Jones polynomial, evaluated at almost any primitive root of unity. Our proof encodes two-qubit unitaries into the rectangular representation of the eight-strand braid group. We then give QCMA-complete and PSPACE-complete problems which are based on braids. We conclude with direct proofs that evaluating the Jones polynomial of the plat closure at most primitive roots of unity is a #P-hard problem, while learning its most significant bit is PP-hard, circumventing the usual route through the Tutte polynomial and graph coloring.

연구 동기 및 목표

• 브레인 군의 존스-웬즐 유니터리 표현을 구현하는 효율적인 양자 회로를 개발하기 위해.
• 존스 다항식 근사화를 위한 양자 알고리즘의 범위를 브레인 클로처의 더 넓은 클래스와 HOMFLYPT 다항식으로 확장하기 위해.
• 뿌리 단위에서 존스 다항식의 덧셈 근사가 양자 계산에 대해 보편적임을 증명하는 단순화된 증명을 제공하기 위해.
• 브레인 기반으로 새로운 복잡도 이론 문제를 설정하고, QCMA- 및 PSPACE-완전성 결과를 도출하기 위해.
• 그래프 색칠법과 투티 다항식을 거치지 않고도, 존스 다항식의 중요한 비트를 학습하는 문제에 대해 직접적인 양자 기반 증명을 제공하기 위해.

제안 방법

• 국소적인 두 큐비트 유니터리 변환을 사용하여 브레인 군의 존스-웬즐 유니터리 표현을 효율적으로 실현하는 양자 회로를 구성하기 위해.
• 여덟 가닥 브레인 군의 직사각형 표현에 두 큐비트 양자 게이트를 인코딩하고, 네 주기성의 성질을 활용하여 게이트 실현을 단순화하기 위해.
• 유니터리 표현을 사용하여 양자 회로를 통해 존스 다항식과 HOMFLYPT 다항식 평가의 덧셈 근사를 계산하기 위해.
• 양자 게이트를 브레인으로 인코딩하여 양자 회로의 시뮬레이션을 브레인 운동으로 변환하고, 큐비트당 네 가닥 인코딩을 통해 시뮬레이션을 단순화하기 위해.
• 헤케 대수의 구조를 활용하여 존스 다항식과 HOMFLYPT 다항식에 대한 표현 이론적 공식을 유도하기 위해.
• 존스 다항식의 가장 중요한 비트를 학습하는 것이 #P- 및 PP-난이도 문제를 해결하는 것과 동치임을 보여주는 방식으로 난이도 결과를 증명하기 위해.

실험 결과

연구 질문

• RQ1 브레인 군 표현을 사용하여 존스 다항식과 HOMFLYPT 다항식을 근사하는 효율적인 양자 알고리즘을 구성할 수 있는가?
• RQ2 뿌리 단위에서 존스 다항식의 덧셈 근사가 보편적 양자 계산을 시뮬레이션하는 데에 충분한가?
• RQ3 큐비트당 네 가닥 인코딩을 사용하면, 기존의 세 가닥 인코딩 대비 양자 회로의 브레인 기반 시뮬레이션을 단순화할 수 있는가?
• RQ4 브레인의 플랫 클로처에 대한 존스 다항식의 가장 중요한 비트를 학습하는 것은 PP-난이도인가?
• RQ5 브레인의 플랫 클로처에 대한 존스 다항식의 선형 수준의 가장 중요한 비트를 학습하는 것은 #P-난이도인가?

주요 결과

• 논문은 브레인의 수와 교차점의 수에 대해 다항 시간 내에 존스-웬즐 표현을 실현하는 양자 회로를 구성하였으며, 회로의 깊이도 브레인의 수에 대해 다항식이다.
• 알고리즘은 매개변수 ℓ의 증가와 무관하게, k가 상수일 경우 HOMFLYPT 다항식 평가의 덧셈 근사를 다항 시간 내에 달성한다.
• 저자들은 플랫 클로처의 존스 다항식에 대한 덧셈 근사가 양자 계산에 대해 보편적임을 증명하는 단순화된 증명을 제공하였으며, 이는 BQP와 동치이다.
• 플랫 클로처의 존스 다항식을 공액을 통해 증가시키는 문제는 QCMA-완전성임을 입증하였으며, 이는 NP-완전성의 양자 버전을 확립한다.
• 브레인을 지수적으로 많이 연결한 후의 존스 다항식 근사를 근사하는 문제는 PSPACE-완전성임을 증명하였다.
• 플랫 클로처의 존스 다항식의 가장 중요한 비트를 학습하는 것은 PP-난이도이며, 그 선형 수준의 가장 중요한 비트를 학습하는 것은 #P-난이도임을 직접적인 양자 기반 증명을 통해 입증하였으며, 이는 그래프 색칠법과 투티 다항식을 거치지 않았다.