Schwinger-Keldysh Path Integral for Gauge theories

本論文は、一般的な初期状態を持つ開いた非可換ゲージ理論のための明示的に BRST 不変なシュウィンガー・キルディシュ経路積分形式を構築し、対応するワード恒等式を導出するとともに、縮約されたキルディシュ BRST 対称性を通じて得られる開いた有効場理論の構造を特徴づける。

要約

天気予報をしようとしていると想像してください。完璧で閉じた世界であれば、ある方程式のセットを一つ書き出し、現在の条件を入力すれば、明日のことが正確にわかるはずです。しかし、現実の世界は厄介です。大気は「開放系」であり、宇宙空間、地面、そして海洋とエネルギーや物質を交換しています。天気を正確に予測するためには、空気だけを見るのではなく、空気が触れる他のすべてのものとの相互作用を考慮しなければなりません。

この論文は、特にゲージ理論を含む、このような厄介で開放的な系を記述するための、より優れた数学的道具立てを構築することについて述べています。物理学において、ゲージ理論とは、電磁気力や原子を結びつける強い核力といった力を支配する規則のことです。著者たちは、非常に具体的かつ困難な問題に取り組んでいます。それは、系が（熱いプラズマや混沌とした衝突のような）穏やかで安定した状態にあるのではなく、特定の開始点から動的に進化する際に、これらの力をどのように記述するかという問題です。

以下に、彼らの研究を簡単なアナロジーを用いて解説します。

1. 「二重の帳簿」の問題（シュウィンガー・キェルディッシュ）

開放系を追跡するために、物理学者はシュウィンガー・キェルディッシュ形式と呼ばれる手法を使用します。

• アナロジー: 一日の日記をつけると想像してください。何が起きたかを理解するために、単に出来事を起きた順（未来へ向かって）に書き留めるだけでは不十分です。その代わりに、一日が逆順に起こると仮定した二つ目の日記も書きます。そして、その二つの日記を比較します。
• 理由: この「二重の日記」により、孤立した系だけでなく、環境と相互作用している系の確率や平均値を計算できるようになります。
• 課題: この手法を強い核力のような力に適用すると、「ゲージ対称性」のために数学が極めて複雑になります。ゲージ対称性を言語の冗長性だと考えてみてください。同じ物理的現実を、多くの異なる言葉（ゲージ）で記述できるのです。閉じた系では、これを扱うのは容易です。しかし、この「二重の日記」のセットアップでは、冗長性が倍増し、著者たちは数学が崩壊することなく整合性を保つ方法を突き止めなければなりませんでした。

2. 「ゴースト」と「負の数」（BRST と不定ヒルベルト空間）

この冗長性の問題を修正するために、物理学者は「ゴースト」を導入します。

• アナロジー: これらは幽霊のようなものではなく、会計上のゴーストと考えてください。変数が多すぎる（冗長性がある）システムでは、誤りを相殺するために架空の変数を追加します。
• 問題: 標準的な物理学では、確率は常に正でなければなりません（雨が降る確率がマイナス 50% ということはありません）。しかし、これらの「ゴースト」変数と力場の時間成分は、数学的に自然に「負の確率」を生み出します。
• 解決策: 著者たちは、これらの負の数を正しく扱う方法を示しています。彼らはナカニシ・ラウトルップ表現と呼ばれる特別な数学的トリックを使用します。これは、会計の通貨を変更するようなものです。数を強制的に正にしようとするのではなく、帳簿の規則を再定義して、負の数が誤りを完全に相殺し、実際の物理的なものに対して有効な正の確率が残るようにします。

3. 「対角線」の規則（対称性の破れ）

二つの日記（未来へ向かう枝と過去へ向かう枝）がある場合、二組の規則（対称性）があるように思えるかもしれません。

