Mathematical Problems in Engineering

Mathematical Problems in Engineering / 2020 / Article
Special Issue

Fractional Mathematical Modelling and Optimal Control Problems of Differential Equations

View this Special Issue

Research Article | Open Access

Volume 2020 |Article ID 5894518 | https://doi.org/10.1155/2020/5894518

Chunyan Wang, Haibin Chen, Haitao Che, "An SDP Method for Copositivity of Partially Symmetric Tensors", Mathematical Problems in Engineering, vol. 2020, Article ID 5894518, 8 pages, 2020. https://doi.org/10.1155/2020/5894518

An SDP Method for Copositivity of Partially Symmetric Tensors

Guest Editor: Chuanjun Chen
Received01 Jul 2020
Accepted24 Jul 2020
Published18 Aug 2020

Abstract

In this paper, we consider the problem of detecting the copositivity of partially symmetric rectangular tensors. We first propose a semidefinite relaxation algorithm for detecting the copositivity of partially symmetric rectangular tensors. Then, the convergence of the proposed algorithm is given, and it shows that we can always catch the copositivity of given partially symmetric tensors. Several preliminary numerical results confirm our theoretical findings.

1. Introduction

Let be a real -th order -dimensional rectangular tensor, where for , , , and . If the entries of the tensor are invariant under any permutation of and , is called a partially symmetric tensor. For the sake of simplicity, let be the set of all partially symmetric rectangular tensors with order and dimension . By the relationship between partially symmetric tensors and homogeneous polynomials, we always use the following notation:

By this notation, we know that is strictly copositive if and only if

Particularly, if and , then it reduces to the copositivity of symmetric tensors [110].

The copositive tensor has attracted many researches’ attention since it plays an important role in polynomial optimization [11], hypergraph theory [1], vacuum stability of a general scalar potential [12], tensor complementarity problem [13, 14], tensor eigenvalue complementarity problem [15, 16], and so on [1737]. Kannike proved the vacuum stability conditions for more complicated potentials with the help of the copositive tensor [12]. Ling et al. [16] proposed that the tensor generalized eigenvalue complementarity problem is solvable and has one solution at least under assumptions that the related square tensor is strictly copositive. During the process of application, a challenging problem is how to detect the copositivity of tensors numerically.

Recently, several numerical algorithms are proposed to check the copositivity of symmetric tensors. To the best of our knowledge, the first numerical algorithm was proposed by Chen et al. in [2], where the algorithm is based on the representation of the multivariate form in barycentric coordinates with respect to the standard simplex. Then, by a suitable convex subcone of a copositive tensor cone, an updated numerical algorithm for copositivity of tensors was proposed in [1]. It must be pointed out that the methods of [1, 2] can only capture strictly copositive tensors and noncopositive tensors. To overcome this drawback, in [38], Li et al. proposed an SDP relaxation algorithm to test the copositivity of higher-order tensors. Very recently, Nie et al. gave a complete semidefinite relaxation algorithm for detecting the copositivity of a matrix or tensor [39]. If the potential tensor is copositive, the algorithm can get a certificate for the copositivity. Otherwise, the algorithm can get a point that refutes the copositivity. Furthermore, it is showed that the detection can be done by solving a finite number of semidefinite relaxations for all matrices and tensors.

For the copositivity of partially symmetric tensors, Gu et al. gave the first two spectral properties in [40], and some necessary or sufficient conditions for a real partially symmetric rectangular tensor to be copositive are further established. Moreover, an equivalent notion of strictly copositive rectangular tensors is presented [40]. In [41], Wang et al. extended the simplicial partition method for symmetric tensors to check the copositivity of partially symmetric tensors. However, as we discussed above, it can only capture all strictly copositive rectangular tensors or noncopositive rectangular tensors. When the input tensor is copositive but not strictly copositive, the algorithm may not stop in general. To solve this, motivated by the algorithm of [38, 39], we propose a new algorithm to check the copositivity of partially symmetric tensors in this paper.

