Number Theory [math.NT]

Integral magneticity of the level-two K3 packet: CM theta lifts and a 2-isogeny trace contraction

math.NT

B\"onisch, Duhr, and Maggio introduced three meromorphic modular forms \(C_4,C_{6a},C_{6b}\) on \(\Gamma_0(2)\), arising from a hypergeometric K3 family, and conjectured that they are magnetic of depths \(1,2,2\). Writing \[ C_4=\sum_{n\ge1}c_4(n)q^n,\qquad C_{6a}=\sum_{n\ge1}c_{6a}(n)q^n,\qquad C_{6b}=\sum_{n\ge1}c_{6b}(n)q^n, \] we prove the stronger denominator-one statements \[ \frac{c_4(n)}n,\qquad \frac{c_{6a}(n)}{n^2},\qquad \frac{c_{6b}(n)}{n^2}\in\mathbb Z \qquad(n\ge1). \] The weight-four case is reduced to a termwise binomial divisibility by a hypergeometric change of Hauptmodul. For weight six we identify the two forms with canonical level-two CM forms of discriminants \(-8\) and \(-4\): \[ f_{3,-8,0,1,1}=-64C_{6a},\qquad f_{3,-4,2,1,1}=32C_{6b}. \] An explicit pair of vector-valued weakly holomorphic forms of weight \(-3/2\) then gives the full odd-prime divisibility through the higher-level theta-lift coefficient formula of L\"obrich--Schwagenscheidt. The prime \(2\) is treated independently. If \(t=(\eta(2\tau)/\eta(\tau))^{24}\), \(H=\eta(\tau)^4/\eta(2\tau)^2\), \(J=2E_2(2\tau)-E_2(\tau)\), \(u=64t\), and \(\mathcal T=H^4J\), we prove the infinite-family contraction \[ U_2\bigl(\mathcal Tt\,\mathbb Z_2[[u]]\bigr) \subseteq 2^5\mathcal Tt\,\mathbb Z_2[[u]]. \] Consequently \(v_2(c_{6\bullet}(2^rm))\ge5r\), which is stronger than the slope \(2r\) required for double magneticity. Thus the complete level-two K3 packet is magnetic with global denominator one.

Additive and multiplicative densities, prime valuations and symbolic models

math.NT

math.DS

We study additive and multiplicative densities of subsets of $\N$ along prescribed F{\o}lner sequences. We prove that additive upper density one implies multiplicative density one along a suitable multiplicative F{\o}lner sequence. We also prove independence in the following sense: given an additive F{\o}lner sequence $(G_n)_n$, a multiplicative F{\o}lner sequence $(F_n)_n$, and any $(\alpha,\beta)\in[0,1]^2$, we construct a single set $A\subseteq\N$ such that $\dens_{(G_n)_n}(A)=\alpha$ and $\md_{(F_n)_n}(A)=\beta$. Prime-valuation coordinates yield exact density formulas and random models for one local condition and, under summability assumptions, countably many; in the finite-coordinate case they also give exact higher-order correlations. Finally, we realize these multiplicative correlations as correlations in symbolic dynamical systems and obtain criteria for ergodicity and mixing.

Multiplicative dependence modulo subsets

math.NT

