Effective propagators of flavor neutrinos

技術的要約：有効なフレーバー・ニュートリノ・プロパゲーター

問題提起
本論文は、ニュートリノのフレーバー振動の量子場理論（QFT）による記述における、基礎的な不整合に対処している。標準的な量子力学（QM）のアプローチはフレーバー振動を成功裏に記述しているが、厳密なQFTによる取り扱いでは、ニュートリノをソースと検出器の間を伝播する仮想粒子として扱う必要がある。従来のQFT研究（例：文献[9, 10, 19, 20]）は、質量固有状態のプロパゲーターとの類推から、「フレーバー・ニュートリノ・プロパゲーター」（$S_{\alpha\beta}$）を定義しようと試み、フレーバー状態を不定の質量を持つ基本場として扱ってきた。著者は、この定義がQFTの基本原則、具体的には真空状態の定義およびポアンカレ群の表現に関する原則に違反していると主張している。

手法
著者は、フレーバー・ニュートリノ・プロパゲーターの妥当性を分析するために、2つの異なるQFT形式を用いている。

1. 演算子形式（Operator Formalism）: S行列およびウィックの定理を通じたプロパゲーターの構成を検討する。状態ベクトルおよび場演算子のポアンカレ群に対する変換特性を分析する。この分析は、物理的粒子が、確定した質量（カシミール演算子 $P^2 = m^2$）によって特徴付けられるポアンカレ群の既約表現に対応しなければならないという要請に基づいている。
2. 経路積分形式（Path Integral Formalism）: 生成汎関数を用いたプロパゲーターの導出を調査する。これには、経路積分の収束およびグリーン関数の適切な定義を保証するために、時刻 $t \to \pm \infty$ における場の境界条件を分析することが含まれる。
3. 摂動的構成（Perturbative Construction）: 特定された不整合を解決するため、ラグランジアンにおけるフレーバー混合項を摂動として扱うことで、「有効プロパゲーター（effective propagator）」を構成する。これは、混合項が対角的なフレーバー・プロパゲーターを接続する頂点として機能する、ディゾン型（Dyson-like）の図の級数を和をとるプロセスを含む。

主な貢献および結果

• フレーバー・プロパゲーターの無効性:

  • 演算子アプローチ: フレーバー・ニュートリノは質量固有状態の重ね合わせであるため、確定した質量を持たないことを示す。その結果、それらはポアンカレ群の既約表現を形成することができない。これは、フレーバー場に対してフォック空間および真空状態（$|0_F\rangle$）を厳密に定義できないことを意味する。したがって、$iS_{\alpha\beta}(x-y) = \langle 0_F | T\{\nu_\alpha(x)\bar{\nu}_\beta(y)\} | 0_F \rangle$ という定義は、数学的に不適切である。
  • 経路積分アプローチ: 経路積分によるフレーバー・プロパゲーターの導出には、漸近的な時刻において場が確定した質量を持つ自由粒子として振る舞うという境界条件が必要となる。しかし、フレーバー場は本質的に混合しており、確定した質量を持つ自由ディラック方程式を満たさないため、グリーン関数を有効なプロパゲーターに変換するために必要な境界条件を満たすことができない。結果として得られる式は形式的に発散し、極（pole）を回避するための処方を持たない。

• 有効プロパゲーターの構成:

  • 著者は一貫した代替案を提案する。すなわち、対角なラグランジアン（$L_0$）に対するオフダイアゴナルな質量混合項（$V$）を摂動として扱うことである。
  • フレーバー間の遷移振幅（例：$\nu_e \to \nu_\mu$）に関する摂動級数（ディゾン級数）の和をとることにより、著者は有効プロパゲーター（$\Sigma_{\mu e}$）の厳密な式を導出する。
  • この有効プロパゲーターは、ディゾン型の式 $(S_\mu V S_e)^{-1} - V = \Sigma_{\mu e}^{-1}$ を満たす。この解は、混合パラメータおよび基礎となる質量固有状態の質量を明示的に組み込んでいる。

• 真空における振動確率の再導出:

  • 導出された有効プロパゲーターを真空中のニュートリノ振動のS行列要素の計算に適用することで、著者は標準的なQMの遷移確率を再導出する。
  • 超相対論的なニュートリノおよびマクロな距離（$L \gg E^{-1}$）の仮定の下で、結果は馴染みのある公式を回収する：
    $$P_{\nu_e \to \nu_\mu} \approx \sin^2 2\theta \sin^2 \left( \frac{\Delta m^2}{4E} L \right)$$
  • これにより、フレーバー・プロパゲーターは理論的に無効であるが、有効プロパゲーターのアプローチは正しい物理的予測を与えることが確認された。

• 背景物質中における限界:

  • 本論文は、この形式を背景物質中でのニュートリノ振動に適用することを分析している。その結果、ディラック・ニュートリノの場合、有効プロパゲラーを一貫した方法で構成することはできないことが判明した。
  • その理由は、物質中におけるニュートリノの厳密なプロパゲーター（文献[13]で導出）が、特定のカイラリティ（左手型）に対するディラック方程式の解に基づいているためである。一方、フレーバー混合項は異なるカイラリティを結合させる（例：$\bar{\nu}_{\mu L} \nu_{e R}$）。したがって、厳密な物質中プロパゲーターを用いた場合、混合項を含む摂動級数は消失する。
  • 著者は、物質中での振動については、有効フレーバー・プロパゲーターを構築しようとするのではなく、質量固有状態のプロパゲーターに戻って使用しなければならないと結論付けている。

意義および主張
本論文は、ニュートリノ振動のQFT的取り扱いにおける理論的な曖昧さを解決することを主張している。著者は、先行研究が振動確率の正しい数値結果を得ていたとしても、その理論的入力（フレーバー・プロパゲーターの定義）は、ポアンカレ不変性と真空の定義に関するQFTの公理的原則に違反していたため、理論的に欠陥があったと断じている。

本研究の意義は以下の点にある：

1. 厳密な正当化: 質量固有状態と有効なフレーバー遷移を区別することにより、ニュートリノ振動をQFTで扱うための数学的に一貫した枠組みを提供したこと。
2. 手法の修正: フレーバー混合は、基本場のプロパゲーター自体の特性としてではなく、摂動（またはディゾン方程式）として扱う必要があることを示したこと。
3. 範囲の定義: 有効プロパゲーターは真空振動には機能するが、QFTの一貫性を損なうことなく、ディラック・ニュートリノの背景物質中での振動に適用することはできないことを明らかにし、その領域では質量固有状態のプロパゲーターを使用する必要があることを示したこと。

著者は、導出された有効プロパゲーターは、一貫したQFTの枠組み内で既知の結果を回収するためのツールであり、新しい実験現象の提案や標準模型の修正を目的としたものではないとして、控えめな立場を維持している。