Claude Audits Quantum Gravity

E. O. Kahya, a co-author of both original papers, used Anthropic's Claude Opus 5.5 to re-derive step by step a published one-loop quantum gravity calculation of the graviton correction to a massless, minimally coupled scalar on de Sitter space, finding 4 substantive errors (S1–S4), 6 finite errors absorbed into counterterms (B1–B6) and 23 typographical errors (C1–C23) across the two papers. The audit, submitted to arXiv in 2026, found a sign error and a missing term in the printed self-mass-squared, but confirmed the main physical conclusion of Paper II (arXiv:0710.5282) that the scalar's mode function receives no significant one-loop correction at late times. The re-derivation split the papers into 18 tasks across nine stages, from the Feynman rules (I.6)–(I.8) to the renormalized self-mass (I.167).

An AI re-derived a published one-loop quantum gravity calculation step by step. It found a sign error and a missing term, and confirmed the physical conclusion. The paper: E. O. Kahya, Auditing a quantum gravity calculation with an AI model: corrected scalar self-mass and unchanged late-time mode functions during inflation submitted to arXiv, 2026 . PDF https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/paper/paper.pdf · LaTeX source https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/paper/main.tex This repository re-derives, step by step, a published one-loop quantum gravity calculation during inflation: the graviton correction to a massless, minimally coupled scalar on de Sitter space Paper I papers , Phys. Rev. D 76, 124005 2007 , and its use in the scalar's late-time field equation Paper II papers , arXiv:0710.5282 . The re-derivation was carried out with Claude Anthropic's AI model, Claude Opus 5.5 as a checking tool. It was published by E. O. Kahya, one of the authors of both papers. Each step, from the Feynman rules I.6 – I.8 to the renormalized self-mass I.167 and the late-time analysis of Paper II, was derived again from the inputs stated in the papers, keeping the dimension Limitations how-claude-was-used . Every difference from the printed papers is classified: 4 substantive findings S1–S4 , 6 finite errors absorbed into counterterms B1–B6 and 23 typographical errors C1–C23 . The complete list of findings https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/docs/10-complete-list-of-findings.md gives each one with its evidence. Bottom line: the main physical conclusion of Paper II survives. The scalar's mode function receives no significant one-loop correction at late times. However, the printed self-mass-squared is Contents: The question the-question-in-one-picture · What was done what-was-done · Main results main-results-at-a-glance · Read it in order read-it-in-order · The paper https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/paper/paper.pdf · Complete list of findings https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/docs/10-complete-list-of-findings.md · Full derivations full-derivations · Reproduce the checks reproduce-the-checks · How Claude was used how-claude-was-used · Papers papers · Citation citation %%{init: {"flowchart": {"htmlLabels": false, "padding": 18, "nodeSpacing": 35, "rankSpacing": 45}}}%% flowchart LR A "Inflation<br/ de Sitter, a = −1/Hη " -- B "A growing sea of<br/ long-wavelength gravitons" B -- C "They couple to the scalar<br/ only through derivatives<br/ κ h ∂φ ∂φ " C -- D "One-loop self-mass-squared<br/ M² x;x′ " D -- E "Quantum-corrected<br/ field equation" E -- F "Mode function Φ η,k :<br/ does it change at late times?" Inflation pulls long-wavelength quanta of massless fields that are not conformally invariant out of the vacuum. Gravitons are such fields, so as inflation goes on the universe fills with an ever-growing sea of infrared gravitons. The question is whether this sea changes how a massless, minimally coupled scalar a stand-in for a very flat inflaton propagates. All quantum corrections at one loop are contained in the scalar self-mass-squared At tree level the plane-wave mode function freezes to a constant once the mode has left the horizon: Write full self-mass: two one-loop diagrams a 4-point "seagull" and a 3-point diagram , dimensional regularization, counterterms for a gauge that breaks part of the de Sitter symmetry, and finally the Schwinger–Keldysh in-in form of the field equation. The two papers were split into 18 tasks , which follow the papers' equations in order. They are grouped into nine stages, each with a summary page, a chapter of derivation notes and a folder of code checks. Paper I: vertices and the 4-point diagram %%{init: {"flowchart": {"htmlLabels": false, "padding": 18, "nodeSpacing": 35, "rankSpacing": 45}}}%% flowchart LR S1 "1 · Feynman rules<br/ I.6 – I.8 <br/ Tables I–II" -- S2 "2 · 4-point<br/ contribution<br/ I.31 – I.44 " Paper I: the 3-point diagram %%{init: {"flowchart": {"htmlLabels": false, "padding": 18, "nodeSpacing": 35, "rankSpacing": 45}}}%% flowchart LR S3 "3 · 3-point<br/ setup<br/ I.45 – I.53 " -- S4 "4 · local and<br/ log terms<br/ I.54 – I.67 " -- S5 "5 · normal terms<br/ Table III<br/ I.68 – I.93 " -- S6 "6 · Tables<br/ IV–V<br/ I.94 – I.125 " Renormalization Paper I and late times Paper II %%{init: {"flowchart": {"htmlLabels": false, "padding": 18, "nodeSpacing": 35, "rankSpacing": 45}}}%% flowchart LR S7 "7 · de Sitter<br/ symmetry and<br/ counterterms<br/ I.126 – I.145 " -- S8 "8 · renormalized<br/ self-mass<br/ Table X<br/ I.146 – I.167 " -- S9 "9 · Schwinger–<br/ Keldysh<br/ late-time mode<br/ function" Each stage goes through the same steps: the analytic derivation index by index, general Important Late-time answer: no significant one-loop correction. With the corrected self-mass-squared, and without the simplification II.44 of Paper II, the solution of the Schwinger–Keldysh mode equation approaches | | Finding | Type | Consequence | |---|---|---|---| | S1 | The printed bare | substantive overall sign | The physical nonlocal part is | | S2 | The | substantive non-analytic | Changes the physical nonlocal self-mass, but at late times it adds only falling terms: it removes the | | S3 | The constant of the | substantive analytic | It is | | check | Global test: the direct sum of all normal contributions against the Table X operators, at 3 pairs of points with 30 digits. | numerical | Agreement only when S2 and S3 are both applied. | | S4 | The justification of simplification II.44 of Paper II fails term by term: two | justification fails, result holds | The late-time result above. | | B1–B6 | Finite counterterm coefficients paper convention, units | absorbable | Absorbed into the finite counterterms | | II | Paper II: Tables 2–4 12 integrals are reproduced exactly. Table 5 19 entries is reproduced in the paper's convention; every entry flips with the definition sign, and the total is still 0. | agreement | — | | C1–C23 | 23 typographical errors in the two papers listed below . | typo | None. | Table entries are quoted in the paper's sign convention, as printed. S1 then multiplies the whole of Table X by complete list of findings https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/docs/10-complete-list-of-findings.md gives every item Tables A–E with its evidence, the conventions, a summary for non-experts, and the limitations. The renormalized self-mass-squared, in the sign fixed by Paper I's own definition I.168 , at The 23 typographical errors C1–C23 no effect on any result C1–C19, C22 and C23 are in Paper I; C20 and C21 are in Paper II. - C1 I.1 : the first term has$\partial \mu\phi\,\partial \mu\phi$ instead of$\partial \mu\phi\,\partial \nu\phi$ . - C2 I.6 , left-hand side: the second$\phi$ is missing. - C3 I.7 , left-hand side:$-\tfrac12\kappa$ should be$+\tfrac12\kappa$ . The vertex itself is correct. - C4 I.14 : the first coefficient should be$\Gamma \tfrac D2-1 $ . - C5 Table II,$U 2$ :$-\tfrac i4$ should be$+\tfrac i4$ . The paper's own I.33 uses$+\tfrac i4$ . - C6 I.39 : index placement $\bar\eta {\rho\sigma}$ for$\bar\eta^{\rho\sigma}$ ; same matrix . - C7 The text before I.54 refers to "the 4th term of 47 "; it should be the 2nd term. - C8 I.89 : a factor$H^2$ is missing in the second term. Table III is correct. - C9–C13 Five typos in the appendix "Extracting derivatives": the Table XII header, A18 , Table XIII row$P {7c}$ , Table XV row$P {4b}$ and the Table XVIII total. - C14 I.128 : the list of four-derivative invariants omits$\phi^2R {\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma}$ and$\phi^2\square R$ ; shift symmetry removes both, so I.129 is unaffected. - C15 Table IV,$\gamma 2$ entry: wrong sign. Tables VI–IX use the correct sign, which shift symmetry requires. - C16 Table VII header: spurious factor$i$ . - C17, C18 I.160 and I.167 :$H^2$ is missing next to$\beta 2,\beta 3$ and$\Delta\alpha 2,\Delta\alpha 3$ . - C19 Table X prints the row$ aa' ^2 a^2+a'^2 \nabla^2\square$ twice. - C20, C21 II.10 and II.34 :$H^2$ is missing next to$\Delta\alpha 2,\Delta\alpha 3$ the same omission as in I.160 and I.167 . - C22 I.170 : the same missing$H^2$ next to$\Delta\alpha 2,\Delta\alpha 3$ , and in the result$-\kappa^2a^4\Delta\alpha 3H^2k^2/a^2\,\Phi 0$ . - C23 Appendix, text before A31 : "to$P 1$ and$P 6$ " should read "to$P 1$ and$P 4$ ". C22 and C23 were noticed while refereeing the write-up and confirmed on the printed pages. Details, with the evidence for each item, are in the complete list of findings https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/docs/10-complete-list-of-findings.md table-c-typographical-errors . Each page tells the story of one stage first, then gives the key equations, the result, a comparison table with the paper, and links to the code and to the full derivation. 1. Feynman rules https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/docs/01-feynman-rules.md : expand$\sqrt{-g}\,g^{\mu\nu}$ to second order in$\kappa$ and get the scalar–graviton vertices Tables I–II . Tasks 1–2. 2. The 4-point contribution https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/docs/02-four-point.md : the seagull diagram, the coincidence limits in dimensional regularization, and where the overall sign comes from. Tasks 3–5. 3. 3-point setup https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/docs/03-three-point-setup.md : the effective action, the nine terms after the graviton propagator is inserted, and the mixed derivative of the scalar propagator I.52 . Tasks 6–8. 4. 3-point local and logarithm terms https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/docs/04-three-point-local-and-log.md : the local divergences, the de Sitter-breaking$\ln aa' $ terms, and their exact cancellation against the 4-point terms. Tasks 9–10. 5. Normal terms and Table III https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/docs/05-normal-terms-table-III.md : how derivatives are pulled outside, the time-derivative identities, and Table III. Tasks 11–12. 6. Tables IV and V https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/docs/06-tables-IV-V.md : the ten external operators, the appendix bookkeeping, and the missing$72\gamma 2$ term. Task 13. 7. de Sitter symmetry and counterterms https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/docs/07-de-sitter-symmetry-and-counterterms.md : which isometries the gauge preserves, and why one noninvariant counterterm suffices. Tasks 14–15. 8. Renormalized self-mass and Table X https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/docs/08-renormalized-self-mass-table-X.md : separating the divergences, the coefficients$\beta i$ , Table X, and the global pointwise test. Tasks 16–17. 9. Schwinger–Keldysh and late times https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/docs/09-schwinger-keldysh-late-time.md : Paper II with the corrected self-mass, Tables 2–5, going beyond II.44 , and the late-time mode function. Task 18. 10. Complete list of findings https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/docs/10-complete-list-of-findings.md : every result in one place: the substantive findings S1–S4, the absorbable errors B1–B6, the typographical errors C1–C23, what was confirmed as printed, the late-time results, a summary for non-experts, and the limitations. All tasks. The complete derivation every step, the index tracking, intermediate results, comparison tables and a calculation record for each task is in notes/notes.pdf https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/notes/notes.pdf . Its LaTeX sources are in notes/ https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/notes : one file per chapter in notes/chapters/ https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/notes/chapters and the shared macros in notes/macros.tex . | Chapter | Title | Tasks | |---|---|---| | 1 | Lagrangian expansion and Feynman rules: Eqs. I.6 – I.8 , Tables I–II | 1–2 | | 2 | The 4-point contribution: Eqs. I.31 – I.44 | 3–5 | | 3 | The 3-point contribution: setup and Eqs. I.45 – I.53 | 6–8 | | 4 | 3-point local and logarithm terms: Eqs. I.54 – I.67 | 9–10 | | 5 | Normal contributions and Table III: Eqs. I.68 – I.93 | 11–12 | | 6 | Tables IV and V: Eqs. I.94 – I.125 | 13 | | 7 | de Sitter symmetries, the gauge, and noninvariant counterterms: Eqs. I.126 – I.145 | 14–15 | | 8 | Renormalization and the final self-mass: Tables VI–X, Eqs. I.146 – I.167 | 16–17 | | 9 | Schwinger–Keldysh mode equation and the late-time mode function Paper II | 18 | | 10 | Summary of findings: every discrepancy, classified, with a pointer to its derivation | all | A reader-friendly version of the findings, with the same IDs S1–S4, B1–B6, C1–C23 , is docs/10-complete-list-of-findings.md https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/docs/10-complete-list-of-findings.md . In the notes, each statement carries a label: P given in the paper , D derived here , A assumption or convention or C an independent cross-check, by code unless stated otherwise . Each equation states which sign convention it uses: the paper's, or the definition sign of I.168 . To build the PDF yourself: cd notes && tectonic -X compile notes.tex . git clone https://github.com/eokahya/claude-audits-quantum-gravity.git cd claude-audits-quantum-gravity pip install -r code/requirements.txt sympy, mpmath python3 code/run all.py --quick all but the two slowest scripts, about 6 minutes python3 code/run all.py everything 38 runs , about 10 minutes python3 code/run all.py --folder 08 one folder code/run all.py https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/code/run all.py runs every script from inside its folder and compares its output with the stored expected output/ . At the end it prints a pass/fail table. The stored outputs were produced with Python 3.13.1, SymPy 1.14.0 and mpmath 1.3.0, and they are identical to the outputs recorded during the original calculation. Another SymPy version may print an equivalent expression in a different form; in that case the comparison shows a diff. In the last full run Apple-silicon Mac all 38 runs passed in 10 minutes. You can also run a single check by hand from its folder: | Folder | Example | |---|---| | 01 feynman rules https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/code/01 feynman rules | cd code/01 feynman rules && python3 check vertices.py | | 02 four point https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/code/02 four point | cd code/02 four point && python3 check 4pt.py | | 03 three point setup https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/code/03 three point setup | cd code/03 three point setup && python3 check 47 49.py | | 04 three point local log https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/code/04 three point local log | cd code/04 three point local log && python3 check 60 67.py | | 05 normal terms tableIII https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/code/05 normal terms tableIII | cd code/05 normal terms tableIII && python3 check 81 93.py | | 06 tables IV V https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/code/06 tables IV V | cd code/06 tables IV V && python3 check tables45b.py | | 07 desitter counterterms https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/code/07 desitter counterterms | cd code/07 desitter counterterms && python3 check 136 145.py | | 08 renormalization tableX https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/code/08 renormalization tableX | cd code/08 renormalization tableX && python3 check tableX global.py | | 09 schwinger keldysh https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/code/09 schwinger keldysh | cd code/09 schwinger keldysh && python3 kexp.py 10 | code/README.md https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/code/README.md lists every script, what it checks and how long it takes. Each folder has its own README, which explains how to read the output. Method. - Inputs, not targets. Each task took as input only the results of earlier tasks and the definitions and conventions stated in the papers. The printed equation to be checked was not used as an input; it was compared only after the derivation was finished. The exceptions: Tables IV–V were computed from the printed appendix totals after those totals had been checked, and Table V enters the assembly of Table X as printed its non-analytic terms were confirmed first . Tables 2–5 of Paper II were never used as input. - General Wherever the paper keeps the spacetime dimension general, so did the derivation. Every step was written out with explicit index tracking.$D$ . - Code checks are separate from the analysis. Each analytic result was then tested by independent SymPy/mpmath code: exact symbolic identities in general$D$ or at several fixed$D$ , brute-force differentiation compared with the paper's reduced forms, and pointwise evaluation at random points with 20–30 significant digits. Code checks are labelled separately and never replace a derivation. - Finding the origin of each discrepancy. When a result disagreed with the paper, the cause was traced back. For example, the overall sign comes from the derivative rule in I.32 and from the step I.46 → I.47 . Each discrepancy was classified as a typo, absorbable a finite change absorbed by counterterms , substantive, or a convention. - Language and provenance. The original working reports, one per task, were written in Turkish HTML with KaTeX , together with a full log of every script run. The English notes, the docs pages and this README are faithful translations and summaries of those reports, also written with Claude. Each English chapter was then checked against its Turkish source in a separate Claude review pass. The scripts were cleaned up so that each one runs on its own, re-run, and compared with the original logs; the outputs agree. What a human expert should still review. - The two sources of the overall sign: Lemma A for the 4-point term docs/02 https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/docs/02-four-point.md and the step I.46 → I.47 – I.49 docs/03 https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/docs/03-three-point-setup.md . Both are short. - Corrections S2 and S3 and the global test that supports them, check tableX global.py https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/code/08 renormalization tableX/check tableX global.py . In particular, check how the direct sum is built in its helper check global.py . - The late-time analysis: the exact $k$ -expansion kexp.py https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/code/09 schwinger keldysh/kexp.py and the solution for$\Phi 1$ . - The translation from the Turkish reports, if you read Turkish. Limitations and open points. - The appendix "Extracting derivatives" of Paper I was audited, not redone from scratch . We checked worked example rows by hand and all ten table totals with the global pointwise test; Tables XII and XIV and A1 – A9 were read from the printed pages. One working report claimed that every row had been reproduced by hand. That claim was an overstatement and is corrected in the notes. - A possible extra local term from the appendix's operator reduction is only partly resolved. Any double counting of the local part has exactly the counterterm form$c\, a^D\square-a^{D-2}\nabla^2 \delta^D x-x' $ , so it is absorbed into$\alpha 2,\alpha 3$ . We have not proved, however, that no other local term arises; that needs a full distributional analysis. - The global checks are numerical at sample points : two or three random spacelike point pairs, 30 digits, for Table X and for Tables IV–V with the actual propagators. They are not symbolic identities , and they check only sums. They cannot tell apart equivalent placements of the S3 term a$-12x$ in the$\delta$ row of Table V, or a changed$\gamma 2$ constant . - The Schwinger–Keldysh cancellation of the non-falling terms is exact through $k^{10}$ . Beyond that there is a convergent-series argument but no all-orders proof . - The $a^{-2}$ coefficients of the late-time solution depend on the initial state. As Paper II notes, falling terms cannot be trusted without the corrected initial state. - Some code checks run only at fixed dimensions: counterterm completeness at $D=4,5,6$ , the gauge-breaking Euler–Lagrange check in$D=3$ , the pointwise check of the nonlocal part of I.60 – I.67 at$D=4$ . The general-$D$ statements rest on the analytic derivation. - The overall sign S1 rests on the paper's own definition I.168 . Once I.168 is adopted, the sign of the nonlocal part is physical, because the nonlocal part has no counterterm freedom. - Assumptions shared with the paper: dimensional regularization preserves the shift symmetry and the residual symmetries of the gauge-fixed action, ultraviolet divergences are polynomial in $H$ , and$D=4$ is set only in terms not multiplied by a pole. The full list of limitations is at the end of the complete list of findings https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/docs/10-complete-list-of-findings.md methodological-notes-and-limitations . - This work. E. O. Kahya, "Auditing a quantum gravity calculation with an AI model: corrected scalar self-mass and unchanged late-time mode functions during inflation", submitted to arXiv 2026 . PDF https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/paper/paper.pdf , LaTeX source https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/paper/main.tex single self-contained file, as submitted . - Paper I. E. O. Kahya and R. P. Woodard, "Quantum gravity corrections to the one loop scalar self-mass during inflation", Phys. Rev. D 76 , 124005 2007 . doi:10.1103/PhysRevD.76.124005 https://doi.org/10.1103/PhysRevD.76.124005 , arXiv:0709.0536 https://arxiv.org/abs/0709.0536 . - Paper II. E. O. Kahya and R. P. Woodard, "Scalar field equations from quantum gravity during inflation", Phys. Rev. D 77 , 084012 2008 . doi:10.1103/PhysRevD.77.084012 https://doi.org/10.1103/PhysRevD.77.084012 , arXiv:0710.5282 https://arxiv.org/abs/0710.5282 . Equations are cited as I. n for Paper I and II. n for Paper II. This repository contains no scans or figures from the papers; where a printed equation is compared, it is retyped in LaTeX. If you use this re-derivation, please cite the paper above arXiv identifier to be added , the original papers and this repository: @misc{Kahya2026ClaudeAuditsQG, author = {Kahya, Emre Onur}, title = {Claude Audits Quantum Gravity: a step-by-step {AI} re-derivation of a one-loop quantum gravity calculation during inflation}, year = {2026}, howpublished = {\url{https://github.com/eokahya/claude-audits-quantum-gravity}}, note = {Step-by-step re-derivation of the one-loop scalar self-mass during inflation Phys. Rev. D 76, 124005 and of its late-time effect arXiv:0710.5282 , carried out with Claude Opus 5.5} } MIT. See LICENSE https://github.com/eokahya/claude-audits-quantum-gravity/blob/main/LICENSE .