{"id":"75b8bfc9-4cb3-4bb3-9e4e-635094679dd3","arxiv_id":"2504.15646","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"For any entropy function S(r_h), the Goon-Penco extremality ratio equals d(pi r_h^2)/dS, so the original relation survives only for the area law.","lead":"This paper derives a generalized version of the Goon-Penco extremality relation for black holes whose entropy is an arbitrary function of horizon radius, and checks it for logarithmic and exponential entropy corrections. The generalized relation reduces to the original relation only for Bekenstein-Hawking area-law entropy.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The generalized relation is a chain-rule identity for the fixed Lambda-shift deformation (2.4); the log/exponential examples substitute S(r_h) into this identity and cannot fail, so the claimed universality under genuine quantum corrections is not established.","rationale":"Re-deriving Eq. (3.4) from f(r)=0 confirms that the algebra is correct: for the fixed cosmological-constant deformation, the generalized relation is a chain-rule identity that holds for any invertible entropy function S(r_h). This supports the reader's CONDITIONAL verdict rather than changing it. The EGB example provides some independent support because it uses a different background and an explicit Lambert-W inversion, so the identity is not entirely vacuous. However, the paper never analyzes a deformation that changes the metric or the temperature beyond the ε r^2/l^2 shift, and Sections 4 and 5 are substitution exercises rather than independent tests. The abstract and summary overstate the result by claiming verified universality for quantum corrections. The concrete R^2-deformation test would settle whether the generalized relation survives a genuine higher-derivative perturbation; absent such a test, the honest verdict is CONDITIONAL with revised framing rather than unconditional acceptance or rejection.","tokens_in":16278,"tokens_out":13985,"duration_ms":131995,"concrete_test":"Add the higher-derivative deformation δI = (ε/16π) ∫ d^4x √-g (a R^2 + b R_μν R^μν) to the RN-AdS action, compute the corrected metric f_ε(r) to first order in ε, the Wald entropy S_W(r_h, ε), the Hawking temperature, and the extremal mass, and evaluate the LHS of Eq. (1.3) with S = S_W. If the LHS equals ∂(π r_h^2)/∂S_W for this deformation, the universality claim is robust; if it differs, the paper's result is specific to the Λ-shift and the broader claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Equation (3.4) does not use the explicit form of S beyond invertibility. Differentiating f(r)=0 at fixed M and Q gives T dr_h/dε = -r_h^2/(4π l^2), so -T ∂S/∂ε = S'(r_h) r_h^2/(4π l^2), while ∂M/∂ε = r_h^3/(2l^2). The ratio is therefore 2π r_h/S'(r_h) = d(π r_h^2)/dS, i.e. Eq. (1.3) is an identity for every injective S(r_h). Consequently Sections 4 and 5 do not test the relation; they substitute S_l(r_h) and S_e(r_h) into this identity, so agreement is guaranteed by construction. The only deformation ever considered is the cosmological-constant shift (2.4)-(2.6), and Section 6 explicitly assumes quantum corrections modify the entropy functional while leaving the Einstein-Hilbert-Maxwell background unchanged. The central claim that the relation is universal for perturbative and non-perturbative quantum corrections is therefore unsupported: a genuine higher-derivative or quantum-gravity correction that changes f(r) or T(r) would introduce extra terms in the differentiation leading to Eq. (3.4), and no derivation for that case is provided. A secondary technical point: Eq. (3.6) is the solution with S = π r_h^2 + constant up to sign and renaming of S0, so the uniqueness statement is sloppy but not damaging.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a generalized version of the Goon-Penco universal relation, Eq. (1.3), in which the entropy is an arbitrary function S = f(r_h) of the horizon radius rather than the Bekenstein-Hawking area law. Under a perturbative deformation that the authors take to be a shift of the cosmological constant, Eqs. (2.4)-(2.6), they derive the relation -(∂M_ext/∂ε)/(T ∂S/∂ε)|_{M_ext} = ∂(π r_h^2)/∂S. They show that the original Goon-Penco relation (1.2) holds only when d r_h/dS = 1/(2π r_h), whose solution is the area-law entropy up to a constant. They then verify the generalized relation for a charged Einstein-Gauss-Bonnet example with logarithmic entropy correction (Section 3.1), and for general logarithmic (Section 4) and exponential (Section 5) entropy corrections.","tokens_in":16599,"tokens_out":8979,"duration_ms":73246,"significance":"The derivation of the identity (1.3) for the specific cosmological-constant deformation is algebraically correct, and the paper contains useful Lambert-W manipulations in the examples. If the claimed universality under genuine quantum corrections were established, the result would be of interest to the black-hole thermodynamics and weak-gravity-conjecture communities. However, as I explain in the major comments, the relation is an algebraic identity for the chosen deformation, and the examples merely substitute inverse functions into that identity. The physical claim of universality for perturbative and non-perturbative quantum corrections is therefore not supported, which substantially lowers the significance of the paper relative to its abstract.","major_comments":[{"comment":"The generalized relation (1.3) is an identity, not a dynamical prediction. Starting from f_tot(r_h)=0 with the deformation (2.4)-(2.6), one obtains T dr_h/dε = -r_h^2/(4π l^2) at fixed M and Q. Combining this with ∂M/∂ε = r_h^3/(2l^2) and ∂S/∂ε = S'(r_h) dr_h/dε gives the left side of (1.3) as 2π r_h r_h' = d(π r_h^2)/dS, which is exactly the right side. Therefore Eq. (1.3) holds for every invertible entropy function S(r_h) under this deformation. Consequently, the verifications in Sections 4 and 5, which substitute the inverse functions S_ℓ^{-1} and S_e^{-1} into the identity, are guaranteed by construction and cannot fail. The statements in the abstract and Section 6 that the relation 'remains valid under a broad class of quantum corrections' are not established; only the cosmological-constant shift is treated.","section":"Section 3, Eq. (3.4)"},{"comment":"The crucial physical assumption is that quantum corrections modify only the entropy functional while leaving the classical metric and temperature unchanged. This is stated explicitly in Section 6 and used throughout Sections 4 and 5. For genuine higher-derivative or quantum-gravity corrections, the metric function and temperature acquire ε-dependent corrections beyond the simple Λ shift in (2.6), and the differentiation leading to Eq. (3.4) would contain additional terms. The paper does not analyze such cases. The Einstein-Gauss-Bonnet example in Section 3.1 does not close this gap: the entropy correction comes from the Gauss-Bonnet coupling α, but the perturbative parameter ε is again only the cosmological-constant shift, so the example is again a substitution into the same identity rather than a test of the relation under the higher-curvature correction.","section":"Sections 2, 4, 5, 6"},{"comment":"The uniqueness statement is imprecise. The general solution of dr_h/dS = 1/(2π r_h) is S = π r_h^2 + C, equivalently r_h^2 = S/π + S0 after redefining the integration constant. The paper's expression r_h = sqrt(S/π + S0) implies S = π r_h^2 - π S0, so the sign convention for S0 should be fixed. This does not affect the main identity, but the 'unique functional form' claim is unique only up to an additive constant and the notation should be corrected.","section":"Eqs. (3.5)-(3.6)"}],"minor_comments":[{"comment":"The sentence 'as well as a non-perturbative quantum correction manifests as an exponential term' is ungrammatical and should be rewritten.","section":"Abstract"},{"comment":"The typesetting is corrupted in places, e.g., 'A ∼ O(ℓ2 P)' and the mixed use of '∼' and '='; please check the display.","section":"Eq. (1.1)"},{"comment":"The sentence 'we start with the general expression of entropy as a function of entropy' should read '... horizon radius as a function of entropy'.","section":"Section 3, first paragraph"},{"comment":"The notation 'EGBSh_BH' and 'Log.Sh_BH' is confusing; use unambiguous subscripts such as S_BH^{EGB} and S_BH^{log}.","section":"Eq. (3.24) and similar"},{"comment":"The phrase 'Generalized uncertainty relation' should be 'Generalized universal relation'.","section":"Section 3.1, final paragraph"},{"comment":"Please state the mass dimensions of αℓ, βℓ, γℓ and αe, βe, γe so that the arguments of the logarithmic and exponential functions are manifestly dimensionless.","section":"Eqs. (4.1) and (5.1)"},{"comment":"The sentence 'since it is studied in the literature that the EGB gravity gets a correction in the metric function due to the EGB parameter' is unclear and should be rewritten.","section":"Section 6"}],"recommendation":"major_revision","confidential_remarks":"The paper is essentially a demonstration of an algebraic identity for the cosmological-constant deformation; the physical claim of universality under quantum corrections is overstated. The reference list contains several self-citations (Refs. [46], [47], [50], [51], [54]) that appear tangential to the central derivation; the authors should trim them or justify their inclusion. The manuscript may be more suitable as a short note once the scope is narrowed and the tautological nature of the examples is acknowledged."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Plain take: this is a chain-rule identity, not a new universality law. The genuinely useful observation is that for the fixed Lambda-shift deformation (2.4)-(2.6), the Goon-Penco ratio equals d(pi r_h^2)/dS for any invertible entropy function S(r_h). That explains why reported violations of Eq. (1.2) for non-area entropies are not real violations; they are the same structure seen in a different entropy variable. That point is worth making clearly, and the paper makes it.\n\nWhat's good: the central move in Section 3 is clean. I checked the stress-test derivation: differentiating f(r_h)=0 at fixed M and Q gives T dr_h/deps = -r_h^2/(4 pi l^2), and the ratio reduces to 2 pi r_h/S'(r_h), exactly d(pi r_h^2)/dS. No hidden assumption beyond invertibility of S(r_h) and the deformation being a cosmological-constant shift. The EGB example with Lambert W is a legitimate consistency check, and the algebra is plausible. Section 6 is honest that the background is kept fixed.\n\nSoft spots, in proportion. First, the log and exponential sections are not tests. Since Eq. (1.3) is an identity for every injective S(r_h), substituting S_l and S_e into it cannot fail. Calling that 'verifying the generalized relation' overstates what is shown. Second, the claim that the relation extends to quantum corrections is unsupported. The only deformation ever considered is the epsilon r^2/l^2 shift; a genuine higher-derivative or quantum-gravity correction that changes f(r) or T(r) would introduce extra terms in the differentiation leading to Eq. (3.4). The paper assumes the background is unchanged rather than deriving that this is the right regime. Third, Eq. (3.4) is asserted, not derived; it is easy to fill in, but it should be shown. Fourth, dimensional consistency of the log/exponential entropy formulas and the branches of the Lambert W function are not discussed; minor in context. Fifth, the author's own earlier papers [50] and [54] on non-extensive entropy are not compared, so the incremental novelty is unclear.\n\nI agree with the reader's judgment: the algebra is likely correct, the novelty is limited, and the circularity burden is real in the framing. But the paper is not empty. It gives a compact explanation for a set of reported deviations and could serve as a useful organizing note for people testing extremality relations.\n\nWho this is for: practitioners in black hole thermodynamics who have seen Goon-Penco 'violations' in non-area entropy models. It deserves a serious referee, not a desk reject, because the identity is real and the literature would benefit from a corrected framing. I would send it to review with clear instructions to push for honest reframing and a comparison with the author's prior non-extensive entropy work.","headline":"A clean chain-rule identity that explains reported Goon-Penco 'violations' for non-area entropies, but the paper overclaims universality beyond the cosmological-constant-shift deformation.","tokens_in":17194,"tokens_out":2692,"would_cite":false,"duration_ms":24381,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"For any entropy that is a function of horizon radius, the correction-to-extremality ratio equals the derivative of the area-law entropy.","keywords":["black hole entropy","extremality bound","universal relation","quantum corrections","logarithmic entropy correction","exponential entropy correction","higher-curvature gravity","product-logarithm function"],"falsifier":"Take a black hole with entropy $S=\\tilde f(r_h)$ and perturb the action by a genuine higher-derivative term so the metric and temperature are modified at order $\\varepsilon$, instead of the pure metric shift $\\varepsilon r^2/l^2$. Compute the ratio $-(\\partial M_{\\rm ext}/\\partial\\varepsilon)/(T(\\partial S/\\partial\\varepsilon))|_{M_{\\rm ext}}$ and compare it with $\\partial(\\pi r_h^2)/\\partial S$. If the equality fails for such a deformation, the claim as stated is false.","tokens_in":15961,"feed_emoji":"🕳️","tokens_out":13687,"duration_ms":108356,"temperature":0.7,"pith_summary":"This paper establishes that the universal relation between corrections to black-hole entropy and shifts of the extremality bound survives quantum corrections, provided it is rewritten in a generalized form. The generalized identity says the ratio of the extremal-mass shift to the entropy shift equals the derivative of the area-law entropy with respect to the actual entropy, for any entropy that is a function of the horizon radius. The original area-law version of the relation is recovered exactly only for the area-law entropy. The paper verifies the generalized identity for logarithmic and exponential entropy corrections, including a higher-curvature example, and thereby accounts for earlier reported failures of the original relation.","feed_headline":"A generalized relation links entropy and extremality corrections","feed_subtitle":"The paper proves the relation survives logarithmic and exponential quantum corrections to black-hole entropy.","key_machinery":"The load-bearing object is the generalized entropy function $S=\\tilde f(r_h)$ together with its inverse $r_h(S)$, which lets the author express the mass and temperature of a charged anti-de Sitter black hole in terms of entropy. The identity that carries the argument is $$-\\frac{(\\partial M_{\\rm ext}/\\partial\\varepsilon)}{T(\\partial S/\\partial\\varepsilon)|_{M_{\\rm ext}}}=\\frac{\\partial(\\pi $r_h^{2}$)}{\\partial S},$$ derived by perturbing the metric by $\\varepsilon r^2/l^2$. The derivative $dr_h/dS$ is the key quantity: when it equals $1/(2\\pi r_h)$, the right-hand side is 1 and the original relation is recovered; solving that equation gives $S=\\pi r_h^2+S_0$. In the logarithmic and exponential examples the inversion is performed explicitly with the product-logarithm function, which turns the right-hand side into expressions like $W/(W+1)$ that approach 1 in the large-horizon limit.","core_discovery":"The central claim is a generalized identity for near-extremal black holes: for any entropy $S=\\tilde f(r_h)$ that is a single-valued function of the horizon radius $r_h$, the ratio of the perturbative shift of the extremal mass to the entropy shift evaluated at the extremal mass equals the derivative of the area-law entropy $\\pi r_h^2$ with respect to $S$. The original universal relation, whose right-hand side is 1, is recovered if and only if $dr_h/dS = 1/(2\\pi r_h)$, which fixes $S=\\pi r_h^2+S_0$ and singles out the area law. The paper then verifies the generalized identity for a logarithmic entropy correction, including the higher-curvature example whose entropy contains a logarithmic term and whose inversion uses the product-logarithm function, and for an exponential entropy correction. In all these cases the identity is satisfied at first order in the perturbative parameter, so the apparent breakdowns of the original relation for non-area-law entropy are accounted for by the non-trivial right-hand side.","pith_inferences":["Inference: the generalized identity should extend to any entropy model with an invertible $r_h(S)$, including non-extensive entropy proposals, as long as the perturbation remains the same $\\varepsilon r^2/l^2$ metric shift.","Inference: the relation can serve as a consistency check on quantum-gravity entropy proposals, because a proposed correction must be compatible with the unmodified classical mass and temperature used to compute both sides.","Inference: in the large-horizon limit the right-hand side approaches 1, so the original universality appears as the classical limit of a family of generalized relations with different entropy functions.","Inference: if extremal-mass shifts can be computed or measured independently, the right-hand side could be inverted to constrain the functional form of the entropy correction."],"forward_implications":["Any entropy $S=\\tilde f(r_h)$ with an invertible horizon-radius function satisfies the generalized identity, so the structural form of the relation does not depend on the detailed correction.","The original relation with right-hand side 1 holds only for $S=\\pi r_h^2+S_0$; this follows from solving $dr_h/dS=1/(2\\pi r_h)$.","Logarithmic entropy corrections, including the higher-curvature example with $S=\\pi r_h^2+4\\pi\\alpha\\ln(r_h/\\ell_0)$, satisfy the generalized identity at first order in $\\varepsilon$.","Exponential entropy corrections $S_e=\\alpha_e r_h^2+\\beta_e e^{\\gamma_e r_h^2}$ also satisfy the generalized identity.","Apparent failures of the original relation for non-area-law entropy correspond to a right-hand side $\\partial(\\pi r_h^2)/\\partial S\\neq 1$, not to the breakdown of universality."],"supporting_citations":[{"why":"Supplies the original universal relation between corrections to extremality and entropy that this paper generalizes.","marker":"[31]"},{"why":"Documents black-hole settings where the original relation appears to fail when entropy is not the area-law entropy, motivating the generalized form.","marker":"[44]"},{"why":"Provides the exponential-correction entropy formula used in Section 5 and grounds its non-perturbative interpretation.","marker":"[14]"},{"why":"Gives the charged anti-de Sitter black hole solution in the higher-curvature theory used for the logarithmic-entropy example.","marker":"[63]"},{"why":"Supplies the same solution and the first-law input used to obtain the logarithmic entropy formula.","marker":"[64]"}],"fun_headline_variants":["Generalized extremality relation survives quantum corrections","Black hole entropy: universal relation generalized","Quantum corrections uphold new extremality relation","Universal relation extends beyond area-law entropy"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The derivation assumes the perturbation is exactly the metric shift $\\varepsilon r^2/l^2$ and that quantum corrections change only the entropy function, leaving the classical metric and temperature formulas untouched; it also requires the function $r_h(S)$ to be invertible.","fun_headline_variants_meta":{"raw":{"variants":["Generalized extremality relation survives quantum corrections","Black hole entropy: universal relation generalized","Quantum corrections uphold new extremality relation","Universal relation extends beyond area-law entropy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000668,"raw_usage":{"total_tokens":3019,"prompt_tokens":893,"completion_tokens":2126,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":509,"completion_tokens_details":{"reasoning_tokens":2074}},"tokens_in":509,"tokens_out":2126,"duration_ms":14875,"temperature":1.0,"reasoning_tokens":2074,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:22:55.366682+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a black hole with entropy $S=\\tilde f(r_h)$ and perturb the action by a genuine higher-derivative term so the metric and temperature are modified at order $\\varepsilon$, instead of the pure metric shift $\\varepsilon r^2/l^2$. Compute the ratio $-(\\partial M_{\\rm ext}/\\partial\\varepsilon)/(T(\\partial S/\\partial\\varepsilon))|_{M_{\\rm ext}}$ and compare it with $\\partial(\\pi r_h^2)/\\partial S$. If the equality fails for such a deformation, the claim as stated is false.","supporting_citations":[],"review_version":1}