Abstract:Trigonometric polynomials are usually defined on the lattice of integers.We consider the larger class of weight and root lattices with crystallographic symmetry.This article gives a new approach to minimize trigonometric polynomials, which are invariant under the associated reflection group.The invariance assumption allows us to rewrite the objective function in terms of generalized Chebyshev polynomials. The new objective function is defined on a compact basic semi-algebraic set, so that we can benefit from the rich theory of polynomial optimization.We present an algorithm to compute the minimum: Based on the Hol-Scherer Positivstellensatz, we impose matrix-sums of squares conditions on the objective function in the Chebyshev basis.The degree of the sums of squares is weighted, defined by the root system. Increasing the degree yields a converging Lasserre-type hierarchy of lower bounds.This builds a bridge between trigonometric and polynomial optimization, allowing us to compare with existing techniques.The chromatic number of a set avoiding graph in the Euclidean space is defined through an optimal <a class="link-external link-http" href="http://coloring.It" rel="external noopener nofollow">this http URL</a> can be computed via a spectral bound by minimizing a trigonometric polynomial. If the to be avoided set has crystallographic symmetry, our method has a natural application.Specifically, we compute spectral bounds for the first time for boundaries of symmetric polytopes.For several cases, the problem has such a simplified form that we can give analytical proofs for sharp spectral <a class="link-external link-http" href="http://bounds.In" rel="external noopener nofollow">this http URL</a> other cases, we certify the sharpness numerically.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to optimize trigonometric polynomials with crystallographic symmetry and provide a new method for avoiding the spectral bounds of set graphs. Specifically, the author considered a larger class of weights and trigonometric polynomials on root lattices, which are invariant under the action of the associated reflection group. By introducing generalized Chebyshev polynomials, the author transformed the original trigonometric polynomial optimization problem into a polynomial optimization problem on a compact semi - algebraic set, so that it can be solved by using polynomial optimization theory. ### Detailed Explanation 1. **Research Background**: - Traditional trigonometric polynomials are usually defined on integer lattices. - This paper extends to trigonometric polynomials on weights and root lattices with crystallographic symmetry. 2. **Core Problem**: - How to minimize trigonometric polynomials that are invariant under the action of the reflection group. - These polynomials can be re - expressed by generalized Chebyshev polynomials, thus transforming the problem into a polynomial optimization problem on a compact semi - algebraic set. 3. **Methods and Contributions**: - **Symmetry Reduction**: Utilize the symmetry of the reflection group to transform the trigonometric polynomial optimization problem into a polynomial optimization problem. - **Lasserre Hierarchy**: Based on the Hol - Scherer Positivstellensatz, construct a convergent Lasserre - type hierarchy by imposing matrix and sum - of - squares conditions on the objective function. - **Application Examples**: Calculate the spectral bounds of the boundaries of symmetric polyhedra and provide strict analytical proofs for certain cases for the first time. 4. **Specific Application Scenarios**: - Calculate the chromatic number of avoiding set graphs, especially when the sets to be avoided have crystallographic symmetry. - Provide several specific examples, such as the A_n - 1 lattice, the cross - polyhedron in Z^n, the Voronoi cell in R^n, etc. 5. **Mathematical Tools**: - Generalized Chebyshev polynomials - Weyl group and root system theory - Semidefinite programming (SDP) solver Through these methods, the author not only improves the approximation quality of existing techniques but also reduces the computational complexity, providing new perspectives and tools for solving related problems.

Optimization of trigonometric polynomials with crystallographic symmetry and spectral bounds for set avoiding graphs

On symmetry adapted bases in trigonometric optimization

Bounds on the infimum of polynomials over a generic semi-algebraic set using asymptotic critical values

A Feasible Method for Optimization with Orthogonality Constraints

Harmonic Hierarchies for Polynomial Optimization

Algorithm for Optimization and Interpolation based on Hyponormality

Sparse Polynomial Optimization: Theory and Practice

Detecting optimality and extracting solutions in polynomial optimization with the truncated GNS construction

Bounds on polarization problems on compact sets via mixed integer programming

PolyCD: Optimization via Cycling through the Vertices of a Polytope

Optimization Algorithms for Faster Computational Geometry.

Efficient Algorithm for Solving Hyperbolic Programs

Sparse Polynomial Optimization with Unbounded Sets

An Efficient Sieving-Based Secant Method for Sparse Optimization Problems with Least-Squares Constraints

Numerical optimisation of Dirac eigenvalues

An efficient sieving based secant method for sparse optimization problems with least-squares constraints

On the weighted trigonometric Bojanov-Chebyshev extremal problem

Sum-of-squares hierarchies for polynomial optimization and the Christoffel-Darboux kernel

Optimization and Identification of Lattice Quantizers

Constructing good higher order polynomial lattice rules with modulus of reduced degree