Pith.

Pith Preprint · General Relativity and Quantum Cosmology · Version 1 · Published on Pith 6 Nov 2026 · doi:10.67347/pith.preprint.2026.000036

The Native Lattice Graviton Is Not Massless: Ward Criteria and the Limits of Local Regge Repairs at κ = 1

Jonathan Washburn (Recognition Physics Institute, Austin, Texas) ORCID

PDF · Cite

The paper says

“The native Lorentzian Regge path sum on the four-dimensional Kuhn lattice fails the zero-momentum masslessness test at one loop.”

more of the abstract

At identified κ = 1, with flat measure and Feynman damping on the eleven non-posting edge channels, its per-site transverse-traceless remainder does not have ordered limit zero. This is a theorem with no remaining mathematical premise; independent verification of its final composition is pending. It does not determine a finite particle mass. We organize possible repairs by an exact identity: the remainder is i/2 times the difference between second- and first-order Ward defects. Real weights cannot supply the missing vertex symmetry. Smooth corrections of cubic or higher order in the deficits leave the one-loop remainder unchanged at fixed slope and weight. Area-additive charges reduce to one even-curvature parameter, whose tested values fail numerically. More general local charges retain eight relevant area derivatives when their flat even curvature vanishes. Their corner condition is exact, while cancellation of their integrated remainder and restoration of their classical second-order identity have different evidential status. These results delimit local repairs; they do not prove a universal prohibition on every local charge. A successful repair must derive its coefficients and pass the summed Ward test on every transverse-traceless probe.

from the abstract

Pith says

Machine review · 6 Nov 2026 · read the full text · not checked by a person

It can be wrong. Get a human review.

Major revision. The AI referees found substantial problems the authors need to address.

16 major objections · 7 minor

The paper says, at PDF page 4

The review did not quote this passage.

Pith says: Objection 1 of 16 · major

In Section 3, Theorem 3.1 proof, add a theorem-dependency table or appendix listing every imported corner, complement, characteristic-stratum, gauge-stratum, origin, and non-vanishing estimate. For each item, state the exact source theorem, lemma, equation, data file, or certificate in [1] or [2], its hypotheses, normalizations, regulator convention, retained channels, and whether it is analytic, symbolic, interval-certified, or floating-point. Verify the fix by tracing each line of the contradiction proof to either an in-paper derivation or a named imported statement.

The paper says, at PDF page 2

The review did not quote this passage.

Pith says: Objection 2 of 16 · major

In the status convention on page 2 and at each result carrying “Proof complete, independent verification pending” in Sections 2.1, 3, 5.2, 6.1, 6.2, 6.3, and 7, add a status map specifying whether the proof is fully in this paper, imported from [1] or [2], computational with a named certificate, or awaiting composition check. Verify the fix by listing each tagged result exactly once with its proof source and verification basis.

The paper says, at PDF page 1

The review did not quote this passage.

Pith says: Objection 3 of 16 · major

Add a dependency table in the introduction, Section 3, or an appendix mapping each imported assertion to exact internal locations in [1] or [2]. The table must cover the native Hessian construction, localized analytic estimates, cubic vertex obstruction, beta-family scans, weighted determinant computation, and classical obstruction. Verify the fix by giving theorem, lemma, equation, data-file, code, or certificate identifiers and matching normalizations for each row.

The paper says, at PDF page 9

The review did not quote this passage.

Pith says: Objection 4 of 16 · major

In Sections 6.2, 6.3, 8, and 9, add reproducibility details for the beta scans, ratio-charge failures, tuned q values, weighted remainder, coefficient-matrix invertibility, and native numerical responses. State exact grids or quadrature rules, regulator treatment, fitted quantities, conditioning diagnostics, uncertainty sources, convergence tests, and script or data locations in [2] or a public archive. Verify the fix by giving enough information for an independent worker to regenerate each quoted number or uncertainty (PDF page 9).

The paper says, at PDF page 4

The review did not quote this passage.

Pith says: Objection 5 of 16 · major

