[논문 리뷰] On Measurement and Computation

Huimin Zheng, Haixing Hu외 2명|arXiv (Cornell University)|2011. 07. 16.

Quantum Computing Algorithms and Architecture참고 문헌 9인용 수 8

한 줄 요약

이 논문은 물리적 계산 가능성과 물리적 복잡도의 이론을 공식적으로 수립하며, 측정 가능한 물리적 자원을 사용해 다양한 물리적 메커니즘—특히 양자 시스템—을 포함한 계산을 평가할 수 있는 프레임워크를 제안한다. 양자 알고리즘인 쇼어의 알고리즘과 그로버의 알고리즘을 측정 가능한 자원의 효율적 사용을 통해 물리적 계산으로 재해석함으로써 그 복잡도가 뛰어나다는 것을 보이며, 양자 상태 확률에 대해 구체적이고 검증 가능한 질문을 제기함으로써 양자 시뮬레이션을 효율적인 양자 알고리즘으로 전환하는 방법을 제시한다.

ABSTRACT

Inspired by the work of Feynman, Deutsch, We formally propose the theory of physical computability and accordingly, the physical complexity theory. To achieve this, a framework that can evaluate almost all forms of computation using various physical mechanisms is discussed. Here, we focus on using it to review the theory of Quantum Computation. As a preliminary study on more general problems, some examples of other physical mechanism are also given in this paper.

연구 동기 및 목표

• 튜링 기계를 넘어서 모든 물리적 과정을 계산 메커니즘으로 포함하는 일반적인 물리적 계산 가능성 이론을 공식화하는 것.
• 시간, 에너지, 큐비트 등 측정 가능한 물리적 자원(예: 시간, 에너지, 큐비트)을 기반으로 물리적 복잡도를 정의함으로써, 다양한 계산 패러다임 간의 엄밀한 비교를 가능하게 하는 것.
• 쇼어의 알고리즘과 그로버의 알고리즘과 같은 양자 알고리즘이 물리적 자원의 효율적 사용을 통해 뛰어난 복잡도를 달성한다는 것을 입증함으로써, 이를 물리적 계산으로 재해석하는 것.
• 양자 상태 진폭에 대해 결정 가능하고 검증 가능한 질문을 제기함으로써, 양자 시뮬레이션을 양자 알고리즘으로 전환하는 방법을 개발하는 것.
• 특히 고차원 또는 양자 통계 시스템에서 고전적 계산이 다룰 수 없는 함수를 계산할 수 있는 물리적 메커니즘이 존재하는지 탐색하는 것.

제안 방법

• 물리적 상태, 관측자, 물리적 과정을 기반으로 한 공식적 프레임워크를 도입하며, 순차적인 물리적 연산을 모델링하기 위해 조합 연산자(∘)를 사용한다.
• 관측 가능한 결과와 확률적 상태 진동을 통해 결정론적 및 비결정론적 물리적 계산을 정의한다.
• 상태 공간을 초평면을 사용해 재귀적으로 분할하는 절차(P_Q)를 제안하며, 이 초평면의 법선 벡터는 사전 정의된 집합에서 취한다.
• 집합 A와 B의 확률 비율이 유한한 범위 내에 있는지 확인하기 위한 조건 검사를 사용한다(3/7 ≤ |φ(A)|² / |φ(B)|² ≤ 1), 이는 의미 있는 비교를 보장한다.
• 진폭 |φ(A)|의 n₀번째 소수 자리를 구하는 문제를 설계하며, 이는 고전적 확률적 튜링 기계로는 어렵지만 양자 컴퓨터에서는 효율적으로 해결할 수 있다.
• 프레임워크를 적용하여 양자 알고리즘을 분석함으로써, 그 효율성이 추상적인 회로 복잡도가 아니라 물리적 자원 최적화의 결과임을 재해석한다.

실험 결과

연구 질문

• RQ1 튜링 기계 모델에 종속되지 않는 일반적인 물리적 계산 가능성 이론을 공식적으로 정의할 수 있는가?
• RQ2 양자, 고전, DNA 기반 계산과 같은 다양한 물리적 시스템 간에 물리적 자원 복잡도를 어떻게 정량화하고 비교할 수 있는가?
• RQ3 양자 상태 진폭에 대해 특정하고 검증 가능한 질문을 제기함으로써, 양자 시뮬레이션을 체계적으로 양자 알고리즘으로 전환할 수 있는가?
• RQ4 고전적 튜링 기계로 계산할 수 없는 함수를 계산할 수 있는 물리적 메커니즘이 존재하는가?
• RQ5 예를 들어 얽힌 큐비트를 포함한 양자 상태 준비의 복잡도가 자체적으로 비트리버스한 계산 자원이 될 수 있는가?

주요 결과

• 논문은 물리적 계산 가능성은 튜링 계산 가능성을 포함하며, 어떤 물리적 계산 가능 함수도 물리적 과정에 의해 시뮬레이션될 수 있음을 입증한다. 다만 다항 시간 내에 반드시 수행되지는 않는다.
• 쇼어의 알고리즘과 그로버의 알고리즘은 각각 양자 상태 진동과 측정에서의 물리적 자원 효율성을 활용함으로써 지수적, 제곱근적 속도 향상을 달성함을 입증한다.
• 양자 시뮬레이션을 알고리즘으로 전환하는 데 제안된 방법은, 양자 진폭의 n₀번째 소수 자리를 구하는 문제를 고전적 확률적 튜링 기계보다 양자 컴퓨터에서 더 빠르게 해결할 수 있음을 보장한다.
• 프레임워크는 특정 양자 시스템을 시뮬레이션하는 데 어려움이 계산 자체에 있는 것이 아니라, 고차원 확률 분포에서 의미 있는 정보를 추출하는 데 있음을 밝혀낸다.
• 저자들은 특정 통계 모델 하에서 유한한 비율 제약 조건 하에 양자 진폭의 n₀번째 소수 자리를 결정하는 문제가 #P-난이도임을 추측하며, 이는 계산 복잡도 클래스와 깊은 연결이 있음을 시사한다.
• 논문은 다항 수준의 큐비트를 준비하는 것이 비트리버스한 계산 봉쇄 요소가 될 수 있음을 강조하며, 양자 계산의 자원 비용이 상태 준비 자체를 포함할 수 있음을 시사한다.