{"id":"b4900ecf-43de-485e-b5e2-a8d9e358dbd4","arxiv_id":"2504.18623","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"In bottom-up holographic models of near-conformal gauge theories, a parametrically light dilaton exists only for nearly Neumann infrared boundary conditions, and this persists when a full ultraviolet RG flow is included.","lead":"This holography paper analyzes strong gauge theories sitting just outside the conformal window and derives the conditions needed for a very light scalar dilaton to appear. The result sharpens model-building for composite Higgs scenarios and dilaton dark matter.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The light-dilaton claim rests on an unproven reduction of arbitrary IR dynamics to linear, nearly Neumann boundary conditions; Sec.","rationale":"The paper's central claim is conditional: in a generic bottom-up holographic model with walking, a parametrically light scalar appears iff the IR boundary condition is almost Neumann. The derivation of the mass formula is worked out in detail, with multiple consistency checks including the Gell-Mann-Oakes-Renner relation in Sec. 2.3, the Ward identity in Sec. 4.4, and the PCDC relation in Sec. 3.3, and I found no algebraic contradiction in the walking-region computation. The load-bearing weakness is the reduction of the IR dynamics to the two-parameter linear boundary condition (2.13)/(3.1), and in particular the requirement A/B much less than 1. The paper's own footnote 3 calls the linear IR condition a gross simplification, and Sec. 4.3.2 applies the Bessel solution at r_IR outside its stated regime of validity. Appendix G gives a matching argument for backgrounds, but the fluctuation analogue is asserted rather than proven: the coefficients A and B are said to be fixed for light modes, yet no bound or natural value is derived. Without an explicit IR completion showing that A/B can be arbitrarily small as nu tends to zero, the generic claim has a real gap. This is exactly the reader's weakest_assumption, so I agree with the reader's conditional verdict. The appropriate action is to keep the CONDITIONAL status rather than accept the model-independence claim as established.","tokens_in":42336,"tokens_out":5933,"duration_ms":61401,"concrete_test":"Construct an explicit IR completion in the same bottom-up class, e.g. the tachyon-DBI action of Kutasov-Lin-Parnachev [49] or a V-QCD-like flavor potential [26], with parameters tuned so that the IR dimension is Delta_IR = 2 + i nu for several small values of nu. Solve the full coupled background and scalar fluctuations numerically, without imposing a linearized IR boundary condition by hand, and extract the lightest scalar mass m_D and the next-lightest scale m_*. Also extract the effective ratio A/B from the walking-region wavefunction using the mapping of Appendix G. If m_D/m_* remains of order one as nu tends to zero, or if the extracted A/B is bounded away from zero for all natural potentials, the central claim fails for these completions. If a region with A/B much less than 1 and m_D/m_* tending to zero exists, the concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central result, Eq. (2.21), gives omega^2 r_IR^2 approximately 2 nu sin(alpha)/(sin(beta-alpha) sin(beta)) only after imposing the linear IR condition A xi(r_IR) + B r_IR xi'(r_IR) = 0 with A = 0 and c_UV = 0. The load-bearing step is therefore not the walking-region analysis, which is internally consistent, but the claim that this boundary condition, with A/B much less than 1, is a faithful stand-in for generic IR dynamics. Two specific gaps support this concern. First, in Sec. 4.3.2 the walking-region Bessel solution (4.43) is extended to r = r_IR, although r_IR is defined as the scale where the walking approximation stops and nonlinearities and backreaction become important. Imposing the boundary condition (4.55) on that solution at r_IR can create or remove a small eigenvalue without describing any actual IR model. Second, Appendix G shows that a given regular nonlinear background can be mapped to a linear condition via Eq. (G.4), but for fluctuations it only asserts that A and B can be treated as fixed for light modes; it does not prove that natural IR completions produce A/B tending to zero as nu tends to zero. If a concrete completion yields A/B of order one, the parametric lightness disappears. The paper explicitly acknowledges this limitation in the Conclusion, but the introduction's claim of model independence is stronger than the current evidence. I found no internal inconsistency in the advertised walking-regime derivation; the issue is that the regime selected by the almost Neumann boundary condition may be empty or fine-tuned in realistic IR completions.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"Rojas et al. study holographic models of near-conformal gauge theories slightly outside the conformal window. The bulk contains gravity plus a dilaton field realizing the RG flow and a scalar X dual to \\bar q q; the walking regime is characterized by a small imaginary dimension \\nu of the quark bilinear. The paper derives the mass of the light scalar fluctuation in Sec. 2.2, obtaining Eq. (2.21): a parametrically light PNGB dilaton appears when the IR boundary condition is almost Neumann (A/B<<1) and the phase \\beta is O(1). A fully analytic toy model (Sec. 3) and a UV-completed model with a flowing dilaton (Sec. 4) are presented, with the Efimov spiral, the Wronskian constraint, the GMOR relation, the PCDC relation, and trace-anomaly Ward identities used as checks. The authors conclude that near-conformal models produce a light dilaton only for a special corner of IR boundary conditions, which they argue resolves the tension between earlier holographic results.","tokens_in":42683,"tokens_out":8285,"duration_ms":80290,"significance":"The paper is a carefully executed contribution with several nontrivial analytic consistency checks: the GMOR relation (2.34), the PCDC relation (3.38), the Wronskian constraint (4.29), and the Ward identity (4.69). The toy model is completely solvable, which makes the main assumptions transparent, and the UV-completed model is substantially more general than earlier studies in this class. If the central claim survives scrutiny, it sharpens the condition for a light dilaton to an almost Neumann IR boundary condition and explains why some holographic models do not find one. The principal weakness is that the advertised model independence is stronger than the evidence: the light mode exists only for a corner of the parameterized IR boundary conditions, and the paper does not exhibit an explicit IR completion realizing that corner.","major_comments":[{"comment":"The light-dilaton result rests on the assumption that generic IR dynamics is captured by the linear boundary condition (4.55) with A/B<<1. The Bessel solution (4.43) is valid only in the walking region r_UV<<r<<r_IR, but it is imposed at r=r_IR, the very scale where walking stops and nonlinearities and backreaction become important; this can create or remove an O(\\nu) eigenvalue without describing a concrete IR model. Appendix G maps a regular background to the linear condition via Eq. (G.4), but for fluctuations it only asserts that A and B are fixed numbers for light modes; it does not prove that a natural IR completion yields A/B tending to zero as \\nu tends to zero. If A/B is O(1), Eq. (2.20) gives \\omega^2 r_IR^2 of order one and the parametric lightness disappears. The paper explicitly acknowledges this gap in the Conclusion, but the introduction's model-independence claim is not supported. This issue should be addressed, for example by explicit IR completions or by a sharper argument bounding A/B.","section":"§4.3.2 and Appendix G"},{"comment":"The central formula (2.21) assumes c_UV\\simeq 0 in addition to A=0. From the definition (2.19), c_UV is proportional to \\xi_UV/[C_2 Re[J_{i\\nu}(\\omega r_UV)]], and no independent estimate of this ratio is given because the normalization of C_2 is not fixed. Since c_UV enters the numerator of the general expression (2.20), an O(1) value of c_UV would shift the would-be light mass by O(1/r_IR), so the light-mode condition is not yet shown to be robust. A bound such as c_UV=O(\\nu), or a direct calculation of c_UV in the toy-model gluing procedure, is needed to make the derivation of Eq. (2.21) airtight.","section":"§2.2, Eqs. (2.16)–(2.21)"},{"comment":"In the UV-completed model, the transition between the UV basis (4.15) and the walking basis (4.16) is encoded in the phases \\rho_i and coefficients C_i^{(X)}. The light-mode expressions (4.58)–(4.60) and the scaling law (4.23) depend on \\rho_2, but the behavior \\rho_i\\sim\\nu is obtained only from the toy model and from an expectation about generic potentials; the text acknowledges that alternatives such as (4.34) are not excluded by the Wronskian identity (4.29). For the claim that the general model reproduces the toy-model light dilaton, this scaling must be derived or explicitly assumed, with the resulting loss of generality stated.","section":"§4.2.3, Eqs. (4.32)–(4.34)"}],"minor_comments":[{"comment":"The word 'Neunmann' should be 'Neumann' in the two occurrences before Eqs. (3.25) and (3.26).","section":"§3.2"},{"comment":"'Wroskian' in the paragraph after Eq. (4.69) should be 'Wronskian'.","section":"§4.4"},{"comment":"'tank IR' should read 'tan k_IR' (or the subscript should be attached to the tangent argument).","section":"Eq. (4.20)"},{"comment":"In the bulleted list, 'This approximations mean' should be 'These approximations mean'.","section":"§1"},{"comment":"'expect that for clarity' should be 'except that for clarity'.","section":"Figure 2 caption"},{"comment":"The redefinition of \\hat\\xi in terms of \\xi, A', and X' is introduced in prose; displaying it as a numbered equation would improve readability.","section":"§4.3, below Eq. (4.39)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is within the journal's scope, and the central derivation is not internally inconsistent. My main reservation is the gap between the advertised model independence and the load-bearing IR boundary-condition assumption; this is a support-and-presentation issue rather than an error in the analytic machinery, so I recommend major revision rather than rejection. No concern about duplicate publication: Ref. [11] is the authors' own prior work and is properly cited."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know about this paper. First, it is a serious, largely self-consistent bottom-up holographic study of near-conformal dynamics, and it does settle a tension in the literature in a precise way: the existence of a parametrically light dilaton depends on the IR boundary condition, specifically on A/B being small (almost Neumann) in the linear condition A X + B r X' = 0. Second, that conclusion is conditional, and the paper mostly says so, but the introduction's talk of 'model-independent' IR coverage is overstated. The load-bearing step—the assumption that generic IR completions reduce to linear, nearly Neumann boundary conditions for light fluctuations—is argued in Appendix G, not proven.\n\nWhere credit is due: the paper goes well beyond the authors' earlier work [11]. It includes a UV RG flow, a toy model with analytic control, a nonzero quark mass with the Efimov spiral, free energy comparison to pick stable vacuum, and Ward identity checks (GMOR, PCDC). The derivations in Sections 2 and 3 hang together; the consistency checks are real evidence, not decoration. The observation that a constant xi = zeta solution gives a zero mode at omega -> 0 and selects the Neumann condition (Sec. 4.3.3) is a nice physical argument that the corner is not empty, though it does not prove natural completions land there.\n\nThe soft spots, in proportion. The main concern is not internal inconsistency—I found none in the advertised walking-regime derivation. It is that the walking-region Bessel solution (4.43) is extended to r = r_IR, where walking stops and nonlinearities/backreaction become important, and the boundary condition is imposed there. The stress-test note is right that this can create or remove a small eigenvalue without describing an actual IR model. Appendix G maps a given regular nonlinear background to a linear condition via (G.4), and for fluctuations it asserts—but does not prove—that A/B can be treated as fixed for light modes. So the parametric lightness is proven conditionally, not unconditionally. The paper's own Conclusion asks for an explicit IR completion; that is the honest summary.\n\nWho is this for? Anyone working on holographic near-conformal models, composite Higgs, or dilaton dark matter. A serious referee should get this; I would recommend accept with the expectation that the authors temper the 'generic IR' phrasing and add an explicit check in a concrete IR model (e.g., V-QCD or a tachyon DBI model) that the Neumann corner is actually populated. Even if that check fails for known models, the paper is valuable for having isolated the exact condition.\n\nMy verdict: worth refereeing, conditionally; cite it if you work in the area.","headline":"A careful, largely self-consistent holographic analysis showing a parametrically light dilaton requires an almost Neumann IR boundary; worth refereeing, but the 'generic IR' claim is stronger than Appendix G proves.","tokens_in":43241,"tokens_out":2538,"would_cite":true,"duration_ms":24982,"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":"A near-conformal gauge theory has a parametrically light dilaton only when its deep infrared is almost Neumann, and this paper derives the mass formula.","keywords":["near-conformal gauge theories","light dilaton","pseudo-Nambu-Goldstone boson","holographic QCD","walking regime","Miransky scaling","Efimov spiral","Gell-Mann-Oakes-Renner relation"],"falsifier":"Take one of the explicit, fully backreacted IR-complete actions cited in the paper, compute the scalar two-point function with a nearly Neumann boundary condition at the point where walking stops, and look for a pole with $\\omega^2 r_{\\rm IR}^2\\propto\\nu$. Finding no such light pole, or finding an equally light pole with genuinely non-Neumann boundary data, would disprove the central claim; a lattice or functional calculation of a near-conformal gauge theory that sees a light scalar while its infrared data are not of this special type would also do so.","tokens_in":42096,"feed_emoji":"⚛️","tokens_out":11291,"duration_ms":105936,"temperature":0.7,"pith_summary":"This paper asks when a gauge theory sitting just outside the conformal window can produce a parametrically light scalar—the pseudo-Nambu-Goldstone boson of broken scale invariance, called the dilaton—and answers the question in a generic holographic setup. The model contains a scalar field dual to the quark bilinear in a nearly AdS$_5$ geometry, with a small violation of the Breitenlohner–Freedman bound measured by $\\nu$, plus a dilaton dual to the gluon operator. The paper's main result is that a light mode exists exactly when the infrared is summarized by an almost-Neumann linear boundary condition, and its mass is $\\omega\\sim \\sqrt{\\nu}/r_{\\rm IR}$ up to order-one factors. This is shown analytically in a solvable toy model and argued to persist in a more complete model with a running dilaton, with consistency checks from the dilatation Ward identity and the Gell-Mann-Oakes-Renner relation. If correct, the result explains why earlier holographic models disagreed about whether a light dilaton exists.","feed_headline":"Light dilaton appears only for one infrared boundary choice","feed_subtitle":"The scalar's mass is set by one infrared detail, which explains why earlier holographic models disagreed.","key_machinery":"The load-bearing object is the linear IR boundary condition $A\\xi(r_{\\rm IR})+B r_{\\rm IR}\\xi'(r_{\\rm IR})=0$ on the gauge-invariant flavor fluctuation, together with the walking-region solution in terms of Bessel functions, $\\xi(r)\\propto r^2[\\operatorname{Re}J_{i\\nu}(\\omega r)+c\\,\\operatorname{Re}Y_{i\\nu}(\\omega r)]$. Matching this solution to the UV-normalizable mode at $r_{\\rm UV}$ and to the IR boundary condition at $r_{\\rm IR}$ produces the characteristic equation for $\\omega^2 r_{\\rm IR}^2$. Its small-$\\omega$ form shows that the coefficient of the would-be mass term vanishes only when $A=0$ or $A/B\\ll1$, and the resulting formula $\\omega^2 r_{\\rm IR}^2 = 2\\nu\\sin\\alpha/[\\sin(\\beta-\\alpha)\\sin\\beta]+O(\\nu^2)$ is the quantitative core of the argument. The same boundary condition also organizes the scale hierarchy: $r_{\\rm IR}/r_{\\rm UV}=e^{(\\pi-\\beta)/\\nu}$, with Miransky scaling $\\beta\\to0$ for generic parameters and non-Miransky but still exponential scaling in special corners such as $A+2B\\simeq0$.","core_discovery":"The central claim, stated on the paper's own terms, is that the spectrum of a near-conformal vector-like gauge theory has a parametrically light PNGB dilaton precisely when the IR boundary condition on the gauge-invariant flavor fluctuation $\\xi$ is Neumann, $A=0$, or nearly so, $A/B\\ll1$. Imposing $A\\xi(r_{\\rm IR})+B r_{\\rm IR}\\xi'(r_{\\rm IR})=0$ on the walking-region solution and matching to a UV-normalizable mode gives the mass formula $\\omega^2 r_{\\rm IR}^2 = 2\\nu\\sin\\alpha/[\\sin(\\beta-\\alpha)\\sin\\beta]+O(\\nu^2)$, where $\\nu$ measures the small violation of the BF bound, $\\alpha$ is the phase of the background flavor field, and $\\beta$ encodes the scale separation through $r_{\\rm IR}/r_{\\rm UV}=e^{(\\pi-\\beta)/\\nu}$. Hence for $\\beta=O(1)$ the dilaton mass is $\\sim\\sqrt{\\nu}/r_{\\rm IR}$, parametrically below the hadronic scale as $\\nu\\to0$. The light state is mostly the fluctuation of the quark-bilinear field, not a glueball, and it saturates the anomalous Ward identity of scale symmetry; the pions, meanwhile, satisfy the Gell-Mann-Oakes-Renner relation. The same structure is found in a toy model with analytic solutions and in a more general model with a running dilaton potential, including the Efimov-spiral pattern of the quark mass-condensate plane.","pith_inferences":["The result implies that a generic random scan over IR completions will almost never produce a light dilaton: the Neumann corner is a codimension-one slice of boundary-condition space, so the mode is selected by dynamics, not by proximity to the conformal edge alone.","If the mass formula is taken literally, the dependence $\\omega^2\\sim\\nu/r_{\\rm IR}^2$ gives a sharp signature for non-holographic studies: a near-conformal theory tuned toward $\\nu\\to0$ should show the scalar mass squared vanishing linearly with the BF-bound violation, not quadratically.","One could test the framework by computing, in an explicit fully backreacted IR model cited by the paper, the scalar spectrum as a function of the effective boundary parameter $A/B$; the prediction is that the light pole appears only in the Neumann corner and disappears or turns tachyonic elsewhere.","The Efimov-spiral structure connects the present analysis to discrete self-similarity; if real near-conformal theories share this feature, the quark-mass dependence of the condensate could show oscillatory small-scale structure rather than monotone Miransky behavior."],"forward_implications":["A near-conformal theory whose IR dynamics is effectively Neumann has a scalar meson of mass $\\sim\\sqrt{\\nu}/r_{\\rm IR}$, parametrically below the dynamical scale when $\\beta$ is of order one.","Generic Dirichlet or mixed IR boundary conditions give no parametrically light dilaton, so the presence or absence of the mode is a property of the deep infrared, not of the walking region alone.","In the walking regime the light mode is mainly a quark-bilinear meson, with glueball mixing suppressed, which singles out the flavor sector as the source of the light scalar.","The setup reproduces Miransky scaling $r_{\\rm IR}\\sim r_{\\rm UV}e^{\\pi/\\nu}$ for typical boundary conditions but also admits exponentially separated scales with different exponents when the boundary parameter is tuned near $A/B=-2$.","With small quark masses the pion sector satisfies $m_\\pi^2 f_\\pi^2\\simeq -2m_q\\langle\\bar q q\\rangle$ independently of the IR boundary conditions, so the chiral and dilatonic sectors decouple in this limit."],"supporting_citations":[{"why":"The authors' earlier model that found a parametrically light dilaton and identified it via the anomalous Ward identity; this paper generalizes that construction.","marker":"[11]"},{"why":"A walking-technicolor holographic model with a massless techni-dilaton limit that the present analysis embeds in a broader boundary-condition framework.","marker":"[5]"},{"why":"A holographic QCD study reporting no parametrically light scalar, representing the opposing result that the IR boundary-condition analysis must explain.","marker":"[6]"},{"why":"A holographic conformal-transition model whose dilaton is lightest but not parametrically light, another data point resolved by the boundary-condition condition.","marker":"[10]"},{"why":"The Dyson-Schwinger analysis establishing the expected flow of the quark-bilinear dimension that motivates the holographic setup.","marker":"[12]"},{"why":"The Miransky scaling law for the scale hierarchy near the conformal edge, which the paper derives and extends to non-standard scaling.","marker":"[24]"},{"why":"Provides the gravity-plus-matter model with a running dilaton used as the UV-complete setup in Section 4.","marker":"[26]"},{"why":"The Miransky-Gusynin scale-anomaly argument fixing the expected $f_D^2 m_D^2$ scaling that the PCDC check uses as a constraint.","marker":"[43]"}],"fun_headline_variants":["Light dilaton only for one IR boundary","Neumann IR boundary yields light dilaton","Single IR condition sets dilaton mass","IR boundary choice decides dilaton lightness","One specific IR boundary produces light dilaton"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole light-dilaton result rests on the assumption that every possible deep-infrared dynamics can be summarized by one linear condition on the quark-bilinear field at a cutoff, with two constant numbers $A$ and $B$; the paper calls this a gross simplification and does not exhibit a concrete infrared model that produces the required almost-Neumann condition.","fun_headline_variants_meta":{"raw":{"variants":["Light dilaton only for one IR boundary","Neumann IR boundary yields light dilaton","Single IR condition sets dilaton mass","IR boundary choice decides dilaton lightness","One specific IR boundary produces light dilaton"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000306,"raw_usage":{"total_tokens":1792,"prompt_tokens":1022,"completion_tokens":770,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":638,"completion_tokens_details":{"reasoning_tokens":720}},"tokens_in":638,"tokens_out":770,"duration_ms":7678,"temperature":1.0,"reasoning_tokens":720,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T10:13:55.058590+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take one of the explicit, fully backreacted IR-complete actions cited in the paper, compute the scalar two-point function with a nearly Neumann boundary condition at the point where walking stops, and look for a pole with $\\omega^2 r_{\\rm IR}^2\\propto\\nu$. Finding no such light pole, or finding an equally light pole with genuinely non-Neumann boundary data, would disprove the central claim; a lattice or functional calculation of a near-conformal gauge theory that sees a light scalar while its infrared data are not of this special type would also do so.","supporting_citations":[{"cited_title":"V-QCD: Spectra, the dilaton and the S-parameter","cited_arxiv_id":"1211.6125","evidence_quote":"A holographic QCD study reporting no parametrically light scalar, representing the opposing result that the IR boundary-condition analysis must explain."},{"cited_title":"Chiral Symmetry Breaking and Nonperturbative Scale Anomaly in Gauge Field Theories,","cited_arxiv_id":null,"evidence_quote":"The Miransky-Gusynin scale-anomaly argument fixing the expected $f_D^2 m_D^2$ scaling that the PCDC check uses as a constraint."}],"review_version":1}