{"id":"2f8fdb74-40f7-4ff5-a6cc-95aaf3217520","arxiv_id":"2504.19969","paper_version":1,"verdict":"REJECT","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":4,"one_line_summary":"The paper proposes that the internal flux to curvature ratio in heterotic compactifications controls the sign of stringy corrections to the holographic BF bound, operator dimensions, and superconductor critical temperature.","lead":"This paper studies how stringy corrections from heterotic string theory change the stability of particles in a curved holographic space and the temperature of an associated superconductor. Generalists might read it to see how hidden dimensions could alter predictions for strongly coupled materials.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Equation (3.4) is internally inconsistent: its b=0 limit gives β(β−d)=m²L⁴, not the m²L² the text claims, and it is not the expansion of the stated quartic, so all BF-bound and operator-dimension results inherit this error.","rationale":"The reader's verdict is correct. The most load-bearing defect is not the (also asserted) reduction in Section 2, but the algebraic inconsistency of Eq. (3.4), because it invalidates the paper's central results even if every string-theoretic input is granted. The paper qualitatively argues that flux dominance relaxes and curvature dominance tightens the BF bound; that direction may be plausible and is supported by earlier work, but the specific polynomial defining β, and hence all quoted numbers, is wrong. A corrected polynomial would change the sizes and possibly signs of δ∆ and Tc shifts. No code or machine-checked proof is supplied, so this is an ordinary algebra check that any referee can run. I therefore agree with REJECT. My agreement with the reader is only partial because their stated weakest assumption was the Section 2 action reduction; the decisive concern here is the internal inconsistency of the quartic, which they also noted in their rationale.","tokens_in":20063,"tokens_out":5511,"duration_ms":45972,"concrete_test":"Use a computer algebra system to expand L²β(β−d)−m²L⁴−b[β(β−d)]² and compare term-by-term with Eq. (3.4); if the coefficients differ, recompute the smallest real root β1 for the representative parameters of Fig. 1(b) with the correct polynomial to confirm the quoted curves and BF-bound shifts change.","verdict_should_be":"REJECT","load_bearing_attack":"The central technical object is the quartic (3.4) for the asymptotic exponent β. The text derives it from the equation of motion (□−m²−b□²)ϕ=0 with □ϕ≃(1/L²)β(β−d)ϕ and □²ϕ≃(1/L⁴)[β(β−d)]²ϕ, obtaining L²β(β−d)−m²L⁴−b[β(β−d)]²=0 immediately before (3.4). Expanding this gives −bβ⁴+2bdβ³+(L²−bd²)β²−L²dβ−m²L⁴=0, whose coefficients are completely different from those in (3.4); e.g., there is no 4b(1−d)β³ term and no 10b+5bd+bd² term. More seriously, setting b=0 in the displayed (3.4) leaves β(β−d)=m²L⁴, whereas the correct limit is β(β−d)=m²L², as the text itself states. Since β1 in Section 5, the generalized BF bound, the shifts δ∆, and the Tc estimates are all computed from Eq. (3.4), every numerical and quantitative claim collapses unless the polynomial is corrected. This is an internal inconsistency, independent of whether the Section 2 compactification is accepted.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript attempts to take α′ corrections in heterotic string theory beyond the supergravity approximation and study their holographic consequences. It starts from a ten-dimensional α′-corrected heterotic action, assumes a warped-product compactification, and claims that after field redefinitions the dilaton sector reduces to a single higher-derivative operator (□ϕ)^2 with coupling b = α′C determined by internal volume, average curvature, and NS-NS flux. In an AdS background the asymptotic exponent β is then governed by the quartic equation (3.4), from which the paper derives a generalized Breitenlohner-Freedman bound, shifts δΔ in dual operator dimensions, changes in RG beta functions, a Lee-Wick/Pauli-Villars interpretation of an auxiliary field, and shifts in the critical temperature of holographic superconductors. Numerical solutions of Eq. (3.4) are presented as constraints in the m–L plane. The central technical object is Eq. (3.4), and all quantitative results of the paper flow from it.","tokens_in":20308,"tokens_out":8485,"duration_ms":86064,"significance":"If the derivation were sound, the paper would provide a concrete dictionary between heterotic compactification data and finite-N CFT corrections, with falsifiable sign statements for flux-dominated versus curvature-dominated vacua. The paper also does several useful things: it collects numerical data for a number of heterotic vacua, formulates a clean parametric model in which a single coefficient b controls all corrections, and gives a plausible auxiliary-field interpretation of the higher-derivative term. However, the central quartic is internally inconsistent, and the reduction to a single (□ϕ)^2 operator is asserted rather than derived. As a result, the quantitative results for δΔ, δTc, and the m–L stability regions are not reliable, and the manuscript does not currently meet the standard for a rigorous holographic string-theory result.","major_comments":[{"comment":"The displayed quartic in Eq. (3.4) is not the expansion of the equation written immediately above it, and its b→0 limit is wrong. The preceding equation is L²β(β−d) − m²L⁴ − b[β(β−d)]² = 0, whose expansion contains β⁴ with coefficient −b and β³ with coefficient +2bd; Eq. (3.4) instead has β⁴ coefficient +b and β³ coefficient 4b(1−d), and its remaining coefficients cannot be matched for any rescaling of b. Setting b=0 in Eq. (3.4) gives β(β−d) = m²L⁴, whereas the correct limit, stated in the same paragraph, is β(β−d) = m²L². Since Section 5 and the δΔ and δTc estimates solve Eq. (3.4), every quantitative result derived from this equation is invalid until the polynomial is corrected.","section":"§3, Eq. (3.4)"},{"comment":"The reduction to a single operator (□10ϕ)^2 with γ1 = −1/4 and γ2 = 1/24 is asserted without derivation. The step from Eq. (2.5) to Eq. (2.6) replaces R10 and H² by internal averages and drops external curvature, but the assumption ϕ(x,y) = ϕ(x) only ensures □10ϕ = □(d+1)ϕ for the d'Alembertian factor; the curvature and flux prefactors are then evaluated with no justification that zero-mode averages dominate. Because b = α′C and the ratio Ξ set the sign and magnitude of all downstream effects, this unproven compactification step is load-bearing for the paper's central claim. Citations to Refs. [2,8] do not by themselves establish that all other α′ operators can be removed by field redefinitions.","section":"§2, Eqs. (2.1)–(2.7)"},{"comment":"The paper asserts that requiring Eq. (3.4) to have only real roots is equivalent to a generalized BF bound, but no derivation is supplied. For b ≠ 0 the relation between root reality, bulk stability, and CFT unitarity is nontrivial because the fourth-order equation introduces an additional propagating mode. Likewise, the formula δΔ = −ϵ(Δ0−3/2)(Δ0−1/2)/(1−2Δ0+3), used for the numerical estimates in Section 3, appears without derivation. These formulas are load-bearing for the claimed shifts and for the claimed 'universal pattern' governed by Ξ.","section":"§3 and §5"}],"minor_comments":[{"comment":"The phrase 'can shift ∆ by almost in either direction' appears to be missing a word or words, and the text contains typographical errors such as 'rˆole' for 'role'.","section":"§3"},{"comment":"The caption for Fig. 1(b) states that the blue and orange curves share the same x-axis but does not specify which curve corresponds to m and which to L; explicit axis labels or a legend would remove the ambiguity.","section":"Fig. 1"},{"comment":"The relation between δ(m²) and δΔ in Eqs. (4.6)–(4.8) is stated without derivation, and the sign convention in Eq. (4.7) is not specified; this makes it difficult to verify the direction of the claimed Tc shift in the superconductor section.","section":"§4, Eqs. (4.6)–(4.8)"}],"recommendation":"reject","confidential_remarks":"The rejection is driven by the internal inconsistency of Eq. (3.4) and by the unsupported compactification reduction in Section 2. These are not stylistic issues: the numerical analysis, the operator-dimension shifts, and the superconductor predictions all inherit the error. If the authors rework the manuscript, they should first correct the expansion of the equation of motion and redo the numerical and phenomenological analysis, and they should provide a derivation of the claimed single-operator reduction. The topic is of potential interest to the journal, but the present submission is not sound."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take on 2504.19969. The packaging is neat and the qualitative story is plausible, but the load-bearing quartic, Eq. (3.4), is simply wrong, and every number in the paper comes from it.\n\nWhat is new: compressing the first α′ corrections of heterotic supergravity into a single (□ϕ)² operator with coupling b = α′C, and encoding the flux-versus-curvature competition in the dimensionless parameter Ξ. The claim that flux dominance relaxes the BF bound and raises Tc in a holographic superconductor, while curvature dominance does the opposite, is a clean idea and consistent with earlier work on α′ corrections to the BF bound (which the authors cite honestly). The heterotic setup has one real advantage the paper states correctly: corrections start at O(α′), not O(α′³) as in type II.\n\nNow the soft spot, and it is load-bearing. I checked the algebra myself and the stress-test is right. The text says (3.4) comes from expanding L²β(β−d) − m²L⁴ − b[β(β−d)]² = 0. Expanding that gives coefficients b, −2bd, bd²−L², L²d, and a constant m²L⁴ — none of the β³, β², or β terms of (3.4) match. And the b→0 limit of the displayed (3.4) is β(β−d) = m²L⁴, while the paper claims it reduces to β(β−d) = m²L². The equation just before (3.4) does have the right limit, so the slip is in the displayed quartic itself. This is fatal to Section 5 and to δ∆, the generalized BF bound, and the Tc estimates, which all flow from the β of Eq. (3.4). The numerics are just plots of a wrong equation, and no code or data is provided.\n\nOther problems are softer. The reduction in Section 2 to a single (□ϕ)² with γ₁=−1/4, γ₂=1/24 is asserted, not derived; replacing R₁₀ and H² by internal averages while dropping external curvature is an assumption that could fail. The mass formula m² = m²_KK + Δm² + m²_pot is stated without derivation. The superconductor part is a dimensional estimate, not a computation. And because the sign of every effect is fixed by the sign of the imported coupling b, the predictions are not independent of the input; Ξ is a repackaging, not a first-principles derivation.\n\nCredit where due: the paper engages the literature squarely, states its assumptions, and the qualitative sign logic is likely to survive a corrected quartic — with ϵ = b/L² the story “flux raises, curvature lowers” goes through in the same direction. For readers working on heterotic flux compactifications or holographic superconductors, the qualitative discussion is a useful orientation; the numbers are not. That is enough to make the paper worth a referee’s time, but not enough to accept it anywhere near its current form.\n\nMy recommendation: send it out, expect heavy revision. The referee should demand a corrected (3.4), a real derivation or explicit disclaimer for the Section 2 reduction, and rerun numerics. I would not cite it as-is; I might bring it to a reading group as an exercise in checking load-bearing equations.","headline":"Neat packaging (single □² coupling from heterotic compactification, sign controlled by flux vs curvature) with a plausible qualitative story, but the central quartic (3.4) is internally inconsistent — b→0 gives m²L⁴ instead of m²L² — so all quantitative claims need redoing; worth a referee because the fix is concrete and the sign logic may survive.","tokens_in":20993,"tokens_out":13361,"would_cite":false,"duration_ms":116911,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.25.-w","11.25.Tq"],"model":"deepseek-v4-flash","headline":"The paper claims that heterotic α′ corrections shift the holographic Breitenlohner-Freedman bound by a sign set by internal flux versus curvature, relaxing it for flux-dominated vacua and tightening it for curvature-dominated vacua.","keywords":["heterotic string theory","alpha-prime corrections","AdS/CFT correspondence","Breitenlohner-Freedman bound","holographic superconductor","flux compactification","higher-derivative effective action","Lee-Wick regulator"],"falsifier":"Compute the α′-corrected heterotic four-point dilaton amplitude and compare the resulting on-shell effective action to the claimed form $(1+\\gamma_1\\alpha' R_{10}+\\gamma_2\\alpha' H^2)(\\square_{10}\\phi)^2$; if additional independent tensor structures such as $R^{MN}\\nabla_M\\nabla_N\\phi$ terms survive the field redefinition, the quartic equation (3.4) is not the governing equation and the predicted BF shifts and $T_c$ changes are not guaranteed. Alternatively, solve the full scalar equation with backreaction in a flux-dominated compactification and check whether the near-horizon effective mass actually decreases.","tokens_in":2072,"feed_emoji":"⚛️","tokens_out":2731,"duration_ms":118305,"temperature":0.7,"pith_summary":"This paper argues that the first stringy (α′) corrections to heterotic supergravity, once dimensionally reduced to anti-de Sitter spacetime, change the stability criterion for scalar fields in a way controlled entirely by the balance between internal flux and internal curvature. The full tower of corrections collapses, after field redefinitions, into a single higher-derivative operator $(\\square\\phi)^2$ with coefficient $b=\\alpha' C$, where $C$ is fixed by the internal volume, averaged curvature, and NS-NS flux. The paper claims this shifts the Breitenlohner-Freedman bound: flux-dominated vacua relax the bound and widen the allowed mass window, while curvature-dominated vacua tighten it and shrink the window. Through AdS/CFT, this becomes a computable $1/N$ correction to operator dimensions, renormalization-group running, and the critical temperature of a holographic superconductor. A sympathetic reader should care because the geometry of the compactification manifold becomes a dial for finite-$N$ effects in the dual field theory.","feed_headline":"Flux relaxes, curvature tightens the holographic stability bound","feed_subtitle":"Stringy corrections shift the BF bound and operator dimensions; curvature-dominated vacua tighten stability instead.","key_machinery":"The load-bearing object is the single higher-derivative operator $(\\square_{10}\\phi)^2$ in the α′-corrected heterotic effective action, whose one-loop coefficients fix $\\gamma_1=-1/4$ and $\\gamma_2=+1/24$. After compactification this becomes $b(\\square\\phi)^2$ in $(d+1)$ dimensions, with $b=\\alpha' C$ and $C=V_M/(2\\kappa_{10}^2)[1 - \\tfrac{1}{4}\\alpha'\\langle R_M\\rangle + \\tfrac{1}{24}\\alpha'\\langle H^2\\rangle + \\cdots]$, so the dimensionless ratio $\\Xi = 6\\langle H^2\\rangle/\\langle R_M\\rangle - 1$ determines the sign of $b$. The argument then rests on the quartic equation (3.4) obtained by substituting the asymptotic power law $\\phi\\sim z^\\beta$ into the equation of motion; its reality condition is the generalized BF bound, which guarantees both bulk stability and real CFT operator dimensions. The auxiliary field $\\chi\\equiv\\square\\phi$ recasts the higher-derivative theory as two coupled second-order systems, producing the heavy Lee-Wick pole at $p^2\\approx -1/b$ and the $1/N$ shift in operator dimensions.","core_discovery":"On its own terms, the paper's central claim is that the α′-corrected heterotic effective action for a scalar in AdS is governed by the fourth-order equation $(\\square - m^2 - b\\square^2)\\phi=0$, with $b=\\alpha' C$, and that the associated near-boundary exponent $\\beta$ obeys a quartic equation whose reality condition is a generalized BF bound. The sign and size of $b$ are set by $\\Xi \\equiv 6\\langle H^2\\rangle/\\langle R_M\\rangle - 1$, so that flux dominance ($\\Xi>0$) yields $b>0$, relaxes the stability bound, and raises dual operator dimensions, while curvature dominance ($\\Xi<0$) yields $b<0$, tightens the bound, and lowers them. The same coefficient shifts the effective bulk mass of a charged scalar, lowering it and raising $T_c$ when flux dominates, and doing the opposite when curvature dominates. The paper also claims that the heavy auxiliary mode introduced by the higher-derivative term acts as a holographic Lee-Wick regulator, and that positive $b$ leaves essentially all $(m,L)$ parameter space allowed while negative $b$ produces finite stability islands.","pith_inferences":["The paper treats the internal averages as inputs; a natural extension is to compute $\\Xi$ from the stabilized moduli of a concrete heterotic vacuum and derive $\\delta\\Delta$ as a prediction rather than an input, connecting string phenomenology to CFT data.","Because the sign of $b$ flips the entire pattern of $1/N$ corrections, vacua with $\\Xi$ near zero form a critical surface where operator dimensions, RG slopes, and $T_c$ shifts all vanish; this could be searched for in explicit half-flat or $G_2$ examples.","The heavy mode sits at radial depth $z\\sim\\sqrt{|b|}\\ll L$ and never becomes a boundary primary; if the same structure appears for vector or spinor fields with α′ corrections, analogous Lee-Wick poles would produce $1/N$ corrections in conserved-current correlators, which the paper does not analyze."],"forward_implications":["In flux-dominated heterotic compactifications, the scalar mass window in AdS widens, so more masses satisfy stability and the dual operator dimensions are shifted upward by a calculable $\\delta\\Delta$ of order $10^{-3}$.","In curvature-dominated vacua, the stability window narrows; for example, in $d=3$ with $b=-1$ unitarity requires approximately $m\\gtrsim 5$ and $L\\lesssim 1.5$, otherwise operator dimensions become complex.","The slope of the Wilsonian beta function in the dual CFT is changed by $\\delta\\Delta$, so positive $b$ accelerates RG running and negative $b$ flattens it, moving almost-marginal operators toward or away from criticality.","In holographic superconductors, stringy corrections lower the effective near-horizon mass and raise $T_c$ when flux dominates, and raise the mass and lower $T_c$ when curvature dominates.","The heavy auxiliary mode generated by the $(\\square\\phi)^2$ term behaves as a holographic Lee-Wick regulator: a negative-residue pole for $b>0$ and a Pauli-Villars subtraction for $b<0$."],"supporting_citations":[{"why":"Supplies the ten-dimensional α′ effective action used as input and fixes the coefficient $\\gamma_1=-1/4$ of the single higher-derivative dilaton operator.","marker":"[2]"},{"why":"Determines the α′ (two-loop) coefficient $\\gamma_2=+1/24$ for the NS-NS flux term in the same operator.","marker":"[4]"},{"why":"Supplies the β-function derivation of the α′-corrected heterotic supergravity action from which the scalar sector is extracted.","marker":"[8]"},{"why":"Establishes the AdS/CFT dictionary that maps bulk α′ corrections to $1/N$ corrections in the boundary CFT.","marker":"[20]"},{"why":"Provides the previous generalized BF bound for higher-derivative AdS scalar theories that this paper extends to heterotic compactifications.","marker":"[21]"},{"why":"Supplies the holographic renormalization-group equations used to interpret the dimension shift $\\delta\\Delta$ and the beta-function slope.","marker":"[54]"},{"why":"Provides the Lee-Wick regulator mechanism used to interpret the heavy auxiliary mode of the higher-derivative theory.","marker":"[56]"},{"why":"Provides the holographic superconductor model whose critical temperature is shifted by the stringy corrections.","marker":"[58]"}],"fun_headline_variants":["Flux vs curvature: stringy corrections flip AdS stability bound","Holographic stability bound shifts with heterotic string corrections","Flux raises Tc, curvature lowers it in holographic superconductor","Stringy alpha' corrections: flux relaxes bound, curvature tightens"],"cache_read_input_tokens":22912,"weakest_assumption_plain":"The whole derivation assumes, without a shown derivation, that after field redefinitions every α′-correction to the heterotic dilaton collapses to the single operator $(\\square_{10}\\phi)^2$ with coefficients $\\gamma_1=-1/4$ and $\\gamma_2=1/24$, and that on compactification only the averaged internal curvature and flux survive; if other independent higher-derivative structures remain, the quartic equation and all BF shifts built from it do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Flux vs curvature: stringy corrections flip AdS stability bound","Holographic stability bound shifts with heterotic string corrections","Flux raises Tc, curvature lowers it in holographic superconductor","Stringy alpha' corrections: flux relaxes bound, curvature tightens"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000866,"raw_usage":{"total_tokens":3762,"prompt_tokens":962,"completion_tokens":2800,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":578,"completion_tokens_details":{"reasoning_tokens":2725}},"tokens_in":578,"tokens_out":2800,"duration_ms":22057,"temperature":1.0,"reasoning_tokens":2725,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T05:39:51.383479+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the α′-corrected heterotic four-point dilaton amplitude and compare the resulting on-shell effective action to the claimed form $(1+\\gamma_1\\alpha' R_{10}+\\gamma_2\\alpha' H^2)(\\square_{10}\\phi)^2$; if additional independent tensor structures such as $R^{MN}\\nabla_M\\nabla_N\\phi$ terms survive the field redefinition, the quartic equation (3.4) is not the governing equation and the predicted BF shifts and $T_c$ changes are not guaranteed. Alternatively, solve the full scalar equation with backreaction in a flux-dominated compactification and check whether the near-horizon effective mass actually decreases.","supporting_citations":[{"cited_title":"Curvature Cubed Terms in String Theory Effective Actions,","cited_arxiv_id":null,"evidence_quote":"Supplies the β-function derivation of the α′-corrected heterotic supergravity action from which the scalar sector is extracted."},{"cited_title":"AdS/CFT Correspondence Beyond its Supergravity Approximation,","cited_arxiv_id":null,"evidence_quote":"Provides the previous generalized BF bound for higher-derivative AdS scalar theories that this paper extends to heterotic compactifications."}],"review_version":1}