REVIEW 3 major objections 4 minor 25 references
Monodromy Relations for String Amplitudes on AdS
T0 review · 3 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read The AdS Veneziano amplitude obeys monodromy relations at every curvature order, cutting the first-order parameter space from 33 to 5.
desk verdict 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. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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.
What would settle it
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.
Extended reading notes
Core claim
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.
Load-bearing premise
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.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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 (3)
- [Monodromy relations in AdS, Eqs. (4)-(5) and (14)] 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).
- [Implications, Eqs. (36)-(37)] 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.
- [Implications and KK-mode section] 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.
minor comments (4)
- [Eqs. (13)-(14)] 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.
- [Eq. (25)] 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.
- [Appendix] 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.
- [Throughout] 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.
Circularity Check
No circularity: monodromy relations are derived constraints, not fitted predictions or renamed inputs.
full rationale
The central derivation takes the assumed world-sheet representation (4)-(5), A^{(k)}(S,T) = (1/U) ∫ x^{S-1}(1-x)^{T-1} g^{(k)}(S,T;x) dx with g^{(k)} a linear combination of multiple polylogarithms, and derives the contour identity (14) from the monodromies of x^S, (1-x)^T and the MPLs. This is a mathematical consequence of the representation: (14) is obtained by splitting the closed contour integrals (19) into the three colour-ordered regions and using the shift relations (22)-(23) from [12]. The subsequent linear constraints on the polynomial coefficients P_w are solved, not fitted: the paper reports that a 33-parameter crossing-symmetric ansatz at first curvature order is reduced to five solutions, and then verifies that the amplitude of [6] is one of them. The KK-mode check in (38) is against an independently constructed expression from [16]. No quantity is fitted to a subset of the data and then renamed a prediction, and no equation is defined in terms of the quantity it is said to predict. The MPL-structure ansatz (4)-(5) is imported from [6,7] and is not re-derived here, and the paper explicitly leaves a first-principles world-sheet derivation for future work; this is a correctness or conjecture risk about the completeness of the assumed function class, not a circularity. The reliance on [6,7,12] is partly self-citation, but those results are used as independent data or algebraic identities and do not reduce the paper's conclusion to its own premise.
Assumptions & free parameters
assumptions (6)
- domain assumption The AdS Veneziano amplitude admits the small-curvature expansion with integrand g^(k) being a linear combination of MPLs of weight at most 3k (Eqs. (4)-(5)).
- standard math The flat-space monodromy relations (8) are correct and the contour argument applies.
- standard math The Drinfeld associator Z(e0,e1) satisfies Z(e0,e1)Z(e1,e0)=1 and the monodromy identities for MPLs from [13,14].
- domain assumption The amplitudes from [6,7] and the KK amplitude from [16] are correct.
- domain assumption The monodromy relations do not mix different orders in the curvature expansion.
- ad hoc to paper The high-energy limit of A^(k) is consistent with (37), i.e., the maximal transcendentality piece is a shuffle power of the k=1 result.
Cite this review
Pith. "Pith review of Monodromy Relations for String Amplitudes on AdS." pith.science (2026). https://pith.science/paper/E4JDGRBU
@misc{pith2026250902719,
author = {Pith},
title = {Pith review of: Monodromy Relations for String Amplitudes on AdS},
year = {2026},
howpublished = {\url{https://pith.science/paper/E4JDGRBU}},
note = {Machine review of arXiv:2509.02719}
}
abstract
We consider the $AdS$ Veneziano amplitude describing the scattering of four gluons in type IIB string theory on $AdS_5 \times S^3$. We propose a set of powerful monodromy relations between different colour-ordered amplitudes. These relations arise as a consequence of the emergent world-sheet description of open string scattering on $AdS$. In flat space, they reduce to the usual monodromy relations for the Veneziano amplitude, and they hold order by order in the small curvature expansion. The relations hold for all results available in the literature, including the scattering of arbitrary KK-modes.
Reference graph
Works this paper leans on
-
[16]
Bootstrap AdS Veneziano Amplitude with Arbitrary Kaluza-Klein Modes,
B. Wang, “Bootstrap AdS Veneziano Amplitude with Arbitrary Kaluza-Klein Modes,” arXiv:2508.14968 [hep-th]
-
[1]
Holography from Conformal Field Theory,
I. Heemskerk, J. Penedones, J. Polchinski, and J. Sully, “Holography from Conformal Field Theory,” JHEP 10 (2009) 079, arXiv:0907.0151 [hep-th] . 7
arXiv 2009
-
[2]
Gluon Scattering in AdS from CFT,
L. F. Alday, C. Behan, P. Ferrero, and X. Zhou, “Gluon Scattering in AdS from CFT,” JHEP 06 (2021) 020, arXiv:2103.15830 [hep-th]
arXiv 2021
-
[3]
The Large N limit of N=2, N=1 field theories from three-branes in F theory,
O. Aharony, A. Fayyazuddin, and J. M. Maldacena, “The Large N limit of N=2, N=1 field theories from three-branes in F theory,” JHEP 07 (1998) 013, arXiv:hep-th/9806159
arXiv 1998
-
[4]
Elliptic models, type IIB orientifolds and the AdS / CFT correspondence,
I. P. Ennes, C. Lozano, S. G. Naculich, and H. J. Schnitzer, “Elliptic models, type IIB orientifolds and the AdS / CFT correspondence,” Nucl. Phys. B 591 (2000) 195–226, arXiv:hep-th/0006140
arXiv 2000
-
[5]
A. Karch and E. Katz, “Adding flavor to AdS / CFT,” JHEP 06 (2002) 043, arXiv:hep-th/0205236
arXiv 2002
-
[6]
The AdS Veneziano amplitude at small curvature,
L. F. Alday, S. M. Chester, T. Hansen, and D.-l. Zhong, “The AdS Veneziano amplitude at small curvature,” JHEP 05 (2024) 322, arXiv:2403.13877 [hep-th]
arXiv 2024
-
[7]
Single-valuedness of the AdS Veneziano amplitude,
L. F. Alday and T. Hansen, “Single-valuedness of the AdS Veneziano amplitude,” JHEP 08 (2024) 108, arXiv:2404.16084 [hep-th]
arXiv 2024
Show all 25 references
-
[8]
For instance, ζ(n) has weight n
Multiple zeta-values also have weight, since they are multiple polylogarithms evaluated at x = 1. For instance, ζ(n) has weight n
-
[9]
Symmetry properties of dual tree-graph n-point amplitudes
E. Plahte, “Symmetry properties of dual tree-graph n-point amplitudes.” Nuovo Cim. 66A: 713-33(21 Apr 1970). (12, 1969) . https://www.osti.gov/biblio/4155317
1970
-
[10]
Minimal Basis for Gauge Theory Amplitudes,
N. E. J. Bjerrum-Bohr, P. H. Damgaard, and P. Vanhove, “Minimal Basis for Gauge Theory Amplitudes,” Phys. Rev. Lett. 103 (2009) 161602, arXiv:0907.1425 [hep-th]
2009 arXiv
-
[11]
Open & Closed vs. Pure Open String Disk Amplitudes,
S. Stieberger, “Open & Closed vs. Pure Open String Disk Amplitudes,” arXiv:0907.2211 [hep-th]
-
[12]
Stringy KLT Relations on AdS,
L. F. Alday, M. Nocchi, and A. S. Sangar´ e, “Stringy KLT Relations on AdS,” arXiv:2504.19973 [hep-th]
-
[13]
L’alg` ebre des polylogarithmes par les s´ eries g´ en´ eratrices,
H. N. Minh, M. Petitot, and J. van der Hoeven, “L’alg` ebre des polylogarithmes par les s´ eries g´ en´ eratrices,” inProc. of FPSAC’99, 11-th international Conference on Formal Power Series and Algebraic Combinatorics. Barcelona, June, 1999
1999
-
[14]
Single-valued hyperlogarithms and unipotent differential equations,
F. Brown, “Single-valued hyperlogarithms and unipotent differential equations,” http://www.ihes.fr/~brown/RHpaper5.pdf, 2004. Preprint available on the author’s webpage
2004
-
[15]
The operators τi from the left/right act on fw as τifjw =δijfw, f wjτi =δijfw
-
[17]
AdS Virasoro-Shapiro from dispersive sum rules,
L. F. Alday, T. Hansen, and J. A. Silva, “AdS Virasoro-Shapiro from dispersive sum rules,” JHEP 10 (2022) 036, arXiv:2204.07542 [hep-th]
2022 arXiv
-
[18]
AdS Virasoro-Shapiro from single-valued periods,
L. F. Alday, T. Hansen, and J. A. Silva, “AdS Virasoro-Shapiro from single-valued periods,” JHEP 12 (2022) 010, arXiv:2209.06223 [hep-th]
2022 arXiv
-
[19]
Emergent Worldsheet for the AdS Virasoro-Shapiro Amplitude,
L. F. Alday, T. Hansen, and J. A. Silva, “Emergent Worldsheet for the AdS Virasoro-Shapiro Amplitude,” Phys. Rev. Lett. 131 no. 16, (2023) 161603, arXiv:2305.03593 [hep-th]
2023 arXiv
-
[20]
The AdS Virasoro-Shapiro amplitude,
L. F. Alday and T. Hansen, “The AdS Virasoro-Shapiro amplitude,” JHEP 10 (2023) 023, arXiv:2306.12786 [hep-th]
2023 arXiv
-
[21]
Carving out the Space of Open-String S-matrix,
Y.-t. Huang, J.-Y. Liu, L. Rodina, and Y. Wang, “Carving out the Space of Open-String S-matrix,” JHEP 04 (2021) 195, arXiv:2008.02293 [hep-th]
2021 arXiv
-
[22]
Flattening of the EFT-hedron: supersymmetric positivity bounds and the search for string theory,
J. Berman, H. Elvang, and A. Herderschee, “Flattening of the EFT-hedron: supersymmetric positivity bounds and the search for string theory,” JHEP 03 (2024) 021, arXiv:2310.10729 [hep-th]
2024 arXiv
-
[23]
Bootstrapping string theory EFT,
L.-Y. Chiang, Y.-t. Huang, and H.-C. Weng, “Bootstrapping string theory EFT,” JHEP 05 (2024) 289, arXiv:2310.10710 [hep-th]
2024 arXiv
-
[24]
On-shell Recursion in String Theory,
R. H. Boels, D. Marmiroli, and N. A. Obers, “On-shell Recursion in String Theory,” JHEP 10 (2010) 034, arXiv:1002.5029 [hep-th]
2010 arXiv
-
[25]
String theory in target space,
R. H. Boels and T. Hansen, “String theory in target space,” JHEP 06 (2014) 054, arXiv:1402.6356 [hep-th]
2014 arXiv
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.