A universal leading-residue formula for Witten zeta functions

Jonas Matuzas

Witten zeta functions of root systems have a universal simple pole residue at s=2/h given by a gamma product over degrees.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-15 03:48 UTC pith:M6Y6JJLA

load-bearing objection Universal closed-form residue for Witten zeta functions that settles Au’s conjecture; only the abstract is here, so the analytic steps are unchecked, but the claim is clean and non-circular. the 3 major comments →

arxiv 2607.12728 v1 pith:M6Y6JJLA submitted 2026-07-14 math.RT math.NT

A universal leading-residue formula for Witten zeta functions

Jonas Matuzas This is my paper

classification math.RT math.NT MSC 11M4117B2220F5533C67

keywords Witten zeta functionroot systemsCoxeter numberMacdonald–Mehta–Opdam identityresidue formularepresentation asymptoticscrystallographic root systemsgamma product

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper proves that for every irreducible crystallographic root system, Au's normalized Witten zeta function has a simple pole at a single universal location determined by the Coxeter number, and that the residue there is given by an explicit closed formula involving the rank, Weyl-group order, Cartan determinant, and a product of gamma values at the invariant degrees. The argument works by matching the leading coefficient of the associated lattice series to a spherical integral of the Coxeter discriminant at its critical exponent, then evaluating that integral from the boundary pole of the Macdonald–Mehta–Opdam identity; all proper parabolic strata are shown to contribute only lower-order terms. The same residue immediately supplies a non-Tauberian asymptotic, with a completely explicit constant for every simple type, for the number of irreducible representations of dimension at most X. The result confirms Au's gamma-product-shape conjecture in full generality and settles his explicit prediction for type A4.

Core claim

For every irreducible crystallographic root system Φ of rank r with Coxeter number h, Au's normalized Witten zeta function ξ_Φ(s) has a simple pole at s=2/h whose residue equals (2(2π)^{r/2}√(det C_Φ))/(h|W|) times the product of Γ(1-d_i/h) for i=1 to r-1, divided by Γ(1-1/h)^r.

What carries the argument

The boundary pole of the Macdonald–Mehta–Opdam identity, used to evaluate the convergent spherical Coxeter-discriminant integral that is identified with the leading lattice coefficient of the Epstein-type series at the critical exponent; proper parabolic strata remain strictly subcritical.

Load-bearing premise

The leading lattice coefficient of the relevant series equals a convergent spherical Coxeter-discriminant integral that is evaluated exactly by the boundary pole of the Macdonald–Mehta–Opdam identity.

What would settle it

Direct numerical computation of the residue of ξ_Φ(s) at s=2/h for a single low-rank irreducible crystallographic root system (for example A4 or G2) that fails to match the predicted gamma-product formula.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

Universal closed-form residue for Witten zeta functions that settles Au’s conjecture; only the abstract is here, so the analytic steps are unchecked, but the claim is clean and non-circular.

read the letter

The one thing to know is that this paper claims a single explicit residue formula for Au’s normalized Witten zeta function that works for every irreducible crystallographic root system: simple pole at s=2/h with residue written entirely in classical data (Cartan determinant, Weyl order, degrees, Coxeter number, and a short product of Gammas). If the proof holds, it settles Au’s gamma-product-shape conjecture and the A4 prediction, and it immediately gives a non-Tauberian asymptotic with explicit constant for the number of irreps of dimension ≤ X in every simple type.

What looks new and solid on the face of it is the uniform statement itself and the strategy: leading lattice coefficient identified with a convergent spherical Coxeter-discriminant integral at the critical exponent, then evaluated by the boundary pole of the Macdonald–Mehta–Opdam identity, with proper parabolic strata shown strictly subcritical. No free parameters, no fitted constants, and the residue is expressed in standard root-system invariants. That is real progress inside the subfield of zeta functions of root systems and asymptotic representation theory.

