{"id":"90d21696-c7a8-4657-8398-d665723a2104","arxiv_id":"1908.01410","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"A sketch of a construction of subvarieties of M_{0,n} carrying rational solutions to generic double shuffle equations, where the subvariety is defined as the locus where those equations hold.","lead":"The paper proposes subvarieties of a moduli space on which certain rational functions built from multiple polylogarithms satisfy double shuffle equations. The subvarieties are defined as the solution sets of those very equations, so the existence claim is largely definitional, and the paper defers key details to future versions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Definition 4.3 defines Y by the very equation it claims to solve; nonemptiness is never shown and the promised explicit equations are deferred, so the theorem is unsupported.","rationale":"Agree with the reader: the weakest assumption is the existence of the subvariety. The paper's own Definition 4.3 defines Y by the equation that the theorem then asserts holds on Y, so the existence of a nontrivial locus is not established. Chen's linear independence could justify vanishing of coefficients in derived shuffle relations, but it says nothing about whether the system variant = generic has solutions, nor about regularity of the rational functions on that locus. The computations in Sections 2 and 3 may be correct, but they only produce identities among rational fractions after differentiation; they do not construct the announced infinite family of explicit closed affine subvarieties. Since the central existence claim is unsupported as stated, the reader's REJECT verdict is appropriate and no change is needed.","tokens_in":10636,"tokens_out":9645,"duration_ms":99610,"concrete_test":"Test the smallest nontrivial case N=1, L=2: from Example 2.4 compute I^rat_1, and from Example 3.3/3.6 write the derived shuffle and quasi-shuffle identities as explicit rational equations in the variables z0,z1,a,b. Form the ideal obtained by clearing denominators in the equality variant = generic, and check with a Gröbner basis or numerical homotopy continuation whether the resulting variety has any complex point avoiding the pole divisors of I^rat_1. If the ideal is trivial, or all components lie in the pole divisor, the claimed infinite family is vacuous in its first case; if a point exists, nonemptiness is settled.","verdict_should_be":"REJECT","load_bearing_attack":"Definition 4.3 introduces Y^(N)_{L+3} as the subvariety cut out by the equation saying that the variant of the generic double shuffle relation satisfied by I^rat_N is equal to the generic double shuffle relation. Since Proposition 4.2 asserts the variant relation holds identically on the ambient space, via Chen linear independence, this locus is just the vanishing locus of the generic double shuffle equations evaluated at the rational functions I^rat_N. The subsequent statement that on this subvariety one has explicit rational fractions satisfying the generic double shuffle relations is therefore a tautology relative to the definition. What is missing is any proof that this locus is nonempty, that the rational fractions are regular on it so that they are global algebraic functions, and that the promised equations are actually supplied. The text itself defers this: Section 3.2 says more explicit versions of these equations will be added in next versions, and the introduction announces that more details and consequences will appear in a later version. Proposition 4.2 is proved by a one-line appeal to Chen's theorem, without stating the variant relations or justifying linear independence over algebraic functions on M_{0,L+3}. Thus the central theorem is a definition presented as an existence result; the load-bearing existence and well-definedness steps are unproved.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes to construct, for each N and n, closed affine subvarieties Y^{(N)}_{0,n+3} of M_{0,n+3} together with global algebraic functions that satisfy the generic double shuffle relations of multiple polylogarithms. The strategy is to apply iterated partial derivatives to the generic double shuffle relations, collect the purely rational terms via localized multiple polylogarithms, and then define the subvariety Y as the locus where the resulting 'variant' double shuffle relations coincide with the generic ones. The central existence theorem is stated in Section 0.4, and the construction is given in Section 4.","tokens_in":10798,"tokens_out":2538,"duration_ms":25813,"significance":"If the central theorem were established, the paper would supply a new class of algebraic functions satisfying the same shuffle and quasi-shuffle relations as multiple polylogarithms, with potential applications to p-adic multiple zeta values. The paper also contains some useful explicit formulas for derivatives of multiple polylogarithms (Section 2.2 and Examples 2.4–2.6), and it identifies an interesting transfer principle. However, the main existence theorem is not proved in the manuscript: the decisive step is essentially a definition presented as a conclusion, and the paper itself defers explicit equations and further details to later versions. As written, the central claim is unsupported.","major_comments":[{"comment":"The argument is circular at the central point. Definition 4.3 defines Y^{(N)}_{L+3} as the subvariety cut out by 'the equation saying that the variant of the generic double shuffle relation satisfied by I^rat_N is equal to the generic double shuffle relation.' The immediately following paragraph then concludes that 'on this subvariety, one has explicit rational fractions over Q which satisfy the generic double shuffle relations.' This conclusion is a restatement of the definition, not a theorem. The manuscript never proves that this locus is nonempty, that it has positive dimension, or that it is an infinite sequence of varieties as claimed in Section 0.4. Without nonemptiness, the theorem's assertion 'equipped with global algebraic functions' is vacuous.","section":"Section 4.3 (Definition 4.3) and Section 0.4"},{"comment":"Proposition 4.2 is not proved. The proof consists of one sentence citing Chen's theorem and asserting that multiple polylogarithms are linearly independent over algebraic functions on M_{0,L+3}. The 'variant of the generic double shuffle relations' is never stated in general; only low-weight examples are given in Section 3.3 and Section 3.4. Moreover, the linear independence statement over algebraic functions on the moduli space requires a precise formulation and justification; Chen's theorem concerns iterated integrals on a path space, and the passage to algebraic functions on M_{0,L+3} is not supplied. Thus the proposition cannot support the construction that follows.","section":"Section 4.2 (Proposition 4.2)"},{"comment":"The manuscript explicitly defers the main technical content. Section 3.2 states: 'We will add in the next versions more explicit versions of these equations as well as similar results about the homographical transformations,' and Section 0.4 states: 'More details and consequences of the result will appear in the next version of this text.' The central theorem promises 'explicit closed affine subvarieties' and 'global algebraic functions,' but the promised explicit equations are not present. The reader cannot verify the claimed existence or explicitness from the submitted text.","section":"Section 3.2 and Section 0.4"},{"comment":"Definition 4.3 is not mathematically well-posed as stated. The generic double shuffle equations are a family of polynomial equations, and the phrase 'the equation saying that the variant ... is equal to the generic double shuffle relation' does not identify a finite list of explicit polynomials cutting out Y. Moreover, even if the locus were defined, one must check that the rational fractions I^rat_N are regular on it, i.e., that the denominators occurring in the coefficients do not vanish identically on Y; this regularity is asserted in the theorem but never demonstrated.","section":"Section 4.3 (Definition 4.3)"}],"minor_comments":[{"comment":"There is a typo: 'quasi-shuffle procuct' should be 'quasi-shuffle product'.","section":"Section 0.1, Eq. (3)"},{"comment":"The word 'varians' should be 'variants', and the sentence about multiple harmonic values contains several typographical errors (e.g., 'followng', 'terminology multiple harmonic values c omes').","section":"Section 0.3"},{"comment":"The phrase 'We will use the term localization to takl about a settng' contains typos; it should read 'to talk about a setting'.","section":"Section 1.2"},{"comment":"The notation for the dimension of the moduli space is inconsistent: the theorem in Section 0.4 uses Y^{(N)}_{0,n+3} and M_{0,n+3}, while Definition 4.3 and the surrounding text use Y^{(N)}_{L+3} and M_{0,L+3}. The relation between the variables n and L should be clarified.","section":"Throughout"},{"comment":"The sentence 'For simplicitly, we restrict to the case...' contains a typo; it should be 'For simplicity'.","section":"Section 3.2"}],"recommendation":"reject","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: the derivative calculations are real, but the main theorem is a definition wearing a theorem's clothes. Y^(N) is defined (Definition 4.3) as the subvariety where the variant double shuffle relations switch over to the generic ones, so on that subvariety the equations are satisfied by construction. Nonemptiness is never addressed, and the promised explicit equations are pushed to a later version.\n\nWhat's worth saving here is the computational core. Proposition 2.2 gives a recursive formula for higher partial derivatives of multiple polylogarithms, with coefficients that are rational functions, and the examples in weights 2 and 3 are explicit enough to check by hand. Proposition 3.2 and 3.5 use this to derive \"localized\" versions of the shuffle and quasi-shuffle relations, and Example 3.3 shows a concrete identity among rational functions that looks exactly like the shuffle relation. That is a genuinely new way of producing algebraic identities from derivatives of MPLs, and it could be useful for the p-adic multiple zeta value program the author has been developing.\n\nThe problem is the arrow from those identities to an existence theorem. Proposition 4.2 claims that the rational parts I^rat_N satisfy a variant of the generic double shuffle relations. A proof is sketched in one line, citing Chen's linear independence theorem. That might be enough if everything were laid out, but the variant relations themselves are not stated in closed form, and the text says more explicit versions will come later. Then Definition 4.3 sets Y to be the zero locus of the difference between variant and generic. The theorem in the introduction then asserts that Y exists and is equipped with algebraic functions solving generic double shuffle. That assertion is true by definition if Y is nonempty—but nonemptiness is exactly what is missing. Nothing in the paper shows that the equations defining Y are consistent, or that the rational fractions remain regular on it.\n\nThe citation pattern is fine; the heavy self-citation is normal for a single-author program, and the external references (Chen, Deligne, Goncharov, IHKS) are the standard ones. The math that is actually written is plausible and the computations are detailed. The gap is not a small technicality; it is the central claim.\n\nWho gets value from this: someone working on p-adic multiple zeta values or Goncharov multiple polylogarithms, mainly for the derivative formulas. As a standalone paper, it is not ready. My recommendation: do not accept it for peer review as is. Send it back with a request to prove that Y is nonempty, or to give at least one nontrivial explicit example, and to write out the defining equations. If the author can do that, the result would be worth a serious referee.","headline":"The derivative computations are genuine, but the main theorem is a definition posed as a result—Y is defined by the equation it is supposed to solve, and nonemptiness is never established.","tokens_in":11362,"tokens_out":7009,"would_cite":false,"duration_ms":62967,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11M32","11G55","14H10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper constructs explicit closed affine subvarieties Y^{(N)}_{0,n+3} of M_{0,n+3} equipped with algebraic functions that satisfy the generic double shuffle equations of multiple polylogarithms.","keywords":["multiple polylogarithms","generic double shuffle relations","localized multiple polylogarithms","algebraic functions","moduli space M_{0,n}","multiple zeta values","iterated integrals","Chen's theorem"],"falsifier":"For the smallest nontrivial case (N=1, two variables), the defining equations of $Y^{{(1)}}$_{0,5} are the explicit rational identities displayed in Example 3.3 (shuffle) and Example 3.6 (quasi-shuffle). Solving this system, for instance fixing z_0=0 and z_1=1 and searching for distinct a,b in $P^{1}$ minus {0,1,infinity}, would settle nonemptiness: one solution proves the variety is nonempty, while a Groebner basis computation reducing the system to a contradiction proves it is empty.","tokens_in":1703,"feed_emoji":"","tokens_out":2618,"duration_ms":180844,"temperature":0.7,"pith_summary":"Multiple polylogarithms are built from iterated integrals over the spaces M_{0,n+3} of configurations of distinct points on the projective line, and they satisfy two multiplication laws known as the generic double shuffle equations. This paper claims that those same equations can be solved by ordinary rational functions, after restricting to explicit subvarieties of M_{0,n+3}. For each positive integer N and each n at least 0, it constructs a closed affine subvariety $Y^{{(N)}}$_{0,n+3} and shows that on it the rational pieces extracted from N-th derivatives of multiple polylogarithms obey the same shuffle and quasi-shuffle products as the original functions. The interest is that relations normally visible only through transcendental functions are thus realized as purely algebraic identities, a step toward a geometric understanding of the algebraic relations among multiple zeta values.","feed_headline":"Algebraic functions solve the double shuffle equations","feed_subtitle":"The double shuffle laws of multiple polylogarithms become rational functions on explicit subvarieties of M_{0,n+3}.","key_machinery":"The load-bearing object is the rational fraction $I^{{rat}}$_N(a_0; a_1,\\ldots,a_n; a_{n+1}), defined as the coefficient of the constant iterated integral in the expansion of \\partial^N_{z_1}\\cdots\\partial^N_{z_n} applied to a multiple polylogarithm. The expansion is produced by a recursion that expresses each partial derivative as a \\mathbb{Q}(z_1,\\ldots,z_n)-linear combination of iterated integrals with simpler index sets, so localized multiple polylogarithms are built from the same data as the original functions. The transfer from polylogarithms to rational functions rests on the linear independence of iterated integrals over the ring of algebraic functions: once the generic double shuffle relations are differentiated, their rational parts must satisfy the same shuffle and quasi-shuffle laws. Finally, $Y^{{(N)}}$_{0,n+3} is the closed affine subvariety cut out by equating this derived rational law with the generic one.","core_discovery":"The paper's central claim is that there exists an infinite sequence of explicit closed affine subvarieties $Y^{{(N)}}$_{0,n+3} of M_{0,n+3}, parametrized by N in the positive integers and n in the nonnegative integers, each equipped with global algebraic functions that are solutions to the generic double shuffle equations. The functions are constructed by applying N partial derivatives in every coordinate to a multiple polylogarithm, expanding the result as a linear combination of iterated integrals with rational-function coefficients, and keeping the coefficient of the empty iterated integral; this coefficient is denoted $I^{{rat}}$_N. The classical theorem that iterated integrals are linearly independent over the ring of algebraic functions converts the double shuffle relations satisfied by multiple polylogarithms into equalities among these rational functions. The subvariety Y is then defined as the locus where this rational variant of the double shuffle relation agrees with the generic double shuffle relation, and on that locus $I^{{rat}}$_N gives the desired algebraic functions.","pith_inferences":["If the subvarieties are nonempty, they give rational solutions to the generic double shuffle equations in families parametrized by moduli space, so the solutions are geometric objects depending on the configuration of points rather than isolated formal series.","Nonemptiness can be checked computationally for the first few cases: the defining equations of Y are explicit rational equations, so elimination theory can decide whether a solution exists without any new idea.","The same localization-and-derivation transfer could be applied to other functional equations of multiple polylogarithms, for instance duality or homography transformations, yielding analogous algebraic solutions if the double shuffle case works.","A positive answer would provide a new source of periods attached to algebraic functions on moduli spaces of curves, potentially connecting the algebraic relations of multiple zeta values to algebraic geometry more directly."],"forward_implications":["For every pair (N,n) the construction yields an explicit closed affine subvariety Y^{(N)}_{0,n+3} of M_{0,n+3}; these form infinitely many such subvarieties, one for each depth n and each order N of derivation.","On each such subvariety, the rational fractions I^{rat}_N satisfy the same shuffle and quasi-shuffle product laws as the original multiple polylogarithms, so the generic double shuffle equations are realized as identities among rational functions rather than among transcendental functions.","Because the derivation operators apply to any algebraic relation among multiple polylogarithms, the same mechanism transfers other algebraic relations, not only double shuffle relations, to algebraic functions.","The classical double shuffle relations for multiple zeta values are limits of the generic ones; the paper states that limits of the restricted equations and the resulting periods will be treated in subsequent work.","On the p-adic side, the paper positions this construction as a step toward a variant of the motivic Galois theory of multiple polylogarithms in which algebraic functions play the special role that multiple harmonic values play in the p-adic setting."],"supporting_citations":[{"why":"Supplies the theorem that iterated integrals are linearly independent over the ring of algebraic functions; this is the transfer step in Proposition 4.2.","marker":"[C]"},{"why":"Supplies the definition of multiple polylogarithms and their shuffle and power-series formulas used to write the generic double shuffle equations.","marker":"[G]"},{"why":"Supplies the classical double shuffle framework for multiple zeta values that motivates the generic equations.","marker":"[IKZ]"},{"why":"Supplies the de Rham pro-unipotent fundamental groupoid and the Knizhnik-Zamolodchikov connection on M_{0,n} used in the localization setup.","marker":"[D]"}],"fun_headline_variants":["Algebraic functions solve generic double shuffle equations","Explicit subvarieties carry double shuffle solutions","Double shuffle relations hold on algebraic loci","Localized polylogarithms give algebraic shuffle solutions"],"cache_read_input_tokens":13568,"weakest_assumption_plain":"The construction defines $Y^{{(N)}}$_{0,n+3} as the locus where two explicitly written rational double-shuffle identities coincide, but the paper does not prove that this locus contains any point; if the defining equations are inconsistent, the claimed algebraic functions exist on an empty set.","fun_headline_variants_meta":{"raw":{"variants":["Algebraic functions solve generic double shuffle equations","Explicit subvarieties carry double shuffle solutions","Double shuffle relations hold on algebraic loci","Localized polylogarithms give algebraic shuffle solutions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000244,"raw_usage":{"total_tokens":1441,"prompt_tokens":761,"completion_tokens":680,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":377,"completion_tokens_details":{"reasoning_tokens":623}},"tokens_in":377,"tokens_out":680,"duration_ms":7006,"temperature":1.0,"reasoning_tokens":623,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:13:39.371592+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For the smallest nontrivial case (N=1, two variables), the defining equations of $Y^{{(1)}}$_{0,5} are the explicit rational identities displayed in Example 3.3 (shuffle) and Example 3.6 (quasi-shuffle). Solving this system, for instance fixing z_0=0 and z_1=1 and searching for distinct a,b in $P^{1}$ minus {0,1,infinity}, would settle nonemptiness: one solution proves the variety is nonempty, while a Groebner basis computation reducing the system to a contradiction proves it is empty.","supporting_citations":[],"review_version":1}