{"id":"5a705c96-0304-4cfb-bd20-53a5cbb6f1a3","arxiv_id":"1908.10830","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A-cycle integrals at genus one satisfy linear differential equations whose Picard iterations yield all-order alpha-prime expansions in iterated Eisenstein integrals, with cusp values given by disk integrals.","lead":"This paper derives first-order differential equations in the modular parameter for generating functions of one-loop open-string integrals, and uses them to compute all-order alpha-prime expansions. The method connects these genus-one integrals to genus-zero disk integrals at the cusp and to elliptic Knizhnik-Zamolodchikov-Bernard associators.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The all-order n-point expansion rests on (4.35), (5.12), and (5.17), all explicitly conjectural for n≥6; the paper is transparent about this, so the title-level claim is conditional.","rationale":"The reader's weakest_assumption identifies the same load-bearing step: the n-point differential operator (4.35) is conjectural at n≥6 and is the foundation of the all-order expansion (1.7). My independent reading confirms this and adds two closely related conjectural ingredients that the central claim also requires: the cusp-cycle relations (5.12) and (5.17), and the non-planar loophole left open in Section 4.5. The paper is unusually transparent: it labels these assumptions as conjectures, provides rigorous n≤5 derivations, and gives strong consistency checks at low orders. No internal inconsistency in the proven n≤5 part is apparent. The recommended verdict is therefore unchanged: the paper merits conditional acceptance, with the condition being a proof (or explicit restriction of the title-level claim to n≤5) of the n≥6 conjectures.","tokens_in":81160,"tokens_out":3658,"duration_ms":40757,"concrete_test":"Verify the conjectural differential equation (4.35) at n=6 directly: start from the rigorous intermediate expression (4.30), insert the cyclic identity (A.12), apply the Fay/shuffle identities to reduce to the 120-element S5 basis, and compare with the right-hand side of (4.35). If the two disagree for any ordering, the central all-order claim fails at the first unproven multiplicity. If they agree, repeat a low-order component-integral check, e.g. a six-point A-cycle graph function, against the eMZV datamine as an independent cross-check.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The single most load-bearing step is the n≥6 extension of the tau-differentiation formula (4.35). The paper proves the differential equation through n=5 (Sections 4.1–4.3) and then extrapolates the S-map pattern to arbitrary n; the text explicitly labels (4.35) as conjectural at n≥6. Every subsequent all-order statement—the expansion (1.7) in iterated Eisenstein integrals, the uniform-transcendentality argument in Section 7.1, and the coaction result in Section 7.2—uses (4.35) to define the derivations r_eta(epsilon_k). If (4.35) failed at any n≥6, the claimed all-order alpha'-expansion and the claimed absence of twisted eMZVs in non-planar integrals would not follow. The same caveat applies to the cusp initial values: relations (5.12) and (5.17) are also declared conjectural at n≥6, so the reduction of Z_infty to (n+2)-point disk integrals is unproven there. In addition, Section 4.5 explicitly leaves open whether the non-planar initial values are annihilated by the derivation-algebra relations, which is needed to ensure that the iterated Eisenstein integrals in (1.7) conspire to eMZVs rather than to more general iterated Eisenstein integrals. Because the authors identify these extensions as conjectures and verify n≤5 explicitly, this is not an internal inconsistency; it is, however, the precise place where the title-level 'at n points' claim exceeds what is proven.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a differential-equation method for genus-one A-cycle integrals Z^τ_η(∗|1,2,...,n) of the type that enters one-loop open-string amplitudes. The main results are: (i) a linear, homogeneous first-order differential equation in the modular parameter τ for these integrals, rigorously derived for n ≤ 5 in Sections 4.1–4.3 and conjectured for all n in Eq. (4.35); (ii) a solution via Picard iteration, Eq. (1.7), expressing the α′-expansion at order α′^r in terms of iterated Eisenstein integrals γ(k1,...,kr|τ) and matrix representations r⃗η(ϵ2m) of Tsunogai derivations that are linear in the Mandelstam variables; (iii) a reduction of the cusp initial values at τ→i∞ to (n+2)-point Parke–Taylor disk integrals, proven through n = 5 and conjectural beyond, Eqs. (5.12) and (5.17); and (iv) structural consequences in Section 7: uniform transcendentality of the α′-expansion and invariance under the coaction of iterated Eisenstein integrals. The non-planar sector is claimed to be expressible without twisted eMZVs, with a residual caveat analyzed explicitly in Section 4.5. Extensive explicit expansions are given for n = 2,3,4,5 and cross-checked against known A-cycle graph functions from the literature.","tokens_in":81594,"tokens_out":21962,"duration_ms":198536,"significance":"The conjectural n ≥ 6 extension (4.35) and the companion cusp relations (5.12)/(5.17) are load-bearing, and the stress-test concern lands: as written, the title-level claim of all-order α′-expansions 'at n points' exceeds the proven range. If these conjectures hold, the paper is a substantial advance: it reduces all-order α′ expansions of genus-one A-cycle integrals to elementary matrix operations with no free parameters, and it makes uniform transcendentality and the coaction structure manifest. Independent of the conjecture, the n ≤ 5 results are rigorous, concrete, and falsifiable: the explicit expansions (5.38), (5.52), (5.55), (E.1), and the non-planar examples (6.12)–(6.24) are given in closed, machine-verifiable form and are benchmarked against previously published A-cycle graph functions and degeneration data. The paper is unusually transparent about its conjectural steps, provides explicit matrix representations in Appendix C, and documents detailed checks of the derivation-algebra relations; these are genuine strengths that make the core n ≤ 5 content reliable.","major_comments":[{"comment":"The n-point differential equation (4.35) is the load-bearing input for the paper's central claims, and it is explicitly labelled conjectural for n ≥ 6. The rigorous derivations in §§4.1–4.3 cover n ≤ 5 only; the extension to arbitrary n is an extrapolation of the S-map pattern, and the cycle-resolution lemma (A.12) used in its derivation is itself tested only through n = 5 and conjectural beyond. Every subsequent all-order statement—the Picard-iteration expansion (1.7), the uniform-transcendentality claim (7.2) in §7.1, and the coaction formula (7.13) in §7.2—uses (4.35), so the title-level claim 'all-order α′-expansions at n points' and the abstract's unconditional phrasing exceed what is proven at n ≥ 6. Please either prove (4.35) (or at minimum verify it in detail at n = 6 and n = 7 as supporting evidence), or re-scope the abstract, title, and Section 7 statements so that the conjectural status is explicit.","section":"§4.4, Eq. (4.35)"},{"comment":"The cusp reduction of the initial values is a second load-bearing conjecture with the same n ≥ 6 gap. Equations (5.12) and (5.17), which express the planar degeneration of the A-cycle integrals in terms of (n+2)-point disk integrals, are declared conjectural at n ≥ 6, and the same holds for the identity (A.11)/(A.12) that resolves cycles of Kronecker–Eisenstein series. Since the expansion (1.7) requires both the differential operator and the initial values, the all-order results at n ≥ 6 rest on three independent conjectural inputs. The explicit n ≤ 5 checks against known graph functions and genus-zero data are commendable, but the statement in Section 8 that the method applies 'at n points' should be qualified in the same places where (4.35) is qualified.","section":"§5.2, Eqs. (5.12), (5.17); (A.11)"},{"comment":"Section 4.5 leaves open whether the matrices r⃗η(ϵ2m) preserve the Tsunogai derivation relations when acting on non-planar initial values, and the paper states this explicitly. This matters because the presentation of the non-planar results—'minimal form' with 'all relations among eMZVs already incorporated' in §1.1 and twisted eMZVs 'completely bypassed' in Section 8—is only fully justified if the iterated Eisenstein integrals in the non-planar expansion (1.7) conspire to eMZVs, which is exactly the §4.5 loophole. The planar case is protected by the contradiction argument in §4.5, but no analogous argument is given for non-planar cycles. Please either close this loophole, for example by showing that the non-planar initial values lie in the same class of functions under the r⃗η action as planar ones, or explicitly carry the §4.5 caveat into the abstract and the conclusions.","section":"§4.5"}],"minor_comments":[{"comment":"The claims 'These integrals are shown to satisfy... a differential equation', 'a universal form for the integration cycles', and 'any desired order is accessible' are stated unconditionally; please add an explicit sentence distinguishing the rigorously established n ≤ 5 range from the conjectural n ≥ 6 status of (4.35), (5.12), and (5.17).","section":"Abstract and §1.1"},{"comment":"The stated derivative 2πi∂τ(iπτ/4) = −3ζ2/2 appears inconsistent with the paper's conventions: from ζ2 = π²/6 one obtains 2πi∂τ(iπτ/4) = −π²/2 = −3ζ2, which is also the value needed for the non-planar case of (2.16) to hold. Please verify and correct the footnoted value.","section":"Footnote 8"},{"comment":"The phrase 'irreducible iterated Einstein integrals' should read 'irreducible iterated Eisenstein integrals' in the two occurrences next to Eq. (5.45) and in Appendix E.1.","section":"§5.4 near (5.45) and App. E.1"},{"comment":"The integration cycle is denoted by '*' in (1.1) and (3.33) but by A in (5.40), (5.54), and (6.19) without an explicit statement that the two notations denote the same object; please add a remark at the first such switch.","section":"Notation (1.1), (3.33), (5.40)"},{"comment":"Identity (4.28) is used to reduce the n! Fay-expanded terms to the (n−1)! basis on which (4.35) acts, but it is imported from reference [96] rather than derived in the genus-one setting; a short derivation, or at least an explicit statement of its status at n ≥ 6, would make the conjectural chain easier to audit.","section":"§4.3, Eq. (4.28)"},{"comment":"The expression 'Sα′/2(n,...,3,2|n,...,3,2)1' appears to contain a stray '1' in the notation for the diagonal KLT entry; please clarify or remove it.","section":"§5.2, after Eq. (5.17)"}],"recommendation":"major_revision","confidential_remarks":"This is a technically strong paper by established authors, and the n ≤ 5 portion is rigorous and extensively cross-checked against independent results. The main editorial question is the mismatch between the title/abstract-level claims and the conjectural status of the n ≥ 6 extension; the authors are aware of this and state it in the body, but the front matter overstates the proven range. I would encourage the editor to require either a verification of (4.35), (5.12), and (5.17) at n = 6,7 as supporting evidence, or a careful re-scoping of the claims, rather than rejection, because the honest treatment of the conjectures and the independent benchmarks make the core content reliable. The self-citations to [20,21,81] are appropriate given the direct technical continuity with those works."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, this paper is a real advance in method: Mafra and Schlotterer show that the genus-one A-cycle integrals generating one-loop open-string amplitudes obey a first-order differential equation in τ of KZB type, and that Picard iteration turns the α'-expansion into iterated Eisenstein integrals acting on cusp values provided by (n+2)-point disk integrals. Second, the headline 'at n points' is conditional: the n-point differential operator (4.35) and the cusp relations (5.12), (5.17) are explicitly labeled conjectural for n≥6, and the non-planar case retains an openly stated loophole in Section 4.5.\n\nWhat is genuinely new is the differential-equation organization itself, the S-map structure of the τ-derivative, and the concrete (n−1)!×(n−1)! matrix representations of Tsunogai's derivations. The paper does the work well: up to five points the derivations are rigorous, the cusp dictionary to disk integrals is carried out explicitly, and the outputs reproduce known eMZV and A-cycle graph function results from the literature. That agreement is genuine verification — the disk-integral inputs are independent of the eMZV data being matched — not fitting. The citation pattern is sound: the relevant math literature is present, and the self-citations trace a legitimate lineage through the authors' own earlier eMZV program.\n\nThe soft spot is exactly the n≥6 conjecture and the Section 4.5 loophole. If (4.35) fails at some multiplicity, the all-order expansion, the uniform-transcendentality argument, and the coaction result would need restriction. The authors are upfront about this — the abstract itself flags the representations as conjectural — so this is not a hidden flaw, but a referee should insist the conjecture be either proved or explicitly carved out of the claims. A direct n=6 check of (4.35) would go a long way.\n\nWho this is for: string amplitude practitioners and anyone working on elliptic polylogarithms or period structures at genus one. It deserves a serious referee; the verified n≤5 core already earns publication, and the conjectural scaffold is concrete and testable rather than speculative. Send it to review, with the condition that the conjectural status and the non-planar loophole stay prominent.","headline":"A genuinely new differential-equation framework for one-loop open-string α'-expansions, rigorous through n=5, with the all-order n-point claim resting on clearly labeled n≥6 conjectures and an open non-planar loophole.","tokens_in":82039,"tokens_out":6600,"would_cite":true,"duration_ms":60304,"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 paper shows that every order in the α′ expansion of one-loop open-string integrals follows from a single first-order differential equation in τ, with uniform transcendentality and no twisted elliptic multiple zeta values.","keywords":["one-loop open-string amplitudes","A-cycle integrals","elliptic multiple zeta values","iterated Eisenstein integrals","alpha-prime expansion","Tsunogai derivations","KZB associator","Parke-Taylor integrals"],"falsifier":"Compute $2\\pi i\\partial_{\\tau}Z^{\\tau}_{\\vec{\\eta}}$ at n=6 directly from (4.30), resolve the six-cycle of Kronecker–Eisenstein series by Fay identities, and compare the result with the S-map proposal (4.35). Any mismatch falsifies the all-order expansion; likewise, an n=6 contour-deformation check of the twisted-cycle degeneration (5.12) would test the cusp dictionary.","tokens_in":80940,"feed_emoji":"⚛️","tokens_out":5759,"duration_ms":54140,"temperature":0.7,"pith_summary":"This paper claims that the generating functions of genus-one open-string integrals—the A-cycle integrals behind planar and non-planar one-loop superstring and bosonic-string amplitudes—obey a linear, homogeneous first-order differential equation in the modular parameter τ, with a universal form for every integration cycle. If true, every order in the inverse string tension α′ follows from elementary operations: matrix multiplication, η-differentiation, and known tree-level disk integrals at the cusp. The expansion is uniformly transcendental and expressible through iterated Eisenstein integrals, so the elliptic multiple zeta values that previously appeared are automatically presented in minimal form. A notable consequence is that non-planar one-loop integrals need no twisted elliptic multiple zeta values at any α′ order. The n-point differential operator is proven through five points and conjectured for all n.","feed_headline":"One τ-derivative gives every α′ order at n points","feed_subtitle":"Planar and non-planar one-loop open-string integrals reduce to iterated Eisenstein integrals plus disk data.","key_machinery":"The machinery is a first-order differential equation of KZB type, $2\\pi i\\partial_{\\tau}Z = D^{\\tau}Z$, with $D^{\\tau} = \\sum_m (1-2m)G_{2m}(\\tau)\\, r_{\\vec{\\eta}}(\\epsilon_{2m})$. The matrix entries $r_{\\vec{\\eta}}(\\epsilon_{2m})$ are linear in $s_{ij}$ and contain $\\eta$-derivatives; the Weierstrass function $\\wp(\\eta,\\tau)$ generates the Eisenstein series. The companion ingredient is the degeneration at $\\tau\\to i\\infty$, where the A-cycle pinches and the integrand reduces to Parke–Taylor disk integrands with two extra punctures; the contour deformation produces phases encoded in $H_{\\alpha'}$ and $K_{\\vec{\\eta}}$ matrices. The S-map (4.31) organizes the combinatorics of the $\\tau$-derivative at n points.","core_discovery":"The central discovery is that the (n−1)!-family of A-cycle integrals $Z^{\\tau}_{\\vec{\\eta}}(\\ast|1,A)$ closes under $2\\pi i\\partial_{\\tau}$: the derivative of any member is a linear combination of the same family with coefficients linear in the Mandelstam variables $s_{ij}$. The coefficients assemble into the S-map and Weierstrass functions, giving the closed n-point formula (4.35), and their expansion in holomorphic Eisenstein series yields $(n-1)!\\times(n-1)!$ matrix representations $r_{\\vec{\\eta}}(\\epsilon_{2m})$ of Tsunogai's derivations. Picard iteration then expresses $Z^{\\tau}_{\\vec{\\eta}}$ as a sum over words in these derivations acting on the cusp value $Z^{i\\infty}_{\\vec{\\eta}}$, and the cusp values are identified with $(n+2)$-point Parke–Taylor disk integrals. This replaces step-by-step elliptic integration with a direct all-order expansion in iterated Eisenstein integrals $\\gamma(k_1,\\ldots,k_r|\\tau)$.","pith_inferences":["If the conjectural n-point formula (4.35) survives a direct n=6 check, the same differential-equation architecture could yield recursions in loop order: genus-two integrals may satisfy similar equations in the off-diagonal period, with separating degenerations supplying initial data—a direction the authors flag but do not carry out.","The manifest absence of twisted elliptic multiple zeta values suggests a structural theorem: for any distribution of punctures on the two cylinder boundaries, the non-planar integral lies in the untwisted elliptic MZV algebra; proving this would require closing the Section 4.5 loophole about whether the representations annihilate non-planar initial values.","The method provides a practical algorithm for high-order $\\alpha'$ expansions, and the natural next testbed is the n=6 differential operator, which the paper indicates is accessible by direct computation from (4.30).","One could try to import the same S-map and differential-equation structure into elliptic Feynman-integral computations, since the paper notes the equation is the string-theory analogue of an $\\varepsilon$-form."],"forward_implications":["Any desired order in $\\alpha'$ of an n-point one-loop open-string integral is obtained by matrix multiplication and $\\eta$-differentiation, starting from known disk integrals; no per-puncture elliptic integration or \"z-removal\" is needed.","Planar and non-planar cylinder integrals share one universal differential equation, so non-planar amplitudes are expressed in iterated Eisenstein integrals of $SL_2(\\mathbb{Z})$ with no twisted elliptic multiple zeta values at any order.","Each $\\alpha'$ order is uniformly transcendental: weight $k+n-1$ at order $\\alpha'^{k}$, matching the pattern familiar from tree-level string integrals.","The A-cycle integrals are preserved by the coaction of iterated Eisenstein integrals, generalizing the motivic-coaction stability of disk integrals.","The $\\tau\\to i\\infty$ degeneration ties genus-one integrals to $(n+2)$-point Parke–Taylor disk integrals, giving compact formulas for cylinder- and Möbius-strip boundary integrals."],"supporting_citations":[{"why":"Defines the elliptic multiple zeta values and component integrals whose all-order expansion this paper reorganizes.","marker":"[20]"},{"why":"Introduced twisted elliptic multiple zeta values for non-planar one-loop open-string amplitudes, the objects the present method renders unnecessary.","marker":"[21]"},{"why":"Enriquez' construction of elliptic multiple zeta values supplies the iterated Eisenstein integral formalism and its relation to the A-cycle integrals.","marker":"[22]"},{"why":"Establishes the derivation algebra and selection rules that the matrix representations $r_{\\vec{\\eta}}(\\epsilon_{2m})$ must preserve.","marker":"[25]"},{"why":"Earlier expansion of one-loop string amplitudes in iterated Eisenstein integrals, including the z-removal technique the new method avoids.","marker":"[26]"},{"why":"Linear independence of iterated Eisenstein integrals guarantees that the expansions produced here are in maximally simplified form.","marker":"[27]"},{"why":"Tsunogai's derivations $\\epsilon_{2m}$ are the objects represented by the $(n-1)!\\times(n-1)!$ matrices that carry the $\\tau$-derivative.","marker":"[39]"},{"why":"Provides the tree-level coaction and f-alphabet structure that the genus-one results generalize.","marker":"[4]"},{"why":"Supplies the all-order $\\alpha'$ expansion of disk integrals via the Drinfeld associator, the genus-zero model for the Picard-iteration solution.","marker":"[5]"},{"why":"Defines A-cycle graph functions and connects open-string one-loop integrals to modular graph functions, providing consistency checks for the new expansions.","marker":"[81]"}],"fun_headline_variants":["All α′ orders from one τ derivative","Iterated Eisenstein integrals yield all α′ orders","Closed formula for n-point α′ expansions","One-loop string integrals via derivations","Direct all-order α′ expansion from τ derivative"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the closed n-point formula (4.35) for the $\\tau$-derivative, proven only for $n\\leq 5$ and conjectured for $n\\geq 6$, is correct for every number of punctures; the all-order expansions and the non-planar no-twisted-eMZV result would not follow otherwise.","fun_headline_variants_meta":{"raw":{"variants":["All α′ orders from one τ derivative","Iterated Eisenstein integrals yield all α′ orders","Closed formula for n-point α′ expansions","One-loop string integrals via derivations","Direct all-order α′ expansion from τ derivative"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00094,"raw_usage":{"total_tokens":4072,"prompt_tokens":1053,"completion_tokens":3019,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":669,"completion_tokens_details":{"reasoning_tokens":2951}},"tokens_in":669,"tokens_out":3019,"duration_ms":26269,"temperature":1.0,"reasoning_tokens":2951,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:32:37.942825+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $2\\pi i\\partial_{\\tau}Z^{\\tau}_{\\vec{\\eta}}$ at n=6 directly from (4.30), resolve the six-cycle of Kronecker–Eisenstein series by Fay identities, and compare the result with the S-map proposal (4.35). Any mismatch falsifies the all-order expansion; likewise, an n=6 contour-deformation check of the twisted-cycle degeneration (5.12) would test the cusp dictionary.","supporting_citations":[],"review_version":1}