[논문 리뷰] Complexity-Theoretic Limitations on Quantum Algorithms for Topological Data Analysis

Alexander Schmidhuber, Seth Lloyd|arXiv (Cornell University)|2022. 09. 28.

Topological and Geometric Data Analysis참고 문헌 44인용 수 3

한 줄 요약

이 논문은 위상적 데이터 분석(TDA)의 핵심 요소인 베티 수를 계산하는 것은 #P-난이도이며, 승수 오차 범위 내에서 근사화하는 것도 NP-난이도임을 보여준다. 이는 양자 컴퓨터에게도 적용된다. LGZ 양자 알고리즘의 명백한 지수적 속도 향상에도 불구하고, 저자들은 이 알고리즘이 점점 더 많은 경우에서 최대 제곱근 속도 향상만을 달성함을 증명하였으며, 지수적 이점은 입력이 정점-간선 목록이 아니라 단체 사양으로 주어질 경우에만 가능하다.

ABSTRACT

Quantum algorithms for topological data analysis (TDA) seem to provide an exponential advantage over the best classical approach while remaining immune to dequantization procedures and the data-loading problem. In this paper, we give complexity-theoretic evidence that the central task of TDA -- estimating Betti numbers -- is intractable even for quantum computers. Specifically, we prove that the problem of computing Betti numbers exactly is #P-hard, while the problem of approximating Betti numbers up to multiplicative error is NP-hard. Moreover, both problems retain their hardness if restricted to the regime where quantum algorithms for TDA perform best. Because quantum computers are not expected to solve #P-hard or NP-hard problems in subexponential time, our results imply that quantum algorithms for TDA offer only a polynomial advantage in the worst case. We support our claim by showing that the seminal quantum algorithm for TDA developed by Lloyd, Garnerone and Zanardi achieves a quadratic speedup over the best known classical approach in asymptotically almost all cases. Finally, we argue that an exponential quantum advantage can be recovered if the input data is given as a specification of simplices rather than as a list of vertices and edges.

연구 동기 및 목표

• 위상적 데이터 분석(TDA)을 위한 양자 알고리즘의 복잡도 이론적 한계, 특히 베티 수 계산에 관해 조사한다.
• TDA에서 주장된 지수적 양자 우위가 표준 복잡도 이론적 가정 하에 탄탄한지 여쭤본다.
• LGZ TDA 양자 알고리즘의 계산 블로킹 요소를 특정하고, 현실적으로 어디서 양자 속도 향상이 달성될 수 있는지 평가한다.
• 지수적 양자 우위가 여전히 가능할 수 있는 조건을 분석한다. 이는 딱지 결과에도 불구하고.
• 입력 표현 방식—특히 정점-간선 목록인지 단체 사양인지가 양자 속도 향상 가능성을 어떻게 영향을 주는지 명확히 한다.

제안 방법

• 기존의 #P-완전 문제(3-CNF 공식의 만족할 수 있는 할당 수 계산)를 베티 수 문제로 감소시켜 정확한 베티 수 계산이 #P-난이도임을 증명하였다.
• 3-SAT 문제에서 베티 수 문제로의 정확한 감소를 통해, 승수 오차 내에서 베티 수를 근사화하는 것이 NP-난이도임을 입증하였다.
• 클리크-밀도가 높은 단체 복합체로 경계를 설정하여, LGZ 알고리즘이 가장 잘 작동하는 영역에서의 경계를 유지함으로써, 난이도가 여전히 지속됨을 보였다.
• 랜덤 비토리스-립스 복합체에서 LGZ 알고리즘의 실행 시간을 분석하여, 점점 더 많은 경우에서 고전적 방법 대비 그로버 유사 제곱근 속도 향상이 이루어짐을 보였다.
• 정점-간선 목록에서 단체 복합체를 나타내는 양자 상태를 구성하는 것이, 베티 수 추정 자체가 아니라 주요 블로킹 요소임을 규명하였다. 이 과정은 #P-난이도이다.
• k-단체를 샘플링하는 양자 오라클에 액세스할 수 있는 경우, 지수적 속도 향상을 달성하는 수정된 LGZ 알고리즘을 제안하였다. 이는 입력 표현 방식이 양자 우위 잠재력에 본질적으로 영향을 미친다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 정확한 베티 수 계산 문제는 양자 컴퓨터에게도 #P-난이도인가?
• RQ2 상수 승수 오차 내에서 베티 수를 근사화하는 것은 양자 환경에서 NP-난이도인가?
• RQ3 LGZ 알고리즘이 가장 잘 작동하는 클리크-밀도 복합체 영역으로 제한되었을 때, TDA에서의 양자 우위가 유지되는가?
• RQ4 특히 랜덤 비토리스-립스 복합체에서 LGZ 알고리즘의 실제 실행 시간은 무엇인가?
• RQ5 입력이 정점-간선 목록이 아니라 단체 목록으로 주어지면, TDA에서 지수적 양자 우위를 회복할 수 있는가?

주요 결과

• 정확한 베티 수 계산 문제는 #P-난이도이며, 표준 복잡도 가정 하에 양자 컴퓨터가 이 문제를 지수 시간 이하로 해결할 가능성이 낮음을 시사한다.
• 승수 오차 내에서 베티 수를 근사화하는 것은 NP-난이도이며, 이는 조건부로도 양자 해법이 근본적인 복잡도 장벽에 직면해 있음을 의미한다.
• 클리크-밀도 복합체로 제한된 경우에도 베티 수 계산의 난이도는 여전히 지속되며, 이는 LGZ 알고리즘이 최적 성능을 내는 입력 영역에서의 현실적인 가정을 유지한다.
• LGZ 알고리즘은 점점 더 많은 경우에서 고전적 방법 대비 제곱근 속도 향상(그로버 유사)만을 달성하며, 지수적 우위 주장과 모순된다.
• LGZ 알고리즘의 주요 블로킹 요소는 베티 수 추정이 아니라 정점-간선 목록에서 단체 복합체를 나타내는 양자 상태 준비 과정이며, 이 과정 자체가 #P-난이도이다.
• 입력이 단체 사양(예: 샘플링 오라클을 통한)으로 주어지면 TDA에서 지수적 양자 우위를 회복할 수 있으며, 이는 입력 표현 방식이 양자 속도 향상에 결정적인 역할을 한다는 것을 시사한다.