Pith.

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

Record-Time Root Stability of the Recognition Path Sum: Gaussian Evolution and the Continuum Limit of Lattice Quantum Gravity

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

PDF · Cite

The paper says

“What evolution does a Lorentzian sum over lattice geometries define? On the recognition ledger the record count of four posting counters supplies a time before geometry is assigned.”

more of the abstract

At Gaussian order, a positive norm preserved by a record tick requires every physical exponential solution to have a unimodular record factor. The bare Regge equation fails: at the identified value κ = 1 a spatially uniform physical solution grows by √2 per tick at every spatial period, and no nonzero rescaling of the action removes it. Its corner doublers also fail the weaker continuum test: an exact physical family decays at a nonzero rate per unit physical time as the spacing shrinks. For the equation with the ledger's derived curvature weight, we prove continuum-limit record-time root stability: log|wₙ|/bₙ → 0 for every non-gauge Gaussian mode family with spacing bₙ → 0⁺ and |wₙ| → 1, at fixed nonzero weight strength. The proof combines decoupling away from the zero wave with a cubic bound on record growth near it. For specified holomorphic, gauge-invariant two-point observables at fixed momentum, contour contributions separated from the unit circle vanish faster than every power of the spacing at nonzero physical time. The native phase coefficient gives a fixed weight strength, independent of spacing. The proofs of the correlator suppression, the bare doubler family and the coupling relation await independent verification. The physical reading retains κ = 1 and two weight identifications as premises. These are spectral statements about a Gaussian equation; no positive physical Hilbert space or interacting unitary evolution is constructed. The proposed record-time Wick rotation ends at an indefinite quadratic form.

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.

Review not finished: some checks did not complete. No verdict yet.

19 major objections · 8 minor

The paper says, at PDF page 15

The review did not quote this passage.

Pith says: Objection 1 of 19 · major

In Section 6.5, either supply full checkable proofs of all four ingredients of Proposition 6.7 or restate Theorems 6.8 and 6.9(ii) as explicitly conditional on Proposition 6.7; verify by independent re-derivation or by matching external theorem numbers and conventions.

The paper says, at PDF page 17

The review did not quote this passage.

Pith says: Objection 2 of 19 · major

In Section 6.7, either include a complete analytic proof of Theorem 6.10 (explicit transverse fixing with injectivity/surjectivity/invertibility, holomorphy of F on the stated annuli, uniform constants in b and n) or demote it from an established theorem so the abstract and summary no longer treat contour suppression as proved here.

The paper says, at PDF page 7

The review did not quote this passage.

Pith says: Objection 3 of 19 · major

In Sections 3, 5 and 6 and Table 1, produce an explicit dependency map stating for each of Theorems 3.1, 3.2, 3.4, 5.4, 6.1, 6.2, 6.5, 6.8-6.10 whether it is proved here, imported from [1] or [2], or pending verification; include reproducible certificates for the growing-mode polarization and kernel identity.

The paper says, at PDF page 23

The review did not quote this passage.

Pith says: Objection 4 of 19 · major

In Appendix A.3 and Theorem 5.3(i), replace the false bound D l(4-l) <= 4 R g^2 by the identity consequence D l(4-l) <= g^2 (R+1)^2 (or an equivalent correct estimate), and adjust the displayed continuum constant if needed; verify by algebraic re-derivation that the repaired bound still yields log|w_n|/b_n = O(b_n^2).

The paper says, at PDF page 1

The review did not quote this passage.

Pith says: Objection 5 of 19 · major

For Theorems 5.4, 6.2 and 6.10, either supply complete proofs/certificates in this manuscript or reclassify them as imported/unverified inputs not counted among the paper's established theorems; update abstract, Section 1 and Table 1 accordingly.

The paper says, at PDF page 15

The review did not quote this passage.

Pith says: Objection 6 of 19 · major

In Section 6.5, either supply full checkable proofs of all four ingredients of Proposition 6.7 or restate Theorems 6.8 and 6.9(ii) as explicitly conditional on Proposition 6.7.

The paper says, at PDF page 15

The review did not quote this passage.

Pith says: Objection 7 of 19 · major

Include reproducibility artifacts for the derived-weight operator and kernel identity (exact matrices or machine-readable construction, exact-arithmetic certificates, monomial/base-point convention map) or restate Theorems 6.5 and 6.9 as conditional on those imported inputs.

The paper says, at PDF page 18

The review did not quote this passage.

Pith says: Objection 8 of 19 · major

In Section 6.7 supply a complete analytic proof of Theorem 6.10 or demote it so abstract and summary no longer treat contour suppression as proved here.

The paper says, at PDF page 15

The review did not quote this passage.

Pith says: Objection 9 of 19 · major

