[논문 리뷰] Simulating Concordant Computations

Bryan Eastin|arXiv (Cornell University)|2010. 06. 23.

Quantum Computing Algorithms and Architecture인용 수 12

한 줄 요약

이 논문은 일괄 또는 이량 큐비트 게이트로 구성되고 제품 상태로 초기화된, 양자 협동도가 0인 일관된 양자 계산을 효율적으로 시뮬레이션하는 고전적 알고리즘을 제시한다. 주요 결과는 이러한 계산이 양자 협동도를 생성하지 않는 한 초다항적 속도 향상 달성을 불가능하게 하며, 이는 이 설정에서 양자 우위를 달성하기 위해 협동도가 필수적임을 시사한다.

ABSTRACT

A quantum state is called concordant if it has zero quantum discord with respect to any part. By extension, a concordant computation is one such that the state of the computer, at each time step, is concordant. In this paper, I describe a classical algorithm that, given a product state as input, permits the efficient simulation of any concordant quantum computation having a conventional form and composed of gates acting on two or fewer qubits. This shows that such a quantum computation must generate quantum discord if it is to efficiently solve a problem that requires super-polynomial time classically. While I employ the restriction to two-qubit gates sparingly, a crucial component of the simulation algorithm appears not to be extensible to gates acting on higher-dimensional systems.

연구 동기 및 목표

• 혼합 상태 계산에서 양자 우위를 가능하게 하는 핵심 자원이 얽힘보다는 양자 협동도인지 조사하기.
• 양자 협동도가 0인 일관된 양자 계산—즉, 협동도가 없는 계산—이 고전적으로 효율적으로 시뮬레이션될 수 있는지 규명하기.
• 양자 협동도의 부재와 고전적 시뮬레이션 가능성 사이의 공식적 연결 고리를 수립하기.
• 이론적 방법을 큽티비트와 이량 큽티비트 게이트를 초월해 일반화하는 데서의 한계 탐색하기.

제안 방법

• 시뮬레이션 알고리즘은 유니터리 게이트와 측정에 따른 밀도 행렬의 진화를 추적하며, 일관된 상태가 단순한 고유기저의 구조를 유지한다는 사실을 활용한다.
• 게이트의 작용이 현재 상태의 고유기저와 가환성을 가지는지 판단하기 위해 탈중복 진단 기법을 사용하여 고전적 추적을 효율적으로 수행한다.
• 일 또는 이량 큽티비트에서의 순열의 선형성에 기반하여, 게이트 호환성을 확인하기 위해 소수의 기저 벡터를 검사할 수 있다.
• 제품 상태 입력의 경우 상태를 명시적으로 저장하고 갱신하며, 측정에 의해 질량이 유지되거나 감소하여 계산의 타당성을 확보한다.
• 측정 결과에 따라 탈중복 진단을 조정하여 비표준 형태로의 알고리즘 확장을 수행한다.
• 핵심 기술적 구성 요소로는 게이트가 조건 $ \rho^0 \neq P^\dagger Q P \rho^0 P^\dagger Q P $ 를 만족하는지 확인하는 것으로, 이 조건이 고차원으로 일반화될 경우 3-SAT 문제로 축소된다.

실험 결과

연구 질문

• RQ1 양자 협동도를 생성하지 않는 일관된 양자 계산—즉, 협동도가 없는 계산—은 고전 컴퓨터에서 효율적으로 시뮬레이션될 수 있는가?
• RQ2 혼합 상태 양자 계산에서 초다항적 속도 향상을 달성하기 위해 양자 협동도가 필수적인 자원인가?
• RQ3 이 시뮬레이션 방법은 큽티비트와 이량 큽티비트 게이트를 초월해 어느 정도 일반화될 수 있는가?
• RQ4 얽힘은 최소이지만 여전히 속도 향상이 가능한 DQC1 모델에서 양자 협동도의 역할은 무엇인가?
• RQ5 몇 개의 순수 제품 상태의 혼합 상태를 입력으로 하는 경우, 이 시뮬레이션 접근법을 확장하여 처리할 수 있는가?

주요 결과

• 일괄 또는 이량 큽티비트 게이트로 구성되고 제품 상태로 초기화된 일관된 양자 계산은 고전적으로 효율적으로 시뮬레이션될 수 있다.
• 이 시뮬레이션 알고리즘은 큽티비트 수와 게이트 수에 대해 다항 시간 내에 실행되며, 협동도가 없는 계산의 고전적 시뮬레이션 가능성을 입증한다.
• 이론적 방법은 고차원 시스템(큐딧)으로 일반화되지 않는데, 이는 세 개 이상의 수준에서의 순열이 반드시 선형적이지 않기 때문에 핵심 탈중복 검사 메커니즘이 붕괴되기 때문이다.
• 임의의 게이트 집합으로의 알고리즘 직접 확장은 3-SAT 문제의 효율적 해결을 의미하며, 이는 NP-완전 문제이므로 그러한 일반화가 불가능할 것임을 시사한다.
• 결과는 양자 협동도가 혼합 상태 계산에서 양자 우위를 위한 핵심 자원임을 지지하며, 특히 얽힘이 없는 경우에 더욱 그렇다.
• 몇 개의 순수 제품 상태의 혼합 상태를 입력으로 하는 경우, 낮은 질량 상태 추적 덕분에 시뮬레이션이 여전히 효율적이다.