[논문 리뷰] Reassessing the computational advantage of quantum-controlled ordering of gates

Martin J. Renner, Časlav Brukner|arXiv (Cornell University)|2021. 02. 22.

Quantum Computing Algorithms and Architecture참고 문헌 36인용 수 14

한 줄 요약

이 논문은 푸리에 약속 문제(Fourier Promise Problem, FPP)를 해결하는 데 있어 불확정적인 인과적 순서의 양자 우월성에 대해 재평가하며, 이전에 생각보다 훨씬 더 낮은 쿼리 복잡도를 달성할 수 있는 인과적 양자 알고리즘의 가능성을 보여준다. 순열 단계의 구조적 분해와 재귀적 블록 처리를 활용하여, 저자들은 특정 FPP를 O(n log n) 쿼리, 일반 FPP를 O(n√n) 쿼리로 해결하는 인과적 알고리즘을 제시한다. 이는 기존에 O(n²)로 추정되던 양자-n-스위치의 양자 우월성을 O(n log n) 또는 O(n√n)으로 낮춘다.

ABSTRACT

Research on indefinite causal structures is a rapidly evolving field that has a potential not only to make a radical revision of the classical understanding of space-time but also to achieve enhanced functionalities of quantum information processing. For example, it is known that indefinite causal structures provide exponential advantage in communication complexity when compared to causal protocols. In quantum computation, such structures can decide whether two unitary gates commute or anticommute with a single call to each gate, which is impossible with conventional (causal) quantum algorithms. A generalization of this effect to $n$ unitary gates, originally introduced in M. Ara\'ujo et al., Phys. Rev. Lett. 113, 250402 (2014) and often called Fourier promise problem (FPP), can be solved with the quantum-$n$-switch and a single call to each gate, while the best known causal algorithm so far calls $O(n^2)$ gates. In this work, we show that this advantage is smaller than expected. In fact, we present a causal algorithm that solves the only known specific FPP with $O(n \log(n))$ queries and a causal algorithm that solves every FPP with $O(n\sqrt{n})$ queries. Besides the interest in such algorithms on their own, our results limit the expected advantage of indefinite causal structures for these problems.

연구 동기 및 목표

• 푸리에 약속 문제(Fourier Promise Problem, FPP)를 해결하기 위해 양자-n-스위치를 통한 게이트의 양자 제어 인과적 순서에 기반한 주장된 계산 우월성을 재평가하는 것.
• FPP 인스턴스에 대해 양자-n-스위치의 쿼리 복잡도를 따라잡거나 뛰어넘는 효율적인 인과적 양자 알고리즘을 개발하는 것.
• 불확정적 인과적 구조의 지수적 또는 제곱근적 우월성이 과대평가되었음을 보이며, 근사적으로 최적의 쿼리 스케일링을 보이는 인과적 대체 방안을 제시하는 것.

제안 방법

• 크기 ˆn = n/2인 부분 블록으로 순열을 재귀적으로 분해하여, 블록 간 단계 누적 가능.
• 각 블록당 ˆk = n/ˆn = 2개의 제어 큐비트를 사용하여 순열 순서를 인코딩하고 단계 누적 제어.
• 이중 타겟 시스템 접근법 도입: 하나의 시스템 |Ψk⟩은 순방향 순열을 처리하고, 다른 하나 |Φk⟩는 역순서 순열을 처리하여 불필요한 상대 단계를 상쇄.
• 요소수 체계를 사용하여 순열을 레이블링하고 제어 큐비트 상태에 매핑하여 체계적인 단계 추적 가능.
• 핵심 항등식(Eq. B.15) 유도: 순열 블록과 기본 순열 간의 상대 단계는 반전된 블록에서 역전됨을 보여주며, 이는 상쇄 가능.
• 여러 블록에 걸쳐 이 단계 상쇄 메커니즘 적용으로 전체 순열의 총 단계 유지하면서 게이트 호출 수 최소화.

실험 결과

연구 질문

• RQ1 인과적 양자 알고리즘은 푸리에 약속 문제(Fourier Promise Problem)에서 양자-n-스위치의 쿼리 복잡도를 경쟁 가능하게 달성할 수 있는가?
• RQ2 오직 인과적 양자 회로만을 사용할 때 FPP를 해결하기 위해 필요한 최소 쿼리 수는 얼마인가?
• RQ3 더 효율적인 인과적 알고리즘을 고려할 때, 불확정적 인과적 순서가 FPP에서 지수적 또는 제곱근적 우월성을 보이는가?
• RQ4 순열의 구조적 분해와 단계 상쇄는 게이트 순서에 대한 초위상의 필요성을 줄일 수 있는가?
• RQ5 특정 및 일반 FPP 인스턴스에 대해 인과적 알고리즘의 쿼리 복잡도는 n에 대해 어떻게 스케일링되는가?

주요 결과

• 특정 FPP는 O(n log n) 쿼리로 인과적 알고리즘이 해결되며, 이는 이전에 가정된 인과 회로의 O(n²) 하한선보다 크게 향상됨.
• 일반 인과적 알고리즘은 모든 FPP를 O(n√n) 쿼리로 해결하며, 이는 양자-n-스위치의 우월성이 제한적이고 지수적이지 않음을 보여줌.
• 논문은 전체 순열의 총 단계가 쌍별 단계 αij로 분해될 수 있음을 증명하여, 체계적인 단계 추적 및 상쇄 가능.
• 순방향 및 역순서 블록 간의 단계 상쇄 메커니즘은 전체 순열의 네트워크 단계를 유지하면서 게이트 호출 수를 줄임.
• n = 8일 때, 중복된 타겟 시스템과 제어 큐비트를 생략함으로써 블랙박스 유니터리 호출 수를 56에서 46으로 줄여 실용적 효율성 입증.
• 결과적으로, FPP에서 불확정적 인과적 구조의 계산 우월성은 이전에 생각보다 작으며, 양자 우월성 시나리오에서의 기대 이점이 제한됨.