{"id":"1b597863-cbe0-4f86-9e44-f71842be6b46","arxiv_id":"2505.01310","paper_version":2,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":2,"one_line_summary":"The paper reports closed-form central charges a and c for a string-derived EdGB theory and a Lovelock-Horndeski theory, plus a holographic a-theorem check for the latter.","lead":"This paper derives two five-dimensional scalar-tensor theories from the ten-dimensional heterotic string action and computes their holographic conformal anomalies and central charges. It also constructs exact anti-de Sitter solutions with a linear dilaton and claims a holographic a-theorem for one of the theories.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"EdGB central-charge derivation appears to impose an off-shell AdS vacuum: the Appendix C.2 constraint fixes L_GB = 108/ℓ^4 instead of the AdS5 value 120/ℓ^4, so Eq. (14) is not supported.","rationale":"The paper's headline claim is the closed-form EdGB anomaly Eq. (14). The reader's weakest assumption already identified the Appendix C.2 constraint e^{-γφ0} = ℓ^2/[3α(3η−1)] as the fragile point. My stress-test sharpens that concern: the constraint is not merely an unusual boundary condition but appears to contradict the bulk scalar equation on the AdS5 background. If confirmed, the central-charge formulas are not the anomaly of an on-shell solution. The paper contains independent constructive elements, including the exact linear-dilaton AdS solution in Appendix B and references to known EdGB black holes, so the issue is specific rather than a general dismissal. The proposed test is a direct algebraic check that a symbolic computation can settle. Because the reader's verdict was already CONDITIONAL with high correctness risk, this concern does not move the verdict; it strengthens the condition under which the paper could be accepted.","tokens_in":18991,"tokens_out":24651,"duration_ms":251608,"concrete_test":"Evaluate the scalar and trace equations of motion of Eq. (4) on the FG metric Eq. (10) with constant φ0, using the appendix relation e^{-γφ0} = ℓ^2/[3α(3η−1)] and its consequence Λ = -108αγ e^{-(γ+λ)φ0}/(ℓ^4 λ). Check whether λΛ e^{λφ0} + αγ e^{-γφ0} L_GB = 0 holds with L_GB = 120/ℓ^4. If it does not, re-derive the EdGB anomaly with standard holographic renormalization, fixing φ(2), g(1), g(2) from the bulk equations instead of varying the anomaly action with respect to them, and compare the resulting a and c with Eq. (14).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step in the EdGB branch is the derivation of Eq. (14) from Appendix C.2. Varying the anomalous action with respect to φ(2) gives λΛ e^{λφ0} = -108αγ ℓ^{-4} e^{-γφ0}. For action (4), the bulk scalar equation for constant φ0 is λΛ e^{λφ0} + αγ e^{-γφ0} L_GB = 0, so the appendix constraint forces L_GB = 108/ℓ^4. For an AdS5 background of radius ℓ, L_GB = R_abcd R^abcd - 4 R_ab R^ab + R^2 = 40/ℓ^4 - 4·80/ℓ^4 + 400/ℓ^4 = 120/ℓ^4, up to an overall sign convention; the 108/120 ratio is not a sign ambiguity. Thus the FG data used to compute a and c in Eq. (14) do not solve the bulk equations. The variation with respect to φ(2) and g(2) is over non-source coefficients and appears to impose an artificial relation e^{-γφ0} = ℓ^2/[3α(3η−1)] rather than a consistent holographic vacuum condition. Since every term in Eq. (14) inherits this relation, the closed-form central charges are not established as the physical holographic anomaly.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript claims to derive two five-dimensional scalar-tensor actions—Einstein-dilaton–Gauss–Bonnet (EdGB) and Lovelock–Horndeski—from the α′-corrected ten-dimensional heterotic effective action by exploiting coefficient-frame ambiguities and consistent Kaluza–Klein reduction. It then presents holographic computations of the boundary conformal anomaly for both theories: closed-form central charges a(γ,λ), c(γ,λ) for EdGB in Eq. (14), and a,c for Lovelock–Horndeski in Eqs. (16) and (18), together with new b-type charges in the linear-dilaton case. The paper also reports an exact asymptotically AdS solution with linear dilaton and states a holographic a-theorem for the Lovelock–Horndeski branch, using domain-wall flows and the null energy condition.","tokens_in":19296,"tokens_out":10760,"duration_ms":104003,"significance":"The potential significance is genuine: closed-form anomaly coefficients for two higher-derivative scalar-tensor theories would provide concrete holographic data for testing collider and positivity bounds, and a monotone a-function for a linear-dilaton Horndeski model would extend known holographic renormalization-group results. The explicit Kaluza–Klein reduction identities in Appendix D and the exact AdS solution with linear dilaton in Appendix B are checkable and potentially useful. However, the paper does not currently establish these central claims: the EdGB anomaly derivation is internally inconsistent, the Lovelock–Horndeski anomaly derivation contains a missing load-bearing equation, and the a-theorem proof relies on unproved inequalities and an auxiliary matter sector.","major_comments":[{"comment":"The derivation of the EdGB central charges is not supported by the bulk equations of motion. Varying the anomalous action with respect to φ(2) yields λΛ e^{λφ0} = −108αγ ℓ⁻⁴ e^{-γφ0}, and varying with respect to g(2) gives e^{-γφ0} = ℓ²/[3α(3η−1)]. For action (4), the scalar equation for constant φ0 is λΛ e^{λφ0} + αγ e^{-γφ0} L_GB = 0, so these conditions force L_GB = 108/ℓ⁴. In an AdS₅ background of radius ℓ, however, L_GB = R_{abcd}R^{abcd} − 4R_{ab}R^{ab} + R² = 120/ℓ⁴, with either sign convention for the curvature. The 108/120 mismatch is not a sign ambiguity. Thus the Fefferman–Graham data used to compute Eq. (14) do not solve the bulk theory, and the constraint e^{-γφ0} = ℓ²/[3α(3η−1)] is an artifact of varying over non-source coefficients φ(2) and g(2). Eq. (14) is therefore not established as the physical holographic anomaly.","section":"Appendix C.2, Eq. (C12) and Eq. (14)"},{"comment":"The Lovelock–Horndeski anomaly derivation contains a missing load-bearing step: after Eq. (C10) the text reads “Substituting the expressions for g(1)_ab and φ(1) into equation (XX)”, but no equation (XX) appears anywhere in the manuscript. This omitted equation is precisely the relation that determines g(1)_ab (Eq. C11) and therefore controls the final anomaly (17) and central charges (18). Without it the derivation cannot be checked. This is a substantive omission, not a typographical issue.","section":"Appendix C.1, Eq. (C11)"},{"comment":"The a-theorem proof is incomplete in both cases. In the non-critical case, A″(r) ≥ 0 is asserted immediately after writing a null-energy-condition expression, with no demonstration that the Horndeski field configurations satisfy the NEC for the effective matter stress tensor. In the linear-dilaton case, the stated a′(r) is a rational function whose numerator is asserted to be positive “with the above constraint” without proof; the displayed expression contains only A″ and no φ″ terms even though the flow function (20) depends on φ′. Because the monotonicity conclusion a′(r) > 0 rests entirely on these unproved inequalities, the claimed holographic a-theorem is not established.","section":"Section 7, Eqs. (19)–(20)"}],"minor_comments":[{"comment":"The notation for the linear-dilaton slope is inconsistent: Eq. (17) uses χ while Eq. (18) uses φ_s, and the relation between χ and φ_s is never stated.","section":"Section 6, Eqs. (17)–(18)"},{"comment":"The coefficients are listed as E1–E17, but the anomalous action in Eq. (C13) is written with C_i; the mapping from E_i to C_i and the algebraic steps that combine them into Eq. (14) are not shown.","section":"Appendix C.2, Eqs. (C13)–(C15)"},{"comment":"The paper states that numerical EdGB black hole solutions are obtained, but no numerical data, plots, boundary conditions, or convergence checks are presented; this part of the paper is unverifiable as written.","section":"Section 5"},{"comment":"The coefficient-frame selection is not made explicit: the claim that “one of the coefficients {a_i} is prefixed” and that four coefficients are cancelled is never substantiated with the specific coefficient choices used to obtain actions (4) and (6).","section":"Sections 3–4 and Appendix D"},{"comment":"There are numerous typographical errors (“Thoery”, “Hournal”, “with coefficients{Ci} are given”), inconsistent equation references (Appendix A refers to theory (7) while the action is numbered (6)), and unclear notation such as the reuse of α for both the reduction parameter and the Gauss–Bonnet coupling.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The central EdGB calculation appears to be wrong in a way that cannot be patched by a local correction: the L_GB = 108/ℓ⁴ condition contradicts the AdS₅ value 120/ℓ⁴. If the authors cannot resolve this by redoing the anomaly calculation, the paper should be rejected. The Lovelock–Horndeski branch may be salvageable, but only after supplying the missing equation (XX), completing the a-theorem proof, and connecting the linear-dilaton parameter to the action couplings."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nPunchline: there is a genuinely interesting core idea here, but the EdGB central-charge result (Eq. 14) is not established. I checked the stress-test note and it holds up. The appendix's variation with respect to phi(2) and g(2) forces the Gauss-Bonnet invariant on the AdS5 background to be 108/l^4, while the actual AdS5 value is 120/l^4. Every term in Eq. (14) inherits that constraint, so unless the constraint is a legitimate holographic boundary condition — and I do not see how it can be — the closed forms are not the physical holographic anomaly. This is a load-bearing flaw, not a sign convention.\n\nWhat is genuinely new: the unified KK reduction via Tseytlin coefficient frames, the explicit map to two inequivalent 5D theories, and the exact linear-dilaton AdS5 solution in the Lovelock-Horndeski branch. The parameter relations in Eq. (B9) are explicit and checkable. The anomaly expressions for the Lovelock-Horndeski cases, Eqs. (15)-(18), have enough structure to be tested, and the new b-type charges for the linear-dilaton case are an interesting output. The a-theorem discussion is more of a consistency check than an independent proof: the flow function is chosen to match the central charge, then shown monotone under the Null Energy Condition. That is fine as a check, but it should not be advertised as a theorem.\n\nSoft spots in proportion: the draft is visibly unfinished. There is a placeholder \"equation (XX)\" in Appendix C.1, the EdGB appendix jumps from long coefficients to Eq. (14) without displaying the substitution, and some symbols in Appendix C.1 are not all defined. The a-theorem section compresses the inequality work substantially.\n\nWho this is for: people working on holographic anomalies, Horndeski/EdGB holography, and top-down string compactifications. If the Lovelock-Horndeski part is correct, it is a useful subfield result. The EdGB branch needs to be reworked: either the variational constraint has a justification I am not seeing, or Eq. (14) should be withdrawn until a correct derivation exists.\n\nRecommendation: this deserves a serious referee rather than a desk reject — there is a real idea here — but it needs major revision and a careful check of the EdGB constraint. I would not cite Eq. (14) in its current form.","headline":"The coefficient-frame KK mechanism is a real idea and the Lovelock-Horndeski branch is worth a look, but the EdGB central-charge formula has a load-bearing consistency problem and the draft is unfinished.","tokens_in":19801,"tokens_out":7323,"would_cite":false,"duration_ms":72323,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T30","83E30","81T40","83C57"],"pacs":["11.25.-w","11.25.Tq","04.50.Kd"],"model":"deepseek-v4-flash","headline":"A single α′-corrected heterotic string action yields two inequivalent five-dimensional scalar-tensor theories, and this paper derives their full holographic conformal anomalies in closed form and proves a holographic a-theorem in the…","keywords":["holographic conformal anomaly","Kaluza-Klein reduction","heterotic string effective action","Einstein-dilaton-Gauss-Bonnet","Lovelock-Horndeski gravity","holographic a-theorem","linear dilaton","Fefferman-Graham expansion"],"falsifier":"Compute the EdGB central charges by an independent holographic method—for example, from the boundary stress-tensor two-point function or from entanglement entropy across a sphere—and check whether a and c reproduce Eq. (14); alternatively, drop the relation $e^{{−γφ(0)}}$ = ℓ²/(3α(3η−1)), repeat the Fefferman-Graham expansion, and see whether a consistent anomaly and a-theorem still emerge.","tokens_in":2170,"feed_emoji":"🌀","tokens_out":2395,"duration_ms":80697,"temperature":0.7,"pith_summary":"The paper claims that the ten-dimensional heterotic string effective action, through the freedom to choose different coefficient frames at order α′, gives a unified origin for two distinct five-dimensional scalar-tensor theories: Einstein-dilaton-Gauss-Bonnet and Lovelock-Horndeski. For each theory it derives the complete four-dimensional holographic conformal anomaly, including closed-form central charges a(γ,λ) and c(γ,λ), and it constructs exact asymptotically AdS solutions with a linear dilaton profile in the Lovelock-Horndeski case. The central charges convert string-theoretic couplings directly into constraints on the dual CFT, such as the positivity of a and c and the collider bound 0 < c/a < 3/2. The paper also establishes a holographic a-theorem, showing a monotonic decrease of a constructed a-function from the ultraviolet to the infrared, even in the non-unitary branch with negative central charges. If correct, these results show that AdS/CFT remains consistent and predictive when non-minimal scalar couplings and higher-curvature terms are present.","feed_headline":"Holographic anomalies pinned down for two string-derived 5D theories","feed_subtitle":"One heterotic action yields two 5D theories with closed-form central charges and a monotonic a-function","key_machinery":"The central mechanism is the coefficient-frame ambiguity of the ten-dimensional heterotic string effective action: different choices of the undetermined α′ coefficients, equivalent in ten dimensions, become physically distinct after Kaluza-Klein reduction, generating the EdGB and Lovelock-Horndeski actions. The anomaly computation itself runs on the Fefferman-Graham expansion of the asymptotically AdS5 metric, which organizes the bulk fields into boundary data and produces the Weyl anomaly through the on-shell action; in the linear-dilaton case the scalar field acquires a logarithmic Fefferman-Graham branch. The a-theorem is carried by a constructed flow function a(r), defined through the domain-wall scale factor A(r) and the running dilaton profile, whose monotonicity follows from the null energy condition applied to additional matter.","core_discovery":"The paper's central claim is that the α′-corrected ten-dimensional heterotic effective action, reduced on a consistent Kaluza-Klein ansatz in two carefully chosen coefficient frames, produces two inequivalent five-dimensional scalar-tensor theories, and that for both theories the full holographic Weyl anomaly of the four-dimensional boundary CFT can be obtained in closed form. For the Einstein-dilaton-Gauss-Bonnet theory, the anomaly coefficients are given by central charges a = (ℓ³)/(8λ(9γ−λ))(27γ²−66γλ+19λ²) and c = (ℓ³)/(24λ(9γ−λ))(81γ²−126γλ+49λ²). For the Lovelock-Horndeski theory, the gravitational sector yields a = −5ℓ³/8 and c = −ℓ³/8 in the non-critical case, and a and c depending on the dilaton logarithmic prefactor φ_s in the critical linear-dilaton case, alongside new b-type anomaly charges. The paper further claims that the Lovelock-Horndeski theory admits an exact AdS5 solution with linear dilaton φ(r) = χ log r, and that a monotonically decreasing a-function can be constructed along holographic RG flows, thereby establishing a holographic a-theorem in both critical and non-critical settings.","pith_inferences":["The same coefficient-frame mechanism could plausibly generate additional inequivalent five-dimensional theories from non-toroidal internal spaces or from different dilaton potentials, extending the two-branch structure to a family of holographic models.","Because the EdGB central charges are explicit functions of two couplings, they offer a direct target for an independent extraction by holographic entanglement entropy across a sphere; agreement would test the boundary condition that fixes the AdS scale in terms of the Gauss-Bonnet coupling.","The non-unitary Lovelock-Horndeski branch with a monotonic a-function could serve as a controlled laboratory for logarithmic CFTs, where the negative central charge encodes the density of negative-norm states and controls logarithmic pairings; one could test this against the partition function of the conjectured log-CFT dual.","If the linear-dilaton boundary interpretation is correct, the new b-type charges b1 and b2 should appear in other holographic observables such as entanglement entropy or two-point functions, providing testable signatures beyond the anomaly itself."],"forward_implications":["The closed-form EdGB central charges turn the universal CFT bounds, including the conformal-collider constraint 0 < c/a < 3/2, into an explicit admissible region in the (γ,λ) coupling plane.","The Lovelock-Horndeski non-critical branch has negative central charges, so the dual four-dimensional theory is non-unitary or logarithmic, yet it still admits a monotonic a-function and a well-defined RG hierarchy.","The linear-dilaton critical branch breaks full conformal invariance while keeping scale invariance, producing new b-type anomaly charges and giving a concrete holographic realization of generalized conformal branes.","A single ten-dimensional string action, through two distinct vacua, provides a top-down origin for two inequivalent AdS5 scalar-tensor theories whose higher-curvature corrections are fully controlled by string theory.","After a further S1 compactification, the EdGB theory connects to four-dimensional dilatonic Gauss-Bonnet gravity, so the anomaly bounds supply model-independent priors for gravitational-wave and scalarization phenomenology."],"supporting_citations":[{"why":"Supplies the coefficient-frame ambiguity of the 10D string effective action that the paper exploits to derive two different 5D theories from a single action.","marker":"[20]"},{"why":"Supplies the Fefferman-Graham expansion used to extract all holographic conformal anomaly coefficients.","marker":"[4]"},{"why":"Establishes the holographic dictionary that identifies the bulk on-shell action with the boundary CFT generating functional.","marker":"[1]"},{"why":"Provides the AdS/CFT correspondence framework that motivates computing boundary anomalies from bulk gravity.","marker":"[2]"},{"why":"Derives the holographic Weyl anomaly and connects the FG expansion to the boundary trace anomaly.","marker":"[3]"},{"why":"Supplies the classification of Weyl anomalies into Euler and Weyl-squared invariants on which the anomaly formulas are built.","marker":"[5]"},{"why":"Provides the geometric classification of conformal anomalies in arbitrary dimensions used for the anomaly structure.","marker":"[6]"},{"why":"Supplies the flow ansatz and a-function construction that the paper adapts to prove the holographic a-theorem.","marker":"[25]"},{"why":"Identifies generalized conformal branes, the boundary interpretation used for the linear-dilaton AdS case.","marker":"[37]"}],"fun_headline_variants":["Closed-form 5D holographic anomalies from heterotic strings","Heterotic reduction yields exact anomaly and holographic a-theorem","Two string-derived theories with exact central charges and a-function","5D Lovelock-Horndeski: exact AdS with linear dilaton, a-theorem"],"cache_read_input_tokens":21888,"weakest_assumption_plain":"The closed-form central charges for the Einstein-dilaton-Gauss-Bonnet theory hold only if the variational relation $e^{{−γφ(0)}}$ = ℓ²/(3α(3η−1)) is a genuine holographic boundary condition rather than an artifact of the calculation, and the a-theorem furthermore assumes the extra matter obeys the null energy condition.","fun_headline_variants_meta":{"raw":{"variants":["Closed-form 5D holographic anomalies from heterotic strings","Heterotic reduction yields exact anomaly and holographic a-theorem","Two string-derived theories with exact central charges and a-function","5D Lovelock-Horndeski: exact AdS with linear dilaton, a-theorem"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000221,"raw_usage":{"total_tokens":1455,"prompt_tokens":957,"completion_tokens":498,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":573,"completion_tokens_details":{"reasoning_tokens":417}},"tokens_in":573,"tokens_out":498,"duration_ms":5339,"temperature":1.0,"reasoning_tokens":417,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T04:21:36.379744+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the EdGB central charges by an independent holographic method—for example, from the boundary stress-tensor two-point function or from entanglement entropy across a sphere—and check whether a and c reproduce Eq. (14); alternatively, drop the relation $e^{{−γφ(0)}}$ = ℓ²/(3α(3η−1)), repeat the Fefferman-Graham expansion, and see whether a consistent anomaly and a-theorem still emerge.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the coefficient-frame ambiguity of the 10D string effective action that the paper exploits to derive two different 5D theories from a single action."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Fefferman-Graham expansion used to extract all holographic conformal anomaly coefficients."},{"cited_title":"Holographic Conformal Anomaly and a-Theorem in 5D Scalar-Tensor Theories from Heterotic Strings","cited_arxiv_id":"2505.01310","evidence_quote":"Establishes the holographic dictionary that identifies the bulk on-shell action with the boundary CFT generating functional."},{"cited_title":"We focus on the solutions-particularly asymptotically AdS solutions- of resulting theories","cited_arxiv_id":null,"evidence_quote":"Provides the AdS/CFT correspondence framework that motivates computing boundary anomalies from bulk gravity."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Derives the holographic Weyl anomaly and connects the FG expansion to the boundary trace anomaly."},{"cited_title":"Using standard boundary conditions and suitable ansatz, we solve numerically for black hole solutions in the effective theory (4)","cited_arxiv_id":null,"evidence_quote":"Supplies the classification of Weyl anomalies into Euler and Weyl-squared invariants on which the anomaly formulas are built."},{"cited_title":"Adopting the gauge-fixed ansatz: ds2 = ℓ2 4ρ2dρ2 + 1 ρgij(ρ,x )dxidxj (10) where ρ is the holographic radial coordinate (ρ→∞ at the boundary), ℓ is the AdS radius","cited_arxiv_id":null,"evidence_quote":"Provides the geometric classification of conformal anomalies in arbitrary dimensions used for the anomaly structure."},{"cited_title":"Kobayashi, and M","cited_arxiv_id":null,"evidence_quote":"Supplies the flow ansatz and a-function construction that the paper adapts to prove the holographic a-theorem."},{"cited_title":"Wu, Ads wormholes from ricci-flat/ads correspondence, Phys","cited_arxiv_id":null,"evidence_quote":"Identifies generalized conformal branes, the boundary interpretation used for the linear-dilaton AdS case."}],"review_version":1}