[論文レビュー] Spekkens's Symmetric No-Go Theorem

Andreas Blass, Yuri Gurevich|arXiv (Cornell University)|Mar 27, 2015

Quantum Mechanics and Applications参考文献 5被引用数 4

ひとこと要約

この論文は、スペッケンスの対称的no-go定理における深刻な誤りを是正する。この定理は、非文脈的かつ非負の準確率的表現が量子力学を再現できないことを示している。著者たちは、誤った凸線形拡張に関する主張を厳密に分析し、1量子ビットの場合に定理を証明することで、関数ノルムと積分に関する矛盾する制約が生じることを示し、結果としてno-go定理の核心的結論を裏付ける。

ABSTRACT

In a 2008 paper, Spekkens improved the traditional notions of non-negativity of Wigner-style quasi-probability distributions and non-contextuality of observations. He showed that the two improved notions are equivalent to each other. Then he proved what he called an even-handed no-go theorem. The paper contains some minor inaccuracies and one false claim, in the proof of the no-go theorem. This claim, early in the proof, is used in an essential way in the rest of the argument. Here we analyze carefully Spekkens's proof of the no-go theorem, explain the inaccuracies, reduce the task of proving the no-go theorem to the special case of a single qubit, and then prove the special case. This gives us a complete proof of Spekkens's no-go theorem.

研究の動機と目的

• スペッケンスの非文脈的隠れ変数理論に関する対称的no-go定理の証明における深刻な誤りを特定・是正すること。
• 凸線形拡張に関する誤った主張が元の証明を無効にすることを示し、新たな導出を必要とすること。
• 問題を単一の1量子ビットの場合に還元し、第一原理から定理を証明することで、no-go定理の有効性を確立すること。
• 非負性と非文脈性が、対称的で準備-測定双対的枠組みにおいて、量子力学と両立しないことを示すこと。

提案手法

• 著者たちはスパッケンスの元の証明を分析し、誤った主張を特定する：トレースクラス演算子集合上の凸線形関数は一意に線形汎関数に拡張可能であるというもの。
• 一般のno-go定理を2次元ヒルベルト空間（1量子ビット）の特別な場合に還元することで、一般性を失わず分析を簡略化する。
• 密度演算子とPOVM要素をブロッホベクトル表現でパrameter化する：状態に対してρ(𝐱)、測定に対してE(m,𝐩)を用いる。
• 準確率関数μρとξEをλのアフィン関数として表現する：μρ(𝐱)(λ) = 𝐱⋅𝐀(λ) + C(λ) および ξE(m,𝐩)(λ) = 𝐩⋅𝐁(λ) + m。
• トレース再現条件Tr(ρE) = ∫μρξEdλから積分制約を導出し、A, B, C関数の内積と積分を含む式(4)～(7)を得る。
• 非負性制約を適用してノルムの上限を導出し、||𝐁(λ)|| ≤ 1 および ||𝐀(λ)|| ≤ C(λ)を得る。これらは積分恒等式と組み合わせると矛盾を引き起こす。

実験結果

リサーチクエスチョン

• RQ1 非負の準確率的表現が、凸線形かつすべての状態と測定に対して量子力学的予測を再現できるか。
• RQ2 スパッケンスの証明の文脈において、演算子集合上の凸線形関数が一意に線形汎関数に拡張可能であるという主張は妥当か。
• RQ3 no-go定理における準備と測定の対称的取り扱いは、隠れ変数理論に関するより強力またはより頑健な結論を導くか。
• RQ4 no-go定理は、単一の1量子ビットの場合に還元することで独立に証明可能か。
• RQ5 準確率的表現においてμρとξEの両方の非負性を要求すると、どのような制約が生じるか。

主な発見

• 凸線形拡張に関する誤った主張がスパッケンスの元の証明を無効にし、新たな導出を必要とする。
• 1量子ビットの場合が、完全なno-go定理を証明するのに十分である。矛盾はすでにこの最小限の設定で生じる。
• μρとξEの非負性は、すべてのλに対して||𝐁(λ)|| ≤ 1 および ||𝐀(λ)|| ≤ C(λ)を強いるが、これらは積分制約と両立しない。
• コーシー＝シュワルツ型不等式 ∫|B₁(λ)A₁(λ)|dλ ≤ ∫|B₁(λ)|⋅|A₁(λ)|dλ の等号成立条件は、C(λ) > 0 である点で |B₁(λ)| = 1 ほぼ everywhere であることを意味する。
• C(λ) > 0 である点で ||𝐁(λ)|| = √3 であるという条件は、||𝐁(λ)|| ≤ 1 と矛盾し、結果として C(λ) = 0 ほぼ everywhere であることを強いる。
• これは正規化条件 ∫C(λ)dλ = 1 と矛盾するため、このような非負の準確率的表現は存在しえないことが証明される。