Reply to "Comment on "Chiral symmetry restoration, the eigenvalue density of the Dirac operator, and the axial U(1) anomaly at finite temperature""

本論文は、提示された反例が、高温におけるクォーク質量の二乗に関するQCDの基本的な仮定である解析性を逸脱していることを示し、かつ批判における技術的な誤りを特定することにより、マッテオ・ジョルダーノのコメントを論破し、それによって、カイラル対称性の回復および軸性U(1)アノマリーに関する著者らの本来の議論の妥当性を支持するものである。

要約

宇宙が極限まで高温になったとき、宇宙がどのように振る舞うのかを理解しようとする、2つの物理学者グループによるハイステークスな論争を想像してみてください。一方のグループ（青木慎也氏と深谷秀典氏率いる著者たち）は、そのような温度における粒子の相互作用について特定の主張を行いました。もう一方のグループ（マッテオ・ジョルダーノ氏に代表される）は、いくつかの反例を提示することで彼らを論破しようとする「コメント」を書きました。

この論文は、著者たちによる返答です。彼らの主なメッセージはシンプルです。**「あなたが我々を否定するために用いた例は、根本的なルールを破っているため、実際には成立しない」**ということです。

以下に、日常的な比喩を用いた彼らの議論の構成を示します。

1. 「滑らかさ」のルール（核心となる相違点）

著者たちの元の理論は、$m^2$-解析性と呼ばれるルールに基づいています。

• 比喩： あなたがケーキを焼いていると想像してください。「クォーク質量」（$m$）は、加える砂糖の量のようなものです。著者たちは、もし「高温相」（焼き上がったケーキの状態）にいるならば、砂糖の量を微調整したときのケーキの味は滑らかに変化すると主張しています。味を砂糖の量に対してプロットすると、突然の跳躍や鋭い角のない、連続した美しい曲線になります。
• 批判者の動き： ジョルダーノ氏は、砂糖を変えたときに味が突然跳ね上がったり、奇妙な挙動を示したりするような、奇妙な数学的「ケーキ」を捏造することで、このルールが真実ではないことを示そうとしました。
• 反論： 著者たちは、ジョルダーナー氏の奇妙なケーキは**「違法」**であると指摘しています。現実世界の高温物理学（QCD）において、自然界はそのような突然の跳躍を許しません。ジョルダーノ氏の例は、宇宙の根本的な法則を破った場合にのみ成立するものです。彼の例は「非現実的」であるため、現実の宇宙に関する理論を覆すために用いることはできません。

2. 「定義された」確率

著者たちはまた、$P(m, A)$ と呼ばれる、粒子の振る舞いの確率マップとして機能する数学的ツールについても議論しています。

• 批判者の動き： ジョルダーノ氏は、このマップがあるシナリオにおいて「定義されていない」、あるいは壊れている可能性があると主張し、一見複雑に見える特定の公式を提示しました。
• 反論： 著者たちは、標準的なステップ・バイ・ステップの手順（格子上のコンピュータ・シミュレーションのようなもの）を用いてこのマップを構築すれば、それは完璧に機能すると説明しています。彼らは、ジョルダーノ氏の複雑な公式は、上述の「滑らかさ」のルールを破る、いわゆる「違法な」例の一つに過ぎないと主張しています。それは、ナビゲーション技術が下手であることを証明するために、存在しない都市の地図を使おうとしているようなものです。

3. 「平均」の誤り

最後に、著者たちはジョルダーノ氏の論理における具体的な数学的誤りを発見しました。

• 比喩： あなたがビー玉の袋を持っていると想像してください。
  • 間違い： ジョルダーノ氏は、袋の中にある「平均的なビー玉」が、唯一存在するビー玉であるかのように振る舞いました。彼は、平均の重さが5グラムであれば、すべてのビー玉が正確に5グラムであると仮定したのです。
  • 現実： 現実の世界では、4g、6g、3gなどのビー玉が存在します。平均は5gですが、「分散（ばらつき）」は実在し、重要です。
• 反論： ジョルダーノ氏は、「平均値」と「値の分布」を混同しました。彼は、バリエーションが全く存在しないことを前提とした（デルタ関数を用いた）公式を使用しました。これはこの種の数学的問題においては根本的に誤っています。この基本的な誤りのために、彼が導き出した結論は無効なのです。

結論

著者たちは次のように締めくくっています。

1. ジョルダーノ氏が用いた反例は「非物理的（unphysical）」である（それらは宇宙のルールを破っている）。
2. ジョルダーノ氏は、平均と特定の値を混同するという技術的なミスを犯した。
3. したがって、元の理論を覆そうとするジョルダーノ氏の試みは失敗している。元の理論は揺るぎない。

要するに、著者たちはこう言っているのです。「あなたはガラス製の石を投げつけることで、私たちの家を壊そうとしましたが、その石は壁に当たる前に砕け散ってしまいました。さらに、あなたは投球の軌道さえ計算ミスしていました。私たちの家は、今も毅然と建っています。」

