[논문 리뷰] Linear time algorithm for quantum 2SAT

Itai Arad, Miklós Sántha외 2명|arXiv (Cornell University)|2015. 08. 26.

Quantum Computing Algorithms and Architecture참고 문헌 16인용 수 3

한 줄 요약

이 논문은 양자 2-SAT 문제를 결정론적 선형 시간 알고리즘으로 해결하는 방법을 제시한다. 시간 복잡도는 O(n + m)이며, 여기서 n은 큐비트 수이고 m은 2 큐비트 프로젝터 수이다. 알고리즘은 제품 상태 정리와 얽힘 인식 제약 이동 기법을 사용하여 고전적 Davis-Putnam 접근법을 양자 환경으로 확장하며, 과잉 불일치 없는 구조를 활용하고 동적 경로 압축을 통한 효율적 그래프 순회를 통해 최적의 복잡도를 달성한다.

ABSTRACT

A canonical result about satisfiability theory is that the 2-SAT problem can be solved in linear time, despite the NP-hardness of the 3-SAT problem. In the quantum 2-SAT problem, we are given a family of 2-qubit projectors $Π_{ij}$ on a system of $n$ qubits, and the task is to decide whether the Hamiltonian $H=\sum Π_{ij}$ has a 0-eigenvalue, or it is larger than $1/n^α$ for some $α=O(1)$. The problem is not only a natural extension of the classical 2-SAT problem to the quantum case, but is also equivalent to the problem of finding the ground state of 2-local frustration-free Hamiltonians of spin $\frac{1}{2}$, a well-studied model believed to capture certain key properties in modern condensed matter physics. While Bravyi has shown that the quantum 2-SAT problem has a classical polynomial-time algorithm, the running time of his algorithm is $O(n^4)$. In this paper we give a classical algorithm with linear running time in the number of local projectors, therefore achieving the best possible complexity.

연구 동기 및 목표

• 양자 2-SAT 문제에 대해 최적의 선형 시간 복잡도를 가지는 고전적 알고리즘을 개발한다.
• 기존의 다항식 시간 해결책(O(n⁴))과 양자 2-SAT의 이론적 하한 사이의 격차를 해소한다.
• 단지 랭크-1 및 랭크-2 프로젝터만을 포함하는 과잉 불일치 없는 양자 2-SAT 인스턴스에 대해 구조적 제품 상태 정리를 수립한다.
• 스핀-1/2 시스템의 2-로컬 과잉 불일치 없는 해밀토니안에서 효율적인 기본 상태 탐지 기능을 제공한다.
• 고전적 2-SAT 해결 기법을 양자 환경으로 일반화하면서도 선형 시간 성능을 유지한다.

제안 방법

• 모든 과잉 불일치 없는 양자 2-SAT 인스턴스에서 랭크-1 및 랭크-2 프로젝터만을 포함하는 경우, 기본 상태가 단일 큐비트 상태의 텐서 곱임을 증명하는 제품 상태 정리를 도입한다.
• 큐비트에 대한 후보 할당을 테스트하고 상호작용 그래프를 통해 제약 조건을 전파함으로써 고전적 Davis-Putnam 해상 전략을 양자 환경에 적응시킨다.
• 충돌하는 경로를 감지하고 슬라이딩 레퍼런스를 적용하여 다중 간선 경로를 직접적인 두 큐비트 제약 조건으로 대체하는 새로운 경로 전파 메커니즘을 사용한다.
• 슬라이딩 레퍼런스를 반복적으로 적용하여 얽힌 경로를 동치인 직접 프로젝터로 압축함으로써 기본 상태를 유지하고 효율적인 전파를 가능하게 한다.
• 동적 그래프 수축을 사용한 재귀 알고리즘을 구현한다: 성공적인 전파 후에 탐색된 부분 그래프를 분리하고 나머지 시스템에서 재귀적으로 처리한다.
• 일致성과 모순 탐지를 보장하기 위해 닫힌 상태 추적 메커니즘을 사용하여 병렬 전파 경로에서의 불일치를 감지한다.

실험 결과

연구 질문

• RQ1 양자 2-SAT 문제는 최고의 고전적 2-SAT 알고리즘과 동일한 선형 시간 내에 해결될 수 있는가?
• RQ2 모든 과잉 불일치 없는 양자 2-SAT 인스턴스에서 랭크-1 및 랭크-2 프로젝터만을 포함하는 경우, 제품 상태 기본 상태가 존재하는가?
• RQ3 양자 얽힘은 지수적 팽창 없이 제약 조건 전파에서 어떻게 효율적으로 처리될 수 있는가?
• RQ4 양자 2-SAT에서 경로 기반 제약 조건 전파를 최적화하여 간선 집합에 대해 수축하는 복잡도 합계를 달성할 수 있는가?
• RQ5 기본 상태를 유지하면서 상호작용 그래프의 다중 간선 경로를 동치인 직접 두 큐비트 프로젝터로 대체할 수 있는가?

주요 결과

• 논문은 제품 상태 정리를 수립한다: 모든 과잉 불일치 없는 양자 2-SAT 인스턴스에서 랭크-1 및 랭크-2 프로젝터만을 포함하는 경우, 단일 큐비트 상태의 텐서 곱인 기본 상태가 존재한다.
• 제안된 알고리즘은 O(n + m) 시간 내에 실행되며, 여기서 n은 큐비트 수이고 m은 국소 프로젝터 수이므로 최적의 선형 복잡도를 달성한다.
• 알고리즘은 새로운 슬라이딩 레퍼런스를 사용하여 얽힌 제약 조건의 경로를 동치인 직접 두 큐비트 프로젝터로 대체함으로써 기본 상태를 유지하고 효율적인 전파를 가능하게 한다.
• 전파 중 충돌은 충돌하는 경로 결과를 통해 감지되며, 모든 경로에서 일관된 할당이 존재하지 않을 경우 불가능성이 확인된다.
• 알고리즘의 복잡도는 전파 경로의 효율적 재사용과 동적 그래프 수축 덕분에 간선 집합에 대해 수축하는 것으로 증명되며, 총합은 O(|E|)가 된다.
• 알고리즘은 과잉 불일치 없는 인스턴스를 정확히 식별하고 선형 시간 내에 유효한 제품 상태 기본 할당을 반환하며, 이는 이전의 O(n⁴) 상한을 향상시킨다.