[논문 리뷰] Towards quantum advantage for topological data analysis

Casper Gyurik, Chris Cade외 1명|arXiv (Cornell University)|2020. 05. 06.

Topological and Geometric Data Analysis참고 문헌 79인용 수 5

한 줄 요약

이 논문은 루이, 가르니에론, 자나르디(LGZ)가 제안한 토폴로지컬 데이터 분석을 위한 양자 알고리즘을 조사하며, 알고리즘의 핵심 단계들이 한 명의 클린 큐비트(DQC1) 모델과 연결되어 있어 고전적 알고리즘으로서의 탈양자화(dequantization)가 어려울 수 있음을 제시한다. 이는 잠재적인 양자 우월성의 증거로 간주된다. 또한 알고리즘의 적용 범위를 스펙트럼 엔트로피 추정으로 확장하고, 근접한 양자 장치에서의 구현 가능성을 논의한다.

ABSTRACT

A particularly promising line of quantum machine leaning (QML) algorithms with the potential to exhibit exponential speedups over their classical counterparts has recently been set back by a series of dequantization results, that is, quantum-inspired classical algorithms which perform equally well in essence. This raises the important question whether other QML algorithms are susceptible to such dequantization, or whether it can be formally argued that they are out of reach of classical computers. In this paper, we study the quantum algorithm for topological data analysis by Lloyd, Garnerone and Zanardi (LGZ). We provide evidence that certain crucial steps in this algorithm solve problems that are classically intractable by closely relating them to the one clean qubit model, a restricted model of quantum computation whose power is strongly believed to lie beyond that of classical computation. While our results do not imply that the topological data analysis problem solved by the LGZ algorithm (i.e., Betti number estimation) is itself DQC1-hard, our work does provide the first steps towards answering the question of whether it is out of reach of classical computers. Additionally, we discuss how to extend the applicability of this algorithm beyond its original aim of estimating Betti numbers and demonstrate this by looking into quantum algorithms for spectral entropy estimation. Finally, we briefly consider the suitability of the LGZ algorithm for near-term implementations.

연구 동기 및 목표

• LGZ 양자 알고리즘이 고전적 알고리즘에 의해 탈양자화될 수 있는가를 평가하는 것.
• LGZ 알고리즘의 핵심 구성 요소가 고전적 계산의 능력을 뛰어넘는 문제를 해결하는가를 조사하는 것.
• Betti 수 추정을 넘어서, 스펙트럼 엔트로피와 같은 다른 토폴로지적 및 스펙트럼 불변량을 추정할 수 있도록 LGZ 알고리즘의 유용성을 확장하는 것.
• 제한된 큐비트 수와 코herence 시간을 가진 근접한 양자 장치에서 LGZ 알고리즘을 구현할 수 있는가를 평가하는 것.

제안 방법

• 논문은 LGZ 알고리즘의 중요한 서브루틴을 한 명의 클린 큐비트(DQC1) 모델과 연결하여 분석하며, 이는 고전 컴퓨터보다 우월할 것으로 여겨지는 제한된 양자 계산 모델이다.
• LGZ 알고리즘의 단계와 DQC1 모델에서 고전적으로 어려운 것으로 알려진 문제들 사이의 이론적 연결 고리를 수립한다.
• 저자들은 알고리즘 프레임워크를 확장하여 스펙트럼 엔트로피를 추정하고, Betti 수 추정을 넘어서는 더 넓은 적용 가능성을 입증한다.
• LGZ 알고리즘의 계산 복잡도와 그 구성 요소를 고전적 복잡도 클래스와 관련하여 분석하며, 특히 DQC1-난이도에 중점을 둔다.
• 논문은 근접한 양자 하드웨어를 고려한 구현 고려 사항을 논의하며, 게이트 수, 큐비트 요구 사항, 오류 내성에 중점을 둔다.

실험 결과

연구 질문

• RQ1 LGZ 양자 알고리즘의 핵심 단계들이 고전적으로 비가역적인가, 아니면 고전적 대체 방법에 의해 탈양자화될 수 있는가?
• RQ2 LGZ 알고리즘은 공식적으로 한 명의 클린 큐비트(DQC1) 모델과 연결될 수 있는가, 이는 고전적 능력을 뛰어넘는 문제를 해결한다는 것을 시사하는가?
• RQ3 LGZ 알고리즘은 Betti 수 추정을 넘어서 스펙트럼 엔트로피와 같은 다른 토폴로지적 또는 스펙트럼 불변량을 추정할 수 있도록 얼마나 일반화될 수 있는가?
• RQ4 제한된 큐비트 수와 코herence 시간을 가진 근접한 양자 장치에서 LGZ 알고리즘을 구현할 수 있는가?

주요 결과

• 논문은 LGZ 알고리즘의 일부 단계가 DQC1 모델과 밀접하게 관련되어 있어, 고전적으로 비가역적일 수 있음을 이론적으로 제시한다.
• 전체 Betti 수 추정 문제의 DQC1-난이도는 증명되지 않았지만, DQC1와의 연결은 그 양자 우월성 잠재력에 대한 첫 번째 공식적 단계를 제공한다.
• 알고리즘의 프레임워크는 성공적으로 스펙트럼 엔트로피 추정으로 확장되어, 데이터 분석에서의 적용 가능성을 넓혔다.
• 연구는 LGZ 알고리즘이 고전적 방법으로 효율적으로 시뮬레이션할 수 없는 양자 과정에 의존하므로 여전히 양자 우월성의 후보로 남아 있음을 밝혔다.