{"id":"c4e233b8-1f08-47b9-afc1-156f69a4b3d6","arxiv_id":"2412.15960","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"A framework for writing quantum corrections to the rotating BTZ black hole in coordinate-invariant form, with horizon regularity constraints and a general temperature formula.","lead":"The authors build a general mathematical language for quantum-corrected versions of the rotating BTZ black hole in 2+1 dimensions, expressing metric changes through coordinate-independent physical distances. A general formula for the corrected Hawking temperature follows from requiring curvature scalars to remain finite at the horizon.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed universal dictionary depends on unproven convergence of the proper-distance expansions; the paper's own quBTZ example fails the large-distance expansion (8), so the constraints are conditional, not universal.","rationale":"The reader's weakest assumption identifies the convergence/analyticity of the proper-distance expansions as the load-bearing point, and I agree. The paper's constraints and temperature formula are derived under the explicit but unproven assumption that the series (7), (8), and (9) exist with finite radius of convergence. The quBTZ model, which is the paper's own worked example, already violates analyticity at the origin and has exponentially decaying corrections in proper distance at infinity, so it cannot be encoded in the large-distance expansion (8). This does not invalidate the local near-horizon temperature formula under weaker differentiability assumptions, but it does undermine the 'universal' model-independent dictionary. I also note a secondary internal inconsistency: Eq. (4) defines d(r) with integrand √|f|, while Eq. (11) and all subsequent calculations use 1/√|f|; this should be corrected. These considerations support the reader's CONDITIONAL verdict without moving it.","tokens_in":14117,"tokens_out":34222,"duration_ms":294101,"concrete_test":"Use the quBTZ metric (40)-(41) with nonzero ν and compute d(r)=∫_0^r dz/√|f(z)| (the integrand should be 1/√|f|, not √|f| as printed in Eq. 4). Invert to r(d), substitute into Φ(d)=1−8νℓ3^3 z^4(1+z²)(1+νz)^2/[r(d)^3(1+3z²+2νz^3)^3], and determine the coefficients ω_n of Eq. (8). If, as expected, all ω_n vanish because Φ−1 decays exponentially in d (d=ℓ3 ln r+const), the series (8) converges to 1 rather than to Φ, falsifying the claimed large-distance universality.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that any quantum-corrected BTZ metric is captured by a few deformation coefficients is conditional on the assumed existence and finite radius of convergence of the series (7), (8), and (9), as stated in Sec. 2. No argument is given that realistic quantum models satisfy this. The quBTZ example in Sec. 3 demonstrates the issue: near the origin the metric has an essential singularity, so (9) does not apply, and at large distance the deformation behaves as Φ−1 ∝ e^(−3d/ℓ3) (since d ≈ ℓ3 ln r), which is not expandable in powers of 1/d. Therefore the large-distance dictionary (8) cannot represent this model, and the 'universal' constraints of Sec. 2.2 are not universal. The near-horizon temperature formula (35) may remain valid under weaker C^3 assumptions, but the broader model-independent dictionary overreaches.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper generalizes the effective-metric-description framework, previously developed for four-dimensional static black holes, to stationary rotating 2+1-dimensional black holes that asymptote to AdS and classically reduce to BTZ. The deformation of the BTZ metric is encoded by three functions Phi, Psi, and Omega of the physical proper distance d(r), and the paper derives constraints on these functions by requiring the Ricci and Kretschmann scalars to be finite at the horizon, at spatial infinity, and at the origin. The main results are the near-horizon constraints Phi_H^(1)=Psi_H^(1)=Omega_H^(1)=0 and Phi_H^(3)=Psi_H^(3)=Omega_H^(3)=0, the general Hawking-temperature formula T = (1/2*pi) * sqrt( M^2/(2*r_H^2) * theta_H*(theta_H+kappa) + (M/2)*(Psi_H^(2)/Psi_H) ), and an origin constraint Omega_0^2 = Psi_0. The framework is then applied to the holographically constructed quBTZ black hole, whose temperature is reproduced. The paper is careful to state that the series expansions it uses are assumed to exist and have finite radius of convergence, and it notes that the quBTZ metric is not analytic at the origin.","tokens_in":1748,"tokens_out":2381,"duration_ms":169812,"significance":"If the claimed framework is valid, it provides a useful coordinate-invariant parametrization of quantum-corrected BTZ metrics, in which a small set of physical coefficients controls the near-horizon geometry and thermodynamics. The algebraic checks in the paper are transparent: the temperature formula reduces to the standard rotating BTZ temperature in the classical limit, and the quBTZ application reproduces the known result, which gives confidence in the near-horizon sector. The paper also exhibits explicit derivations of the curvature-scalar finiteness conditions, which is a strength. The main caveat is that the claimed universal dictionary spanning all three regions rests on explicit analyticity and convergence assumptions whose domain of applicability is not established, and the paper's own quBTZ example violates those assumptions in two of the three regions. Thus the significance is genuine but concentrated in the near-horizon results, while the large-distance and origin branches are conditional extensions.","major_comments":[{"comment":"The large-distance expansion (8) presumes that Phi, Psi, and Omega admit a convergent power series in 1/d all the way up to the outer horizon, as stated in Eq. (22). This is a strong assumption for which no physical argument is given, and it is contradicted by the quBTZ example in Sec. 3: from Eq. (46), Phi-1 is proportional to r^{-3} for large r, and since d(r) is proportional to ell_3 * ln r in this regime, Phi-1 = exp(-3d/ell_3), which has no power-series expansion in 1/d because all Taylor coefficients vanish while the function is nonzero. Consequently, the constraints (24)-(27) and the large-distance temperature formula (36) cannot be applied to quBTZ, and the summary in Sec. 2.4 that these conditions are expected to hold for different extensions is not supported. The authors should either prove the convergence property for a physically motivated class of models, or explicitly restrict the universality claims to the near-horizon sector.","section":"Sec. 2.2, Eqs. (8), (22), (24)-(27); Sec. 3, Eq. (46)"},{"comment":"The origin expansion (9) assumes analyticity of Phi, Psi, and Omega at the origin, and Appendix A shows that this forces the metric to contain no 1/r term. The quBTZ metric (40) contains such a term and has an essential singularity at r=0, as the authors themselves acknowledge. Therefore the three-region effective description is not realized by the model used to illustrate the framework; only the near-horizon branch is validated. The abstract and conclusions state that the approach has been illustrated with quBTZ, but this should be qualified to say that the illustration applies to the near-horizon sector only, and that the origin and large-distance expansions remain conjectural for this model.","section":"Sec. 3 and Eq. (9); Appendix A"},{"comment":"The origin constraint Omega_0^2 = Psi_0 is stated as what finiteness of the Ricci and Kretschmann scalars at the origin requires, but no derivation is given and no sufficiency statement is made. Since the mapping (32) between the f, g, h coefficients and the Phi, Psi, Omega coefficients is nonlinear, it is not obvious that this single condition is equivalent to finiteness of both scalar invariants. The authors should either provide the computation in an appendix or explicitly state whether only necessity or also sufficiency is claimed.","section":"Sec. 2.3, Eq. (33)"}],"minor_comments":[{"comment":"The displayed formula for rho(r) has confusing typesetting; it should clearly read rho(r) = 2*sqrt(r - r_H)/sqrt(f_H^(1)) + O((r - r_H)^{3/2}). Please fix the LaTeX.","section":"Sec. 2.1, Eq. (11)"},{"comment":"The summary of large-distance inequalities uses bar kappa without defining it there; the definition appears only after Eq. (25). Define bar kappa in the summary or use a self-contained notation.","section":"Sec. 2.4"},{"comment":"The sentence 'When expanded in d, the first and third derivatives of Phi, Psi indeed vanish at the horizon' should specify that this uses the near-horizon expansion (7) and that the evenness of Phi(rho) and Psi(rho) in rho is what enforces the vanishing of the odd derivatives.","section":"Sec. 3"},{"comment":"There are minor typos: 'coincidence' should be 'coincide' near Eq. (53), and 'finitness' should be 'finiteness' in Sec. 3. Please proofread.","section":"Appendix A and Sec. 3"}],"recommendation":"major_revision","confidential_remarks":"This is a competent extension of an existing effective-metric program, and the near-horizon temperature derivation is a solid contribution. The main issue is the gap between the assumptions, convergence of the series (7)-(9) and analyticity at the origin, and the advertised universal three-region dictionary. The quBTZ example illustrates the gap: it is used as the application, yet it fails the origin and large-distance expansions. I would advise the editor that acceptance should be contingent on the authors clearly demarcating the proven near-horizon results from the conjectural large-distance and origin parts, and on providing a derivation or explicit caveat for the origin condition Omega_0^2 = Psi_0."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Rough take: this is an honest, mostly careful extension of the EMD framework from 4D static black holes to 3D rotating AdS. The near-horizon temperature formula and the vanishing of the first and third deformation derivatives at the horizon are genuine results, and the quBTZ check reproduces the known temperature. The algebra is consistent and the classical BTZ limit is recovered.\n\nWhat is actually new: the rotating AdS generalization brings new constraints (e.g., Ω0^2=Ψ0 at the origin, positivity bounds on second derivatives) and a compact temperature formula in terms of deformation coefficients. That is a useful dictionary for comparing quantum BTZ models, though it is an organizing result rather than a breakthrough.\n\nThe main soft spot is the gap between the 'universal' language and the explicit convergence assumptions. The paper assumes the series expansions in proper distance exist and converge with finite radius (Sec. 2), but gives no argument that realistic quantum models satisfy this. The quBTZ example is telling: at large distance Φ−1 decays as e^{−3d/ℓ3}, which is not expandable in powers of 1/d, so the large-distance dictionary (8) cannot represent that model. The temperature formula (35), by contrast, only needs local smoothness near the horizon and should survive under C^3 assumptions. The origin expansion also assumes analyticity, a point the authors themselves flag when they note quBTZ has an essential singularity.\n\nThere is also a small methodological wrinkle: d is defined with sqrt(|f|), which is not the standard proper distance across a horizon, but within the outside patch it is fine once the absolute value is understood.\n\nThe citation pattern is fine; self-citations are to their own EMD papers and are appropriate. The quBTZ comparison is a check, not a circular derivation.\n\nBottom line: this paper deserves a serious referee. It is a legitimate contribution to the 2+1 quantum black hole toolbox. The referee should push the authors to temper the universal claims, state the convergence assumptions as conditions rather than facts, and acknowledge explicitly that quBTZ only tests the near-horizon part of the dictionary.","headline":"Solid 3D extension of the EMD program with a robust temperature formula, but the universal dictionary is conditional on unproven convergence that quBTZ itself violates.","tokens_in":14861,"tokens_out":3491,"would_cite":true,"duration_ms":32885,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Quantum corrections to the BTZ black hole reduce to a few coordinate-invariant coefficients that fix its temperature.","keywords":["effective metric description","BTZ black hole","quantum gravity corrections","Hawking temperature","curvature invariants","2+1-dimensional gravity","quBTZ"],"falsifier":"Construct a metric of the form (3) with $\\Phi_H^{(3)}\\neq 0$ and all other regularity conditions satisfied, then compute the Kretschmann scalar in a neighborhood of $r_H$: if the scalar remains finite, the universal constraint $\\Phi_H^{(3)}=0$ is not necessary; if it diverges, the constraint is required. The same test works for the first-derivative constraints.","tokens_in":13920,"feed_emoji":"🕳️","tokens_out":14913,"duration_ms":111849,"temperature":0.7,"pith_summary":"This paper develops a model-independent way to describe quantum-gravity corrections to the three-dimensional rotating BTZ black hole. It writes the deformed metric as the classical BTZ form multiplied by three unknown functions of the physical distance from the origin, and asks what curvature finiteness requires of those functions. The answer is a short list of universal constraints: at the outer horizon the first and third derivatives of the correction functions must vanish. Under those constraints, the black hole temperature is fixed by a few coordinate-invariant coefficients, and the known temperature of a holographic quantum-BTZ model is reproduced. If the framework holds, many proposed quantum black hole models can be compared through a small dictionary of physical coefficients rather than through their full metrics.","feed_headline":"Finiteness at the horizon fixes a universal Hawking temperature","feed_subtitle":"First and third derivatives of the quantum deformation must vanish at the horizon, leaving a short formula for temperature.","key_machinery":"The engine of the paper is the effective ansatz (3) together with the physical distance $d(r)$ of Eq. (4). The three deformation functions $\\Phi$, $\\Psi$, $\\Omega$ absorb all deviations from classical BTZ; writing them as power series in the proper distance, rather than in the radial coordinate $r$, makes the expansion coefficients coordinate-invariant. Around the outer horizon the distance is $\\rho=d(r)-d_H$, and regularity of the curvature scalars translates into vanishing first and third derivatives, $\\Phi_H^{(1)}=\\Psi_H^{(1)}=\\Omega_H^{(1)}=0$ and $\\Phi_H^{(3)}=\\Psi_H^{(3)}=\\Omega_H^{(3)}=0$, together with bounds on the second derivatives. The same coefficients feed directly into the surface-gravity formula (34), which yields the corrected temperature (35). At large distance the coefficients are the inverse-power series $\\omega_n,\\gamma_n,\\sigma_n$; if those series converge to the horizon, the horizon constraints and temperature can be rewritten as sum rules over the rescaled coefficients. Near the origin, analyticity forces the metric to have the Laurent form (28), and finiteness of the scalar invariants imposes $\\Omega_0^2=\\Psi_0$.","core_discovery":"Every stationary, rotationally symmetric deformation of the BTZ metric that approaches the classical anti-de Sitter (AdS) geometry at infinity can be written in the form (3), where $\\Phi$, $\\Psi$ and $\\Omega$ are functions of the physical distance $d(r)=\\int_0^r dz\\,\\sqrt{|f(z)|}$ rather than of the coordinate $r$ alone. The paper's central result is a set of universal near-horizon constraints: if the curvature invariants (the Ricci and Kretschmann scalars) stay finite at the outermost horizon, the first and third derivatives of all three deformation functions must vanish there, while the second derivatives are bounded by inequalities. With those constraints, the black hole temperature is fixed by a small set of physical coefficients, $$T = \\frac{1}{2\\pi}\\sqrt{\\frac{$M^{2}$}{$2r_H^{2}$}\\vartheta_H(\\vartheta_H+\\kappa)+\\frac{M}{2}\\frac{\\$Psi_H^{{(2)}}$}{\\Psi_H}},$$ where every quantity entering is coordinate-invariant. The same framework maps the holographic quBTZ model onto these coefficients and reproduces its known temperature, which the paper offers as evidence that the framework can encode specific quantum models.","pith_inferences":["The paper leaves implicit that the same dictionary can be used as a classification tool: two quantum-gravity models that produce identical coefficients ($r_H$, $\\Phi_H^{(2)}/\\Phi_H$, $\\Psi_H^{(2)}/\\Psi_H$) are thermodynamically indistinguishable at the horizon, regardless of how different their ultraviolet constructions are.","A testable extension would be to feed the constraints into the first law $T\\,dS=dM-\\omega_H\\,dJ$; if the resulting entropy is path-dependent for some model, that model would violate the integrability the framework could demand.","The origin condition $\\Omega_0^2=\\Psi_0$ gives a necessary condition for a deformed BTZ geometry to have a regular interior; the quBTZ model, having an essential singularity at the origin, must fail the analyticity premise instead, which sharpens where the effective description breaks down.","One could confront the temperature formula (35) with numerical or holographic determinations of the temperature in other quantum-corrected BTZ models and check whether the second-derivative ratios match the predicted combination."],"forward_implications":["Finiteness of the Ricci and Kretschmann scalars at the outer horizon forces $\\Phi_H^{(1)}=\\Psi_H^{(1)}=\\Omega_H^{(1)}=0$ and $\\Phi_H^{(3)}=\\Psi_H^{(3)}=\\Omega_H^{(3)}=0$ for every metric of the ansatz.","The corrected temperature of any such deformed BTZ black hole is given by Eq. (35), so different quantum models that share the horizon radius and the ratios $\\Phi_H^{(2)}/\\Phi_H$, $\\Psi_H^{(2)}/\\Psi_H$ predict the same temperature.","When the large-distance series converges all the way to the horizon, the near-horizon second derivatives are identified with infinite sums of rescaled coefficients, and the temperature takes the equivalent form (36).","The holographic quBTZ model fits the framework: its first and third horizon derivatives vanish automatically, and the general temperature formula reduces to the model's known result.","Near the origin, analyticity of the deformation functions restricts the metric to a specific Laurent form and requires $\\Omega_0^2=\\Psi_0$ for the curvature scalars to stay finite."],"supporting_citations":[{"why":"Supplies the near-horizon effective-metric method that this paper extends to 2+1 dimensions.","marker":"[21]"},{"why":"Establishes the effective metric description in terms of the physical distance that the 2+1D ansatz is built on.","marker":"[22]"},{"why":"Provides the positivity conditions used to constrain the large-distance coefficients $\\omega_n,\\gamma_n,\\sigma_n$.","marker":"[24]"},{"why":"Defines the classical BTZ black hole metric that the deformed ansatz reduces to.","marker":"[25]"},{"why":"Supplies the full BTZ geometry and properties used to fix the classical limit and the horizon relation.","marker":"[26]"},{"why":"Gives the concept of black hole temperature that the corrected formula generalizes.","marker":"[35]"},{"why":"Provides the surface-gravity formula $T=\\kappa/2\\pi$ used to convert horizon derivatives into temperature.","marker":"[38]"},{"why":"Gives the classical rotating BTZ temperature that Eqs. (35)-(36) must reduce to.","marker":"[39]"},{"why":"Supplies the holographic quBTZ model used to illustrate the framework and reproduce its known temperature.","marker":"[36]"}],"fun_headline_variants":["Horizon finiteness pins universal Hawking temperature","Curvature finiteness at horizon fixes temperature","Quantum BTZ deformations constrained by horizon regularity","Universal Hawking temperature from horizon constraints"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The correction functions have convergent power-series expansions in the physical distance over all regions used, including from large distance all the way to the outer horizon; if that convergence fails, the derived constraints and temperature formula need not hold.","fun_headline_variants_meta":{"raw":{"variants":["Horizon finiteness pins universal Hawking temperature","Curvature finiteness at horizon fixes temperature","Quantum BTZ deformations constrained by horizon regularity","Universal Hawking temperature from horizon constraints"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000411,"raw_usage":{"total_tokens":2162,"prompt_tokens":1011,"completion_tokens":1151,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":627,"completion_tokens_details":{"reasoning_tokens":1094}},"tokens_in":627,"tokens_out":1151,"duration_ms":9353,"temperature":1.0,"reasoning_tokens":1094,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T10:57:50.378347+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a metric of the form (3) with $\\Phi_H^{(3)}\\neq 0$ and all other regularity conditions satisfied, then compute the Kretschmann scalar in a neighborhood of $r_H$: if the scalar remains finite, the universal constraint $\\Phi_H^{(3)}=0$ is not necessary; if it diverges, the constraint is required. The same test works for the first-derivative constraints.","supporting_citations":[{"cited_title":"Positivity Conditions for Generalised Schwarzschild Space-Times","cited_arxiv_id":"2305.12965","evidence_quote":"Provides the positivity conditions used to constrain the large-distance coefficients $\\omega_n,\\gamma_n,\\sigma_n$."}],"review_version":1}