[논문 리뷰] Measuring 4-local n-qubit observables could probabilistically solve PSPACE

Paweł Wocjan, Dominik Janzing외 2명|ArXiv.org|2003. 08. 01.

Quantum Computing Algorithms and Architecture참고 문헌 11인용 수 12

한 줄 요약

이 논문은 4-로컬 n-qubit 관측량을 정밀하게 측정할 수 있는 가상의 양자 측정 장치가 다항수의 측정 횟수로 PSPACE에 속하는 모든 문제를 확률적으로 해결할 수 있음을 보여준다. 핵심 결과는 관측량의 스펙트럼 간격 수준의 정밀도로 이러한 측정을 수행할 경우 오차가 지수적으로 감소하며, PSPACE 문제를 해결할 수 있음을 의미한다. 이는 일반적인 4-로컬 관측량에 대한 효율적인 고정밀 측정이 존재한다면 다항계층 구조가 붕괴될 것이며, 이는 PSPACE ≠ BQP이기 때문에 성립한다.

ABSTRACT

We consider a hypothetical apparatus that implements measurements for arbitrary 4-local quantum observables A on n qubits. The apparatus implements the ``measurement algorithm'' after receiving a classical description of A. We show that a few precise measurements, applied to a basis state would provide a probabilistic solution of PSPACE problems. The error probability decreases exponentially with the number of runs if the measurement accuracy is of the order of the spectral gaps of A. Moreover, every decision problem which can be solved on a quantum computer in T time steps can be encoded into a 4-local observable such that the solution requires only measurements of accuracy O(1/T). Provided that BQP<>PSPACE, our result shows that efficient algorithms for precise measurements of general 4-local observables cannot exist. We conjecture that the class of physically existing interactions is large enough to allow the conclusion that precise energy measurements for general many-particle systems require control algorithms with high complexity.

연구 동기 및 목표

• 양자 시스템에서 4-로컬 n-큐비트 관측량의 정밀 측정이 가지는 계산 능력을 조사하기 위해.
• 이러한 측정이 복잡도 클래스 PSPACE에 속하는 문제를 해결할 수 있는지 확인하기 위해.
• 측정 정밀도와 계산 복잡도 사이의 관계, 특히 BQP 및 PSPACE와의 관련성을 탐색하기 위해.
• 일반적인 국소성 및 대칭성 제약 조건에도 불구하고 물리적으로 실현 가능한 상호작용이 이러한 강력한 측정을 지원할 수 있는지 평가하기 위해.

제안 방법

• 저자들은 PSPACE 문제를 해결하기 위해 양자 워크 유사한 진동을 통해 작용하는 양자 회로에 대응하는 4-로컬 관측량의 가족을 구성한다.
• 4-로컬 관측량 A에 대해 시간 진동 연산자 U_t = exp(-iAt)를 사용하며, 이는 오차가 ε 이내로 제한되는 양자 게이트를 통해 효율적으로 시뮬레이션할 수 있다.
• 측정 정밀도는 특정 고유값 주변 폭 Δλ의 간격 내에서 결과를 얻을 확률이 진짜 고유프로젝터 확률의 최소 3/4 이상이 되도록 정의된다.
• 유니터리 진동 U_t에 양자 위상 추정 절차를 적용하여 A의 고유값을 추정하며, 오차를 지수적으로 감소시키기 위해 필요한 반복 수가 증가한다.
• 필요한 측정 정밀도는 T의 함수로 O(1/T)임을 보여주며, 여기서 T는 양자 회로의 실행 시간이다. 이는 정밀도와 계산 효율성 사이의 연결 고리를 형성한다.
• 관측량 A의 스펙트럼 간격에 의존하는 구성으로, 측정 정밀도가 간격 크기와 일치할 경우 고유값을 높은 신뢰도로 구별할 수 있음을 보장한다.

실험 결과

연구 질문

• RQ1 정밀한 4-로컬 n-큐비트 관측량 측정은 복잡도 클래스 PSPACE에 속하는 문제를 해결할 수 있는가?
• RQ2 이러한 관측량을 사용하여 PSPACE 문제를 확률적으로 해결하기 위해 필요한 측정 정밀도는 무엇인가?
• RQ3 이러한 체계에서 측정 반복 횟수에 따라 오차 확률은 어떻게 변화하는가?
• RQ4 고정밀도 측정을 통한 4-로컬 관측량의 계산 능력은 BQP 및 PSPACE와 같은 알려진 복잡도 클래스와 일관하는가?
• RQ5 쌍-상호작용과 이동 대칭성을 가진 물리적으로 현실적인 해밀토니안이 여전히 PSPACE-완전 문제를 그 스펙트럼 성질에 포함시킬 수 있는가?

주요 결과

• 실행 시간 T의 양자 회로에 대해 스펙트럼 간격을 정밀도 O(1/T)로 해석할 수 있는 측정 장치는 다항수의 반복을 통해 어떤 PSPACE 문제라도 지수적으로 감소하는 오차 확률로 해결할 수 있다.
• 측정 정밀도가 스펙트럼 간격 크기와 일치할 경우, 측정 반복 횟수 증가에 따라 오차 확률이 지수적으로 감소한다.
• 이 구성은 PSPACE 문제를 이러한 측정을 통해 해결하기 위해 다항시간 양자 회로와 일정 수의 정밀 측정만 필요로 함을 보여준다.
• 이 결과는 PSPACE ≠ BQP이면 일반적인 4-로컬 관측량의 정밀 측정을 시뮬레이션할 수 있는 효율적인 고전 알고리즘이 존재하지 않음을 암시한다.
• 저자들은 물리적으로 현실적인 해밀토니안, 즉 국소성, 대칭성, 쌍-상호작용의 구조를 가진 것들조차도 그 스펙트럼 성질에 PSPACE 문제를 포함시킬 수 있으며, 이는 양자 측정에서 광범위한 계산 능력을 암시한다.