Computing Dirichlet character sums to a power-full modulus

From MaRDI portal



Abstract: The Postnikov character formula is used to express large portions of a Dirichlet character sum in terms of quadratic exponential sums. The quadratic sums are then computed using an analytic algorithm previously derived by the author. This leads to a power-saving if the modulus is smooth enough. As an application, a fast, and potentially practical, method to compute Dirichlet L-functions with complexity exponent 1/3 for smooth enough moduli is derived.


This paper provides a practical method for computing Dirichlet character sums \(L(s, \chi)\), where \(\chi\) is a character modulo \(q\). This method is particularly efficient when \(q\) is smooth enough (\textit{the radical of \(q\) is small enough when compared with \(q\)}) or a \textit{power-full modulus}, that is, when \(q\) is a prime power or when the number of its prime factors is low.NEWLINENEWLINEHere is the main result:NEWLINENEWLINEThere are absolute constants \(A_1, A_2, \dots, A_5, \kappa_1, \kappa_2, \kappa_3\) such that for any real number \(\lambda\), any complex number \(s\) with \(1/2 \leq \mathrm{Re}(s) \leq 1\), any positive integer \(q = p_1^{\alpha_1}\dots p_h^{\alpha_h}\) (with distinct primes \(p_i\)) and any given character \(\chi\) mod \(q\), the value of the Dirichlet \(L\)-function \(L(s, \chi)\) can be computed to within \(q^{-1}(| s | + 1)^{-\lambda}\) using \(\leq A_1p_1^{\left\lceil \alpha_1/3\right\rceil}\dots p_h^{\left\lceil \alpha_h/3\right\rceil}(| s | + 1)^{1/3}(\lambda + 1)^{\kappa_1} \log^{\kappa_1}(q(| s | + 1))\) operations on numbers of \(\leq A_2(\lambda + 1)^4 \log^4(q(| s | + 1))\) bits, provided a precomputation, that depends on \(q\) only, costing \(A_3(p_1 + \dots + p_h)\log^{\kappa_2} q\) operations on numbers of \(\leq A_4 \log q\) bits, and requiring \(\leq A_5(p_1\dots + p_h)\log^{\kappa_3}q\) bits of storage.











This page was built for publication: Computing Dirichlet character sums to a power-full modulus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q401979)