REVIEW 2 major objections 5 minor 46 references
Associators for AdS string amplitude building blocks
T0 review · 2 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read This paper shows that the AdS open- and closed-string amplitude building blocks are generated by the Drinfeld and Deligne associators, respectively, yielding all-order low-energy expansions with (single-valued) multiple zeta value…
desk verdict A credible and useful associator formalism for AdS amplitude building blocks, but the all-order claim for general words rests on a pattern verified only through weight three. 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 Drinfeld associator Φ(e0,e1), the generating series of multiple zeta values in noncommutative letters e0,e1, together with its single-valued image the Deligne associator $Φ^{{sv}}$. The mechanism that connects them to AdS integrals is the vector F_w(x) of eq. (4.17), whose entries are the integrals S_{w'}[i](x) = ∫_0^x dy y^s(1-y)^t(x-y)^r L_{w'}(y)/(y-y_i) for every suffix w' of w. This vector solves the KZ equation with the block matrices (4.19) and (4.21), so the standard boundary-value relation C1 = Φ(e0,e1)C0 applies; mapping everything to its single-valued analogue turns it into C1 = $Φ^{{sv}}$(e0,e1)C0. The matrices encode how each prefix letter 0 or 1 feeds the next suffix, and it is this recursive bookkeeping that turns the associator expansion into the J- and I-integrals.
What would settle it
Compute the vector F_w(x) for a weight-four word such as w=0010 from its integral definition, take the regularized boundary values, and compare the first component of C1 with the first component of Φ(e0,e1)C0 using the proposed matrices; a mismatch at any order in s,t would falsify the claim.
Extended reading notes
Core claim
The paper's central discovery is that the AdS amplitude building blocks are governed by the same two associators that organise flat-space string amplitudes. For every word w in {0,1}*, the vector F_w(x) whose entries are deformed Selberg integrals S_{w'}[i](x) over all suffixes w' of w solves the Knizhnik-Zamolodchikov equation with explicit block matrices e0 and e1. The regularized endpoint values C0 and C1 are therefore related by C1 = Φ(e0,e1) C0, with the odd components of C1 equal to s $J^{{s,t+1}}$_{w_i...w_n}; applying the shift relations converts these into the building blocks $J^{{s,t}}$_w. Since the same matrices serve the single-valued version, the Deligne recursion C1 = $Φ^{{sv}}$(e0,e1) C0 generates the closed-string building blocks $I^{{s,t}}$_w. The paper works out all weight-three words, a two-fold iterated example, and states the general block-matrix pattern.
Load-bearing premise
The load-bearing premise is that the vector of integrals built from all suffixes of a word satisfies the required differential equation with the proposed block matrices, and that its endpoint values take the simple closed forms in eqs. (4.22)-(4.24), including the alternating 1/s^k entries for words ending in k zeros; the paper demonstrates three examples and asserts the general pattern.
Editorial extensions
If this is right
- Every J-integral J^{s,t}_w gets an explicit all-order low-energy expansion in s and t whose coefficients are multiple zeta values, obtained by evaluating the matrix element of the Drinfeld associator.
- Every I-integral I^{s,t}_w gets an all-order expansion with single-valued multiple zeta values as coefficients, from the same matrix element with the Deligne associator.
- The generating series J(s,t;e0,e1) and I(s,t;e0,e1) are expressed as matrix elements of the two associators, so building blocks can be produced to arbitrary order without redoing integrals.
- The iterated J- and I-integrals defined in Section 4, which are analogues of higher-point amplitudes, are recursively generated from lower-depth integrals by the same associator mechanism.
- The construction recovers and re-proves the previously established zeta-value and single-valued-zeta-value coefficient statements for the AdS building blocks.
Reading between the lines
- A natural next step, hinted at by the paper's outlook, is to feed the J- and I-integrals into the physical amplitude combinations: if the block-matrix pattern persists, the full four-point AdS amplitudes, not just their building blocks, would carry an associator presentation, giving a direct handle on AdS analogues of KLT double-copy relations.
- The fact that the same matrices e0,e1 appear in both the Drinfeld and the Deligne recursions suggests that single-valuedness acts only on the associator and boundary data, not on the differential system; this could simplify the search for the correct twisted cohomology of AdS integrals.
- A concrete testable extension is to verify the stated pattern for all weight-four and weight-five words by computer algebra; agreement would strengthen the claim, while any deviation would signal that the function space of S-integrals needs additional elements.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that the AdS string amplitude building blocks for open and closed strings are generated by the Drinfeld and Deligne associators, respectively. For a word w in {0,1}*, the author constructs a vector F_w(x) of regulated Selberg-type integrals with polylogarithm insertions, asserts that it satisfies the KZ equation (2.2) with matrix blocks given by pattern in eqs. (4.19) and (4.21), and states the regularized boundary values in eqs. (4.22)–(4.24). Applying the Drinfeld recursion then yields all-order low-energy expansions of the integrals J_w^{s,t} with multiple zeta values, and applying the single-valued map yields the Deligne recursion for the I-integrals with single-valued multiple zeta values. The construction is worked out in detail for words up to weight three (Examples 1–3 and Appendix B), and a higher-point analogue is illustrated with a two-fold integral (Example 4 and Appendix C).
Significance. If the general-word claim were fully established, the paper would provide a clean and unifying explanation of the MZV and svMZV expansions of AdS amplitude building blocks, extending the flat-space associator recursions to a curved background. The explicit matrix constructions, the worked weight-three catalog, and the single-valued lift are valuable and appear internally consistent in the low-weight cases. The paper ships no code or machine-checked proofs, but it does give concrete, checkable formulae and no fitted parameters, with the construction resting on standard facts about KZ solutions and the single-valued map. The main significance is conditional on closing the general-word proof gap.
major comments (2)
- [Section 4.1, eqs. (4.19)–(4.24)] The central claim is that for every word w in {0,1}*, the vector F_w(x) in eq. (4.17) satisfies the KZ equation (2.2) with the matrix blocks (4.19) and (4.21), and that the regularized boundary values take the closed forms (4.22)–(4.24). This is verified only for words of length at most three (Examples 1–3 and Appendix B); the general block matrices and boundary values are asserted by pattern, with the even components of C1 in (4.22) left as '···'. Since the all-order expansions of every J_w and, through the single-valued lift, every I_w depend on these formulae, the main theorem is not proved for words of arbitrary length. This is an addressable gap: an induction on the suffix structure of w using eq. (4.6) would likely close it, but the proof must be supplied or the claim explicitly restricted to the verified weights.
- [Section 4.2, eqs. (4.33)–(4.34)] The Deligne recursion for the closed-string building blocks inherits the same gap. The identification C1 = sv(C1) in eq. (4.33) requires the explicit form of all components of C1 for a general word, but eq. (4.22) specifies only the odd components and leaves the even components undefined. Without a closed form for the even components, the statement that the Deligne associator generates every I_w is not established. A proof or a precise statement of the proven domain is needed before the all-order claim for arbitrary I_w can be accepted.
minor comments (5)
- [Section 2, after eq. (2.1)] The statement 'Z^sv = Q[(ζ^sv_w)] ⊂ Z' is incorrect as written: single-valued multiple zeta values do not form a subring of ordinary multiple zeta values. The single-valued map is not an inclusion; it is a ring homomorphism from Z to another ring. Please rephrase, e.g., 'Z^sv = sv(Z)'.
- [Section 4.1, eqs. (4.10), (4.14), (4.19), (4.21)] The matrices displayed in the examples contain entries that appear inconsistent with eq. (4.6) unless a nontrivial scaling of the vector components is assumed. For instance, in eq. (4.10) the (1,2) entry of e0 is shown as s, whereas eq. (4.6) with w=0 gives a coefficient t for S_0[1] in the derivative of S_0[0]; ratios such as s/t and t/s also appear in later matrices. Please clarify the normalization convention used for the vector entries, or correct the matrices so that they directly match eq. (4.6).
- [Section 4.1, eq. (4.29)] The shorthand 'S_{w3,w4}[i3,i4](x) = s_{3 i1} s_{4 i2} S_{w3,w4}[i3,i4](x)' uses undefined indices i1 and i2; presumably the factors should be s_{3,i3} and s_{4,i4}. Please fix the notation.
- [Section 4.1, eq. (4.22)] The '···' notation for the even components of C1 is opaque. At least the examples in Appendix B give concrete expressions; consider defining the even components explicitly for a general word, or state that they are determined by the construction and give the general pattern.
- [Abstract and Section 1] The phrase 'another proof' in the abstract and introduction is stronger than what is currently demonstrated for arbitrary words. Until the general-word construction is proved (or its domain of validity is stated precisely), it would be more accurate to say that the paper gives a new recursive framework and proves the claim for low weights, with a conjectural extension to all orders.
Circularity Check
No significant circularity: the target integrals are independently defined inputs to the associator recursions, not outputs that are fitted or renamed.
full rationale
The derivation chain is self-contained in the relevant sense: the paper defines auxiliary integrals S_w[i](x) in eq. (4.1), derives their differential relations in eqs. (4.5) and (4.6), assembles the vector F_w(x) in eq. (4.17), and checks (in examples and by the stated block patterns) that it solves the KZ equation (2.2). The target building blocks J_w and I_w are fixed in advance by the independent integral definitions (3.1) and (3.5), and the Drinfeld and Deligne associators are independent generating series of (single-valued) multiple zeta values. No parameter is fitted, and no quantity is 'predicted' from a subset of the very data it is claimed to produce; the J-integrals appear as regularized boundary values of the auxiliary integrals, and the associator relation (2.4) then yields their low-energy expansion. The closed-string part uses the single-valued map and the Deligne recursion (2.5), which is cited to the author's own previous work [20]; however, this theorem is a standard single-valued analogue of the Drinfeld associator relation with independent sources such as [12] and [15], and the paper's new content is the explicit matrix representation for the AdS building blocks rather than a reduction of the target result to [20]. The main weakness is that the general-word block matrices (4.19)-(4.21) and boundary-value formula (4.24) are asserted by pattern and explicitly verified only up to weight three; this is a completeness or correctness gap, not a circularity, because the missing verification would not make the claimed result equivalent to its inputs by construction.
Assumptions & free parameters
assumptions (4)
- standard math The Drinfeld associator relates regularized boundary values of any KZ solution via C1 = Phi(e0,e1) C0, and the Deligne associator does the same for single-valued solutions.
- domain assumption The J-integrals of eq. (3.1) and I-integrals of eq. (3.5) are the building blocks of open and closed string amplitudes on AdS.
- domain assumption The I-integrals are the single-valued images of the J-integrals, I = sv(J), and the shift relations (3.4) and (3.7) hold.
- ad hoc to paper The higher-point iterated integrals of eq. (4.26), with one polylog insertion per integration, are a relevant higher-point analogue of the AdS building blocks.
Cite this review
Pith. "Pith review of Associators for AdS string amplitude building blocks." pith.science (2026). https://pith.science/paper/D5WB6CSP
@misc{pith2026250523385,
author = {Pith},
title = {Pith review of: Associators for AdS string amplitude building blocks},
year = {2026},
howpublished = {\url{https://pith.science/paper/D5WB6CSP}},
note = {Machine review of arXiv:2505.23385}
}
read the original abstract
We show that building blocks for open- and closed-string amplitudes on AdS are generated by the Drinfeld and Deligne associator, respectively. Our formalism lifts the known associator recursions for flat-space string amplitudes to the AdS picture. This delivers another proof that the AdS building blocks admit low-energy expansions with (single-valued) multiple zeta values as coefficients and provides all-order relations for the integral expressions.
Reference graph
Works this paper leans on
- [32]
- [20]
-
[1]
G. Veneziano, Construction of a crossing-symmetric, Regge behaved amplitude for linearly rising trajectories, Nuovo Cim. A 57 (1968) 190. – 22 –
work page 1968
-
[2]
Virasoro, Alternative constructions of crossing-symmetric amplitudes with Regge behavior, Phys
M.A. Virasoro, Alternative constructions of crossing-symmetric amplitudes with Regge behavior, Phys. Rev. 177 (1969) 2309
work page 1969
-
[3]
Shapiro, Electrostatic analog for the Virasoro model , Phys
J.A. Shapiro, Electrostatic analog for the Virasoro model , Phys. Lett. B 33 (1970) 361
work page 1970
-
[4]
H. Kawai, D.C. Lewellen and S.H.H. Tye, A Relation Between Tree Amplitudes of Closed and Open Strings, Nucl. Phys. B269 (1986) 1
work page 1986
-
[5]
F. Brown and C. Dupont, Single-valued integration and superstring amplitudes in genus zero , Commun. Math. Phys. 382 (2021) 815 [ 1910.01107]
arXiv 2021
-
[6]
Mizera, Combinatorics and Topology of Kawai-Lewellen-Tye Relations , JHEP 08 (2017) 097 [1706.08527]
S. Mizera, Combinatorics and Topology of Kawai-Lewellen-Tye Relations , JHEP 08 (2017) 097 [1706.08527]
arXiv 2017
Show all 46 references
-
[7]
Mizera, Aspects of Scattering Amplitudes and Moduli Space Localization , Ph.D
S. Mizera, Aspects of Scattering Amplitudes and Moduli Space Localization , Ph.D. thesis, Princeton, Inst. Advanced Study, 2020. 1906.02099. 10.1007/978-3-030-53010-5
2020 arXiv
-
[8]
Stieberger, A Relation between One-Loop Amplitudes of Closed and Open Strings (One-Loop KLT Relation), 2212.06816
S. Stieberger, A Relation between One-Loop Amplitudes of Closed and Open Strings (One-Loop KLT Relation), 2212.06816
-
[9]
Stieberger, One-Loop Double Copy Relation in String Theory , Phys
S. Stieberger, One-Loop Double Copy Relation in String Theory , Phys. Rev. Lett. 132 (2024) 191602 [2310.07755]
2024 arXiv
-
[10]
Mazloumi and S
P. Mazloumi and S. Stieberger, One-loop double copy relation from twisted (co)homology , JHEP 10 (2024) 148 [ 2403.05208]
2024 arXiv
-
[11]
Mafra and O
C.R. Mafra and O. Schlotterer, Towards the n-point one-loop superstring amplitude. Part III. One-loop correlators and their double-copy structure , JHEP 08 (2019) 092 [ 1812.10971]
2019 arXiv
-
[12]
Stieberger, Closed superstring amplitudes, single-valued multiple zeta values and the Deligne associator, J.Phys
S. Stieberger, Closed superstring amplitudes, single-valued multiple zeta values and the Deligne associator, J.Phys. A47 (2014) 155401 [ 1310.3259]
2014 arXiv
-
[13]
Brown, Single-valued multiple polylogarithms in one variable , C.R
F. Brown, Single-valued multiple polylogarithms in one variable , C.R. Acad. Sci. Paris 338 (2004) 527
2004
-
[14]
Brown, Single-valued Motivic Periods and Multiple Zeta Values , SIGMA 2 (2014) e25 [1309.5309]
F. Brown, Single-valued Motivic Periods and Multiple Zeta Values , SIGMA 2 (2014) e25 [1309.5309]
2014 arXiv
-
[15]
Stieberger and T.R
S. Stieberger and T.R. Taylor, Closed String Amplitudes as Single-Valued Open String Amplitudes, Nucl.Phys. B881 (2014) 269 [ 1401.1218]
2014 arXiv
-
[16]
Brown and C
F. Brown and C. Dupont, Single-valued integration and double copy , J. Reine Angew. Math. 2021 (2021) 145 [ 1810.07682]
2021 arXiv
-
[17]
Broedel, O
J. Broedel, O. Schlotterer, S. Stieberger and T. Terasoma, All order α′-expansion of superstring trees from the Drinfeld associator , Phys.Rev. D89 (2014) 066014 [ 1304.7304]
2014 arXiv
-
[18]
Broedel and A
J. Broedel and A. Kaderli, Amplitude recursions with an extra marked point , Commun. Num. Theor. Phys. 16 (2022) 75 [ 1912.09927]
2022 arXiv
-
[19]
Kaderli, A note on the Drinfeld associator for genus-zero superstring amplitudes in twisted de Rham theory , J
A. Kaderli, A note on the Drinfeld associator for genus-zero superstring amplitudes in twisted de Rham theory , J. Phys. A 53 (2020) 415401 [ 1912.09406]
2020 arXiv
-
[21]
Alday, T
L.F. Alday, T. Hansen and J.A. Silva, AdS Virasoro-Shapiro from dispersive sum rules , JHEP 10 (2022) 036 [ 2204.07542]
2022 arXiv
-
[22]
Alday, T
L.F. Alday, T. Hansen and J.A. Silva, AdS Virasoro-Shapiro from single-valued periods, JHEP 12 (2022) 010 [ 2209.06223]. – 23 –
2022 arXiv
-
[23]
Alday, T
L.F. Alday, T. Hansen and J.A. Silva, Emergent Worldsheet for the AdS Virasoro-Shapiro Amplitude, Phys. Rev. Lett. 131 (2023) 161603 [ 2305.03593]
2023 arXiv
-
[24]
Alday and T
L.F. Alday and T. Hansen, The AdS Virasoro-Shapiro amplitude , JHEP 10 (2023) 023 [2306.12786]
2023 arXiv
-
[25]
Alday, M
L.F. Alday, M. Nocchi, C. Virally and X. Zhou, On the Regge behaviour of the AdS Virasoro-Shapiro amplitude, JHEP 04 (2025) 064 [ 2409.03695]
2025 arXiv
-
[26]
Alday, G
L.F. Alday, G. Giribet and T. Hansen, On the AdS 3 Virasoro-Shapiro amplitude, JHEP 03 (2025) 002 [ 2412.05246]
2025 arXiv
-
[27]
Chester, T
S.M. Chester, T. Hansen and D.-l. Zhong, The type IIA Virasoro-Shapiro amplitude in AdS4×CP3 from ABJM theory , JHEP 05 (2025) 040 [ 2412.08689]
2025 arXiv
-
[28]
Chester and D.-l
S.M. Chester and D.-l. Zhong, AdS3×S3 Virasoro-Shapiro Amplitude with Ramond-Ramond Flux, Phys. Rev. Lett. 134 (2025) 151602 [ 2412.06429]
2025 arXiv
-
[29]
B. Wang, D. Wu and E.Y. Yuan, The Kaluza-Klein AdS Virasoro-Shapiro Amplitude near Flat Space, 2503.01964
-
[30]
Alday and T
L.F. Alday and T. Hansen, Single-valuedness of the AdS Veneziano amplitude , JHEP 08 (2024) 108 [ 2404.16084]
2024 arXiv
-
[31]
Alday, S.M
L.F. Alday, S.M. Chester, T. Hansen and D.-l. Zhong, The AdS Veneziano amplitude at small curvature , JHEP 05 (2024) 322 [ 2403.13877]
2024
-
[33]
Brown, Single-valued hyperlogarithms and unipotent differential equations , Preprint (https://www.ihes.fr/ brown/RHpaper5.pdf ) (2004)
F. Brown, Single-valued hyperlogarithms and unipotent differential equations , Preprint (https://www.ihes.fr/ brown/RHpaper5.pdf ) (2004)
2004
-
[34]
Terasoma, Selberg Integrals and Multiple Zeta Values , Compositio Mathematica 133 (2002) 1
T. Terasoma, Selberg Integrals and Multiple Zeta Values , Compositio Mathematica 133 (2002) 1
2002
-
[35]
Vanhove and F
P. Vanhove and F. Zerbini, Single-valued hyperlogarithms, correlation functions and closed string amplitudes , Adv. Theor. Math. Phys. 26 (2022) 455 [ 1812.03018]
2022 arXiv
-
[36]
Del Duca, S
V. Del Duca, S. Druc, J. Drummond, C. Duhr, F. Dulat, R. Marzucca et al., Multi-Regge kinematics and the moduli space of Riemann spheres with marked points , JHEP 08 (2016) 152 [1606.08807]
2016 arXiv
-
[37]
Broedel, M
J. Broedel, M. Sprenger and A. Torres Orjuela, Towards single-valued polylogarithms in two variables for the seven-point remainder function in multi-Regge kinematics , Nucl. Phys. B 915 (2017) 394 [ 1606.08411]
2017 arXiv
-
[38]
Frost, M
H. Frost, M. Hidding, D. Kamlesh, C. Rodriguez, O. Schlotterer and B. Verbeek, Motivic coaction and single-valued map of polylogarithms from zeta generators , J. Phys. A 57 (2024) 31LT01 [2312.00697]
2024 arXiv
-
[39]
Frost, M
H. Frost, M. Hidding, D. Kamlesh, C. Rodriguez, O. Schlotterer and B. Verbeek, Deriving motivic coactions and single-valued maps at genus zero from zeta generators , 2503.02096
-
[40]
Mizera, Inverse of the String Theory KLT Kernel , JHEP 06 (2017) 084 [ 1610.04230]
S. Mizera, Inverse of the String Theory KLT Kernel , JHEP 06 (2017) 084 [ 1610.04230]
2017 arXiv
-
[41]
Mizera, Scattering Amplitudes from Intersection Theory , Phys
S. Mizera, Scattering Amplitudes from Intersection Theory , Phys. Rev. Lett. 120 (2018) 141602 [1711.00469]
2018 arXiv
-
[42]
Mafra and O
C.R. Mafra and O. Schlotterer, All Order α′ Expansion of One-Loop Open-String Integrals , Phys. Rev. Lett. 124 (2020) 101603 [ 1908.09848]. – 24 –
2020 arXiv
-
[43]
Mafra and O
C.R. Mafra and O. Schlotterer, One-loop open-string integrals from differential equations: all-order α′-expansions at n points, JHEP 03 (2020) 007 [ 1908.10830]
2020 arXiv
-
[44]
Broedel, A
J. Broedel, A. Kaderli and O. Schlotterer, Two dialects for KZB equations: generating one-loop open-string integrals, JHEP 12 (2020) 036
2020
-
[45]
F. Brown, Iterated integrals in quantum field theory , in Proceedings, Geometric and Topological Methods for Quantum Field Theory : 6th Summer School: Villa de Leyva, Colombia, July 6-23, 2009 , pp. 188–240, 2013, DOI
2009
-
[46]
Dixon, C
L.J. Dixon, C. Duhr and J. Pennington, Single-valued harmonic polylogarithms and the multi-Regge limit, JHEP 1210 (2012) 074 [ 1207.0186]. – 25 –
2012 arXiv
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.