[논문 리뷰] An Information-Theoretic Proof of the Constructive Commutative Quantum Lovász Local Lemma

Martin Schwarz, Toby S. Cubitt외 1명|arXiv (Cornell University)|2013. 11. 25.

Quantum Computing Algorithms and Architecture참고 문헌 20인용 수 7

한 줄 요약

이 논문은 국소적 제약 조건을 가진 교환 가능한 양자 해밀토니안에 대해 정보이론적 접근 방식을 통해 효율적인 0에너지 기본 상태를 준비하는 양자 알고리즘을 제시한다. 모저의 고전적 알고리즘에 영감을 얻은 이 접근은 교환 가능한 경우에 대해 대칭 양자 로바슈 국소 렘마(Quantum Lovász Local Lemma, QLLL)에 대한 구조적이고 효율적인 양자 알고리즘을 확립하며, 원래 렘마의 비구조적 결과와 동일한 날카운 런타임과 오차 보장을 갖는다.

ABSTRACT

The Quantum Lovász Local Lemma (QLLL) [AKS12] establishes non-constructively that any quantum system constrained by a local Hamiltonian has a zero-energy ground state, if the local Hamiltonian terms overlap only in a certain restricted way. In this paper, we present an efficient quantum algorithm to prepare this ground state for the special case of commuting projector terms. The related classical problem has been open for more than 34 years. Our algorithm follows the breakthrough ideas of Moser's [Moser09] classical algorithm and lifts his information theoretic argument to the quantum setting. A similar result has been independently published by Arad and Sattath [AS13] recently.

연구 동기 및 목표

• 교환 가능한 국소 해밀토니안 항을 가진 양자 시스템에서 0에너지 기본 상태를 준비하기 위한 구조적이고 효율적인 양자 알고리즘을 제공한다.
• 모저의 고전적 정보이론적 추론을 특히 교환 가능한 프로젝터에 대해 양자 환경으로 일반화한다.
• 비구조적 대칭 양자 로바슈 국소 렘마(Quantum Lovász Local Lemma, QLLL) 매개변수와 정확히 일치하는 날카운 런타임과 오차 한계를 달성한다.
• 국소 제약 조건 하에서 높은 얽힘 상태의 기본 상태를 효율적으로 준비하는 문제로서 오랫동안 미해결된 양자 해밀토니안 복잡도 이론의 열린 문제를 해결한다.
• 고전적 구조적 LLL가 이 양자 알고리즘의 특수한 경우로 복원됨을 보여주어 그 일반성에 대한 타당성을 입증한다.

제안 방법

• 일관성 있는 측정과 비트 시퀀스의 양자 압축을 사용하여 모저의 고전적 정보이론적 추론을 양자 영역으로 확장한다.
• 측정 실패를 추적하고 상태 갱신을 이끌기 위해 스택 레지스터를 사용하는 재귀적 양자 알고리즘을 적용한다.
• 최대 혼합 상태로 초기화된 작업 레지스터 $W$와 난수 레지스터 $R$을 사용하여 일관성 있는 랜덤 비트를 생성하여 측정에 활용한다.
• 형평성의 강력한 역설을 적용하여 오차 확률을 제한하고 수렴을 보장한다.
• 엔트로피 한계를 활용하여 재귀 로그 레지스터 $L$에서 압축 서브루틴을 구현하여 필요한 연산 수를 감소시킨다.
• 재귀 깊이와 상태 전환을 관리하기 위해 종료 레지스터 $term$과 플래그 레지스터 $F$ 및 $L$을 사용한다.

실험 결과

연구 질문

• RQ1 모저의 고전적 구조적 LLL 알고리즘이 교환 가능한 프로젝터에 대해 양자 환경으로 일반화될 수 있는가?
• RQ2 교환 가능한 QLLL 설정에서 0에너지 기본 상태를 준비하기 위해 필요한 최소 런타임과 오차 확률는 무엇인가?
• RQ3 정보이론적 압축 기법을 사용하여 국소 해밀토니안에 대한 양자 알고리즘의 런타임 한계를 강화할 수 있는가?
• RQ4 이 양자 알고리즘이 비구조적 QLLL와 동일한 임계 매개변수를 달성하는가, 특히 $d \leq 2^k / (re)$인가?
• RQ5 고전적 구조적 LLL가 이 양자 알고리즘의 특수한 경우로 복원될 수 있는가?

주요 결과

• 알고리즘은 임의의 $\varepsilon > 0$에 대해 $O(m + \log(1/\varepsilon))$의 런타임을 달성하며, 이는 최적의 고전적 경계와 일치한다.
• 성공 확률은 $1 - \varepsilon$이며, 형평성의 강력한 역설을 사용하여 오차를 제한한다.
• 알고리즘은 모든 $i$에 대해 $\operatorname{Tr}(\Pi_i \sigma) = 0$를 만족하는 양자 상태 $\sigma$를 준비하여 0에너지 기본 상태임을 확인한다.
• 비구조적 대칭 QLLL와 동일한 조건 하에서, 모저의 고전적 추론을 더 날카운 형태로 개선한다.
• 런타임 한계는 재귀 깊이 $N$의 날카운 분석을 통해 유도되며, $b + 3a(\log(b) + 1)$로 유계되며, 여기서 $a = (k - \log(de))^{-1}$ 이고 $b = (m + \log(1/\varepsilon)) / (k - \log(de))$ 이다.
• 동일한 임계값 $d \leq 2^k / (re)$를 갖는, 랭크가 $r$ 이하인 교환 가능한 $k$-로컬 프로젝터에 대해 알고리즘이 유효하다.