• アナロジー: 二人のダンサーを想像してください。もし彼らが真空の中で踊っているなら、それぞれが独自の動きをすることができます。しかし、この「開放系」では、彼らは踊りの終わりに手を取り合っています。このつながりが、彼らを同期して動かすことを強制します。
• 発見: 著者たちは、「後方」のダンサー（先進対称性）は自由に動けないことを証明しました。彼らの動きは、終わりのつながりによって破られます。残って有効なのは「前方」のダンサー（対角線または遅延対称性）だけです。これは極めて重要です。なぜなら、これが予測を意味のあるものにするために従わなければならない規則を正確に教えてくれるからです。もし壊れた規則を使おうとすれば、数学は nonsens な結果をもたらします。

4. 環境の「影響」（開放有効場理論）

多くの場合、私たちは系内のすべての粒子（空気分子一つ一つなど）に関心があるわけではありません。特定の物体（例えば車）が空気中をどのように動くかを知りたいだけです。

• アナロジー: これは、すべての空気分子をシミュレーションすることなく、車にかかる抵抗を計算するようなものです。空気分子を「積分して除外」し、単一の「摩擦」力に置き換えます。
• 革新: 著者たちは、これらの複雑なゲージ力に対してこれをどのように行うかを示しました。彼らは「フェインマン・ヴェノン影響汎関数」を作成します。これは魔法のフィルターのようなものです。厄介で完全な系をこのフィルターに通すと、関心のある部分だけの単純化された「有効理論」が出力されます。
• 保証: 彼らの仕事の最も重要な部分は、この単純化された理論が、元の複雑な系の基本的な規則（BRST 対称性）を依然として尊重していることを証明した点です。彼らは、単純化した後でも、「ゴースト」と「負の数」が正しく相殺されることを示しました。

5. 現実世界の例

この論文は理論にとどまらず、二つの具体的なシナリオで数学を検証しています。

• ハード・サーマルループ（HTL）: これは、初期宇宙や粒子衝突器のような、粒子の熱いスープを記述するものです。彼らは、規則を維持しつつ「速い」粒子を平均化して「遅い」粒子の数学を単純化する方法を示しました。
• 対称性の破れ（ヒッグス相）: これは、ヒッグス場のような場が対称性を「破る」ことで力が異なる振る舞いを示す状況を記述するものです。彼らは、開放非平衡系でも機能するように、この破れた状態の規則を記述する方法を示しました。

まとめ

要約すると、この論文は、複雑な力場が厄介で、高温で、環境と相互作用しているときにどのように振る舞うかを記述するための堅牢で規則を遵守する枠組みを構築しています。彼らは、通常これらの状況で数学を破綻させる「負の数」と「ゴースト」をどのように扱うかという問題を解決しました。特定の「対角線」対称性だけが生き残ることを証明することで、彼らは、根本的な法則を失うことなく複雑な物理の問題を単純化する安全な方法を提供しました。

技術概要

以下は、Kaplanek、Mylova、Tolley による論文「Schwinger-Keldysh Path Integral for Gauge theories」の詳細な技術的概要です。

1. 問題提起

Schwinger-Keldysh (SK) または閉じた時間経路 (CTP) 形式は、非平衡量子系および開放量子系を記述するための標準的な道具です。しかし、有限時刻で定義された任意の初期状態（純粋状態または混合状態）を伴う非アーベルゲージ理論への適用は、技術的に未発達なままでした。

この研究で扱われる主な課題は以下の通りです：

• 不定ヒルベルト空間: ゲージ理論は、明らかなローレンツ不変性を維持するために共変ゲージ（例えばローレンツゲージ）を必要とし、これにより負ノルム状態（時間的光子）と非物理的な自由度（ゴースト）が導入されます。標準的な SK 形式は、特に真空以外の状態に対して、これらの不定空間に対する一貫した内積とトレース演算を定義することに困難をきたすことが多いです。
• 開放系における BRST 対称性: BRST 対称性は閉じた系におけるユニタリ性を保証しますが、SK 経路に固有な場の「二重化」（遅延/進行分枝）および環境の自由度のトレースアウトによって、それがどのように存続するかは不明確です。
• 境界条件: 標準的な取り扱いでは、しばしば無限の時間極限（$t_i \to -\infty, t_f \to +\infty$）と $i\epsilon$ prescriptions が仮定されます。本論文は、境界項を無視できない一般的な有限時刻の初期状態に焦点を当てています。
• 開放 EFT の構築: 開放ゲージ系（例えば、ハード・サーマル・ループ）に対する有効場理論 (EFT) を構築するには、高エネルギーモードや物質場を積分消去した際に、どの対称性が有効作用を制約するかを厳密に理解する必要があります。

