[논문 리뷰] Computational Complexity of Uniform Quantum Circuit Families and Quantum Turing Machines

Harumichi Nishimura, Masanao Ozawa|ArXiv.org|1999. 06. 25.

Quantum Computing Algorithms and Architecture참고 문헌 16인용 수 5

한 줄 요약

이 논문은 양자 Turning 기계(QTMs)와 균일한 양자 회로 가족(QCFs) 간의 계산적 동치성을 조사하며, 몬테카를로 알고리즘의 경우 두 모델이 동일한 복잡도 클래스를 제공함을 입증한다. 그러나 라스베가스 알고리즘의 경우 동치성은 아직 증명되지 않았으며, 잠재적으로 비동치일 수 있어 양자 복잡도 이론에서 중요한 미해결 문제로 남아 있다.

ABSTRACT

Deutsch proposed two sorts of models of quantum computers, quantum Turing machines (QTMs) and quantum circuit families (QCFs). In this paper we explore the computational powers of these models and re-examine the claim of the computational equivalence of these models often made in the literature without detailed investigations. For this purpose, we formulate the notion of the codes of QCFs and the uniformity of QCFs by the computability of the codes. Various complexity classes are introduced for QTMs and QCFs according to constraints on the error probability of algorithms or transition amplitudes. Their interrelations are examined in detail. For Monte Carlo algorithms, it is proved that the complexity classes based on uniform QCFs are identical with the corresponding classes based on QTMs. However, for Las Vegas algorithms, it is still open whether the two models are equivalent. We indicate the possibility that they are not equivalent. In addition, we give a complete proof of the existence of a universal QTM simulating multi-tape QTMs efficiently. We also examine the simulation of various types of QTMs such as multi-tape QTMs, single tape QTMs, stationary, normal form QTMs (SNQTMs), and QTMs with the binary tapes. As a result, we show that these QTMs are computationally equivalent one another as computing models implementing not only Monte Carlo algorithms but exact (or error-free) ones.

연구 동기 및 목표

• 문헌에서 증명 없이 일반적으로 가정되는 양자 Turning 기계(QTMs)와 양자 회로 가족(QCFs) 간의 주장된 계산적 동치성을 엄밀히 검토하기 위해.
• 코드의 계산 가능성에 기반한 균일한 QCFs의 정의를 형식화함으로써, 정밀한 복잡도 이론적 분석을 가능하게 하기 위해.
• 오차 확률과 전이 진폭에 대한 제약 조건 하에서 QTMs와 QCFs의 복잡도 클래스를 정의하고 비교하기 위해.
• 다양한 QTM 모델—다중 테이프, 단일 테이프, 이진 테이프 변종—의 시뮬레이션 효율성을 조사하기 위해.
• 라스베가스 알고리즘에 있어서 QTMs와 QCFs 간의 계산적 동치성이 존재하는지 확인하기 위해, 양자 계산 이론에서 핵심적으로 남아 있는 미해결 문제를 규명하기 위해.

제안 방법

• QCF 코드의 형식적 정의를 도입하고, 이러한 코드의 계산 가능성에 기반한 균일성 정의를 통해 복잡도 이론적 분석을 가능하게 한다.
• 오차 확률(예: 유계 오차, 영오차)과 진폭 제약 조건에 기반한 QTMs와 QCFs의 복잡도 클래스를 정의한다.
• 다중 테이프 QTMs를 효율적으로 시뮬레이션할 수 있는 유니버설 QTM의 존재성과 효율성을 구성적 시뮬레이션 기법을 통해 엄밀히 증명한다.
• 다중 테이프, 단일 테이프, 정지형, 정규형, 이진 테이프 QTM 등 여러 QTM 변종을 분석하고 비교하여, 몬테카를로 및 정확한(오차 없는) 계산의 경우 모두 계산적으로 동치임을 보여준다.
• 특히 오차 제한된 및 정확한 계산 모델에 대해, 고전적 복잡도 이론의 증명 기법을 양자 환경에 적응하여 적용한다.
• 감소 및 시뮬레이션 추론 기법을 사용하여, QTMs와 QCFs에서 유도된 복잡도 클래스를 비교하며, 특히 몬테카를로 및 라스베가스 체계 하에서의 성질을 분석한다.

실험 결과

연구 질문

• RQ1 몬테카를로 알고리즘에 있어서, 양자 회로 가족과 양자 Turning 기계는 계산적으로 동치인가?
• RQ2 라스베가스 알고리즘의 경우에도 동일한 동치성이 성립하는가, 아니면 계산 능력에 본질적인 차이가 존재할 수 있는가?
• RQ3 유니버설 양자 Turning 기계는 모든 다중 테이프 QTMs를 효율적으로 시뮬레이션할 수 있는가? 이러한 시뮬레이션의 복잡도는 얼마인가?
• RQ4 단일 테이프, 정지형, 또는 이진 테이프 모델 등의 다양한 QTM 변종 간의 계산 능력은 어떻게 비교되는가?
• RQ5 균일성은 양자 회로 가족에서 어떤 역할을 하는가? 그리고 이를 통해 유도되는 복잡도 클래스에 어떤 영향을 미치는가?

주요 결과

• 몬테카를로 알고리즘의 경우, 균일한 QCFs를 통해 정의된 복잡도 클래스는 QTMs를 통해 정의된 클래스와 정확히 일치함을 확인하여, 이 설정에서의 동치성이 입증된다.
• 다중 테이프 QTMs를 효율적으로 시뮬레이션할 수 있는 유니버설 QTM의 존재성이 엄밀히 증명되었으며, 이는 QTM 모델의 보편성에 대한 지지를 제공한다.
• 다양한 QTM 모델—다중 테이프, 단일 테이프, 정지형, 정규형, 이진 테이프—는 몬테카를로 및 정확한(오차 없는) 계산 모두에서 계산적으로 동치임이 입증되었다.
• 논문은 라스베가스 알고리즘에 있어서 QTMs와 QCFs 간의 동치성이 아직 미해결 문제로 남아 있으며, 이는 계산 능력에 잠재적인 비대칭성을 시사한다.
• 계산 가능한 코드를 통한 균일한 QCFs의 형식화는 양자 회로의 복잡도 이론적 분석에 견고한 기반을 제공한다.
• 유계 오차 및 영오차 계산에 기반한 복잡도 클래스는 두 모델 간에 잘 정의되어 있으며 비교 가능하며, 라스베가스 경우를 제외하고는 모두 동일한 성격을 띤다.