[논문 리뷰] Computation in Finitary Quantum Processes

Karoline Wiesner, James P. Crutchfield|arXiv (Cornell University)|2006. 03. 01.

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

한 줄 요약

이 논문은 시간에 따라 변화하는 양자 시스템을 기술하기 위한 계산 모델로 양자 유한 상태 생성기를 소개하며, 결정론적 및 비결정론적 양자 기계를 고전적 확률적 대응물과 비교하는 유한한 과정 언어의 계층을 수립한다. 주요 기여는 측정 프로토콜이 양자 시스템의 정보 처리 능력에 결정적으로 영향을 미친다는 것을 입증하는 것으로, 비스듬한 빛 분할기와 드류트 알고리즘의 이온 트랩 구현과 같은 물리적 예시를 통해 이를 보여준다.

ABSTRACT

We introduce quantum finite-state generators as a first step toward completing a computational description of observing individual quantum systems over time. We develop the mathematical foundations of quantum finite-state machines and compare nondeterministic and deterministic versions to stochastic generators and recognizers, summarizing their relative computational power via a hierarchy of finitary process languages. Quantum finite-state generators are explored via several physical examples, including the iterated beam splitter, the quantum kicked top, and atoms in an ion trap--a special case of which implements the Deutsch quantum algorithm. We show that the behavior of these systems, and so their information processing capacity, depends sensitively on measurement protocol.

연구 동기 및 목표

• 시간이 지남에 따라 관측되는 개별 양자 시스템을 기술하기 위한 계산 프레임워크를 개발하는 것.
• 양자 유한 상태 기계를 형식화하고, 그들의 계산 능력을 고전적 확률적 생성기 및 인식기와 비교하는 것.
• 양자 및 고전적 모델의 표현 능력을 분류하는 양자 및 고전적 모델의 표현 능력을 분류하는 유한 과정 언어의 계층을 수립하는 것.
• 측정 프로토콜이 양자 시스템의 정보 처리 능력에 미치는 영향을 분석하는 것.
• 반복 빛 분할기 및 이온 트랩 양자 알고리즘과 같은 물리적 실현을 통해 모델의 적용 가능성을 입증하는 것.

제안 방법

• 양자 온톨로지 이론에서 유래한 수학적 구조를 사용하여 양자 유한 상태 생성기를 형식화하는 것.
• 결정론적 및 비결정론적 양자 유한 상태 기계의 정의를 내리고, 이들을 확률적 유한 상태 생성기와 비교하는 것.
• 다양한 기계 유형의 계산 능력을 바탕으로 유한 과정 언어의 계층을 구축하는 것.
• 반복 빛 분할기, 양자 킥드 톱, 그리고 갇힌 이온과 같은 물리적 시스템에 모델을 적용하는 것.
• 이온 트랩 시스템에서 드류트 양자 알고리즘을 특수한 경우로 사용하여 모델의 예측 능력을 검증하는 것.
• 다양한 측정 전략이 양자 과정의 관측 가능한 행동과 정보 처리 능력에 어떻게 영향을 미치는지 분석하는 것.

실험 결과

연구 질문

• RQ1 양자 유한 상태 생성기는 개별 양자 시스템의 시간 진화를 어떻게 모델링할 수 있는가?
• RQ2 결정론적 양자 유한 상태 기계와 비결정론적 양자 유한 상태 기계의 상대적 계산 능력은 고전적 확률적 모델과 비교해 볼 때 어떻게 되는가?
• RQ3 측정 프로토콜의 선택은 양자 시스템의 정보 처리 능력에 어떻게 영향을 미치는가?
• RQ4 빛 분할기와 이온 트랩과 같은 물리적 양자 시스템은 제안된 계산 모델을 어떻게 실현하는가?
• RQ5 유한 과정 언어의 계층은 양자 및 고전적 계산 행동을 분류하는 데 어떤 역할을 하는가?

주요 결과

• 양자 시스템의 계산 행동, 특히 그들의 정보 처리 능력은 측정 프로토콜의 선택에 매우 민감하게 반응한다.
• 양자 유한 상태 생성기는 양자 및 고전적 유한 상태 모델 간의 체계적인 비교를 가능하게 하는 형식적 프레임워크를 제공한다.
• 유한 과정 언어의 계층은 계산 표현 능력의 명백한 수준을 드러내며, 특정 맥락에서 양자 모델이 고전적 확률적 대응물보다 뛰어난 표현 능력을 지닌다.
• 반복 빛 분할기 및 양자 킥드 톱과 같은 물리적 실현은 이론적 모델과 일치하는 행동을 보인다.
• 이온 트랩에서의 드류트 알고리즘 실현은 이 모델이 유한 상태 프레임워크 내에서 알려진 양자 계산의 우월성을 포착할 수 있음을 보여준다.
• 측정 유도 붕괴와 양자 과정의 맥락성은 관측 가능한 역학과 계산 결과에 근본적으로 영향을 미친다.