[논문 리뷰] From Quantum Query Complexity to State Complexity

Shenggen Zheng, Daowen Qiu|arXiv (Cornell University)|2014. 07. 28.

Quantum Computing Algorithms and Architecture인용 수 7

한 줄 요약

이 논문은 양자 쿼리 복잡도와 양자 유한 오토마타(QFAs)의 상태 복잡도를 연결하는 새로운 프레임워크를 수립하며, 효율적인 양자 쿼리 알고리즘을 직접적으로(compact) QFA 설계로 변환할 수 있음을 보여준다. 특히 프로미스 문제 DJ′에 대한 양자 쿼리 결과를 활용하여, 높은 정확도로 문제를 해결하는 2상태의 양자 유한 오토마타를 구성함으로써, 고전적 유한 오토마타에 비해 지수적 상태 간소화 이점을 입증한다.

ABSTRACT

State complexity of quantum finite automata is one of the interesting topics in studying the power of quantum finite automata. It is therefore of importance to develop general methods how to show state succinctness results for quantum finite automata. One such method is presented and demonstrated in this paper. In particular, we show that state succinctness results can be derived out of query complexity results.

연구 동기 및 목표

• 양자 쿼리 복잡도 결과로부터 양자 유한 오토마타(QFAs)의 상태 간소화 결과를 유도하는 일반적 방법을 개발하는 것.
• 낮은 쿼리 수를 가지는 양자 쿼리 알고리즘이 체계적으로 컴act QFA 구현으로 변환될 수 있음을 보이는 것.
• 유한 오토마타에 대해 양자 쿼리 복잡도, 통신 복잡도, 상태 복잡도를 연결하는 프레임워크를 수립하는 것.
• 특정 프로미스 문제에 대해 고전적 유한 오토마타보다 지수적으로 적은 상태를 가지는 QFA를 설계하는 구성적 방법을 제공하는 것.
• 프로미스 문제 DJ′이 2상태 QFA에 의해 해결될 수 있음을 증명함으로써, 고전적 모델과 양자 모델 간의 초초항 상태 복잡도 격차를 부각하는 것.

제안 방법

• 특히 2쿼리 양자 알고리즘을 가진 DJ′ 프로미스 문제에 초점을 맞추어, QFA 설계의 기본 요소로 양자 쿼리 알고리즘을 활용한다.
• 쿼리 단계를 유니터리 변환과 고전적 제어 상태에 인코딩함으로써, 양자 쿼리 알고리즘을 시뮬레이션하는 양자 유한 오토마타(QFA)를 구성한다.
• 복잡한 상태 전이를 관리하기 위해 양자 기저 상태(|k⟩, 1 ≤ k ≤ n−2)와 고전적 제어 상태 Sijp를 모두 포함하는 하이브리드 QFA 모델을 사용한다.
• 입력 기호와 현재 상태에 따라 조건부로 위상 반전을 적용하는 단위 연산 U_{p,σ}, U_{ij}, U_{ijp,σ}를 설계하여 간섭 기반 계산을 가능하게 한다.
• 계산의 핵심 단계에서 측정 단계를 활용하여 양자 상태를 붕괴시키고, 결과에 따라 수락 또는 기각을 결정한다.
• 쿼리 알고리즘에서 유도된 양자 통신 프로토콜의 시뮬레이션을 통해 상태 복잡도의 상한을 확립한다.

실험 결과

연구 질문

• RQ1 양자 쿼리 복잡도 결과를 체계적으로 활용하여 양자 유한 오토마타의 상태 복잡도 한계를 도출할 수 있는가?
• RQ2 DJ′ 프로미스 문제를 해결하기 위해 필요한 최소한의 양자 상태와 고전적 상태 수는 각각 얼마인가?
• RQ3 낮은 쿼리 수를 가지는 양자 알고리즘을 체계적으로 컴act QFA 구현으로 변환할 수 있는 일반적 방법이 있는가?
• RQ4 EQ′ 프로미스 문제에 대해 고전적 유한 오토마타와 양자 유한 오토마타 간의 상태 복잡도 격차는 얼마인가?
• RQ5 통신 복잡도를 중간 단계로 활용하여 QFA의 상태 복잡도 결과를 도출할 수 있는가?

주요 결과

• 프로미스 문제 DJ′에 대한 2쿼리 양자 쿼리 알고리즘을 구성하였으며, 이는 이전의 복잡한 구성보다 단순화된 것이다.
• DJ′ 문제를 해결하기 위해 명시적으로 2상태의 양자 유한 오토마타를 설계하였으며, 이는 오직 두 개의 양자 기저 상태만으로도 충분함을 보여준다.
• EQ′ 문제에 대한 해당하는 고전적 결정적 유한 오토마타(1DFA)는 2^Ω(n)개의 상태를 필요로 하며, 이는 지수적 상태 복잡도 격차를 증명한다.
• n−2개의 양자 기저 상태와 O(n²)개의 고전적 제어 상태를 포함하는 하이브리드 모델을 사용하여 최적의 상태 효율성을 달성하였다.
• 프레임워크는 양자 쿼리 복잡도를 상태 복잡도 결과로 성공적으로 번역하였으며, 상태 간소화를 증명하는 일반적 방법을 제공한다.
• 증명을 통해 EQ′ 문제의 상태 복잡도가 고전적 오토마타에 비해 양자 오토마타에서 지수적으로 높다는 것을 입증하였으며, 초초항 분리가 확인됨을 보여준다.