[논문 리뷰] Commutative version of the k-local Hamiltonian problem and common eigenspace problem

Sergey Bravyi, M. Vyalyi|ArXiv.org|2003. 08. 04.

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

한 줄 요약

이 논문은 국소 해밀토니안과 분해형 프로젝터에 대한 공통 고유공간(CES) 문제의 양자 복잡도를 조사하며, 특정 경우(예: k-로컬에서 k=2, d=2)에서는 문제가 NP에 속한다는 것을 보여준다. 분해형 프로젝터의 CES 문제는 모든 고유값이 0이고 모든 프로젝터가 랭크-1인 특수한 경우로 감소되며, 이는 Kochen-Specker 문맥성과 관련된 병리적 구성이 일반적인 감소를 방해함을 증명한다. 이는 특수한 경우를 초월해 NP 포함성에 대한 구조적 장벽을 드러낸다.

ABSTRACT

We study the complexity of a problem "Common Eigenspace" -- verifying consistency of eigenvalue equations for composite quantum systems. The input of the problem is a family of pairwise commuting Hermitian operators H_1,...,H_r on a Hilbert space (C^d)^{\otimes n} and a string of real numbers h_1,...,h_r. The problem is to determine whether a common eigenspace specified by equalities (H_a - h_a)|ψ>=0, a=1,...,r, has a positive dimension. We consider two cases: (i) all operators H_a are k-local; (ii) all operators H_a are factorized. It can be easily shown that both problems belong to the class QMA - the quantum analogue of NP, and that some NP-complete problems can be reduced to either (i) or (ii). A non-trivial question is whether the problems (i) or (ii) belong to NP? We show that the answer is positive for some special values of k and d. Also we prove that the problem (ii) can be reduced to its special case, such that all operators H_a are factorized projectors and all h_a=0.

연구 동기 및 목표

• 공통 고유공간(CES) 문제의 고전적 복잡도를, 상호작용하는 국소 해밀토니안에 대해 규명하는 것.
• k-로컬 상호작용 해밀토니안 또는 분해형 프로젝터에 대한 CES 문제가 QMA에 속해 있음에도 불구하고, NP에 속하는지 조사하는 것.
• 일반적인 분해형 프로젝터 CES 문제를 모든 고유값이 0이고 모든 프로젝터가 랭크-1인 표준형으로 감소시키는 것.
• Kochen-Specker 문맥성과 관련된 구조적 장애물—특수한 경우를 초월해 일반적인 NP 감소를 방해하는 것—을 규명하는 것.

제안 방법

• 서로 상호작용하는 헤르미트 연산자 집합에 대해 주어진 고유값을 가진 공통 고유벡터의 존재를 검증하는 방식으로 CES 문제를 수식화하는 것.
• 공통 상호작용 설정에서 k-로컬 해밀토니안 문제를 분석하여 QMA에 속함을 보이고, NP에 속하는 조건을 규명하는 것.
• 일반적인 분해형 프로젝터 CES 문제를 모든 고유값이 0이고 모든 프로젝터가 랭크-1인 표준형으로 감소시키는 것.
• 모든 연산자가 정규적인 방식으로 상호작용할 경우, 공통 고유공간의 차원을 포함-배제 공식을 사용해 계산하는 것.
• 양자 문맥성 이론(Kochen-Specker 정리)의 결과를 적용하여, 일부 구성이 표준형으로 감소될 수 없음을 보여주는 것.
• 그래프 이론적 및 선형 대수 기법을 활용해 연산자 표의 상호작용 구조와 랭크 제약 조건을 분석하는 것.

실험 결과

연구 질문

• RQ1 k와 d의 작은 값에 대해 공통 상호작용 k-로컬 해밀토니안 문제는 NP에 속하는가?
• RQ2 일반적인 분해형 프로젝터 CES 문제는 모든 고유값이 0이고 모든 프로젝터가 랭크-1인 표준형으로 감소할 수 있는가?
• RQ3 일반적인 상호작용 패tern을 초월해 CES 문제가 NP에 속하지 못하게 하는 구조적 장애물이 존재하는가?
• RQ4 Kochen-Specker 문맥성 현상은 CES 문제를 간단한 형태로 감소시키는 것을 어느 정도 방해하는가?
• RQ5 공통 고유공간의 차원은 어떤 조건에서 다항시간 고전적 계산이 가능한가?

주요 결과

• k=2 및 d=2일 때 공통 상호작용 k-로컬 해밀토니안 문제는 NP에 속함을 보이며, QMA를 초월한 비트리비얼한 포함성을 입증한다.
• 일반적인 분해형 프로젝터 CES 문제는 모든 고유값이 0이고 모든 프로젝터가 랭크-1인 표준형으로 감소되며, 문제의 구조가 단순화된다.
• d≥3인 경우 일반적으로 표준형으로의 감소가 실패함을 보이며, 이는 Kochen-Specker 문맥성으로 인해 기저 상태에 대한 프로젝터의 일관된 할당이 불가능하기 때문이다.
• 모든 연산자가 정규적인 방식으로 상호작용할 경우(예: 지지 집합에 일관된 색상 할당이 가능한 경우), 공통 고유공간의 차원은 포함-배제 공식을 통해 계산할 수 있다.
• 문제는 여전히 QMA에 속하지만, 비정규적인 상호작용 패턴이 나타나는 경우 일반적인 NP 포함성은 보장되지 않는다.
• 논문은 '병리적' 구성—정규적 및 특이적 상호작용 패턴이 혼합된 경우—가 일반적인 NP 감소를 어렵게 만든다고 규명한다.