Bell tests for collider decay processes

技術要約：衝突型加速器の崩壊過程におけるベル不等式の検証

問題提起
ベル不等式の検証（ベル・テスト）は、原子、光学、および固体状態のプラットフォームにおいて成熟している一方で、高エネルギーの衝突型加速器プロセスにおける操作的なベル・テストの定式化は、依然として未解決の課題である。標準的なベル・テストは、測定設定が状態準備から独立して選択される外部変数である、モデルに依存しない入出力構造を必要とする。対照的に、衝突型加速器の検出器は主に崩壊データを記録するものであり、「設定」（測定軸）は自由に選択される外部変数ではなく、分析対象となっている微視的な崩壊プロセス自体から抽出されるものである。その結果、観測されたデータはモデル依存の再構成を通じて条件付き確率へと整理されなければならず、これは測定の独立性（$\lambda$-独立性）および厳密なベル・テストに求められるモデルの独立性を困難にする。これまでの間接的なアプローチでは、ベルの証拠を評価するために、測定された運動量からスピン密度演算子を再構成してきたが、これらは実際のベル・テストにおける観測された条件付き確率を提供するものではない。

手法
著者らは、以下の定義によって必要な入出力構造を回復させる、衝突型加速器のベル・テスト・アーキテクチャを提案している：

1. 入力（設定）： アウトカム（結果）の割り当て前に、各ウィング（アリスおよびボブ）に対して独立にサンプリングされた解析軸（$\hat{x}$ および $\hat{y}$）。
2. 出力（アウトカム）： これらの軸によって定義される粗視化された検出器領域。具体的には、軸 $\hat{x}$ に対して、角半径 $\phi$ を持つ2つの対蹠的な球面冠（spherical caps）が定義される。これらの冠内の検出はバイナリのアウトカム（$+1$ または $-1$）をもたらし、これら以外の検出はヌル・アウトカム（$\emptyset$）をもたらす。
3. 事後選択（ポストセレクション）： いずれのウィングもヌル・アウトカムを返さない「共同受理」イベントのみを分析対象として保持する。

著者らは、スピン解析フレームワークを用いて、不安定な親量子ビットから娘粒子への崩壊をモデル化している。この崩壊は、角方向の正値演算子値測定（POVM）密度 $K(\hat{r}) = \frac{1}{4\pi}(I + \eta \hat{r} \cdot \sigma)$ を誘起する。ここで、$\eta$ はスピン解析能力である。検出器領域は、選択されたキャップ（冠）にわたってこれらのPOVM要素を積分することに対応する。

主要な貢献および理論的結果

• フル・レコードに関するノーゴー定理（定理1）： 著者らは、事後選択なしに検出器のヒットの全記録を保持する場合、設定は単に設定に依存しない局所的POVMの古典的な事後処理を定義するに過ぎないことを証明した。その結果、得られる統計量は局所隠れた変数（LHV）モデルに従い、ベル不等式を破ることはできない。これは、この文脈において事後選択が潜在的な破れのために不可欠であることを裏付けている。
• 事後選択のループホールへの対処： 事後選択は通常、受理された隠れた変数のサブアンサンブル（$\lambda$）が選択された設定に依存する可能性があるため、検出器のループホールを開く。著者らはこれを測定の文脈依存性（contextuality）を用いて分析している。彼らは、もし「共同受理」イベントがすべての設定ペアに対して操作的に等価であるならば（すなわち、受理される確率が特定の軸の選択に依存しない場合）、事後選択のループホールを利用するいかなるLHVモデルも、共同受理の文脈依存性という意味で非古典的であると主張している。
• 定理2（操作的等価性）： 事後選択前の測定の独立性と、受理イベントの操作的等価性を仮定すると、基礎となるLHV理論が共同受理に関して非文脈的であれば、受理された隠れた変数の分布 $\rho(\lambda|\hat{x}, \hat{y}, D)$ は設定に依存しないことを著者らは証明している。これにより、非文脈的な局所モデルに対するループホールを閉じる。
• ベル不等式の導出（定理3）： 著者らは、連続的な入力（$\hat{x}, \hat{y} \in S^2$）とバイナリのアウトカム（$a, b \in \{\pm 1\}$）を持つ問題の回転幾何学に適応させた、フル相関ベル不等式を導出した。この不等式は以下の汎関数によって定義される：
  $$B := -\mathbb{E}[\hat{x} \cdot \hat{y} \, ab] \leq \frac{1}{4}$$
  これは、測定に依存しないLHVモデルに対して成立する。

結果
著者らは、シングレット源状態に対する量子力学的予測を計算している。有効なスピン解析能力は、粗視化の幅 $\phi$ によって $\mu = \eta(1+\cos\phi)/2$ に修正される。ベル汎関数の量子値は以下の通りである：
$$B_{QM} = \mu_A \mu_B \frac{1}{3}$$
古典的な境界（$B > 1/4$）の破れは、$\mu_A \mu_B > \frac{3}{4}$ のときに発生する。対称なケースでは、これは $\mu > \sqrt{3}/2$ を必要とする。完全なスピン解析能力（$\eta=1$）と鋭い検出（$\phi \to 0$）の理想的な極限において、$\mu=1$ となり、$B_{QM} = 1/3$ を与え、これは明らかに境界を破る。

意義および主張
本論文は、厳密な精査に必要な入出力構造を回復させる、衝突型加速器の崩壊のための最初の操作的なベル・テスト・アーキテクチャを定式化したと主張している。主な意義は、以下の点にある：

1. 衝突型加速器の崩壊におけるベルの破れは可能であるが、それは厳密に事後選択を必要とする。
2. 測定の独立性と受理イベントの操作的等価性の仮定の下で、導出された不等式（$B > 1/4$）の破れは、ベルの非局所性または共同受理の文脈依存性のいずれかの証拠として機能する。
3. 提案されたプロトコルは検出器レベルの統計に依拠しており、完全な量子状態再構成を必要とせず、衝突型加速器における状態再構成研究から古典性の操作的なテストへの経路を提供する。

著者らは、明示的な構成はスピン1/2粒子に焦点を当てているが、操作的な戦略は適応された粗視化を用いて高スピン系にも拡張可能であると述べている。また、ループホールを閉じるために必要な操作的等価性は、最終的に理論に依存しない方法で実験的にテストされなければならないことを強調している。