In Section 3, Theorem 3.1, add an appendix or theorem-dependency table giving exact imported theorem statements, hypotheses, source locations, and certificate artifacts for the corner divergence, complement bounds, gauge-stratum certificates, origin estimate, and non-vanishing witness. Verify the fix by showing that each imported statement is sufficient for the displayed partition-of-unity contradiction.

The paper says, at PDF page 4

The review did not quote this passage.

Pith says: Objection 6 of 16 · major

Add a proof-source table covering every occurrence of “Proof complete, independent verification pending” in Sections 2.1, 3, 5.2, 6.1, 6.2, 6.3, and 7. For each result, identify exact symbolic derivation, hand analytic proof, imported theorem, interval-enclosed computation, floating-point scan, or pending composition check. Verify the fix by ensuring every tagged result has exactly one row and a stated verification basis.

The paper says, at PDF page 12

The review did not quote this passage.

Pith says: Objection 7 of 16 · major

In Sections 6.2, 6.3, 8, and 9, provide exact numerical protocols for all scans and reported values that shape the repair narrative. Include grids, quadrature rules, regulator handling, fitting procedures, matrix conditioning, scripts or data locations, and whether uncertainties are statistical, discretization, fitting, roundoff, or interval-certified. Verify the fix by adding a regeneration checklist for each quoted numerical result (PDF page 12).

The paper says, at PDF page 4

The review did not quote this passage.

Pith says: Objection 8 of 16 · major

In Section 3, revise the Theorem 3.1 statement and proof to either include the needed estimates or identify exact source statements and artifacts for each imported estimate. If the estimates remain external, replace “No additional mathematical premise is required” with wording that states the theorem is conditional on the cited certificates as used in the proof. Verify by checking that the theorem statement matches the actual proof dependencies.

The paper says, at PDF page 2

The review did not quote this passage.

Pith says: Objection 9 of 16 · major

In the status convention on page 2 and in Sections 3, 6, 7, and 8, add an explicit split among results proved here, results imported from [1] or [2], results pending composition checks, and Numerical evidence. Verify by producing a one-to-one status map for Theorem 3.1, phase rescaling, Theorem 5.3, local-charge reductions, finite-jet reductions, and corner condition (24).

The paper says, at PDF page 7

The review did not quote this passage.

Pith says: Objection 10 of 16 · major

Add a dependency table for references [1] and [2], preferably before or after Theorem 3.1 or in an appendix. Map the native Hessian, localized estimates, cubic obstruction, beta scans, weighted remainder, and classical field evaluation to exact theorem, lemma, equation, data-file, code, or certificate locations. Verify by checking each imported assertion in the present manuscript against one row in the table with matching hypotheses and normalizations.

The paper says, at PDF page 10

The review did not quote this passage.

Pith says: Objection 11 of 16 · major

In Sections 6.2, 6.3, 8, and 9, map each Numerical claim to exact grids, regulators, fitted quantities, conditioning data, uncertainty sources, and scripts or data in [2] or a public archive. Verify by giving a table where each quoted number or uncertainty has a reproducibility row and source location.

The paper says, at PDF page 14

The review did not quote this passage.

Pith says: Objection 12 of 16 · major

In Section 9 closing paragraph on page 14, replace the unconditional wording with a status-matched statement, for example that Theorem 3.1 is the mathematical conclusion conditional on the cited analytic certificates as used in Section 3, with independent verification pending. Verify by ensuring the closing paragraph no longer says “unconditional” while the proof still depends on external certificates.

The paper says, at PDF page 4

The review did not quote this passage.

Pith says: Objection 13 of 16 · major

Add a theorem-dependency table or appendix for Theorem 3.1 in Section 3. It must list every imported corner, complement, characteristic-stratum, gauge-stratum, origin, and non-vanishing estimate with exact source theorem or lemma, hypotheses, normalizations, and location or certificate in [1] or [2]. Verify the fix by enabling a referee to audit the displayed contradiction without re-deriving both preprints.

The paper says, at PDF page 10

The review did not quote this passage.

Pith says: Objection 14 of 16 · major

For every result tagged “Proof complete, independent verification pending,” add an explicit source and verification basis at the result location or in a central status table. Cover Theorem 3.1, phase rescaling, Theorem 5.3, equations (17) to (19), equation (20), equation (22), equation (23), corner condition (24), and Proposition 7.1. Verify by checking that every tag is mapped to in-paper proof, [1] or [2], computational certificate, or awaiting composition check.

