[논문 리뷰] Quantum Algorithms and the Power of Forgetting

Andrew M. Childs, Matthew Coudron외 1명|arXiv (Cornell University)|2022. 11. 22.

Quantum Computing Algorithms and Architecture인용 수 3

한 줄 요약

이 논문은 연결된 정점 레이블 부분집합을 유지하는 자연스러운 효율적 양자 알고리즘의 클래스—ENTRANCE를 포함하는 연결된 부분그래프를 유지하는 알고리즘—이 빌드된 나무 문제에서 EXIT로의 경로를 찾을 수 없음을 보여준다. 이는 EXIT를 효율적으로 찾을 수 있음에도 불구하고 그렇다. 핵심 결과는 이러한 알고리즘이 더 이상 지수적으로 작은 확률보다 높은 확률로 경로를 발견하지 못한다는 형식적 금기 정리이며, 이는 이 케이스에서 양자 가속이 중간 경로 정보를 잊는 능력에 기반할 수 있음을 시사한다.

ABSTRACT

The so-called welded tree problem provides an example of a black-box problem that can be solved exponentially faster by a quantum walk than by any classical algorithm. Given the name of a special ENTRANCE vertex, a quantum walk can find another distinguished EXIT vertex using polynomially many queries, though without finding any particular path from ENTRANCE to EXIT. It has been an open problem for twenty years whether there is an efficient quantum algorithm for finding such a path, or if the path-finding problem is hard even for quantum computers. We show that a natural class of efficient quantum algorithms provably cannot find a path from ENTRANCE to EXIT. Specifically, we consider algorithms that, within each branch of their superposition, always store a set of vertex labels that form a connected subgraph including the ENTRANCE, and that only provide these vertex labels as inputs to the oracle. While this does not rule out the possibility of a quantum algorithm that efficiently finds a path, it is unclear how an algorithm could benefit by deviating from this behavior. Our no-go result suggests that, for some problems, quantum algorithms must necessarily forget the path they take to reach a solution in order to outperform classical computation.

연구 동기 및 목표

• 빌드된 나무 문제에서 EXIT로의 경로를 효율적으로 찾을 수 있는 양자 알고리즘이 있는지 조사하기.
• ENTRANCE를 포함하는 정점 레이블의 연결된 부분집합을 저장하고 이를 오рак루 입력으로 사용하는 자연스러운 양자 알고리즘의 클래스를 분석하기.
• 이러한 알고리즘이 EXIT 또는 경로를 성공적으로 찾을 확률이 지수적으로 작은 확률을 초과할 수 없음을 증명하기.
• 이러한 결과가 표준 간섭 기반 방법을 초월한 '잊음'의 역할에 미치는 영향을 탐색하기.

제안 방법

• ENTRANCE를 포함하는 정점 레이블의 연결된 부분집합을 양자 superposition 상태로 유지하는 '진정한' 및 '루트가 있는' 양자 알고리즘을 정의하기.
• 이러한 알고리즘에서 오라클 쿼리의 역사를 및 정점 레이블 접근을 추적하기 위해 '대화 상태'를 도입하기.
• 임의의 색상 유지 치환 σ를 통해 주소를 정점으로 매핑함으로써 진정하고 루트가 있는 알고리즘의 고전적 시뮬레이션을 구축하기.
• 오라클 환경을 모델링하기 위해 3색으로 칠해진 빌드된 나무 그래프의 분포 Dn을 도입하며, 이 경우 EXIT와 사이클은 높은 확률로 숨겨져 있다.
• 어떤 알고리즘에 대해서도 EXIT 또는 사이클에 도달할 확률이 4p(n)⁴2⁻ⁿ/³ 이하로 제한됨을 증명하기. 이는 다항식 크기의 부분집합에 대해 지수적으로 작은 확률이다.
• 합집합 한계 및 경로 임bedding 분석을 포함한 조합론적 및 확률론적 추론을 활용하여, 임의의 σ 하에서 부분나무 임베딩이 EXIT를 거의 만나거나 사이클을 형성하지 않는다는 것을 보여주기.

실험 결과

연구 질문

• RQ1 ENTRANCE에서 EXIT로의 경로를 찾는 데 효율적인 양자 알고리즘 중 정점 레이블의 연결된 부분집합을 유지하는 알고리즘은 빌드된 나무 문제에서 경로를 찾을 수 있는가?
• RQ2 중간 경로 정보를 잊는 양자 알고리즘은, 그러한 정보가 가용할 때조차도 본질적인 제한이 있는가?
• RQ3 빌드된 나무 문제에서의 지수적 양자 가속은 알고리즘이 경로 역사 정보를 추적하거나 저장하지 못하는 능력에 기반하는가?
• RQ4 이러한 양자 알고리즘의 행동을 고전 알고리즘이 높은 정밀도로 시뮬레이션할 수 있는가? 만약 가능하다면 어떤 조건에서 가능한가?
• RQ5 EXIT 또는 사이클을 비결정적 확률으로 찾을 수 없는, 이러한 클래스에 속하는 고전 또는 양자 알고리즘이 존재하는 빌드된 나무 그래프의 분포를 구성할 수 있는가?

주요 결과

• ENTRANCE를 포함하는 정점 레이블의 연결된 부분집합을 유지하고 오직 이러한 레이블만을 오라클 입력으로 사용하는 모든 양자 알고리즘에 대해, EXIT 또는 사이클에 도달할 확률은 최대 4p(n)⁴2⁻ⁿ/³ 이다.
• 이 상한은 다항식 크기의 부분집합에 대해 지수적으로 작으므로, 이러한 알고리즘이 ENTRANCE에서 EXIT로의 경로를 효율적으로 발견할 수 없음을 시사한다.
• 이 결과는 알고리즘이 3색으로 칠해진 빌드된 나무 그래프의 분포에서 샘플링하는 경우에도 성립하므로, 금기 조건의 강건성을 시사한다.
• 이러한 알고리즘의 고전적 시뮬레이션은 그들의 행동을 정확히 재현하므로, 이 경우의 양자 우월성이 경로 추적에 기인하지 않음을 보여준다.
• 분석 결과, 랜덤 색상과 그래프의 구조로 인해 EXIT와 사이클이 이러한 알고리즘으로부터 숨겨져 있어 탐지가 거의 불가능하다는 것이 드러났다.
• 이 논문은 형식적인 장벽을 수립한다: 경로 정보를 잊는 양자 알고리즘은 특정 문제에서 지수적 가속을 달성하는 데 필수적일 수 있다.