pith. machine review for the scientific record. sign in

arxiv: 2504.03824 · v3 · submitted 2025-04-04 · 🌀 gr-qc · hep-th

Recognition: 4 theorem links

· Lean Theorem

Thin-shell gravastar model in a BTZ geometry with minimum length

M. A. Anacleto , A. T. N. Silva , L. Casarini
Authors on Pith no claims yet

Pith reviewed 2026-05-06 20:32 UTC · model claude-opus-4-7

classification 🌀 gr-qc hep-th PACS 04.70.Dy04.70.-s04.60.-m
keywords gravastarBTZ black holeminimum lengththin-shell junction conditionsnoncommutative geometry(2+1)-dimensional gravityHawking temperatureblack hole remnant
0
0 comments X

The pith

In a (2+1)D BTZ gravastar, a Lorentzian minimum length can play the role of the cosmological constant, stabilizing the thin shell even when Λ = 0.

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

The paper asks whether a minimum-length modification of the interior geometry can do the structural work usually assigned to a cosmological constant in gravastar models. Working in (2+1) dimensions for analytic control, the authors glue a BTZ exterior to an interior whose mass is smeared in two different ways and read off the surface energy density and pressure on the joining shell. They find that one smearing (Lorentzian) produces a stable shell satisfying the gravastar equation of state P = -σ = ρ even when Λ is switched off, while the other (exponential, from the 2D hydrogen ground state) does not — it regulates the Hawking temperature and yields a black-hole remnant, but its shell pressure changes sign in the Λ = 0 region. A reader interested in whether quantum-gravity-motivated short-distance modifications can mimic dark energy on macroscopic scales gets a concrete toy model where the answer depends sharply on which short-distance profile is chosen, plus an estimate that pins the relevant minimum-length scale near 10 TeV when matched to the observed Λ at stellar masses.

Core claim