Supply full proofs of Proposition 6.7 or restate Theorems 6.8 and 6.9(ii) as explicitly conditional on Proposition 6.7.

The paper says, at PDF page 17

The review did not quote this passage.

Pith says: Objection 10 of 19 · major

Provide a complete proof of Theorem 6.10 or demote it so abstract and summary no longer treat contour suppression as proved here.

The paper says, at PDF page 21

The review did not quote this passage.

Pith says: Objection 11 of 19 · major

Produce an explicit dependency map for Theorems 3.1, 3.2, 3.4, 5.4, 6.1, 6.2, 6.5, 6.8-6.10 (proved here / imported / pending) and include reproducible certificates for null vectors and kernel identity.

The paper says, at PDF page 23

The review did not quote this passage.

Pith says: Objection 12 of 19 · major

Correct the inequality in Appendix A.3 / Theorem 5.3(i) to D l(4-l) <= g^2 (R+1)^2 and verify the repaired O(b_n^2) bound.

The paper says, at PDF page 1

The review did not quote this passage.

Pith says: Objection 13 of 19 · major

For Theorems 3.1, 5.4 and 6.2 either supply complete proofs/certificates or reclassify them as imported/unverified inputs; update abstract and Table 1.

The paper says, at PDF page 15

The review did not quote this passage.

Pith says: Objection 14 of 19 · major

In Section 6.5, either supply full checkable proofs of all four ingredients of Proposition 6.7 or restate Theorems 6.8 and 6.9(ii) as explicitly conditional on Proposition 6.7; verify by independent re-derivation or matching external theorem numbers and conventions.

The paper says, at PDF page 17

The review did not quote this passage.

Pith says: Objection 15 of 19 · major

In Section 6.7, either include a complete analytic proof of Theorem 6.10 or demote it from an established theorem so the abstract and summary no longer treat contour suppression as proved here; verify by referee re-check or by demotion visible in abstract, Section 1 and Table 1.

The paper says, at PDF page 23

The review did not quote this passage.

Pith says: Objection 16 of 19 · major

In Appendix A.3 and Theorem 5.3(i), correct the inequality from the root identity: replace the false bound D l(4-l) <= 4 R g^2 by D l(4-l) <= g^2 (R+1)^2, and adjust the displayed continuum constant if needed; verify by algebraic re-derivation that the repaired bound still yields log|w_n|/b_n = O(b_n^2).

The paper says, at PDF page 21

The review did not quote this passage.

Pith says: Objection 17 of 19 · major

In Sections 3, 5 and 6 and Table 1, produce an explicit dependency map stating for each of Theorems 3.1, 3.2, 3.4, 5.4, 6.1, 6.2, 6.5, 6.8-6.10 whether it is proved here, imported from [1] or [2], or pending verification; verify by cross-checking every abstract and Section 1 claim against that map.

The paper says, at PDF page 15

The review did not quote this passage.

Pith says: Objection 18 of 19 · major

For the derived-weight kernel identity used in Theorems 6.5 and 6.9, either recompute it in this manuscript or cite the precise external statement with matching monomial/base-point conventions and dual-cycle counts; verify by confirming that every null vector of the weight away from k=0 is a vertex-move polarization under those conventions.

The paper says, at PDF page 15

The review did not quote this passage.

Pith says: Objection 19 of 19 · major

Either prove Proposition 6.7 in full with checkable derivations or restate Theorems 6.8 and 6.9(ii) as conditional on it; update claim status in any internal ledger to conditional/unsupported until then.

8 minor objections

The paper says, at General status boxes and Table 1

Pith says: minor objection 1 of 8

The phrase 'Proof complete, independent verification pending' is a useful disclosure but can be confusing when the full proof is not in the manuscript. Distinct labels (proved here / imported from [x] / pending / numerical) would improve clarity; the deeper fix is the dependency map in the major comments.

The paper says, at 2.2-2.3

Pith says: minor objection 2 of 8

Clarify whether record ticks are only posting translations e_a or all integer translations with t(tau)=1. Proofs work for the latter under spatial periodicity; the ledger language may suggest the former. State whether negative components of tau are intended.

show 6 more

The paper says, at 6.2

Pith says: minor objection 3 of 8

Emphasize at first occurrence that the phase coefficient a is not a lattice spacing, not only after Theorem 6.2.

The paper says, at 6.5, Proposition 6.7

Pith says: minor objection 4 of 8

Clarify that tau=1 denotes the all-ones record covector, since tau is also used earlier for an arbitrary record tick.

The paper says, at 6.7

Pith says: minor objection 5 of 8

When defining F(z) by solving S_mu(z)u = O'(z^{-1}), state whether F is represented by a particular rational gauge-fixed inverse before the zero-at-no-solution convention is imposed; this would make holomorphy claims easier to parse if the full proof is supplied.

