{"id":"0cc22950-3adb-411c-8248-1a2a3a2a57d2","arxiv_id":"2509.02719","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors conjecture a set of monodromy relations for the AdS Veneziano amplitude, upgrade the flat-space relations with operators acting on multiple polylogarithms, and verify them against all known curvature corrections, including general Kaluza-Klein modes.","lead":"This paper proposes new 'monodromy relations' for string scattering amplitudes in AdS space, extending the known flat-space relations. These constraints could sharply reduce the freedom in computing higher-order curvature corrections to the AdS Veneziano amplitude.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Monodromy relations depend on the unproven MPL ansatz (4)-(5); without a k=3 test the central claim is a conjecture, not a derivation.","rationale":"The reader's weakest_assumption identifies the same load-bearing concern: the MPL representation (4)-(5) is assumed rather than derived, and the entire construction of the monodromy operators K0 and K1 depends on it. My reading of the paper confirms this is the most critical condition for the central claim. The paper is careful to present the relations as a proposal and to support them with nontrivial checks: the relations hold for the known first and second curvature corrections [6,7], for the independent KK-mode result [16], and reduce to flat-space monodromy. The high-energy consistency argument to all orders for the maximal transcendental part is a genuine piece of evidence. However, these checks are finite in number and do not prove that the integrand remains in the MPL class at every order. Because the claimed power of the relations (reducing 33 to 5 parameters at k=1, and 565 to 86 at k=2) is only meaningful within this ansatz, the absence of a derivation of (4)-(5) from the CFT or from a first-principles worldsheet computation is the soft spot. The paper's concluding sentence explicitly acknowledges this missing derivation. This does not invalidate the results; it means the appropriate status is conditional acceptance pending a higher-order check or a derivation of the ansatz. The reader's verdict of CONDITIONAL is therefore appropriate, and no change is needed.","tokens_in":10537,"tokens_out":21359,"duration_ms":183616,"concrete_test":"Compute the third-order curvature correction A^(3)(S,T) (or at least determine the function space of its integrand g^(3)(S,T;x)) using the methods of [6,7]. Verify (i) that g^(3) has the form (4)-(5) with MPL words of length ≤9 and prefactor 1/(S+T)^3, and (ii) that (14) holds at order k=3. If either fails, the proposed monodromy relations need revision. A cheaper intermediate check is to reproduce the stated parameter counts 33→5 and 565→86 by an independent symbolic linear-algebra computation at k=1 and k=2.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central relation (14) is derived from the world-sheet representation (4)-(5), which assumes that at each order k the integrand g^(k)(S,T;x) is a linear combination of multiple polylogarithms on the alphabet {0,1} with weight at most 3k and a rational prefactor 1/(S+T)^k. This structure is taken from prior work [6,7] and is not re-derived here. The operators K0 and K1, and hence the monodromy factors e^{±iπ(S+K0)} and e^{∓iπ(T+K0)}, are defined only on this MPL class. If at k≥3 the integrand contains functions outside this class (for example, iterated integrals with new kernels or rational prefactors with different S,T dependence), the monodromy of the amplitude would not be captured by the proposed operators, and (14) would either fail or require modification. The checks against the known k=1 and k=2 amplitudes and the KK-mode result are nontrivial and provide real support, but they do not establish the ansatz to all orders. The high-energy consistency argument around (37) concerns only the maximally transcendental piece and is a necessary, not sufficient, condition. The paper's own conclusion states that a first-principles world-sheet derivation is missing, which is an explicit admission of this gap. Thus the central claim is a well-constrained conjecture conditional on the MPL ansatz.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes monodromy relations for the AdS Veneziano amplitude describing four-gluon scattering in type IIB string theory on AdS_5 × S^3. The central object is the curvature expansion (2), where each order is represented by the world-sheet integral (4) with an integrand built from multiple polylogarithms on the alphabet {0,1}. The authors introduce operators K0 and K1 that generate the monodromy of these MPLs around 0 and 1, and conjecture the relation (14): e^{±iπ(S+K0)} A(S,U) + A(S,T) + e^{∓iπ(T+K0)} A(T,U) = 0, order by order in the small-curvature expansion. They show that this relation reproduces the flat-space monodromy relations, state that it is satisfied by the known k=1 and k=2 amplitudes of [6,7], and by the independent KK-mode amplitude of [16]. They also translate (14) into algebraic conditions (33)-(34) on the coefficient map Ψ, which reduces the number of crossing-symmetric parameters from 33 to 5 at first order and from 565 to 86 at second order.","tokens_in":10827,"tokens_out":3794,"duration_ms":37606,"significance":"If correct, the proposed monodromy relations give a powerful and compact bootstrap constraint on AdS string amplitudes, generalizing the flat-space monodromy relations and dramatically reducing the parameter space at each curvature order. The reduction from 33 to 5 and 565 to 86 parameters is a concrete, striking demonstration of their strength. The paper is clearly written, and the checks against the known k=1,2 amplitudes and the arbitrary-KK-mode amplitude provide nontrivial evidence that is not obtained by fitting. The main limitation is that the relations are conjectured rather than derived from a first-principles world-sheet computation, and the evidence is confined to the lowest orders.","major_comments":[{"comment":"The derivation of the central relation (14) assumes the MPL ansatz (4)-(5) at every order in the curvature expansion. This ansatz is imported from [6,7] and is not re-derived here. The operators K0 and K1, and hence the monodromy factors in (14), are only defined on the class of integrands of the form (5). If at some k ≥ 3 the integrand contains iterated integrals outside this MPL class, or rational prefactors with a different S,T dependence, the monodromy of the amplitude would not be captured by K0,K1 and (14) would fail or require modification. The checks against the known k=1,2 amplitudes and the KK-mode amplitude are genuinely nontrivial, but they do not establish the ansatz to all orders. The conclusion itself states that a first-principles world-sheet derivation is missing. To make the central claim load-bearing, the authors should either prove the MPL structure from the world-sheet construction or provide an additional independent test at k=3 (for example, by computing the next correction through the bootstrap of [6,7] or via sum rules).","section":"Monodromy relations in AdS, Eqs. (4)-(5) and (14)"},{"comment":"The all-orders consistency argument for the maximal transcendental piece relies on the statement that the high-energy limit implies (37), namely that Ψ^(k)_{3k} is a shuffle power of the k=1 result. What is actually shown is that the proposed shuffle form is consistent with the simplified system (36), not that the high-energy limit forces this form. This is a necessary-condition check rather than a derivation. Since the central claim is already conditional on the unproven MPL ansatz, the additional freedom in (37) should be stated explicitly as a conjecture, or supported by a direct high-energy analysis of the integral representation.","section":"Implications, Eqs. (36)-(37)"},{"comment":"The paper states 'One can explicitly check that the first two curvature corrections found in [6,7] satisfy these equations' and 'One can explicitly check that it satisfies (38)!' but gives no details of the checks. Given that the algebra involves noncommuting variables, the Drinfeld associator, and the operators (32), a reader cannot reproduce these verifications without substantial work. Because these checks constitute the main evidence for the conjecture, the authors should provide the verification in a reproducible form: either an appendix with the explicit weight-by-weight equations, or an ancillary file with the symbolic computation. This is important for assessing the claimed parameter reductions of 33→5 and 565→86.","section":"Implications and KK-mode section"}],"minor_comments":[{"comment":"The transition from (13), which contains K1, to (14), which uses only K0, is stated without derivation. The authors should spell out how crossing symmetry maps the K1 term into the K0 term, since this is not immediate from the definitions.","section":"Eqs. (13)-(14)"},{"comment":"The phrase 'the sum runs over words of weight up to three' is clear, but the subsequent claim 'There is no solution with transcendentality one' would benefit from a sentence explaining whether this follows directly from the monodromy relations or from an additional input.","section":"Eq. (25)"},{"comment":"The appendix is titled 'A toy model' and then contains further subsections on properties of the linear map and the KK-mode amplitude. The structure is slightly confusing; a short header for each subsection would improve readability.","section":"Appendix"},{"comment":"There are a few typographical issues: 't’Hooft' should be '’t Hooft', and the author surname 'Strömholm Sangaréa' appears with an unexpected accent. These are trivial but should be corrected.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper is well written and the proposed relations are likely to be influential if they hold. My recommendation is driven by the gap between the strength of the central claim ('relations hold order by order') and the evidence, which is limited to k=1,2 and the KK-mode example. The missing all-orders derivation is explicitly acknowledged in the conclusions. I would be satisfied by a revision that either supplies a more convincing derivation of the MPL ansatz or adds a nontrivial k=3 check, together with reproducible details of the existing checks. I do not see this as a case for rejection, but the manuscript in its current form is more a strong conjecture than a fully supported theorem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nThis paper proposes genuinely new monodromy relations for the AdS Veneziano amplitude, extending flat space with operator-valued phases built from the Drinfeld associator. If right, these are powerful: at first curvature order they cut the crossing-symmetric ansatz from 33 free parameters to 5; at second order from 565 to 86. That reduction is the headline.\n\nWhat the paper does well: the formal machinery is clean. The J-integral generating function, the actions of K0 and K1, and the reformulation in terms of linear maps (33)-(34) are worked out neatly. The consistency checks are real and nontrivial: the known k=1 and k=2 amplitudes from [6,7] satisfy the relations, and so does Wang's independent KK-mode amplitude [16]. That last check matters because it is not fitted to the proposal. The all-orders high-energy argument is plausible and internally coherent.\n\nThe soft spot is the one the authors themselves flag in the conclusions: no first-principles world-sheet derivation exists. The relations are derived from the assumed integral representation (4)-(5), which takes the integrand at each order to be a linear combination of MPLs of weight up to 3k with a rational prefactor 1/(S+T)^k. That structural ansatz comes from prior work and is not re-derived. The operators K0 and K1 act only on that class. If a k=3 integrand contained any function outside it, the monodromy relations would likely need modification. The checks at k=1 and k=2 are strong but do not prove the ansatz to all orders. So the central claim is a well-constrained conjecture, not a derivation. I agree with the stress-test note on that.\n\nThis is not a fatal flaw. The paper is honest about its status, and for a letter the evidence base is unusually solid. I would send it to peer review, with a request for a k=3 test if feasible and for the parameter-count details to be made explicit. Referees should engage with it rather than desk-reject.\n\nWho this is for: anyone working on AdS amplitude bootstrap or string theory on curved backgrounds. It gives a new constraint likely to be central for computing higher curvature corrections. Deserves a serious referee.\n\nBest,","headline":"New monodromy relations for the AdS Veneziano amplitude that pass strong checks but rest on an unproven MPL ansatz; the paper is a well-constrained conjecture, not a derivation.","tokens_in":11361,"tokens_out":3879,"would_cite":true,"duration_ms":33454,"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":"The AdS Veneziano amplitude obeys monodromy relations at every curvature order, cutting the first-order parameter space from 33 to 5.","keywords":["AdS Veneziano amplitude","monodromy relations","multiple polylogarithms","open string amplitudes","colour-ordered amplitudes","small curvature expansion","Drinfeld associator","Kaluza-Klein modes"],"falsifier":"Compute the third curvature correction $A^{(3)}$ (or any hypothetical crossing-symmetric amplitude at that order) and evaluate the left-hand side of the monodromy relation (14): a nonzero result for any independent building block, or the appearance in the integrand of functions outside the multiple-polylogarithm class, would show that the proposed relations do not hold to all orders.","tokens_in":10335,"feed_emoji":"🪢","tokens_out":7123,"duration_ms":63043,"temperature":0.7,"pith_summary":"This paper proposes that the four-gluon open-string amplitude on AdS obeys monodromy relations analogous to those known for flat-space string amplitudes, with the usual phases $e^{\\pm i\\pi S}$ and $e^{\\mp i\\pi T}$ upgraded to operators $K_0$ and $K_1$ that act on the polylogarithmic integrand. The central claim is that the relation $e^{\\pm i\\pi(S+K_0)}A(S,U)+A(S,T)+e^{\\mp i\\pi(T+K_0)}A(T,U)=0$ holds order by order in the small-curvature expansion. If true, this is a strong bootstrap constraint: combined with crossing symmetry it reduces the free parameters in the first curvature correction from 33 to 5, and in the second from 565 to 86. The proposed relations are checked against all known curvature corrections, including the amplitude for arbitrary Kaluza-Klein modes, suggesting the structure is general rather than accidental.","feed_headline":"New monodromy relations cut AdS string amplitude space from 33 to 5","feed_subtitle":"The same branch-cut phases that constrain the flat Veneziano amplitude survive on AdS, order by order in curvature.","key_machinery":"The load-bearing object is the monodromy operator $K_0$, defined on multiple polylogarithms by $K_0 L_{w a}(x)=L_w(x)\\delta_{a0}$ with $K_0 L_e(x)=0$; it is the infinitesimal generator of the phase acquired when the argument circles $x=0$, and its partner $K_1$ is the corresponding operator around $x=1$, built using the Drinfeld associator. The paper packages the relevant integrals into building blocks $J_w(S,T)=\\int_0^1 x^{S-1}(1-x)^{T-1}L_w(x)\\,dx$ and their generating function $\\mathcal{J}(S,T;e_0,e_1)$, then uses known shift relations for these blocks to convert the monodromy identity into algebraic equations for a dual map $\\Psi$. Those equations are what produce the sharp parameter counts at first and second curvature order.","core_discovery":"In the world-sheet representation of the AdS Veneziano amplitude, each order $k$ of the curvature expansion is written as an integral whose integrand is a rational prefactor $(S+T)^{-k}$ times a linear combination of multiple polylogarithms of weight at most $3k$. The paper's central discovery is that the branch-cut monodromy of those polylogarithms, encoded in operators $K_0$ and $K_1$, combines with the monodromy of $z^S(1-z)^T$ to produce a linear identity between the three colour-ordered amplitudes: $e^{\\pm i\\pi(S+K_0)}A(S,U)+A(S,T)+e^{\\mp i\\pi(T+K_0)}A(T,U)=0$. Because the operators act only on the polylogarithmic insertions, the standard flat-space monodromy relations are recovered when the integrand is trivial. The paper verifies the relations against all existing curvature corrections and recasts them as finite functional equations for the coefficient map $\\Psi$, equations that no longer refer to the integrals themselves.","pith_inferences":["Editorial inference: if the relations hold at all orders, monodromy plus crossing plus the high-energy boundary might determine the AdS open-string amplitude completely; the natural next test is the third curvature correction.","Editorial inference: the argument's reliance on multiple polylogarithms singles out the class of integrands for which the operators $K_0$ and $K_1$ suffice; if elliptic or other non-MPL functions appear at higher orders, the monodromy operators would need a nontrivial generalization.","Editorial inference: the functional equations for $\\Psi$ resemble braid-group or quantum-group relations, and a first-principles world-sheet derivation might reveal a hidden symmetry of AdS open-string vertex operators, a direction the paper leaves open.","Editorial inference: the same contour argument should extend to other AdS string amplitudes, such as closed-string analogues, once a world-sheet representation is available, providing a testable prediction beyond the four-gluon case."],"forward_implications":["At each curvature order, any candidate amplitude that violates the monodromy relation is excluded; at first order the crossing-symmetric ansatz shrinks from 33 free parameters to 5, and at second order from 565 to 86.","The monodromy constraints can be imposed as operator equations on $\\Psi$ without evaluating integrals, so future higher-order computations can check consistency directly.","The relations hold for arbitrary Kaluza-Klein modes, so they are not an artifact of the lowest KK sector.","In the flat-space limit the relations reduce to the standard monodromy relations for the Veneziano amplitude, making the proposal a curved-background deformation of an exact flat-space statement.","The maximally transcendental piece of the amplitude is shown to satisfy the monodromy equations to all orders, consistently with the high-energy limit."],"supporting_citations":[{"why":"Supplies the known first curvature correction to the AdS Veneziano amplitude and the general multiple-polylogarithm ansatz for the integrand.","marker":"[6]"},{"why":"Supplies the second curvature correction and motivates the polylogarithmic structure of higher-order integrands.","marker":"[7]"},{"why":"Origin of the flat-space monodromy relations that the proposed AdS relations must reduce to.","marker":"[9]"},{"why":"Provides the modern form of monodromy relations for gauge-theory and string amplitudes that the paper generalizes.","marker":"[10]"},{"why":"Establishes the open-string disk monodromy relations in the form used as the flat-space template.","marker":"[11]"},{"why":"Introduces the $J_w$ building blocks and their shift relations, which are essential for turning the monodromy identity into algebraic conditions.","marker":"[12]"},{"why":"Provides the change-of-variable identities for multiple polylogarithms that connect the different branch-cut regions in the contour integral.","marker":"[13]"},{"why":"Gives the monodromy of multiple polylogarithms around zero and one via the Drinfeld associator, defining the action of $K_0$ and $K_1$.","marker":"[14]"},{"why":"Supplies the first curvature correction for arbitrary Kaluza-Klein modes, against which the proposed monodromy relations are explicitly verified.","marker":"[16]"}],"fun_headline_variants":["New monodromy relations tame AdS string amplitudes","AdS string amplitudes obey monodromy relations","Monodromy cuts AdS amplitude space from 33 to 5","AdS Veneziano amplitudes satisfy monodromy identities"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proposed relations rest on the unproven assumption that every higher-order correction can be written as a rational factor times a sum of multiple polylogarithms; if any true correction contains a different kind of function, the monodromy operators would miss part of the branch structure and the relation would break.","fun_headline_variants_meta":{"raw":{"variants":["New monodromy relations tame AdS string amplitudes","AdS string amplitudes obey monodromy relations","Monodromy cuts AdS amplitude space from 33 to 5","AdS Veneziano amplitudes satisfy monodromy identities"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000325,"raw_usage":{"total_tokens":1786,"prompt_tokens":875,"completion_tokens":911,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":491,"completion_tokens_details":{"reasoning_tokens":850}},"tokens_in":491,"tokens_out":911,"duration_ms":8073,"temperature":1.0,"reasoning_tokens":850,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T16:34:53.365455+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the third curvature correction $A^{(3)}$ (or any hypothetical crossing-symmetric amplitude at that order) and evaluate the left-hand side of the monodromy relation (14): a nonzero result for any independent building block, or the appearance in the integrand of functions outside the multiple-polylogarithm class, would show that the proposed relations do not hold to all orders.","supporting_citations":[{"cited_title":"Symmetry properties of dual tree-graph n-point amplitudes","cited_arxiv_id":null,"evidence_quote":"Origin of the flat-space monodromy relations that the proposed AdS relations must reduce to."},{"cited_title":"L’alg` ebre des polylogarithmes par les s´ eries g´ en´ eratrices,","cited_arxiv_id":null,"evidence_quote":"Provides the change-of-variable identities for multiple polylogarithms that connect the different branch-cut regions in the contour integral."},{"cited_title":"Single-valued hyperlogarithms and unipotent differential equations,","cited_arxiv_id":null,"evidence_quote":"Gives the monodromy of multiple polylogarithms around zero and one via the Drinfeld associator, defining the action of $K_0$ and $K_1$."}],"review_version":2}