The authors build two (2+1)-dimensional thin-shell gravastars whose interior is an anti–de Sitter / BTZ geometry softened by a minimum length, and join them through Israel junction conditions to a standard BTZ exterior. They compare two regularizing mass distributions: an exponential one motivated by the 2D hydrogen ground-state density, and a Lorentzian one. The central claim is that the Lorentzian minimum-length parameter β can take over the structural role of the cosmological constant — yielding a stable shell with the gravastar equation of state P = -σ = ρ even when Λ = 0 — while the exponential parameter γ only regulates thermodynamics (removes Hawking-temperature divergence, gives a re

What carries the argument

Israel–Lanczos thin-shell junction between a BTZ exterior and a minimum-length-regularized BTZ/AdS interior, with the regularization implemented by replacing the point mass with one of two smeared distributions (an exponential profile from the 2D hydrogen ground state, or a Lorentzian profile). The induced surface energy density σ and tangential pressure P on the shell are then read off and compared in the Λ = 0 limit; only the Lorentzian profile yields P = -σ at leading order in the small-length parameter.

If this is right

  • A Lorentzian-smeared BTZ interior supports a stable thin-shell gravastar with the standard P = -σ = ρ shell equation of state even when the bulk cosmological constant is set to zero, with β acting as an effective Λ.
  • The exponential (hydrogen-ground-state) smearing regularizes Hawking temperature and produces a black-hole remnant at r_min ≈ γ/4, but cannot replace the cosmological constant on the shell — the two minimum-length prescriptions are physically inequivalent for gravastar stability.
  • The shell entropy diverges as the minimum-length parameter is sent to zero, so a finite minimum length is required for thermodynamic consistency of the construction, not just for kinematic regularization.
  • Matching the Lorentzian β to the observed Λ for a 10 M_sun object gives an associated energy scale around 10 TeV, consistent with existing phenomenological bounds on noncommutative / minimum-length scales.
  • Both modified BTZ black holes acquire logarithmic corrections to the entropy and a positive-heat-capacity stability window for small horizon radius, terminating in a remnant rather than complete evaporation.

Where Pith is reading between the lines

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

  • The asymmetry between the two profiles likely traces to the long-distance tail: the Lorentzian mass has a 1/r Schwarzschild-like correction term that survives at the shell radius, while the exponential profile's correction is exponentially suppressed there. If true, the result is really a statement about which smearings induce a power-law tail in the metric, not about minimum length per se.
  • The 10 TeV scale extracted from matching β to the observed Λ at stellar mass is suggestive but mass-dependent through the β ∝ a_0^2 √(Λ/M_0) relation, so the same identification at supermassive scales would point to a different energy scale — the 'minimum length sources dark energy' reading is not scale-invariant.
  • Because the construction lives in (2+1) dimensions, the conclusions are a proof of principle rather than an astrophysical model; whether a Lorentzian-smeared interior plays the same Λ-replacement role in (3+1)D gravastars is the natural and non-trivial next test.
  • The logarithmic correction to BTZ entropy obtained here from minimum-length smearing has the same functional form as quantum/GUP corrections found by other regularization schemes, suggesting these distinct UV prescriptions converge on a universal subleading entropy term.

Load-bearing premise

That a thin shell joining two (2+1)-dimensional spacetimes, with its matter content read off algebraically from the jump in extrinsic curvature, faithfully represents the physics of a stable compact object — and that conclusions about which short-distance smearing stabilizes it carry over to realistic (3+1)-dimensional gravity.

What would settle it

Compute the surface pressure on the shell in the exponential (hydrogen-density) model in the Λ = 0, small-γ regime without the leading-order approximation: if P remains positive and satisfies P = -σ there, the paper's claim that only the Lorentzian distribution sources an effective cosmological constant fails. Equivalently, demonstrating a stable Λ = 0 gravastar shell with a non-Lorentzian smearing would refute the asymmetry the paper draws between the two distributions.

read the original abstract

In this paper, we construct two spherically symmetric thin-shell gravastar models within a BTZ geometry with minimum length. Therefore, in the inner region of the gravastar, we consider an anti- de Sitter metric with minimum length. Thus, for the first model, we introduce the minimum length effect using the probability density of the ground state of the hydrogen atom in two dimensions. For the second gravastar model, we adopt a Lorentzian-type distribution. Also in the outer region, we consider the BTZ black hole metric. So, by examining the inner spacetime, the thin shell, and the outer spacetime, we find that there are different physical characteristics regarding their energy densities and pressures that make the gravastar stable. This effect persists even when the cosmological constant is zero. In addition, we determined the entropy of the gravastar thin shell. Besides, we explore the thermodynamic properties of the BTZ black hole with minimum length in Schwarzschild-type form and also check its stability.

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

5 major / 10 minor

Summary. The authors construct two (2+1)-dimensional thin-shell gravastar models in which the inner region is a BTZ-anti-de Sitter geometry modified by a "minimum length" — implemented in §III via a 2D hydrogen-atom-like exponential mass distribution and in §IV via a Lorentzian distribution — while the outer region is the standard BTZ black hole. Using the Israel junction conditions, the surface energy density σ and tangential pressure P on the shell are computed and analyzed (Eqs. 47–52, 64–70). The authors claim that (i) the minimum-length parameter regulates the Hawking temperature and gives a black-hole remnant via vanishing heat capacity, (ii) the Lorentzian model satisfies an effective EoS P = −σ on the shell even when Λ=0, while the exponential model does not, and (iii) entropy of the thin shell is computed and found finite for nonzero minimum length. A phenomenological estimate √β ∼ (10 TeV)⁻¹ (Eq. 80) is presented as compatible with prior noncommutative-geometry bounds.

Significance. If accepted on its own (2+1)-D footing, the paper offers a useful comparative study of two minimum-length regularizations of BTZ gravastars and provides explicit formulas for shell quantities, entropy, and thermodynamics that extend prior work (notably Silva et al. [22], Rahaman et al. [20], and the BTZ-with-minimum-length analysis of [55]). The observation that the Lorentzian model can mimic an effective cosmological constant on the shell while the exponential model cannot is a clean qualitative discriminator. The thermodynamic remnant analysis (Figs. 2, 5) is consistent with the expected role of UV regulators. The novelty is incremental rather than foundational — much of the technical machinery follows [22] closely with the inner-region distribution swapped — and the phenomenological link to TeV-scale physics is fragile (see major comments). Reproducibility is good in the sense that all formulas are explicit, but no code or data accompany the paper, which is appropriate for the analytical scope.

major comments (5)
  1. [§IV, Eqs. (79)–(80)] The phenomenological extraction √β ∼ (10 TeV)⁻¹ mixes (2+1)-D and (3+1)-D inputs in a way that is not justified in the text. In Eq. (79), β = √(16 a₀⁴ Λ / M₀), but: (a) M₀ in the BTZ construction is the dimensionless mass parameter of the BTZ solution, not a 4D astrophysical mass; the substitution M₀ = M_BH/M_⊙ has no derivation. (b) a₀ = 29.5 km is taken as the 4D Schwarzschild radius of a 10 M_⊙ object, but in BTZ the horizon scale is r_h = √(M₀ l²) and l is never fixed. (c) Λ = 1.088×10⁻⁵⁸ m⁻² is the observed 4D cosmological constant, while in BTZ Λ = −1/l² is set by the AdS radius of the 3D bulk. Consequently, the agreement with [63–65] is a dimensional coincidence ((R_S)² √Λ_obs has units of length and lands near a TeV scale generically). The authors should either provide a principled (2+1)→(3+1) embedding that justifies these identifications, or recast the estimate as illustrative
  2. [§III, Eqs. (53)–(56) and Fig. 7] The conclusion that the exponential model fails to support a stable gravastar at Λ=0 because P < 0 in some range is drawn from the leading-order expansion P ≈ −√M e^{−4/η}/(2π η²) (Eq. 56), which is exponentially suppressed. The authors should clarify the regime of validity: η = γ/a₀ enters the exponential, so 'γ ≪ 1' alone is insufficient — what matters is η, and for realistic a₀ this drives e^{−4/η} to numerically vanishing values. It should be checked whether the sign of P near η ~ O(1) (where Fig. 7 is plotted) is robust against neglected subleading terms in the same expansion, or whether the qualitative contrast with the Lorentzian model survives at all η. As stated, the central qualitative discriminator between the two models rests on a small region of parameter space.
  3. [§III–§IV, junction conditions] The shell is described by a surface energy density and a single tangential pressure (Eqs. 47–48, 64–65), and the discussion text (p.15) acknowledges the matter is effectively anisotropic. Yet the EoS statements 'P = ρ' (rigid shell, Mazur–Mottola) and 'P = −σ = ρ' (Eq. 75) are then invoked as if a single-fluid isotropic EoS were satisfied. Please clarify which component of pressure is being identified with ρ in each case, and reconcile with the original Mazur–Mottola prescription in which the shell carries a specific stiff-fluid EoS. The current presentation conflates the surface tangential pressure with a bulk pressure, which affects the entropy calculation in Eqs. (57)–(59) and (81)–(84) where s(r) is taken to depend on a 'local pressure'.
  4. [§II.A, Eqs. (15)–(18)] The transition from Eq. (13) to Eq. (16) — i.e., imposing the remnant condition r_h³ = (γ/4)³ e^{4r_h/γ} into the Hawking temperature — yields T_H = 1/[2π(r_h + γ/4 + γ²/(16 r_h))], but this is then used in Eq. (18) to recompute the entropy with a logarithmic correction. Imposing the remnant relation pointwise inside the integrand of Eq. (9) is not equivalent to evaluating the entropy at the remnant; the meaning of S(r_h) in Eq. (18) is therefore ambiguous. Please justify this step or restrict the result to its domain of applicability.
  5. [§II.B vs §II.A] The two minimum-length prescriptions yield different leading corrections to T_H (compare Eq. 7 with exponentially small corrections vs. Eq. 27 with polynomial 1/r_h corrections), different entropy structures (Eq. 11 vs Eq. 30), and qualitatively different shell physics (§III vs §IV). The paper would benefit from an explicit physical criterion for choosing between the two distributions beyond 'they give different results.' At present a reader cannot tell whether the Lorentzian success at Λ=0 is generic or a fine-tuned feature of that ansatz.
minor comments (10)
  1. [Title/Abstract] The phrase 'spherically symmetric' is used throughout for what is in fact a (2+1)-dimensional, circularly symmetric configuration. Please correct to 'circularly symmetric' or 'axially symmetric in (2+1)D'.
  2. [Eq. (4)] The metric function f(r) is written with M₀ appearing both as a bare term and inside the exponential factor; the structure '−M₀ + [(8M₀ r + 2γ)/γ] exp(−4r/γ)' should be checked for sign and consistency with Eq. (2): for r → ∞ one expects f → −M₀ + r²/l², which is satisfied, but the intermediate expression as written is not manifestly positive on approach to the horizon. A brief consistency check would help.
  3. [Eq. (8)] The notation 'M̃ = r_h²/l² + (e^{−4 r_h/γ})²' is unclear — is the second term a leading correction or simply an order-of-magnitude indicator? Please give the explicit coefficient or rewrite as O(e^{−8r_h/γ}).
  4. [Eq. (43)] The unit-normal vector for the inner region contains M − [M(4a+γ)/γ] exp(−4a/γ) under the square root; verify the sign — for small γ the exponential is negligible and the argument approaches M, but the 'outer' analogue (Eq. 42) carries M + a²/l². Are the M's with consistent sign conventions (cf. M = −M₀ stated below Eq. 34)?
  5. [§III, p.10] The dimensional analysis in 'β ≈ 1.15×10⁻²⁰ m = [0.583×10⁴ GeV]⁻²' should clarify whether β has dimensions of length or length-squared; from Eq. (19) the distribution ρ ∝ β/(4r+β)³ requires β to have dimensions of length, but '[TeV]⁻²' implies length². Please reconcile.
  6. [Figs. 1, 3, 4] Axis labels read 'H' rather than 'T_H'. Please correct.
  7. [Eq. (57) and following] The temperature T(r) entering s(r) = ω k_B² T(r)/(4π ℏ²) is not specified — is it the local Tolman temperature T_H/√(−g_tt), the surface gravity at r, or something else? The result of Eq. (58) depends sensitively on this choice.
  8. [References] Several references appear with placeholder 'doi:' or duplicated arXiv IDs; please proofread the bibliography. Refs. [48]–[51] on primordial black holes seem tangential to the gravastar/shell construction and could be trimmed.
  9. [§V] The conclusions sometimes reuse text from the introduction nearly verbatim (e.g. the role of γ as regulator). A more compact summary listing the new results explicitly would be helpful to the reader.
  10. [Eq. (32)] The expression for the heat capacity has a typo: '6β²/(32 r_h²)' should presumably be '3β²/(16 r_h²)' for consistency with Eq. (27); please check the algebra leading to the zero of C.

Simulated Author's Rebuttal

5 responses · 2 unresolved

We thank the referee for a careful and constructive report. The five major comments identify real weaknesses in presentation and interpretation, and we accept most of them. In the revised manuscript we will: (1) recast the √β ∼ (10 TeV)⁻¹ extraction in §IV as illustrative rather than as a phenomenological bound, removing the implicit (2+1)→(3+1) identification of M₀, a₀, and Λ; (2) clarify that Figs. 6–7 use the full unexpanded expressions, that the relevant small parameter is η = γ/a₀, and that the qualitative contrast between the two models is a statement about the η ∼ O(1) regime; (3) sharpen the distinction between the surface tangential pressure on the shell (anisotropic, Israel formalism) and a bulk Mazur–Mottola stiff-fluid pressure, including in the entropy integrand; (4) restrict the validity of Eqs. (16)–(18) to a neighborhood of the remnant radius and state this explicitly; (5) add a structural argument (polynomial vs. exponentially suppressed leading correction) explaining why the Lorentzian ansatz can mimic a cosmological constant on the shell while the exponential one cannot. We acknowledge as standing limitations that we do not derive either smearing distribution from a microscopic theory and that a principled (2+1)→(3+1) embedding is outside the scope of this work.

read point-by-point responses

  1. Referee: Phenomenological extraction √β ∼ (10 TeV)⁻¹ in Eqs. (79)–(80) mixes (2+1)-D and (3+1)-D inputs without justification: M₀ identified with M_BH/M_⊙, a₀ with a 4D Schwarzschild radius, Λ with the observed 4D cosmological constant, while in BTZ Λ = −1/l².

    Authors: We agree with the referee that the identifications used in Eqs. (79)–(80) are not derived from a controlled (2+1)→(3+1) embedding, and that the apparent agreement with [63–65] should not be presented as a genuine bound. Strictly speaking, in the BTZ construction M₀ is the dimensionless mass parameter and Λ = −1/l² is fixed by the AdS radius of the 3D bulk, so the numerical values used to obtain √β ∼ (10 TeV)⁻¹ are heuristic. Our intent was to show that, if one borrows astrophysical scales as benchmarks, the resulting β lies in a range broadly consistent with previously discussed minimum-length scales — not to derive a phenomenological constraint. We will revise the paragraph following Eq. (79) to (i) state explicitly that the substitution is illustrative rather than derived, (ii) remove the language suggesting quantitative agreement with [63–65], and (iii) note the dimensional caveat the referee raises (that (R_S)²√Λ_obs generically lands near a TeV scale). The numerical estimate will be retained only as an order-of-magnitude indication, with a caveat sentence acknowledging that a principled embedding into (3+1)D is beyond the scope of this work. revision: yes

  2. Referee: The exponential model's failure at Λ=0 (P<0 region) is drawn from an exponentially suppressed leading-order expression (Eq. 56). η = γ/a₀ matters, not γ alone, and for realistic a₀ the effect is numerically vanishing. The qualitative contrast with the Lorentzian model may not survive at all η.

    Authors: The referee is correct that the relevant small parameter is η = γ/a₀, not γ in isolation, and that Eq. (56) becomes numerically negligible for η ≪ 1. The plots in Figs. 6–7 are drawn precisely in the regime η ∼ O(1) where the exponential factor is not yet negligible and the sign change in P is visible without relying on subleading terms; the full (non-expanded) expressions (51)–(52) were used to generate the figures, and we have verified that the sign of P in the displayed range is not an artifact of the truncation in Eq. (56). However, we agree this point is under-explained. In the revision we will: (i) clarify that Figs. 6–7 plot the full expressions (51)–(52), with Eqs. (53)–(56) given only as the η ≪ 1 asymptotic form to make the relation P ≈ σ/η transparent; (ii) state explicitly that for η ≪ 1 both models reduce to numerically negligible shell quantities, so the qualitative discriminator is meaningful only in the η ∼ O(1) window where the minimum-length deformation is appreciable; and (iii) add a comment that the contrast between the two models is therefore a statement about the structure of the ansatz at moderate η, not a universal result for all parameter values. revision: yes

  3. Referee: The shell is described by surface energy density and tangential pressure (anisotropic), yet 'P = ρ' and 'P = −σ = ρ' are invoked as isotropic single-fluid EoS. This conflates surface tangential pressure with bulk pressure and affects the entropy integrand s(r) in Eqs. (57)–(59), (81)–(84).

    Authors: The referee raises a substantive point and we will sharpen the manuscript accordingly. Within the Israel junction formalism the shell carries σ and a single tangential pressure P, with no radial pressure component on Σ; this is what we compute in Eqs. (47)–(48) and (64)–(65). When we write 'P = −σ = ρ' in Eq. (75) and 'P = ρ' in the Mazur–Mottola sense, the equality refers to the tangential surface pressure satisfying an effective (de Sitter-like or stiff-fluid-like) relation with the surface energy density — it is not a statement about an isotropic bulk fluid. We acknowledge that the current text does not make this distinction sharp. In the revision we will: (i) replace 'P = ρ' / 'P = −σ = ρ' with notation that explicitly labels P as the tangential surface pressure (e.g., P_t); (ii) add a paragraph in §III contrasting our anisotropic shell description with the original Mazur–Mottola three-layer prescription, which treats the shell as a stiff bulk fluid layer of finite thickness; (iii) clarify in Eqs. (57)–(59) and (81)–(84) that s(r) employs the local pressure of the inner geometry near the shell (extended into the thin region r₁ < r < r₂ following [58, 59]), not the surface tangential pressure itself. We thank the referee — this clarification improves the consistency of the entropy calculation. revision: yes

  4. Referee: Eqs. (15)–(18): imposing r_h³ = (γ/4)³ e^{4r_h/γ} pointwise inside the integrand of Eq. (9) to obtain the entropy in Eq. (18) is not equivalent to evaluating S at the remnant; the meaning of S(r_h) in Eq. (18) is ambiguous.

    Authors: The referee is correct that substituting the remnant condition into the integrand is a non-trivial step that we did not justify. The intent was the following: imposing condition (15) eliminates the exponentially suppressed terms in (7) in favor of the polynomial form (16), which can then be integrated via Eq. (9). This procedure is consistent only in the near-remnant regime, where r_h is close to r_min ≈ γ/4 and the relation (15) is approximately saturated; outside that regime Eq. (16) is not the correct temperature. In the revision we will: (i) state explicitly that Eqs. (16)–(18) are valid only in a neighborhood of the remnant radius r_min, (ii) note that the logarithmic term in (18) should be read as the entropy correction in that regime rather than a global expression valid for all r_h, and (iii) restrict the figures and discussion of (16)–(18) to that domain. We agree with the referee that the current presentation is ambiguous and will correct it. revision: yes

  5. Referee: Need an explicit physical criterion for choosing between the exponential and Lorentzian distributions, beyond noting that they give different results. Otherwise the Lorentzian success at Λ=0 may be a fine-tuned feature of the ansatz.

    Authors: We agree that this is the central conceptual question raised by the comparison. Honestly, neither distribution is derived from a fundamental principle; both are phenomenological smearings used in the noncommutative-geometry / minimal-length literature ([53–55] for the exponential and the Lorentzian forms respectively). Their physical content differs: the exponential profile produces corrections that are non-perturbative in γ (suppressed as e^{−4r/γ}), while the Lorentzian profile produces a power-series expansion in β/r whose leading correction reproduces a Schwarzschild-like 1/r term in the metric (Eq. 23). It is precisely this polynomial leading correction that allows β to mimic an effective cosmological constant on the shell, while the exponential suppression in the other model cannot. In that sense the Lorentzian 'success' at Λ=0 is not fine-tuning but a structural consequence of having a polynomial rather than exponentially suppressed leading deformation. We will add a paragraph in the conclusion making this explicit and stating that the two distributions should be viewed as complementary phenomenological probes rather than competing fundamental descriptions; selecting between them in a principled way would require an underlying microscopic (e.g., noncommutative or GUP-based) derivation, which we do not provide. revision: partial

standing simulated objections not resolved
  • A first-principles physical criterion that selects the Lorentzian over the exponential minimum-length distribution (or vice versa) is not provided in the current work; we can offer only a structural argument (polynomial vs. exponentially suppressed leading deformation), not a derivation from an underlying microscopic theory.
  • A controlled (2+1)→(3+1) embedding that would turn the estimate √β ∼ (10 TeV)⁻¹ into a genuine phenomenological bound is beyond the scope of the present paper; the estimate will be retained only as illustrative.

Circularity Check

2 steps flagged

Largely self-contained junction-condition computation; minor self-citation imports the mass-distribution ansätze, and the "10 TeV" number is a dimensional rather than circular issue.

specific steps
  1. ansatz smuggled in via citation [Sec. II.A Eq. (1) and Sec. II.B Eq. (19); citations [22,53–55]]
    "Here, we introduce the minimum length contribution into the BTZ metric by modifying the mass density as follows [53–55]: ρ(r) = M0/(γ²π) exp(−4r/γ) ... we will analyze the contribution of the minimum length considering a mass distribution of the form [55] ρ(r) = 16 M0 β / [π(4r+β)³]."

    The two mass-density profiles that drive every subsequent result are imported from the authors' prior works [22, 55] as ansätze rather than derived from a quantum-gravity principle. The later conclusion that the minimum-length parameter 'plays the role of the cosmological constant' for stability when Λ=0 follows directly from having inserted a 1/r²-type correction term into g(r). Mild and openly labeled, hence low weight.

  2. self citation load bearing [Sec. IV around Eq. (80); citations [22, 63–65]]
    "Hence, we have obtained a value for the parameter β ∼ [10 TeV]⁻² ... The result obtained is in agreement with those found in the literature [63–65] and also in the context of the thin-shell gravastar model in a noncommutative BTZ geometry [22]."

    The only number tying the construction to phenomenology is anchored to the authors' own prior paper [22] plus generic noncommutative-spacetime bounds. However, [63–65] are independent works, so the agreement is not purely self-supported; this is borderline and weighs only mildly on the circularity score.

full rationale

The paper's core derivation chain (Secs. II–IV) is a standard Israel junction-condition computation: pick an inner metric, pick an outer BTZ metric, compute extrinsic curvatures, read off σ and P. That chain is mathematically self-contained — given the metric ansätze, the σ, P, and entropy expressions follow without needing the conclusions as inputs. There is no fitted parameter being relabeled as a prediction, and no "uniqueness theorem" is invoked to forbid alternatives. Two minor circularity-adjacent issues: (1) The two minimum-length mass distributions, Eq. (1) (exponential / hydrogen-ground-state) and Eq. (19) (Lorentzian), are imported via self-citations [22, 55] (Anacleto et al., Silva–Anacleto–Casarini). These are ansätze, not derived. The claim that "β plays the role of the cosmological constant" when Λ=0 is then a near-tautological consequence of having put a 1/r²-like correction into the inner metric — the conclusion follows from the ansatz. This is a mild "ansatz smuggled in via citation" pattern but is openly labeled as a modeling choice. (2) The "10 TeV" phenomenological anchor (Eq. 80) is what the reader's skeptic flagged. Inspecting Eq. (79), β = √(16 a₀⁴ Λ / M₀) is computed by plugging in 4D astrophysical inputs (R_S of a 10 M☉ BH, observed Λ) into a (2+1)-D BTZ relation. This is a dimensional/consistency complaint, not circularity in the technical sense — no quantity is being equated with itself by construction; it is simply an estimate whose physical interpretation is questionable. It belongs under correctness risk, not the circularity score (per Hard Rule 5). Otherwise the paper's claims (entropy logarithmic correction, remnant from C → 0, EoS P = −σ in the Lorentzian case) follow algebraically from the chosen metric functions and standard formulas. Score: 2.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Model omitted the axiom ledger; defaulted for pipeline continuity.

pith-pipeline@v0.9.0 · 9522 in / 6546 out tokens · 98847 ms · 2026-05-06T20:32:41.518854+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.