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

本文通过证明所提出的反例违反了高温下夸克质量平方的量子色动力学（QCD）解析性基本假设，并指出其批判中的技术性错误，从而驳斥了马特奥·乔尔达诺（Matteo Giordano）的评论，进而维护了作者关于手征对称性恢复及轴向 $U(1)$ 反常原论点的有效性。

要点

想象一场高水平的辩论，两组物理学家正试图理解宇宙在变得极热时是如何运作的。其中一组（本文作者，由青木真也和福田秀典领导）提出了一个关于粒子在这些温度下如何相互作用的具体主张。另一组（由 Matteo Giordano 代表）写了一篇“评论”，试图通过提供一些反例来证明他们是错误的。

这篇论文是作者的回应。他们的核心信息非常简单：“你用来试图反驳我们的那些例子其实并不成立，因为它们违反了游戏的基本规则。”

以下是他们使用日常类比进行的论证分解：

1. “平滑性”规则（核心分歧）

作者的原理论依赖于一个被称为 $m^2$-解析性 的规则。

• 类比： 想象你正在烤蛋糕。“夸克质量” ($m$) 就像是你加入的糖量。作者声称，如果你处于“热相”（就像一个烤好的蛋糕），那么随着你微调糖量，蛋糕的味道会平滑地发生变化。如果你将味道对糖量进行作图，你会得到一条漂亮的、连续的曲线，没有突然的跳跃或尖锐的转折。
• 批评者的手段： Giordano 试图证明这个规则是不成立的，他发明了一些奇怪的数学“蛋糕”，在改变糖量时，蛋糕的味道会突然跳跃或表现得异常。
• 反驳： 作者指出，Giordano 的那些奇怪蛋糕是违法的。在高温物理学（QCD）的真实世界中，自然界不允许出现那些突然的跳跃。Giordano 的例子只有在破坏宇宙基本定律的情况下才成立。由于他的例子是“不真实的”，因此不能被用来反驳一个关于真实宇宙的理论。

2. “定义良好”的概率

作者还讨论了一个他们使用的数学工具，称为 $P(m, A)$，它充当了粒子行为的概率图谱。

• 批评者的手段： Giordano 认为这个图谱在某些场景下可能是“定义不良”或破碎的，并提出了一个看起来很混乱的特定公式。
• 反驳： 作者解释说，如果你使用一种标准的、循序渐进的方法（比如在网格上的计算机模拟）来构建这个图谱，它是完全可以正常运作的。他们认为，Giordano 那混乱的公式只是上述提到的另一种“非法”例子，即破坏了平滑性规则。这就像是试图用一张不存在的城市地图来证明你的导航技巧很差。

3. “平均值”错误

最后，作者发现了 Giordano 逻辑中的一个特定的数学错误。

• 类比： 想象你有一个装满弹珠的袋子。
  • 错误之处： Giordano 表现得好像袋子里的“平均弹珠”是唯一存在的弹珠。他假设如果平均重量是 5 克，那么每一颗弹珠都恰好重 5 克。
  • 现实情况： 在现实世界中，你会有 4 克、6 克、3 克等的弹珠。平均值是 5 克，但方差（分布的离散程度）是真实存在的且非常重要。
• 反驳： Giordano 混淆了“平均值”与“数值分布”。他使用了一个假设不存在任何变化的公式（狄拉克 $\delta$ 函数），这在处理此类问题时从数学上讲是不正确的。由于这个基础性的错误，他得出的结论是无效的。

结论

作者总结道：

1. Giordano 使用的反例是“非物理的”（它们破坏了宇宙的规则）。
2. Giordano 犯了一个混淆平均值与特定值的技术错误。
3. 因此，Giordano 试图反驳原理论的尝试失败了。原理论依然成立。

简而言之，作者是在说：“你试图通过向我们的房子投掷石块来推倒它，但你扔出的石块是玻璃做的，在撞到墙之前就碎了。而且，你还算错了投掷的轨迹。我们的房子依然屹立不倒。”

技术摘要

