[논문 리뷰] Quantum Computation of Jones' Polynomials

V. Subramaniam, P. Ramadevi|ArXiv.org|2002. 10. 12.

Geometric and Algebraic Topology참고 문헌 12인용 수 10

한 줄 요약

이 논문은 6-vertex 모델로부터 유도된 브레인 군 생성자의 유니터리 표현을 사용하여 2n-끈 브레인에서 유도된 결합 및 링크의 존스 다항식을 계산하는 양자 알고리즘을 제안한다. 브레인 어휘를 유니터리 양자 게이트의 곱으로 매핑함으로써, 알고리즘은 존스 다항식의 절댓값 제곱을 측정 확률로 계산하며, 정규화를 제외한 정확한 존스 다항식을 비대칭 결합 및 링크에 대해 성공적으로 도출한다.

ABSTRACT

It is a challenging problem to construct an efficient quantum algorithm which can compute the Jones' polynomial for any knot or link obtained from platting or capping of a $2n$-strand braid. We recapitulate the construction of braid-group representations from vertex models. We present the eigenbases and eigenvalues for the braiding generators and its usefulness in direct evaluation of Jones' polynomial. The calculation suggests that it is possible to associate a series of unitary operators for any braid word. Hence we propose a quantum algorithm using these unitary operators as quantum gates acting on a $2n$ qubit state. We show that the quantum computation gives Jones' polynomial for achiral knots and links.

연구 동기 및 목표

• 브레인에서 유도된 결합 및 링크의 존스 다항식을 효율적으로 계산하는 양자 알고리즘을 개발하기 위해.
• 존스 다항식 평가의 고전적 #P-어려움을 양자 계산을 활용하여 해결하기 위해.
• 브레인 어휘와 2n-qubit 레지스터에 작용하는 유니터리 연산자 사이의 직접적 대응 관계를 수립하기 위해.
• 진행된 상태의 양자 측정 확률이 존스 다항식의 절댓값 제곱과 일치함을 보여주기 위해.
• 비대칭 결합의 경우, 행렬 원소가 실수이기 때문에 행렬 원소 ⟨0|U_B|0⟩가 정규화를 제외한 정확한 존스 다항식을 제공함을 보여주기 위해.

제안 방법

• 6-vertex 모델(N=2)에서 유도된 R-행렬을 사용하여 2n-끈 브레인에 대응하는 브레인 군 표현을 구성한다.
• 빙글링 생성자를 대각화하여 고유값과 고유상을 구하고, 제어된 연산을 통한 유니터리 진동을 가능하게 한다.
• 전체 브레인 어휘를 이중 행렬과 대각선 빈글링 행렬이 작용하는 2n-큐비트 힐베르트 공간에서의 유니터리 연산자의 곱으로 표현한다.
• 상태를 |0⟩^⊗2n(커프를 나타냄)로 초기화하고, 브레인 어휘에 대응하는 유니터리 진동 U_B를 적용함으로써 양자 알고리즘을 구현한다.
• 측정된 확률 진폭 |⟨0|U_B|0⟩|²을 계산하며, 이는 존스 다항식의 절댓값 제곱과 대응된다.
• 비대칭 결합의 경우, 행렬 원소 ⟨0|U_B|0⟩는 실수이므로, 확률이 정규화를 제외한 존스 다항식을 직접 제공한다.

실험 결과

연구 질문

• RQ1 브레인에서 유도된 결합 및 링크의 존스 다항식을 양자 알고리즘을 통해 효율적으로 계산할 수 있는가?
• RQ2 정점 모델에서 유도된 브레인 군 생성자를 양자 계산을 위한 유니터리 양자 게이트로 어떻게 매핑할 수 있는가?
• RQ3 빙글링 행렬의 고유기저와 고유값은 존스 다항식의 직접적 평가에 어떤 역할을 하는가?
• RQ4 양자 측정 확률이 존스 다항식의 절댓값 제곱이 아닌 정확히 존스 다항식과 일치하는 조건은 무엇인가?
• RQ5 이 양자 알고리즘은 모든 결합의 존스 다항식을 계산하는 데로 확장 가능한가, 아니면 비대칭 결합과 같은 특정 하위류에 대해서만 가능한가?

주요 결과

• 어떤 2n-끈 브레인에서 유도된 결합 또는 링크의 존스 다항식도, U_B가 브레인 군 표현으로 구성된 유니터리 연산자일 때 행렬 원소 ⟨0|U_B|0⟩의 절댓값 제곱으로 계산할 수 있다.
• 비대칭 결합 및 링크의 경우, 행렬 원소 ⟨0|U_B|0⟩는 실수이므로, 양자 측정이 정규화를 제외한 존스 다항식을 직접 제공한다.
• 유니터리 표현 U_B는 이중 행렬과 대각선 빈글링 행렬에서 유도된 2n-큐비트 유니터리 연산자의 곱으로 구성되며, 게이트 수는 브레인 어휘 길이의 두 배 이내이다.
• 이 방법은 6-vertex 모델에서 유도된 빈글링 생성자의 고유기저와 고유값에 의존하며, 다항식의 명시적 계산을 가능하게 한다.
• 알고리즘은 고전적 #P-어려움에도 불구하고, 비트라이벌한 결합의 클래스에 대해 양자 계산이 존스 다항식을 효율적으로 계산할 수 있음을 보여준다.
• 이 프레임워크는 통계역학 모델에서 유도된 유니터리 게이트를 사용한 위상적 양자 계산의 구체적 실현을 제공한다.