The paper says, at 7.1

Pith says: minor objection 6 of 8

If space permits, clarify whether the two displayed test fields for Theorem 7.1 are modulo gauge or fields on the full unconstrained space.

The paper says, at Appendix A.2

Pith says: minor objection 7 of 8

A small table mapping binary edge-class labels to edge vectors would make verification of the pattern lemma and the posting-null restriction more transparent.

The paper says, at Section 4 / Theorem 6.1

Pith says: minor objection 8 of 8

Restate explicitly how the mu < 0 convention preserves positive semidefiniteness of the weight symbol used in Theorem 4.1.

What the review found that blocks this paper

  • A claim the paper depends on has no support in the paper.

The review in full

Review incomplete. There is no verdict yet because some source or objection checks did not finish. This is a limitation of the review, not a finding against the manuscript.

The referees' assessment

The manuscript's basic record-time framework is clear. Definition 2.1 distinguishes record-time stability from record-time unitarity and from a weaker record norm. The implication from unitarity to stability is correct: a tick-invariant positive form cannot assign changing norm to a physical eigenmode. Proposition 2.2 shows that the definitions are nonempty, and Lemma A.1 supplies a usable test excluding vertex moves for the displayed model patterns.

Section 3's bare-action obstruction is strong but conditional. Theorem 3.2 correctly shows that a physical mode multiplied by sqrt(2) under every record tick rules out a record norm, record-time stability and record-time unitarity. The mathematical obstruction follows once the claimed Bloch null vector is accepted. Appendix A.2 lists the polarization, but the actual null-vector check relies on Washburn [2, Prop. 6.16]. The same status applies to Theorem 3.4 at κ = 3/2. Theorem 3.5 is immediate from the fact that stability and unitarity depend on the solution space. The bare doubler continuum family in Theorem 5.4 is marked pending independent verification and is not established by a full certificate in this manuscript.

Section 4 is technically sound under its stated hypotheses. Theorem 4.1 is a correct linear-algebra lemma, and Theorem 4.3 follows by combining spatial periodicity, record-time stability and Theorem 4.1. Corollary 4.4 correctly includes the existence hypothesis for a physical off-zero mode. The manuscript does not overstate this result as a universal no-go theorem for all real weights.

Section 5's continuum criterion is mathematically coherent. Proposition 5.2 is correct and explicitly notes that continuum stability can be weaker and sometimes vacuous for roots staying away from the unit circle. The damped-model root identity is correct and usefully explains why fourth-order damping can be invisible in the continuum criterion while second-order damping is not. The proof of Theorem 5.3(i) contains a confirmed algebraic slip in Appendix A.3: the printed D l(4-l) <= 4 R g^2 should be replaced by a correct consequence such as D l(4-l) <= g^2 (R+1)^2, with constants adjusted. The qualitative claim remains plausible after this local correction.

Section 6 contains the main positive chain and the main proof gap. Theorem 6.1 imports the real-space derived weight and its symbol. Proposition 6.4's Laurent-extension logic is sound once the torus identities are granted. Theorem 6.5's decoupling argument is coherent once the imported kernel identity is granted: a nonzero off-zero limit killed by H_1 + i μ W would be killed by the weight and hence be a vertex-move polarization, contradicting the orthogonal physical component. However, this depends on Washburn [1, Thm. 5.6], not on a recomputation in this paper.

Proposition 6.7 is the central unresolved evidence gap. It lists four hard analytic ingredients for the zero-wave cubic bound: even second-order Fierz-Pauli reduction of the Regge symbol at complex covectors, second-order annihilation of long-wave strains by weight rows, an O(|k|^4) reduced Einstein estimate for physical weighted null vectors, and a nonvanishing Krein-form identity. These are asserted as exact facts with explanatory prose rather than proved in the manuscript or tied to precise external theorem statements with matching conventions. Theorem 6.8's contradiction proof is coherent after assuming them, and Theorem 6.9 follows after combining Theorems 6.5 and 6.8, but the headline continuum root-stability theorem is conditional from the submitted evidence.

Theorem 6.10 is also not independently established. The statement requires a complete analytic construction of a transverse fixing, injectivity, surjectivity, invertibility, holomorphy of the pairing F, uniform annulus bounds and constants independent of small b in the stated sectors. The submitted text gives only a high-level sketch and marks the theorem pending independent verification.

Section 7 is appropriately cautious. Theorem 7.1 proves indefiniteness once the two displayed rational cell-form evaluations are granted. Proposition 7.2 is a standard Jensen identity. The transfer-kernel reading and the zero-momentum one-loop remainder discussion are clearly labelled as further inference, not as established consequences of the root-stability theorem.