The paper says, at PDF page 13

The review did not quote this passage.

Pith says: Objection 15 of 16 · major

Create a numerical-reproducibility table in Sections 6 to 9 or an appendix. For beta scans, ratio-charge E-probe failure, tuned q values, weighted remainder, coefficient-matrix invertibility, and native numerical responses, state exact grids, regulators, quadrature rules, fitting steps, conditioning, error sources, and script or data locations in [2] or a public archive. Verify by giving enough detail for independent regeneration of each quoted value or uncertainty.

The paper says, at PDF page 1

The review did not quote this passage.

Pith says: Objection 16 of 16 · major

In the abstract on page 1 and the Section 9 closing paragraph on page 14, replace unconditional language with wording consistent with Theorem 3.1's reliance on imported analytic estimates and pending final composition verification. Verify by checking that no sentence claims unconditional status unless the needed certificates are either reproduced or precisely cited and auditable.

7 minor objections

The paper says, at Theorem 5.1

Pith says: minor objection 1 of 7

The theorem is stated for preservation of the complex exponent iaS - W. If the physical object is the integrand exp(iaS - W), a local continuous 2 pi i phase ambiguity could be mentioned. It does not appear to change the infinitesimal cubic obstruction.

The paper says, at Section 6.2

Pith says: minor objection 2 of 7

The area-additivity reduction C(A,delta)=A f(delta) would be clearer with explicit domain assumptions on A (for example positivity and behavior at A=0).

show 5 more

The paper says, at Section 7

Pith says: minor objection 3 of 7

The classical obstruction field h(y,S) is highly specific. A short pointer to how D^3 S(h,h,g_y)=756 sqrt(3) was evaluated, or where a worksheet/certificate lives, would help readers.

The paper says, at Section 9 / Reference [4]

Pith says: minor objection 4 of 7

Confirm that the quoted GWTC-3 graviton-mass bound, units, credibility level, and convention match the final Phys. Rev. D publication, not only the arXiv version.

The paper says, at Sections 6-8 terminology

Pith says: minor objection 5 of 7

Terms such as posting, records, ledger, and derived measure are model-specific. A short glossary or model-definition table would help separate mathematical assumptions from physical identifications.

The paper says, at References and literature context

Pith says: minor objection 6 of 7

Optional: situate the native Kuhn-lattice ordered-limit test and vertex-move obstruction relative to linearized Regge calculus, discrete Bianchi identities, and diffeomorphism or vertex-symmetry analyses (for example Rocek-Williams, Williams-Tuckey, Bahr-Dittrich). This is context and novelty positioning, not a mathematical defect.

The paper says, at Theorem 4.2

Pith says: minor objection 7 of 7

Optional clarity: repeat the regularity hypotheses (D nonzero near zero on the paths used; differentiability sufficient for WD1, WD2, and the logarithmic second derivative) inside the theorem statement. The preceding paragraph already supplies them via the regularity used in (5).

What the review found that blocks this paper

  • Major revisions the referees asked for are not yet made.

The review in full

The referees' assessment

The manuscript defines a precise native model and a precise ordered test. The Kuhn-lattice background, edge classes, metric g_kappa = I - kappa 11^T, kappa = 1 edge lengths, eleven-channel determinant, flat measure, and +i epsilon regulator are all clearly stated. The probe H_* used for the native failure theorem has the advertised tracelessness, posting-null, transversality, and tau = 6 properties. The volume subtraction in equations (3) to (5) is fixed by tau_H/4 and is not a fitted counterterm.

The main theorem's proof is logically coherent but externally dependent. If the localized estimates stated in Section 3 are true, then the dilation limit gives L(epsilon) to -11i/2, masslessness forces Re T(epsilon) to 0, while two corner contributions plus a bounded complement force Re T(epsilon) to negative infinity. This proves the desired contradiction. However, the decisive estimates are summarized rather than supplied. The theorem statement on page 4 says “No additional mathematical premise is required,” but the proof immediately says it uses localized analytic estimates from Washburn [1,2]. The abstract and closing paragraph similarly overstate the status by saying the theorem has no remaining mathematical premise or is the unconditional mathematical conclusion. The validated correction is to treat Theorem 3.1 as conditional on cited certificates unless those estimates are reproduced or precisely mapped.