技术摘要：回复“关于有限温度下手征对称性恢复、狄拉克算符特征值密度以及轴向 U(1) 反常的评论”

问题陈述
本文是对 Matteo Giordano [1] 就作者此前关于有限温度下手征对称性恢复、狄拉克算符特征值密度以及轴向 U(1) 反常的研究 [2] 所提评论的正文回复。Giordano 的评论提出了旨在反驳 [2] 中论点的反例。此处解决的核心问题是：在量子色动力学（QCD）高温度框架下，特别是关于胶子可观测量对夸克质量平方（$m^2$）的解析性方面，Giordano 提供的反例是否有效。

方法论与论证
作者基于 QCD 分配函数及手征对称相中胶子可观测量的性质进行了理论分析。其方法论包括：

1. 重新评估反例： 作者审查了 Giordano 在评论中提出的特定模型（如高斯模型）和态密度函数 $\rho_O(x, m)$，以确定它们是否满足高温度 QCD 的基本假设。
2. 分析 $m^2$-解析性： 作者依赖于这样一个假设，即在手征对称相中，每一个胶子可观测量都是 $m^2$ 的解析函数。他们测试了所提的反例是否保持了这种解析性，或者是否引入了会导致红外发散或临界行为的非解析行为，而这与对称相是不一致的。
3. 考察良定性： 作者回应了 Giordano 关于其推导中所使用的函数 $P(m, A)$ 良定性的疑虑。他们利用格点正则化（具体为有限格点上的重叠狄拉克算符）来证明 $P(m, A)$ 是良定的，并且可以在保持 $m > 1/L$ 的条件下取无限体积极限（$L \to \infty$）。
4. 识别数学错误： 作者对 Giordano 评论中提出的态密度等式进行了直接的数学检查，特别是测试了狄拉克 $\delta$ 函数的期望值与期望值的 $\delta$ 函数之间的关系。

主要贡献与结果
本文提出了三个主要的数学发现：

• 反例违反了 $m^2$-解析性： 作者证明了 Giordano [1] 提出的反例本质上违反了“胶子可观测量是 $m^2$ 的解析函数”这一关键假设。具体而言，在 Giordano 提供的高斯模型示例中，对于非整数 $\alpha$，期望值 $\langle O(A)^\alpha \rangle$ 在 $m \to 0$ 极限下会产生 $m^2$ 的非解析幂次。作者认为，这种非解析性意味着红外发散或临界行为，而这在 QCD 的对称相中并未观察到。作者指出，Giordano 本人也承认这些示例破坏了 $m^2$-解析性。
• 验证了 $P(m, A)$： 作者反驳了 $P(m, A)$ 是病态（ill-defined）的说法。通过定义由用于算符支撑集的特征函数的路径积分期望值，他们证明了 $P(m, A)$ 在有限格点上是一个良定的泛函。他们认为，Giordano 建议的特定“病态”示例（涉及阶跃函数 $\Theta(m^2 - |A|)$）同样失效，因为它会导致对 $m^2$ 导数中的非解析项，从而与 QCD 在对称相中的 $m^2$-解析性假设相矛盾。
• 纠正数学错误： 作者识别了 Giordano 在讨论非局部量时的一个根本性错误。Giordano 假设了等式 $\langle \delta(x - O(A)) \rangle = \delta(x - \langle O(A) \rangle)$。作者证明这是错误的，因为 $\delta$ 函数的期望值并不等于期望值的 $\delta$ 函数。通过使用一个简单的拓扑电荷密度高斯模型，他们展示了假设该等式会导致错误的结论 $\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] 中的论点是不成立的。本回复的意义在于捍卫了 [2] 中关于手征对称性恢复和轴向 U(1) 反常的原有论点。作者断言，旨在反驳其工作的反例之所以失败，是因为它们没有遵循高温下 QCD 的基本解析性质。此外，针对 $P(m, A)$ 定义以及态密度性质所识别的技术性错误，削弱了该评论的论据基础。因此，作者坚持认为其关于狄拉克算符特征值密度和 U(1) 反常的原有结论依然稳固。