This site is supported by donations to The OEIS Foundation.

Thanks to everyone who made a donation during our annual appeal!
To see the list of donors, or make a donation, see the OEIS Foundation home page.

 Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 A228077 Determinant of the (p_n-1)/2 X (p_n-1)/2 matrix with (i,j)-entry being the Legendre symbol ((j-i)/p_n), where p_n is the n-th prime. 4
 0, -1, 0, 0, -5, 1, 0, 0, -13, 0, -145, 5, 0, 0, -25, 0, -3805, 0, 0, 125, 0, 0, 53, 569, -401, 0, 0, -851525, 73, 0, 0, 149, 0, -9305, 0, -385645, 0, 0, -85, 0, -82596761, 0, 126985, -785, 0, 0, 0, 0, -1321693313, 1517, 0, 4574225, 0, 1025, 0, -134485, 0, -535979945, 63445, 0, -145, 0, 0, 7170685, -19805, 0, 55335641, 0, -167273125693, 3793, 0, 0, -27765559705, 0, 0, -427316305, -1027776565, 2564801, 5534176685 (list; graph; refs; listen; history; text; internal format)
 OFFSET 2,5 COMMENTS Conjecture: In the case p_n == 1 (mod 4), (2/p_n)*a(n) is a positive odd integer whose prime factors are all congruent to 1 modulo 4, and moreover for some integer b(n) we have b(n) + (2/p_n)*a(n)*sqrt(p_n) = e(p_n)^{(2-(2/p_n))h(p_n)}, where e(p_n) and h(p_n) are the fundamental unit and the class number of the real quadratic field Q(sqrt(p_n)) respectively. Note that a(n) = 0 when p_n == 3 (mod 4), this is because the transpose of the determinant a(n) coincides with (-1/p_n)^{(p_n-1)/2}*a(n) = -a(n). M. Vsemirnov has proved Robin Chapman's conjecture on the evaluation of the determinant of the (p+1)/2-by-(p+1)/2 matrix with (i,j)-entry (i,j = 0,...,(p-1)/2) being the Legendre symbol ((j-i)/p), where p is an odd prime. On Aug 14 2013, Robin Chapman informed the author that he first made the conjecture about the exact value of a(n) in a private manuscript dated Aug 05 2003. LINKS Zhi-Wei Sun, Table of n, a(n) for n = 2..200 R. C. Chapman, My evil determinant problem, preprint, 2012. Zhi-Wei Sun, On some determinants with Legendre symbol entries, preprint, August 2013. M. Vseminov, On the evaluation of R. Chapman's "evil determinant", Linear Algebra Appl. 436(2012), 4101-4106. M. Vseminov, On R. Chapman's "evil determinant": case p == 1 (mod 4), Acta Arith. 159(2013), 331-344. EXAMPLE a(2) = 0 since the Legendre symbol ((1-1)/3) is zero. MATHEMATICA a[n_]:=Det[Table[JacobiSymbol[j-i, Prime[n]], {i, 1, (Prime[n]-1)/2}, {j, 1, (Prime[n]-1)/2}]] Table[a[n], {n, 2, 20}] CROSSREFS Cf. A226163, A227609, A227968, A227971, A228005. Cf. A094049. Sequence in context: A320606 A058177 A204619 * A204170 A283784 A281563 Adjacent sequences:  A228074 A228075 A228076 * A228078 A228079 A228080 KEYWORD sign AUTHOR Zhi-Wei Sun, Aug 09 2013 STATUS approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

Last modified January 17 22:39 EST 2019. Contains 319251 sequences. (Running on oeis4.)