Correlations in oscillation data and their impact on neutrino mixing models

技術要約：振動データにおける相関とニュートリノ混合モデルへの影響

問題提起
ニュートリノ振動実験は、非ゼロのニュートリノ質量とフレーバー混合の存在を高精度で確立している。しかし、特定の混合パターン（例：離散的なフレーバー対称性に基づくもの）を予測する理論モデルは、多くの場合、振動パラメータ間の代数的な関係（和の規則、sum rules）に依存している。従来、これらのモデルの妥当性は、グローバルフィットから導出された振動パラメータの独立した1次元または2次元の信頼区間と比較することで評価されてきた。著者らは、このアプローチには欠陥があると主張している。なぜなら、それは実験データにエンコードされている真の多次元相関を無視しているからである。パラメータを独立したものとして扱うことは、モデルの妥備性を過度に楽観的に結論付けたり（相関を考慮すると実際には否定されるパラメータの組み合わせを受け入れてしまう）、あるいは実行可能な組み合わせを拒絶したりする可能性がある。さらに、完全な相関情報（最大6次元まで）は、任意の理論的関係をテストするために直接使用できる形式では公開されていない。

手法
利用可能な完全な次元の相関データが不足しているという課題に対処するため、著者らは、NuFITグローバルフィット（バージョン6.0および6.1）の利用可能な2次元および3次元の相関データセットのみを使用して、完全な6次元の$\chi^2$関数、すなわち$\tilde{\chi}^2$の保守的な推定値を再構成する手法を開発した。

1. 相関の再構成: 著者らは、すべてのパラメータのペアに対する2次元相関輪郭と、各質量順序に対する特定の3次元輪郭を提供するNuFITデータを利用する。これら低次元のデータセットを高次元へと拡張するために、以下の再帰的な手法を用いる：

   • 拡張 ($\chi^2_{ext}$): $n$個の変数に対する$\chi^2$を構築するために、サイズ$n-1$のすべての縮小された部分系に対する最大$\chi^2$値を取る（式3）。これにより、構築された$\tilde{\chi}^2$が真の$\chi^2$の下限となることが保証され、モデルの不当な排除を回避できる。
   • 縮小 ($\chi^2_{red}$): 高次元の$\chi^2$関数を低次元へ投影するために、不要なパラメータについて最小化を行う（式6）。
   • これらの操作を組み合わせることで、6つの振動パラメータのうち任意のサブセット（$\theta_{12}, \theta_{13}, \theta_{23}, \delta_{CP}, \Delta m^2_{21}, |\Delta m^2_{3\ell}|$）に対する$\tilde{\chi}^2$を、提供された2次元および3次元データを用いて評価することができる。

2. モデル検証フレームワーク: このフレームワークを、パラメータ間に代数的な関係を課す特定の混合スキームに適用する。与えられたモデルにおいて、パラメータはモデルの和の規則によって制約される。著者らは、これらの関係を満たす点に対して$\tilde{\chi}^2$を評価する。モデルは、$\tilde{\chi}^2 \leq 9$（自由度1に対して$3\sigma$レベルに対応）である場合に、実行可能であるとみなされる。その最小値$\tilde{\chi}^2_{min}$が、モデルが達成可能な最良の適合度を決定する。

3. 実装: 著者らは、補間された相関関数と拡張・縮小の公式の実装を含むMathematicaノートブックを提供し、コミュニティによる利用を促進している。

主な結果
このフレームワークは、いくつかの混合スキーム（トリマックスimal混合：TM1, TM2、および部分的な$\mu-\tau$反射対称性：$\mu_1-\tau_1, \mu_2-\tau_2$）に適用された。

• 相関の影響: 完全な相関を組み込むことで、無相関の1次元/2次元区間を用いた解析と比較して、許容されるパラメータ領域が著しく狭まる。例えば、$\theta_{13}$-$\theta_{12}$平面において、相関を含めるとTM2の許容領域は大幅に縮小する。
• モデルの妥当性 (NuFIT 6.0):
  • TM2: パフォーマンスが悪く、順秩序（NO）および逆順序（IO）の両方で$\tilde{\chi}^2_{min} = 8.1$となる。
  • TM1: より良好な結果を示し、$\tilde{\chi}^2_{min}$はNOで2.8、IOで0.9である。
  • $\mu-\tau$ 対称性: $\mu_1-\tau_1$スキームがIOに対して最良のフィットを示す（$\tilde{\chi}^2_{min} = 0.1$）。
• JUNOデータのインパクト (NuFIT 6.1): JUNOのデータ（$\theta_{12}$および$\Delta m^2_{21}$の精度向上）の導入により、制約がさらに厳しくなる。
  • TM2の排除: NuFIT 6.1の下では、TM2は両方の順序において$>3\sigma$ C.L.で排除される（$\tilde{\chi}^2_{min} \approx 21.4$）。
  • $\mu_1-\tau_1$の選好: IOにおける$\mu_1-\tau_1$スキームが依然として最良のフィットであり、$\tilde{\chi}^2_{min}$は0.12へとわずかに減少する。
• 有効質量: 相関を尊重した制約は、トリチウム$\beta$崩壊における有効ニュートリノ質量（$m_\beta$）および無ニュートリノ二重ベータ崩壊（$m_{\beta\beta}$）の許容範囲を大幅に減少させる。この減少は、NOおよび低質量（$m_0$）におけるTM1/TM2スキームにおいて最も顕著である。
• パラメータのシフト: この手法は、$\delta_{CP}$や$\theta_{12}$といったパラメータの最良適合値のシフトと、より狭い$3\tilde{\sigma}$範囲を明らかにする。これは、$\theta_{12}$-$\theta_{13}$の関係が新しいデータによって強く制約されているTM2において特に顕著である。

意義と主張
本論文は、その主要な貢献は、利用可能な部分的なデータから完全な多次元相関を再構成する実用的かつデータ駆動型の方法論を提供することであり、これにより、パラメータの独立性を仮定することなく、理論的な混合スキームを厳密にテストできることであると主張している。

• 保守的な推定: 構築された$\tilde{\chi}^2$は、真の$\chi^2$の保守的な下限を与えるため、近似誤差によって実行可能なモデルが排除されることを防ぐ。
• モデル独立性: この手法は特定のモデルに縛られず、振動パラメータのサブセット間の代数的な関係を予測するあらゆる理論的枠組みをテストできる。
• 精密化時代の必要性: 著者らは、実験精度が増すにつれ（例：DUNE, T2HK, JUNO）、相関を考慮することが不可欠になると主張している。彼らは、完全な相関構造が、標準的な1D/2D解析では見逃されるであろう、モデルを「限界的な適合」から「排除」へとシフトさせ得ることを示した（TM2で見られるように）。
• コミュニティのリソース: コードと補間関数を提供することで、著者らは、任意の和の規則やモデルを、グローバルフィットの完全な相関構造に対してテストすることをコミュニティが可能にすることを目指している。

結論として、$\mu_1-\tau_1$（IOの下での）およびTM1は現在のデータと適合している一方で、TM2スキームは強く否定されており、これは、競合するニュートリノフレーバー理論モデルを区別する上で、パラメータ相関が極めて重要な役割を果たすことを強調している。