[논문 리뷰] How Much Structure Is Needed for Huge Quantum Speedups?

Scott Aaronson|arXiv (Cornell University)|2022. 09. 14.

Quantum Computing Algorithms and Architecture인용 수 14

한 줄 요약

이 논문은 지수적 양자 가속을 위한 구조적 조건을 조사하며, 이러한 가속이 주기성 또는 숨겨진 부분군 구조와 같은 매우 이례적인 문제 성질을 필요로 한다고 주장한다. 이러한 성질은 양자 간섭을 통해 정답에 대한 진폭을 집중시킬 수 있게 한다. 이는 보편적인 양자 우월성의 개념을 도전하며, 지수적 가속은 드물고 깊이 있는 수학적 구조에 의존하며, 요즘의 돌풍인 Yamakawa와 Zhandry의 연구 결과가 표준 결정 문제를 초월한 특정한 문제 유형이 필요로 한다는 점을 드러낸다.

ABSTRACT

I survey, for a general scientific audience, three decades of research into which sorts of problems admit exponential speedups via quantum computers -- from the classics (like the algorithms of Simon and Shor), to the breakthrough of Yamakawa and Zhandry from April 2022. I discuss both the quantum circuit model, which is what we ultimately care about in practice but where our knowledge is radically incomplete, and the so-called oracle or black-box or query complexity model, where we've managed to achieve a much more thorough understanding that then informs our conjectures about the circuit model. I discuss the strengths and weaknesses of switching attention to sampling tasks, as was done in the recent quantum supremacy experiments. I make some skeptical remarks about widely-repeated claims of exponential quantum speedups for practical machine learning and optimization problems. Through many examples, I try to convey the "law of conservation of weirdness," according to which every problem admitting an exponential quantum speedup must have some unusual property to allow the amplitude to be concentrated on the unknown right answer(s).

연구 동기 및 목표

• 지수적 양자 가속이 고전 계산보다 가능하게 하는 문제의 구조적 특성은 무엇인지 이해하기.
• 기계 학습 및 최적화와 같은 실용적 응용 분야에서 널리 주장되는 양자 우월성의 타당성을 평가하기.
• 오라클과 쿼리 복잡도가 다항 시간과 지수 시간 가속을 구분하는 데서 수행하는 역할을 명확히 하기.
• 최근의 진전, 예를 들어 Yamakawa와 Zhandry의 결과가 이전의 양자 가속 한계에 대한 추측을 반박하거나 피하기는 하는지 평가하기.
• 가짜 랜덤 피크를 가진 양자 회로를 이용한 검증 가능한 양자 우월성의 가능성 탐색하기.

제안 방법

• 오라클(블랙박스) 쿼리 모델에서의 양자 가속을 분석하며, 더 실용적인 양자 회로 모델과 대비한다.
• 제한 오류를 가진 양자 다항시간(BQP)의 프레임워크를 적용하고, P 및 NP와 같은 고전적 복잡도 클래스와 비교한다.
• 주기성 또는 숨겨진 부분군 구조를 가진 문제에서, 정답에 대한 진폭 집중에 기여하는 구성적 간섭과 파괴적 간섭의 역할을 분석한다.
• Aaronson-Ambainis 추측을 평가하며, 이는 무작위 오라클 하에서 총 부울 함수에 대해 초다항 가속이 불가능하다는 것을 주장한다.
• 결정 문제와 NP 검색 문제 사이의 차이를 조사하며, 무작위 오라클 상에서도 지수적 가속이 검색 문제에서는 발생할 수 있음을 보여준다.
• 특정 기저 상태를 높은 확률로 출력하는 가짜 랜덤 양자 회로를 사용한 검증 가능한 양자 우월성의 새로운 범주를 제안한다.

실험 결과

연구 질문

• RQ1 지수적 양자 가속을 가능하게 하는 문제의 어떤 구조적 성질이 필수적인가?
• RQ2 왜 대부분 알려진 양자 가속은 다항 수준에 머물고, 지수적 가속은 매우 드문가?
• RQ3 무작위 오라클 상에서도 NP 검색 문제에 대해 지수적 가속이 발생할 수 있는가? 이는 이전의 추측을 어떻게 도전하는가?
• RQ4 모든 지수적 양자 가속이 문제의 구조에서 어떤 이례적인 성질을 이용하는 '이상성의 보존 법칙'이 존재하는가?
• RQ5 특정 기저 상태를 높은 확률로 출력하는 가짜 랜덤 양자 회로를 구성할 수 있는가? 이는 검증 가능한 근접 양자 우월성을 가능하게 하는가?

주요 결과

• 지수적 양자 가속은 주기성 또는 숨겨진 부분군 대칭성과 같은 매우 비표준적인 문제 구조가 있어야만 간섭을 통한 진폭 집중이 가능하다.
• Aaronson-Ambainis 추측—무작위 오라클 하에서 총 부울 함수에 대해 초다항 가속이 불가능하다는 주장—는 아직 증명되지 않았지만 강력한 증거와 다항 영향 이론과의 깊은 연관성으로 뒷받침된다.
• Yamakawa와 Zhandry의 2022년 결과는 무작위 오라클 상에서 NP 검색 문제에 대해 지수적 가속을 달성하며, 결정 문제에서가 아닌 검색 문제로의 초점을 이동시킴으로써 Aaronson-Ambainis 추측을 피하는 방식으로 작용한다.
• 샘플링 작업에 기반한 양자 우월성 실험은 유망하지만, 검증 및 고전적 시뮬레이션과의 구분에 어려움이 있다.
• 특정 기저 상태를 높은 확률로 출력하는 가짜 랜덤 양자 회로는 검증 가능한 근접 양자 우월성의 기초가 될 수 있으나, 그 존재성과 난이도는 여전히 열려 있다.
• 논문은 지수적 양자 가속이 반드시 문제의 구조에서 어떤 형태의 '이상성'을 이용해야 한다는 추측으로 맺으며, 이를 '이상성의 보존 법칙'이라 부른다.