[논문 리뷰] Macroscopic entanglement in Quantum Computation

Akihisa Ukena, Akira Shimizu|ArXiv.org|2005. 05. 09.

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

한 줄 요약

이 논문은 초거대한 양자 상태의 초월을 $p$-지수를 통해 분석하여 양자 계산에서의 거시적 얽힘을 조사한다. 이 $p$-지수는 거시적으로 다를 수 있는 상태의 초월을 수량화한다. 연구는 골버의 알고리즘과 쇼어의 알고리즘이 어려운 문제를 해결할 때 항상 $p=2$ 상태를 사용함을 보여주며, 이는 거시적 얽힘이 양자 알고리즘의 고전적 알고리즘 대비 초월 성능을 위한 핵심 요소일 것이라는 추측을 뒷받对方한다.

ABSTRACT

We investigate macroscopic entanglement of quantum states in quantum computers, where we say a quantum state is entangled macroscopically if the state has superposition of macroscopically distinct states. The index $p$ of the macroscopic entanglement is calculated as a function of the step of the computation, for Grover's quantum search algorithm and Shor's factoring algorithm. It is found that whether macroscopically entangled states are used or not depends on the numbers and properties of the solutions to the problem to be solved. When the solutions are such that the problem becomes hard in the sense that classical algorithms take more than polynomial steps to find a solution, macroscopically entangled states are always used in Grover's algorithm and almost always used in Shor's algorithm. Since they are representative algorithms for unstructured and structured problems, respectively, our results support strongly the conjecture that quantum computers utilize macroscopically entangled states when they solve hard problems much faster than any classical algorithms.

연구 동기 및 목표

• 고전적 방법보다 뛰어난 성능을 보이는 양자 알고리즘에서 거시적으로 얽힌 양자 상태—$p=2$로 정의됨—이 사용되는지 조사하는 것.
• 대표적인 양자 알고리즘인 골버의 검색(비정형 문제)과 쇼어의 인수분해(정형 문제)에서 거시적 얽힘의 역할을 분석하는 것.
• 특히 문제의 어려움과 관련하여 계산 과정에서 거시적 얽힘이 어떤 조건에서 나타나는지 규명하는 것.
• 양자 초월 성능이 $p=2$ 상태의 존재와 관련이 있다는 추측을 검증하는 것.

제안 방법

• 양자 알고리즘 내의 양자 상태에 대한 엔트로피의 $p$-지수를 계산하기 위해 분산-공분산 행렬(VCM) 방법을 사용한다.
• 골버의 알고리즘과 쇼어의 알고리즘의 각 단계에서 거시적 얽힘의 진화를 추적하기 위해 $p$-지수를 적용한다.
• 동질적 또는 효과적으로 동질적인 다체계에서 상태가 거시적으로 다를 수 있는 초월 상태로 정의되며, 이는 $p=2$로 수량화된다.
• 계산의 다양한 단계에서의 양자 상태에 대해 분석적 및 수치적 결과를 분석한다.
• 특히 해결 구조와 문제의 어려움에 중점을 두고, 다양한 문제 인스턴스 간의 $p$-지수 행동을 비교한다.
• 추측의 대우를 사용한다: 만약 전체 과정에서 $p \neq 2$이면, 고전적 다항시간 알고리즘이 존재해야 한다.

실험 결과

연구 질문

• RQ1 고전적 알고리즘이 다항시간 이내에 해결할 수 없는 어려운 비정형 문제를 해결할 때 골버의 양자 검색 알고리즘에서 거시적 얽힘($p=2$로 측정됨)이 발생하는가?
• RQ2 쇼어의 인수분해 알고리즘에서 거시적 얽힘이 나타나는 조건은 무엇이며, 특히 모듈로 exponentiation의 순서 $r$과의 관계는?
• RQ3 고전적 방법보다 뛰어난 성능을 보이는 알고리즘에서 $p=2$ 상태의 사용과 양자 초월 성능 사이에 상관관계가 있는가?
• RQ4 어떤 양자 알고리즘에서 $p=2$ 상태가 존재하지 않는다면, 이는 효율적인 고전적 대체 알고리즘이 존재할 수 있음을 의미하는가?
• RQ5 골버의 알고리즘과 쇼어의 알고리즘에서 계산 단계를 거치며 $p$-지수가 어떻게 변화하는가?

주요 결과

• 골버의 알고리즘에서 문제의 어려움이 있을 경우, 즉 고전적 알고리즘이 다항시간 이상이 소요되는 경우 항상 거시적 얽힘 상태($p=2$)를 사용한다.
• 쇼어의 알고리즘에서는 거의 항상 거시적 얽힘 상태를 사용하지만, 순서 $r$이 2의 정수 거듭제곱인 경우를 제외하고는 $p \neq 2$이다.
• $p$-지수 분석을 통해 어려운 문제를 고전적 방법보다 빠르게 해결하는 데 성공한 양자 알고리즘에서 거시적 얽힘은 일관되게 나타나는 특징임을 확인하였다.
• 결과는 어려운 문제에서의 양자 초월 성능이 $p=2$ 상태를 사용하는 데 기인한다는 추측을 지지한다.
• 쇼어의 알고리즘에서 $r$이 2의 거듭제곱인 예외적인 경우($p \neq 2$)는 고전적 다항시간 해결책이 존재할 수 있음을 시사하며, 이는 추측의 대우와 일치한다.
• VCM 방법을 통해 두 알고리즘의 모든 양자 상태에서 $p$-지수를 효율적으로 계산할 수 있었으며, 이는 얽힘의 진화를 세밀하게 추적할 수 있도록 했다.