[논문 리뷰] Analyzing Prospects for Quantum Advantage in Topological Data Analysis

Dominic W. Berry, Yuan Su외 8명|arXiv (Cornell University)|2022. 09. 27.

Topological and Geometric Data Analysis인용 수 9

한 줄 요약

이 논문은 위상적 데이터 분석에서 베티 수를 추정하기 위한 고장 내성 양자 알고리즘을 제안하며, 게이트 복잡도를 크게 감소시킨다. 카이저 창을 사용한 진폭 추정, 최적화된 딕키 상태 준비, 체비셰프 기반 고유값 프로젝터를 활용함으로써, 큰 베티 수를 가진 특정 그래프 클래스에 대해 초다항적 속도 향상을 달성한다—약 $2\ln n$ 루트 수준까지이며, 고전적으로 해결하기 어려운 사례에 대해서는 수십십억 개의 Toffoli 게이트만으로도 충분하다.

ABSTRACT

Lloyd et al. were first to demonstrate the promise of quantum algorithms for computing Betti numbers, a way to characterize topological features of data sets. Here, we propose, analyze, and optimize an improved quantum algorithm for topological data analysis (TDA) with reduced scaling, including a method for preparing Dicke states based on inequality testing, a more efficient amplitude estimation algorithm using Kaiser windows, and an optimal implementation of eigenvalue projectors based on Chebyshev polynomials. We compile our approach to a fault-tolerant gate set and estimate constant factors in the Toffoli complexity. Our analysis reveals that super-quadratic quantum speedups are only possible for this problem when targeting a multiplicative error approximation and the Betti number grows asymptotically. Further, we propose a dequantization of the quantum TDA algorithm that shows that having exponentially large dimension and Betti number are necessary, but insufficient conditions, for super-polynomial advantage. We then introduce and analyze specific problem examples which have parameters in the regime where super-polynomial advantages may be achieved, and argue that quantum circuits with tens of billions of Toffoli gates can solve seemingly classically intractable instances.

연구 동기 및 목표

• 위상적 데이터 분석(TDA)을 위한 양자 알고리즘의 고장 내성 게이트 복잡도를 줄이기, 특히 베티 수 추정에 초점을 맞춘다.
• 베티 수 추정에서 초제곱 또는 초다항적 양자 속도 향상이 가능한 조건을 규명한다.
• Toffoli 복잡도의 상수 인자 추정을 통해 TDA에서 양자 우월성의 실용적 가능성을 분석한다.
• 지수적 베티 수만으로도 양자 우월성이 충분한지 평가하기 위한 탈양자화 방법을 제안한다.
• 초다항적 속도 향상을 가능하게 하는 구체적인 문제 인스턴스와 파rameter를 규명하여, 초기 고장 내성 양자 하드웨어에 적합한 사례를 도출한다.

제안 방법

• 불등식 테스트 기반의 새로운 Dicke 상태 준비 방법을 사용해 상태 준비 효율을 향상시킨다.
• Toffoli 게이트 수를 줄이고 수렴성을 향상시키기 위해 카이저 창을 적용한 진폭 추정을 적용한다.
• 고유값 프로젝터를 체비셰프 다항식을 사용해 효율적으로 구현함으로써 관련 부분공간을 효과적으로 걸러낸다.
• 고장 내성 게이트 세트로 컴파일하고, Toffoli 게이트 수와 상수 인자를 정밀하게 추정한다.
• 고전적 대안을 분석하기 위해 탈양자화 절차를 도입하며, 알려지지 않은 마르코프 체인 혼합 간격을 가진 몬테카를로 샘플링에 초점을 맞춘다.
• 클리크 확인 절차를 포함하고, 초기 상태 준비와 앰플리피케이션을 분리함으로써 보조 큐비트 오버헤드를 줄인다.

실험 결과

연구 질문

• RQ1 베티 수 추정을 위한 양자 알고리즘이 고전적 방법보다 초다항적 속도 향상을 달성할 수 있는 조건은 무엇인가?
• RQ2 베티 수 추정에서 초제곱 속도 향상을 위해 승수 오차 근사가 반드시 필요한가?
• RQ3 지수적 베티 수와 고차원 데이터만으로도 초다항적 양자 우월성을 보장할 수 있는가?
• RQ4 실제 문제 인스턴스에 대해 고장 내성 Toffoli 게이트 복잡도는 얼마인가?
• RQ5 알 수 없는 혼합 간격을 가진 몬테카를로 샘플링에 의존하는 경우, 고전적 탈양자화 접근법의 복잡도는 어떻게 비교되는가?

주요 결과

• 초다항적 속도 향상은 승수 오차 근사 대상이면서 베티 수가 문제 크기와 함께 점 渐진적으로 증가할 때에만 가능하다.
• 개선된 Dicke 상태 준비와 카이저 창 진폭 추정을 통해 고장 내성 Toffoli 게이트 수를 약 3개 정도 감소시켰다.
• 큰 베티 수를 가진 특정 그래프 클래스에 대해 속도 향상은 약 $2\ln n$ 루트 수준이며, 이는 초다항적 우월성을 나타낸다.
• 베티 수 추정의 고전적으로 해결하기 어려운 사례를 해결하기 위해 수십십억 개의 Toffoli 게이트로 충분할 것으로 추정된다.
• 몬테카를로 샘플링을 통한 고전적 탈양자화 방법은 가능할 수 있지만, 알려지지 않은 마르코프 체인 혼합 간격으로 인해 복잡도가 불확실하다.
• 현재 구현은 클리크 탐색에 앰플리피케이션을 사용하고 있으나, 보다 효율적인 고전적 클리크 탐색 방법이 저보조 큐비트 제약 조건에 맞게 적용된다면 양자 알고리즘 성능을 더욱 향상시킬 수 있다.