[논문 리뷰] Quantum Kolmogorov Complexity and the Quantum Turing Machine

Markus P. Mueller|ArXiv.org|2007. 12. 28.

Computability, Logic, AI Algorithms참고 문헌 40인용 수 15

한 줄 요약

이 논문은 주어진 양자 상태를 생성하는 데 필요한 최소한의 양자 입력 길이로 양자 콜모고로프 복잡도를 형식화한다. 보편 양자 Turning 기계(QTM)가 확률 1로 정지함을 증명하고, 복잡도의 불변성(추가 상수까지)을 확립하며, 고전적 문자열의 양자 복잡도가 고전적 복잡도와 상수 오차 내에서 일치함을 보여준다. 또한 압축 불가능성 정리들을 증명하고, 에르고딕 양자 소스에 대해 복잡도 비율과 엔트로피 비율이 거의 확실히 일치함을 보여준다.

ABSTRACT

The purpose of this thesis is to give a formal definition of quantum Kolmogorov complexity (QC), and rigorous mathematical proofs of its basic properties. The definition used here is similar to that by Berthiaume, van Dam, and Laplante. It defines the QC of some indeterminate-length qubit string ρas the minimum base length of any quantum input which makes a quantum Turing machine (QTM) halt and output ρ, up to some error tolerance. First, we prove that there is a QTM which is universal in the sense of input base length. Furthermore, we show several general properties of QTMs, including a result on mutually orthogonal ``halting spaces'', and a way to transform every almost-halting input into a deterministically-halting input by adding at most a constant number of qubits. Afterwards, we apply these results to QC. In particular, we show that QC is invariant, incompressible, agrees with classical Kolmogorov complexity for classical strings, and is closely related to von Neumann entropy for ergodic quantum information sources.

연구 동기 및 목표

• 고전적 알고리즘 정보이론을 양자 영역으로 확장하여 양자 콜모고로프 복잡도에 대한 엄밀한 수학적 기초를 제공하는 것.
• 이전 연구들보다 더 높은 수학적 정밀도로 양자 Turning 기계(QTM) 모델을 형식화하는 것.
• 보편 QTM의 선택에 따라 양자 콜모고로프 복잡도가 상수 오차 내에서 불변임을 증명하는 것.
• 고전적 문자열에 대해 양자 복잡도가 고전적 복잡도와 일관됨을 확립하는 것.
• 에르고딕 양자 정보 소스에서 양자 복잡도 비율과 엔트로피 비율 간의 관계를 조사하는 것.

제안 방법

• Bernstein와 Vazirani의 프레임워크에 기반한 보편 QTM을 구성하고, 그 존재성을 증명하며, 임의의 시간 단계 수에 대해 확률 1로 정지함을 보여주는 것.
• 해석적 추정과 트레이스 노름 부등식을 사용하여, 거의 정지시키는 데에 쓰이는 입력은 최대 상수 개의 큐비트를 추가함으로써 완전히 정지시키도록 수정할 수 있음을 보여주는 것.
• 제어 상태의 안정성과 양자 연산의 수축성(Contractivity)을 적용하여, 소수의 입력 변화에 따른 정지 확률의 차이를 제한하는 것.
• 길이 연산자와 트레이스 클래스 형식을 사용하여, 다양한 큐비트 문자열 길이의 힐베르트 공간에서의 평균 길이와 양자 상태의 진화를 정의하는 것.
• 트레이스 거리와 부분 추적을 사용하여 QTM 모델 내에서 시간 단계에 따른 양자 상태의 진화를 분석하는 것.
• 에르고딕 양자 정보 소스에 대한 결과를 적용하여, 측도 이론적 추론을 사용하여 복잡도 비율과 엔트로피 비율을 비교하는 것.

실험 결과

연구 질문

• RQ1 임의의 다른 QTM를 시뮬레이션할 수 있고, 확률 1로 정지하는 보편 양자 Turning 기계가 존재하는가?
• RQ2 보편 QTM의 선택에 따라 양자 콜모고로프 복잡도가 상수 오차 내에서 불변인가?
• RQ3 고전적 이진 문자열에 대해 양자 콜모고로프 복잡도는 고전적 콜모고로프 복잡도와 어떻게 관련이 있는가?
• RQ4 양자 상태의 압축 불가능성 비율은 무엇이며, 낮은 복잡도를 가진 상태는 얼마나 많은가?
• RQ5 에르고딕 양자 정보 소스에 대해, 복잡도 비율과 엔트로피 비율이 거의 확실히 일치하는가?

주요 결과

• 임의의 시간 단계 수에 대해 다른 QTM를 시뮬레이션할 수 있고 확률 1로 정지하는 보편 양자 Turning 기계가 존재한다.
• 거의 정지시키는 데에 쓰이는 입력은 최대 상수 개의 큐비트를 추가함으로써 완전히 정지시키도록 수정할 수 있으며, 이는 양자 콜모고로프 복잡도의 불변성을 확립한다.
• 고전적 이진 문자열의 양자 콜모고로프 복잡도는 상수 오차 내에서 고전적 콜모고로프 복잡도와 일치한다.
• 압축 불가능성 정리들이 존재하여, 낮은 양자 콜모고로프 복잡도를 가진 상태는 전체 상태 중에서 매우 소수임을 보여준다.
• 에르고딕 양자 정보 소스에 대해, 양자 복잡도 비율과 엔트로피 비율은 확률 1로 일치한다.
• 결과들은 양자 콜모고로프 복잡도가 통계역학에서 잠재적인 응용 가능성을 지닌다는 것을 시사하며, 특히 일반적인 양자 상태를 특성화하는 데에 유용할 수 있다.