[논문 리뷰] The k-local Pauli Commuting Hamiltonians Problem is in P

Jijiang Yan, Dave Bacon|arXiv (Cornell University)|2012. 03. 17.

Spectral Theory in Mathematical Physics참고 문헌 1인용 수 9

한 줄 요약

이 논문은 k-로컬 팔리 양자해밀토니안 문제—모든 상호작용하는 팔리 연산자를 동시에 최소화하는 양자 상태를 결정하는 문제—가 P에 속해 있음을 증명한다. 즉, 이는 고전적 컴퓨터에서 효율적으로 해결될 수 있음을 의미한다. 이 해결책은 스타비라이저 포멀리즘을 활용하며, 문제를 심플렉틱 벡터 공간 위의 XOR-SAT 인스턴스로 환원한다. 이는 토릭 코드와 같은 위상적으로 순서가 매겨진 시스템조차도 이 조건 하에서 고전적으로 다룰 수 있음을 보여준다.

ABSTRACT

Given a Hamiltonian that is a sum of commuting few-body terms, the commuting Hamiltonian problem is to determine if there exists a quantum state that is the simultaneous eigenstate of all of these terms that minimizes each term individually. This problem is known to be in the complexity class quantum Merlin-Arthur, but is widely thought to not be complete for this class. Here we show that a limited form of this problem when the individual terms are all made up of tensor products of Pauli matrices is efficiently solvable on a classical computer and thus in the complexity class P. The problem can be thought of as the classical XOR-SAT problem over a symplectic vector space. This class of problems includes instance Hamiltonians whose ground states possess topological entanglement, thus showing that such entanglement is not always a barrier for the more general problem.

연구 동기 및 목표

• k-로컬 팔리 양자해밀토니안 문제의 계산 복잡도를 규명하는 것.
• 상호작용하는 해밀토니안에서 위상적 질서가 양자 계산의 어려움을 유도하는 지 조사하는 것.
• 팔리 연산자로 구성된 상호작용하는 해밀토니안이 고전적으로 효율적으로 해결될 수 있는 지 확인하는 것.
• 스타비라이저 코드와 양자 다체 문제의 고전적 해법 가능성 간의 관계를 탐색하는 것.
• 위상적 얽힘은 상호작용하는 해밀토니안 시스템에서 효율적인 고전적 시뮬레이션을 방해하는 장벽이 되는가를 명확히 하는 것.

제안 방법

• 문제는 심플렉틱 벡터 공간 위에서 상호작용하는 팔리 연산자로 재정의된다.
• 가우스 소거법과 클리포드 연산(제어-NOT, 하다르드, S 게이트)을 적용하여 해밀토니안을 표준형으로 변환한다.
• 변환 과정은 스타비라이저 행렬에 -I 행이 존재하는 지 확인하는 것으로 줄어든다. 이는 해가 존재하지 않음을 시사한다.
• -I 행이 나타나지 않으면, 시스템은 항상 계산 기저 상태의 텐서곱에 해당하는 해를 갖는 단일 큐비트 ±X 연산의 집합으로 줄어든다.
• 전체 환원 과정은 기존의 스타비라이저 코드 이론 기법을 사용해 다항시간 내에 계산 가능함을 보여준다.
• 문제는 이진 심플렉틱 공간 위의 XOR-SAT 인스턴스로 매핑되며, 이는 알려진 바로 P에 속함을 증명한다.

실험 결과

연구 질문

• RQ1 k-로컬 팔리 상호작용 해밀토니안 문제는 고전적 컴퓨터에서 다항시간 내에 해결 가능한가?
• RQ2 상호작용하는 해밀토니안에서 위상적 질서는 고전적 다루기 용이성과 공존할 수 있는가?
• RQ3 스타비라이저 포멀리즘은 상호작용하는 팔리 해밀토니안의 효율적 고전적 시뮬레이션을 가능하게 하는가?
• RQ4 팔리 연산자로 제한된 경우 상호작용하는 해밀토니안 문제는 NP에 속하는가?
• RQ5 위상적 질서를 초월해 상호작용하는 해밀토니안의 복잡도를 결정하는 구조적 특성은 무엇인가?

주요 결과

• k-로컬 팔리 상호작용 해밀토니안 문제는 P에 속한다. 즉, 고전적 컴퓨터에서 다항시간 내에 해결 가능하다.
• 해밀토니안을 클리포드 연산과 가우스 소거법을 사용해 표준형으로 변환하는 데 의존한다.
• 환원 과정 중 -I 행이 나타나면 부정적인 해답이 반환되며, 이는 동시에 최소 상태가 존재하지 않음을 시사한다.
• -I 행이 나타나지 않으면 환원이 완료되었을 때 항상 해가 존재하며, 이는 계산 기저 상태의 텐서곱에 해당한다.
• 문제는 심플렉틱 벡터 공간 위의 XOR-SAT 인스턴스로 환원되며, 이는 알려진 바로 P에 속한다.
• 위상적으로 질서가 매겨진 시스템인 키타예프의 토릭 코드와 같은 시스템도 이 범주에 포함되며, 이 형태로는 여전히 고전적으로 해를 구할 수 있다.