[논문 리뷰] A Contextual $ψ$-Epistemic Model of the $n$-Qubit Stabilizer Formalism

Piers Lillystone, Joseph Emerson|arXiv (Cornell University)|2019. 04. 08.

Quantum Mechanics and Applications인용 수 5

한 줄 요약

이 논문은 n-qubit 스태빌라이저 형식론에 대해 문맥적 ψ-지식론적 온톨로지 모델을 구축하며, 모든 파울리 관측량에 대해 결과 결정적 값 할당을 측정 이후에도 일관되게 업데이트할 수 있음을 보여준다—비록 상호작용하는 관측량이라도 마찬가지로 적용된다. 이는 표준 금지정리에서 요구하는 것보다 더 강력한 형태의 문맥성을 드러낸다. 모델은 스태빌라이저 상태 통계와 측정 결과를 유지하면서도, 동적 값 할당 업데이트를 통해 문맥성을 표현한다.

ABSTRACT

Contextuality, a generalization of non-locality, has been proposed as the resource that provides the computational speed-up for quantum computation. For universal quantum computation using qudits, of odd-prime dimension, contextuality has been shown to be a necessary and possibly sufficient resource. However, the role of contextuality in quantum computation with qubits remains open. The $n$-qubit stabilizer formalism, which by itself cannot provide a quantum computer super-polynomial computational advantage over a classical counterpart, is contextual. Therefore contextuality cannot be identified as a sufficient resource for quantum computation. However it can be identified as a necessary resource. In this paper we construct a contextual $ψ$-epistemic ontological model of the $n$-qubit stabilizer formalism, to investigate the contextuality present in the formalism. We demonstrate it is possible for such a model to be outcome deterministic, and therefore have a value assignment to all Pauli observables. In our model the value assignment must be updated after a measurement of any stabilizer observable. Remarkably, this includes the value assignments for observables that commute with the measurement. A stronger manifestation of contextuality than is required by known no-go theorems.

연구 동기 및 목표

• n-큐비트 스태빌라이저 형식론—클래식적으로 시뮬레이션 가능한 그러나 문맥적인 이론—에서 문맥성의 구조를 조사하기 위해.
• 측정 시에도 결과 결정적이며, 이전 모델의 한계를 피하는 문맥적이고 ψ-지식론적인 온톨로지 모델을 구축하기 위해.
• 스태빌라이저 회로에서의 문맥성이 자원으로서 이해될 수 있는지 명시적으로 값 할당과 그 역학을 모델링함으로써 명확히 하기 위해.
• 일관된 값 할당 업데이트를 위해 필요한 온톨로지가 최소화되거나 단순화될 수 있는지 탐색하기 위해.

제안 방법

• 모델은 파울리 관측량 X, Y, Z에 대한 값 할당을 표현하기 위해 단위 함수 γ = (0, x, y, z)를 사용하며, 스태빌라이저 상태는 일관된 단위 함수 집합 위의 균일 분포로 정의된다.
• 측정 반응 함수는 단위 함수의 값을 읽어내도록 정의되어 스태빌라이저 측정의 통계를 재현한다.
• 측정 업데이트 규칙은 측정된 관측량과 가환하는 모든 관측량을 포함해, 모든 관측량의 값을 동적으로 재할당하여 측정 후 상태와의 일관성을 확보한다.
• 모델은 값 할당 업데이트를 추적하기 위해 스태빌라이저 군의 n−1 생성자를 온톨로지에 포함시켜, 더 단순한 모델들과의 차별성을 확보한다.
• n=1일 때 모델이 8상태 모델과 동치임을 보여, 단일 큐비트에 대한 알려진 결과와의 일致성을 확인한다.
• 부록에서 항상-ψ-지식론적 모델로의 확장을 논의하며, 확률적 온톨로지 상태를 허용함으로써 더 강력한 클래식적 유사성의 틀을 제공한다.

실험 결과

연구 질문

• RQ1 측정 시에도 결과 결정적인가를 유지하는 n-큐비트 스태빌라이저 형식론에 대해 문맥적 ψ-지식론적 모델을 구성할 수 있는가?
• RQ2 측정 업데이트 규칙이 측정된 관측량과 가환하는 관측량의 값 할당에 미치는 영향은 무엇이며, 이는 문맥성에 대해 어떤 함의를 갖는가?
• RQ3 값 할당 업데이트의 일관성을 확보하기 위해 온톨로지에 n−1개의 스태빌라이저 생성자를 포함시킬 필요가 있는가, 아니면 이를 줄일 수 있는가?
• RQ4 이 모델은 코헨-스페커와 같은 표준 문맥성 정리에서 요구하는 것보다 더 강력한 형태의 문맥성을 드러내는가?
• RQ5 이러한 모델이 비보편적인 환경에서 양자 계산의 자원으로서의 문맥성의 역할을 이해하는 데 통찰을 제공할 수 있는가?

주요 결과

• 모델은 일관된 단위 함수 집합 위의 균일 샘플링을 통해 스태빌라이저 측정의 통계를 성공적으로 재현하며, 스태빌라이저 상태의 구조를 유지한다.
• 측정 업데이트 규칙은 측정된 관측량과 가환하는 모든 관측량의 값을 동적으로 재할당하여, 표준 금지정리에서 요구하는 것보다 더 강력한 형태의 문맥성을 나타낸다.
• n=1일 때 모델은 기존의 알려진 8상태 모델과 동치이며, 단일 큐비트에 대한 알려진 결과와의 일致성을 확인한다.
• 온톨로지에는 값 할당 업데이트를 추적하기 위해 n−1개의 스태빌라이저 군 생성자가 포함되어 있어, 문맥성의 배경에 비틀림 없는 클래식적 구조가 존재함을 시사한다.
• 모델은 측정 시에도 결과 결정적 값 할당을 유지할 수 있음을 보여주며, 문맥적 모델에서 확률적 온톨로지가 필수적이라는 가정에 도전한다.
• 항상-ψ-지식론적 모델로의 확장이 제안되며, 지식론적 불확실성을 통해 클래식-양자 전이를 연구할 수 있는 틀을 제공한다.