OFFSET
1,1
COMMENTS
On page 160, in Theorem 4.2.1 of "Gauss & Jacobi Sums" by Berndt et al. the sign of the difference (g(4,p) - 1) is undecided.
REFERENCES
Bruce C. Berndt, Ronald J. Evans and Kenneth S. Williams, Gauss and Jacobi Sums, Wiley Interscience, 1998.
MATHEMATICA
d = 3;
Select[Prime[Range[1000]], Mod[#, 2^(d)] == 1 &&
Re[Sum[Exp[k^(2^(d - 1))*2*Pi*I/#] - Exp[k^(2^(d - 2))*2*Pi*I/#], {k, 0, # - 1}]/Sqrt[#]] < 0 &]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zoltan Reti, Dec 01 2025
STATUS
approved