2. 手法

著者らは、Becchi-Rouet-Stora-Tyutin (BRST) 形式、特にNakanishi-Lautrup (NL) 表現に基づいた厳密な経路積分枠組みを開発しました。

A. 不定ヒルベルト空間の量子化（シュレーディンガー描像）

• パウリの表現: 時間的光子成分 ($A_0$) の非正規化可能な波動汎関数を扱うため、著者らはエルミート演算子 $\hat{A}_0$ の固有値が純虚数 ($A_0 \to iA_4$) となるパウリの表現を採用しました。これにより、不定計量のヒルベルト空間と整合する、奇数個の時間的光子を持つ状態が負ノルムとなる正規化可能な内積が可能になります。
• ゴーストのシュレーディンガー表現: フェルミオンがコヒーレント状態を必要とするのとは異なり、著者らは Faddeev-Popov ゴーストの運動方程式が 2 階であるため、ゴーストに対するシュレーディンガー表現を構築しました。ゴースト ($c$) と反ゴースト ($\bar{c}$) 場の同時固有状態を定義し、一貫した内積とトレース式を確立しました。
• Nakanishi-Lautrup 表現: 補助場 $B$ を積分消去する（これにより BRST 代数はオンシェルでのみ閉じる）のではなく、著者らは $B$（または $B_4$）を $A_0$ に共役な基本的な構成変数として扱います。この表現において：
  • BRST 代数はオフシェルで閉じます（$\hat{s}^2 = 0$）。
  • BRST 変換は作用の境界項を生成することなく、等時間場の直接変数に対して作用します。
  • 物理的波動汎関数は $\psi_{phys} = e^{\hat{s}G} \Psi_{gauge-inv}$ の形を取り、ここで $G$ はゲージ固定フェルミオン、$\Psi$ はゲージ不変です。

B. トレースのための Hata-Kugo prescriptions

不定ヒルベルト空間における物理的期待値を計算するために、著者らはHata-Kugo トレースを実装します：
$$\text{Tr}_{phys}[\hat{O}] = \text{Tr}[e^{\pi \hat{Q}_G} \hat{\rho} \hat{O}]$$
ここで $\hat{Q}_G$ はゴースト電荷です。ゴースト場符号を反転させる $e^{\pi \hat{Q}_G}$ の挿入は、ゴーストトレースから生じるフェルミオンのマイナス符号を相殺し、密度行列を実質的に物理的ヒルベルト空間へ射影します。この prescriptions は、正しい境界条件（例えば、熱状態におけるゴーストの周期的 KMS 条件）を導出する上で決定的に重要です。

C. Schwinger-Keldysh 経路積分の構築

• 場の二重化: 経路積分は、すべての場 ($A_\mu, B, c, \bar{c}$) に対して 2 つの分枝（$+$ と $-$）を含みます。
• 対角 BRST 対称性: 著者らは、SK 経路が直感的には BRST 対称性の 2 つのコピーを示唆するものの、最終時刻の境界条件 ($f_+(t_f) = f_-(t_f)$) が「進行」型（非対角）BRST 対称性を破ることを示しました。存続するのは対角（遅延）BRST 対称性のみです。
• Zinn-Justin 方程式: 生成汎関数に対する in-in Zinn-Justin（マスター）方程式を導出し、これは Ward-Takahashi-Slavnov-Taylor 恒等式を符号化します。この方程式は任意の初期状態に対して成立し、BRST 変換を追跡するための複合演算子（反場）の源項を含みます。

3. 主要な貢献と結果

1. 不定計量問題の解決