The remainder of this paper is organized as follows. In Section 2, we recall some preliminaries on polynomials. In Section 3, we formulate the potential problem as a proper polynomial optimization problem which can be efficiently solved by Lasserre-type semidefinite relaxations. Then, a numerical method is proposed to check whether a given partially symmetric tensor is copositive or not, and the convergence of this algorithm is established. Several numerical experiments are listed in Section 4, and final remarks are given in Section 5.

2. Preliminaries

Let be the ring of the polynomial with variables . Let denote the vector space of polynomials with degree at most . The degree of a polynomial is denoted as deg (). Denote as the vector of all entries which equals one. A polynomial is called SOS if there exist such that . Denote by the set of all SOS polynomials. For , let . Then, for any polynomial , it can be denoted by , and denotes its sequence of coefficients in the monomial basis of . For matrix , its transpose is denoted by . For a symmetric matrix means is positive semidefinite. More details about polynomial optimization can be seen in [4245].

For , , and denote . For , denotes the smallest integer that is not smaller than . If the subset satisfies that and , then is called ideal. For a polynomial tuple , the ideal generated by is defined such that

The -th truncation ideal generated by is

For complex and real algebraic varieties of polynomial tuple , define

The quadratic module generated by is (denote )

For , where is the space of real vectors indexed by , define

For a polynomial , the -th localizing matrix of is the symmetric matrix satisfyingfor all with , , where denotes the coefficient vector of the polynomial . When is the moment matrix Let be a polynomial tuple; its localizing matrix is defined such that

3. The SDP Algorithm for Copositivity of Partially Symmetric Tensors

In this section, we establish an equivalent condition for the copositivity of partially symmetric tensors. Then, the concerned problem can be reformulated as a polynomial optimization problem. To continue, recall that a partially symmetric tensor is strictly copositive if and only ifwhich is equivalent with the following optimization problem:

Clearly, tensor is strictly copositive if and only if . Problem (11) can be solved by classical Lasserre relaxations [46]. Since the objection function is continuous and the feasible region is compact, problem (11) always has a solution. Without loss of generality, assume is one of the solutions of (11); then, it satisfies the following KKT-conditions with :

By (12), we obtain that , , and

Combining this with the fact that , we consider the following optimization problem:

It is clear to see that problems (11) and (14) are equivalent in the sense that they have the same optimal solution. To solve (14), we introduce the following notations:

So, the problem of (14) can be rewritten such that

By the Lasserre-type semidefinite relaxations of (16), consider the semidefinite programwhere , with . It is obvious that the feasible set is compact, and the Archimedean condition holds. Thus, the asymptotic convergence of (17) is always guaranteed. Moreover, is copositive if for some , and is a monotonically decreasing sequence, with the decreasing of order , i.e.,

Now, we present an algorithm to check the copositivity of a given partially symmetric rectangular tensor (Algorithm 1).

Step 0: given an arbitrary vector . Let .
 Step 1: solve the semidefinite relaxation (17). If , then stop, and is copositive. If , go to Step 2.
 Step 2: solve the following semidefinite program:
 for an optimizer if it is feasible. If it is infeasible, let and go to Step 1.
 Step 3: let . If , then is not copositive and stop. Otherwise, let and go to Step 1.

The following theorem shows the convergence of Algorithm 1 for any partially symmetric tensor.

Theorem 1. Suppose is a partially symmetric tensor. Then, the following properties hold:(i)For all , problem (16) is feasible and achieves its optimal value for all sufficiently large(ii)For all , problem (19) has an optimizer if it is feasible(iii)If is copositive, Algorithm 1 must stop with when is sufficiently large(iv)If is not copositive, Algorithm 1 must stop with for almost all when is sufficiently large

