fourier analysis - The maximum of a real trigonometric polynomial

It turns out that it is possible to achieve an arbitrarily small additive error using semidefinite programming. This is from the paper:

J.W. McLean, H.J. Woerdeman. Spectral factorizations and sums of squares representations via semidefinite programming. SIAM J. Matrix Anal. Appl., 23(3):646--655, 2001. (link)

The result can be rephrased as follows. Let $f(x)=F(e^{ix})$ where $F(z)= sum_{n=-N}^N c_n z^n$, with $c_n=frac{1}{2}(a_n-i b_n)$ and $c_{-n}=bar{c}_n$. Then $min_x f(x)$ is equal to $c_0$ minus the value of the following semidefinite program:
$ min_F tr(F) $
such that $F succeq 0$, and $sum_{p=k}^N F_{p,p-k} = c_k$ for $k=1,ldots,N$.

Since semidefinite programming can achieve an arbitrarily small additive error, we can approximate the minimum (and thus, the maximum) of $f$ within the same bound.