AutoTherm: Automated Thermal Field Theory rates for cosmology

宇宙の最初期、ビッグバン直後の瞬間、宇宙は今日我々が見るような冷たく空虚な広がりではありませんでした。むしろ、それは粒子が沸き立つ超高温のスープであり、物質とエネルギーが極めて高い頻度で衝突し合い、完全な平衡状態に閉じ込められた高密度の熱的浴（サーマル・バス）でした。この原始的な火の玉が膨張し冷却していくにつれ、粒子は互いに離れ始め、その一部は他の粒子との同期を失い、今日なお検出されているダークマターやニュートリノ、あるいは重力波となりました。これらの粒子がいかにして誕生し、いかにして宇宙の歴史を形作ったのかを理解するために、物理学者はそれらが熱いプラズマと相互作用する速度を計算しなければなりません。それはタイミングの問題です。粒子が隣接する粒子とどれほどの速さで相互作用するのか、そして平衡状態に達する、あるいはそこから完全に脱出するまでにどれくらいの時間がかかるのかという問いなのです。

数十年にわたり、これらの相互作用率の計算は困難な作業であり、研究チームが複雑な方程式を手作業で解くために数ヶ月あるいは数年を費やすことも珍しくありませんでした。困難が生じるのは、粒子が質量のない力媒介粒子を交換することによって相互作用する場合です。このプロセスは、熱い媒体の集団的挙動を考慮に入れない限り、数学的に無限大へと導いてしまいます。プラズマが個々の粒子の集合体としてではなく、単一の流体のような実体として振る舞うこの集団的挙動は、正しい答えを得るために不可欠です。これなしでは計算が破綻し、宇宙がいかに進化したかについての明確なイメージを宇宙論学者から奪ってしまうのです。

フランスのナントにあるSUBATECHの研究者らによって開発された「AutoTherm」と呼ばれる新しいソフトウェアツールは、これらの困難な計算を自動化することで、この状況を一変させました。このプログラムは、粒子物理学モデルの記述（本質的には、関与する粒子のリストとその相互作用の仕組み）を受け取り、熱的浴の中で新しい非平衡粒子が生成される速度を自動的に計算するように設計されています。研究者たちは、ダークマター、ニュートリノ、初期宇宙に関する理論において一般的なシナリオである、粒子が質量のないメッセンジャーを交換する際に生じる特定の数学的な頭痛の種に対処するために、このツールを構築しました。プロセスを自動化することで、AutoThermは科学者が多種多様な理論を迅速かつ確実にテストすることを可能にします。これは、以前は体系的に行うにはあまりにも時間がかかり、ヒューマンエラーも起こりやすい作業でした。

AutoThermの核心的な革新は、粒子が非常に小さな角度で相互作用する際に発生する、特定の種類の数学的な発散を処理できる能力にあります。熱いプラズマの中では、粒子が質量のない力媒介粒子を別の粒子と交換するとき、プラズマ自体がその力媒介粒子の性質を修飾しているという事実を無視すると、計算が無限大へと膨れ上がってしまいます。プラズマは質量のない粒子に「熱的質量」として知られる有効質量を与えることで、この無限大を抑え込み、計算を有限なものにします。物理学者は特定のケースについては手動での方法を知っていましたが、新しい複雑なモデルに対して行う場合は、通常、ゼロから出発して熱的質量と相互作用率を自力で導出しなければなりませんでした。AutoThermはこれを自動的に行います。プログラムはモデルファイルを読み込み、これらの熱的補正を必要とする粒子を特定し、熱い環境内での有効質量を計算した上で、必要な再総和（レサマクション）——方程式の高度な数学的再構成——を実行し、有限で物理的な結果を生み出します。

研究者たちは、右巻きニュートリノ、アクシオン、グラヴィトン、ダークフォトンのような粒子を網羅する、既存の文献における幅広い結果に対してこのツールをテストしました。あらゆるケースにおいて、ソフトウェアは既知の結果を正確に再現し、自動化が正しく機能していることを確認しました。さらに重要なことに、このツールは、特定の種類のダークマター候補の生成に関する以前の計算における、小さくも重大な符号の誤りを見つけ出し、修正しました。このような修正こそが、自動化が価値を持つ理由です。それは、長い手作業による導出過程に忍び寄る疲労や見落としを取り除いてくれるのです。また、このソフトウェアは計算の不確かさを推定する方法も提供しています。熱的補正を扱うための、数学的には等価ではあるがわずかに異なる3つの方法を提示することで、未知の高次効果によって最終的な答えがどの程度変動し得るかを研究者が把握できるようにしています。この広がりは、理論の不確かさに関する現実的な尺度を与えます。これは、初期宇宙に関する精密な予測を行う上で極めて重要です。

この研究のインパクトは、単に数字をより速く正しく出すことにとどまりません。このツールはモジュール構造で構築されており、計算の異なる部分を独立して使用できます。研究者は、特定のモデルにおける粒子の熱的質量だけを計算したり、あるいは全パイプラインを実行することなく最終的な数値積分だけを行ったりすることができます。この柔軟性により、本ツールはコミュニティにとって多目的な道具となります。開発者たちはすでに、すべての既知の粒子に対してパートナー粒子が存在すると提唱する理論的枠組みである「超対称性」を含む複雑なシナリオにこれを適用しています。これらの高エネルギー環境では相互作用の数が膨大であり、グラビトン（重力子）の超対称パートナーであるグラビティーノの生成率を手計算することは、極めて困難でエラーが発生しやすい作業でした。AutoThermはこの複雑さを容易に処理し、既知の結果を再現するとともに、一貫性のない数学的処理に起因する過去の研究の不一致を明らかにしました。

このソフトウェアは現在、例題やドキュメントと共に科学コミュニックティに公開されており、ユーザーは自身のモデルを投入して即座に結果を得ることができます。これは、粒子物理学者が理論を定義するために使用する標準的なファイル形式を取り込み、それをあらゆる可能な相互作用の詳細なマップへと変換することで機能します。その後、高度なアルゴリズムを用いてこれらの相互作用を精査し、どの相互作用がプラズマの集団的効果に敏感であるかを特定し、必要な補正を適用します。初めて、熱い初期宇宙において新しい粒子がいかにして生成されたかを決定するプロセスが、特注の個別的な技術から、合理化された自動化された手順へと変わりました。これにより、宇宙論学者は計算という退屈な代数学に時間を割くのではなく、これらの粒子が宇宙の起源について何を物語っているのかという物理学そのものに集中できるようになります。

AutoThermの成功は、熱的場理論の計算がますます自動化されていく未来を示唆しています。研究者たちは将来的に、粒子がペアで生成されるプロセスや、相互作用が単純なレベルにとどまらず高次の補正を含むプロセスなど、より複雑なシナリオを扱えるようツールを拡張する計画です。現時点でも、このツールは最も一般的かつ困難なケースに対する堅牢な解決策として機能しており、宇宙の熱的歴史を探求するための信頼できる手段を提供しています。数ヶ月に及ぶ手作業の苦闘をわずか数分間の作業に変えることで、ダークマターや初期宇宙に関するより幅広い理論をテストする道を開き、我々の宇宙理解が精密かつ再現可能な計算に基づいたものであることを保証しています。