Proof. (i)Since the feasible set of (11) is compact, it must have a minimizer . On the contrary, is a feasible point for (16), which implies that the semidefinite relaxation (17) is always feasible. Since , let ; then, it holds that . We now show that the feasible set of (17) is compact as follows. First of all, we haveThen, ; since , . Furthermore, for all , the -th diagonal entry of is nonnegative, which implies thatTake in the following analysis. By the same argument as (21) and repeating times, we can show that for all . By the definition of , we know that the diagonal entries are precisely , . Since , all the entries of must be between −1 and 1. So, is bounded, and the feasible set of (17) is compact. Hence, the optimal value can always be achieved. In the following, we will show that for all sufficiently large.By direct computation, the optimization (16) is equivalent with the following problem:For simplicity, denoteCorresponding Lasserre’s relaxations for (22) areFor , where , any feasible solution of (17) is also a feasible solution of (24), soNext, we show that the set of polynomialsis Archimedean, i.e., there exists such that the inequality defines a compact set in . Let and ; we haveSo, is Archimedean by Theorem 3.3 of [47]; we know that when is sufficiently large. Hence, when all values are sufficiently large.(ii)The proof is the same with (i).(iii)Clearly, is copositive if and only if . By item (i), for all big enough. Therefore, if is copositive, we must have for all large enough.(iv)If is not copositive, then . By (i), there exists such that for all . Hence, for all , problem (19) is equivalent with the following problem:It is -th Lasserre’s relaxation for the polynomial optimizationThe feasible region of (29) is clearly compact. When is arbitrary, (29) has a unique optimizer . Hence, for almost all , is the unique optimizer. For notation convenience, denote by the optimizer of (19) with the relaxation order . Let . By Corollary 3.5 of [48] or Theorem 3.3 of [49], the sequence must converge to . Since , we must have when is sufficiently large.

4. Numerical Examples

In this section, we give several numerical examples to show the efficiency of Algorithm 1. Let denote the set of all permutations of , and let when . All experiments are done in Matlab2014b on a desktop computer with Intel (R) Core (TM)i7-6500 CPU @ 2.50 GHz 2.60 GHz and 16 GB of RAM.

Example 1. Suppose that is given byThe corresponding polynomial for tensor isBy Algorithm 1, we know that with , , which implies that rectangular tensor is copositive.

Example 2. Suppose that with entries such thatThe corresponding polynomial of isBy Algorithm 1, we obtain that with optimal solution , which implies that is copositive but not strictly copositive.

Example 3. Suppose that is given bySo, the corresponding polynomial of is thatwhere . By Algorithm 1, we have with , , which implies that the rectangular tensor is copositive.

Example 4. Suppose that is given byThe corresponding polynomial of the partially symmetric rectangular tensor iswhere . By Algorithm 1, we know that with , , which implies that the rectangular tensor is not copositive.

Example 5. Suppose is a tensor with entries such thatThe corresponding polynomial of the partially symmetric rectangular tensor iswhere . By Algorithm 1, we know that with , , which implies that the rectangular tensor is strictly copositive.

5. Conclusions

In this paper, based on Lasserre’s hierarchy of semidefinite relaxations, we propose a new criterion to judge whether a given partially symmetric rectangular tensor is copositive or not. The convergence for the proposed algorithm is established. Furthermore, numerical examples demonstrate that the proposed algorithm is effective when the input rectangular tensor has lower dimension and orders, and it is difficult for the case with higher order or higher dimension. We will continue to study this problem in the future.

Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Authors’ Contributions

Each author contributed equally to this paper and read and approved the final manuscript.

Acknowledgments

This project was supported by the Natural Science Foundation of China (11601261), the Shandong Provincial Natural Science Foundation (ZR2019MA022), and Project of Shandong Province Higher Educational Science and Technology Program (Grant no. J14LI52).

