[논문 리뷰] Effective Physical Processes and Active Information in Quantum Computing

Ignazio Licata|arXiv (Cornell University)|2007. 05. 08.

Computability, Logic, AI Algorithms참고 문헌 50인용 수 10

한 줄 요약

이 논문은 양자 시스템에서의 계산을 위한 기초 개념으로 '효율적인 물리적 과정'을 제안하며, 보름과 힐리의 활성 정보 프레임워크를 사용하여 표준 양자 게이트와 비표준 접근 방식(예: 아디아바틱 및 형태생성 컴퓨팅)을 대비한다. 이는 형식적 개념의 보편성 개념을 포기할 경우, 불가계산 정보 원천을 통해 양자 시스템이 수퍼튜링 능력을 보일 수 있으며, 벨의 제약 조건과 일관되게, 순수한 형식주의가 아니라 물리적 현실에 기반한 계산을 가능하게 한다고 주장한다.

ABSTRACT

The recent debate on hypercomputation has arisen new questions both on the computational abilities of quantum systems and the Church-Turing Thesis role in Physics. We propose here the idea of "effective physical process" as the essentially physical notion of computation. By using the Bohm and Hiley active information concept we analyze the differences between the standard form (quantum gates) and the non-standard one (adiabatic and morphogenetic) of Quantum Computing, and we point out how its Super-Turing potentialities derive from an incomputable information source in accordance with Bell's constraints. On condition that we give up the formal concept of "universality", the possibility to realize quantum oracles is reachable. In this way computation is led back to the logic of physical world.

연구 동기 및 목표

• 형식적 보편성 대신 효율적인 물리적 과정으로 양자 시스템의 계산을 재정의하기.
• 비표준 양자 컴퓨팅 모델(아디아바틱, 형태생성)이 표준 게이트 기반 모델과 어떻게 다를지 조사하기.
• 양자 시스템이 불가계산 정보 원천을 통해 수퍼튜밍 계산을 달성할 수 있는지 검토하기.
• 활성 정보 이론을 통해 계산을 순수한 형식주의가 아닌 물리적 현실에 기반하게 하여 양자 계산과 물리적 현실을 조율하기.
• 양자 하이퍼컴퓨팅과 벨의 제약 조건을 고려하여 체르치-튜링 논법을 재고하기.

제안 방법

• 계산의 물리적 기반으로서 '효율적인 물리적 과정' 개념을 도입하기.
• 보름과 힐리의 활성 정보 프레임워크를 적용하여 양자 시스템 내 정보 역학 분석하기.
• 표준 양자 게이트 모델과 아디아바틱 및 형태생성 컴퓨팅과 같은 비표준 모델을 대비하기.
• 불가계산 정보 원천이 잠재적 수퍼튜밍 능력을 가능하게 하는 역할 분석하기.
• 벨의 제약 조건을 활용하여 이러한 정보 원천의 물리적 타당성 평가하기.
• 형식적 보편성 개념을 포기할 경우 양자 오라클의 이론적 실현 가능성을 주장하기.

실험 결과

연구 질문

• RQ1 양자 시스템이 물리적 과정을 통해 체르치-튜링 논법을 초월하는 계산 능력을 보일 수 있는가?
• RQ2 아디아바틱 및 형태생성 양자 컴퓨팅 모델이 정보 처리 측면에서 표준 게이트 기반 모델과 어떻게 다를까?
• RQ3 활성 정보가 양자 시스템에서 비계산적 또는 수퍼튜밍 행동을 가능하게 하는 데 어떤 역할을 하는가?
• RQ4 벨의 제약 조건 하에서 양자 시스템에 불가계산 정보 원천이 물리적으로 실현 가능한가?
• RQ5 형식적 보편성 요구 조건을 포기할 경우 양자 오라클은 실현 가능한가?

주요 결과

• 효율적인 물리적 과정 개념은 형식적 계산 대신 물리적 현실과 일치하는 물리적으로 기반을 둔 대안을 제공한다.
• 아디아바틱 및 형태생성 과정과 같은 비표준 양자 컴퓨팅 모델은 불가계산 정보 원천으로 인해 수퍼튜밍 능력을 보일 수 있다.
• 이러한 수퍼튜밍 잠재력은 벨의 제약 조건과 일관되며, 물리적 타당성을 시사한다.
• 양자 오라클 존재를 허용하기 위해 형식적 보편성 개념을 기각해야 한다.
• 보름과 힐리의 프레임워크에서 유래한 활성 정보는 표준 계산 모델을 초월한 양자 시스템 내 정보 역학의 깊은 이해를 가능하게 한다.