The soft spot is simply that we have only the abstract. The lattice-to-integral identification and the precise boundary-pole extraction cannot be audited; those are the load-bearing analytic steps. Nothing in the abstract smells circular or post-hoc, and the stress-test found no further internal inconsistency, but gaps in estimates or unjustified interchanges remain possible until the body is read. That is a normal abstract-only limitation, not a manufactured flaw.

This is for people who already care about Witten zeta functions, Macdonald–Mehta integrals, or representation growth of simple Lie groups. A specialist will get value from the formula and the asymptotic constants even if they later find a technical hole. It deserves a serious referee: the claim is sharp, the literature engagement is honest, and the result is important enough within its lane to justify the time. I would send it out.

Referee Report

3 major / 2 minor

Summary. The manuscript claims a universal formula for the leading residue of Au’s normalized Witten zeta function ξ_Φ(s) attached to any irreducible crystallographic root system Φ of rank r: a simple pole at s=2/h (h the Coxeter number) whose residue is expressed solely in classical root-system data—Cartan matrix C_Φ, Weyl group order |W|, invariant degrees d_i, and Gamma values—as Res_{s=2/h} ξ_Φ(s) = [2(2π)^{r/2} √(det C_Φ)/(h|W|)] · [∏_{i=1}^{r-1} Γ(1−d_i/h)] / Γ(1−1/h)^r. The stated proof strategy equates the leading lattice coefficient of the underlying Epstein-type series with a convergent spherical Coxeter-discriminant integral at the critical exponent, evaluates that integral via the boundary pole of the Macdonald–Mehta–Opdam identity, and asserts that proper parabolic strata contribute only strictly subcritical terms. Corollaries include confirmation of Au’s gamma-product-shape conjecture (and the A_4 prediction) and a direct non-Tauberian asymptotic, with explicit constants for every simple type, for the number of irreducible representations of dimension at most X.

Significance. If the claimed residue formula and the supporting lattice-to-integral identification hold, the paper supplies a uniform, parameter-free evaluation of the leading pole of Witten zeta functions across all irreducible crystallographic types, settling Au’s conjectures and furnishing explicit representation-growth asymptotics. The appeal to the Macdonald–Mehta–Opdam identity and the control of parabolic strata would constitute a genuine contribution at the interface of analytic number theory, root-system geometry, and representation theory. The non-Tauberian asymptotic with type-by-type constants is of independent interest. These strengths, however, remain conditional on the unverifiable body of the argument.

major comments (3)

Only the abstract is available for review. The central claim rests on three load-bearing identifications that the abstract asserts but does not prove: (i) that the leading lattice coefficient of the relevant Epstein-type series coincides with a convergent spherical Coxeter-discriminant integral at the critical exponent; (ii) that this integral is evaluated exactly by the boundary pole of the Macdonald–Mehta–Opdam identity; and (iii) that proper parabolic strata are strictly subcritical. Without the body of the manuscript these steps cannot be checked for missing estimates, unjustified interchanges of sums and integrals, or incomplete residue analysis. The residue formula and all corollaries stand or fall with these steps; the report therefore cannot certify correctness.
Abstract (claimed residue formula): the displayed residue is asserted to be free of auxiliary parameters and to depend only on classical root-system invariants. While the formula is cleanly stated and matches the shape of Au’s conjecture, its derivation is unavailable. Any hidden normalization, convergence factor, or incomplete accounting of the Weyl-chamber measure would alter the constant. A full referee report requires the explicit lattice-point expansion, the precise definition of the spherical integral, and the residue computation at the MMO boundary pole.
Abstract (parabolic-strata claim): the assertion that proper parabolic strata contribute only strictly subcritical terms is listed as an axiom of the argument. Subcriticality is essential for isolating the simple pole at s=2/h. Absent the stratification, the estimates on each stratum, and the comparison of exponents with 2/h, it is impossible to confirm that no other poles or logarithmic terms interfere at the critical line. This gap is load-bearing for both the residue formula and the non-Tauberian asymptotic.

minor comments (2)

