[논문 리뷰] Quantum nonexpander problem is quantum-Merlin-Arthur-complete

Adam D. Bookatz, Stephen P. Jordan외 2명|arXiv (Cornell University)|2012. 10. 02.

Quantum Computing Algorithms and Architecture참고 문헌 30인용 수 2

한 줄 요약

이 논문은 양자 비확산자 문제—즉, 양자 채널이 좋은 양자 확산자인지 여부를 판단하는 문제—가 QMA-완전하다는 것을 증명한다. 이는 양자 채널의 스펙트럼 갭을 추정하는 것이 표준 복잡도 가정 하에 계산적으로 비가역적임을 시사한다. 이 결과는 채널이 좋은 확산자가 아닐 경우 양자 증거를 통해 효율적으로 검증할 수 있지만, 좋은 확산자일 경우는 그렇지 못함을 보여주며, 양자 혼합 역학의 특성 규명에 있어 근본적인 한계를 드러낸다.

ABSTRACT

A quantum expander is a unital quantum channel that is rapidly mixing, has only a few Kraus operators, and can be implemented efficiently on a quantum computer. We consider the problem of estimating the mixing time (i.e., the spectral gap) of a quantum expander. We show that the problem of deciding whether a quantum channel is not rapidly mixing is a complete problem for the quantum Merlin-Arthur complexity class. This has applications to testing randomized constructions of quantum expanders and studying thermalization of open quantum systems.

연구 동기 및 목표

• 양자 채널이 나쁜 양자 확산자인지 여부를 판단하는 문제를 수학적으로 정의하는 것—이는 스펙트럼 갭을 기반으로 한다.
• 이 결정 문제의 계산 복잡도를 양자 복잡도 클래스 QMA 내에서 규명하는 것.
• 채널이 좋은 확산자가 아닐 경우를 검증하는 것이 양자 증거를 통해 효율적으로 가능하지만, 좋은 확산자임을 검증하는 것은 그렇지 않음을 보여주는 것.
• 이 문제를 물리적 시스템, 특히 양자 채널을 통해 열적 평형에 도달하는 개방 양자 시스템과 연결하는 것.
• 다른 문제들이 QMA-완전하다는 것을 증명하는 데 기초가 될 수 있는 완전성 결과를 제공하는 것.

제안 방법

• D-정규, 단위, 완전히 양성, 추적을 유지하는 초연산자로 정의된 양자 확산자를 정의하며, 각 Kraus 연산자는 다항로그 크기의 양자 회로로 실현 가능하다.
• 양자 비확산자 문제를 약속 결정 문제로 제시: α-수축이 아닌 채널과 β-수축인 채널을 식별하는 것—여기서 α > β는 다항적으로 분리되어 있다.
• 제어된 양자 확산자와 제어된 유니터리 진동 기반의 양자 상태 준비 프로토콜을 사용하여 QMA-완전성 감소를 구성한다.
• 혼합 속도의 척도로 채널의 스펙트럼 갭을 사용하며, 갭은 1 − κ로 정의되며, κ는 추적 없는 연산자에 대해 프로베니우스 노름에서의 수축 인자이다.
• 채널이 m 큐비트의 시스템에 작용하며, 단위변환 Uα로 정의되며, 약한 결합 근처에서 마스터 방정식에 의해 동역학이 결정된다는 사실을 활용한다.
• 완전성 증명을 위해, 제어된 확산자와 상태 진동의 트레이스 노름의 성질을 사용하여, 임의의 QMA 문제를 이 비확산자 결정 문제로 다항시간 내에 양자 감소시킬 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 양자 채널이 좋은 확산자가 아닐 경우를 판단하는 문제는 양자 복잡도 클래스 QMA 내에서 계산적으로 어려운가?
• RQ2 채널이 소수의 효율적으로 실현 가능한 Kraus 연산자로 정의될 경우, 양자 채널의 스펙트럼 갭을 효율적으로 추정할 수 있는가?
• RQ3 비확산성에 대한 양자 증거의 존재가 양자 확산자의 검증에 있어 본질적인 비대칭성을 암시하는가?
• RQ4 개방 양자 시스템의 열적 평형 동역학은 양자 채널의 스펙트럼 갭 추정 문제로 감소할 수 있는가?
• RQ5 양자 비확산자 문제는 QMA-완전한가? 즉, QMA 내 모든 문제의 어려움을 완전히 포괄하는가?

주요 결과

• 양자 비확산자 문제는 QMA-완전하다. 이는 QMA 복잡도 클래스 내에서 가장 어려운 문제들 중 하나임을 의미한다.
• 스펙트럼 갭이 1에서 일정한 상수로 떨어져 있을 경우—예를 들어 α > 0.98—에도 불구하고 문제의 QMA-완전성은 유지된다.
• 증명은 채널이 양자 확산자가 아닐 경우 효율적인 양자 증거로 검증 가능하지만, 좋은 확산자임을 검증하는 것은 효율적인 양자 증거로 불가능하며, QMA = coQMA일 경우를 제외하고는 불가능하다는 것을 시사한다.
• 양자 채널의 스펙트럼 갭은 프로베니우스 노름에서의 수축 인자 κ를 통해 정의된다: ∥Φ(A)∥F ≤ κ∥A∥F for all traceless A.
• 감소는 벤-아로야, 스웨르츠, 타-샤마가 제시한 명시적 양자 확산자를 기반으로 한 제어된 확산자 구조를 사용하며, 차수 D는 2의 거듭제곱이며 수축 인자 λ < 1이다.
• 결과는 양자 채널의 혼합 시간을 추정하는 것이 QMA = BQP일 경우를 제외하고는 계산적으로 비가역적임을 암시하며, 양자 확산자 문제 자체는 QMA에 속해 있지 않다. QMA = coQMA일 경우를 제외하고는.