References

  1. H. Chen, Z.-H. Huang, and L. Qi, “Copositive tensor detection and its applications in physics and hypergraphs,” Computational Optimization and Applications, vol. 69, no. 1, pp. 133–158, 2018. View at: Publisher Site | Google Scholar
  2. H. Chen, Z.-H. Huang, and L. Qi, “Copositivity detection of tensors: theory and algorithm,” Journal of Optimization Theory and Applications, vol. 174, no. 3, pp. 746–761, 2017. View at: Publisher Site | Google Scholar
  3. L. Qi, “Eigenvalues of a real supersymmetric tensor,” Journal of Symbolic Computation, vol. 40, no. 6, pp. 1302–1324, 2005. View at: Publisher Site | Google Scholar
  4. L. Qi, “Symmetric nonnegative tensors and copositive tensors,” Linear Algebra and Its Applications, vol. 439, no. 1, pp. 228–238, 2013. View at: Publisher Site | Google Scholar
  5. Y. Wang, L. Caccetta, and G. Zhou, “Convergence analysis of a block improvement method for polynomial optimization over unit spheres,” Numerical Linear Algebra with Applications, vol. 22, no. 6, pp. 1059–1076, 2015. View at: Publisher Site | Google Scholar
  6. Y. Wang, W. Liu, L. Caccetta, and G. Zhou, “Parameter selection for nonnegative l1 matrix/tensor sparse decomposition,” Operations Research Letters, vol. 43, no. 4, pp. 423–426, 2015. View at: Publisher Site | Google Scholar
  7. Y. Wang, K. Zhang, and H. Sun, “Criteria for strong H-tensors,” Frontiers of Mathematics in China, vol. 11, no. 3, pp. 577–592, 2016. View at: Publisher Site | Google Scholar
  8. K. Zhang and Y. Wang, “An H-tensor based iterative scheme for identifying the positive definiteness of multivariate homogeneous forms,” Journal of Computational and Applied Mathematics, vol. 305, pp. 1–10, 2016. View at: Publisher Site | Google Scholar
  9. K. Zhang, H. Chen, H. Chen, and P. Zhao, “A potential reduction method for tensor complementarity problems,” Journal of Industrial & Management Optimization, vol. 15, no. 2, pp. 429–443, 2019. View at: Publisher Site | Google Scholar
  10. G. Zhou, G. Wang, L. Qi, and M. Alqahtani, “A fast algorithm for the spectral radii of weakly reducible nonnegative tensors,” Numerical Linear Algebra with Applications, vol. 25, no. 2, p. e2134, 2018. View at: Publisher Site | Google Scholar
  11. J. Peña, J. C. Vera, and L. F. Zuluaga, “Completely positive reformulations for polynomial optimization,” Mathematical Programming, vol. 151, no. 2, pp. 405–431, 2014. View at: Publisher Site | Google Scholar
  12. K. Kannike, “Vacuum stability of a general scalar potential of a few fields,” European Physical Journal C, vol. 76, p. 324, 2016. View at: Publisher Site | Google Scholar
  13. H. Chen, L. Qi, and Y. Song, “Column sufficient tensors and tensor complementarity problems,” Frontiers of Mathematics in China, vol. 13, no. 2, pp. 255–276, 2018. View at: Publisher Site | Google Scholar
  14. H. Chen and Y. Wang, “On computing minimal H-eigenvalue of sign-structured tensors,” Frontiers of Mathematics in China, vol. 12, no. 6, pp. 1289–1302, 2017. View at: Publisher Site | Google Scholar
  15. J. Fan, J. Nie, and A. Zhou, “Tensor eigenvalue complementarity problems,” Mathematical Programming, vol. 170, no. 2, pp. 507–539, 2018. View at: Publisher Site | Google Scholar
  16. C. Ling, H. He, and L. Qi, “On the cone eigenvalue complementarity problem for higher-order tensors,” Computational Optimization and Applications, vol. 63, no. 1, pp. 143–168, 2016. View at: Publisher Site | Google Scholar
  17. C. Chen, X. Zhang, G. Zhang, and Y. Zhang, “A two-grid finite element method for nonlinear parabolic integro-differential equations,” International Journal of Computer Mathematics, vol. 96, no. 10, pp. 2010–2023, 2019. View at: Publisher Site | Google Scholar
  18. C. Chen, W. Liu, and C. Bi, “A two-grid characteristic finite volume element method for semilinear advection-dominated diffusion equations,” Numerical Methods for Partial Differential Equations, vol. 29, no. 5, pp. 1543–1562, 2013. View at: Publisher Site | Google Scholar
  19. C. Chen and X. Zhao, “A posteriori error estimate for finite volume element method of the parabolic equations,” Numerical Methods for Partial Differential Equations, vol. 33, no. 1, pp. 259–275, 2017. View at: Publisher Site | Google Scholar
  20. C. Chen, K. Li, Y. Chen, and Y. Huang, “Two-grid finite element methods combined with Crank-Nicolson scheme for nonlinear Sobolev equations,” Advances in Computational Mathematics, vol. 45, no. 2, pp. 611–630, 2019. View at: Publisher Site | Google Scholar
  21. C. Chen, H. Liu, X. Zheng et al., “A two-grid MMOC finite element method for nonlinear variable-order time-fractional mobile/immobile advectionCdiffusion equations,” Computers and Mathematics with Applications, vol. 79, no. 9, pp. 2771–2783, 2019. View at: Google Scholar
  22. H. Chen, L. Qi, L. Caccetta, and G. Zhou, “Birkhoff-von Neumann theorem and decomposition for doubly stochastic tensors,” Linear Algebra and Its Applications, vol. 583, pp. 119–133, 2019. View at: Publisher Site | Google Scholar
  23. H. Chen, L. Qi, Y. Wang, and G. Zhou, “Further results on sum-of-squares tensors,” Optimization Methods and Software, pp. 1–17, 2020. View at: Publisher Site | Google Scholar
  24. H. Chen, Y. Wang, and G. Zhou, “High-order sum-of-squares structured tensors: theory and applications,” Frontiers of Mathematics in China, vol. 15, no. 2, pp. 255–284, 2020. View at: Publisher Site | Google Scholar
  25. M. Dong and H. Chen, “Geometry of the copositive tensor cone and its dual,” Asia-Pacific Journal of Operational Researcch, vol. 380, 2020. View at: Publisher Site | Google Scholar
  26. J. He, X. Zhang, L. Liu, Y. Wu, and Y. Cui, “A singular fractional kelvin-voigt model involving a nonlinear operator and their convergence properties,” Boundary Value Problems, vol. 2019, p. 112, 2019. View at: Publisher Site | Google Scholar
  27. J. He, X. Zhang, L. Liu, and Y. Wu, “Existence and nonexistence of radial solutions of the Dirichlet problem for a class of general k-Hessian equations,” Nonlinear Analysis: Modelling and Control, vol. 23, no. 4, pp. 475–492, 2018. View at: Publisher Site | Google Scholar
  28. W. Wang, H. Chen, and Y. Wang, “A new C-eigenvalue interval for piezoelectric-type tensors,” Applied Mathematics Letters, vol. 100, p. 106035, 2020. View at: Publisher Site | Google Scholar
  29. X. Zhang, L. Liu, and Y. Wu, “Multiple positive solutions of a singular fractional differential equation with negatively perturbed term,” Mathematical and Computer Modelling, vol. 55, no. 3-4, pp. 1263–1274, 2012. View at: Publisher Site | Google Scholar
  30. X. Zhang, Y. Wu, and L. Caccetta, “Nonlocal fractional order differential equations with changing-sign singular perturbation,” Applied Mathematical Modelling, vol. 39, no. 21, pp. 6543–6552, 2015. View at: Publisher Site | Google Scholar
  31. X. Zhang, L. Liu, Y. Wu, and Y. Cui, “A sufficient and necessary condition of existence of blow-up radial solutions for a k-Hessian equation with a nonlinear operator,” Nonlinear Analysis: Modelling and Control, vol. 25, pp. 126–143, 2020. View at: Publisher Site | Google Scholar
  32. X. Zhang, J. Xu, J. Jiang, Y. Wu, and Y. Cui, “The convergence analysis and uniqueness of blow-up solutions for a Dirichlet problem of the general k-Hessian equations,” Applied Mathematics Letters, vol. 102, p. 106124, 2020. View at: Publisher Site | Google Scholar
  33. X. Zhang, J. Jiang, Y. Wu, and Y. Cui, “The existence and nonexistence of entire large solutions for a quasilinear Schrödinger elliptic system by dual approach,” Applied Mathematics Letters, vol. 100, p. 106018, 2020. View at: Publisher Site | Google Scholar
  34. X. Zhang, J. Jiang, Y. Wu, and Y. Cui, “Existence and asymptotic properties of solutions for a nonlinear Schrödinger elliptic equation from geophysical fluid flows,” Applied Mathematics Letters, vol. 90, pp. 229–237, 2019. View at: Publisher Site | Google Scholar
  35. X. Zhang, L. Liu, Y. Wu, and Y. Cui, “The existence and nonexistence of entire large solutions for a quasilinear Schrödinger elliptic system by dual approach,” Journal of Mathematical Analysis and Applications, vol. 464, no. 2, pp. 1089–1106, 2018. View at: Publisher Site | Google Scholar
  36. X. Zhang, L. Liu, Y. Wu, and Y. Cui, “Existence of infinitely solutions for a modified nonlinear Schrodinger equation via dual approach,” Electron. J. Differential Equations, vol. 2147, pp. 1–15, 2018. View at: Google Scholar
  37. X. Zhang, Y. Wu, and Y. Cui, “Existence and nonexistence of blow-up solutions for a Schrödinger equation involving a nonlinear operator,” Applied Mathematics Letters, vol. 82, pp. 85–91, 2018. View at: Publisher Site | Google Scholar
  38. L. Li, X. Zhang, X. Zhang, Z.-H. Huang, and L. Qi, “Test of copositive tensors,” Journal of Industrial & Management Optimization, vol. 15, no. 2, pp. 881–891, 2019. View at: Publisher Site | Google Scholar
  39. J. Nie, Z. Yang, and X. Zhang, “A complete semidefinite algorithm for detecting copositive matrices and tensors,” SIAM Journal on Optimization, vol. 28, no. 4, pp. 2902–2921, 2018. View at: Publisher Site | Google Scholar
  40. Y. Gu, W. Wu, and W. Wu, “Partially symmetric nonnegative rectangular tensors and copositive rectangular tensors,” Journal of Industrial & Management Optimization, vol. 15, no. 2, pp. 775–789, 2019. View at: Publisher Site | Google Scholar
  41. C. Wang, H. Chen, Y. Wang, and G. Zhou, “On copositiveness identification of partially symmetric rectangular tensors,” Journal of Computational and Applied Mathematics, vol. 372, p. 112678, 2020. View at: Publisher Site | Google Scholar
  42. J. Lasserre, Moments, Positive Polynomials and Their Applications, Imperial College Press, London, UK, 2009.
  43. J. Lasserre, Introduction to Polynomial and Semi-algebraic Optimization, Cambridge University Press, Cambridge, UK, 2015.
  44. M. Laurent, “Optimization over polynomials: selected topics,” in Proceedings of the International Congress of Mathematicians, Rio de Janeiro, Brazil, August 2014. View at: Google Scholar
  45. M. Laurent, “Sums of squares, moment matrices and optimization over polynomials,” Emerging Applications of Algebraic Geometry, vol. 149, pp. 157–270, 2009. View at: Google Scholar
  46. J. B. Lasserre, “Global optimization with polynomials and the problem of moments,” SIAM Journal on Optimization, vol. 11, no. 3, pp. 796–817, 2001. View at: Publisher Site | Google Scholar
  47. J. Nie, “Tight relaxations for polynomial optimization and Lagrange multiplier expressions,” Mathematical Programming, vol. 178, no. 1-2, pp. 1–37, 2019. View at: Publisher Site | Google Scholar
  48. M. Schweighofer, “Optimization of polynomials on compact semialgebraic sets,” SIAM Journal on Optimization, vol. 15, no. 3, pp. 805–825, 2005. View at: Publisher Site | Google Scholar
  49. J. Nie, “Polynomial optimization with real varieties,” SIAM Journal On Optimization, vol. 23, no. 3, pp. 1634–1646, 2013. View at: Publisher Site | Google Scholar

Copyright © 2020 Chunyan Wang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


More related articles

 PDF Download Citation Citation
 Download other formatsMore
 Order printed copiesOrder
Views114
Downloads216
Citations

Related articles

Article of the Year Award: Outstanding research contributions of 2020, as selected by our Chief Editors. Read the winning articles.