Section 4 is the strongest self-contained part. Theorem 4.1 follows by differentiating the Ward identity and applying the first-order consequence l(S) = (1/4) tr(g^{-1}S) l(g). Theorem 4.2 follows by setting f(t)=log D(tH), differentiating the quotient in WD2, subtracting WD1, and recovering the bracket in R_H[D]. The regularity needed for Theorem 4.2 is already provided by the preceding paragraph's reference to the regularity used in equation (5), so the objection demanding an equation correction is withdrawn. Repeating those hypotheses inside the theorem statement would be clearer but is not a mathematical defect.

Sections 5 and 6 contain valid structural delimitations under their hypotheses. A real scalar normalization of the determinant contributes only a purely imaginary term to R_H. Real weights cannot restore the missing action symmetry once the imported cubic obstruction is granted. Smooth cubic-or-higher deficit corrections vanish in the flat Hessian and along the strained flat family at fixed slope and weight. The local-charge Hessian reduction follows from the chain rule, and the manuscript correctly notes that C in C^3(R^2) does not imply e in C^3(R). Area-additive and finite-jet reductions are plausible or conditional as labeled, but the results carrying “Proof complete, independent verification pending” need a proof-source map.

Sections 6 to 9 handle numerical evidence carefully in terms of logical force. The beta scans, ratio-charge failures, q tuning, coefficient-matrix invertibility, weighted remainder, and native numerical responses are labeled Numerical and are not used as class-wide exclusions. Still, these results shape the repair narrative, so reproducibility details are required: grids, quadrature rules, regulator treatment, fits, conditioning, uncertainty sources, scripts, data, and exact locations in Washburn [2] or a public archive.

Section 7 correctly separates one-loop repair from the classical second-order vertex test. The explicit obstruction value 756 sqrt(3) is conditional on imported or independently verified computations not reproduced here. Proposition 7.1 itself is directly checkable and correct. The manuscript explicitly states that the geometric identification of the reconstructed rows with canonical local cubic Ward probes remains Open, so no overclaim is present there.

The manuscript also already addresses two potential interpretive objections. Section 1 explicitly states that “not massless” means failure of the ordered limit, not a finite pole mass or decay width, and Section 9 repeats that qualification. Target 8.1 is explicitly Open and does not claim that a derived repair exists.

The bibliography is narrow for a paper about Regge graviton Ward identities and lattice diffeomorphism or vertex symmetry. Adding discussion of linearized Regge calculus, discrete Bianchi identities, vertex displacement symmetry, and diffeomorphism breaking/restoration literature would improve novelty positioning. This is not a defect in the checked theorems.

Overall, the recommendation supported by the validated record is major revision. The revision should not rewrite correct algebra. It should make proof dependencies, verification status, imported estimates, and numerical protocols auditable, and it should soften unconditional wording about Theorem 3.1 unless the needed certificates are included.

Significance

If the imported analytic estimates are correct, the result is a significant obstruction for the specific native Kuhn-lattice Regge quantization studied here. It shows that long-wavelength linearized Einstein behavior is not sufficient for the native one-loop graviton determinant to pass the stated zero-momentum masslessness test.

The paper's lasting value may be its repair framework: the exact difference between second- and first-order Ward defects, the separation of exact symmetry from weaker summed cancellation, and the finite-jet reductions for local charges. These tools can guide future derived-action attempts in the author's program.

The significance is limited by scope and evidence. The result does not apply to all Regge quantizations, all measures, all regulators, ghost sectors, nonlocal actions, or physical graviton masses. The central theorem is not self-containedly auditable from this submission because the decisive estimates are in cited preprints without exact mapping. The numerical repair landscape is also not reproducible from the present text alone. Major revision is needed before the central theorem can be certified rather than conditionally accepted.

