{"id":"07e933a5-7185-4549-ada4-a2afcb2d6a71","arxiv_id":"2607.18945","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For every irreducible root system, the genuine polar divisors of the KMT zeta function are exactly the carrier hyperplanes, with explicit residue formulas.","lead":"This paper identifies the exact hyperplanes on which a root-system zeta function has poles, for every irreducible root system, and writes down the residues. It is useful because these zeta functions control counting problems in Lie theory and their singularities determine asymptotic expansions.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.3's full-support divisor rests on an unreproduced, self-cited proper-parabolic estimate from [25]; until that estimate is supplied or independently checked, the equality (16) at H_{I,0} is conditional.","rationale":"I read the paper in good faith and identified what must be true for the central claim: every displayed hyperplane in (16) must be genuinely polar, not merely a candidate from continuation. The proper-support residue theorem is supported by a concrete nonvanishing point construction, and the explicit residue formulas match several known cases, which is meaningful independent evidence. The weakest point is the full-support divisor H_{I,0}. To prove it is genuinely polar, the paper must show that the projective period (15) does not vanish or diverge at a chosen point. The chosen point is the diagonal s_alpha = 2/h, and the argument reduces to an estimate attributed to the author's own preprint [25], which is not reproduced and not independently verified in this manuscript. The displayed inequality is plausible but is not derived from the resolution setup, and the sign and finiteness of the finite part are not demonstrated. This is exactly the reader's weakest_assumption. My recommendation is therefore unchanged: the paper's main theorem is credible but conditional on supplying or independently checking that estimate. I do not see a stronger internal inconsistency; the concern is an unresolved dependency, not a demonstrated error. The verdict should remain CONDITIONAL, and the concrete test above would settle whether the dependency actually lands.","tokens_in":24001,"tokens_out":5067,"duration_ms":48949,"concrete_test":"Supply a self-contained appendix that derives, from the resolved coordinates of Lemma 2.3, the order of each L_alpha along every boundary stratum of the simplex and proves that the finite part of (15) at s_alpha = 2/h is finite, positive, and nonzero for every irreducible Phi. As a numerical cross-check, evaluate the B_3 and C_3 instances of (15) at s = 1/3 by high-precision integration of the resolved simplex and compare with the positive residues in Table 9 (Gamma(1/3)^6/(96 pi^2) for both); also evaluate the A_3 instance at s = 1/2 and compare with the corresponding closed form. If any of these finite parts is zero, negative, or divergent, then the full-support component of Theorem 3.3 fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is the exact polar divisor equality (16). The proper-support direction is supported by an explicit nonvanishing residue construction and appears sound. The full-support direction, however, depends on the assertion that the projective period (15) is an ordinary finite positive integral at the diagonal point s_alpha = 2/h. The proof of this in Theorem 3.3 invokes 'the same strict proper-parabolic estimate used in [25]' — a self-cited arXiv preprint — and does not reproduce the estimate or derive it from the blow-up coordinates of Lemma 2.3. What is displayed is only the inequality 2/h |R(T)| - |T| = sum_a r_a(1 - h_a/h) > 0. That inequality is stated, not proved, and it is not obvious that it is the correct boundary-integrability criterion for the simplex integral (15): the divisor order of each L_alpha along a given boundary stratum must be computed in terms of the resolved coordinates, and the finite part must be shown to be finite, positive, and nonzero. If the actual criterion differs — for example if crossing roots contribute to the pole order in the wonderful model, or if the finite part has a sign or zeros — the residue could vanish or be infinite, and H_{I,0} would not be a genuine polar divisor. Since the theorem asserts 'exactly' the union in (16), failure of this step would invalidate the theorem's strongest form. This is the single most load-bearing assumption: it is not reproduced, it is self-cited, and it is used exactly where the proof supplies no independent computation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the untwisted Komori–Matsumoto–Tsumura zeta function Z_Φ(s) attached to an irreducible crystallographic root system, with one exponent for each positive coroot. It defines carrier hyperplanes H_{S,ℓ} and proves that the generic polar divisor is exactly H_{I,0} ∪ ⋃_{∅≠S⊊I, ℓ≥0} H_{S,ℓ} (Theorem 3.3), with every displayed hyperplane generically a simple pole. For proper supports the residue is given by an explicit finite sum (12) of projective periods and polynomially weighted complementary zeta functions. The paper also develops a flag calculus for intersections, aggregate Laurent coefficients, gamma defects, and specialization thinning, and applies the machinery to A₂, A₃, Euler–Zagier, C₂, G₂, B₃, and C₃ cases, recovering known results (Matsumoto–Tsumura, Zhao, Akiyama–Egami–Tanigawa, Au) and deriving new singular data.","tokens_in":24466,"tokens_out":8572,"duration_ms":80156,"significance":"If the results are correct, this is a substantial contribution: it gives a complete generic polar-divisor classification and explicit residue functions for all irreducible root systems, going beyond earlier candidate-locus theorems. The proper-support residue formula (12) is explicit and testable, and the flag/aggregate formalism for intersections is a useful organizing framework. The paper is strengthened by extensive cross-checks against independent published results, including the A₂/A₃ singular loci, Zhao's Euler–Zagier residues, and Au's rank-two/three Witten zeta computations. The main weaknesses are that the proof of the full-support polar divisor invokes an unreproduced, self-cited estimate from [25], and several analytic lemmas (notably Lemma 2.6) are presented in proof-sketch form. These issues are local and fixable, but they affect the central theorem.","major_comments":[{"comment":"The proof that H_{I,0} is genuinely polar at s_α = 2/h relies on 'the same strict proper-parabolic estimate used in [25]' — a self-cited arXiv preprint whose statement is not reproduced. The displayed inequality 2/h |R(T)| - |T| = Σ_a r_a(1 - h_a/h) > 0 is not by itself a derivation of the boundary-integrability criterion for the simplex integral (15); one must compute the divisor order of each L_α along every boundary stratum in the resolved coordinates and prove that the finite part is finite, positive, and nonzero. If this estimate fails or does not apply, the equality (16) could lose the full-support component. Since (16) is the paper's central exact claim, please include the estimate or a self-contained proof, and clarify whether [25] depends on results of the present paper so that circularity can be ruled out.","section":"§3, Theorem 3.3 and Eq. (15)–(16)"},{"comment":"Lemma 2.6 asserts uniform Schwinger-tail estimates for the resolved coefficient and all its derivatives, but the proof is a sketch: the passage 'powers of the Schwinger variables and all parameter derivatives contribute only polynomial and logarithmic growth' does not by itself establish the uniform L¹-bounds required to apply Lemma 2.4 on the noncompact tail. Since Theorem 2.7 and the local normal form (9) depend on this lemma, the full estimate should be supplied or an exact reference with the statement should be given. This is needed to justify that Schwinger infinity introduces no additional affine polar form.","section":"§2, Lemma 2.6 and Theorem 2.7"},{"comment":"The uniqueness of the aggregate coefficients C_F is asserted with a brief argument: 'Every resolved construction gives the same one-variable meromorphic germ'. While the final Laurent coefficients on a transverse slice are intrinsic, the individual C_F in (9) are not shown to be resolution-independent at higher intersections; the paper itself says only the complete aggregate coefficients are intrinsic. To avoid ambiguity, please state explicitly that the C_F are defined by the maximal wonderful model construction and that their individual values are not claimed to be independent of resolution, while the aggregate coefficients A_m(γ) in (23) are intrinsic. This is a clarity issue, but it is load-bearing for the flag calculus.","section":"§5, Lemma 2.5 and Theorem 5.4"}],"minor_comments":[{"comment":"The notation Ψ^+_{Sc} appears to be a typographical corruption of Ψ^+_{S^c}; please fix throughout.","section":"§2, notation"},{"comment":"The phrase 'finite contour shifts' is unclear: the number of Mellin–Barnes contour shifts depends on ℓ and on the compact parameter set. Please specify how the shifts are chosen uniformly.","section":"§3, proof of Theorem 3.2"},{"comment":"The symbol q is used both for the summation index and for q*(w); please rename one to avoid confusion.","section":"§7.3, Theorem 7.4"},{"comment":"The table and the paragraph following it are typeset in a way that is hard to parse; the row for 'support S N(S) carrier form' should be reformatted into a proper three-column table.","section":"§9.1, Table 8"},{"comment":"The sentence 'The powers of two at 1/5, 1/6, 1/7 are the products in (58) raised to the negative critical exponent' is not self-evident; please display the explicit formula.","section":"§9.2, after Table 9"},{"comment":"The entries in Table 10 lack clear column headings and are visually garbled; please format as a proper table.","section":"§10, Table 10"}],"recommendation":"major_revision","confidential_remarks":"The main risk is the unreproduced, self-cited estimate in Theorem 3.3. I recommend asking the author to supply that estimate or an independent proof before publication; if it is unavailable, the full-support direction of (16) should be stated conditionally. The paper also leans on Au's preprint [1] for several B₃/C₃ conclusions; this is acceptable if clearly declared, as it mostly is. If the missing estimate is supplied, the paper is likely acceptable for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here is my take. The paper's real contribution is the generic residue calculus for proper supports: for every irreducible crystallographic root system, every hyperplane H_{S,ell} is generically a simple pole, and the residue is the explicit finite sum (12). That part is argued concretely with Mellin-Barnes contours, simplex periods, and complementary KMT series, and it checks out against the known A2, A3, Euler-Zagier, C2, and G2 cases. The flag-indexed aggregate coefficients and the specialization-thinning formulas (17), (23), and (75) are also genuinely new and seem mechanically sound. The B3/C3 section is honest about which parts depend on Au's external theorems, and the dictionary is explicit.\n\nThe soft spot is exactly where the reader put it. The full-support half of Theorem 3.3 -- that H_{I,0} is genuinely polar at s_alpha = 2/h -- leans on 'the same strict proper-parabolic estimate used in [25],' a self-cited arXiv preprint, and the inequality displayed there is not obviously the right resolved-boundary-integrability criterion. If that estimate is wrong or inapplicable, equality (16) could fail at full support. This is load-bearing and unreproduced. I would not call the paper circular overall, because the proper-support direction and the residue formulas are largely self-contained, but the strongest form of the main theorem is conditional on [25]. The brevity of Lemmas 2.5 and 2.6 is a smaller issue: both are plausible, but they are asserted rather than fully proved, and the uniform tail estimates deserve a few more lines.\n\nWho is this for? People working on multivariable zeta functions and Witten zeta functions, especially those who need residue formulas or diagonal specialization rules. The paper deserves a serious referee: the main theorem is important if true, and the gaps are repairable in review rather than fatal. I would send it out and ask the referee to demand a written proof or precise statement of the [25] estimate before accepting the full-support claim.","headline":"A mostly solid generic residue calculus with one load-bearing, unreproduced self-citation at the full-support step; worth refereeing if that estimate is supplied.","tokens_in":24822,"tokens_out":2508,"would_cite":true,"duration_ms":24030,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11M32","11M41","17B20","32A20","40B05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The polar divisor of a root-system zeta function is now known exactly: one full-support hyperplane plus all proper-support shifted hyperplanes, each generically a simple pole.","keywords":["root-system zeta function","Witten zeta function","polar divisor","residue formula","wonderful compactification","Euler-Zagier zeta functions","Mordell-Tornheim zeta functions","multiple zeta functions"],"falsifier":"Numerically or analytically evaluate the full-support projective period (15) for type A4 at the diagonal point s=2/5; if the integral is infinite or zero, HI,0 would not be genuinely polar, falsifying Theorem 3.3. A positive finite value would confirm the load-bearing estimate at that instance but not prove it.","tokens_in":23935,"feed_emoji":"🧮","tokens_out":6641,"duration_ms":58719,"temperature":0.7,"pith_summary":"Root-system zeta functions—multivariable Dirichlet series with one complex exponent per positive coroot—generalize the Witten zeta function. The paper proves that, for every irreducible crystallographic root system, the genuinely polar hyperplanes are exactly the full-support radial hyperplane together with, for each nonempty proper set of simple roots, the shifted hyperplanes on which the exponents of all roots touching that set sum to a fixed integer. It derives an explicit residue on each such hyperplane as a finite sum of projective periods times polynomially weighted complementary zeta functions, and shows that every displayed hyperplane is generically a simple pole. On intersections, it introduces strict decorated support flags and aggregate Laurent coefficients, showing that pole order after specialization is governed by the first nonzero aggregate coefficient rather than by individual flag contributions. This settles which candidate hyperplanes of the continuation are real and supplies a uniform residue calculus that recovers all known low-rank singular data.","feed_headline":"Exact pole locus found for root-system zeta functions","feed_subtitle":"A uniform residue formula gives every pole; specializations explain cancellations and recover low-rank data.","key_machinery":"The load-bearing structure is the Schwinger–Mellin representation of the zeta function as an integral over the positive orthant; the Todd denominators vanish exactly on support subspaces, and the carrier arrangement records the affine hyperplanes associated to nonempty supports of simple roots. A wonderful-model resolution makes the boundary divisors normal crossing, reducing local contributions to normal-crossing Mellin integrals whose polar denominators are the carrier forms. The residue formula comes from Mellin–Barnes separation of crossing roots into a simplex projective period and a weighted complementary series. The aggregate Laurent coefficient of Theorem 5.4 is the incidence-complet","core_discovery":"The central claim, Theorem 3.3, is that the polar divisor of the untwisted strongly dominant root-system zeta function Z_Φ is exactly HI,0 ∪ ⋃_{∅≠S⊊I} ⋃_{ℓ≥0} H_{S,ℓ}, where H_{S,ℓ} is the affine hyperplane on which the sum of the exponents of the positive coroots meeting S equals |S|−ℓ, and HI,0 is the full-support hyperplane on which the sum of all exponents equals the rank. Every displayed hyperplane is generically a simple pole. For a proper support S, the residue is the finite sum (12): a sign, a Pochhammer product over crossing roots, a canonically reduced projective period on the simplex, and a polynomially weighted complementary root-system zeta function; for full support, the residu","pith_inferences":["A testable extension is to apply the same aggregate-coefficient calculus to the exceptional types D4, F4, E6, E7, and E8; the machinery predicts explicit residue expressions as finite sums of hypergeometric-type projective periods, though those are not computed here.","If the full-support positive-integrality estimate at s=2/h holds, the polar-divisor theorem likely transfers to Weyl-symmetrized or exponentially twisted variants of the same zeta function, with the same carrier arrangement; the author explicitly leaves such variants for separate bookkeeping.","The combinatorial picture suggests a practical numerical protocol for locating double poles of any diagonal specialization: list all strict flags whose carrier forms coincide, compute the aggregate coefficient, and test its vanishing—converting a meromorphic-continuation question into finite linear algebra.","The full-support part of Theorem 3.3 depends on a cited companion estimate rather than a fully self-contained proof in this paper; a direct positivity proof of the projective period at s=2/h would remove that reliance."],"forward_implications":["In every irreducible crystallographic type, the candidate polar hyperplanes are now classified: all proper-support shifted hyperplanes are genuine polar divisors, and no full-support shifted hyperplane is.","Residues are available through one uniform formula, so computing singular behavior reduces to evaluating finite Taylor sums, projective periods, and weighted complementary zeta functions.","Specializations such as Euler–Zagier multiple zeta functions inherit a thinning rule: a candidate hyperplane disappears exactly when the incidence-complete aggregate coefficient vanishes, reproducing the known survival lists.","At intersections, pole order is the largest m with nonzero aggregate coefficient, not the sum or maximum of incident flag lengths; cancellations such as the three-term cancellation at s=1/8 in types B3 and C3 are forced by this rule.","In types B3 and C3, double poles on the diagonal can occur only at negative half-integers, and the known double coefficient at -1/2 is recovered in the flag normalization."],"fun_headline_variants":["Exact pole set for root-system zeta functions","All poles of root-system zeta functions found","Root-system zeta polar divisors fully characterized","Uniform formula gives every pole of root-system zeta","Root-system zeta: all poles and residues pinned"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof that the full-support hyperplane is genuinely polar relies on a 'strict proper-parabolic estimate' from a companion preprint to assert that the full-support projective period is finite and positive at the diagonal point s_α=2/h; if that estimate fails, the identification of HI,0 as a polar divisor could fail.","fun_headline_variants_meta":{"raw":{"variants":["Exact pole set for root-system zeta functions","All poles of root-system zeta functions found","Root-system zeta polar divisors fully characterized","Uniform formula gives every pole of root-system zeta","Root-system zeta: all poles and residues pinned"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000639,"raw_usage":{"total_tokens":2855,"prompt_tokens":894,"completion_tokens":1961,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":638,"completion_tokens_details":{"reasoning_tokens":1888}},"tokens_in":638,"tokens_out":1961,"duration_ms":33968,"temperature":1.0,"reasoning_tokens":1888,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T13:48:48.819429+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically or analytically evaluate the full-support projective period (15) for type A4 at the diagonal point s=2/5; if the integral is infinite or zero, HI,0 would not be genuinely polar, falsifying Theorem 3.3. A positive finite value would confirm the load-bearing estimate at that instance but not prove it.","supporting_citations":[],"review_version":1}