{"id":"a81a228c-cbea-49d9-9f6b-978066e66d9f","arxiv_id":"2412.06536","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"In a 3D gauged supergravity, thermal holographic RG flows come in monotonic and non-monotonic classes, with a special analytic class where the metric is exactly BTZ and the scalar is hypergeometric.","lead":"This paper studies thermal holographic renormalization group flows in a three-dimensional supergravity, representing them as BTZ black holes with a scalar field, and derives analytic formulas for the near-horizon flow and its thermodynamics. It reports two classes of flows, monotonic and non-monotonic, plus a special analytic family in which the metric is exactly BTZ and the scalar solves a hypergeometric equation.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (4.16) fails the horizon condition phi(wh)=phi_h: it gives phi_h+1 and slope -K(h) instead of -Lambda(h). The correct solution of the linearized (4.6) is phi=phi_h+(Lambda/K)(2F1(...)-1); the central claim is misnormalized.","rationale":"The reader's weakest assumption focused on whether the linearization (3.7) of V_phi/V remains valid globally; that is a legitimate concern. My review found a more basic and decisive problem that holds even within the linearized system: the solution (4.10)/(4.16) is incorrectly normalized. The paper defines Phi via (4.8) and solves the homogeneous equation (4.7), but the chosen fundamental solution has Phi(1)=1, which violates the horizon condition phi(wh)=phi_h and the near-horizon slope condition phi'(Ah)=-Lambda(h). The correct solution of the linearized equation with the stated boundary conditions is phi = phi_h + (Lambda(h)/K(h))(2F1(ah,1-ah;1;1-r) - 1). Eq. (4.16) also has a wrong hypergeometric argument (1 - sqrt(r) instead of 1 - r) and uses Delta(h) instead of K(h). Because Lambda(h) vanishes at the extremum, the paper's profile does not reduce to the trivial constant-scalar BTZ solution in that limit, and the boundary asymptotics (4.17) acquire an extra factor Lambda/K. The near-horizon thermodynamics of Section 3 are derived from a separate leading-order solution and are not directly invalidated, but the paper's unique new contribution - the global analytic scalar solution - is incorrect as written. This is a concrete, checkable algebraic error rather than an interpretive ambiguity, so the paper should be rejected unless the authors correct (4.10)/(4.16) and re-verify the match to their numerics.","tokens_in":139,"tokens_out":40039,"duration_ms":391703,"concrete_test":"Re-solve eq. (4.6) after substituting the linearization (3.7), imposing phi(Ah)=phi_h and phi'(Ah)=-Lambda(h). The direct solution is phi = phi_h + (Lambda(h)/K(h)) * (2F1(ah,1-ah;1;1-r) - 1), with r = e^{2c_A(w-wh)}. Verify that eq. (4.16) does not satisfy (4.6): (i) at w=wh it evaluates to phi_h+1; (ii) its horizon derivative is -K(h), not -Lambda(h); (iii) the hypergeometric argument in (4.16) is 1 - e^{c_A(w-wh)} = 1 - sqrt(r), not 1-r, so it is not a solution of (4.7). For a concrete numeric check, choose a^2=0.25, phi_h=0.01, w_h=0.01, and compute the residual of (4.6) when (4.16) is inserted; compare with the corrected profile.","verdict_should_be":"REJECT","load_bearing_attack":"The paper's headline analytic result is eq. (4.16), presented as the scalar profile for a BTZ black hole from horizon to boundary. Substituting w=wh into (4.16), the hypergeometric function equals 1, so phi(wh)=phi_h+1, violating the stated boundary condition (2.13). The near-horizon slope from (4.16) is -K(h), whereas the paper's own near-horizon solution (3.9)-(3.10) requires -Lambda(h); these agree only in the nongeneric case K(h)=Lambda(h). Tracing the inconsistency: (4.8) defines Phi = phi - phi_h + Lambda/K, and (4.7) is homogeneous in Phi. The fundamental solution (4.10) gives Phi(1)=1, forcing phi(wh)=phi_h - Lambda/K + 1, not phi_h. Solving the same linearized equation (4.6) with the boundary conditions phi(Ah)=phi_h and phi'(Ah)=-Lambda(h) yields Phi=(Lambda(h)/K(h)) * 2F1(ah,1-ah;1;1-r), i.e., phi = phi_h + (Lambda(h)/K(h))(2F1(...) - 1). This differs from (4.16) by the prefactor Lambda/K, a constant shift, and also by the argument: (4.16) writes 1 - e^{c_A(w-wh)} = 1 - sqrt(r), while (4.9) defines r = e^{2(A-Ah)}, so the correct variable is 1-r = 1 - e^{2c_A(w-wh)}. Eq. (4.16) also replaces K(h) with Delta(h). Because Lambda(h) is generically different from K(h) (e.g., for small phi_h, Lambda ~ K phi_h), the claimed profile, the boundary expansion (4.17), and the quantitative comparison with numerical flows are all affected. This is a checkable algebraic error in the paper's central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies finite-temperature holographic RG flows in a 3D gauged supergravity with a single scalar field. It constructs numerical black-hole solutions, derives a near-horizon analytic approximation for the metric and scalar field, computes temperature, entropy, and free energy from this approximation, and then proposes, under a 'slowly changing scalar' constraint X^2 ~ 0, an analytic continuation of the scalar profile to the AdS boundary written in terms of a hypergeometric function. The paper also presents numerical flows for one-extremum and three-extremum potentials and discusses monotonic and non-monotonic scalar behavior. The central new claim is that, under the constraint (4.1), the metric is exactly the non-rotating BTZ black hole and the scalar field is the hypergeometric profile (4.16) valid from horizon to boundary.","tokens_in":15810,"tokens_out":6405,"duration_ms":68382,"significance":"If the central claim were correct, the paper would provide explicit closed-form scalar profiles and thermodynamic quantities for a family of finite-temperature RG flows in an otherwise numerically studied 3D supergravity model, a useful addition to the holographic RG-flow literature. The paper has genuine strengths: the near-horizon derivation (3.6)-(3.12), the temperature formula (3.21), entropy (3.24), and free energy (3.26) are internally consistent; the authors ship a SageMath notebook; and the comparison with numerical flows gives the reader a concrete check. However, the headline analytic result, Eq. (4.16), is algebraically incorrect as written: it violates the horizon boundary condition and is not the solution of the linearized equation with the paper's own near-horizon data. Because this profile is the basis for the boundary expansion (4.17) and for the claimed exact scalar field in a BTZ background, the main analytic claim needs substantial correction before the paper can be accepted.","major_comments":[{"comment":"Substituting w = w_h into Eq. (4.16) gives phi(w_h) = phi_h + 1, because the hypergeometric function 2F1(a,b;1;0) equals 1. This directly contradicts the boundary condition (2.13), phi(w_h) = phi_h. Moreover, differentiating (4.16) with respect to A at the horizon gives dphi/dA = Delta(h), whereas the near-horizon solution (3.9)-(3.10) requires dphi/dA(A_h) = -Lambda(h). Thus the displayed profile is not the solution of the linearized equation with the correct horizon data.","section":"§4.1, Eq. (4.16)"},{"comment":"The correct solution of the linearized equation (4.7) with the horizon conditions phi(A_h)=phi_h and phi'(A_h)=-Lambda(h) is phi = phi_h + (Lambda(h)/K(h))(2F1(a_h,1-a_h;1;1-r) - 1), not the expression in (4.16). The paper's solution omits the prefactor Lambda/K and the constant shift -Lambda/K, and it replaces K(h) in the hypergeometric parameters with Delta(h). In addition, the argument of the hypergeometric function in (4.16), 1 - exp(c_A(w-w_h)), is inconsistent with the definition r = exp(2(A-A_h)) = exp(2c_A(w-w_h)) from (4.9): the correct argument is 1-r, not 1-sqrt(r). These algebraic errors affect the boundary expansion (4.17) and any quantitative comparison with the numerical flows.","section":"§4.1, Eqs. (4.7)-(4.10)"},{"comment":"The constraint X^2 ~ 0 is not derived from the equations of motion; it is adopted because numerical flows appear to satisfy it. The paper's own Fig. 7 shows that the deviation between the constrained and unconstrained flows grows as phi_h moves away from the extremum, so the validity of the constraint is limited to a neighborhood of the fixed point. Under the constraint, Eq. (4.12) gives A''=0, so the linear BTZ scale factor follows by construction; the BTZ geometry is therefore an input of the slow-roll approximation rather than an independent consequence. The paper does not provide a quantitative estimate of the linearization error in Eq. (3.7) over the integration range from horizon to boundary, so the claim of an analytic scalar profile that extends from horizon to boundary is not fully established even after the normalization of Eq. (4.16) is corrected.","section":"§4.1, Eq. (4.1)"}],"minor_comments":[{"comment":"There is a typo: 'thee scalar field' should be 'the scalar field'.","section":"§4.1, after Eq. (4.15)"},{"comment":"The phrase 'from the which is found' is grammatically broken and should be rewritten, e.g., 'with the integration constant c_g fixed from the Einstein equations as follows'.","section":"§3.2, Eq. (3.15)"},{"comment":"The notation Delta(h) versus K(h) is used inconsistently: Eq. (4.11) defines a_h in terms of K(h), while Eq. (4.16) uses Delta(h) in the hypergeometric parameters. The authors should state explicitly how Eq. (4.16) follows from Eq. (4.10) and which of K or Delta is the correct coefficient in the linearized equation.","section":"§4.1, Eqs. (4.11) and (4.16)"},{"comment":"The caption says 'solid curves' correspond to holographic RG flows of (2.22)-(2.24) and dashed curves to (4.2)-(4.4), but the legend in the figure is not described; please clarify the color/solid-dashed correspondence in the caption.","section":"Fig. 7"}],"recommendation":"major_revision","confidential_remarks":"The algebraic misnormalization in Eq. (4.16) is central but appears repairable within the scope of the paper; I recommend that the revised version be sent back to the same referee for verification of the corrected hypergeometric profile and its boundary expansion."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the near-horizon expansion and thermodynamic formulas are honest and mostly consistent, but the advertised analytic solution from horizon to boundary has a concrete normalization error. The stress-test note is right about it.\n\nWhat is actually new: the near-horizon asymptotically AdS3 black hole solutions (3.9)-(3.12), the temperature (3.21), entropy (3.24), and free energy (3.26) are derived consistently from the equations of motion, and the conformal limit at the potential extrema checks out. The special class of flows under X^2 ~ 0 is a real observation, and the hypergeometric equation (4.7) is the right equation for a scalar in a BTZ background. The paper is also honest that the hypergeometric profile matches earlier results [38,39] in the boundary limit, and the SageMath notebook is a plus.\n\nSoft spots. Eq. (4.16) is the central result and it fails its own boundary condition (2.13). Substituting w = w_h into (4.16) gives phi(w_h) = phi_h + 1, because 2F1(...,0)=1. The near-horizon slope is also wrong: (4.16) gives -K(h), whereas (3.9)-(3.10) require -Lambda(h). The fix is to multiply the hypergeometric function by Lambda(h)/K(h), so that Phi(w_h)=Lambda/K and phi(w_h)=phi_h. On top of that, the argument uses e^{c_A(w-w_h)} where the variable r defined in (4.9) requires e^{2c_A(w-w_h)}, and the parameters use Delta(h) where (4.11) uses K(h). These are checkable algebraic slips, but they are in the paper's main new claim, so the claim 'analytic solution from horizon to boundary' is not currently supported. The paper also does not quantify the error from the linearization of V_phi/V in (3.7), and the constraint X^2 ~ 0 is imported from the numerics rather than derived; that is a real limitation but a lesser one, because the near-horizon analysis is internally consistent.\n\nBottom line: the thermodynamic part of the paper is useful and likely correct, but the global analytic solution needs correction and re-checking against the numerical flows before it can be trusted. The paper deserves peer review - a referee should catch this quickly and the authors can fix it in revision.","headline":"The near-horizon thermodynamics hold together, but the headline analytic scalar profile (4.16) is misnormalized and the boundary-to-horizon claim fails its own boundary condition.","tokens_in":16465,"tokens_out":2821,"would_cite":false,"duration_ms":25012,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.70.Dy","11.25.Tq"],"model":"deepseek-v4-flash","headline":"The paper establishes that slowly changing scalar fields turn thermal holographic RG flows into exact non-rotating BTZ black holes, with a hypergeometric scalar profile from horizon to boundary.","keywords":["thermal holographic RG flows","3D gauged supergravity","BTZ black hole","hypergeometric scalar solution","holographic renormalization group","black hole thermodynamics","asymptotically AdS3","slowly changing scalar field"],"falsifier":"Numerically integrate the full unconstrained dynamical system (2.22)-(2.24) for the same horizon value $\\varphi_h$ used in the constrained solution and compare the resulting metric function $A(w)$ and scalar profile $\\varphi(w)$ with the analytic BTZ-plus-hypergeometric solution (4.13)-(4.16). If the deviation grows beyond the near-horizon region for any $\\varphi_h$ in the claimed range, then the exact BTZ class is empty and the constraint is only an approximation.","tokens_in":15075,"feed_emoji":"🕳️","tokens_out":8823,"duration_ms":76995,"temperature":0.7,"pith_summary":"The paper studies finite-temperature holographic renormalization-group flows in a three-dimensional gauged supergravity with a single scalar field whose potential has either one or three extrema. Its central claim is that when the scalar changes slowly along the flow, the spacetime metric is exactly the non-rotating BTZ black hole and the scalar profile is given by a hypergeometric function that runs from the horizon to the AdS boundary. The authors also provide near-horizon analytic solutions for general horizon values of the scalar, together with closed-form temperature, entropy, and free energy, and they show that the thermodynamics becomes conformal at the potential extrema. If correct, this gives explicit analytic examples of thermal holographic RG flows in a top-down supergravity model, rather than purely numerical constructions.","feed_headline":"Slow scalar turns thermal RG flows into BTZ black holes","feed_subtitle":"Analytic hypergeometric profiles run from horizon to boundary, with closed-form temperature, entropy, and free energy.","key_machinery":"The load-bearing mechanism is the constraint $X^2\\approx0$ for $X=d\\varphi/dA$, which the paper interprets as a slowly changing scalar field. Imposing it reduces the autonomous dynamical system (2.22)-(2.24) to the simplified system (4.2)-(4.4), makes the scale factor obey the linear relation $A=c_A w$, and converts the scalar equation into the hypergeometric equation (4.7) after the substitution $r=\\exp(2(A-A_h))$ and $\\Phi=\\varphi-\\varphi_h+\\Lambda^{(h)}/K^{(h)}$. The solution is the hypergeometric function $_2F_1(a_h,1-a_h,1,1-r)$, written in $w$ as (4.16), and this is what turns the metric into the non-rotating BTZ geometry while keeping a nontrivial scalar profile.","core_discovery":"For the potential (2.2), with parameter $a^2$ controlling the number of extrema, the paper claims that imposing $X^2\\approx0$, where $X=d\\varphi/dA$ measures the rate of change of the scalar relative to the scale factor, selects a class of thermal holographic RG flows whose metric matches the non-rotating BTZ black hole (3.1)-(3.2) and whose scalar field solves the hypergeometric equation (4.7), with explicit solution (4.16). The constraint forces the scale factor $A$ to be linear and decouples the blackening function, so the geometry is BTZ while the scalar remains nontrivial. The analytic scalar solution extends from the horizon to the boundary and reproduces the expected boundary expansion (4.17) with the correct conformal dimensions. In addition, the near-horizon solutions (3.17)-(3.20) yield closed thermodynamic expressions (3.21)-(3.26), which reduce to the conformal BTZ thermodynamics at the extrema of the potential.","pith_inferences":["Editorial inference: the slow-scalar constraint $X^2\\approx0$ is effectively a probe limit in which the scalar does not backreact on the geometry; testing it against the unconstrained system for $\\varphi_h$ away from the extremum would quantify how wide the 'exactly BTZ' class really is.","Editorial inference: since the hypergeometric scalar is the general solution for a scalar field on a fixed BTZ background, these flows can be reinterpreted as a probe scalar in a thermal CFT; if so, the dual description is a weakly-coupled scalar operator rather than a genuine deformation of the geometry.","Editorial inference: the relation noted in the paper's context between $X^2\\approx0$ and a vanishing holographic c-function suggests these flows sit at a special critical point; one could check whether the c-function along unconstrained flows stops changing at the same $\\varphi_h$ where the constraint becomes accurate."],"forward_implications":["For $a^2\\le 1/2$ the potential has one extremum and monotonic thermal RG flows exist for any horizon value $\\varphi_h$; near the extremum the thermodynamics reduces to the conformal BTZ result (3.3).","For $1/2