Graph Coloring and Semidefinite Rank

TL;DR

This paper explores the relationship between semidefinite programming, matrix rank, and graph coloring, providing characterizations for specific graph classes and proposing a heuristic for coloring planar graphs.

Contribution

It characterizes graphs with high dual rank solutions, links dual rank to graph colorability, and introduces a cost-based heuristic for graph coloring.

Findings

High dual rank solutions exist for k-trees and certain planar graphs.

Non-uniquely colorable graphs lack high-rank dual solutions.

Constructed cost functions enable effective heuristics for planar graph coloring.

Abstract

This paper considers the interplay between semidefinite programming, matrix rank, and graph coloring. Karger, Motwani, and Sudan \cite{KMS98} give a vector program for which a coloring of the graph can be encoded as a semidefinite matrix of low rank. By complementary slackness conditions of semidefinite programming, if an optimal dual solution has sufficiently high rank, any optimal primal solution must have low rank. We attempt to characterize graphs for which we can show that the corresponding dual optimal solution must have sufficiently high rank. In the case of the original Karger, Motwani, and Sudan vector program, we show that any graph which is a $k$-tree has sufficiently high dual rank, and we can extract the coloring from the corresponding low-rank primal solution. We can also show that if the graph is not uniquely colorable, then no sufficiently high rank dual optimal solution can exist. This allows us to completely characterize the planar graphs for which dual optimal solutions have sufficiently high dual rank. We then modify the semidefinite program to have an objective function with costs, and explore when we can create a cost function whose optimal dual solution has sufficiently high rank. We show that it is always possible to construct such a cost function given the graph coloring. The construction of the cost function gives rise to a heuristic for graph coloring which we show works well in the case of planar graphs. Our research was motivated by the Colin de Verdi\`ere graph invariant \cite{CDV90}(and a corresponding conjecture of Colin de Verdi\`ere), in which matrices that have some similarities to the dual feasible matrices must have high rank in the case that graphs are of a certain type. We explore the connection between the conjecture and the rank of the dual solutions.