本論文は、有限時刻におけるシュレーディンガー描像のゲージ理論に対する内積とトレースを定義するための完全なレシピを提供します。$A_0$ に対する虚数固有値表現と Hata-Kugo トレースを組み合わせることで、物理的状態が正ノルムを持ち、経路積分が物理的部分空間へ正しく射影されることを保証しています。

2. 進行 BRST 対称性の破れ

中心的な結果の一つは、in-in 境界条件によって進行 BRST 対称性が破れるという明示的な証明であり、これは真空状態であっても同様です。

• 対角（遅延）BRST 対称性は、演算子形式における保存 BRST 電荷 $\hat{Q}$ と両立する唯一の対称性です。
• これは、SK 形式における対称性の「単純な」二重化が幻想であることを意味します。開放系は対角対称性のみを保持します。

3. 開放 EFT における Keldysh BRST 対称性

遅延 ($r$) と進行 ($a$) 場（Keldysh 回転）の観点から開放 EFT の作用を展開する際、著者らは縮約された Keldysh BRST 対称性を特定しました：

• 遅延セクター: 遅延ゲージ場の標準的な非アーベル BRST 対称性に従って変換します。
• 進行セクター: 遅延場を含む共変変換の下で線形的（アーベル的）に変換します。
• 重要性: この対称性は、進行場に関する 2 次までで切断された作用に対して厳密に成立します。これは、開放 EFT で許容される演算子に厳格な制約を課し、遅延変換の下でのみゲージ不変であるが、完全な対角 BRST 構造を破る項の構築を防ぎます。

4. ハード・サーマル・ループ (HTL) EFT への応用

著者らは、この形式をハード・サーマル・ループ有効理論に適用しました。硬い熱的モードを積分消去して導出された SK-HTL 作用が、Keldysh BRST 対称性のもとで明らかな不変性を示すことを示しました。これにより、HTL 作用における散逸項と確率的（ノイズ）項が、ユニタリ性とゲージ不変性と整合していることが確認されました。

5. 自発的対称性の破れ (SSB) を伴う開放 EFT

本論文は、ヒッグス相（すべてのゲージ対称性が破れている）におけるゲージ理論の開放 EFT の一般形を構築しました。ユニタリゲージにおけるゲージ冗長性を回復させるために Stueckelberg 機構を利用することで、進行場に関する 2 次までの最も一般的な BRST 不変作用を導出し、因果性と正の条件を満たすノイズ核および運動方程式を含めています。

4. 意義

• 非平衡ゲージ理論の厳密な基礎: この研究は、一般的な初期状態を伴う非平衡状態における非アーベルゲージ理論のための数学的に整合した経路積分定式化を提供することで、文献における重要なギャップを埋めています。
• 開放 EFT への制約: Keldysh BRST 対称性の特定は、開放 EFT を構築するための強力な新たな道具を提供します。単に遅延ゲージ不変性を課すだけでは不十分であり、進行場は基礎となる BRST 構造を保存するために特定の方法で変換しなければならないことを明確にしています。これにより、プラズマ、宇宙論、重イオン衝突の物理的有効作用における非物理的演算子の混入を防ぎます。
• ゴーストと境界の扱い: Hata-Kugo prescriptions と Nakanishi-Lautrup 表現によるゴーストセクターと境界項の詳細な扱いは、現象論的取り扱いでしばしば軽視される熱的ゴーストや有限時刻進化に関する曖昧さを解消します。
• Gribov 曖昧性: 著者らは非摂動的な Gribov 曖昧性を認識しつつも、閉じた系と開放系の関係については、標準的な BRST 枠組み（ゲージ固定項を修正する可能性を含む）が適切な編成原理であり、対角 BRST 対称性が頑健な特徴であると論じています。

要約すると、本論文は、対角 BRST 対称性が、対称性の二重化という単純な期待に代わる開放ゲージ系の基本的な編成原理であることを確立し、幅広い物理シナリオに対して一貫性がありユニタリな開放 EFT を構築するための技術的機構を提供しています。