Abstract:By using the squared slack variables technique, we show that a general polynomial complementarity problem can be formulated as a system of polynomial equations. Thus, the solution set of such a problem is the image of a real algebraic set under a certain projection. This paper points out that, generically, this polynomial system has finitely many complex zeros. In such a case, we use techniques from symbolic computation to compute a univariate representation of the solution set. Consequently, univariate representations of special solutions, such as least-norm and sparse solutions, are obtained. After that, enumerating solutions boils down to solving problems governed by univariate polynomials. We also provide some experiments on small-scale problems with worst-case scenarios. At the end of the paper, we propose a method for computing approximate solutions to copositive polynomial complementarity problems that may have infinitely many solutions.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
This paper is mainly devoted to solving several key problems in **Polynomial Complementarity Problems (PCP)**. Specifically, by introducing the technique of squared slack variables, the authors transform the general - form PCP into a system of polynomial equations and further explore how to use symbolic computation techniques to solve these problems.
#### Main problems and contributions include:
1. **Transforming PCP into a system of polynomial equations**:
- Using the technique of squared slack variables, it is proved that a general PCP can be represented as a set of polynomial equations. This means that the solution set of PCP is the image of a certain real algebraic set under a specific projection.
- The formulas are as follows:
\[
I[f] := \langle x_1 f_1, \ldots, x_n f_n \rangle
\]
and
\[
I[f,z] = \langle x_1 f_1, \ldots, x_n f_n, z_1^2 - x_1, \ldots, z_n^2 - x_n, z_{n + 1}^2 - f_1, \ldots, z_{2n}^2 - f_n \rangle
\]
2. **Existence of finite complex zeros**:
- It is proved that for a general PCP, the corresponding polynomial system usually has a finite number of complex zeros. This makes it possible to use symbolic computation techniques to calculate the univariate representation of the solution set.
- The formula is as follows:
\[
\# V_C(I[f,z]) \leq 2^n\times\# V_C(I[f]) \leq 2^n(d + 1)^n
\]
where \(d\) is the degree of the polynomial mapping \(f\).
3. **Construction of univariate representation**:
- A method for calculating the univariate representation of the PCP solution set is proposed. These methods can be used to calculate special solutions, such as the minimum - norm solution and the sparse solution.
- The formula is as follows:
\[
Sol(f)=\{(v_1(t),\ldots,v_n(t)):w(t) = 0,t\in\mathbb{R}\}
\]
4. **Numerical experiments and algorithm design**:
- Some numerical experiments on small - scale problems are provided, and a method for calculating approximate solutions is proposed, which is suitable for copositive polynomial complementarity problems that may have an infinite number of solutions.
#### Summary
By introducing the technique of squared slack variables and symbolic computation methods, this paper solves the problems of representation and calculation of the solution set in polynomial complementarity problems, especially providing effective methods for calculating the minimum - norm solution and the sparse solution. In addition, it also discusses dealing with problems that may have an infinite number of solutions and proposes corresponding approximate solution methods.