eokahya/claude-audits-quantum-gravity Source: https://github.com/eokahya/claude-audits-quantum-gravity # Claude 审计量子引力 一个 AI 逐步重新推导了一篇已发表的单圈量子引力计算。它发现了一个符号错误和一项缺失的项，并确认了物理结论。 License: MIT Python 3.10+ checks: SymPy + mpmath paper: PDF > 论文： E. O. Kahya, 用 AI 模型审计一次量子引力计算：修正后的标量自质量与暴胀期间晚期模函数不变（已投稿 arXiv, 2026）。 PDF · > LaTeX 源码 本仓库逐步重新推导了一篇已发表的、关于暴胀期间的单圈量子引力计算：引力子对 de Sitter 空间上无质量、最小耦合标量场的修正（论文 I，Phys. Rev. D 76, 124005 (2007)），以及该结果在标量场晚期场方程中的应用（论文 II，arXiv:0710.5282）。重新推导以 Claude（Anthropic 的 AI 模型，Claude Opus 5.5）作为检查工具进行。该工作由两篇论文的作者之一 E. O. Kahya 发表。从费曼规则 (I.6)–(I.8) 到重整化自质量 (I.167)、再到论文 II 的晚期分析，每一步都从论文中给出的输入重新推导，在论文保留一般维度 `D` 的地方也保留一般 `D`，并与独立的 SymPy/mpmath 代码交叉验证。（论文 I 附录中的记账表格是审核而非重做；见局限性。）与已发表论文的每一处差异都被分类：4 项实质性发现（S1–S4）、6 项被吸收到抵消项中的有限误差（B1–B6）以及 23 处排版错误（C1–C23）。完整的发现列表给出了每一项及其证据。 结论要点： 论文 II 的主要物理结论成立。标量场的模函数在晚期没有受到显著的单圈修正。然而，已发表的自质量平方比论文 II 自身 (I.168) 所定义的多了 `-1` 倍（4 点项和 3 点项两部分符号都反了，因此它们的相对符号是一致的），并且其最终表格 Table X 中的两个条目需要修正。 目录： 问题 · 做了什么 · 主要结果 · 按顺序阅读 · 论文 · 完整发现列表 · 完整推导 · 复现检查 · Claude 的使用方式 · 论文列表 · 引用 — ## 一图看懂问题 mermaid %%{init: {"flowchart": {"htmlLabels": false, "padding": 18, "nodeSpacing": 35, "rankSpacing": 45}}}%% flowchart LR A["暴胀（de Sitter，a = −1/Hη）"] --> B["不断增长的长波长引力子海洋"] B --> C["它们只通过导数与标量耦合（κ h ∂φ ∂φ）"] C --> D["单圈自质量平方 M2(x;x′)"] D --> E["量子修正的场方程"] E --> F["模函数 Φ(η,k)：晚期会改变吗？"] 暴胀会将非共形不变的无质量场的长波长量子从真空中“拉“出来。引力子正是这样的场，因此随着暴胀进行，宇宙中充满了一片不断增长的红外引力子海洋。问题在于：这片海洋是否改变了无质量、最小耦合标量场（一个非常平坦的暴胀子的替身）的传播方式。单圈下的所有量子修正都包含在标量自质量平方 `M^2(x;x')` 中，它进入线性化的有效场方程（论文 I，式 (I.168)）： math \partial_\mu\Big(\sqrt{-g}\,g^{\mu\nu}\,\partial_\nu\Phi\Big)(x)\;-\;\int d^4x'\;M^2(x;x')\,\Phi(x')\;=\;0 . 在树图层面，一旦模式离开视界，平面波模函数就会冻结为常数： math u(\eta,k)=\frac{H}{\sqrt{2k^3}}\Big(1-\frac{ik}{aH}\Big)\exp\Big(\frac{ik}{aH}\Big)\;\underset{a\to\infty}{\longrightarrow}\;u(0,k)=\frac{H}{\sqrt{2k^3}} . 写成 `M^2=\kappa^2M^2_1+O(\kappa^4)` 和 `\Phi=u+\kappa^2\Phi_1`，其中 `\kappa^2=16\pi G`；`\Phi_1` 由 `M^2_1` 驱动，因此 `\kappa^2` 只计一次。论文 II 问的是：`\Phi_1/u` 是否在晚期增长，比如像 `\ln a` 那样增长。引力子海洋确实存在，但在这个阶次上它只能通过导数与标量耦合，而冻结模函数的导数为零。要把这一直觉变成结果，需要完整的自质量：两个单圈图（一个 4 点“海鸥“图和一个 3 点图）、维度正规化、一个破坏部分 de Sitter 对称性的规范所要求的抵消项，以及最后场方程的 Schwinger–Keldysh（in-in）形式。 ## 做了什么 两篇论文被拆分为 18 项任务，按论文方程的顺序排列。它们分为九个阶段，每个阶段有一页摘要、一章推导笔记和一个代码检查文件夹。 论文 I：顶点与 4 点图 mermaid %%{init: {"flowchart": {"htmlLabels": false, "padding": 18, "nodeSpacing": 35, "rankSpacing": 45}}}%% flowchart LR S1["1 · 费曼规则 (I.6)–(I.8) 表 I–II"] --> S2["2 · 4 点贡献 (I.31)–(I.44)"] 论文 I：3 点图 mermaid %%{init: {"flowchart": {"htmlLabels": false, "padding": 18, "nodeSpacing": 35, "rankSpacing": 45}}}%% flowchart LR S3["3 · 3 点设置 (I.45)–(I.53)"] --> S4["4 · 局域项与对数项 (I.54)–(I.67)"] --> S5["5 · 正常项 表 III (I.68)–(I.93)"] --> S6["6 · 表 IV–V (I.94)–(I.125)"] 重整化（论文 I）与晚期（论文 II） mermaid %%{init: {"flowchart": {"htmlLabels": false, "padding": 18, "nodeSpacing": 35, "rankSpacing": 45}}}%% flowchart LR S7["7 · de Sitter 对称性与抵消项 (I.126)–(I.145)"] --> S8["8 · 重整化自质量 表 X (I.146)–(I.167)"] --> S9["9 · Schwinger–Keldysh 晚期模函数"] 每个阶段都经历相同的步骤：解析推导（逐指标进行，一般维度 `D`），然后是与其分开保存的独立代码检查，最后与已发表的方程进行比对。 ## 主要结果一览 > [!IMPORTANT] > 晚期答案：没有显著的单圈修正。 使用修正后的自质量平方，并且不采用论文 II 的化简 (II.44)，Schwinger–Keldysh 模方程的解趋近于 > > math > \Phi(\eta,k)=u(\eta,k)+\kappa^2\,\Phi_1(\eta,k)\;\underset{a\to\infty}{\longrightarrow}\;u(0,k)\left\{1+\frac{\kappa^2H^2}{16\pi^2}\left[\,\tilde C+O\!\left(\frac{\ln a}{a^2}\right)\right]\right\}. > > > `\tilde C` 是一个常数（场强重整化）。没有任何东西像 `\ln a`、`\ln^2 a` 或 `a` 那样增长。 > > 下述任何修正都不改变论文 II 的结论。（`\Phi_1` 由剥离了 `\kappa^2` 的单圈自质量驱动，因此 `\kappa^2` > > 只出现一次；`\tilde C=16\pi^2C/H^2`，其中 `C\,u(\eta,k)` 是 `\Phi_1` 的齐次部分。） | | 发现 | 类型 | 影响 | |—|—|—|—| | S1 | 论文 I 中已发表的裸量 `-iM^2` 是论文 I 自身定义 (I.168) 所定义者的 `-1` 倍。4 点部分被 (I.32) 中使用的求导法则反转；3 点部分在 (I.46) → (I.47)–(I.49) 这一步被反转。两部分都被反转，因此它们的相对符号一致。 | 实质性（整体符号） | 物理的非局域部分为 `-`（修正后的 Table X）。它使论文 II 的 Table 5 中每个条目以及 `\Phi_1` 的符号翻转；由于不衰减的总和为零，只有衰减项改变符号。没有晚期效应。 | | S2 | Table X 中 `(aa')^2\nabla^4`（`\zeta`）一行缺少表 III 中的项 `8\ln x-16x\ln x`。正确的一行应为 `\tfrac{34}{3}\ln x-40x\ln x+24x^2\ln x-36x^2`（已发表：`\tfrac{10}{3}\ln x-24x\ln x+24x^2\ln x-36x^2`）。 | 实质性（非解析） | 改变了物理的非局域自质量，但在晚期它只增加衰减项：它去掉了 `(k/H)^4/a`、`(k/H)^6/a` 的尾部，因此模方程右端按 `\ln a/a^2` 衰减。 | | S3 | Table X 中 `(aa')^3(a^2+a'^2)H^4` 一行的常数从 `-54` 变为 `+18`（表 V 中缺少一项等价于 `72\gamma_2` 的项）。 | 实质性（解析） | 它与 `y` 无关，因此在推迟 Schwinger–Keldysh 核中恒等地消失。 | | check | 全局检验：将所有正常贡献直接求和与 Table X 的算符比较，取 3 组点对、30 位精度。 | 数值 | 仅在 S2 和 S3 同时应用时才一致。 | | S4 | 论文 II 化简 (II.44) 的理由逐项失效：两行 `\nabla^2` 各按 `\mp\tfrac{4}{15}(k/H)^2a`（定义符号）增长，而这些增长项在两行之间相互抵消。不用 (II.44)，模方程右端的不衰减部分仍然逐阶抵消，一直到 `k^{10}`，对修正后的表格和已发表的表格都成立。在 `k^4` 阶，这需要 `\zeta` 行中的 `24x^2\ln x` 项，而 (II.44) 把它丢掉了；该项在已发表行和修正行中是相同的。 | 理由不成立，但结果成立 | 上述晚期结果。 | | B1–B6 | 有限抵消项系数（论文约定，单位 `H^{D-4}/(4\pi)^{D/2}`）：`\beta_2:-\tfrac{61}{3}\to-\tfrac{49}{3}` 和 `\beta_3:+\tfrac{58}{3}\to+\tfrac{52}{3}`，以及论文 II (II.8)–(II.9) 中 `\alpha_2,\alpha_3` 相应的移动。极点 `-4/(D-4)` 不变，且 `\beta_1=0`。这些来自 (I.40) 中的笔误和 (I.59) 中的算术错误。 | 可吸收 | 被吸收到有限抵消项 `\Delta\alpha_2,\Delta\alpha_3` 中。无物理影响。 | | II | 论文 II：表 2–4（12 个积分）被精确复现。表 5（19 个条目）在论文约定下被复现；每个条目都随定义符号翻转，总和仍为 0。 | 一致 | — | | C1–C23 | 两篇论文中的 23 处排版错误（见下文）。 | 排版 | 无。 | 表格条目按已发表的论文符号约定引用。S1 随后将整个 Table X 乘以 `-1`。完整发现列表给出每一项（表 A–E）及其证据、约定、面向非专业人士的摘要以及局限性。按论文 I 自身定义 (I.168) 确定的符号，重整化自质量平方在 `D=4`、`x=y/4` 时为 math -iM^2_{\rm ren}(x;x')=i\kappa^2a^4\Big(\Delta\alpha_1\,\square^2+\Delta\alpha_2\,H^2\square+\Delta\alpha_3\,H^2\frac{\nabla^2}{a^2}\Big)\delta^4(x-x')\;-\;\big[\text{修正后的 Table X}\big](x;x') . 23 处排版错误 C1–C23（对任何结果都没有影响）C1–C19、C22 和 C23 在论文 I 中；C20 和 C21 在论文 II 中。 - C1 (I.1)：第一项写成 `\partial_\mu\phi\,\partial_\mu\phi`，应为 `\partial_\mu\phi\,\partial_\nu\phi`。 - C2 (I.6)，等号左边：第二个 `\phi` 缺失。 - C3 (I.7)，等号左边：`-\tfrac12\kappa` 应为 `+\tfrac12\kappa`。顶点本身是正确的。 - C4 (I.14)：第一个系数应为 `\Gamma(\tfrac D2-1)`。 - C5 表 II，`U_2`：`-\tfrac i4` 应为 `+\tfrac i4`。论文自身的 (I.33) 用的是 `+\tfrac i4`。 - C6 (I.39)：指标位置问题（`\bar\eta_{\rho\sigma}` 应为 `\bar\eta^{\rho\sigma}`；同一矩阵）。 - C7 (I.54) 之前的正文提到“（47）式的第 4 项“；应为第 2 项。 - C8 (I.89)：第二项中缺少一个 `H^2` 因子。表 III 是正确的。 - C9–C13 附录“提取导数“中的五处排版错误：表 XII 的表头、(A18)、表 XIII 的 `P_{7c}` 行、表 XV 的 `P_{4b}` 行以及表 XVIII 的合计。 - C14 (I.128)：四导数不变量的列表遗漏了 `\phi^2R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma}` 和 `\phi^2\square R`；平移对称性把两者都移除，因此 (I.129) 不受影响。 - C15 表 IV，`\gamma_2` 条目：符号错误。表 VI–IX 使用了平移对称性所要求的正确符号。 - C16 表 VII 表头：多出一个 `i` 因子。 - C17、C18 (I.160) 和 (I.167)：`H^2` 在 `\beta_2,\beta_3` 和 `\Delta\alpha_2,\Delta\alpha_3` 旁缺失。 - C19 Table X 把 `(aa')^2(a^2+a'^2)\nabla^2\square` 这一行印了两次。 - C20、C21 (II.10) 和 (II.34)：`H^2` 在 `\Delta\alpha_2,\Delta\alpha_3` 旁缺失（与 (I.160) 和 (I.167) 中相同的遗漏）。 - C22 (I.170)：同样在 `\Delta\alpha_2,\Delta\alpha_3` 旁缺少 `H^2`，以及结果 `-\kappa^2a^4\Delta\alpha_3H^2k^2/a^2\,\Phi_0` 中。 - C23 附录，(A31) 之前的正文：“to `P_1` and `P_6`” 应为 “to `P_1` and `P_4`”。 C22 和 C23 是在审阅这篇文章的稿件时注意到的，并在已发表页面上得到了确认。每一项的详细信息及其证据见完整发现列表。 ## 按顺序阅读 每一页先讲述一个阶段的来龙去脉，然后给出关键方程、结果、与论文的比对表格，以及指向代码和完整推导的链接。 1. 费曼规则：将 `\sqrt{-g}\,g^{\mu\nu}` 展开到 `\kappa` 的二阶，得到标量–引力子顶点（表 I–II）。任务 1–2。 2. 4 点贡献：海鸥图、维度正规化中的重合极限，以及整体符号的来源。任务 3–5。 3. 3 点设置：有效作用量、插入引力子传播子之后的九项，以及标量传播子的混合导数 (I.52)。任务 6–8。 4. 3 点的局域项与对数项：局域发散、破坏 de Sitter 对称的 `\ln(aa')` 项，以及它们与 4 点项的精确抵消。任务 9–10。 5. 正常项与表 III：如何把导数提到外边、时间导数恒等式，以及表 III。任务 11–12。 6. 表 IV 与表 V：十个外部算符、附录记账，以及缺失的 `72\gamma_2` 项。任务 13。 7. de Sitter 对称性与抵消项：规范保留了哪些等距变换，以及为什么一个非不变抵消项就足够了。任务 14–15。 8. 重整化自质量与 Table X：分离发散、系数 `\beta_i`、Table X，以及全局逐点检验。任务 16–17。 9. Schwinger–Keldysh 与晚期：使用修正自质量的论文 II、表 2–5、超越 (II.44)，以及晚期模函数。任务 18。 10. 完整发现列表：所有结果汇总在一处：实质性发现 S1–S4、可吸收误差 B1–B6、排版错误 C1–C23、哪些内容与已发表一致、晚期结果、面向非专业人士的摘要，以及局限性。全部任务。 ## 完整推导 完整推导（每一步、指标追踪、中间结果、比对表格，以及每项任务的计算记录）在 notes/notes.pdf 中。其 LaTeX 源码在 notes/：每章一个文件，位于 notes/chapters/，共享宏在 notes/macros.tex。 | 章节 | 标题 | 任务 | |—|—|—| | 1 | 拉格朗日量展开与费曼规则：式 (I.6)–(I.8)，表 I–II | 1–2 | | 2 | 4 点贡献：式 (I.31)–(I.44) | 3–5 | | 3 | 3 点贡献：设置与式 (I.45)–(I.53) | 6–8 | | 4 | 3 点的局域项与对数项：式 (I.54)–(I.67) | 9–10 | | 5 | 正常贡献与表 III：式 (I.68)–(I.93) | 11–12 | | 6 | 表 IV 与表 V：E |