Einstein's Metric Field Equation at Every Order from the Recognition Lattice

The manuscript studies the Lorentzian Regge action on a four-dimensional Kuhn triangulation with fifteen edge classes, with reference family g_kappa = I - kappa 11^T for kappa > 1/2. Its central claim is that the metric projection of the local spacing-squared residual equals -1/2 times the weight-one contravariant Einstein density, with full nonlinear dependence on a symmetric metric two-jet, throughout a stated regular or star-good domain. Section 1 carefully separates this leading long-wave operator identity from existence or convergence of lattice solutions, and defines the two expansion parameters s (spacing) and epsilon (amplitude) so that at every order means only that the coefficient of s^2 retains the full nonlinear metric dependence. That qualification is repeated when the paper distinguishes the cubic amplitude source from the absent spacing-cubic term of Proposition 4.2. The geometric carrier, action, and physical identifications are treated as model choices rather than theorems derived from comparison cost alone; status labels distinguish independently verified theorems, proof-complete but pending-verification statements, models, identifications, and open targets. These distinctions are a genuine strength of the presentation and prevent several common overclaims in lattice-gravity writing.

The passage from the constant-background linear identity to the nonlinear statement is short and, under its premises, sound. Lemma 3.1 asserts that F Phi_2(g, 0, Q) = -1/2 E(g, 0, Q) for every symmetric star-good constant background. Lemma 3.2 then shows that any two tensor-valued jet functions that are affine in the second jet Q, with Q-linear parts independent of the first jet P, that agree at P = 0, and that both vanish on the flat coordinate-change jet generated by any prescribed symmetric P, necessarily agree for every symmetric (P, Q). The explicit quadratic map phi^a(y) = y^a + (1/2) g^{ar} K_{rbc} y^b y^c pulls a constant metric back to the two-jet (g, P, Q^0) with Q^0 given by (8); both the lattice residual and the continuum curvature vanish on that jet. Theorem 3.3 therefore follows at once once Lemma 3.1 is granted, and no smallness of g - g_kappa, P or Q is required beyond membership in the star-good chamber. Re-derivation of the pullback confirms that the first derivative recovers P and the second derivative recovers the displayed Q^0, so the flat-jet reduction itself is free of algebraic error. The same affine structure appears in the continuum curvature formula (6), so the argument is not special to one side.

The remaining premise is the finite constant-background contraction of Lemma 3.1. Appendix A supplies the supporting identities: edge averages that differ from midpoint readings only by class-constant fields annihilated by the metric pairing (34), simplex fits recovered from ten edge readings without an incidence table, the telescoping hinge identity (36)-(37) that cancels cyclic angle denominators, the two-triangle plane sums (38), the complementary-minor and curvature identities (40), the tabulated annihilators m1, m2 for the twenty-five planes, the curvature forms f_P = 3 c_P/4, and the final polynomial identity (42) that contracts the plane sum to the Einstein tensor. The verification recipe reduces an algebraic curvature tensor to its twenty independent pair-pair components, sets each component to one in turn, and compares cubic polynomials in the symmetric entries of gamma = g^{-1}, linear in the test matrix B. This is a plausible exact finite route, and the final contraction has the expected structure. However, the manuscript does not supply machine-readable incidence data, a symbolic script, or coefficient-by-coefficient certificates. Without those artifacts the central finite identity remains only partially checked; it is not a confirmed defect, but it is the principal reproducibility gap for Theorem 3.3 (validated objections O1, O6, O11, O19). Proposition 3.4 extends the identity to every regular background by continuity and discreteness of deficits (values in 2 pi Z), with independent verification still pending; the argument is formally short once the local linear calculation is available near a regular flat placement, yet the Lorentzian branch conventions for dihedral angles are not specified in enough detail for an independent reader to certify the path statement (O9, O15, O23).

Section 4 records what the remaining five internal combinations and spacing errors require. Proposition 4.1 shows local surjectivity of the constant-class residual map H0 onto ker F near g_kappa, conditional on invertibility of H0 + V V^T at the reference (V the fifteen-by-ten matrix of constant metric strains). The linear-algebra implication is correct: for u in ker F one solves (H0 + V V^T) zeta = u, applies V^T, and uses F H0 = 0 together with injectivity of V^T V to conclude H0 zeta = u. The numerical fact that the matrix is invertible at g_kappa is asserted but not demonstrated by a reproducible calculation in the text (O18, O26). Proposition 4.2 correctly excludes an s^3 term in the edge-centered midpoint sampling expansion by evenness under s to -s and Taylor remainder control on a compact tube of admissible stencils; the argument assumes the residual is orientation-independent after centering, which should be stated explicitly. Theorem 4.3 is the standard contracted Bianchi identity for the weight-one density (5); multiplication of nabla_mu G^{mu nu} = 0 by sqrt|det G| converts the first-index divergence into an ordinary divergence and leaves the connection term on the remaining contravariant index, exactly as written in (12). The discussion correctly explains why a metric-dependent matter stress cannot be replaced by a fixed source without accounting for constraint forces.

