Let $A$ be an element of the copositive cone ${\cal C}_n$. A zero $u$ of $A$ is a nonzero nonnegative vector such that $u^TAu = 0$. The support of $u$ is the index set $\mbox{supp}u \subset \{1,\dots,n\}$ corresponding to the positive entries of $u$. A zero $u$ of $A$ is called minimal if there does not exist another zero $v$ of $A$ such that its support $\mbox{supp}v$ is a strict subset of $\mbox{supp}u$. We investigate the properties of minimal zeros of copositive matrices and their supports. Special attention is devoted to copositive matrices which are irreducible with respect to the cone $S_+(n)$ of positive semi-definite matrices, i.e., matrices which cannot be written as a sum of a copositive and a nonzero positive semi-definite matrix. We give a necessary and sufficient condition for irreducibility of a matrix $A$ with respect to $S_+(n)$ in terms of its minimal zeros. A similar condition is given for the irreducibility with respect to the cone ${\cal N}_n$ of entry-wise nonnegative matrices. For $n = 5$ matrices which are irreducible with respect to both $S_+(5)$ and ${\cal N}_5$ are extremal. For $n = 6$ a list of candidate combinations of supports of minimal zeros which an exceptional extremal matrix can have is provided.
Copositive Matrices with Ordered Off-Diagonal Entries
Georgia Institute of Technology(佐治亚理工学院);H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology(佐治亚理工学院 H.米尔顿·斯图尔特工业与系统工程学院);Sabancı University(萨贝里大学)
On the Exactness of Sum-of-Squares Approximations for the Cone of $5\times 5$ Copositive Matrices
我们研究了Parrilo(Structured Semifinite Programs and Semi-algebraic Geometry Methods in Robustness and Optimization,PhD Thesis,California Institute of Technology,2001)提出的共正锥$\text{COP}_n$的锥内近似$\mathcal{K}^{(r)}_n$($r\in \mathbb{N}$)的层次结构。已知$\text{COP}_4=\mathcal{K}^{(0)}_4$,并且当圆锥体的并集$\mathcal{K}^{(r)}_n$覆盖$\text{COP}_n$的内部时,如果$n\geq 6$,则其不覆盖整个圆锥体$\text{COP}_n$。在这里,我们调查剩下的情况下$n=5$,其中所有极端射线已充分特征化的希尔德布兰德(极端射线的5 $\times$ 5共正锥。Linear Algebra and its Applications,437(7):1538- 1547,2012)。我们表明,霍恩矩阵$H$和它的正对角标度发挥了特殊的作用之间的极端射线的$\text{COP}_5$。证明了等式$\text{COP}_5=\bigcup_{r\geq 0} \mathcal{K}^{(r)}_5$成立当且仅当$H$的任…