[논문 리뷰] Quantum algorithmic information theory

Karl Svozil|ArXiv.org|1995. 10. 05.

Quantum Computing Algorithms and Architecture참고 문헌 83인용 수 25

한 줄 요약

이 논문은 양자 알고리즘 정보이론을 도입하여, 양자 역학에 기반해 고전적 알고리즘 정보이론을 확장하는 프레임워크를 제안한다. 여기서는 양자 정지 보조량과 양자 알고리즘 정보 내용을 정의한다. 두 포트 간섭계를 이용해 임의의 U(2) 변환을 실현하는 보편적인 양자 계산 모델을 수립하며, 이는 양자 간섭 장치가 두 차원 힐베르트 공간 내 임의의 유니터리 진화를 실현할 수 있음을 보여주어, 힐베르트 공간 양자역학에 기반한 물리적으로 구현 가능한 양자 정보 및 계산 이론을 가능하게 한다.

ABSTRACT

The agenda of quantum algorithmic information theory, ordered `top-down,' is the quantum halting amplitude, followed by the quantum algorithmic information content, which in turn requires the theory of quantum computation. The fundamental atoms processed by quantum computation are the quantum bits which are dealt with in quantum information theory. The theory of quantum computation will be based upon a model of universal quantum computer whose elementary unit is a two-port interferometer capable of arbitrary $U(2)$ transformations. Basic to all these considerations is quantum theory, in particular Hilbert space quantum mechanics.

연구 동기 및 목표

• 물리적 실현 가능성과 양자역학을 기반으로 한 양자 알고리즘 정보이론의 확장체를 개발한다.
• 보편적인 양자 간섭 장치에 기반한 물리적으로 구현 가능한 양자 계산 모델을 수립한다.
• 두 수준 양자 시스템 내에서 임의의 유니터리 변환은 매개변수화된 양자 간섭계를 통해 실현될 수 있음을 보여준다.
• 유니터리 진화 연산자를 통해 양자 계산과 양자 정보 내용 간의 관계를 체계화한다.
• 양자 간섭 원리로부터 유도된 물리적 및 수학적 기초를 바탕으로 양자 알고리즘 정보 내용의 기초를 마련한다.

제안 방법

• 임의의 U(2) 변환을 실현할 수 있는 두 포트 간섭계를 기반으로 한 보편적인 양자 컴퓨터 모델을 제안한다.
• 양자 간섭 장치의 유니터리 행렬 표현을 사용하여 두 차원 힐베르트 공간 내에서의 양자 진화를 모델링한다.
• Mach-Zehnder 간섭계와 비트 스플리터 간섭계에 대해 각각 T²¹ᴹᶻ 및 T²¹ᵇˢ 변환 행렬을 유도하며, 각각 각도와 위상으로 매개변수화한다.
• 표준 SU(2) 형태를 통해 임의의 유니터리 진화 연산자와 간섭계 매개변수 사이의 일대일 대응을 수립한다.
• 특정 매개변수 설정을 통해 기본 양자 게이트(항등, NOT, √NOT)가 이러한 간섭계를 통해 물리적으로 실현될 수 있음을 보여준다.
• 모든 큐비트에 대한 유니터리 연산이 간섭계의 매개변수 공간에 매핑될 수 있음을 증명함으로써, 간섭계가 양자 계산에 있어 보편적임을 보여준다.

실험 결과

연구 질문

• RQ1 물리적 실현 가능성의 기초를 두고서 알고리즘 정보이론을 양자 영역으로 어떻게 확장할 수 있는가?
• RQ2 양자 간섭에 기반한 보편적인 양자 컴퓨터의 물리적 및 수학적 구조는 무엇인가?
• RQ3 양자 간섭 장치(Mach-Zehnder 및 비트 스플리터 유형)는 어떻게 큐비트에 대해 임의의 유니터리 변환을 실현하는가?
• RQ4 양자 간섭계의 매개변수와 결과 유니터리 진화 연산자 간의 관계는 무엇인가?
• RQ5 기본 양자 논리 게이트는 어떻게 간섭성 구성 요소를 통해 물리적으로 실현할 수 있는가?

주요 결과

• 양자 정지 보조량은 양자 알고리즘 정보이론의 핵심 개념으로 규명되었으며, 고전적 정지 확률을 일반화한다.
• 양자 알고리즘 정보 내용은 유니터리 진화와 양자 간섭에 기반한 최소 양자 기술 길이의 척도로 유도된다.
• 임의의 U(2) 변환을 실현할 수 있는 두 포트 간섭계로 보편적인 양자 컴퓨터를 구성할 수 있으며, 이는 양자 계산의 물리적 기초를 확립한다.
• Mach-Zehnder 및 비트 스플리터 간섭계의 변환 행렬은 명시적으로 유도되었으며, 매개변수 변환 하에 동치임을 보여주어 그 보편성을 확인한다.
• 항등, NOT, √NOT와 같은 기본 양자 게이트는 간섭계 매개변수를 통해 물리적으로 실현되었으며, √NOT는 중첩 생성을 통해 진정으로 양자적인 행동을 보여준다.
• 간섭계의 위상과 각도에 의한 유니터리 진화의 매개변수화는 큐비트에 대한 임의의 유니터리 연산에 대해 완전하고 일대일로 매핑 가능하며, 이는 모델의 보편성을 증명한다.