{"id":"c56480e2-8b57-4a7e-80c0-8dce37e44d42","arxiv_id":"2411.13652","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In anti-de Sitter space, soft gluon limits split into products of lower-point transition amplitudes plus curved-space corrections, instead of the clean flat-space factorization.","lead":"This paper examines what happens to gluon interactions in anti-de Sitter space when one particle becomes very low-energy, or 'soft'. It finds that the usual flat-space rule, where a soft particle simply factors off the rest, is replaced by a more complex mix of lower-point transition processes and curved-space corrections, which could aid computations in holography and cosmology.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The soft-limit factorization is not well-defined at n=4: the transition amplitudes on the RHS of eq. (3.19) are divergent and regularization-dependent, so the higher-n conjecture inherits an ambiguous statement.","rationale":"Good-faith reading: the paper's central contribution is a conjectural, schematic soft-limit factorization in AdS, with n=4 as the main evidence. The strongest support is the three-pronged n=4 analysis in Section III, but the result contains a Gamma(-1) divergence in the transition amplitude (eq. 3.17 and footnote 18). The higher-n statement in Section IV is explicitly a conjecture and depends on connectors (4.2)-(4.3) stated without derivation. I considered whether the missing connector derivation is the main gap; it is real, but even if those kernels are correct, the RHS contains lower-point transition amplitudes whose soft limit is divergent and regulator-dependent. Thus the 'relations' are not yet well-defined as amplitude identities. This is an internal-consistency issue, not a disagreement with consensus. The proposed test would settle whether the factorization is regulator-independent. Since the reader's verdict was already CONDITIONAL and explicitly listed regularization of the transition amplitudes as a key question, my concern does not change the verdict; it sharpens the condition. I would keep CONDITIONAL, i.e. the reader's verdict is unchanged.","tokens_in":24061,"tokens_out":5320,"duration_ms":926770,"concrete_test":"Compute the full soft limit of the four-point s-channel Witten diagram in eq. (3.1) using dimensional regularization d = 4 - 2 epsilon with the direct approach of eq. (3.3) and the soft limit in eq. (3.6), and separately evaluate the RHS of eq. (3.19) using the same regulator for the transition amplitude in eq. (3.17). Compare the two expressions through O(epsilon^0). Repeat with a different subtraction scheme, e.g. minimal subtraction of the Gamma(-1) pole versus subtraction at a fixed off-shell momentum. If the finite part of the RHS changes with the scheme, the claimed factorization into a transition amplitude times 2F1 is not regularization-independent, and the Section IV conjecture lacks a well-defined statement.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim in Section IV is that the soft limit of an (n+1)-point gluon diagram is, up to O(1/n) corrections, a sum of integrals of products of lower-point transition amplitudes plus curved-space contributions, in all dimensions. For this to be a meaningful statement, the transition amplitudes entering the RHS must be well-defined finite objects. They are not. In eq. (3.17), with the proportionality factor in footnote 18, lim_{k1->0} T^{h1 h2 h*}_{k1,k2;q,p} is proportional to Gamma(-1), which is infinite; the authors state that 'the result to be used is regularization-dependent.' Consequently, the n=4 schematic relation in eq. (3.19) splits the soft limit of the four-point Witten diagram into a divergent transition-amplitude factor times a 2F1 function plus an 'intrinsically AdS' remainder. Different regulators can move finite pieces between these two terms, so the decomposition is not regulator-independent. Since the higher-point conjecture is built by iterating the same construction, it inherits this ambiguity. This is not merely a missing derivation of the connectors (4.2)-(4.3): even with correct connectors, the RHS is not a well-defined amplitude-level statement unless a canonical regularization and subtraction scheme is specified and shown to leave the relation invariant.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the soft limit of tree-level Yang-Mills Witten diagrams in AdS_{d+1} using the momentum-space bulk-to-boundary and propagator formalism. The flat-space soft theorem is reviewed and contrasted with AdS, where no propagator develops a dominant singularity. The paper's main technical device is a 'unitary' decomposition of the bulk-to-bulk propagator into transverse modes plus a longitudinal piece, which splits the four-point s-channel diagram into a product of three-point transition amplitudes plus an intrinsically AdS term. The soft limit k1→0 is then evaluated with Bessel-function technology, leading to Eq. (3.19). Section IV extends the construction diagrammatically to (n+1)-point amplitudes, introducing boundary-to-boundary and boundary-to-bulk connectors (Eqs. (4.2)-(4.3)), and conjectures a schematic factorization into products of lower-point transition amplitudes up to O(1/n) edge corrections.","tokens_in":24326,"tokens_out":8886,"duration_ms":91295,"significance":"If made completely rigorous, the proposed relation between (n+1)-point amplitudes and transition amplitudes would be a useful organizing principle for holographic and cosmological correlators, complementing known AdS recursion relations and the growing literature on soft theorems in dS. The explicit four-point computation is the first concrete evidence in this direction, and the separation of transverse and longitudinal degrees of freedom is conceptually clean. The paper is also unusually candid about its limitations: the overlap with [50] is disclosed, the regularization dependence is acknowledged in footnotes 17-18, and the higher-point statement is presented as a conjecture with O(1/n) corrections rather than as a theorem. Those limitations, however, sit at the center of the claimed results and cannot be treated as peripheral.","major_comments":[{"comment":"The 'explicit' four-point result is not yet a well-defined statement. In Eq. (3.17), the soft limit of the three-point transition amplitude carries the proportionality factor in footnote 18, which contains Γ(-1) and is therefore infinite; the authors themselves state that the result is 'regularization-dependent.' Consequently, Eq. (3.19) splits the soft limit into a divergent transition-amplitude factor times a 2F1 function plus an 'intrinsically AdS' remainder, but different regulators can move finite pieces between these two terms. The same ambiguity propagates into the higher-point conjecture in Section IV, because that conjecture is built by iterating the same construction. The paper needs a canonical regulator and subtraction scheme, together with a demonstration that the schematic relation is invariant under the choice of scheme.","section":"§III.C, Eqs. (3.17)-(3.19)"},{"comment":"The boundary-to-boundary connector B(p1,p2) and the boundary-to-bulk connector B_i(k,p,z) are introduced as the result of 'carrying out the bulk-point integration at leading order in k0', but no derivation of these kernels is given. The entire higher-point expression in Eq. (4.4) and the conjecture that follows depend on these kernels being the correct leading-order integrals. The authors even note in footnote 24 that an in-depth analysis of these connectors is left to a future work. This is a load-bearing gap: either supply the integral identities used, or state explicitly which step is an assumption, and test the connectors by at least recovering Eq. (3.19) from the general formula in the n=4 case.","section":"§IV, Eqs. (4.2)-(4.3)"},{"comment":"In several steps, including the derivation of Eq. (3.16), the soft limit is commuted with the radial integrations. Footnote 17 acknowledges that this interchange is 'not necessarily warranted' and that the relevant integrals are non-convergent in some cases. This is more than a technical caveat: if the limit and the integration do not commute, the coefficient of each O(k0^0) term can change. The paper should justify the interchange in a kinematic regime where the integrals converge and then specify the analytic continuation, or otherwise show that the regulator-independent part of the result is unaffected by the exchange.","section":"§III.B, footnote 17 and Eq. (3.16)"},{"comment":"The higher-point statement is a conjecture with an unspecified O(1/n) correction. The edge-case diagrams in Eq. (4.6) are said to modify the result, and the fraction of such diagrams is argued to be suppressed by 1/n, but no argument is given that the sum of the edge contributions is not enhanced by the connector kernels or by kinematic factors. As written, the claimed relation cannot be tested quantitatively because the error term is not defined. Either provide a counting argument for the full edge contribution, or weaken the claim to an explicit set of diagrams for which the factorization is exact.","section":"§IV, unnumbered conjecture and Eq. (4.6)"}],"minor_comments":[{"comment":"The notation KK^{(1)} and KK^{(2)} is used in Eq. (3.15) before the definitions in Appendix C; please add a forward reference to Eqs. (C.1e) and (C.1f) at first use.","section":"§III.C, Eq. (3.15)"},{"comment":"The title advertises cosmology, but the explicit analysis in the paper is entirely in AdS; the dS connection is limited to the analytic-continuation discussion in Appendix A. Consider making the title or the introduction state the intended dS scope more precisely.","section":"Title and §V"},{"comment":"There are several formatting artifacts in the reference list, such as 'E. Witten„' in [67] and the publisher fields in [78], [79], and [81]; these should be normalized.","section":"References"},{"comment":"The diagrammatic notation in Eq. (4.1) is hard to parse, especially the labels h1p1 and h2p2; a short sentence explaining the placement of helicity and momentum labels on the internal lines would improve readability.","section":"§IV, Eq. (4.1)"}],"recommendation":"major_revision","confidential_remarks":"I would be more willing to accept this paper after a substantial revision. The n=4 calculation is not yet regulator-independent, the connectors in Section IV are underevived, and the n-point statement is explicitly conjectural with an uncontrolled O(1/n) correction. These issues are fixable, but they are central rather than cosmetic. The authors have been transparent about the overlap with [50] and about their own limitations, which is to their credit."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the paper computes the soft limit of the four-gluon AdS Witten diagram three different ways and finds a decomposition into a three-point transition amplitude times a hypergeometric plus an 'intrinsically AdS' remainder. That's a genuine piece of work, and the authors are unusually honest about its limits. But as written, the decomposition is not a well-defined amplitude-level statement: the transition amplitude on the right-hand side of eq. (3.17) is divergent (the Gamma(-1) in footnote 18), and the split between the first term and the AdS remainder is regulator-dependent. The authors note the divergence and say one should use dimensional regularization, but they don't show that their schematic relation (3.19) is invariant under that choice. Without a canonical subtraction, the equation is vacuous because you can always move finite pieces between the two terms.\n\nThe higher-point section is explicitly a conjecture, and its load-bearing connectors (4.2)-(4.3) are stated without derivation. The paper says an in-depth analysis is left to future work, which is fine, but it means Section IV is a proposal, not a result. The O(1/n) suppression of edge cases is a headcount argument, not a proof.\n\nWhat's good: the n=4 computation itself—three complementary methods, consistent results, useful Bessel integral identities in Appendix C. The conceptual point that AdS soft limits involve transition amplitudes rather than vacuum amplitudes is clearly argued and worth having. The overlap with [50] is disclosed. No fitted parameters, no circularity; the central claim is computed, not assumed.\n\nThe stress-test concern about regulator dependence holds up. The reader's take (conditional, soundness 3) is fair. I don't see a fatal flaw, but the central statement needs to be sharpened before it's a theorem. A revision that (1) defines a subtraction scheme and shows (3.19) is independent of it, or at least characterizes the ambiguity, and (2) derives the connectors, would turn this into a solid paper.\n\nWho is this for? People working on AdS amplitudes, holographic correlators, and the AdS/cosmology dictionary (Appendix A is a nice summary). I'd bring it to reading group and I'd cite it for the n=4 result and the transition-amplitude perspective, with a caveat about the regulator issue. It deserves a serious referee—send it out, but expect major revision.","headline":"A plausible and transparent first pass at soft-limit factorization in AdS, but the n=4 statement is regulator-dependent as written and the higher-n conjecture rests on unproven connectors; worth refereeing, not worth taking as settled.","tokens_in":24861,"tokens_out":4114,"would_cite":true,"duration_ms":40621,"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":"In AdS, soft gluon limits factorize into transition amplitudes","keywords":["soft limits","AdS/CFT","gluon amplitudes","Yang-Mills theory","transition amplitudes","Witten diagrams","momentum space","unitary decomposition"],"falsifier":"Compute the soft limit of a specific five-point Witten diagram in $\\mathrm{AdS}_4$ by direct integration of the full momentum-space expression and compare term-by-term with the conjectured formula built from the connectors. If the kernels (4.2) and (4.3) do not reproduce the integrated result at leading order in the soft momentum, the conjecture collapses; a simpler check is to evaluate the boundary-to-boundary connector directly in $d=3$ against the known soft limit of a four-point diagram.","tokens_in":23802,"feed_emoji":"🌊","tokens_out":7403,"duration_ms":71478,"temperature":0.7,"pith_summary":"The paper asks what happens to the classic flat-space soft-gluon factorization when amplitudes live in anti-de Sitter space instead of flat space. In flat space a low-energy gluon factors out through a universal soft factor, but in AdS no propagator is singular in the soft limit, so the old argument fails. The authors show, using a unitary decomposition of the AdS propagator, that the soft limit of an $(n+1)$-point gluon amplitude is a sum of integrals of products of lower-point transition amplitudes, plus contributions intrinsic to curved space. The four-point case is worked out explicitly in $\\mathrm{AdS}_{d+1}$, and a schematic all-$n$ relation is conjectured to hold in all dimensions.","feed_headline":"AdS soft limits turn gluon amplitudes into transition amplitudes","feed_subtitle":"A unitary split of the propagator reveals a curved-space soft-gluon factorization law.","key_machinery":"The central object is the 'unitary decomposition' of the AdS bulk-to-bulk propagator: it is split into a longitudinal piece (which vanishes in the flat-space limit and is thus intrinsically curved) and a sum over physical helicities of products of off-shell normalizable modes, integrated against a measure. Two new integration kernels—the boundary-to-boundary connector (4.2) and the boundary-to-bulk connector (4.3)—then perform the bulk-point integration at leading order in the soft momentum. These connectors convert Witten diagrams into transition amplitudes and are what allows the $(n+1)$-point soft limit to be expressed as products of lower-point transition amplitudes.","core_discovery":"The central claim is that the soft limit of a gluon amplitude in AdS does not factorize into a lower-point vacuum amplitude, but instead into lower-point transition amplitudes—correlators between coherent states—together with curved-space terms. For the four-point amplitude the soft limit is computed in three independent ways, and the 'unitary' decomposition (splitting the propagator into longitudinal and physical-helicity parts) shows that the result is the integral of a 3-point transition amplitude times a hypergeometric kernel, plus an intrinsically AdS piece. For arbitrary $(n+1)$-point diagrams, the paper conjectures that the leading soft behavior is, up to $O(1/n)$ edge-case corrections, a sum over $m$ of integrals of an $m$-point transition amplitude with an $(n-m+1)$-point transition amplitude, plus curved-space contributions, valid in all dimensions.","pith_inferences":["If the $O(1/n)$ corrections are as mild as stated, the soft limit of a high-point holographic correlator approaches an exact convolution of transition amplitudes, which could be used to bootstrap higher-point correlators from lower-point ones.","The connectors (4.2) and (4.3) may be expressible as known AdS propagators or as integral transforms of them; if so, the schematic all-$n$ relation becomes a closed computational formula.","A direct test in $\\mathrm{AdS}_4$ for the five-point amplitude—where the Bessel integrals reduce to exponentials and the edge cases are manageable—would confirm or refute the conjecture without needing arbitrary-dimension technology."],"forward_implications":["The four-point soft limit can be written as a 3-point transition amplitude integrated against a kernel, with the intrinsically AdS contribution cleanly separated.","The unitary decomposition scales to higher points, so soft limits of higher-point gluon amplitudes can be computed from lower-point data without resolving all bulk integrals.","All contributions to the soft limit are of order $k_0^0$, confirming that no single diagram dominates in AdS and that a flat-space-style soft theorem cannot exist.","The proposed schematic relation is conjectured to hold in all dimensions, with explicit support in $\\mathrm{AdS}_{d+1}$ for $n=4$ and in $\\mathrm{AdS}_4$ for the four-gluon case."],"supporting_citations":[{"why":"Supplies the momentum-space perturbation theory in AdS that the whole analysis uses as its modus operandi.","marker":"[30]"},{"why":"Provides the differential representation of Witten diagrams used as one of the three computational approaches and the JKK integrals.","marker":"[32]"},{"why":"Introduces transition amplitudes, the lower-point objects the soft limit is claimed to produce.","marker":"[57]"},{"why":"Discusses unitary cuts in (A)dS, the curved-space analogue that motivates the propagator decomposition.","marker":"[58]"},{"why":"Partially overlapping recent work that appeared near completion; the conjectured relation should be consistent with it.","marker":"[50]"},{"why":"Weinberg's soft theorem is the flat-space baseline that the AdS soft limit is compared with.","marker":"[12]"},{"why":"Maldacena's cosmological soft theorem motivates the curved-space soft-limit program and links AdS correlators to wavefunction coefficients.","marker":"[20]"}],"fun_headline_variants":["Soft gluon limits in AdS become transition amplitudes","AdS gluon soft limits map to transition amplitudes","Curved-space soft limits: gluons turn into transition amplitudes","Gluon soft limits in holography link to transition amplitudes","AdS soft limits: gluon amplitudes reduce to transition amplitudes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The two connector kernels in equations (4.2) and (4.3) are presented without derivation and are taken to give the correct leading soft behavior after the bulk-point integration; the entire higher-point soft-limit conjecture rests on these kernels.","fun_headline_variants_meta":{"raw":{"variants":["Soft gluon limits in AdS become transition amplitudes","AdS gluon soft limits map to transition amplitudes","Curved-space soft limits: gluons turn into transition amplitudes","Gluon soft limits in holography link to transition amplitudes","AdS soft limits: gluon amplitudes reduce to transition amplitudes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000968,"raw_usage":{"total_tokens":4055,"prompt_tokens":821,"completion_tokens":3234,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":437,"completion_tokens_details":{"reasoning_tokens":3151}},"tokens_in":437,"tokens_out":3234,"duration_ms":25067,"temperature":1.0,"reasoning_tokens":3151,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T16:01:12.021926+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the soft limit of a specific five-point Witten diagram in $\\mathrm{AdS}_4$ by direct integration of the full momentum-space expression and compare term-by-term with the conjectured formula built from the connectors. If the kernels (4.2) and (4.3) do not reproduce the integrated result at leading order in the soft momentum, the conjecture collapses; a simpler check is to evaluate the boundary-to-boundary connector directly in $d=3$ against the known soft limit of a four-point diagram.","supporting_citations":[{"cited_title":"Creminelli and M","cited_arxiv_id":null,"evidence_quote":"Supplies the momentum-space perturbation theory in AdS that the whole analysis uses as its modus operandi."},{"cited_title":"Assassi, D","cited_arxiv_id":null,"evidence_quote":"Provides the differential representation of Witten diagrams used as one of the three computational approaches and the JKK integrals."},{"cited_title":"Isono, T","cited_arxiv_id":null,"evidence_quote":"Introduces transition amplitudes, the lower-point objects the soft limit is claimed to produce."},{"cited_title":"Isono, T","cited_arxiv_id":null,"evidence_quote":"Discusses unitary cuts in (A)dS, the curved-space analogue that motivates the propagator decomposition."},{"cited_title":"Bzowski, P","cited_arxiv_id":null,"evidence_quote":"Partially overlapping recent work that appeared near completion; the conjectured relation should be consistent with it."},{"cited_title":"Britto, F","cited_arxiv_id":null,"evidence_quote":"Weinberg's soft theorem is the flat-space baseline that the AdS soft limit is compared with."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Maldacena's cosmological soft theorem motivates the curved-space soft-limit program and links AdS correlators to wavefunction coefficients."}],"review_version":1}