[논문 리뷰] Three Approaches to the Quantitative Definition of Information in an Individual Pure Quantum State

Paul Vitányi|ArXiv.org|1999. 07. 09.

Computability, Logic, AI Algorithms인용 수 8

한 줄 요약

이 논문은 순수 양자 상태 내의 알고리즘적 정보의 정량적 측도로 양자 콜모고로프 복잡도를 도입하여 고전적 알고리즘적 정보 이론을 양자 영역으로 확장한다. 큐비트 프로그램, 계산 가능한 매개변수를 가진 고전적 기술, 그리고 일반 양자 튜링 기계라는 세 가지 등가적 접근 방식을 체계화하여, 양자 복잡도가 상한선을 가지며 효과적으로 근사 가능하다는 것을 보이며, 대부분의 양자 상태가 높은 확률로 압축 불가능하다는 것을 보여준다.

ABSTRACT

In analogy of classical Kolmogorov complexity we develop a theory of the algorithmic information in bits contained in any one of continuously many pure quantum states: quantum Kolmogorov complexity. Classical Kolmogorov complexity coincides with the new quantum Kolmogorov complexity restricted to the classical domain. Quantum Kolmogorov complexity is upper bounded and can be effectively approximated from above. With high probability a quantum object is incompressible. There are two alternative approaches possible: to define the complexity as the length of the shortest qubit program that effectively describes the object, and to use classical descriptions with computable real parameters.

연구 동기 및 목표

• 고전적 알고리즘적 정보 이론을 순수 양자 상태 내의 정보량을 정의하여 양자 영역으로 확장한다.
• 기존의 측정법(예: 폰 노이먼 엔트로피)이 알고리즘적 내용을 포착하지 못하는 양자 시스템 내 정보를 정량화하는 데 도전하는 문제를 해결한다.
• 개별 양자 상태에 대한 엄밀하고 계산 가능한, 정보 이론적으로 의미 있는 복잡도 측도를 수립한다.
• 양자 콜모고로프 복잡도가 고전적 극한에서 고전적 콜모고로프 복잡도를 일반화한다는 것을 보여준다.
• 대부분의 양자 상태가 고전적 압축 불가능성과 유사하게 알고리즘적으로 압축 불가능하다는 것을 보여준다.

제안 방법

• 일반 양자 튜링 기계에서 주어진 순수 양자 상태를 준비하는 가장 짧은 큐비트 프로그램의 길이로 양자 콜모고로프 복잡도를 정의한다.
• 특정 양자 상태를 생성하는 프로그램의 개념을 일반 양자 튜링 기계를 통해 체계화한다.
• 계산 가능한 실수 매개변수를 가진 고전적 기술을 사용하는 대안적 접근 방식을 도입하여, 양자 상태를 표현하고 효과적인 근사를 보장한다.
• 프로그램의 효과적 구성에 의해 양자 콜모고로프 복잡도의 상한선을 확립한다.
• 고전적 상태에 국한된 경우에 양자 복잡도가 고전적 콜모고로프 복잡도와 일치함을 증명한다.
• 구성적 방법을 통해 복잡도 측도가 위에서 효과적으로 근사 가능하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 고전적 콜모고로프 복잡도와 유사하게, 개별 순수 양자 상태에 대해 알고리즘적 정보를 어떻게 정량적으로 정의할 수 있는가?
• RQ2 양자 알고리즘적 복잡도의 다양한 체계화 방법은 무엇이며, 상호 등가적인가?
• RQ3 양자 콜모고로프 복잡도는 효과적으로 근사 가능할 수 있으며, 그 상한선은 무엇인가?
• RQ4 양자 복잡도가 고전적 극한에서 고전적 복잡도를 어느 정도 일반화하는가?
• RQ5 임의의 양자 상태의 일반적인 압축 가능성은 어떠한가? 이는 압축 불가능성과 어떻게 관련되는가?

주요 결과

• 양자 콜모고로프 복잡도는 상한선을 가지며, 구성적 방법을 통해 위에서 효과적으로 근사 가능하다.
• 큐비트 프로그램, 계산 가능한 매개변수를 가진 고전적 기술, 일반 양자 튜링 기계라는 세 가지 접근 방식은 모두 동일한 양자 알고리즘적 정보 정의를 도출한다.
• 고전적 순수 상태에 적용될 경우, 양자 콜모고로프 복잡도는 고전적 콜모고로프 복잡도로 감소한다.
• 높은 확률로 무작위로 선택된 순수 양자 상태는 압축 불가능하며, 이는 그 양자 콜모고로프 복잡도가 힐베르트 공간 차원에 가까워진다는 것을 의미한다.
• 이 이론은 폰 노이만 엔트로피를 초월하여 양자 시스템 내 알고리즘적 정보를 측정하는 기초를 제공하며, 내재된 복잡성을 포착한다.