Strengths (8)
  1. Theorem 4.2 is a correct, self-contained identity: the TT remainder equals i/2 times (WD2 - WD1), and the identity survives finite wave sums and per-site normalization.
  2. Theorem 4.1 correctly shows that the stated first-order Ward identity removes the defined remainder for traceless probes under the printed differentiability hypotheses.
  3. The lattice metric (1), kappa=1 edge lengths, inverse metric, and probe H_* properties (traceless, posting-null, transverse, tau=6) are internally consistent and were re-checked from the printed matrices.
  4. Theorems 5.2 and 5.3 correctly show that smooth cubic-or-higher deficit corrections leave the flat Hessian and strained one-loop family unchanged at fixed slope, weight, channels, and regulator when constant strains remain exactly flat.
  5. Local-charge Hessian reduction (17)-(19) follows by the chain rule when C(A,0)=0; the manuscript correctly notes that C in C^3(R^2) does not imply e in C^3(R).
  6. Proposition 7.1 is algebraically correct: 54 r0 + 27 r1 + 41 r3 + 14 r6 = -5400, so the four reconstructed rows cannot vanish simultaneously.
  7. Status convention and repeated refusal to promote Numerical scans to class-wide exclusions, or ordered-limit failure to a finite pole mass, are genuine strengths.
  8. Scope is repeatedly limited: native means eleven non-posting channels, flat measure, +i epsilon I; not every Regge quantization; Target 8.1 remains Open.
Reviews by people

This review was written by a machine. No person has reviewed this paper on Pith yet. A scientist listed on Pith can review it for a fee, and their review is published here whatever it concludes. It does not decide whether the paper is published.

Get a human review · Become a reviewer

How Pith checks papers

The paper

Abstract

The native Lorentzian Regge path sum on the four-dimensional Kuhn lattice fails the zero-momentum masslessness test at one loop. At identified κ = 1, with flat measure and Feynman damping on the eleven non-posting edge channels, its per-site transverse-traceless remainder does not have ordered limit zero. This is a theorem with no remaining mathematical premise; independent verification of its final composition is pending. It does not determine a finite particle mass. We organize possible repairs by an exact identity: the remainder is i/2 times the difference between second- and first-order Ward defects. Real weights cannot supply the missing vertex symmetry. Smooth corrections of cubic or higher order in the deficits leave the one-loop remainder unchanged at fixed slope and weight. Area-additive charges reduce to one even-curvature parameter, whose tested values fail numerically. More general local charges retain eight relevant area derivatives when their flat even curvature vanishes. Their corner condition is exact, while cancellation of their integrated remainder and restoration of their classical second-order identity have different evidential status. These results delimit local repairs; they do not prove a universal prohibition on every local charge. A successful repair must derive its coefficients and pass the summed Ward test on every transverse-traceless probe.

Keywords: Recognition Science, quantum gravity, Regge calculus, lattice gravity, one-loop graviton, massless graviton, Ward identity

Declarations

Competing interests. The author is affiliated with the Recognition Physics Institute and is an owner of Pith.

License. This paper is distributed under the Creative Commons Attribution 4.0 license.

The paper is published as the authors' own PDF. Read the full paper (PDF)

The record

Review record

Scores from the review: 68 of 100

technical
59
claim discipline
85
novelty
65
significance
60
reproducibility
65
verification
40
consensus
92
objections
80

The scores come from the Pith review. They are shown with the paper and never decide whether it is published.

current recommendation
major revision
rubric
journal-rubric-2026-09-09-v4
verification grade
V0
endorsements
0
objections filed
0
version
1
On the record
pdf sha-256
5a24862f4fc3b9ce…
bitcoin
block 974,819, 2026-11-06
DigiCert
2026-11-06 14:56 UTC
FreeTSA
2026-11-06 14:56 UTC

This is the fingerprint of the PDF exactly as it was uploaded: download the file as uploaded. The PDF link at the top of this page opens the same paper with one line added by Pith up the left margin of its first page (its identifier, field and date, as arXiv prints on its papers), so that copy has a different fingerprint.

Check it yourself

Decision log

  1. preprint published 2026-11-06 14:56 UTC by preprint-admission

    Preprint record published. Integrity screen clean; desk screen PASS. The review summary and available scorecard are attached as public metadata.