[논문 리뷰] A constructive commutative quantum Lovasz Local Lemma, and beyond

Toby S. Cubitt, Martin Schwarz|arXiv (Cornell University)|2011. 12. 06.

Quantum Computing Algorithms and Architecture참고 문헌 27인용 수 8

한 줄 요약

이 논문은 교환 가능한 양자 Lovász 국소 렘마(QLLL)에 대한 구조적 양자 알고리즘을 제시하며, 상호작용이 약간만 있는 부분공간 제약 조건을 만족하는 양자 상태를 효율적으로 찾을 수 있음을 증명한다. 양자 결합과 조합 분석을 통한 두 가지 독립적인 증명을 제공하며, 이는 교환 가능한 QLLL에 대한 첫 번째 효율적 알고리즘을 제공하며, 양자 채널의 수렴성과 비가환 경우로의 추측적 확장에 응용된다.

ABSTRACT

The recently proven Quantum Lovasz Local Lemma generalises the well-known Lovasz Local Lemma. It states that, if a collection of subspace constraints are "weakly dependent", there necessarily exists a state satisfying all constraints. It implies e.g. that certain instances of the kQSAT quantum satisfiability problem are necessarily satisfiable, or that many-body systems with "not too many" interactions are always frustration-free. However, the QLLL only asserts existence; it says nothing about how to find the state. Inspired by Moser's breakthrough classical results, we present a constructive version of the QLLL in the setting of commuting constraints, proving that a simple quantum algorithm converges efficiently to the required state. In fact, we provide two different proofs, one using a novel quantum coupling argument, the other a more explicit combinatorial analysis. Both proofs are independent of the QLLL. So these results also provide independent, constructive proofs of the commutative QLLL itself, but strengthen it significantly by giving an efficient algorithm for finding the state whose existence is asserted by the QLLL. We give an application of the constructive commutative QLLL to convergence of CP maps. We also extend these results to the non-commutative setting. However, our proof of the general constructive QLLL relies on a conjecture which we are only able to prove in special cases.

연구 동기 및 목표

• 교환 가능한 양자 Lovász 국소 렘마에 대한 구조적 증명을 제공하여 존재성 초월하여 효율적인 상태 준비를 실현한다.
• 약간의 의존성을 가진 부분공간 제약 조건을 만족하는 양자 상태를 효율적으로 찾는 양자 알고리즘을 개발한다.
• 양자 증거 트리와 알고리즘 수렴성 간의 연결 고리를 설정하여, 고전적 Moser 스타일 알고리즘들을 양자 환경으로 일반화한다.
• 비가환 제약 조건으로의 구조적 접근을 확장하며, 아직 일반적으로 증명되지 않은 추측에 기반한다.
• 구조적 QLLL를 이용하여 양자 동역학에서 완전히 양성(positive)인(CP) 매핑의 수렴 시간을 유계화한다.

제안 방법

• 알고리즘 과정에서의 의존성과 위반 사항을 추적하기 위해 양자 증거 트리를 도입한다.
• 알고리즘 수렴을 보장하기 위해 증거 트리의 확률을 제한하는 데 양자 결합 논증을 사용한다.
• 양자 상태의 일관성을 유지하는 복수의 측정 및 재표본화 규칙을 가진 새로운 반복 측정 과정을 개발한다.
• 알고리즘 실행 경로를 모델링하기 위해 재표본화 DAG(방향 없는 비순환 그래프)의 조합 분석을 적용한다.
• 알고리즘 실행 시간의 근사치로 위반 횟수의 기대값을 사용하며, 교환 조건 하에서 다항식 경계를 증명한다.
• 양자 정보 이론적 경계에 기반한 증거 트리 확률에 대한 추측을 통해 비가환 제약 조건으로의 일반화를 제안한다.

실험 결과

연구 질문

• RQ1 QLLL에 의해 주장되는 바와 같이, 교환 가능한 부분공간 제약 조건을 만족하는 양자 상태를 효율적으로 찾을 수 있는 구조적 양자 알고리즘을 설계할 수 있는가?
• RQ2 그러한 알고리즘의 기대 실행 시간은 무엇이며, 제약 조건의 수에 대해 다항식으로 유계화될 수 있는가?
• RQ3 증거 트리와 재표본화와 같은 고전적 알고리즘 기법들이 양자 환경으로 어떻게 일반화될 수 있는가?
• RQ4 구조적 QLLL는 비가환 제약 조건으로 얼마나 넓히기 가능하며, 어떤 가정이 필요한가?
• RQ5 구조적 QLLL는 양자 동역학적 매핑(CP 매핑)의 수렴 시간 유계화에 적용될 수 있는가?

주요 결과

• 교환 가능한 QLLL 조건 하에서, 교환 가능한 부분공간의 교차점에 존재하는 양자 상태를 효율적으로 찾는 구조적 양자 알고리즘이 제시되었으며, 기대 실행 시간은 제약 조건의 수에 대해 다항식으로 유계화되어 있다.
• 교환 가능한 QLLL 조건 하에서 알고리즘의 위반 횟수 기대값이 상수로 유계화되어 있음을 입증하여 효율적 수렴을 보였다.
• 두 가지 독립적인 증명이 제시되었으며, 하나는 양자 결합 논증을, 다른 하나는 재표본화 DAG의 조합 분석을 사용하여 동일한 구조적 결과를 도출하였다.
• 제약 조건의 수가 다항식을 초월하더라도 알고리즘은 기대 다항 시간 내에 해에 수렴함을 보였으며, 이는 고전 결과를 양자 환경으로 일반화한 것이다.
• 구조적 QLLL는 CP 매핑의 수렴 시간 유계화에 응용되어, 양자 동역학계에서의 새로운 응용을 보였다.
• 비가환 경우에 대한 추측을 제시하였으며, 증거 트리 확률과 알고리즘 수렴성 간의 연결 고리를 맺었다. 만약 이 추측이 참이라면 일반적인 구조적 QLLL를 도출할 수 있을 것이지만, 일반적으로 증명되지 않은 상태이다.