[논문 리뷰] Efficient algorithm for a quantum analogue of 2-SAT

Sergey Bravyi|arXiv (Cornell University)|2006. 02. 14.

graph theory and CDMA systems인용 수 13

한 줄 요약

이 논문은 양자 2-SAT 문제를 해결하는 고전적 다항시간 알고리즘을 제시한다. 이 문제는 n 큐비트의 양자 상태가 존재하는지 여부를 판단하는 것으로, 모든 2 큐비트 부분 밀도 행렬이 사전에 지정된 부분공간과 수직이 되는지를 묻는다. 알고리즘은 국소 일致성 규칙을 사용하는 고전적 2-SAT 해법을 일반화하며, 양자 2-SAT가 효율적으로 해결 가능하다는 것을 증명한다. 반면, k ≥ 4인 양자 k-SAT 문제는 한쪽 오류를 가진 QMA-완전하다.

ABSTRACT

Complexity of a quantum analogue of the satisfiability problem is studied. Quantum k-SAT is a problem of verifying whether there exists n-qubit pure state such that its k-qubit reduced density matrices have support on prescribed subspaces. We present a classical algorithm solving quantum 2-SAT in a polynomial time. It generalizes the well-known algorithm for the classical 2-SAT. Besides, we show that for any k>=4 quantum k-SAT is complete in the complexity class QMA with one-sided error.

연구 동기 및 목표

• 감소된 밀도 행렬에 대한 제약 조건을 통해 고전적 2-SAT 문제의 양자 버전을 정의하기.
• 고전적 2-SAT 알고리즘을 일반화하여 양자 2-SAT가 다항시간 내에 해결 가능한지 판단하기.
• k ≥ 4인 양자 k-SAT의 복잡도를 규명하고, 특히 한쪽 오류를 가진 QMA-완전성 여부를 밝히기.
• 국소 대칭성과 불변성 원리를 사용하여 기존 제약 조건으로부터 새로운 제약 조건을 구성하는 방법을 제공하기.

제안 방법

• 모든 2 큐비트 프로젝터 Π_{a,b}가 금지된 부분공간으로의 사영일 때, n 큐비트 상태 |Ψ⟩가 존재하여 Π_{a,b}|Ψ⟩ = 0를 만족하는 문제로 양자 2-SAT를 정의한다.
• 레마 1을 도입하여, 큐비트 교환에 대한 국소 불변성 원리를 이용해 기존 제약 조건으로부터 새로운 2 큐비트 제약 조건을 유도한다.
• 한 번에 한 큐비트씩 제거하면서 n 큐비트 문제를 (n−1)-큐비트 문제로 줄이는 귀납적 알고리즘을 사용한다.
• 양자 회로에서 유도된 해밀토니안 H = H_init + H_clock + H_prop + H_out을 구성하여, 양자 4-SAT의 QMA-완전성을 증명한다.
• 해밀토니안의 기본 상태 에너지가 0임과 동시에 원래 양자 회로가 확률 1로 수락하는 경우에만 해당함을 보인다.
• 키타에프-비딕 구성법을 사용하여 부정적인 경우의 기본 상태 에너지를 유계로 둔다. 이는 다항 갭을 보장한다.

실험 결과

연구 질문

• RQ1 고전적 2-SAT의 선형시간 알고리즘과 유사한 다항시간 고전적 알고리즘이 양자 2-SAT 문제를 해결할 수 있는가?
• RQ2 k ≥ 4인 양자 k-SAT의 계산 복잡도는 무엇이며, 한쪽 오류를 가진 QMA에 속하는가?
• RQ3 국소 대칭성과 불변성 원리를 사용하여 기존 제약 조건으로부터 새로운 2 큐비트 제약 조건을 도출할 수 있는가?
• RQ4 제약 조건이 임의의 두 큐비트 상태로의 사영자로 정의될 경우, 양자 2-SAT 문제는 여전히 효율적으로 해결 가능한가?
• RQ5 양자 회로의 수락 행동이, 기본 상태 에너지가 0이 되는 국소 해밀토니안으로 표현될 수 있는가? 이 경우 회로가 확률 1로 수락할 때에만 성립한다.

주요 결과

• 국소 제약 조건 전파 기반의 귀납적 알고리즘을 사용하여, 양자 2-SAT는 고전적 다항시간 내에 해결 가능하다.
• 레마 1을 통해 큐비트 교환에 대한 불변성 원리를 이용해 기존 제약 조건으로부터 새로운 제약 조건을 생성함으로써, 고전적 2-SAT 해법을 일반화한다.
• k ≥ 4인 경우, 양자 k-SAT는 한쪽 오류를 가진 QMA-완전하다. 이는 복잡도의 날카로운 경계를 설정한다.
• 구성된 해밀토니안의 기본 상태 에너지는 입력 양자 회로가 확률 1로 수락할 때에만 0이 된다.
• 부정적인 경우, 기본 상태 에너지는 어떤 다항식 q에 대해 1/q(|x|) 이하로 유계로 둔다. 이는 무시할 수 없는 갭을 보장한다.
• 시계 레지스터와 4-로컬 프로젝터를 사용하여 회로 진화를 인코딩하며, 전체 해밀토니안는 4 큐비트 프로젝터의 합으로 표현 가능하다.