The second-order matter result, Theorem 5.1, is stated as independently verified for a highly specific static worldline-support carrier. The continuum dust, compensation, support and virial densities are given explicitly in (14)-(16) and (19)-(21); the jet norm, support-response matrix P(u), and least-work flat-reference carrier appear in Section 5.2 and Appendix B. The continuum residual bound (22) and the lattice edge-reading bound (23) are claimed with N to infinity first at fixed epsilon, uniqueness inside a jet-norm ball, and no free uniform stress. The proof paragraph, however, is only a high-level narrative: it invokes convergence of first and second lattice coefficients, a cubic Ward calculation for the support load, zero-mode virial matching via (16), and uniform remainder control, without supplying the inverse estimates, fixed-point argument, or detailed coefficient calculations (O2, O7, O12, O20, O27). Appendix B defines the exact variational source t_{N,epsilon} with fixed-occupation derivative and stress transport, but does not prove the analytic estimates. If the theorem is imported from the cited earlier work, the precise theorem number and hypothesis match should be given; if it is new here, a complete proof or supplementary verification materials are required. The later constant-strain balance (24) inherits the same gap (O28). The count-versus-stress pricing comparison (25) is carefully scoped and does not overclaim a constitutive response under arbitrary metric variation. The inference that a count-priced construction may differ at higher order is left open, which is appropriate.

At third order the paper correctly separates the known gravitational source coefficient from the unfinished solution limit. Proposition 6.1 asserts pointwise matching of the cubic lattice residual against the cubic Einstein coefficient up to an O(|s|^3) remainder, for stencils whose metric pieces are bounded and whose class and remainder pieces are O(s^2) and O(|s|^3) respectively; the finite-mode long-wave statement supplies the needed stencil bounds by Taylor expansion of phases. The proof sketch differentiates the all-order identity at the flat metric and cancels constant, first-spacing and flat/class-constant couplings, but does not display the detailed bookkeeping (O3, O13, O21). Proposition 6.2 is an elementary and correct Fourier-phase estimate under its supplied row and pointwise-error hypotheses; the manuscript rightly notes that it does not by itself establish those hypotheses for actual solution coefficients. Section 7 then states precise open targets for a third-order continuum/lattice limit and for a full nonlinear solution limit (28)-(29), retaining the finite-spacing consistency conditions that an exact construction must satisfy. Theorem 7.1 and Proposition 7.2 record exact local obstructions: a first-order field (wrapped cubic potential with slaved internal correction, or the explicit infinite-lattice field (31)) whose second-order vertex-move defect is nonzero (756 sqrt(3)), so that no quadratic correction can cancel the thirty incident rows. The infinite-lattice statement is explicit; the finite side-eight statement still lacks fully listed components for the vertex move z and the slaved correction, so the numerical value is not reproducible from the printed text alone (O4, O14, O22, O29). These obstruction results are valuable precisely because they keep finite-spacing compatibility visible rather than hiding it behind continuum language; they concern different operators and data from the long-wave identity and the second-order matter theorem, so the three can coexist.

Relative to prior literature the paper cites Regge (1961), Freudenthal (1942) and Kuhn (1960) for the carrier, and the author's earlier Zenodo work for the long-wave theorem. The reference audit found no identity mismatches or integrity flags. The broader Regge-calculus consistency and convergence literature (for example Cheeger-Muller-Schrader on curvature of piecewise-flat spaces, and later linearization and continuum-limit analyses) is not discussed. That omission does not invalidate the finite identities claimed here, but it leaves the novelty and scope of the exact Kuhn-lattice leading-coefficient result incompletely situated (O5, O10, O17, O25; editorial preference only). Status labels are useful bookkeeping but are not mathematical evidence without receipts (O8, O16, O24; editorial preference). Overall the flat-jet reduction, Bianchi identity, elementary Fourier estimate, and the careful separation of proved identities from open solution problems are solid. The principal barriers to acceptance are reproducibility of the finite contraction behind Lemma 3.1, the missing detailed proof of Theorem 5.1, incomplete verification data for the cubic source and the finite obstruction, underspecified Lorentzian branch/domain data for Proposition 3.4, and the missing invertibility check for Proposition 4.1. Supplying machine-readable tables or scripts for the Appendix A contraction, a complete proof or precise external citation for the second-order matter theorem, explicit finite data for the obstruction, branch conventions for deficits, and a short discussion of standard Regge consistency results would address the major gaps without altering the mathematical claims that are already correctly scoped.

If the finite hinge contractions and the second-order matter theorem hold under the stated premises, the work would give a clean exact leading Einstein operator on this fixed Kuhn carrier rather than only a heuristic continuum-limit statement, and it would usefully delineate which solution and matter claims remain open. The flat-jet reduction is a genuine technical contribution under its hypotheses. At present the significance is conditional: several central calculations and the major solution theorem are not yet supplied in fully auditable form, so the paper is best read as a carefully scoped consistency analysis of one lattice model rather than a completed derivation of continuum gravity from first principles.

1. Lemma 3.2 flat-jet reduction is re-derived and sound: the quadratic map and Q0 pull a constant metric to the stated two-jet, and affinity plus vanishing on that jet lifts P=0 agreement to all symmetric (P,Q).
2. Theorem 3.3 correctly reduces the nonlinear metric identity on star-good backgrounds to Lemma 3.1 plus flat-jet vanishing, with no extra smallness required beyond domain membership.
3. Section 1 and the open targets consistently separate the s^2 metric operator identity from lattice-solution existence, inverse bounds, and full nonlinear convergence.
4. Theorem 4.3 correctly recovers the contracted Bianchi identity for the weight-one contravariant Einstein density.
5. Proposition 6.2 is an elementary and correct Fourier-phase estimate under its supplied row bounds.
6. Proposition 4.1 linear-algebra implication is correct conditional on invertibility of H0+VV^T.
7. Appendix B gives an explicit variational definition of the finite-lattice matter source used in the second-order model.
8. Exact local obstruction statements keep finite-spacing compatibility visible; the infinite-lattice field (31) is explicit.
9. Physical identifications (kappa=1, worldline support, count versus stress pricing) are labeled as models rather than smuggled theorems.
10. Reference integrity audit verified Regge 1961, Freudenthal 1942, Kuhn 1960, and the cited Zenodo deposit with no mismatches or retractions.

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

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.