Abstract: the notation ξ_Φ(s) for Au’s normalized Witten zeta function is introduced without a self-contained definition or a precise reference to the normalization convention used; a one-line formula or citation would aid readers.
Abstract: the phrase “boundary pole of the Macdonald–Mehta–Opdam identity” is evocative but non-standard; once the full text is available, a precise statement of which meromorphic continuation and which residue is taken should be supplied.

Circularity Check

0 steps flagged

No significant circularity detectable from abstract-only material; residue formula is classical root-system data evaluated via external Macdonald–Mehta–Opdam identity.

full rationale

Only the abstract is available. It states a residue formula for Au's normalized Witten zeta function ξ_Φ(s) at s=2/h expressed entirely in classical, independently defined root-system invariants (rank r, Coxeter number h, Weyl group order |W|, det C_Φ, invariant degrees d_i) and Gamma values. The claimed evaluation route is identification of a leading lattice coefficient with a spherical Coxeter-discriminant integral, followed by evaluation of that integral via the boundary pole of the Macdonald–Mehta–Opdam identity—an external classical result—and a subcriticality argument for proper parabolic strata. No parameters are fitted to data; no quantity is defined in terms of the residue it is said to predict; no uniqueness theorem or ansatz is imported from the present author's prior work; and the formula is not a renaming of a known empirical pattern. The abstract asserts that the result confirms Au's conjecture and a type-A4 prediction, which is an external check rather than a self-referential construction. With no body text, equations, or self-citations to inspect, no circular reduction can be exhibited. Score 0 is therefore the only warranted finding under the hard rules (no speculation, quote-required evidence only).

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Abstract-only review: free parameters appear absent (the residue is a closed expression in classical invariants). Axioms are the standard structural facts of crystallographic root systems plus the Macdonald–Mehta–Opdam identity and the identification of the leading lattice coefficient with a spherical integral. No new physical or geometric entities are introduced.

axioms (3)

domain assumption Standard structure theory of irreducible crystallographic root systems (Cartan matrix, Weyl group, invariant degrees, Coxeter number).
Used throughout to define Φ, h, d_i, C_Φ, W; taken as classical background.
domain assumption Macdonald–Mehta–Opdam identity and the existence of a usable boundary pole of that identity at the critical exponent.
Abstract states the spherical Coxeter-discriminant integral is evaluated via this identity; the identity itself is external classical input.
ad hoc to paper Proper parabolic strata contribute only strictly subcritical terms to the lattice-point expansion.
Abstract asserts this is proved; it is load-bearing for the residue being exactly the spherical integral contribution, but the argument is not visible.

pith-pipeline@v1.1.0-grok45 · 6128 in / 2249 out tokens · 20546 ms · 2026-07-15T03:48:06.914333+00:00 · methodology

0 comments

read the original abstract

Let $\Phi$ be an irreducible crystallographic root system of rank $r$, with Coxeter number $h$, Weyl group $W$, Cartan matrix $C_\Phi$, and invariant degrees $2=d_1\leq\cdots\leq d_r=h$. We prove that Au's normalized Witten zeta function $\xi_\Phi(s)$ has a simple pole at $s=2/h$, with residue $\mathop{\rm Res}_{s=2/h}\xi_\Phi(s)=\frac{2(2\pi)^{r/2}\sqrt{\det C_\Phi}}{h|W|}\frac{\prod_{i=1}^{r-1}\Gamma(1-d_i/h)}{\Gamma(1-1/h)^r}$. The proof identifies the leading lattice coefficient with a convergent spherical Coxeter-discriminant integral at the critical exponent and evaluates this integral using the boundary pole of the Macdonald--Mehta--Opdam identity. Proper parabolic strata are shown to be strictly subcritical. This establishes Au's gamma-product-shape conjecture and his prediction in type $A_4$. We also obtain a direct, non-Tauberian asymptotic, with an explicit constant for every simple type, for the number of irreducible representations of dimension at most $X$.

A universal leading-residue formula for Witten zeta functions

Core claim

What carries the argument

Load-bearing premise

What would settle it

discussion (0)