Copositive tensor detection and its applications in physics and hypergraphs

Copositivity of tensors plays an important role in vacuum stability of a general scalar potential, polynomial optimization, tensor complementarity problem and tensor generalized eigenvalue complementarity problem. In this paper, we propose a new algorithm for testing copositivity of high order tensors, and then present applications of the algorithm in physics and hypergraphs. For this purpose, we first give several new conditions for copositivity of tensors based on the representative matrix of a simplex. Then a new algorithm is proposed with the help of a proper convex subcone of the copositive tensor cone, which is defined via the copositivity of Z-tensors. Furthermore, by considering a sum-of-squares program problem, we define two new subsets of the copositive tensor cone and discuss their convexity. As an application of the proposed algorithm, we prove that the coclique number of a uniform hypergraph is equivalent to an optimization problem over the completely positive tensor cone, which implies that the proposed algorithm can be applied to compute an upper bound of the coclique number of a uniform hypergraph. Then we study another application of the proposed algorithm on particle physics in testing copositivity of some potential fields. At last, various numerical examples are given to show the performance of the algorithm.

[1]  Liqun Qi,et al.  Eigenvalue analysis of constrained minimization problem for homogeneous polynomial , 2016, J. Glob. Optim..

[2]  Yong Wang,et al.  Exceptionally regular tensors and tensor complementarity problems , 2015, Optim. Methods Softw..

[3]  Zheng-Hai Huang,et al.  Copositivity Detection of Tensors: Theory and Algorithm , 2016, J. Optim. Theory Appl..

[4]  Christopher J. Hillar,et al.  Most Tensor Problems Are NP-Hard , 2009, JACM.

[5]  Yan Zhu,et al.  Criterions for the positive definiteness of real supersymmetric tensors , 2014, J. Comput. Appl. Math..

[6]  Liqun Qi,et al.  Necessary and sufficient conditions for copositive tensors , 2013, 1302.6084.

[7]  Yi Xu,et al.  Nonnegative Tensor Factorization, Completely Positive Tensors, and a Hierarchical Elimination Algorithm , 2013, SIAM J. Matrix Anal. Appl..

[8]  L. Qi,et al.  Finding the maximum eigenvalue of a class of tensors with applications in copositivity test and hypergraphs , 2015, 1511.02328.

[9]  Mirjam Dür,et al.  Algorithmic copositivity detection by simplicial partition , 2008 .

[10]  Yimin Wei,et al.  Positive-Definite Tensors to Nonlinear Complementarity Problems , 2015, J. Optim. Theory Appl..

[11]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .

[12]  Katta G. Murty,et al.  Some NP-complete problems in quadratic and nonlinear programming , 1987, Math. Program..

[13]  J. Shao.  A general product of tensors with applications , 2012, 1212.1535.

[14]  Liqun Qi,et al.  Completely Positive Tensors: Properties, Easily Checkable Subclasses, and Tractable Relaxations , 2016, SIAM J. Matrix Anal. Appl..

[15]  Akihiro Tanaka,et al.  LP-based tractable subcones of the semidefinite plus nonnegative cone , 2016, Annals of Operations Research.

[16]  Yong Yao,et al.  An algorithm for determining copositive matrices , 2010 .

[17]  Yong Wang,et al.  Global Uniqueness and Solvability for Tensor Complementarity Problems , 2015, J. Optim. Theory Appl..

[18]  Liqun Qi,et al.  Eigenvalues of a real supersymmetric tensor , 2005, J. Symb. Comput..

[19]  A. Berman,et al.  Some properties of strong H-tensors and general H-tensors , 2015 .

[20]  L. Qi,et al.  An even order symmetric B tensor is positive definite , 2014, 1404.0452.

[21]  Liqun Qi,et al.  Tensor Complementarity Problem and Semi-positive Tensors , 2015, J. Optim. Theory Appl..

[22]  L. Qi.  H$^+$-Eigenvalues of Laplacian and Signless Laplacian Tensors , 2013, 1303.2186.

[23]  Javier Peña,et al.  Completely positive reformulations for polynomial optimization , 2015, Math. Program..

[24]  Johan Löfberg,et al.  Pre- and Post-Processing Sum-of-Squares Programs in Practice , 2009, IEEE Transactions on Automatic Control.

[25]  Akiko Yoshise,et al.  On optimization over the doubly nonnegative cone , 2010, 2010 IEEE International Symposium on Computer-Aided Control System Design.

[26]  L. Qi,et al.  On strictly semi-positive tensors , 2015 .

[27]  Zheng-Hai Huang,et al.  Formulating an n-person noncooperative game as a tensor complementarity problem , 2016, Comput. Optim. Appl..

[28]  Chen Ling,et al.  On the cone eigenvalue complementarity problem for higher-order tensors , 2015, Comput. Optim. Appl..

[29]  K. Kannike.  Vacuum stability of a general scalar potential of a few fields , 2016, 1603.02680.

[30]  Liqun Qi,et al.  SOS Tensor Decomposition: Theory and Applications , 2015 .

[31]  Johan Löfberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004 .

[32]  L. Qi,et al.  Positive Semi-definiteness and Extremal H-eigenvalues of Extended Essentially Nonnegative Tensors , 2015 .

[33]  Liqun Qi,et al.  Strictly semi-positive tensors and the boundedness of tensor complementarity problems , 2015, Optim. Lett..

[34]  Tamara G. Kolda,et al.  Numerical optimization for symmetric tensor decomposition , 2014, Mathematical Programming.

[35]  Liqun Qi,et al.  P-Tensors, P$_0$-Tensors, and Tensor Complementarity Problem , 2015, 1507.06731.

[36]  Yao-tang Li,et al.  MB-tensors and MB0-tensors , 2014, 1411.6316.

[37]  Yao-tang Li,et al.  Double B-tensors and quasi-double B-tensors , 2014, 1408.2299.

[38]  Joshua N. Cooper,et al.  Spectra of Uniform Hypergraphs , 2011, 1106.4856.

[39]  Liqun Qi,et al.  M-Tensors and Some Applications , 2014, SIAM J. Matrix Anal. Appl..

[40]  L. Qi.  Symmetric nonnegative tensors and copositive tensors , 2012, 1211.5642.

[41]  L. Qi,et al.  Positive Definiteness and Semi-Definiteness of Even Order Symmetric Cauchy Tensors , 2014, 1405.6363.

[42]  Akiko Yoshise,et al.  Tractable Subcones and LP-based Algorithms for Testing Copositivity , 2015 .

[43]  Mirjam Dür,et al.  An improved algorithm to test copositivity , 2012, J. Glob. Optim..

[44]  Peter J. C. Dickinson,et al.  On the computational complexity of membership problems for the completely positive cone and its dual , 2014, Comput. Optim. Appl..