Cross-Moment Consistency and the Fifth Adler Coefficient in Hadronic Tau Decays

技術要約：ハドロン$\tau$崩壊におけるクロスモーメントの一貫性と第5次アドラー係数

問題提起
本論文は、質量ゼロのアドラー関数における摂動展開の未知の第5次アドラー係数 $c_{5,1}$ の決定について取り組んでいる。最初の4つの係数（$c_{1,1}$ から $c_{4,1}$）は既知であるが、$c_{5,1}$ は直接計算されていない。この係数は、強結合定数 $\alpha_s(m_\tau)$ を抽出するために用いられる固定次数摂動論（FOPT）解析における、最初のエミット項（省略項）を制御するものである。ここでの中心的な問いは、単に $c_{5,1}$ の推定値を出すことではなく、既知の4つの係数が第5次の係数に対して実際にどのような制約を課しているのかを厳密に決定すること、および、様々な外挿法（パデ近似、シャンクス変換、レノーマロン・モデルなど）の妥当性をそれらの制約に対して評価することである。

手法
著者らは、アドラー係数と実験的モーメントとの関係に関する厳密な代数的および幾何学的解析を用いている：

1. 転送恒等式（The Transfer Identity）： 本論文は、正規化された多項式重みに対するアドラー係数からFOPTモーメントへの写像が、単位対角成分を持つ上三角行列であることを確立している。その結果、単一のアドラー係数における共通の予測誤差は、すべての正規化されたモーメントに対して全く同じ絶対サイズで伝播する。これは、単一の係数の予測を複数の重み（全幅重み $W_\tau$、グルーオン凝縮威敏感な重み $W_{GC}$、および2回ピンチされた重み $W_{P2}$）に対してテストしても、独立した制約にはならず、係数の大きさの最小値によって定義される単一のスカラー・テストへと収束することを意味する。
2. 欠陥符号解析（Defect-Sign Analysis）： 著者らは、直前の2つの係数に基づく直接的な幾何学的（シャンクス/パデ）予測からの偏差を測る「欠陥（defect）」$\Delta_n$ を定義する。彼らは既知の係数におけるこれらの欠陥の符号と大きさを分析している。
3. クロス検証されたレノーマロン閉鎖（CVRC）： $c_{5,1}$ を推定するために、著者らは簡略化されたBeneke–Jamin（BJ）型のレノーマロン・アンザッツを適用する。これには、低次のデータを用いて閉鎖振幅を決定し、次の既知の次数を予測するという「較正および偽証（calibration-and-falsification）」プロトコルが含まれる。モデルは、次数および重みの間で一貫性（閉鎖性）を確認するためにテストされる。
4. スキームの比較： 本研究は、FOPTと輪郭積分摂動論（CIPT）を対比させ、それぞれの部分和の構造の違いにより、$c_{5,1}$ に対する感度がどのように異なるかを実証している。

主要な貢献と結果

• マルチウェイト・テストの解像力： 本論文は、第5次における3つの代表的な重みに対する標準的な「10パーセント」相対許容度テストが、$c_{5,1}$ を絶対不確かさ約 $\pm 24$ までしか解像できないことを証明している。対応するCIPTテストは、これよりも1桁以上弱いことが示されている。また、よく引用されるBeneke–Jaminの値283は、モーメント空間におけるFOPT項の比の線形外挿であり、主要な5パラメータ・レノーマロン・モデルの直接の出力ではないこと、および値52（$c_{4,1}$ 用）は、この同一の線形外挿から導かれた事後予測（postdiction）であることを明確にしている。
• 欠陥符号の障害（The Defect-Sign Obstruction）： 既知のアドラー係数は、正かつ増加する直接予測欠陥を示すという点が、重要な構造的発見である。この符号パターンを維持するアドラー列の継続（「欠陥符号保存型」写像）は、必然的に $c_{5,1} \geq 378.03$ を導く。したがって、現象論的な範囲である $\sim 280$ 付近の値は、欠陥の符号を反転させるメカニズム、すなわち単純な幾何学的継続を超えた追加の構造を必要とする。
• CVRCによる条件付き推定： 純粋な冪乗レノーマロン・アンザッツ（紫外レノーマロンによる符号反転を許容するもの）を適用したCVRCプロトコルを用いて、著者らは以下の条件付き推定値を導出している：
  $$c_{5,1} = 248 \pm 30 \text{ (構造)} \pm 74 \text{ (手法)} = 248 \pm 80.$$
  中心値（248）は、純粋な冪乗アンザッツの厳密な4パラメータ・フィットと代数的に一致している。大きな不確かさは、このプロトコルが新しい係数の情報を提供するのではなく、検証可能な「許容性テスト」を追加するものであるという、手法の感度を反映している。
• 既存の推定値の明確化： 本論文は、様々な既存の推定値を整理し、「283」という値は主要なBJモデルへの入力であり、直接の出力ではないことを示している。また、アンサンブル平均（Borel–Padé推定など）は、個々の変換が持つ非線形不等式を継承しないため、単一の変換による境界の外側に位置し得ることを示している。

意義と主張
本論文は、現在の理論的知識の限界に関する、控えめながらも精密な意義を主張している：

1. 現在のデータの限界： 4つの既知のアドラー係数では、$c_{5,1}$ を精密に決定するには不十分であり、特定の構造的仮定（符号反転メカニズムなど）が課されない限り、広範な範囲に制約を与えるに過ぎないことを示している。
2. 精度よりも検証を： 著者らは、宣言された構造的仮定、検証可能な検証プロトコル（CVRCなど）、および誠実な不確かさの範囲を示すことは、過小制約なモデルによって生成された「精度」よりも情報量が多いと主張している。提案されたプロトコルは、$c_{5,1}$ を決定的に決定すると主張するものではなく、特定のアンザッツ構造の妥当性をテストするための枠組みを提供するものである。
3. OPE処方依存性： 摂動係数の操作（パデ、Borel和など）がいかなる方法を用いても、固有のOPE処方依存性（摂動級数と凝縮行列要素間の曖昧さの相殺）を取り除くことはできないことを本論文は再確認している。$c_{5,1}$ の決定的な決定には、真の6ループ計算が必要である。
4. 実験的背景： Belle IIやSuper Tau–Charm Facilityのような将来の施設は、スペクトルデータやモーメントの不確かさを改善できる可能性があるが、重みと許容度が固定されている場合、FOPT写像の三角的な性質によって課される根本的な代数的解像力の限界を変えることはできないと、本論文は指摘している。

要約すれば、本研究は、$\tau$ 崩壊における係数の不確かさの伝播を理解するための厳密な代数的枠組みを提供し、単純な外挿に対する構造的な障壁を特定し、現象論的な範囲と整合するために特定のレノーマロン構造が必要であることを強調しながら、$c_{5,1}$ に対する条件付きで検証可能な推定値を提供している。