[논문 리뷰] Algorithmic complexity of quantum states

C. E. Mora, Hans J. Briegel|ArXiv.org|2004. 12. 22.

Computability, Logic, AI Algorithms인용 수 5

한 줄 요약

이 논문은 고정밀도로 상태를 준비하는 양자 회로의 고전적 기술 길이를 기반으로 순수 양자 상태에 대한 알고리즘 복잡도의 정의를 제안한다. 모든 N-qubit 양자 상태의 복잡도가 O(N²2^N) 이하로 상계됨을 입증하고, 고전적 비트스트링을 계산 기저 상태로 매핑할 경우 고전적 콜모고로프 복잡도와의 일관성을 보여준다.

ABSTRACT

In this paper we give a definition for the Kolmogorov complexity of a pure quantum state. In classical information theory the algorithmic complexity of a string is a measure of the information needed by a universal machine to reproduce the string itself. We define the complexity of a quantum state by means of the classical description complexity of an (abstract) experimental procedure that allows us to prepare the state with a given fidelity. We argue that our definition satisfies the intuitive idea of complexity as a measure of ``how difficult'' it is to prepare a state. We apply this definition to give an upper bound on the algorithmic complexity of a number of states.

연구 동기 및 목표

• 양자 상태 준비의 어려움을 반영하는 순수 양자 상태에 대한 의미 있는 알고리즘 복잡도의 개념을 정의하기 위해.
• 양자 정보 이론에서 양자 상태의 복잡도를 얽힘 또는 정밀도를 초월해 측정하는 데 있어 빈도가 있는 문제를 해결하기 위해.
• 정의가 상태 준비의 자원 비용으로서의 직관적 복잡도와 일치하도록 보장하기 위해.
• 고전적 비트스트링을 양자 상태로 인코딩할 경우, 양자 알고리즘 복잡도와 고전적 콜모고로프 복잡도 간의 일관성을 확립하기 위해.

제안 방법

• 정밀도 ≥ 1 - ε인 상태를 준비하는 데 필요한 양자 회로의 고전적 기술의 콜모고로프 복잡도로 양자 상태의 복잡도를 정의한다.
• 예: 하다드, 토플리 등과 같은 보편 게이트 세트를 사용하여 유한한 기본 연산 집합으로부터 임의의 양자 회로를 구성한다.
• 고정된 코딩 체계를 통해 게이트와 라인 브레이크와 같은 제어 구조를 기호로 할당하여 회로를 고전적 문자열로 표현한다.
• 이 문자열에 표준 고전적 콜모고로프 복잡도 정의를 적용하여 양자 상태의 알고리즘 복잡도를 도출한다.
• 주어진 정밀도 임계값 내에서 임의의 N-큐비트 상태를 준비하기 위해 필요한 최악의 경우 회로 크기를 분석하여 상한을 확립한다.
• 결과로 도출된 복잡도를 비타니의 정의와 비교하여 두 정의 간의 차이가 최대 다항식 수준임을 보여준다.

실험 결과

연구 질문

• RQ1 물리적 상태 준비의 어려움을 반영하는 바람직한 방식으로 순수 양자 상태의 알고리즘 복잡도를 공식적으로 정의할 수 있는가?
• RQ2 이 정의에 따라 임의의 N-큐비트 양자 상태의 알고리즘 복잡도에 대한 상한은 무엇인가?
• RQ3 고전적 비트스트링을 양자 상태로 인코딩할 경우, 이 정의가 고전적 콜모고로프 복잡도로 축소되는가?
• RQ4 비타니나 베르티오 등 이전의 제안과 비교할 때, 이 정의는 일관성과 계산 비용 측면에서 어떻게 다른가?
• RQ5 게이트 세트의 군집화에 대해 복잡도 측정법을 불변으로 만들 수 있는가? 이 경우 점근적 행동에는 영향을 주지 않는다.

주요 결과

• 모든 N-큐비트 순수 양자 상태의 알고리즘 복잡도는 O(N²2^N) 이하로 상계되며, 이는 정밀도 ≥ 1 - 1/2^N인 상태를 준비하기 위해 필요한 최대 회로 길이에서 유도된다.
• 상태 |φ⟩에 대해 K^ε_Vit(|φ⟩) ≤ 2^N log(ε_Vit) + N ≈ N 이며, ε_Vit = 1 - 1/2^N 일 때 정밀도에 대한 로그적 의존성을 보여준다.
• 네트워크 복잡도 K_net(|φ⟩)는 N²2^N log(ε_Vit) ≈ N² 이하로 상계되며, 이는 비타니의 상한보다 다항식 수준으로 더 크지만 여전히 직관적 복잡도 척도와 일관성을 유지한다.
• 고전적 N-비트 스트링 x를 양자 상태 |x⟩로 인코딩할 경우, 양자 알고리즘 복잡도 K_net(|x⟩)는 고전적 콜모고로프 복잡도 K_Cl(x)와 점근적으로 동일하다.
• 게이트 세트의 군집화에 대해 정의가 강건하며, 점근적 복잡도는 이러한 추상화에도 영향을 받지 않는다.
• 이 접근법은 양자 상태를 추상적인 실험적 절차로 간주하여 보어의 견해와 일치시키며, 상태가 물리적 객체가 아니라 물리적 준비 시나리오를 반영한다는 것이다.