{"id":"d0c0578a-2785-4345-8691-459f87eb52ce","arxiv_id":"2607.11834","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Invariant functions under twisted Chinta-Gunnells actions on Kac-Moody root systems admit unique expansions into shifted averages indexed by dominant weights of the twisting module.","lead":"The paper proves that functions invariant under the twisted Chinta-Gunnells action on symmetrizable Kac-Moody root systems decompose uniquely into shifted averages indexed by dominant weights. This extends finite-type results to infinite root systems and yields explicit formulas plus extra functional equations for the affine A1 case over function fields.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The paper's strongest claim is the unique expansion under Hypothesis 4.2 (Theorem 4.11) and its verification for the global MDS (Corollary 5.6). The only potential soft spot is the domain hypothesis itself, which the reader correctly flags. That hypothesis is, however, checked in detail for every object to which the theorem is applied: analytic continuation of DZ_ω to X_C^° (Theorem 3.5) supplies the Reinhardt domains for the averages, and the explicit tube domain X_1 together with the non-vanishing argument for D_im on Y supplies them for the MDS. The recursion (Proposition 4.4) and linear-independence (Lemma 4.9) arguments then go through without further assumptions. Consequently the central uniqueness statement holds for the series of interest, the extra functional equations and explicit formulas in the Ã_1 case are independent of any gap, and no adjustment to the ACCEPT verdict is warranted.","tokens_in":29690,"tokens_out":551,"duration_ms":5426,"concrete_test":"Verify that the tube domain Y constructed in the proof of Corollary 5.6 (Y_j = convex hull of C_1 ∪ σ_j C_1) is indeed a σ_j-invariant Reinhardt domain after x_i = q^{-s_i} and that ∏_{α\notin{α_j}}(1-q^{1-m_α α(s)}) never vanishes on Y_j; if either fails, the application of Theorem 4.11 to Z(s;c) would be unjustified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest-assumption note (Hypothesis 4.2 assumed rather than verified for arbitrary invariant functions) is accurate but not load-bearing for the paper's central claim. Theorem 4.11 is explicitly conditional on Hypothesis 4.2; the applications that constitute the main results (Chinta-Gunnells averages via Theorem 3.5, and the global MDS via the tube domain X_1 and Corollary 5.6) verify the hypothesis in full. The recursion relations of Proposition 4.4 and the support argument of Lemma 4.9 are self-contained once the domain condition holds, so uniqueness is not at risk for the objects to which the theorem is applied. No internal inconsistency or hidden gap appears in the argument for those objects.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper studies twisted Weyl group multiple Dirichlet series for symmetrizable Kac-Moody root systems, with p-parts constructed by the Chinta-Gunnells averaging method. The central result (Theorem 4.11) states that, under Hypothesis 4.2 on the domain of definition, any function Z invariant under the twisted Chinta-Gunnells action |CG_\\omega admits a unique expansion Z(x)=\\sum_{\\xi\\in\\Pi_\\omega} c_{\\omega-\\xi} x^{\\omega-\\xi} Z_\\xi(x), indexed by dominant weights in the highest-weight module of weight \\omega, with coefficients read from the Taylor series of \\Delta Z. The same expansion is established for the global twisted MDS over F_q(t) (Corollary 5.6). The authors also prove meromorphic continuation of the relevant Chinta-Gunnells averages DZ_\\omega to the interior of the complexified Tits cone (Theorem 3.5). In the affine Ã1 case they derive extra functional equations (not coming from the Weyl group) for the untwisted average and for averages twisted by fundamental weights, obtain explicit product formulas, and deduce an explicit formula and an extra functional equation for the global MDS with square-free twisting parameters.","tokens_in":29921,"tokens_out":1196,"duration_ms":21838,"significance":"The work cleanly extends Friedlander's finite-type decomposition to the symmetrizable Kac-Moody setting and supplies the first general analytic continuation of twisted Chinta-Gunnells averages into the complexified Tits cone. The decomposition organizes the study of global MDS coefficients and isolates the contribution of imaginary roots, which is the main obstruction to a local-to-global principle beyond finite type. The Ã1 calculations give q-deformations of the Jacobi triple product and of a fundamental-weight character, together with a global extra functional equation involving q-Weil numbers; these are concrete, checkable identities of independent interest and a useful test case for the affine theory. The results are directly relevant to the analytic theory of moments of quadratic Dirichlet L-functions attached to star-shaped root systems. The arguments rely on explicit recursion relations for Taylor coefficients, a support argument for linear independence, and standard estimates on the Tits cone plus Bochner's tube theorem; the expansion coefficients are extracted from \\Delta Z rather than fitted.","major_comments":[{"comment":"Theorem 5.5 asserts analytic continuation of eD(q^{-s};q)Z(s;c) to the tube over X_1 and invariance under the twisted Chinta-Gunnells action, by appealing to the number-field argument of Lee-Zhang with Theorem 5.3 as input, while omitting the technical details. Corollary 5.6 (the global decomposition, one of the paper's main applications) rests on this statement. A short sketch of the adaptation---in particular how the functional equation of Kubota's series is used over F_q(t) under the standing assumption q\\equiv1 mod 2n, and any differences from the finite-type treatment of Friedlander---would make the global application self-contained and verifiable.","section":"§5.2, Theorem 5.5 and Corollary 5.6"}],"minor_comments":[{"comment":"Typo: \"meromorphic cotinuation\" should be \"continuation\".","section":"§1 Introduction"},{"comment":"The abstract writes \"affine eA1\" while the body uses both eA1 and Ã1; standardize the notation for the affine A1 root system throughout.","section":"Abstract and §6"},{"comment":"In Definition 2.1 the formula for x^\\lambda |CG_\\omega \\sigma_i is dense; a brief parenthetical reminder that r_{m_i} denotes the remainder modulo m_i would help the reader parse the exponents.","section":"§2, Definition 2.1"},{"comment":"Hypothesis 4.2 is stated abstractly; a one-sentence remark that X^°_C (after x_i=q^{-s_i}) and the tube over X_1 both satisfy it, with pointers to Theorem 3.5 and the argument in Corollary 5.6, would orient the reader earlier.","section":"§4, Hypothesis 4.2"},{"comment":"In the author list at the end, \"Jack W alsh\" appears with a spurious space; correct to \"Walsh\".","section":"Author addresses"},{"comment":"The open Problem stated after the decomposition is valuable; a sentence indicating whether any growth bound on the coefficients c_{\\omega-\\xi} is known even in the affine case (beyond Ã1 and eD4) would help place the difficulty.","section":"§1 Introduction"}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is solid and appropriate for a strong number-theory journal. The only load-bearing soft spot is the omitted sketch of Theorem 5.5; once that is supplied at the level of a page or less, the paper is ready. The Ã1 section is particularly clean and could be highlighted in the decision letter as a concrete payoff. No concerns about novelty disclosure or citation pattern."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The core new result is Theorem 4.11: any function invariant under the twisted Chinta-Gunnells action, on a region satisfying the natural Reinhardt-domain Hypothesis 4.2, admits a unique expansion as a sum of shifted averages x^{ω-ξ} Z_ξ indexed by the dominant weights ξ ≤ ω. The same expansion holds for the global twisted MDS over F_q(t) (Corollary 5.6). They also prove that the averages themselves continue analytically to the interior of the complexified Tits cone (Theorem 3.5), and in the affine Ã1 case they produce extra functional equations (not coming from the Weyl group) that yield closed formulas for the averages and for the square-free MDS, including a q-deformation of the Jacobi triple product.\n\nWhat works well is the technical backbone. The recursion relations on Taylor coefficients (Prop. 4.4) and the support argument for linear independence (Lemma 4.9) are transparent and simplify even the finite-type case. The domain hypotheses are verified for the objects that matter—the averages via the Tits-cone estimates and Bochner, and the MDS via the tube domain X_1—so the uniqueness statements that are actually used are on solid ground. The Ã1 calculations are careful and self-contained; the extra operators τ and τ^{2} commute with the Weyl action and match independent specializations, so the formulas are trustworthy.\n\nThe soft spots are minor and already flagged by the authors. Hypothesis 4.2 is not checked for completely arbitrary invariant functions, but that is not load-bearing for the main applications. Determining the expansion coefficients in general (especially with imaginary roots) remains open, and Ã1 is degenerate, so the explicit formulas do not immediately export. The paper does not claim meromorphic continuation of the MDS itself, which is still the hard open problem. Citations are honest and the literature engagement is clean.\n\nThis is for people working on Weyl-group multiple Dirichlet series, moments of L-functions, or metaplectic Kac-Moody forms. The math is solid, the arguments are reproducible, and it advances an active program without free parameters or circularity. I would send it to a serious referee and would engage with it myself.","headline":"Clean generalization of Friedlander’s decomposition to symmetrizable Kac-Moody, plus analytic continuation of the averages and fully explicit extra functional equations in affine A1.","tokens_in":30501,"tokens_out":559,"would_cite":true,"duration_ms":11673,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11F68","17B67","11M32"],"pacs":[],"model":"grok-4.5","headline":"Functions invariant under the twisted Chinta-Gunnells action expand uniquely as sums of shifted averages indexed by dominant weights of the twisting module.","keywords":["Weyl group multiple Dirichlet series","Chinta-Gunnells averages","symmetrizable Kac-Moody root systems","twisted functional equations","Tits cone","affine A1","function fields"],"falsifier":"Construct an explicit function that is invariant under the twisted Chinta-Gunnells action, is holomorphic after multiplication by the product D, yet whose Taylor coefficients cannot be recovered from the free data a_{ω-ξ} for ξ in Π_ω, or whose expansion coefficients fail to match those of ΔZ.","tokens_in":30583,"feed_emoji":"∑","tokens_out":626,"duration_ms":4962,"temperature":0.7,"pith_summary":"Weyl-group multiple Dirichlet series encode arithmetic information about families of L-functions through a group of functional equations. For finite root systems their local factors are known to be completely determined by a finite list of free coefficients. This paper extends that determination to symmetrizable Kac-Moody root systems, which can be infinite-dimensional. It proves that any function invariant under the twisted Chinta-Gunnells action, once it satisfies mild analytic hypotheses, admits a unique expansion as a linear combination of shifted Chinta-Gunnells averages indexed by the dominant weights appearing in the highest-weight module of the twist. The same expansion holds for the global series over rational function fields. The averages themselves continue analytically to the interior of the complexified Tits cone. In the simplest affine case an extra functional equation, not coming from the Weyl group, yields closed formulas for the series with square-free twists.","feed_headline":"Invariant functions expand uniquely via Chinta-Gunnells averages","feed_subtitle":"The decomposition holds for Kac-Moody root systems and for global series over function fields","key_machinery":"The twisted Chinta-Gunnells averages Z_ω, together with the recursive coefficient relations forced by invariance under simple reflections; these relations reduce all Taylor coefficients of an invariant function to the free data a_{ω-ξ} for ξ in Π_ω.","core_discovery":"Under natural analytic hypotheses, every function invariant under the twisted Chinta-Gunnells action admits a unique expansion as a sum of shifted Chinta-Gunnells averages indexed by the dominant weights of the highest-weight module determined by the twisting parameter; the same expansion holds for the global twisted multiple Dirichlet series over the rational function field.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Twisted invariants expand uniquely by shifted Chinta-Gunnells averages","Dominant weights index the unique average expansion of CG invariants","Kac-Moody MDS decompose via Chinta-Gunnells averages over weights","Function field series inherit unique CG average expansions","CG averages continue analytically into the Tits cone interior"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The function must live on a Weyl-invariant region that is a union of Reinhardt domains on which certain infinite products do not vanish; if that domain condition fails, uniqueness of the expansion is not guaranteed.","fun_headline_variants_meta":{"raw":{"variants":["Twisted invariants expand uniquely by shifted Chinta-Gunnells averages","Dominant weights index the unique average expansion of CG invariants","Kac-Moody MDS decompose via Chinta-Gunnells averages over weights","Function field series inherit unique CG average expansions","CG averages continue analytically into the Tits cone interior"]},"model":"grok-4.5","effort":"low","cost_usd":0.003462,"raw_usage":{"total_tokens":1107,"prompt_tokens":747,"num_sources_used":0,"completion_tokens":86,"cost_in_usd_ticks":34620000,"prompt_tokens_details":{"text_tokens":747,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":274,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":747,"tokens_out":86,"duration_ms":3064,"temperature":1.0,"reasoning_tokens":274,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T02:48:48.685607+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Construct an explicit function that is invariant under the twisted Chinta-Gunnells action, is holomorphic after multiplication by the product D, yet whose Taylor coefficients cannot be recovered from the free data a_{ω-ξ} for ξ in Π_ω, or whose expansion coefficients fail to match those of ΔZ.","supporting_citations":[],"review_version":1}