[논문 리뷰] Lower Bounds for Parallel Quantum Counting

Paul Burchard|arXiv (Cornell University)|2019. 10. 08.

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

한 줄 요약

이 논문은 병렬 양자 수세기(parallel quantum counting)가 고전적 방법보다 양자적 우위를 가지지 못함을 입증하며, p-병렬 근사 양자 수세기의 질의 복잡도에 대해 Ω(1/ε √(N/pK))의 날것 같은 하한선을 확립한다. 다가치 함수에 대해 적대자 방법을 일반화하고 병렬 오라클 질의를 분석함으로써, 저자들은 병렬화를 통해 조차도 양자 가속을 달성할 수 없음을 보이며, 추가 큐비트가 있더라도 마찬가지로 성립함을 보여 NISQ 시대의 몬테카를로 시뮬레이션에서의 NISQ 시대 양자 알고리즘에 강력한 함의를 지닌다.

ABSTRACT

We prove a generalization of the parallel adversary method to multi-valued functions, and apply it to prove that there is no parallel quantum advantage for approximate counting.

연구 동기 및 목표

• 병렬 양자 알고리즘에 대한 하한선을 입증함으로써 양자 복잡도 이론에서의 격차를 메우기 위해, 특히 근사 수세기의 경우를 대상으로 한다.
• 적대자 방법을 다가치 함수로 확장하여, 출력값이 특정 값의 범위 내에 있어야 하는 근사 양자 알고리즘의 분석을 가능하게 한다.
• 병렬화가 근사 수세기에서 조차도 양자적 우위를 가져오지 못함을 보여주며, NISQ 시대에 회로 깊이 감소를 기대했던 희망을 무너뜨린다.
• 몬테카를로 시뮬레이션에서 병렬 실행 조건 하에서의 양자 가속 한계를 이해하기 위한 공식적 기초를 제공한다.

제안 방법

• 출력 집합 F(x)와 F(y)가 교차할 경우에만 적대자 행렬 Γ가 0이 되도록 요구함으로써, 다가치 함수에 대해 양자 적대자 방법을 일반화한다.
• p-병렬 질의를 p개의 인덱스 튜플을 다루는 단일 순차 오라클로 모델링함으로써, 병렬 케이스를 순차 적대자 프레임워크로 환원한다.
• 다른 오라클 하에서 상태 간 구별 가능성 추적을 위해 가중치 내적 합 W^t = ∑_{x,y} Γ_xy δ_x δ_y ⟨ψ_x^t|ψ_y^t⟩을 정의한다.
• 다른 질의 결과를 추적하는 수정된 적대자 행렬 Γ^{i1⋯ip}의 스펙트럼 노름을 사용해 |W^t - W^{t+1}|의 변화를 경계한다.
• 행과 열의 흐문성(h, h', ℓ, ℓ')을 통한 조합적 경계를 적용하여 닫힌 형태의 하한선을 유도한다.
• 유도된 경계를 사용해 입력 집합 X와 Y를 구성함으로써 근사 수세기 분석을 수행하며, 이들 집합은 해밍 무게 범위가 서로 이격되어 있으며, 관련 조합적 항목을 계산한다.

실험 결과

연구 질문

• RQ1 병렬 양자 알고리즘이 근사 수세기에서 양자적 우위를 달성할 수 있는가?
• RQ2 양자 수세기 알고리즘의 병렬화는 기본적인 질의 복잡도 하한선에 의해 제한되는가?
• RQ3 적대자 방법은 병렬 환경에서 근사적, 다가치 함수를 다룰 수 있도록 일반화될 수 있는가?
• RQ4 질의가 병렬로 실행될 경우, 양자 수세기의 알려진 제곱근 가속이 유지되는가?
• RQ5 p-병렬 근사 양자 수세기의 질의 복잡도에 대해 가장 날것 같은 하한선은 무엇인가?

주요 결과

• p-병렬 근사 양자 수세기의 질의 복잡도는 Ω(1/ε √(N/pK))로 하한선이 있으며, 이는 고전적 병렬 카운터의 성능과 일치한다.
• 일반화된 적대자 방법은 출력 집합 간의 수직성 조건을 적대자 행렬 Γ를 통해 강제함으로써 다가치 함수로 성공적으로 확장된다.
• 하한선은 정확히 일치하는 상한선이 존재함을 보여, p개의 서로 다른 부분에 대해 p개의 독립된 양자 카운터를 실행함으로써 달성 가능하므로 날것 같다.
• 병렬화는 회로 깊이 또는 질의 복잡도를 고전적 스케일링을 초월해 감소시키지 못하며, 이는 이 설정에서의 양자적 우위에 대한 희망을 무너뜨린다.
• 결과적으로 NISQ 시대의 몬테카를로 시뮬레이션에서 회로 깊이를 줄이기 위해 중요도 표본 추출과 같은 대체 기법이 반드시 필요하다는 것을 시사한다.
• 분석 결과, 브라스서드-호이어-타프 알고리즘이 병렬 질의 접근 조건 하에서도 점근적으로 최적임을 확인한다.