[논문 리뷰] Quantum Computing over Finite Fields

Roshan P. James, Gerardo Ortíz외 1명|arXiv (Cornell University)|2011. 01. 19.

Computability, Logic, AI Algorithms참고 문헌 16인용 수 6

한 줄 요약

이 논문은 유한체 𝔽₂ 위에서 이산 양자 계산을 위한 가역 관계 프로그래밍 모델을 제안하며, 관계 논리에서 표준 집합 합집합을 배타적 합집합으로 대체할 때 양자 유사 행동—예를 들어 간섭과 중첩—이 나타남을 보여준다. 주요 기여는 짝수 번 나타나는 결과가 상쇄되는 파괴적 간섭이 이 간소화된 모델에서 핵심 양자 현상을 포괄한다는 것이다.

ABSTRACT

In recent work, Benjamin Schumacher and Michael~D. Westmoreland investigate a version of quantum mechanics which they call "modal quantum theory" but which we prefer to call "discrete quantum theory". This theory is obtained by instantiating the mathematical framework of Hilbert spaces with a finite field instead of the field of complex numbers. This instantiation collapses much the structure of actual quantum mechanics but retains several of its distinguishing characteristics including the notions of superposition, interference, and entanglement. Furthermore, discrete quantum theory excludes local hidden variable models, has a no-cloning theorem, and can express natural counterparts of quantum information protocols such as superdense coding and teleportation. Our first result is to distill a model of discrete quantum computing from this quantum theory. The model is expressed using a monadic metalanguage built on top of a universal reversible language for finite computations, and hence is directly implementable in a language like Haskell. In addition to superpositions and invertible linear maps, the model includes conventional programming constructs including pairs, sums, higher-order functions, and recursion. Our second result is to relate this programming model to relational programming, e.g., a pure version of Prolog over finite relations. Surprisingly discrete quantum computing is identical to conventional logic programming except for a small twist that is responsible for all the ``quantum-ness.'' The twist occurs when merging sets of answers computed by several alternatives: the answers are combined using an "exclusive" version of logical disjunction. In other words, the two branches of a choice junction exhibit an "interference" effect: an answer is produced from the junction if it occurs in one or the other branch but not both.

연구 동기 및 목표

• Schumacher와 Westmoreland의 모odal 양자 이론을 영감으로 삼아, 유한체 𝔽₂ 위에서 이산 양자 이론을 위한 계산 모델을 형식화하기.
• 일반적인 가역 언어 위에 모나드 메타언어를 도입하여 가역 계산과 관계 프로그래밍을 연결하기.
• 기존 관계 프로그래밍(예: Prolog)과 이산 양자 계산 간의 유일한 차이가 표준 합집합 대신 배타적 합집합을 사용하는 데 있음을 보여주기.
• 짝수 번 나타나는 결과가 상쇄되는 파괴적 간섭이 이 유한 모델에서 중첩과 얽힘과 같은 양자 현상을 설명함을 보여주기.
• 단정형 콪드 닫힌 범주를 사용하여 모델의 형식적 의미 이론을 정의하며, 배타적 합집합을 사용하는 관계 모델과 𝔽₂ 위의 벡터 공간 간의 동형관계를 보여주기.

제안 방법

• 일반적인 가역 언어 위에 구축된 모나드 메타언어 𝒫Π를 구성하여 하스켈과 같은 기능적 언어에서 직접 구현 가능하게 하기.
• 표준 합집합(∪) 대신 배타적 합집합(⊕)을 사용하는 집합과 관계의 범주 Rel⊕을 정의하며, 이는 FDVec₂와 동형인 단정형 콯드 닫힌 범주를 이룸.
• 중첩과 유니터리 변환과 같은 양자 연산을 𝔽₂ 위의 유한 차원 벡터 공간 위의 선형 사상으로 모델링하기.
• 관계 계산에서의 배타적 논리합을 사용하여 간섭을 시뮬레이션: 선택의 두 분지에 모두 나타나는 결과는 상쇄됨.
• 범주 이론을 사용하여 언어의 의미 이론을 형식화하며, Rel⊕가 FDVec₂(𝔽₂ 위의 유한 차원 벡터 공간의 범주)와 동형임을 보여주기.
• 배타적 합집합을 사용하는 관계 모델을 통해 초밀도 코딩과 전송 프로토콜과 같은 양자 프로토콜을 구현하고 검증하며, 양자 예측과 일치함을 보여주기.

실험 결과

연구 질문

• RQ1 이산 양자 계산을 유한체에서 어떻게 가역적이고 관계 기반의 프로그래밍 언어로 모델링할 수 있는가?
• RQ2 유한체 양자 모델에서 간섭과 중첩과 같은 양자 유사 행동을 유도하는 정확한 수학적 메커니즘은 무엇인가?
• RQ3 관계 논리에서 표준 합집합을 배타적 합집합으로 대체함으로써 이산 환경에서 양자 계산의 전체 구조를 복원할 수 있는가?
• RQ4 왜 이산 양자 모델에서는 간섭과 양자 병렬성은 유지하고도 Deutsch 알고리즘이 효율적으로 실행되지 않는가?
• RQ5 배타적 합집합 연산이 이산 모델에서 양자역학의 계산 능력을 어느 정도 설명하는가?

주요 결과

• 𝔽₂ 위에서의 이산 양자 계산 모델인 DQC₂는 배타적 합집합(⊕)을 사용하는 집합과 관계의 범주 Rel⊕과 동형이며, 이는 𝔽₂ 위의 유한 차원 벡터 공간의 범주 FDVec₂와도 동형이다.
• 관계 모델에서 짝수 번 나타나는 결과는 배타적 합집합으로 인해 상쇄되며, 이는 파괴적 양자 간섭을 시뮬레이션한다.
• 초밀도 코딩 프로토콜은 배타적 합집합을 사용하는 관계 모델에서 충실하게 구현 가능하며, 표준 Prolog 실행에서 짝수 번 나타나는 결과를 제거하면 정확한 양자 결과를 얻을 수 있다.
• 이 모델에서 고전적 관계 프로그래밍과 양자 계산 간의 오직 유일한 차이는 합집합의 종류뿐이다: 표준 Prolog는 합집합을 사용하지만, DQC₂는 ⊕를 사용한다.
• 중첩, 간섭, 얽힘을 유지하고도, 이 모델은 Deutsch 알고리즘을 효율적으로 실행할 수 없으며, 이는 간섭 자체가 전체 양자 계산 이점을 포괄하지 못함을 시사한다.
• 언어 𝒫Π의 형식적 의미 이론은 배타적 합집합을 사용하는 관계 모델과 𝔽₂ 위의 벡터 공간 모델 양쪽과도 일관되며, 이는 그 정확성과 표현력이 확인됨을 의미한다.