Qubit-Qutrit Quantum Tomography of hadronic $\Lambda\phi$ and $\Lambda K^{\ast 0}$ systems

技術要約：ハドロン $\Lambda\phi$ および $\Lambda K^{*0}$ 系における量子ビット–量子三重項（Qubit–Qutrit）量子トモグラフィー

問題の定義
近年の核物理学および粒子物理学の進展において、量子情報観測量（もつれやベル非局在性など）は、トップクォーク対（$t\bar{t}$）やハイペロン対（$\Lambda\bar{\Lambda}$）のような系におけるスピン相関を調査するために利用されてきた。しかし、これらの研究は等スピン系（$1/2 \otimes 1/2$）に限定されていた。スピン $1/2$ のハイペロン（$\Lambda$）とスピン $1$のベクトル中間子（$V = \phi$または$K^{*0}$）からなる混合スピン・ハドロン終状態へのこの手法の拡張は、根本的な課題を提示している。それは不完全なトモグラフィーである。

一般的な量子ビット–量子三重項（$2 \times 3$ ヒルベルト空間）系は、35個の独立した実パラメータを含む $6 \times 6$ 密度行列によって記述される。$\Lambda V$ 対の崩壊において、$\Lambda$ はパリティを破る弱い崩壊（$\Lambda \to p\pi^-$）を行い、これは自己解析的であり、その偏極の3成分すべてを明らかにする。一方、ベクトル中間子はパリティを保存する強い崩壊（$V \to PP$）を経て崩壊し、これは中間子のベクトル（双極子）偏極に対して鈍感である。その結果、35個の独立したスピンパラメータのうち、実験的にアクセス可能なのは23個のみである。欠落している12個のパラメータは、中間子の双極子偏極（$P_i$）および2粒子間の双極子–双極子相関（$C_{ij}$）に対応する。中心となる問題は、偽陽性を生成することなく、あるいは真のもつれを見逃すことなく、この不完全なデータセットからもつれを厳密に証明できるかどうかである。

手法
著者らは、これらの特定のハドロン系に特化した**量子ビット–量子三重項量子トモグラフィー（QQQT）**の手法を定式化している。このアプローチは以下の手順を含む：

1. 形式論の構築： ヘリシティ基底を用いて、$\Lambda V$ 静止系における結合密度行列 $\rho$ を定義する。この行列は、$\Lambda$ に対する恒等行列とパウリ行列（$\sigma_i$）、およびベクトル中間子に対するスピン $1$生成子（$S_i$）と四重極テンソル（$T_{jk}$）を用いて展開される。
2. 対称性解析： 未測定の12個のパラメータが「中間子双極子セクター」を構成していることを特定する。著者らは、これらの未測定パラメータをゼロに設定すること（崩壊角分布のみから可能な最も完全な再構成）が、真の $\rho_{true}$ をその部分時間反転と平均化することと数学的に等価であることを示している。
   • 具体的には、測定された再構成 $\rho_{meas}$ は、$\rho_{meas} = \frac{1}{2}[\rho_{true} + U_B(\rho_{true}^{T_B})]$ として導かれる。ここで、$T_B$ は中間子部分系に対する部分転置であり、$U_B$ は中間子スピンの $\hat{y}$ 軸まわりの $\pi$ 回転に対応するユニタリ回転である。
3. もつれ証明基準： Horodeckiの定理（$2 \times 3$ 系において、正の部分転置（PPT）基準は可分性の必要十分条件であるという定理）を利用して、アクセス可能な23個のパラメータのみを用いたもつれ検出の厳密な条件を導出する。

主要な結果と定理
本論文は、不完全なトモグラフィー問題を解決する2つの主要な定理を確立している：

• 定理1（偽陽性の排除）： 真の基底状態 $\rho_{true}$ が可分であれば、再構成された状態 $\rho_{meas}$ も必ず可分となる。

  • 含意： $\rho_{meas}$（またはその部分転置）の負の固有値は、真に可分な状態からは決して生成されない。したがって、本手法は偽のもつれ信号を生じさせない。
  • 実用的な帰結： 欠落しているパラメータの特定の対称性により、$\rho_{meas}$ に対するPPTテストは、$\rho_{meas}$ 自体の正定値性の確認へと簡略化される。明示的な部分転置の構成は必要なく、測定された $6 \times 6$ 行列の単一の対角化だけで十分である。

• 定理2（厳密な証明可能性）： データ $D$ からもつれが証明可能であるための必要十分条件は、$\rho_{meas}$ が負の固有値を持つことである。

  • 含意： もし $\rho_{meas}$ が正定値であれば、データと矛盾しない可分な状態が少なくとも一つ存在する。もし $\rho_{meas}$ が負の固有値を持てば、データと矛盾しないすべての物理的状態はもつれている。同じ23個の観測量を用いた他のいかなる解析も、これ以上に効果的にもつれを証明することはできない。

限界の定量化
手法は証明においては厳密であるが、著者らは欠落した情報による感度の損失を定量化している：

• 純粋状態： 純粋なもつれ状態に対して、測定されたネガティビティは真の値の正確に半分となる（命題1）。
• 混合状態： 「ブラインド・ウィンドウ（盲目の窓）」が存在する。例えば、最大もつれ状態を等方的なノイズで希釈した場合、ノイズレベルが特定の閾値を下回るまで、真のもつれを証明できない（命題2）。これは、本手法が偽のもつれを主張することはない一方で、特定の混合状態の領域ではもつれを検出できない可能性があることを示している。

意義および物理学的含意
本論文は、このフレームワークが非摂動的量子色力学（QCD）のハドロン化を調査するための、新たな厳密なツールを提供すると主張している：

1. スピン輸送の新しいプローブ： $\Lambda V$（バリオン–中間子）系を $\Lambda\bar{\Lambda}$（バリオン–反バリオン）系と比較することで、クォーク対が異なる粒子種へとハドロン化する過程でスピン相関がどのように進化するかを調査できる。
2. ハドロン化メカニズムの識別： この比較により、「局所的なドレッシング（local dressing）」の効果を分離できる。局所的なドレッリングはもつれを作り出すことができないため、ハドロン内に残存するスピン相関は、初期のクォークレベルの相関の下限を設定することになる。
3. バリオン対中間子のコヒーレンス： このフレームワークは、バリオンと中間子におけるスピン・コヒーレンスの保持の直接的な比較を可能にする。もし $\Lambda V$ 系が $\Lambda\bar{\Lambda}$ 系よりも大きな距離においてももつれを維持しているならば、それはスピン・コヒーレンスがバリオンの中よりも中間子の中の方がより良く生存することを意味する。
4. 実験的実現可能性： 本手法は、既存のデータセット（STAR実験や将来のePIC実験など）で利用可能な角度モーメントの測定のみを必要とするため、新しい検出器の能力を必要とせず、現在および近い将来のデータに即座に適用可能である。

総括すると、著者らは、特定の対称性に基づいた再構成手法を通じて、不完全な密度行列再構成の限界を克服し、混合スピン・ハドロン系におけるもつれ証明のための理論的基礎と厳密な実験的基準を提供している。