Representation of Zeros of a Copositive Matrix via Maximal Cliques of a Graph

O.I.Kostyukova,T.V. Tchemisova
2024-10-11
Abstract:There is a profound connection between copositive matrices and graph theory. Copositive matrices provide a powerful tool for formulating and solving various challenging graph-related problems. Conversely, graph theory provides a rich set of concepts and techniques that can be applied to analyze key properties of copositive matrices, including their eigenvalues and spectra. In this paper, we present new aspects of the relationship between copositive matrices and graph theory. Focusing on the set of normalized zeros of a copositive matrix, we investigate its properties and demonstrate that this set can be expressed as a union of convex hulls of subsets of minimal zeros. We show that these subsets are connected with the set of maximal cliques of a special graph constructed on the basis of the set of minimal zeros of this matrix. We develop an algorithm for constructing both the set of normalized minimal zeros and the set of all normalized zeros of a copositive matrix.
Optimization and Control
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the zero - point representation of copositive matrices and their relationship with graph theory. Specifically, the paper focuses on the properties of the normalized zero - point set of copositive matrices and shows that this set can be represented as the union of convex hulls of the minimal zero - point sets. In addition, the paper also explores the relationship between these minimal zero - points and the maximum cliques of specific graphs, and develops an algorithm to construct all the normalized zero - points and minimal zero - points of copositive matrices. ### Core Problems of the Paper 1. **Properties of Normalized Zero - points**: - Research the properties of the normalized zero - point set of copositive matrices. - Show that the normalized zero - point set can be represented as the union of convex hulls of the minimal zero - point sets. 2. **Relationship between Minimal Zero - points and Maximum Cliques of Graphs**: - Establish the correspondence between the support sets of minimal zero - points and the maximum cliques of graphs. - Use this correspondence to derive several properties of zero - point sets and maximum cliques. 3. **Algorithm Development**: - Develop an algorithm to construct all the normalized zero - points and minimal zero - points of copositive matrices. ### Main Contributions - **Theoretical Contributions**: - Propose a new representation method for the normalized zero - point set of copositive matrices. - Reveal the profound connection between minimal zero - points and the maximum cliques of graphs. - **Methodological Contributions**: - Provide a systematic method to construct the minimal zero - points of copositive matrices. - Develop an algorithm to generate the minimal representation form of the normalized zero - point set. ### Formulas and Symbols - **Copositive Matrices**: - \( X \in \text{COP}(p) \) represents a \( p\times p \) symmetric copositive matrix. - \( T_0:=\{t\in T:t^{\top}Xt = 0\} \) represents all the normalized zero - point sets of \( X \). - **Minimal Zero - points**: - \( \tau\in T_0 \) is a zero - point of \( X \). If there does not exist another zero - point \( t\in T_0 \) such that \( \text{supp}(t)\subset\text{supp}(\tau) \), then \( \tau \) is called a minimal zero - point. - **Graph - theory - related**: - \( G = G(X) \) is an undirected graph constructed based on the support sets of minimal zero - points of \( X \). - \( J(s) \) represents the maximum clique of graph \( G \). ### Conclusion By studying the properties of the normalized zero - point set of copositive matrices, the paper reveals the relationship between these zero - points and the maximum cliques of graphs, and provides an effective algorithm to construct these zero - points. These results not only enrich the theory of copositive matrices but also provide new tools and methods for optimization problems.