[논문 리뷰] Quantum Approximate Counting, Simplified

Scott Aaronson, Patrick Rall|arXiv (Cornell University)|2019. 08. 28.

Quantum Computing Algorithms and Architecture인용 수 26

한 줄 요약

이 논문은 QFT를 사용하지 않고도 최적의 쿼리 복잡도 $O(\varepsilon^{-1}\sqrt{N/K})$를 달성하는 간소화된 양자 근사 카운팅 알고리즘을 제안한다. 이 알고리즘은 오직 그로버 반복만을 사용하며, 원래의 BHMT 알고리즘과 동일한 성능을 보인다. 방법은 그로버의 확산 연산자와 고전적 추정 기법을 기반으로 하며, 상대 오차 $\varepsilon$로 마킹된 항목 수 $K$를 추정한다. 이 과정에서 계산 오버헤드는 오직 $O(\log N)$에 불과하여 근접한 양자 장치에 더 적합하다.

ABSTRACT

In 1998, Brassard, Hoyer, Mosca, and Tapp (BHMT) gave a quantum algorithm for approximate counting. Given a list of $N$ items, $K$ of them marked, their algorithm estimates $K$ to within relative error $\varepsilon$ by making only $O\left( \frac{1}{\varepsilon}\sqrt{\frac{N}{K}} ight) $ queries. Although this speedup is of "Grover" type, the BHMT algorithm has the curious feature of relying on the Quantum Fourier Transform (QFT), more commonly associated with Shor's algorithm. Is this necessary? This paper presents a simplified algorithm, which we prove achieves the same query complexity using Grover iterations only. We also generalize this to a QFT-free algorithm for amplitude estimation. Related approaches to approximate counting were sketched previously by Grover, Abrams and Williams, Suzuki et al., and Wie (the latter two as we were writing this paper), but in all cases without rigorous analysis.

연구 동기 및 목표

• 양자 근사 카운팅에서 양자 푸리에 변환(QFT)의 필요성을 제거하면서도 최적의 쿼리 복잡도를 유지하는 것.
• 그로버 기반의 근사 카운팅 알고리즘에 대해 엄밀한 분석을 제공하여, 그로버, 압라함스, 윌리엄스 및 다른 이들의 히우리스틱 접근 방식의 격차를 메우는 것.
• 간소화된 카운팅 알고리즘을 확장하여 앰플리튜드 추정으로 일반화함으로써 양자 상태 간 내적 크기의 추정을 가능하게 하는 것.
• 양자 깊이를 줄이고 제어된-그로버와 같은 복잡한 양자 연산에 의존도를 낮춤으로써 근접한 양자 하드웨어에 대한 실용성을 향상시키는 것.
• 오직 표준 그로버 연산과 고전적 통계 추정만을 사용하는, BHMT 알고리즘에 대한 명확하고 분석적으로 타당한 대안을 확립하는 것.

제안 방법

• 알고리즘은 초기 상태가 균일한 초위상으로 설정된 시스템에 대해 반복적으로 그로버 반복을 수행하며, 마킹된 상태는 마지막 두 큐비트가 |00⟩인 경우로 정의된다.
• 쿼리 후 마킹된 상태를 관측할 확률인 $\sin^2(r\theta)$를 측정함으로써 그로버 각도 $\theta = \arcsin(\sqrt{K/N})$를 추정한다.
• 고전적 추정 절차는 관측된 최대 확률을 식별하여 $r\theta$를 추정하고, 이를 통해 $\theta$ 및 결국 $K$를 유추한다.
• 보조 큐비트를 도입하여 제어된 위상 반전을 통해 마킹된 상태를 정의하는, 확장된 하이젠베르크 공간에 작용하는 수정된 그로버 확산 연산자를 적용한다.
• 최종 추정치 $\hat{K}$가 높은 확률로 $|\hat{K} - K| \leq \varepsilon K$를 만족하도록 보장하기 위해 신뢰구간 접근법을 사용한다.
• 암시적 추정으로 일반화하기 위해 $\theta = \arcsin(a)$로 재정의하며, 여기서 $a = |\langle\psi|\phi\rangle|$, 그리고 동일한 반복적 그로버 과정을 통해 $a$를 추정한다.

실험 결과

연구 질문

• RQ1 양자 근사 카운팅 알고리즘을 QFT 없이도 최적의 쿼리 복잡도를 유지하면서 구현할 수 있는가?
• RQ2 상대 오차 보장이 있는 엄밀한 QFT를 포함하지 않는 그로버 기반 앰플리튜드 추정 분석이 가능한가?
• RQ3 쿼리 수와 계산 오버헤드 측면에서 그로버 전용 알고리즘의 성능이 원래의 BHMT 알고리즘과 어떻게 비교되는가?
• RQ4 큐비트가 제한된 연산 후 측정되는 깊이 제한된 양자 계산 환경에서 알고리즘이 효율적으로 작동할 수 있는가?
• RQ5 QFT를 포함하지 않는 프레임워크에서 병렬화된 그로버 호출을 사용하여 최적의 쿼리 복잡도를 유지하면서 회로 깊이를 향상시킬 수 있는가?

주요 결과

• 제안된 알고리즘은 QFT를 사용하지 않고도 최적의 쿼리 복잡도 $O(\varepsilon^{-1}\sqrt{N/K})$를 달성하며, BHMT 알고리즘의 성능을 정확히 따라간다.
• 계산 복잡도는 쿼리 복잡도보다 오직 $O(\log N)$ 요소만 초과하여 근접한 양자 장치에 대해 효율적이고 실용적이다.
• 이전의 그로버, 압라함스, 윌리엄스 및 위의 히우리스틱 접근 방식과 달리, 고전적 통계 기법을 사용한 엄밀한 분석이 수행되었다.
• 암시적 추정으로 일반화되어, $a = |\langle\psi|\phi\rangle|$의 추정치 $\hat{a}$를 $O(a^{-1}\varepsilon^{-1}\log(\delta^{-1}))$ 쿼리로 확률 $1-\delta$ 이상으로 얻을 수 있다.
• 기존 버전의 대수 오류를 수정하고 증명의 구조를 개선함으로써 명확성과 정확성이 향상되었다.
• 제어-유니터리 연산과 QFT를 피하기 때문에 BHMT보다 더 단순하고 구현에 더 적합하며, 오직 표준 그로버 반복과 고전적 후처리에 의존한다.