pith. machine review for the scientific record. sign in

MDPI Entropy: entropy-28-477 · published 2026-04-20 · 🌌 astro-ph.GA · gr-qc· physics.gen-ph

Recognition: 9 theorem links

· Lean Theorem

A Discrete Informational Framework for Classical Gravity: Ledger Foundations and Galaxy Rotation Curve Constraints

Megan Simons , Elshad Allahyarov , Jonathan Washburn
Authors on Pith 2 claimed

Pith reviewed 2026-05-06 02:14 UTC · model claude-opus-4-7

classification 🌌 astro-ph.GA gr-qcphysics.gen-ph PACS 04.50.Kd98.62.Dm95.35.+d
keywords modified gravitygalaxy rotation curvesSPARCfractional calculusNewton-Poisson equationdiscrete exterior calculusgolden ratioinfrared modification
2
0 comments X

The pith

A discrete ledger account of gravity fixes an infrared kernel exponent at α=(1−φ⁻¹)/2≈0.191 with no per-galaxy freedom and tests it against 147 SPARC rotation curves.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper builds a weak-field, quasi-static gravity response from the bottom up, treating spacetime relations as a discrete information ledger with a uniquely selected closure cost. In the instantaneous limit this reproduces Newton's law; allowing the ledger to equilibrate at finite speed introduces fractional memory and turns the Poisson source-to-potential relation into a power-law kernel in Fourier space. The two non-trivial numbers in that kernel — the exponent ≈0.191 and the amplitude ≈0.382 — are not fit, they are read off from the self-similar structure of the closure and from a channel-counting argument, and both involve the golden ratio. The authors then deliberately tie their own hands: no per-galaxy mass-to-light tuning, conservative errors, a single multiplicative surrogate for the nonlocal disk operator, and ask whether the prediction survives 147 SPARC galaxies. It does, in the sense of beating a similarly constrained NFW baseline while not matching MOND under the same rules. A sympathetic reader cares because this is a parameter-free infrared modification proposed as a falsifiable scaling window rather than a fitted phenomenology.

Core claim

Starting from a discrete, cost-first ledger formulation of gravity whose closure cost is fixed by a reciprocal symmetry argument, the authors recover Newton–Poisson in the instantaneous-closure limit and then ask what happens when closure is allowed to take finite time. Under two scale-free assumptions — power-law latency in the response and a causal linear frequency–wavenumber relation ω∝k — the source–potential relation acquires a fractional-memory correction whose Fourier kernel is 1+C(k₀/k)^α. Self-similarity of the closure recursion fixes the exponent to α=(1−φ⁻¹)/2 ≈ 0.191, and a three-channel factorization argument identifies the amplitude as C=φ⁻² ≈ 0.382. With those numbers held fix

What carries the argument

The Recognition Composition Law together with ledger axioms AX1–AX5 selects a reciprocal closure cost; allowing finite-time closure under scale-free latency (AS1) and a causal ω(k)∝k refresh (AS2) turns the linear response into a power-law kernel w(k)=1+C(k₀/k)^α. Self-similarity of the closure recursion (decomposed into two serial sub-loops with fractional-order composition) is what pins the exponent to α=(1−φ⁻¹)/2; a separate three-channel factorization fixes the amplitude at φ⁻².

If this is right

  • The infrared deviation from Newton has a fixed shape and amplitude: any rotation-curve dataset that prefers a power-law kernel with a markedly different exponent would falsify the construction.
  • Galactic phenomenology can be addressed without per-galaxy dark-matter halos or per-galaxy mass-to-light tuning, leaving only a global scale k₀.
  • The framework predicts a regime, not a Solar System law: it must be combined with UV regularization or screening before being compared to terrestrial or planetary tests.
  • Because Newton–Poisson re-emerges in the instantaneous-closure limit, standard weak-field results survive wherever ledger equilibration is effectively immediate.
  • A relativistic completion of the same ledger should inherit the same α and C, providing a sharp consistency check between cosmological-scale and galactic-scale fits.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The strict global-only fit is genuinely informative: with α and C frozen, a single global k₀ has very little room to absorb mismodelling, so the median χ²/N of 3.06 reflects the model's actual shape rather than parameter freedom.
  • Replacing the multiplicative surrogate by the full nonlocal disk operator should shift fits in a predictable direction; if it worsens them, the surrogate is doing hidden work and the kernel itself is weaker than the headline number suggests.
  • The same kernel should leave a quantitative imprint on weak-lensing profiles and on the radial-acceleration relation; consistency or tension across those independent probes is the natural next discriminant.
  • The dependence of α on a 'two serial sub-loops' choice means the construction effectively predicts a small discrete family of exponents (n=1,2,3,…); empirical scans for the preferred exponent become a direct probe of that combinatorial structure.

