Abstract:A basic closed semialgebraic subset of $\mathbb{R}^{n}$ is defined by simultaneous polynomial inequalities $p_{1}\geq 0,\ldots,p_{m}\geq 0$. We consider Lasserre's relaxation hierarchy to solve the problem of minimizing a polynomial over such a set. These relaxations give an increasing sequence of lower bounds of the infimum. In this paper we provide a new certificate for the optimal value of a Lasserre relaxation be the optimal value of the polynomial optimization problem. This certificate is that a modified version of an optimal solution of the Lasserre relaxation is a generalized Hankel matrix. This certificate is more general than the already known certificate of an optimal solution being flat. In case we have optimality we will extract the potencial minimizers with a truncated version of the Gelfand-Naimark-Segal construction on the optimal solution of the Lasserre relaxation. We prove also that the operators of this truncated construction commute if and only if the matrix of this modified optimal solution is a generalized Hankel matrix. This generalization of flatness will bring us to reprove a result of Curto and Fialkow on the existence of quadrature rule if the optimal solution is flat and a result of Xu and Mysovskikh on the existance of a Gaussian quadrature rule if the modified optimal solution is generalized Hankel matrix. At the end, we provide a numerical linear algebraic algorithm for dectecting optimality and extracting solutions of a polynomial optimization problem.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the method of detecting the optimal solution and extracting the solution in polynomial optimization. Specifically, the paper focuses on providing a new certificate through the truncated Gelfand - Naimark - Segal (GNS) construction to determine whether the optimal value of the Lasserre relaxation is also the optimal value of the polynomial optimization problem. In addition, when the optimal conditions are met, the paper also proposes a method for extracting potential minimum points from the optimal solution of the Lasserre relaxation.
### Background and Problem Definition
In the polynomial optimization problem, given a set of polynomials \( f, p_1,\ldots, p_m\in\mathbb{R}[X] \), the goal is to minimize the polynomial \( f \) on the basic closed semi - algebraic set \( S \), where \( S \) is defined as:
\[ S=\{ x\in\mathbb{R}^n\mid p_1(x)\geq0,\ldots, p_m(x)\geq0\} \]
### Lasserre Relaxation
Lasserre relaxation is a method for solving polynomial optimization problems by constructing a series of semi - definite programming problems to approximate the optimal value of the original problem. These relaxation problems give a sequence of lower bounds on the optimal value of the original problem, and under certain conditions, this sequence will converge to the optimal value.
### New Certificate
The paper proposes a new certificate, that is, if an optimal solution of the Lasserre relaxation is a generalized Hankel matrix after modification, then the optimal value of this solution is the optimal value of the original polynomial optimization problem. This certificate is more general than the known flatness conditions.
### Extracting Solutions
When the optimal conditions are met, the global minimum point can be extracted through the truncated GNS construction. Specifically, if the modified optimal solution is a generalized Hankel matrix and the corresponding multiplication operator is commutative in the truncated GNS construction, then a decomposition form can be found to extract the global minimum point.
### Main Results
1. **New Certificate**: If the optimal solution of the Lasserre relaxation is a generalized Hankel matrix after modification, then the optimal value of this solution is the optimal value of the original polynomial optimization problem.
2. **Extracting Solutions**: When the above conditions are met, the global minimum point can be extracted through the truncated GNS construction.
3. **Algorithm**: Finally, the paper provides a numerical linear algebra algorithm for detecting optimality and extracting solutions, and gives numerical examples.
### Mathematical Tools
- **Generalized Hankel Matrix**: A matrix with a specific symmetric structure.
- **Truncated GNS Construction**: A method for constructing an inner - product space and a self - adjoint operator from a linear form.
- **Commutativity of Multiplication Operators**: In the truncated GNS construction, the commutativity of multiplication operators is an important property for detecting optimality.
### Conclusion
By introducing new certificates and methods, the paper provides a new perspective and tool for solving polynomial optimization problems, especially in terms of detecting optimality and extracting solutions. These results are not only theoretically meaningful but also have potential value in practical applications.