MANGO:自動微分でニュートリノ振動の感度を一度に計算するエンジン
この論文は、ニュートリノ振動の確率とその微分(感度)を自動で同時に計算できるソフトウエア「MANGO(A Neutrino Gradient Oscillator)」を紹介します。従来の解析式は振動確率を高速に与えますが、ジオメトリや地球内の層ごとの密度など、解析式に直接現れない入力に対する正確な導関数を得ることは難しいままでした。MANGOはその欠点を埋め、振動計算のあらゆる量を入力に関して微分可能にします。実装はJAXという自動微分(autodiff)のフレームワーク上で行われています。
研究チームは、真空伝播、一定密度、層状PREM(Preliminary Reference Earth Model: 予備的地球モデル)、任意の密度プロファイル、そして太陽内の断熱的な伝播を含む複数の伝播モードに対応する核を作りました。さらに、非標準相互作用(Non-Standard Interactions, NSI)、3+Nのステライル(やせ)ニュートリノ状態、デコヒーレンス、非単位的混合などの拡張も前端で扱えます。従来、解析的に導関数を得る手法(例:CHIC)は一定密度の場合に限定されていましたが、MANGOは自動微分によりサポートされるすべての構成で導関数を“ただちに”得られます。
仕組みの要点は計算コストと微分の伝播にあります。逆モード自動微分では出力次元に依存してコストが決まるため、感度評価の追加コストは順伝播の約2.5〜3倍で済みます。結果として、層ごとの密度や電子分率、境界半径を合わせた369個のパラメータについての感度計算が、標準的な6つの振動パラメータの感度計算と同程度のコストで可能になります。ジオメトリに関しては、検出器深さ、天頂角(zenith angle)、大気中での生成高度などを直線軌道の弦(chord)に基づいた閉形式で扱い、弦に沿った各層の区間長を滑らかな関数として評価します。内部計算はIEEEの倍精度(float64)で行われます。
この性質の重要性は、振動確率の先にある検出器応答、イベント重みづけ、ヒストグラム化、尤度評価といった解析チェーン全体に勾配(グラディエント)を通せる点にあります。論文は地球トモグラフィー(地球内部密度の推定)の簡略モデルで実証を示しました。単一の計算パスで6区画の放射方向密度モデルの周辺化された不確かさを算出し、フィッシャー行列の逆行列を通して検出器の角度分解能に対する感度を微分で評価しました。こうした実験設計の指標は、従来の解析確率式だけでは得られないものです。
検証も丁寧に行われています。三フレーバーと層状地球モデルの確率は外部ベンチマークであるOscProbやNuFast-Earthと10^-9から10^-5の範囲で一致しました。前方モデルや拡張モデル、微分経路は解析的な厳密解や有限差分と突き合わせて検証されています。一方で初期リリースの範囲には限りがあります。論文はコアとなる振動物理の完全な自動微分可能化に注力しており、密度行列伝送を完全に扱う実装(nuSQuIDSの領域)、実験全体の詳細なシミュレーション(GLoBESのような機能)、あるいは網羅的な超標準理論のスイートへ拡張する作業は今後の課題として残っています。また、弦が殻境界をかすめる特殊な角度では区間長に平方根のような尖り(cusp)が現れ、数学的には測度ゼロの非微分点が生じます。論文はこれら臨界角を列挙し議論していますが、数値的取り扱いに注意が必要です。