[논문 리뷰] Quantum Hamiltonian complexity and the detectability lemma

Dorit Aharonov, Itai Arad외 2명|arXiv (Cornell University)|2010. 11. 15.

Quantum Computing Algorithms and Architecture참고 문헌 23인용 수 9

한 줄 요약

이 논문은 고립된 하미르تون이 있는 지배 상태를 분석하기 위해 리브-로빈슨 경계의 조합론적 대체 수단으로 감지 가능성 레미마를 제안한다. 이는 1차원 영역 법칙과 갭이 있는 시스템에서 상관관계의 지수적 감쇠를 더 단순하고 직관적인 방법으로 증명할 수 있게 하며, 해석적 동역학을 피하고 고차원으로의 일반화 가능성을 열어주는 새로운 계산적 프레임워크를 제공한다.

ABSTRACT

Quantum Hamiltonian complexity studies computational complexity aspects of local Hamiltonians and ground states; these questions can be viewed as generalizations of classical computational complexity problems related to local constraint satisfaction (such as SAT), with the additional ingredient of multi-particle entanglement. This additional ingredient of course makes generalizations of celebrated theorems such as the PCP theorem from classical to the quantum domain highly non-trivial; it also raises entirely new questions such as bounds on entanglement and correlations in ground states, and in particular area laws. We propose a simple combinatorial tool that helps to handle such questions: it is a simplified, yet more general version of the detectability lemma introduced by us in the more restricted context on quantum gap amplification a year ago. Here, we argue that this lemma is applicable in much more general contexts. We use it to provide a simplified and more combinatorial proof of Hastings' 1D area law, together with a less than 1 page proof of the decay of correlations in gapped local Hamiltonian systems in any constant dimension. We explain how the detectability lemma can replace the Lieb-Robinson bound in various other contexts, and argue that it constitutes a basic tool for the study of local Hamiltonians and their ground states in relation to various questions in quantum Hamiltonian complexity.

연구 동기 및 목표

• 지역 하미르톤의 지배 상태를 연구하기 위해 리브-로빈슨 경계의 조합론적 대체 수단을 개발한다.
• 간섭이 없는 갭이 있는 시스템에서 기존의 1차원 영역 법칙과 상관관계 감쇠 증명을 단순화한다.
• 원래 감지 가능성 레미마 진술에서 제한적인 가정을 제거하여 양자 하미르톤 복잡도에 대한 적용 가능성을 높인다.
• 순수하게 운동학적이고 조합론적인 추론을 사용해 1차원 결과를 2차원 및 고차원으로 일반화할 수 있는 기초를 마련한다.

제안 방법

• 감지 가능성 레미마를 시간 진동이나 동역학에 의존하지 않고 지배 상태의 얽힘과 상관관계를 경계하는 도구로 재구성한다.
• 크기 $\ell$ 의 창을 통해 감지 가능성 레미마를 반복 적용하여 얽힘 엔트로피에 대한 경계를 도출하며, 엔트로피가 음수가 되는 경우 모순을 이끌어낸다.
• 지배 상태에서 국소 관측량의 인과적 영향을 분리하기 위해 투영 연산자 $P_{in}$ 과 $P_{out}$ 를 구성하기 위해 감지 가능성 레미마를 적용한다.
• 근사식 $A^\ell \approx \Pi_{gs} + e^{-\mathcal{O}(\ell)}$ 를 사용하여 $\langle XY \rangle$ 와 $\bar{X}\bar{Y}$ 의 차이를 경계함으로써 지수적 감쇠를 도출한다.
• 제품 상태와의 내적 값이 한 절단에서 작다면, $2\ell$ 창 내의 근처 절단에서도 여전히 작다는 것을 증명하기 위해 경계 $|\langle \chi_1 \otimes \chi_2 | \Omega \rangle| \leq \mu d^\ell$ 를 사용한다.
• 감지 가능성 레미마를 사용해 허스팅스의 1차원 영역 법칙에 대한 새로운 단순화된 증명을 유도하며, 어떤 절단에서의 얽힘 엔트로피가 상수로 경계됨을 보여준다.

실험 결과

연구 질문

• RQ1 감지 가능성 레미마는 지배 상태의 운동학적 성질을 증명하기 위해 리브-로빈슨 경계의 조합론적 대체 수단으로 사용될 수 있는가?
• RQ2 감지 가능성 레미마는 과잉이 없는 하미르톤에서 1차원 영역 법칙을 더 단순하고 직관적인 방법으로 증명할 수 있는가?
• RQ3 감지 가능성 레미마는 2차원 및 고차원에서의 영역 법칙을 증명하는 데 일반화될 수 있는가?
• RQ4 감지 가능성 레미마는 동역학에 의존하지 않고 갭이 있고 과잉이 없는 시스템에서 상관관계 감쇠를 증명하는 데 사용될 수 있는가?
• RQ5 감지 가능성 레미마가 얽힘과 상관관계에 대한 비자명한 경계를 도출하기 위해 필요한 최소한의 가정은 무엇인가?

주요 결과

• 감지 가능성 레미마는 과잉이 없는 하미르톤에 대해 1차원 영역 법칙을 더 단순하고 조합론적인 방법으로 증명하며, 어떤 절단에서의 얽힘 엔트로피가 상수로 경계됨을 보여준다.
• 논문은 $d$-차원 격자에서 갭이 있고 과잉이 없는 하미르톤에서 상관관계 감쇠를 지수적으로 증명하는 한 페이지 분량의 증명을 제공하며, 감쇠율은 $e^{-\mathcal{O}(m)}$ 이고, 여기서 $m$ 은 관측량 사이의 거리이다.
• 감지 가능성 레미마는 한 절단에서 제품 상태와의 내적 값이 작다면, $2\ell$ 창 내의 모든 절단에서 여전히 작다는 것을 일반화하여, 경계 $\mu d^\ell$ 를 도출한다.
• 감지 가능성 레미마를 사용해 $P_{in}$ 과 $P_{out}$ 투영 연산자를 구성함으로써 국소 관측량의 인과적 영향을 분리하고, 상관관계 감쇠의 깔끔한 유도를 가능하게 한다.
• 이 방법은 시간 진동이나 푸리에 분석에 의존하지 않으며, 순수하게 운동학적이고 조합론적인 지배 상태 분석 접근법을 제공한다.
• 감지 가능성 레미마가 영역 법칙과 상관관계 감쇠를 증명하는 데 충분함을 보여주며, 이는 양자 하미르톤 복잡도 분야에서 근본적인 도구가 될 수 있음을 시사한다.