[論文レビュー] A Contextual $ψ$-Epistemic Model of the $n$-Qubit Stabilizer Formalism

Piers Lillystone, Joseph Emerson|arXiv (Cornell University)|Apr 8, 2019

Quantum Mechanics and Applications被引用数 5

ひとこと要約

この論文は、n-キュービットの安定化子形式論理に対して、文脈的ψ-エピステム的実在的モデルを構築し、すべてのパウリ観測量に対する結果決定的値割り当てが測定後にも一貫して更新可能であることを示している。これは、測定後に可換な観測量に対しても成立し、標準的な否定定理が要求するよりも強い形の文脈的性を明らかにしている。モデルは安定化子状態の統計と測定結果を保持しており、文脈的性は動的値割り当て更新を通じて符号化されている。

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 このモデルは、Kochen-Speckerのような標準的な文脈的性定理が要求するよりも強い形の文脈的性を明らかにしているか？
• RQ5 このようなモデルは、特に非ユニバーサルな設定において、文脈的性が量子計算のリソースとして果たす役割を理解する手がかりを提供できるか？

主な発見

• モデルは、一貫した位相関数の上での一様サンプリングにより、安定化子測定の統計を正確に再現し、安定化子状態の構造を保持している。
• 測定更新ルールは、測定された観測量と可換な観測量を含め、すべての観測量に対して値を再割り当てする動的更新を実行しており、標準的な否定定理が要求するよりも強い形の文脈的性を示している。
• n=1の場合、モデルは既知の8状態モデルと等価であり、単一キュービットにおける既知の結果と整合性が確認された。
• 実在論にはn−1個の安定化子群生成子が含まれており、文脈的性の背後にある非自明な古典的構造を示唆している。
• モデルは、測定下でも結果決定的値割り当てを維持できることを示しており、文脈的モデルにおいて確率的実在論が不可欠であるという仮定に疑問を呈している。
• 常にψ-エピステム的モデルへの拡張が提案されており、エピステム的不確実性を通じた古典的・量子的遷移を研究するためのフレームワークを提供している。