[논문 리뷰] One-Way Ticket to Las Vegas and the Quantum Adversary

Aleksandrs Belovs, Duyal Yolcu|arXiv (Cornell University)|2023. 01. 05.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 가능한 해의 해법에서 양자 쿼리 알고리즘으로의 단순한 변환을 통해 정확히 양자 반디셔드 경계와 일치하는 새로운 양자 라스베가스 쿼리 복잡도 정의를 제안한다. 이 방법은 단방향 액세스, 다중 오라클, 비유니터리 오라클로 일반화되며, 자연스러운 유니터리 순열 역전치 문제에 대해 단방향 액세스와 이방향 액세스 간의 분리성을 보여준다.

ABSTRACT

We propose a new definition of quantum Las Vegas query complexity. We show that it is exactly equal to the quantum adversary bound. This is achieved by a new and very simple way of transforming a feasible solution to the adversary optimisation problem into a quantum query algorithm. This allows us to generalise the bound to include unidirectional access, multiple input oracles, and input oracles that are not unitary. As an application, we demonstrate a separation between unidirectional and bidirectional access to an input oracle for a rather natural unitary permutation inversion problem.

연구 동기 및 목표

• 오차 매개변수에 의존하지 않으며 청소된 조합이 가능한 자연스럽고 일반적인 양자 라스베가스 쿼리 복잡도의 개념을 정의한다.
• 양자 라스베가스 복잡도와 양자 반디셔드 경계 간의 정확한 동치성을 확립하여 오랫동안 남아있던 열린 문제를 해결한다.
• 반디셔드 경계를 단방향 액세스, 다중 입력 오라클, 비유니터리 오라클로 일반화한다.
• 자연스러운 문제인 유니터리 순열 역전치에 대해 단방향 액세스와 이방향 액세스 간의 분리를 보여준다.
• 정확한 양자 알고리즘과 그 조합에 관한 향후 연구를 위한 기초를 마련한다. 특히 상태 변환과 함수 평가 분야에서 중요하다.

제안 방법

• 항상 올바른 답을 반환하는 0 오차 알고리즘에서의 쿼리 수의 기댓값으로서 새로운 양자 라스베가스 쿼리 복잡도 정의를 제안한다.
• 양자 반디셔드 최적화 문제의 임의의 타당한 해에서 유효한 양자 쿼리 알고리즘으로의 단순하고 직접적인 변환을 도입한다.
• 이 변환을 통해 음수 가중치가 있는 형태의 양자 반디셔드 경계가 정확히 양자 라스베가스 복잡도를 특징짓는다는 것을 증명한다.
• 반디셔드 행렬의 구조와 관련 진전 함수를 수정하여 단방향 액세스를 다룰 수 있도록 프레임워크를 일반화한다.
• 유니터리 순열 역전치 문제에 이 방법을 적용하여, 단방향 액세스가 이방향 액세스보다 더 높은 복잡도를 유도한다는 것을 보여준다.
• 정수형 프로그래밍의 강력한 이중성에 기반하여, 이 변환이 반디셔드 경계와 상수 인자 범위 내에서 일치하는 복잡도를 갖는 알고리즘을 생성함을 보장한다.

실험 결과

연구 질문

• RQ1 청결하고 정확한 양자 라스베가스 복잡도 모델을 정의할 수 있는가? 이는 오차 감소를 피하고 잘 조합될 수 있어야 한다.
• RQ2 비유니터리 또는 단방향 오라클이 존재하는 상황에서도 양자 반디셔드 경계가 정확히 양자 라스베가스 복잡도와 일치하는가?
• RQ3 자연스러운 양자 문제인 유니터리 순열 역전치에 대해 단방향 액세스와 이방향 액세스 간의 복잡도 격차는 얼마인가?
• RQ4 반디셔드 경계를 비유니터리 오라클과 다중 입력 오라클로 확장하면서도 타당성을 유지할 수 있는가?
• RQ5 단방향 입력 오라클을 사용한 근사 및 비코herent 함수 평가의 진정한 복잡도는 얼마인가?

주요 결과

• 양자 라스베가스 쿼리 복잡도는 정확히 양자 반디셔드 경계와 일치하며, 두 개념 간의 날카운 상호관계를 확립한다.
• 반디셔드 해에서 양자 알고리즘으로의 제안된 변환은 단순하고 일반적이며, 비유니터리 및 단방향 오라클로의 적용을 가능하게 한다.
• 유니터리 순열 역전치 문제에 대해 단방향 액세스와 이방향 액세스 간의 분리성이 입증되었으며, 단방향 액세스가 더 높은 복잡도를 초래한다는 것이 확인되었다.
• 이 프레임워크는 몬테카를로 모델과 달리 오차 증폭 없이 양자 알고리즘의 청소된 조합을 가능하게 한다.
• 이 방법은 반디셔드 경계를 다중 오라클과 비유니터리 오라클로 일반화하여 적용 범위를 넓혔다.
• 결과적으로 이전 연구에서의 희생자(purifiers)는 라스베가스 알고리즘으로 재해석될 수 있으며, 정확한 양자 알고리즘은 반디셔드 경계에서 직접 구성될 수 있다.