技術概要

技術的要約： 「高温におけるカイラル対称性の回復、ディラック演算子の固有値密度、および軸性U(1)アノマリーに関するコメント」への返答

問題提起
本論文は、著者らの先行研究 [2]（高温におけるカイラル対称性の回復、ディラック演算子の固有値密度、および軸性U(1)アノマリーに関する研究）に対する、Matteo Giordano [1] によるコメントに対する正式な回答である。Giordanoのコメントは、[2] で提示された議論を論破することを目的とした反例を提案している。ここでの中心的な問題は、Giordanoが提示した反例が、高温における量子色力学（QCD）の枠組み、特に、クォーク質量 $m^2$ に関するグルーオン観測量の解析性（analyticity）に関して、果たして有効であるかどうかである。

手法および論証
著者らは、QCDの分配関数およびカイラル対称相におけるグルーオン観測量の性質に基づいた理論的分析を用いている。その手法は以下の通りである：

1. 反例の再評価： 著者らは、Giordanoのコメントで提案された特定のモデル（ガウスモデルなど）および状態密度関数 $\rho_O(x, m)$ を精査し、それらが高温QCDの基本的仮定を満たしているかどうかを判定する。
2. $m^2$-解析性の分析： 著者らは、カイラル対称相におけるあらゆるグルーオン観測量は $m^2$ の解析関数であるという仮定に基づいている。彼らは、提案された反例がこの解析性を保持しているか、あるいは、対称相とは矛盾する赤外発散や臨界性を意味する非解析的な挙動を導入しているかを検証する。
3. 定義可能性の検討： 著者らは、彼らの導出で使用される関数 $P(m, A)$ の定義可能性に関するGiordanoの懸念に対処する。彼らは、格子正則化（具体的には有限格子上のオーバーラップ・ディラック演算子）を用いて、$P(m, A)$ が定義可能であり、かつ $m > 1/L$ を維持したまま無限体積極限（$L \to \infty$）を取ることができることを示す。
4. 数学的誤りの特定： 著者らは、Giordanoのコメントで提案された状態密度の等式、特にデルタ関数の期待値と期待値のデルタ関数の間の関係について、直接的な数学的検証を行う。

主な貢献および結果
本論文は、主に3つの技術的な知見を提示している：

• 反例における $m^2$-解析性の破れ： 著者らは、Giordano [1] が提案した反例が、グルーオン観測量が $m^2$ の解析関数であるという極めて重要な仮定を本質的に破っていることを示している。具体的には、Giordanoが提供したガウスモデルの例では、非整数 $\alpha$ に対する期待値 $\langle O(A)^\alpha \rangle$ は、$m \to 0$ の極限において $m^2$ の非解析的な冪（power）を生じさせる。著者らは、このような非解析性は赤外発散または臨界性を意味しており、これはQCDの対称相では観察されない現象であると主張している。著者らは、Giordano自身もこれらの例が $m^2$-解析性を破っていることを認めていると指摘している。
• $P(m, A)$ の妥当性： 著者らは、$P(m, A)$ が未定義であるという主張を退ける。演算子の支持集合に対する特性関数を用いた経路積分によって期待値を定義することにより、著者らは $P(m, A)$ が有限格子上で定義可能な汎関数であることを示す。また、Giordanoが示唆した特定の「未定義な」$P(m, A)$ の例（ステップ関数 $\Theta(m^2 - |A|)$ を含むもの）についても、それが $m^2$ に関する微分における非解析的な寄与をもたらすため、QCDの対称相における $m^2$-解析性の仮定に矛盾すると論じている。
• 数学的誤りの修正： 著者らは、非局所的な量に関するGiordanoの議論における根本的な誤りを特定した。Giordanoは $\langle \delta(x - O(A)) \rangle = \delta(x - \langle O(A) \rangle)$ という等式を仮定していた。著者らは、デルタ関数の期待値は期待値のデルタ関数とは一致しないことを示し、これが誤りであることを証明した。トポロジカル電荷密度の単純なガウスモデルを用いることで、この等式を仮定すると $\langle O_L(A)^2 \rangle = \langle O_L(A) \rangle^2$ という誤った結論が導かれる一方で、正しい関係には独立な累積量（例：$\langle O_L(A)^2 \rangle = 3\langle O_L(A) \rangle^2$）が含まれることを示している。

意義および結論
著者らは、Giordanoによるコメント [1] の議論は妥当ではないと結論付けている。本回答の意義は、カイラル対称性の回復と軸性U(1)アノマリーに関する[2]の元の議論を擁護することにある。著者らは、彼らの研究を論破するために提示された反例は、高温におけるQCDの基本的な解析的性質を尊重していないために失敗していると断言している。さらに、定義 $P(m, A)$ や状態密度の性質に関するコメントの中で特定された技術的な誤りは、その批判の根拠を揺るがすものである。したがって、著者らは、ディラック演算子の固有値密度およびU(1)アノマリーに関する彼らの元の結論は依然として強固であると主張している。