1: \begin{abstract}

2: The problem of computing the global minimum of a trigonometric polynomial is computationally hard. 

3: We address this problem for the case, where the polynomial is invariant under the exponential action of a finite group. 

4: The strategy is to follow an established relaxation strategy in order to obtain a converging hierarchy of lower bounds. 

5: Those bounds are obtained by numerically solving semi-definite programs (SDPs) on the cone of positive semi-definite Hermitian Toeplitz matrices, 

6: which is outlined in the book of Dumitrescu \cite{dumitrescu07}. 

7: To exploit the invariance, we show that the group has an induced action on the Toeplitz matrices 

8: and prove that the feasible region of the SDP can be restricted to the invariant matrices, whilst retaining the same solution. 

9: Then we construct a symmetry adapted basis tailored to this group action, 

10: which allows us to block-diagonalize invariant matrices and thus reduce the computational complexity to solve the SDP. 

11: 

12: The approach is in its generality novel for trigonometric optimization and complements the one that was proposed as a poster at the ISSAC 2022 conference \cite{chromaticissac22} and later extended to \cite{chromatic22}. 

13: In the previous work, we first used the invariance of the trigonometric polynomial to obtain a classical polynomial optimization problem on the orbit space and subsequently relaxed the problem to an SDP. 

14: Now, we first make the relaxation and then exploit invariance. \\

15: ~\\

16: Partial results of this article have been presented as a poster at the ISSAC 2023 conference \cite{issac23}. \\

17: ~\\

18: \textbf{Keywords}: trigonometric optimization, sums of squares, lattices, finite groups, symmetry\\

19: ~\\

20: \textbf{MSC}: 13A50  33B10  90C23

21: \clearpage

22: \end{abstract}

23: