[논문 리뷰] A streamlined quantum algorithm for topological data analysis with exponentially fewer qubits

Sam McArdle, András Gilyén외 1명|arXiv (Cornell University)|2022. 09. 26.

Topological and Geometric Data Analysis인용 수 14

한 줄 요약

이 논문은 보조 큐비트를 도입하여 양자 특이치 분해 전환(QSVT) 회로에서 잡음이 없는 제어-노트 연산을 가능하게 함으로써, 위상수학적 데이터 분석을 위한 양자 알고리즘의 큐비트 요구량을 줄이는 간소화된 양자 알고리즘을 제시한다. 이 보조 큐비트 기반 접근법을 통해 투사된 유니터리 인코딩을 재정의함으로써, 정확도를 유지하면서도 지수적으로 줄어든 큐비트를 달성하며, 양자 위상수학적 데이터 분석의 자원 효율성을 크게 향상시킨다.

ABSTRACT

Topological invariants of a dataset, such as the number of holes that survive from one length scale to another (persistent Betti numbers) can be used to analyze and classify data in machine learning applications. We present an improved quantum algorithm for computing persistent Betti numbers, and provide an end-to-end complexity analysis. Our approach provides large polynomial time improvements, and an exponential space saving, over existing quantum algorithms. Subject to gap dependencies, our algorithm obtains an almost quintic speedup in the number of datapoints over previously known rigorous classical algorithms for computing the persistent Betti numbers to constant additive error - the salient task for applications. However, we also introduce a quantum-inspired classical power method with provable scaling only quadratically worse than the quantum algorithm. This gives a provable classical algorithm with scaling comparable to existing classical heuristics. We discuss whether quantum algorithms can achieve an exponential speedup for tasks of practical interest, as claimed previously. We conclude that there is currently no evidence for this being the case.

연구 동기 및 목표

• 양자 위상수학적 데이터 분석 알고리즘에서 큐비트 오버헤드를 줄이기 위해.
• 낮은 큐비트 요구량으로도 강건한 양자 특이치 분해 전환(QSVT)을 가능하게 하기 위해.
• 보조 큐비트를 활용한 잡음에 강건한 투사된 유니터리 인코딩 프레임워크를 개발하기 위해.
• 양자 TDA에서 경계 연산자와 프로젝터를 구현할 때의 자원 효율성을 향상시키기 위해.
• 기존의 양자 알고리즘에 비해 확장 가능하고 깊이가 얕은 영구적 호모로지 계산을 위한 대안을 제공하기 위해.

제안 방법

• 노이즈가 있는 CΠNOT 게이트를 잡음이 없는 CΠ'NOT 게이트로 전환하기 위해 추가적인 보조 큐비트를 도입하여 안정적인 투사된 유니터리 인코딩을 가능하게 한다.
• 표준 QSVT 블록을 U와 CΠNOT 연산을 새로운 투사된 유니터리 인코딩 U̅로 묶는 재컴파일된 회로 구조로 대체한다.
• Gilyen 등(2019)의 QSVT의 강건성 덕분에 오차 전파를 εL + εR + ε로 경계 지정함으로써 신뢰도 유지 보장을 한다.
• 컴act 매핑에서 멤버십 오라클을 위해 정합적으로 정점 좌표를 로드하고 제곱된 거리 계산을 수행하기 위해 양자 메모리(QROM 또는 QRAM)를 활용한다.
• 멤버십 오라클 O_m_k^i를 조건부 적용하여 CΠNOT 게이트를 구성한 후, 다중 제어 토플리 연산과 역연산을 수행한다.
• √N 스케일링을 갖는 유니터리 임bedding을 사용하여 경계 연산자 ∂_k^i와 부분공간 프로젝터(Ker, Im, Ker∩Im)의 투사된 유니터리 인코딩에 QSVT를 적용한다.

실험 결과

연구 질문

• RQ1 양자 위상수학적 데이터 분석에 필요한 큐비트 수를 정확도를 유지하면서 줄일 수 있는가?
• RQ2 보조 큐비트를 사용하여 QSVT 회로에서 노이즈가 있는 제어-노트 연산을 잡음이 없는 등가물로 대체할 수 있는가?
• RQ3 보조 큐비트 기반 재컴파일이 투사된 유니터리 인코딩의 오차 경계와 자원 비용에 어떤 영향을 미치는가?
• RQ4 기존의 방법에 비해 이 방법은 TDA에서 경계 연산자를 인코딩할 때 자원 효율성이 얼마나 뛰어나게 되는가?
• RQ5 ∂_k^i의 투사된 유니터리 인코딩은 보조 큐비트를 0개로 유지하면서도 비클리포드 깊이를 향상시킬 수 있는가?

주요 결과

• 제안된 방법은 경계 연산자 ∂_k^i에 대해 보조 큐비트 요구량을 약 ~O(log N + log k)에서 0으로 줄여 기존 방법보다 뛰어난 성능을 발휘한다.
• 잡음이 없는 CΠ'NOT 게이트를 사용하여 (1, m+1, εL + εR + ε) 투사된 유니터리 인코딩을 달성함으로써 강건성을 향상시켰다.
• 유니터리 임bedding 접근법은 ∂_k^i에 대해 (√N, 0, 0) 투사된 유니터리 인코딩을 제공하며, 비클리포드 깊이 O(log N)를 갖는 반면, 이전 연구에서는 Ω(N)이었다.
• 비클리포드 게이트 수를 O(N²)에서 2(N−1)개의 단일 큐비트 회전으로 줄여 회로 깊이와 확장성에 있어 극적인 향상을 이뤘다.
• 보조 큐비트의 사용은 잡음이 없는 CΠNOT 연산을 가능하게 하여 오차 축적을 줄이고 안정적인 QSVT 기반 계산을 가능하게 하였다.
• 정확도를 유지하면서도 지수적으로 큐비트 수를 줄여, 근접된 장치에서 대규모 양자 TDA를 실현 가능하게 하였다.