[논문 리뷰] Review of a Quantum Algorithm for Betti Numbers

Sam Gunn, Niels Kornerup|arXiv (Cornell University)|2019. 06. 18.

Topological and Geometric Data Analysis참고 문헌 10인용 수 9

한 줄 요약

이 논문은 조합 라플라시안의 블록 대각 행렬 표현을 이용한 위상 추정을 통해 단순 복합체의 베텨 수를 계산하는 간소화된 양자 알고리즘을 제안한다. 이 방법은 이전 작업 대비 개선된 효율성을 보이지만 일반적으로는 다항식 시간이 아니며, 큰 베텨 수와 유한한 스펙트럼 갭을 가진 특정 조건에서만 다항식 런타임이 가능하다.

ABSTRACT

We looked into the algorithm for calculating Betti numbers presented by Lloyd, Garnerone, and Zanardi (LGZ). We present a new algorithm in the same spirit as LGZ with the intent of clarifying quantum algorithms for computing Betti numbers. Our algorithm is simpler and slightly more efficient than that presented by LGZ. We present a thorough analysis of our algorithm, pointing out reasons that both our algorithm and that presented by LGZ do not run in polynomial time for most inputs. However, the algorithms do run in polynomial time for calculating an approximation of the Betti number to polynomial multiplicative error, when applied to some class of graphs for which the Betti number is exponentially large.

연구 동기 및 목표

• Lloyd 등(2014)이 제안한 원래의 베텨 수 계산을 위한 양자 알고리즘을 단순화하고 개선하는 것.
• 베이에르비스-립스 필터링에서 유도된 단순 복합체의 맥락에서 위상적 불변량의 양자 계산을 명확히 하는 것.
• 알고리즘의 계산 복잡도를 분석하고 다항식 런타임을 달성할 수 있는 조건을 규명하는 것.
• 실제 응용에 더 관련성이 높은 영구 호모로지로의 방법 확장 가능성을 평가하는 것.

제안 방법

• 모르거나 추정된 수의 표적 항목을 가진 그로버 알고리즘의 변형을 사용하여 그래프 내 모든 k-단순체에 대한 균일한 양자 중첩을 준비한다.
• 해당 k-단순체를 하밍 무게 k를 가진 n- 큐비트 상태로 인코딩함으로써 큐비트 요구량을 줄이고, 근사 수세기 및 확률 증폭을 통한 효율적인 상태 준비를 가능하게 한다.
• 각 k-단순체 차원에 대해 라플라시안 Δk를 얻는 데 사용되는 블록 대각 헤르미트 행렬 B에 대해 위상 추정을 적용한다.
• 상태 준비 유니터리 Pk와 그 수반 연산자를 사용하여 k-단순체의 힐버트 공간에 국한된 수정된 그로버 확산 연산자를 적용한다.
• 위상 추정 결과를 오рак루로 사용하여, 양자 수세기 기반으로 Δk의 핵의 차원을 추정함으로써 0 고유값의 수를 세는 방식이다.
• 핵심 요소는 전체 게이트 복잡도와 런타임을 결정하는 Δk의 가장 작은 비영 고유값 λmin을 유계화하는 것이다.

실험 결과

연구 질문

• RQ1 원래의 LGZ 제안 대비 더 단순하고 효율적인 양자 알고리즘을 베텨 수 계산을 위해 설계할 수 있는가?
• RQ2 제안된 양자 알고리즘이 어떤 조건에서 베텁 수 계산에 대해 다항식 런타임을 달성할 수 있는가?
• RQ3 이 알고리즘을 영구 호모로지로 확장하여, 더 실용적인 적용에 더 관련성이 높은 영구 베텁 수를 계산할 수 있는가?
• RQ4 라플라시안의 스펙트럼 갭 λmin이 알고리즘의 런타임과 실현 가능성에 어떤 역할을 하는가?
• RQ5 왜 원래의 LGZ 알고리즘과 개선된 버전 모두 대부분의 입력에 대해 다항식 시간 복잡도를 달성하지 못하는가?

주요 결과

• 제안된 알고리즘은 원래의 LGZ 알고리즘보다 더 단순하고 略로 효율적이며, 게이트 복잡도는 Õ(√(βk|Sk|)(nk√(C(n,k)/|Sk|) + n²k/λmin))이다.
• 알고리즘은 √(βk|Sk|)와 가장 작은 비영 고유값 λmin의 역수에 의존하므로 대부분의 입력에 대해 다항식 시간 내에 실행되지 않는다.
• βk가 지수적으로 크고 λmin이 0에서 멀리 떨어져 있을 경우에만 다항식 런타임이 가능하며, 이러한 조건은 실생활에서는 흔하지 않다.
• 원래의 LGZ 알고리즘의 복잡도 주장은 U_k에서 투영 연산자의 사용에 대한 잘못된 가정에 기반했으며, 저자들은 이러한 투영 연산자가 불필요하다고 주장한다.
• 논문은 βk의 정확한 계산이 δ ≈ 1/βk를 요구함을 보여주며, 이는 제안된 알고리즘과 유사한 복잡도를 가지며, βk가 작고 k가 상수일 경우를 제외하고는 여전히 비다항식이다.
• 영구 베텁 수로의 방법 확장은 간단하지 않으며, 영구 호모로지에 대해 유사한 라플라시안 구조가 존재하지 않기 때문이며, 전통적인 고전적 방법도 양자 환경으로 쉽게 이식되지 않는다.