Testing residual-symmetry-fixed columns of $U_{\rm PMNS}$ at DUNE and T2HK with initial JUNO constraints

技術要約：JUNOによる初期制約を用いた、DUNEおよびT2HKにおける$U_{PMNS}$の残留対称性固定カラムの検証

問題提起
本論文は、離散的なフレーバー対称性およびモジュラー対称性に基づく理論的枠組みが、レプトン混合行列（$U_{PMNS}$）に対して特定の「固定カラム」構造を予測しているという課題に取り組んでいる。近年のJUNO実験による太陽混合角 $\sin^2 \theta_{12}$ の高精度測定は、これら予測されたカラムの第1要素をすでに制約しているが、残りの要素は大気混合角 $\theta_{23}$ とディラックCP位相 $\delta_{CP}$ に依存している。これらのパラメータは現在、大きな実験的不確定性と縮退（具体的には階層・オクタント・$\delta_{CP}$ の縮退）を抱えている。著者らは、残留対称性が予測する $\sin^2 \theta_{23}$ と $\delta_{CP}$ の間の非自明な相関が、次世代の長基線ニュートリノ実験、具体的にはDUNEおよびT2HKとJUNOのデータを併用することで、決定的に検証および制約可能であるかどうかを調査することを目的としている。

手法
本研究では、多段階的な解析およびシミュレーションベースのアプローチを採用している：

1. 理論的枠組み： 著者らは、$U(3)$ および $SU(3)$ の離散部分群（DSG）およびモジュラー対称性から派生する残留対称性を検討している。これらの対称性（具体的にはニュートリノセクターにおける $Z_2$ 対称性と、荷電レプトンセクターにおける $Z_m$ ($m \ge 3$) 対称性）は、$U_{PMNS}$ の一つのカラムを固定する。
2. モデル選択： 著者らは、事前JUNOグローバルフィット（NuFIT 6.0）と互換性のある、位数512未満の群（$\Delta(6n^2)$、$PSL(2,7)$、$\Sigma(168)$、およびモジュラー群$\Gamma_N$を含む）から、実行可能な固定カラムの候補（$|c_0|^2$）を特定している。
3. JUNO制約の適用： 著者らは、JUNOのデータを組み込んだ更新版のNuFIT 6.1グローバル解析結果を適用し、これらの候補をフィルタリングしている。このステップにより、予測される $\sin^2 \theta_{12}$ が $3\sigma$ 許容範囲外となるいくつかのシナリオ（例：$C_1[6], C_1[7], C_2[1], C_2[2]$）が排除される。
4. 相関の導出： 生き残ったシナリオについて、著者らは $\delta_{CP}$ と混合角（$\theta_{12}, \theta_{23}, \theta_{13}$）の間の解析的な相関を導出している。これらの相関は、$\sin^2 \theta_{23}$–$\delta_{CP}$ 平面における特定の理論的バンドを定義する。
5. 実験シミュレーション： GLoBESを用い、DUNE（露出量 624 kt$\cdot$MW$\cdot$yr）およびT2HK（374 kt 忠実質量、10年間の運転、ニュートリノ対反ニュートリノ比 1:3）の将来的なデータをシミュレートしている。
   • 解析： プル法（pull method）を用いて、系統誤差（正規化、信号、および背景事象）を含む $\chi^2$ 解析を行う。
   • 事前分布（Priors）： JUNOの精度に基づく $\sin^2 \theta_{12}$ へのガウス事前分布を明示的に含め、その影響を評価する。
   • 周辺化： 真の $\theta_{23}$ および $\delta_{CP}$ の値をテストしながら、$|\Delta m^2_{31}|, \theta_{23}, \sin^2 \theta_{13}$ をそれぞれの $3\sigma$ 範囲内で周辺化する。
6. 排除指標： 著者らは、実験露出量の関数として、様々な真の $\delta_{CP}$ 値のうち、$3\sigma$ 信頼レベルで排除可能な割合を示す排除分率 $f_{exclude}$ を定義している。

主な貢献

• 体系的なスクリーニング： 論文は、JUNOによる $\sin^2 \theta_{12}$ の厳しい制約を生き残る、離散対称性およびモジュラー対称性からの実行可能な固定カラム予測の包括的なリストを提供している（表II）。
• 相関のマッピング： 著者らは、生き残ったモデルにおける $\sin^2 \theta_{23}$ と $\delta_{CP}$ の理論的相関を明示的にマッピングしており、それらが一般的な現象論的アプローチといかに異なるかを強調している。
• 感度解析： 著者らは、DUNEおよびT2HKがこれらの特定の相関に対して持つ感度を、個別および組み合わせの両方において定量化しており、JUNOの事前分布を含めることが許容パラメータ空間を大幅に絞り込むことを示している。
• 排除能力： $\theta_{23}$ の真の値（特にオクタント）の関数として、$\delta_{CP}$ パラメータ空間の排除可能な割合を計算しており、これが $\theta_{23}$ に強く依存することを示している。

結果

• 生存可能性： いくつかの固定カラムのシナリオ（例：$C_1[1]$ から $C_1[5]$）はJUNOの制約後も実行可能なまま残っているが、他のシナリオは完全に排除されている。
• 許容領域： 理論的な相関は $\sin^2 \theta_{23}$–$\delta_{CP}$ 平面において狭いバンドとして現れる。実験シミュレーションでは、系統誤差と周辺化により広範な許容領域が生成されるが、両実験を組み合わせることでこれらの領域は大幅に縮小する。
• JUNO事前分布の影響： $\sin^2 \theta_{12}$ に対するJUNOの事前分布を含めることで、DUNE+T2HKの結合解析における許容領域は劇的に縮小する。あるケース（例：$C_1[6]$）では、事前分布のみによって最小 $\chi^2$ が $3\sigma$ しきい値を超え、完全な排除に至る。
• 排除の到達範囲：
  • DUNE vs. T2HK： T2HKは、その大きな検出器質量と最適化されたニュートリノ対反ニュートリノの運転比（1:3）に起因して、一般にDUNEよりも強い排除能力を示す。
  • オクタント依存性： 排除能力は真の $\theta_{23}$ の値に強く依存する。$\theta_{23}$ が低いオクタント（例：$42.0^\circ$）にあるシナリオは、高いオクタント（例：$48.0^\circ$）にある場合と比較して、一般に強い排除分率を示す。
  • モデル固有の特性： $C_1[2]$ や $C_1[5]$ のようなモデルでは、現実的な露出量において、特に $\theta_{23}$ が低いオクタントにある場合、$\delta_{CP}$ 空間の大部分（例：$60^\circ$–$298^\circ$）を $3\sigma$ で排除できる。
  • 結合された力： DUNE+T2HKの結合解析は最も堅牢なテストを提供し、パラメータ空間に対する最も強力な制約を与える。

意義
本論文は、JUNO、DUNE、およびT2HKの結合された精度が、残留対称性に基づくフレーバーモデルを精査するための強力な枠組みを構築すると主張している。$\theta_{12}$ の精密な測定と、$\theta_{23}$ および $\delta_{CP}$ に対する長基線の感度の相互作用により、広範な離散対称性の予測を決定的にテスト（および潜在的に排除）することが可能となる。著者らは、これらの将来の実験が、一般的な現象論的フィットを超えて、レプトン混合の特定の群論的な起源をテストすることを可能にする、と結論付けている。