A prime sensitive Hankel determinant of Jacobi symbol enumerators

From MaRDI portal
Publication:659598



Abstract: We show that the determinant of a Hankel matrix of odd dimension n whose entries are the enumerators of the Jacobi symbols which depend on the row and the column indices vanishes iff n is composite. If the dimension is a prime p, then the determinant evaluates to a polynomial of degree p-1 which is the product of a power of p and the generating polynomial of the partial sums of Legendre symbols. The sign of the determinant is determined by the quadratic character of -1 modulo p. The proof of the evaluation makes use of elementary properties of Legendre symbols, quadratic Gauss sums and orthogonality of trigonometric functions.


Let \(n\) be an odd integer. For \(k=1, 2,\ldots, n\) define the polynomials \(a_k(x)\) as \[ a_k(x)=\sum_{m=0}^{k} J(k-m, n)x^{m}, \] where \(J(a, m)\) is the Jacobi symbol. Define the \(n\times n\) Hankel determinant \(H_n(x)\) as \[ H_n(x)=\det[a_{i+j-1}(x)]. \] The author shows that \(H_n(x)\) vanishes if and only if \(n\) is composite. If \(p\) is a prime, \[ H_p(x)=(-1)^{p-1\over 2} p^{p-3\over 2}\sum_{k=0}^{p-1} b_k x^k, \] where \[ b_k=\sum_{i=1}^{p-k} \left(i\over p\right). \] Here \(\left(a\over p\right)\) is the Legendre symbol. For any \(p\), \(x^2\mid H_p(x)\), and if \(p\equiv 1\pmod{4}\), then also \((x^2-1)\mid H_p(x)\).











This page was built for publication: A prime sensitive Hankel determinant of Jacobi symbol enumerators

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