In this paper, we show that if the non-constant rational functions $f_1, \ldots, f_n\in K(x)$ over a number field $K$ cannot multiplicatively generate a power of a linear fractional function, then there are only finitely many elements $\alpha \in K$ such that $f_1(\alpha),\ldots,f_n(\alpha)$ are multiplicatively dependent modulo some subset `close' (with respect to the Weil height) to the division group of a finitely generated multiplicative subgroup of $K$. This improves some previous results.

The Pila-Zannier strategy for Drinfeld modules and Drinfeld modular curves

math.NT

math.AG

We extend the Pila-Zannier strategy to Drinfeld modules: we prove analogues of the Manin-Mumford theorem for a product of two Drinfeld modules of equal rank, and of the Andr\'e-Oort theorem for a product of two Drinfeld modular curves. In characteristic zero, several steps of this strategy rest on $o$-minimality, which has no counterpart over a function field; we replace the counting step by the rigid analytic Pila-Wilkie theorem of Binyamini-Kato, and this appears to be its first arithmetic application. The functional transcendence input, namely an analogue of the Ax-Lindemann theorem in both settings, is established here by an independent point counting argument.

On the value distribution of the Riemann zeta-function with general shifts

math.NT

This paper studies the value distribution of the Riemann zeta-function under general shifts. We establish discrepancy estimates for the Bohr--Jessen limit theorem for a broad class of shifts. We also prove a universality theorem for logarithmic-power shifts, which are not covered by previous universality results for general shifts. Furthermore, we obtain a quantitative Bohr--Jessen limit theorem for logarithmic-power shifts.

Extreme values of quadratic Dirichlet $L$-functions

math.NT

In this paper, we investigate extreme values of quadratic Dirichlet $L$-functions at the central point. We provide new extreme values of $L(\frac12,\chi_d)$ as $d$ is large, which improves the recent result of Darbar and Maiti.

Non-Archimedean Rigidity and Uniformity for Common Preperiodic Points

math.DS

math.NT

Let $k$ be an algebraically closed, complete non-Archimedean field of residue characteristic $0$. Let $f$ be a polynomial of degree at least $2$ over $k$ which does not have potential good reduction. We prove that if $g$ is any other polynomial with the same Julia set, then $f$ and $g$ must be dynamically related. As a consequence, we show that for any two complex polynomials $f,g$ of degree at least $2$, either their sets of preperiodic points coincide, or the number of their common preperiodic points is uniformly bounded above by a constant depending only on the degrees, thereby answering a conjecture of DeMarco--Krieger--Ye for polynomials. We also establish relative results, allowing us to prove special cases of the DeMarco--Mavraki conjecture.

Rational Spectra for Finite Hadamard Pairs and Bounded Spectral Sets on the real line

math.FA

math.NT

We prove that every finite spectral pair \((A,\Gamma)\) with \(A\subset\mathbb Z\), \(\Gamma\subset\mathbb R/\mathbb Z\), and \(0\in\Gamma\) has a rational spectrum, that is, \(\Gamma\subset\mathbb Q/\mathbb Z\). Our argument relies on a modulus rigidity theorem for generalizedVandermonde systems satisfying inverse-orthogonality relations, constructed by hyperbolic positive-definite kernels. Combined with Galois conjugation and Kronecker's theorem, this rigidity forces the associated exponential nodes to be roots of unity. As an application, using the periodicity and fiberization of one-dimensional spectra, we show that every spectrum \(\Lambda\) of a bounded measurable spectral set \(\Omega\subset\mathbb R\) with \(|\Omega|=1\) and \(0\in\Lambda\) is contained in \(\mathbb Q\). This rational-spectrum result completes a chain of equivalences proven by Dutkay and Lai, which reduces the full one-dimensional Fuglede's conjecture to its finite cyclic analogues over \(\mathbb{Z}_n\).

The Significance of Proposition II in Galois' M\'emoire, The Origin of Galois Automorphisms

math.HO

math.NT

In Proposition II of his manuscript, Galois writes the well-known remark: Il y a quelque chose \`a compl\'eter dans cette d\'emonstration. Je n'ai pas le temps. Although Galois did not complete the proof, it is possible to reconstruct the essential content of Proposition II and to supply the missing arguments. As usual, V denotes the linear form ax1+bx2+cx3+..., where x1,x2,x3,... are distinct roots of a separable polynomial. Let L be the corresponding splitting field over a ground field of characteristic zero. On the one hand, Proposition II concerns the factorization of the minimal polynomial g(x) of V over an intermediate field M contained in L; on the other hand, it concerns the factorization of the same polynomial into irreducible factors whose coefficients belong to the intermediate fields conjugate to M. It is precisely this latter aspect that constitutes the central theme of Proposition II. The notions of 'groupe de permutations' and 'groupe de substitutions' are of fundamental importance in the M\'emoire. We provide a characterization of these notions in modern terminology. Associated with every 'groupe de permutations' is a polynomial whose coefficients are invariant under the corresponding 'groupe de substitutions'. Moreover, a 'groupe de permutations' determines a partition of the Galois group, making it possible to factor the minimal polynomial g(x) into factors whose coefficients belong to the intermediate fields corresponding to the associated 'groupes de substitutions'. Finally, we prove that the substitutions of the Galois group are field automorphisms of the splitting field L. This establishes the connection between Galois' original formulation and the modern formulation of Galois theory.

The inverse problem for the Steiner-Wiener index of trees

math.CO

math.NT

For a connected graph $G$ and a set $S\subset V(G)$, the Steiner distance $d_G(S)$ is the minimum number of edges in a connected subgraph of $G$ containing $S$. The Steiner-Wiener $k$ index is defined by $\mathrm{SW}_k(G) = \sum_{S\subset V(G), |S|=k} d_G(S)$. We study the inverse problem for this invariant restricted to trees: for fixed $k$, which positive integers occur as $\mathrm{SW}_k(T)$ for a finite tree $T$? We prove that all sufficiently large positive integers occur as $\mathrm{SW}_k(T)$ for some finite tree $T$ if and only if $k$ is even. For odd $k$, we further show that the set of attainable values has asymptotic density of order $k^{-\delta}(\log k)^{-3/2}$, where $\delta$ is the Erd\H{o}s-Tenenbaum-Ford constant.

Automorphism groups of curves with simple Jacobians

math.AG

math.NT

We classify all automorphism groups of smooth, projective, connected curves over an algebraically closed field of characteristic $0$ with simple Jacobians. For every nontrivial group in this classification, we construct a family of curves with that automorphism group and prove that a density-one set of members has simple Jacobian. These families yield infinitely many new examples of unlikely intersections in the moduli spaces of principally polarized abelian varieties.

The sharp exponent for the minimal distance problem

math.CO

math.MG

math.NT

We show that for every fixed $\varepsilon>0$, there exist arbitrarily large families of point-line pairs $(x_1,\ell_1),\ldots,(x_n,\ell_n)$ in $[0,1]^2$, with $x_i \in \ell_i$ for all $i$, and such that $\operatorname{dist}(x_i,\ell_j)\ge n^{-2/3-\varepsilon}$ for all $i \neq j$. Combined with a previous result of Cohen, the author, and Zakharov, this solves the minimal distance problem.

Non-basic rigid packets for discrete $L$-parameters

math.NT

math.RT

v2

This article initiates the study of non-basic rigid inner forms over $p$-adic local fields, extending the basic theory developed by Kaletha. Motivated by the recent work of Bertoloni Meli--Oi on the $B(G)$-parametrization of the local Langlands conjectures, our main application is to extend the basic rigid refined local Langlands conjectures for a discrete $L$-parameter $\phi$ of a quasi-split connected reductive group $G$. The packets of our extended construction are Weyl orbits of representations of inner forms of twisted Levi subgroups $N$ of $G$ for which $\phi$ factors through a member of the canonical $L$-embeddings $^{L}N_{\pm} \to {^{L}G}$ constructed by Kaletha.

Determinants of Mahler measures and special values of $L$-functions

math.NT

math.AG

math.KT

v3

We consider Mahler measures of two well-studied families of bivariate polynomials, namely $P_t=x+x^{-1}+y+y^{-1}+\sqrt{t}$ and $Q_t=x^3+y^3+1-\sqrt[3]{t}xy$, where $t$ is a complex parameter. In the cases when the zero loci of these polynomials define CM elliptic curves over number fields, we derive general formulas for their Mahler measures in terms of $L$-values of cusp forms. For each family, we also classify all possible values of $t$ in number fields of degree not exceeding $4$ for which the corresponding elliptic curves have complex multiplication. Finally, for all such values of $t$ in totally real number fields of degree $n=2$ and $n=4$, corresponding to elliptic curves $\mathcal{F}_t$ (resp. $\mathcal{C}_t$), we prove that determinants of $n\times n$ matrices whose entries are Mahler measures corresponding to their Galois conjugates are non-zero rational multiples of $L^{(n)}(\mathcal{F}_t,0)$ (resp. $L^{(n)}(\mathcal{C}_t,0)$).

Bad approximability, bounded ratios and Diophantine exponents

math.NT

v3

For a real $m\times n$ matrix $\pmb{\xi}$, we consider its sequence of best Diophantine approximation vectors $ \pmb{x}_i \in \mathbb{Z}^n, \, i =1,2,3, ... $, the sequences of its norms $X_i = \|\pmb{x}_i\|$ and the norms of remainders $L_i = \|\pmb{\xi}\pmb{x}_i\|$. It is known that, in the cases $m=1$, bad approximability of $\pmb{\xi}$ is equivalent to the boundedness of ratios $\frac{X_{i+1}}{X_i}$, while for $n=1$ bad approximability of $\pmb{\xi}$ is equivalent to the boundedness of ratios $ \frac{L_i}{L_{i+1}}$. Moreover, carefully constructed example show that in the cases $m=1$ and $n=1$ boundedness of ratios $ \frac{L_i}{L_{i+1}}$ and $\frac{X_{i+1}}{X_i}$ respectively (the order of ratios changed), does not imply bad approximability of $\pmb{\xi}$. In the present paper, we study the impact of the boundedness of ratios on Diophantine properties of $\pmb{\xi}$, in particular, what restrictions it gives for Diophantine exponents $\omega(\pmb{\xi})$ and $\hat{\omega}(\pmb{\xi})$. One of our particular results deals with the case $m=n=2$. We prove that for $2\times 2 $ matrices $\pmb{\xi}$ boundedness of both ratios $ \frac{X_{i+1}}{X_i}, \frac{L_i}{L_{i+1}} $ implies inequality $\hat{\omega}(\pmb{\xi})\le \frac{4}{3}$ and that this result is optimal. Our methods combine parametric geometry of numbers as well as more classical tools.

A Resolvent Approach to Generalized Lambert Series and $q$-Series Identities

math.NT

v2

We introduce a partial-theta-type \(q\)-operator $$ \Theta(yD_q)=\sum_{n\ge0}q^{\binom n2}y^nD_q^n, \qquad D_qf(x)=\frac{f(qx)}{x}, $$ and show that it admits the resolvent representation $$ \Theta(yD_q)=\left(I-\frac yxM_q\right)^{-1}, $$ where $M_qf(x)=f(qx)$. This identity provides a unified operational framework for generalized Lambert series and their Mehler, Rogers, and bilateral analogues. Starting from ordinary and bilateral generating functions, we obtain Lambert-type expansions and derive consequences involving basic hypergeometric series, Ramanujan's ${}_1\psi_1$ summation, and Kronecker-type theta identities. The method gives a compact way to generate families of $q$-series identities from a first-order $q$-difference resolvent.

A round of Pintz to celebrate oscillations in sums

math.NT

v4

We explore a method, going back to Landau and developed by Pintz, for connecting sums of arithmetic functions with zero-free regions for $L$-functions. In particular, we make explicit a general result of Pintz of this form; showing how one can use arithmetical information to deduce information about zeroes of $L$-functions, rather than the other way around. As a prototype, we work through an example with the Riemann zeta-function and sums of the M\"obius function, but we also outline the utility of this method in general.

Computations of higher elliptic units in optimal settings

math.NT

v2

In this paper we present a simplified form of a conjecture on the construction of generalised elliptic units above number fields with exactly one complex place. They are conjectural algebraic numbers which are obtained as special values of higher elliptic Gamma functions. These functions form a collection of multivariate meromorphic functions which were studied in the late 1990s and early 2000s in mathematical physics. Our construction extends the scheme of a recent article by Bergeron, Charollois and Garc\'ia where they constructed conjectural elliptic units above complex cubic fields using the elliptic Gamma function. The higher elliptic units we construct are expected to generate specific abelian extensions of the base field where they are evaluated, thus giving a conjectural solution to Hilbert's 12th problem for the number fields with exactly one complex place. We provide several examples to support our conjecture in optimal settings for number fields of degree 3, 4, 5 and 6.

Some series representing the zeta function for $\Re(s)>1$

math.NT

v3

We represent the Riemann zeta function in the half-plane $\Re s >1$ via series whose terms admit geometrically decreasing bounds. This is based upon simple combinatorics of certain measures, and their associated moments, which are defined on words from an alphabet of digits in a given radix $b$.

NP-hardness of SVP in Euclidean Space

math.NT

cs.CC

v3

In 1981, van Emde Boas conjectured that computing a shortest non-zero vector of a lattice in a Euclidean space is $\mathbf{NP}$-hard. In this paper, we prove this conjecture, thereby derandomizing Ajtai's classical randomized hardness result (1998). We follow the derandomization program formulated by Micciancio (1998--2014) who conjectured the existence of an efficient deterministic construction of locally dense lattices. The key is to resolve this conjecture. Our proof builds on the candidate construction via Reed-Solomon codes by Bennett and Peikert (2023), and depends crucially on Deligne's work on the Weil conjectures for higher-dimensional varieties over finite fields.

The Mantovanelli-Hofstadter Sequence

math.NT

v3

We study the perturbed Hofstadter recurrence introduced by Mantovanelli, $\widetilde{Q}(n)=\widetilde{Q}(n-\widetilde{Q}(n-1))+\widetilde{Q}(n-\widetilde{Q}(n-2))+(-1)^n$, with $\widetilde{Q}(1)=\widetilde{Q}(2)=1$. We prove that this recurrence is well-defined for every positive integer and that $\lim_{n\to\infty}\widetilde{Q}(n)/n=1/2$. We establish the optimal order $\widetilde{Q}(n)=n/2+O(n/\sqrt{\log n})$ and give explicit positive lower and upper bounds for the corresponding normalized limsup. The proof is primarily combinatorial. An odd-even split turns the recurrence into two exact interleavings of binary words, and the resulting Dyck paths define plane forests. Catalan numbers also arise in the enumeration.

Families of symplectic Galois representations over small parabolic eigenvarieties for Siegel cuspforms of genus $2$

math.NT

v2

We construct small parabolic eigenvarieties for holomorphic Siegel cuspforms of genus $2$ and study families of Galois representations attached to them in the spirit of Bella\"iche--Chenevier. In the course, we introduce the notion of $(\varphi, \Gamma)$-modules with $G$-structures and the notion of refined families of symplectic Galois representations by implementing the theory of symplectic Galois determinant d'apr\`es Moakher--Quast. Such families of symplectic Galois representations provide two applications: In the first application, we show that the small parabolic eigenvarieties are smooth at non-critical points by proving an infinitesimal $R=\mathbb{T}$ theorem. In the second application, we study the relationship between the geometry of the small parabolic eigenvarieties at the Saito--Kurokawa lifts for cuspidal eigenforms (both finite- and infinite-slope) and the Bloch--Kato Selmer groups of those eigenforms.

An update on the Linnik--Goldbach problem

math.NT

v2

We consider the Linnik--Goldbach problem of writing all large even integers as the sum of two primes and a fixed number of powers of 2. We show that, under the generalised Riemann hypothesis, one can use 6 powers of two. In addition, we discuss refinements to the unconditional case and to the related problem of Romanov in expressing a positive proportion of odd numbers as the sum of a prime and a power of 2.

A generic categorical local Langlands correspondence for quasi-split reductive groups

math.NT

math.AG

math.RT

v2

We $\textit{unconditionally}$ prove a $\textit{generic}$ categorical local Langlands conjecture for a large class of quasi-split reductive $p$-adic groups $G$, including all quasi-split classical groups and some non-classical groups. More precisely, we construct a natural fully faithful functor from the stable $\infty$-category of $\textit{generic}$ Bernstein blocks on the automorphic side to the stable $\infty$-category of ind-coherent sheaves on the moduli stack of (arithmetic) $L$-parameters, generalizing earlier work of the first author with Ben-Zvi, Chen and Nadler [BZCHN24] for $\mathrm{GL}_n$. Moreover, for an $\textit{arbitrary}$ quasi-split reductive $p$-adic group $G$, we formulate a classical local Langlands framework under which a classical correspondence can be lifted to an $\infty$-categorical correspondence. Our result builds upon the phenomenal recent work of Zhu [Zhu25] on the unipotent block, as well as structure results such as [Sol22] on the automorphic side and [DHKM25] on the spectral side. In particular, our work establishes [HM26,Conjecture 8.2.1], which implies that the conditional proof of [HM26] for the Fargues-Scholze categorical local Langlands equivalence [FS24] (conditional on the conjectured compatibility of the Fargues-Scholze construction with spectral Eisenstein series) applies as well to a large class of quasi-split reductive $p$-adic groups $G$.

Prime Quadruplets and Jump Conditions on Arithmetic Functions

math.NT

v3

We provide progress on the characterization of composite integers $n$ that satisfy the jump conditions $\varphi(n+12)=\varphi(n)+12$ and $\sigma(n+12)=\sigma(n)+12$ simultaneously. While it is known that prime quadruplets $(p,p+2,p+6,p+8)$ generate solutions $n=p(p+8)$, the complete characterization remains an open conjecture. We prove that this characterization is complete when $n$ and $n+12$ are both squarefree semiprimes, and that no solution $n$ can be a prime power. Furthermore, a complete search up to $10^{12}$ resulted in no counterexamples to the conjecture. If this conjecture is proven true, and there are infinitely many such solutions, then it can be proved that there are infinitely many prime quadruplets.

A counterexample to a conjecture of Thakur on Carlitz-Wieferich primes

math.NT

v2

Let A = F_q[T] with q a power of an odd prime p, let [n] = T^(q^n) - T, and let rho be the Carlitz module. A monic prime P of A is a c-Wieferich prime (to base 1) if rho_P(1) = 1 mod P^2. Thakur suggested in 2015, on the basis of limited data and of proofs in degrees 2 and 3, that in odd characteristic every c-Wieferich prime has degree divisible by p; the question was restated as open in 2024, and Bamunoba and Bergstrom, after extensive computations, expressed the belief that the statement holds in odd characteristic. We show that it is false: an explicit irreducible c-Wieferich prime of degree 5 over F_{19^3} is exhibited, with 19 not dividing 5. We further give a closed form for the resulting common factor of [5] and M_5: it equals mu(T^q - T) for an explicit quintic mu with coefficients in the prime field F_19, squarefree of degree 5*19^3, and it divides gcd([5], M_5); we conjecture equality, and verify it for the part of low degree over the prime field. Degree 5 is the least possible degree of such a counterexample, and exhaustive computations show that no counterexample exists over the prime fields F_p in a substantial range of degrees and characteristics. The proof that degree 5 is minimal, and the method by which the example was found, appear in a companion paper.

Fay identities for polylogarithms on higher-genus Riemann surfaces

hep-th

hep-ph

math.AG

math.NT

v4

A recent construction of polylogarithms on Riemann surfaces of arbitrary genus in arXiv:2306.08644 is based on a flat connection assembled from single-valued non-holomorphic integration kernels that depend on two points on the Riemann surface. In this work, we construct and prove infinite families of bilinear relations among these integration kernels that are necessary for the closure of the space of higher-genus polylogarithms under integration over the points on the surface. Our bilinear relations generalize the Fay identities among the genus-one Kronecker-Eisenstein kernels to arbitrary genus. The multiple-valued meromorphic kernels in the flat connection of Enriquez are conjectured to obey higher-genus Fay identities of exactly the same form as their single-valued non-holomorphic counterparts. We initiate the applications of Fay identities to derive functional relations among higher-genus polylogarithms involving either single-valued or meromorphic integration kernels.

Certified Return-Word Induction for a Perturbed Hofstadter Recursion

math.CO

math.NT

v3

We study the parity-perturbed Hofstadter recursion $$ Q(1)=Q(2)=1,\qquad Q(n)=Q(n-Q(n-1))+Q(n-Q(n-2))+(-1)^n. $$ We prove that it is well-defined for every $n\ge 1$ by a computer-assisted return-word induction. The recurrence is first reduced to a binary sequence $s_n$ together with two backward cursor heads. Its local semantics is encoded by 13 return-word types, 92 synchronized cursor states, and 122 exact two-source transition rules. Exhaustive finite checks verify the local recurrence identity, cursor synchronization, rule selection, and exclusion of the unique configuration that could produce a nonbinary value. The global argument is not inferred from a long finite trace. Instead, all unbounded word families are handled by explicit induction: four stationary chunk families and four linear bridge-tail families reduce to ten parameterized zero-loop schemas. Ordered rank-word factorizations assemble complete epochs and bridges at every level. A marked factor induction then propagates absolute source-block addresses through the resulting four-factor cycle, while a finite potential certificate yields the uniform lag bounds $$ j-p_A\ge 38,\qquad j-p_B\ge 38, $$ so every source read lies strictly in the previously generated prefix. Finally, defining $Q(n)=n+1-T_{n+1}$ from the constructed binary system gives a two-periodic recurrence residual that vanishes in the two base cases. Hence the original recursion holds globally, all recursive arguments are positive and strictly smaller than the current index, and the sequence is uniquely determined.

A universal leading-residue formula for Witten zeta functions

math.RT

math.NT

v2

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 has a simple pole at $2/h$ and evaluate its residue as $\frac{2(2\pi)^{r/2}\sqrt{\det C_\Phi}}{h|W|}\cdot\frac{\prod_{i