The manuscript's main required corrections are therefore narrow but consequential: prove or explicitly condition Proposition 6.7 and the theorems depending on it, supply or demote Theorem 6.10, sharpen the proved/imported/pending dependency map for load-bearing theorems and imported symbols, and fix the Appendix A.3 inequality. Objections demanding extra statements that branch existence is open, or that κ = 1 and (I1),(I2) are premises, are already answered by the manuscript and should not be treated as defects.

Significance

The paper is significant within Washburn's recognition-ledger program because it identifies a concrete Gaussian spectral obstruction to using the bare Regge equation as a record-time unitary evolution and proposes a precise weaker continuum root-stability target for the derived-weight equation.

Its significance outside that program is more limited at present. The central positive theorem is not independently established from the submitted manuscript because Proposition 6.7 is unsupported and key derived-weight kernel facts are imported. The contour-suppression theorem and native coupling relation are also marked pending independent verification. Physical interpretation further depends on κ = 1 and two weight identifications that the manuscript correctly treats as premises.

If the missing proofs and certificates are supplied, the paper would provide a useful spectral diagnostic for one Gaussian lattice-gravity proposal. As submitted, it is best read as a partially verified conditional analysis with solid local lemmas, a strong conditional bare-action obstruction, and an unresolved proof burden for the derived-weight continuum result.

Strengths (8)
  1. Definition 2.1 cleanly separates record-time stability, unitarity and record norms from Hilbert-space construction; unitarity correctly forces unimodular record factors and excludes nontrivial Jordan growth at eigenvalue 1.
  2. Theorem 4.1 (common null vectors of Hermitian action and positive-semidefinite weight) is correct linear algebra; Theorem 4.3 and Corollary 4.4 follow under Fourier form and gauge-definiteness.
  3. Proposition 5.2 hierarchy (lattice implies gapped implies continuum) is sound; Definition 5.1 correctly measures growth per unit physical time.
  4. Damped-model root identity is algebraically correct; Theorem 5.3(ii) establishes second-order continuum failure; fourth-order qualitative claim is salvageable after local correction.
  5. Lemma 6.3 Laurent extension and Lemma A.1 pattern exclusion of vertex moves are correct and reusable.
  6. Proposition 7.2 Jensen split is standard and correctly separated from transfer-kernel inference; Theorem 7.1 indefiniteness follows from opposite-sign test fields once evaluations are granted.
  7. Manuscript repeatedly flags kappa=1 and weight identifications (I1),(I2) as premises, marks pending verification, and states that no Hilbert space, interacting transfer or graviton-branch existence is constructed.
  8. Bare growing-mode obstruction (Theorem 3.2) is a coherent conditional negative result once the imported Bloch null vector is granted; rescaling independence (Theorem 3.5) is immediate from the definitions.
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

What evolution does a Lorentzian sum over lattice geometries define? On the recognition ledger the record count of four posting counters supplies a time before geometry is assigned. At Gaussian order, a positive norm preserved by a record tick requires every physical exponential solution to have a unimodular record factor. The bare Regge equation fails: at the identified value κ = 1 a spatially uniform physical solution grows by √2 per tick at every spatial period, and no nonzero rescaling of the action removes it. Its corner doublers also fail the weaker continuum test: an exact physical family decays at a nonzero rate per unit physical time as the spacing shrinks. For the equation with the ledger's derived curvature weight, we prove continuum-limit record-time root stability: log|wₙ|/bₙ → 0 for every non-gauge Gaussian mode family with spacing bₙ → 0⁺ and |wₙ| → 1, at fixed nonzero weight strength. The proof combines decoupling away from the zero wave with a cubic bound on record growth near it. For specified holomorphic, gauge-invariant two-point observables at fixed momentum, contour contributions separated from the unit circle vanish faster than every power of the spacing at nonzero physical time. The native phase coefficient gives a fixed weight strength, independent of spacing. The proofs of the correlator suppression, the bare doubler family and the coupling relation await independent verification. The physical reading retains κ = 1 and two weight identifications as premises. These are spectral statements about a Gaussian equation; no positive physical Hilbert space or interacting unitary evolution is constructed. The proposed record-time Wick rotation ends at an indefinite quadratic form.

Keywords: Recognition Science, quantum gravity, Regge calculus, lattice gravity, unitarity, continuum limit, Wick rotation

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: 53 of 100

technical
36
claim discipline
47
novelty
65
significance
54
reproducibility
65
verification
55
consensus
45
objections
80

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

current recommendation
none yet (review not finished)
rubric
journal-rubric-2026-09-09-v4
verification grade
V1
endorsements
0
objections filed
0
version
1
On the record
pdf sha-256
45471f0d06ce3c67…
bitcoin
block 974,817, 2026-11-06
DigiCert
2026-11-06 14:09 UTC
FreeTSA
2026-11-06 14:09 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:09 UTC by preprint-admission

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