[논문 리뷰] The Power of Discrete Quantum Theories

Andrew J. Hanson, Gerardo Ortíz외 2명|arXiv (Cornell University)|2011. 04. 08.

Quantum Computing Algorithms and Architecture참고 문헌 2인용 수 3

한 줄 요약

이 논문은 유한체 위에서의 양자 계산을 조사하며, $p^2$ 차수를 가진 체($p = 4r+3$) 위의 이산 양자 이론이 유니터리 진동과 얽힘과 같은 양자 특성을 유지할 수 있음을 보여준다. 놀랍게도 특정 체 크기에서는 순환 산술 덕분에 기존 양자 계산의 점근적 경계를 초월하는 초고속 데이터베이스 검색이 가능해지며, 이는 초고속 성능 향상이지만 체 크기가 커질수록 점차 감소한다.

ABSTRACT

We explore the implications of restricting the framework of quantum theory and quantum computation to finite fields. The simplest proposed theory is defined over arbitrary finite fields and loses the notion of unitaries. This makes such theories unnaturally strong, permitting the search of unstructured databases faster than asymptotically possible in conventional quantum computing. The next most general approach chooses finite fields with no solution to x^2+1=0, and thus permits an elegant complex-like representation of the extended field by adjoining i=sqrt(-1). Quantum theories over these fields retain the notion of unitaries and --- for particular problem sizes --- allow the same algorithms as conventional quantum theory. These theories, however, still support unnaturally strong computations for certain problem sizes, but the possibility of such phenomena decreases as the size of the field increases.

연구 동기 및 목표

• 유한체를 복소수 대신 사용하여 양자 계산이 일관되게 형식화될 수 있는지 조사하기 위해.
• 이러한 이산 양자 이론이 초위상, 유니터리성, 얽힘과 같은 핵심 양자 특성을 유지하는지 결정하기 위해.
• 특정 체 조건 하에서 나타나는 비자연스럽게 강력한 알고리즘의 존재를 포함해, 이산 양자 이론의 계산 능력을 분석하기 위해.
• 특히 계산 가능성과 이산적 구조를 고려할 때, 유한체 양자 이론이 현실의 모델로서 물리적으로 타당한지 탐색하기 위해.
• 이러한 이산 이론의 큰 체 근사에서 기존 양자역학이 어떻게 유도되는지 탐구하기 위해.

제안 방법

• 특히 소수 $p \equiv 3 \pmod{4}$ 인 경우, $i = \sqrt{-1}$ 를 통해 복소수 유사한 구조를 갖는 유한체 $\mathbb{F}_{p^2}$ 위에서 양자 이론을 형식화한다.
• 양자 상태를 $\mathbb{F}_{p^2}$ 위의 유한차원 벡터 공간의 벡터로 정의하며, 진폭 기반의 단위 분할을 통해 정규화한다.
• 내적을 유지하는 가역 선형 변환으로서의 유니터리 변환을 정의하며, 기존 양자 진동과 유사하게 작용한다.
• 유한체 위에서 히드로우처럼 생긴 게이트와 조건부 연산을 사용하여 양자 회로(예: UNIQUE-SAT)를 구성한다.
• 특정 나눗셈 조건 하에서 순환 체 산술을 활용해 진폭을 상쇄시켜, 기존 양자 계산보다 빠른 검색이 가능한 초고속 성능 향상을 분석한다.
• 결과를 기존 양자 계산과 더 작은 체 위의 모odal 양자 이론(예: $\mathbb{F}_2$)과 비교하며, 허용 가능한 연산과 계산 능력의 차이를 부각한다.

실험 결과

연구 질문

• RQ1 유한체 위에서 일관된 양자 이론을 유니터리성과 얽힘과 같은 핵심 특성을 유지하면서 형식화할 수 있는가?
• RQ2 이산 양자 이론이 어떤 조건에서 기존 양자 계산의 경계를 초월하는 계산 능력을 보여주는가?
• RQ3 유한체의 크기가 비자연스럽게 강력한 계산 현상의 발생 가능성과 크기에 어떤 영향을 미치는가?
• RQ4 유한체의 구조가 비정규 검색에서의 양자 계산 속도 향상의 기원을 설명할 수 있는가?
• RQ5 이산 양자 이론의 큰 체 근사에서 기존 양자역학의 예측을 회복할 수 있는가?

주요 결과

• 특히 $p \equiv 3 \pmod{4}$ 인 $\mathbb{F}_{p^2}$ 위의 이산 양자 이론은 $i = \sqrt{-1}$ 를 통해 자연스럽게 복소수 유사한 구조를 가지며, 이로 인해 유니터리 진동과 표준 양자 특성이 가능해진다.
• 체의 특성 $p$ 가 $2^N - 1$ 을 나누는 특정 문제 크기에서는, 이산 양자 알고리즘이 고전적 또는 기존 양자적 방법으로는 불가능한 더 적은 쿼리로 비정규 검색 문제를 해결할 수 있다.
• 이러한 비자연스럽게 강력한 계산은 유한체의 순환 산술 덕분이며, 이는 연속 이론보다 파괴 간섭을 더 효과적으로 설계할 수 있기 때문이다.
• 이러한 성능 향상의 확률은 체 크기가 커질수록 감소하며, 이는 큰 유한체가 기존 양자역학을 근사함을 시사한다.
• 이 이론은 양자 텔레포테이션과 슈퍼디 dense 코딩과 같은 양자 프로토콜을 지원하며, 이는 핵심 양자 정보 개념이 이산적 환경에서도 유지됨을 나타낸다.
• 결과적으로 기존 양자역학이 본질적이지 않으며, 더 깊은 수준에서 이산적이고 계산 가능한 양자 이론이 물리적 현실을 뒷받침할 수 있음을 시사한다.