[논문 리뷰] Quantum computation, discreteness, and contextuality

Robert Raussendorf|arXiv (Cornell University)|2009. 07. 31.

Quantum Mechanics and Applications참고 문헌 34인용 수 2

한 줄 요약

이 논문은 비선형 함수를 평가하는 결정론적 측정 기반 양자 계산이 비맥락적 은닉 변수 모델로 기술될 수 없음을 입증하며, 양자 맥락성과 양자 우월성 간의 직접적인 연결을 맺는다. 전이성과 LU-LC 추측의 반례를 갖는 양자 코드를 사용하여, 이러한 계산에서 맥락성이 필수적임을 보이며, 양자 맥락성과 계산 능력 간의 근본적인 연결 고리를 입증한다.

ABSTRACT

We establish a link between contextuality of quantum mechanics and quantum-mechanical computation. Specifically, we show that no deterministic measurement-based quantum compu-tation evaluating a non-linear function can be described by a non-contextual hidden-variable model. We give examples for such computations derived from quantum codes with suitable transversality properties, and from a counterexample to the LU-LC conjecture. 1

연구 동기 및 목표

• 양자 계산에서 맥락성의 기초적 역할을 조사하기 위해.
• 결정론적 측정 기반 양자 계산에서 비선형 함수를 계산하는 것이 비맥락적 은닉 변수 모델로 기술될 수 있는지 여부를 규명하기 위해.
• 맥락성과 전이성 성질을 갖는 양자 코드 간의 관계를 탐색하기 위해.
• LU-LC 추측의 반례가 양자 계산과 맥락성에 미치는 영향을 분석하기 위해.

제안 방법

• 논문은 비선형 함수의 결정론적 계산을 분석하기 위해 측정 기반 양자 계산(MBQC)의 프레임워크를 사용한다.
• 비맥락적 은닉 변수 모델의 개념을 적용하여 이러한 계산이 고전적으로 시뮬레이션 가능한지 평가한다.
• 전이성 성질을 갖는 양자 코드를 활용하여 맥락성이 요구되는 비선형 함수의 구체적 예를 구성한다.
• LU-LC 추측의 반례를 통합하여, 양자 계산에서 맥락성이 필수적임을 추가로 입증한다.
• 이론적 분석은 코헨-스피커 맥락성 프레임워크를 기반으로 하여 비맥락적 모델에 대한 불가능성 결과를 증명한다.

실험 결과

연구 질문

• RQ1 결정론적 측정 기반 양자 계산에서 비선형 함수를 평가하는 것은 비맥락적 은닉 변수 모델로 기술될 수 있는가?
• RQ2 비선형 함수 평가에서 맥락성이 양자 우월성을 가능하게 하는 역할는 무엇인가?
• RQ3 양자 코드의 전이성 성질은 계산에서 맥락성과 어떻게 관련이 있는가?
• RQ4 LU-LC 추측의 반례는 양자 계산에서 맥락성에 어떤 영향을 미치는가?

주요 결과

• 비선형 함수를 평가하는 결정론적 측정 기반 양자 계산은 비맥락적 은닉 변수 모델로 기술될 수 없다.
• 전이성 성질을 갖는 양자 코드는 맥락성이 요구되는 비선형 함수의 구체적 예를 제공한다.
• LU-LC 추측의 반례는 이러한 계산에서 맥락성이 필수적임을 추가로 뒷받침한다.
• 결과적으로, 맥락성과 양자역학의 계산 능력 간의 근본적인 연결 고리를 확립한다.