Load-bearing premise

The kernel's predicted exponent rests on three stacked choices — that the ledger's memory has no characteristic timescale, that its refresh law is causal-linear in wavenumber, and that the self-similar closure splits into exactly two serial sub-loops — and the paper does not derive any of them from gravitational first principles.

What would settle it

Re-fit the SPARC sample (or any comparable rotation-curve set) under the same strict global-only protocol while letting α float: if the best-fit exponent lands far from 0.191, or if replacing the scale-free latency by an exponential memory or replacing ω∝k by ω∝k² gives equally good or better fits, the structural derivation of α loses its predictive content.

Figures

Figures reproduced from MDPI Entropy: mdpi/entropy-28-477 by Elshad Allahyarov, Jonathan Washburn, Megan Simons.

Figure 1
Figure 1. Figure 1: High-level schematic of the informational framework: the Recognition Composition Law uniquely fixes the cost structure, and together with MP and axioms AX1–AX5, it specifies the discrete ledger scaffold. Normalization in the refinement limit recovers the Poisson baseline, while finite equilibration introduces a scale-free kernel constrained by derived parameters. Color key —grey: structural inputs (MP, axi… view at source ↗
Figure 2
Figure 2. Figure 2: Reciprocal cost J ( x) and its near-equilibrium limit: J ( x) = 1 2 ( x + x − 1) − 1 is reciprocal with a unique minimum at x = 1, and J ( 1 + ε) ≈ ε 2 / 2 yields the Dirichlet energy (Poisson) baseline in the refinement limit. view at source ↗
Figure 3
Figure 3. Figure 3: Scale-free latency implies heavy-tailed memory. Under this hypothesis the memory weight is heavy-tailed (a power law), so very old unclosed transactions retain non-negligible influence compared with an exponential (single-timescale) decay. This correspondence is represented by fractional operators in a linear response. view at source ↗
Figure 4
Figure 4. Figure 4: Scale-dependent weak-field response modifier w ker ( k) under the scale-free latency hypothesis (AS1) and the causal closure ansatz (AS2). The kernel w ker ( k) = 1 + C ( k 0 / k) α enhances the effective source at small k (large scales, k ≪ k 0) while approaching the Newtonian baseline w ker → 1 at large k (small scales, k ≫ k 0). view at source ↗
Figure 5
Figure 5. Figure 5: Observed vs. model-predicted rotation velocities for all 147 SPARC galaxies (2933 data points) under strict global-only protocol (fixed M / L = 1, no per-galaxy tuning). Each panel shows v obs vs. v model scatter for one model: DIF (( left), blue), MOND (( center), green), and a strict global-only Λ CDM/NFW benchmark (( right), red). Dashed line shows 1:1 correspondence. view at source ↗
Figure 6
Figure 6. Figure 6: Distribution of normalized residuals ( v obs − v model) / σ tot for all 147 SPARC galaxies (2933 data points) under strict global-only protocol (fixed M / L = 1, no per-galaxy tuning). Each panel shows one model: DIF (( left), blue), MOND (( center), green), and a strict global-only Λ CDM/NFW benchmark (( right), red). Histogram shows data distribution (colored bars), smooth fitted curve tracing histogram … view at source ↗
Figure 7
Figure 7. Figure 7: Representative SPARC rotation curves (DDO064, F574-1, NGC2403, NGC3198, NGC5055) under the strict global-only protocol (fixed M / L = 1, no per-galaxy tuning). Black points: SPARC data with v err error bars. Gray dashed: Newtonian baryonic template v baryon. Blue: DIF surrogate (Equation ( 9), A = 0.38, α = 0.19, r 0 = 12 kpc). Green: MOND ( a 0 = 1.2 × 10 − 10 m/s 2, standard ν interpolation). Red: strict… view at source ↗
Figure 8
Figure 8. Figure 8: Predicted rotation-curve enhancement from the derived kernel parameters. The enhancement grows as x α in v 2 (solid) and as 1 + C x α in v (dashed), with C = φ − 2 ≈ 0.382 and α ≈ 0.191. The transition radius r 0 is the single remaining dimensional input. view at source ↗
Figure 9
Figure 9. Figure 9: Predicted scale-dependent enhancement of the circular velocity v / v baryon = 1 + C x α as a function of x = r / r 0, evaluated at the derived values C = φ − 2 ≈ 0.382 and α ≈ 0.191 (Equation ( 18)). view at source ↗
Figure A1
Figure A1. Figure A1: Inverse-Hankel reconstruction accuracy for the five representative SPARC galaxies used in this appendix. Each panel compares the input baryonic velocity profile v baryon ( R) with the velocity reconstructed from the w = 1 (identity kernel) Hankel round-trip, verifying that the numerical pipeline reproduces the Newtonian input to high accuracy before any kernel modification is applied. view at source ↗
Figure A2
Figure A2. Figure A2: Representative comparison between the multiplicative surrogate used in Section 6 and the operator-level axisymmetric nonlocal response for the five galaxies shown in Figure 7. In each panel, the operator-level curve is obtained by inverse-Hankel reconstruction of the Newtonian baryonic acceleration field and application of the kernel w ker ( k) = 1 + C ( k 0 / k) α with C = 0.38, α = 0.19, and r 0 = 12 kp… view at source ↗
read the original abstract

The weak-field, quasi-static regime of gravity is commonly described by the Newton–Poisson equation as an effective response law. We construct this response within a cost-first discrete variational framework. The Recognition Composition Law (RCL) uniquely selects a reciprocal closure cost within the restricted quadratic symmetric composition class; together with the discrete ledger axioms AX1–AX5 (including conservation) and standard DEC refinement, the Newton–Poisson baseline is then recovered in the instantaneous-closure limit. Conditional on Assumption AS1 (scale-free latency) and Assumption AS2 (causal frequency–wavenumber ansatz), allowing finite equilibration introduces fractional memory into the response, yielding a scale-free modification of the source–potential relation characterized by a power-law kernel w ker ( k ) = 1 + C ( k 0 / k ) α in Fourier space. The kernel exponent α = 1 2 ( 1 − φ − 1 ) ≈ 0.191 , where φ = ( 1 + 5 ) / 2 , is derived from self-similarity of the discrete ledger closure; the amplitude C = φ − 2 ≈ 0.382 is identified as a hypothesis from a three-channel factorization argument. We evaluate this quasi-static kernel-motivated response against SPARC galaxy rotation curves under a strict global-only protocol (fixed M / L = 1 , no per-galaxy tuning, conservative σ tot ), using a controlled multiplicative surrogate for the full nonlocal disk operator implied by the kernel. In this deliberately over-constrained setting, the surrogate interface achieves median ( χ 2 / N ) = 3.06 over 147 galaxies (2933 points), outperforming a strict global-only NFW benchmark and remaining less efficient than MOND under identical constraints. The analysis is restricted to the non-relativistic, quasi-static sector and should be read as a falsifier-oriented galactic-regime consistency check of the scaling window, not as a relativistic completion or a claim of Solar System viability without additional UV regularization/screening.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

4 major / 8 minor

Summary. The paper develops a "Discrete Informational Framework" (DIF) in which a Recognition Composition Law (RCL) selects a unique reciprocal closure cost J(x) within a quadratic symmetric class, ledger axioms AX1–AX5 imply discrete double-entry conservation and exactness, and DEC refinement recovers Newton–Poisson in the instantaneous-closure limit (Theorem 1). Allowing finite equilibration under two phenomenological assumptions — scale-free latency (AS1) and a causal refresh law ω_eff∝k (AS2) — yields a Fourier-space source-side kernel w_ker(k)=1+C(k₀/k)^α (Derived Result 1). The paper argues that self-similarity of the closure recursion structurally selects α=½(1−φ⁻¹)≈0.191 (§7.1), and offers C=φ⁻²≈0.382 as a labeled hypothesis from a three-channel factorization (§7.2). A controlled multiplicative surrogate of the kernel is then evaluated against 147 SPARC galaxies (2933 points) under a strict global-only protocol (fixed M/L=1, no per-galaxy tuning), giving median(χ²/N)=3.06 with (A,α,r₀)=(0.38,0.19,12 kpc), intermediate between MOND (2.01) and a strict global-only NFW benchmark (5.27). Appendices document operator-vs-surrogate validation and sensitivity of the surrogate fit to objective choice.

Significance. If the central derivation withstood scrutiny, a parameter-free infrared exponent for a kernel modification of Poisson with a single dimensional input r₀ would be a noteworthy contribution to the modified-gravity/effective-field literature — sharper than purely phenomenological MOND-style interpolations on the IR slope. The manuscript has several real strengths that should be credited: (i) it states its phenomenological inputs explicitly (AS1, AS2 are flagged as not derived from gravitational first principles); (ii) it labels C=φ⁻² as a hypothesis rather than a theorem; (iii) it ships an explicit operator-level vs surrogate cross-check (Appendix F) and a sensitivity re-optimization study (Appendix E) that disclose where the surrogate fit is fragile; (iv) it states explicit falsification routes (§7.6, §8.2); and (v) the strict global-only protocol with fixed M/L=1 is a real self-imposed constraint, not a token one. The empirical result (median χ²/N=3.06 on 147 galaxies with three globally shared parameters, beating a global-only NFW baseline) is a reasonable galactic-regime viability check given the protocol.

major comments (4)
  1. [§7.1, Eqs. (12)–(14) and Remark 1] The headline that α=½(1−φ⁻¹) is 'structurally selected' by self-similarity is, by the paper's own Remark 1, conditional on the decomposition multiplicity n=2 (giving 2α=1−φ⁻¹) and on the serial-multiplicative fractional-order composition rule. A different multiplicity n yields nα=f_inc and therefore a different exponent; nothing in §7.1 derives n=2 from RCL+AX1–AX5. The abstract and §9 nonetheless describe α as 'derived'. Either (a) supply a derivation that fixes n=2 from the ledger structure independently of the answer, or (b) align the language in the abstract, §1, §7.1, and §9 with Remark 1, e.g. 'α is selected within the two-sub-loop self-similar closure recursion adopted here'. As written this is load-bearing because the numerical prediction α≈0.191 carries the empirical consistency claim.
  2. [§7.4 and Abstract; cf. Appendix E, Table A1] The 'non-trivial consistency test' that fitted A=0.38 matches predicted C=φ⁻²≈0.382 is overstated as presented. Appendix E shows that when (A,α,r₀) are jointly optimized under the manuscript's own stated global-only objectives, L₁=χ²/ν drives α to the search-boundary value 1.00 (A=1.68, r₀=80 kpc) and L₂=median(χ²/N) drives α to 0.63 (A=1.39, r₀=4.3 kpc). Neither freely prefers α≈0.19. The (A=0.38, α=0.19, r₀=12 kpc) values reported in §6.2/Table 2 therefore correspond to evaluating the surrogate at theory-target α with A as the only effectively free amplitude — not to a free three-parameter fit recovering the theory point. Please either (i) report a freely optimized fit that selects α≈0.19, or (ii) reword §7.4 and the abstract so that the agreement A↔C is described as a one-parameter consistency check at fixed α, not as a non-trivial joint match.
  3. [Appendix F, Table A2] Appendix F undercuts the headline numerical agreement A≈C in a way the main text does not propagate. Projecting the operator-level Hankel response onto the surrogate form at fixed α=0.19, r₀=12 kpc gives A_eff=0.517–0.535 across the five test galaxies (median 0.526), i.e. ~36% above φ⁻²≈0.382. So the surrogate's A=0.38 only matches C=φ⁻² because the multiplicative ansatz under-counts amplitude relative to the operator-level disk convolution implied by the same kernel. The abstract, §7.4, and §9 should be revised to acknowledge that the operator-level test of the C=φ⁻² hypothesis on these systems is closer to ~0.52, and that the present near-equality A≈C is partly an artifact of the surrogate's normalization.
  4. [§5.1 and Derived Result 1] The kernel form rests on AS1 (scale-free latency) and AS2 (ω_eff∝k). The text correctly notes that diffusive (ω∝k²) or stretched/exponential memory laws give different kernels. Given that the falsification targets in §7.6 and §8.2 are stated relative to (α, C), it would strengthen the manuscript to state, even briefly, what observable would distinguish the AS1+AS2 kernel from the m=2 (diffusive) or β≠α alternatives within the same SPARC-style protocol. Without this, the falsification claim against the framework is effectively a falsification claim against the (α≈0.19, C≈0.38) point only, not against AS1+AS2 as a class.
minor comments (8)
  1. [Abstract] The phrase 'derived from self-similarity of the discrete ledger closure' should be qualified to match Remark 1 ('within the two-sub-loop closure recursion adopted here').
  2. [Table 1] The notation w is used both for an integer 1-cochain and for the Fourier-space kernel multiplier w_ker(k). The footnote acknowledges this; consider renaming one (e.g. K(k) for the kernel) to reduce ambiguity in §5.
  3. [§6.2, Empirical Result 1] Report the search domain used for (A,α,r₀) in the strict global-only fit explicitly in the main text, not only in Appendix E; otherwise the reader cannot tell that α=0.19 in §6.2 is a fixed evaluation point rather than a free optimum.
  4. [§7.2] The three-channel factorization argument leading to C=φ⁻¹·φ⁻¹=φ⁻² is delegated to ref. [49]. A short self-contained sketch (one paragraph) would help; as written, the derivation is essentially deferred to a companion paper.
  5. [Appendix D, Eq. (A4)–(A5)] The σ_tot hyperparameters (σ₀=10 km/s, f_floor=0.05, etc.) are fixed without justification or sensitivity analysis. Since χ² values depend on these, a brief note on why these specific values were chosen, or a single sensitivity check varying one of them, would strengthen reproducibility.
  6. [§9 Conclusions] The Solar System estimate Δ(1 AU)~6×10⁻³ vs Cassini |γ−1|~10⁻⁵ is a useful disclosure, but the discussion of the UV regulator F(k/k_UV) is non-constructive. Stating even one explicit family for F (e.g., a Gaussian or Yukawa-type cutoff) would make the falsifiability claim concrete.
  7. [§7.1, Eq. (13)] The serial-composition rule (iω)^{−α}(iω)^{−α}=(iω)^{−2α} is correct for two independent fractional channels in series, but the identification of two physical sub-loops at scales ℓ and ℓ/φ as 'independent serial fractional channels of equal order α' is an additional modeling assumption that deserves a sentence of motivation.
  8. [Figure 1] The color-coded provenance figure is helpful. Consider adding the n=2 decomposition choice as an explicit orange node, since by the paper's own Remark 1 it is a phenomenological input on par with AS1/AS2.

Simulated Author's Rebuttal

4 responses · 0 unresolved

We thank the referee for a careful, constructive report that engages directly with the load-bearing claims of the manuscript. The four major comments are well-taken and, in our view, point at the same underlying issue: the manuscript at present overstates the degree to which the headline numerical agreement (A≈C, α≈0.19) constitutes an independent confirmation of the theory targets, when in fact the agreement is conditional on (i) a specific decomposition multiplicity n=2 in the self-similar closure recursion, (ii) evaluation of the surrogate at fixed α rather than free three-parameter optimization, and (iii) the multiplicative surrogate's amplitude normalization, which Appendix F shows differs from the operator-level value by ~36%. We accept all four points and will revise the abstract, §1, §7.1, §7.2, §7.4, §8.2, and §9 accordingly. The structural and empirical content of the paper — RCL-fixed cost, ledger axioms, DEC bridge to Poisson, AS1+AS2 kernel, strict global-only SPARC benchmark with disclosed sensitivities — is unchanged; what changes is the epistemic framing of α and C. No standing objections; each comment can be addressed in revision.

read point-by-point responses

  1. Referee: α=½(1−φ⁻¹) is described as 'derived' in abstract and §9, but Remark 1 makes clear it is conditional on decomposition multiplicity n=2 and the serial-multiplicative composition rule. Either derive n=2 from RCL+AX1–AX5, or align the language to say α is selected within the two-sub-loop self-similar closure adopted here.

    Authors: We accept this point. We do not at present have a derivation of n=2 from RCL+AX1–AX5 alone that is independent of the answer; the two-sub-loop decomposition is built on the closure identity φ²=φ+1, but this identity itself encodes the binary split, so calling α 'derived' without that qualifier overstates the result. We will pursue option (b): the abstract, §1, §7.1, and §9 will be revised to state that α is 'structurally selected within the two-sub-loop self-similar closure recursion adopted here,' with explicit cross-reference to Remark 1. We will also add a sentence to §7.1 making the conditional dependence on n explicit: 'For a different decomposition multiplicity n, the same composition rule yields nα=1−φ⁻¹, so the present value α≈0.191 is conditional on n=2.' This preserves the structural content of the argument while removing the unconditional language. A first-principles derivation of n=2 from the ledger dynamics is flagged as open work. revision: yes

  2. Referee: The 'non-trivial consistency test' A=0.38↔C=φ⁻²≈0.382 is overstated: Appendix E shows free joint optimization under L₁ drives α to 1.00 and under L₂ to 0.63. The reported (A=0.38, α=0.19, r₀=12) is therefore an evaluation at theory-target α, not a free three-parameter recovery of the theory point.

    Authors: We agree. Appendix E was included precisely to disclose this sensitivity, but §7.4 and the abstract do not propagate that disclosure with sufficient force. We will revise §7.4 to state explicitly that the comparison A↔C is a one-parameter consistency check evaluated at the theory-target α and r₀, not a free three-parameter fit that independently selects α≈0.19. The abstract will be reworded to describe the SPARC result as 'consistent with the theory-target values at fixed α' rather than as an empirical recovery of them. We will also add a sentence to §7.4 noting that the heavy-tailed residual structure under global-only constraints causes L₁ and L₂ to be driven by surrogate-mismatch absorption rather than by the underlying scaling-window exponent — which is itself an argument for treating the surrogate fit as an interface diagnostic rather than a measurement of α. revision: yes

  3. Referee: Appendix F shows that projecting the operator-level Hankel response onto the surrogate form at fixed α=0.19, r₀=12 kpc gives A_eff=0.517–0.535 (median 0.526), ~36% above φ⁻²≈0.382. The near-equality A≈C in the main text is therefore partly an artifact of the surrogate's normalization. Abstract, §7.4, and §9 should acknowledge this.

    Authors: We agree, and we thank the referee for stating this so cleanly. Appendix F was written to make exactly this disclosure auditable, but the main text does not currently carry the implication forward. We will revise: (i) the abstract will note that the operator-level amplitude on the five-galaxy validation subset is A_eff≈0.52, not 0.38, so the apparent A≈C agreement is mediated by the multiplicative surrogate; (ii) §7.4 will state that the operator-level test of the C=φ⁻² hypothesis on these systems gives A_eff~0.52 and is therefore in tension with φ⁻² at the ~36% level, not in agreement; (iii) §9 will be reworded to describe the C=φ⁻² hypothesis as 'currently disfavored at the operator level on the five-galaxy subset' rather than as supported by the surrogate fit. We will also add a sentence indicating that a full-sample operator-level refit is the appropriate next step before any claim about C is upgraded. revision: yes

  4. Referee: The kernel rests on AS1+AS2; alternative memory laws (diffusive m=2, stretched/exponential) give different kernels. The §7.6/§8.2 falsifiers target only (α,C); they would strengthen if they stated what observable distinguishes AS1+AS2 from m=2 or β≠α within the same SPARC-style protocol.

    Authors: Agreed; this is a useful sharpening. We already note in §5.1.2 that w_ker(k)−1∝k^(−mβ) for general (m,β), but we do not translate this into an SPARC-protocol falsifier. In revision we will add a paragraph to §7.6 (and a parallel item to §8.2) stating: under the same global-only protocol, the diffusive case (m=2, β=α) predicts an outer-disk enhancement Δ(R)∝R^(2α)≈R^0.38 versus the present R^α≈R^0.19 — roughly a factor-of-two steeper outer-rise — which is distinguishable in the SPARC outer-disk slope distribution at current precision. Similarly, an exponential (single-timescale) memory law produces a Yukawa-like kernel with no power-law outer rise and is excluded by the observed flat/rising rotation curves at large R. This converts the falsification claim from 'against the (α≈0.19, C≈0.38) point' to 'against the AS1+AS2 scaling class versus the m=2 and exponential alternatives,' which is what the referee asks for. revision: yes

Circularity Check

4 steps flagged

Partial circularity: the headline "A=0.38 ≈ C=φ⁻²≈0.382 is a non-trivial consistency test" is undermined by the paper's own Appendix E (free optimization does not select α≈0.19) and Appendix F (operator-level needs A_eff≈0.52); load-bearing uniqueness/amplitude claims defer to companion self-citations [48,49].

specific steps
  1. fitted input called prediction [§7.4 vs Appendix E (Table A1)]
    "comparing the fitted A = 0.38 with the predicted C ≈ 0.382 constitutes a non-trivial consistency test. ... L1 = χ²/ν: A=1.6833, α=1.0000, r0=80.57 ... L2 = median(χg²/Ng): A=1.3878, α=0.6323, r0=4.28"

    The §7.4 claim treats A=0.38 as the outcome of a free fit that 'non-trivially' lands on C=φ⁻²≈0.382. Appendix E shows that when (A,α,r₀) are actually optimized against SPARC under the paper's own stated objectives, neither objective selects α≈0.19 or A≈0.38; both drive the parameters far from the theory targets. The (A=0.38, α=0.19, r₀=12 kpc) values used in Table 2/§6.2 are therefore not the result of an objective-aligned global fit but a theory-anchored evaluation. The 'consistency test' between A and C is thus largely forced by the protocol.

  2. self definitional [Appendix F, A_eff table]
    "Fitting the operator-level curves to the surrogate form with fixed α = 0.19 and r0 = 12 kpc yields effective amplitudes in the range A_eff = 0.517–0.535, with median A_eff = 0.526."

    The numerical match A=0.38 ≈ C=0.382 highlighted in §7.4 is partly an artifact of the multiplicative surrogate's amplitude convention. The paper's own operator-level check shows the disk-convolution amplitude required to reproduce the same response is ≈0.52, ~36% off the φ⁻² hypothesis. So 'A≈C' is a property of the surrogate normalization at fixed (α, r₀), not an operator-level prediction.

  3. uniqueness imported from authors [Proposition A1 / §7.2 amplitude argument]
    "Proposition 1 (Reciprocal closure cost (from RCL [48,49]; proved in Appendix A)) ... The formal argument [for C=φ⁻²] is developed in the companion framework exposition [49]."

    The 'unique' selection of the reciprocal cost J(x) and the three-channel factorization yielding C=φ⁻² are both deferred to companion papers [48,49] by overlapping authors (Pardo-Guerra, Simons, Thapa, Washburn; Washburn, Rahnamai Barghi). These citations are load-bearing for the uniqueness language and the specific φ⁻² value, but are not machine-checked or externally verified within this paper. Mitigated by the authors' explicit downgrading of C to a 'hypothesis, not a theorem.'

  4. ansatz smuggled in via citation [§7.1, Equation (13) and Remark 1]
    "the parent loop is represented as the serial closure of exactly two sub-loops, so we equate the effective order to the incomplete-closure fraction: 2α = f_inc = 1 − φ⁻¹ ... If a different decomposition multiplicity n were forced by the closure recursion, the same composition rule would give nα = f_inc."

    The numerical value α≈0.191 depends on the choice n=2 for the multiplicity of serial sub-loops. The paper acknowledges (Remark 1) that any other n yields nα=1−φ⁻¹ and a different exponent. The selection n=2 is asserted from the φ²=φ+1 two-scale identity but is not independently derived; combined with AS1 and AS2 (also flagged as phenomenological), the headline α value is conditional on three stacked ansätze. Not strictly circular, but the 'derived' label overstates the structural status.

full rationale

The structural derivation of α=(1−φ⁻¹)/2 from the two-sub-loop closure has independent algebraic content (and the paper itself flags AS1, AS2, and the n=2 multiplicity as ansatz-dependent in Remark 1 and §5.1.2), so that step is conditional rather than circular by construction. Newtonian normalization is openly declared an EFT matching, not a prediction. The genuine circularity sits elsewhere, in two specific places. (1) §7.4 frames the comparison "fitted A=0.38 vs predicted C≈0.382" as a "non-trivial consistency test." But Appendix E reports that when (A,α,r₀) are actually optimized under the paper's stated global-only objectives, L₁=χ²/ν drives α to the search boundary (α=1.0, A=1.68, r₀=80 kpc) and L₂=median(χ²/N) drives α=0.63 (A=1.39, r₀=4.3 kpc). Neither selects (A≈0.38, α≈0.19). The authors then reinterpret Appendix E as a "sensitivity diagnostic," which means the (A=0.38, α=0.19, r₀=12 kpc) reported in §6.2/Table 2 are not the outcome of an objective-aligned free fit; they are the theory-target α inserted with an amplitude that happens to land near C=φ⁻². The "non-trivial" agreement is therefore largely tautological under this protocol — a fitted-input-called-prediction pattern (kind 2) softened only by the fact that the authors disclose the tension. (2) Appendix F shows that projecting the operator-level Hankel response onto the surrogate (with α=0.19, r₀=12 kpc fixed) yields A_eff = 0.517–0.535, not 0.38. So the apparent A≈C agreement is partly an artifact of the multiplicative surrogate's amplitude renormalization; the operator-level disk would need C≈0.52, ~36% off φ⁻². The paper's own §8.1 concedes "amplitude-level and morphology-dependent differences remain." (3) The uniqueness of the RCL cost (Proposition A1, "from RCL [48,49]") and the three-channel factorization yielding C=φ⁻² ("developed in the companion framework exposition [49]") rest on self-citations to companion papers by overlapping authors. These are load-bearing for the "uniquely selects" and "C=φ⁻²" language but are not machine-checked or externally verified; the C value is at least labeled a "hypothesis" rather than a theorem, which limits the damage. Overall this is partial, disclosed circularity, not a full reduction. Score 5: the central α derivation has independent (if ansatz-conditional) structural content, but the marquee "A matches C" consistency claim reduces to a theory-anchored protocol once Appendices E and F are taken seriously.

Axiom & Free-Parameter Ledger

5 free parameters · 7 axioms · 3 invented entities

The central claim rests on a tower of author-defined structures (RCL, AX1–AX5, AS1, AS2, two-sub-loop decomposition, three-channel factorization). The Poisson recovery is a normalization match, the α derivation depends on a chosen decomposition multiplicity, and the empirical test fits A and r₀ via a surrogate while comparing post-hoc to a predicted C. The headline free-parameter count (A, α, r₀) is small, but the structural ledger plus phenomenological assumptions add several non-falsifiable inputs that the reader must accept on faith from companion papers.

free parameters (5)
  • Surrogate amplitude A = 0.38
    Fit to SPARC under strict global-only protocol; compared post-hoc to predicted C≈0.382.
  • Transition radius r₀ = 12 kpc
    Single dimensional input; not derived. Sets k₀=2π/r₀.
  • Kernel exponent α (treated as derived but also fitted in Appendix E) = 0.19 headline; saturates at 1.0 under χ²/ν, 0.63 under median in Appendix E
    Re-optimization shows surrogate fit does not robustly prefer 0.19, complicating the 'derived' status.
  • σ_tot hyperparameters = σ₀=10 km/s, f_floor=0.05, α_beam=0.3, f_asym=0.10/0.05, k_turb=0.07, p_turb=1.3
    Globally fixed by hand; multiple knobs in the conservative error model.
  • NFW benchmark globals (m_halo/m_*, c) = (30, 10)
    Chosen rather than fit; deliberately over-constrained baseline.
axioms (7)
  • ad hoc to paper Recognition Composition Law within quadratic symmetric family
    Picks J(x)=(x+1/x)/2−1; uniqueness only within a chosen restricted family.
  • ad hoc to paper Ledger axioms AX1–AX5
    Required for double-entry conservation, exactness, and the DEC bridge.
  • domain assumption AS1 scale-free latency
    Explicitly phenomenological per the authors.
  • domain assumption AS2 causal ω_eff ∝ k
    One of several scale-free choices; alternatives give different kernels.
  • ad hoc to paper Two-sub-loop self-similar decomposition with serial fractional-order multiplication
    Selects α=(1−φ⁻¹)/2; Remark 1 acknowledges other multiplicities yield other α.
  • ad hoc to paper Three-channel spatial factorization (longitudinal × transverse, each φ⁻¹)
    Source of the C=φ⁻² hypothesis.
  • standard math DEC refinement convergence
    Standard discrete exterior calculus result.
invented entities (3)
  • Recognition ledger / discrete cellular informational ledger no independent evidence
    purpose: Substrate on which J-cost minimization yields exactness and the Poisson refinement limit.
    Postulated structure; no falsifiable handle outside the authors' own framework papers.
  • Recognition Composition Law (RCL) no independent evidence
    purpose: Functional-equation primitive that fixes the reciprocal cost J(x).
    Defined by the authors; uniqueness is within a chosen restricted family.
  • Scale-free closure latency with golden-ratio two-loop self-similar decomposition no independent evidence
    purpose: Generates fractional memory and selects α via φ.
    No microscopic mechanism specified; admittedly speculative.

pith-pipeline@v0.9.0 · 75309 in / 7910 out tokens · 276146 ms · 2026-05-06T02:14:48.361542+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.