On the maximum modulus of complete trigonometric sums

LetQ _k (p) be a set consisting of all polynomials of degreek with integral coefficientsf(x)=a _k x ^k +...+a ₁ x, wherep×a _k . For givenk andp any polynomialf _k,p (x)εQ _k (p) satisfying ‖S(p, f _k,p )‖=sup ‖S(p, f)‖fεQ(p) is called a maximum modular polynomial inQ _k (p), where $$S(p,f) = \sum\limits_{x = 0}^{p - 1} {e^{2\pi if(x)/p} } $$ Moreover, we definec(k, p)=‖S(p, f _k.p (x))‖. The main results are the following theorems.

1. For k=p?1 and p≥3 we have $$c(k,p) = \sqrt {p^2 - 4(p - 1)\sin ^2 \frac{\pi }{p}} $$ Besides, we may take \(f_{k,p} (x) = \prod\limits_{r = 0}^{p - 2} {(x - r)} \)
2. For k=p?s, 2≤s≤(p+1)/2 and p≥5, we have $$c(k,p) \leqslant p - 4(s - 1)\sin ^2 \frac{\pi }{p}$$ .

In Theorems 3 and 4, an interesting connextion between the present question and the famous problem of Prouhet and Tarry is given, some conditions under which the sign of equality in Theorem 2 holds are given and a method used to construct a maximum modular polynomial inQ _k (p) is also given.