arXiv++ Combinatorics

Using methods from spectral graph theory and semidefinite programming, we obtain sharp spectral bounds for several graph parameters related to distance colorings and packing, including the injective chromatic number, the open packing number, the injective chromatic index, and the strong chromatic index. The new spectral bounds improve several existing combinatorial bounds. Furthermore, we apply the obtained eigenvalue bounds on the first two parameters to estimate the code covering number and the open packing number of hypercubes, obtaining new exact values and strengthened bounds regarding the existing literature. The obtained results illustrate the power of combining spectral and semidefinite programming tools for tackling coloring and packing problems in graph theory and coding theory.

Let $\mathsf{TT}^1$ be the combinatorial principle stating that every finite coloring of the infinite full binary tree has a homogeneous isomorphic subtree. Let $\mathsf{RT}^2_2$ and $\mathsf{WKL}_0$ denote respectively the principles of Ramsey's theorem for pairs and weak König's lemma. It is proved that $\mathsf{TT}^1+\mathsf{RT}^2_2+\mathsf{WKL}_0$ is $Π^0_3$-conservative over the base system $\mathsf{RCA}_0$. Thus over $\mathsf{RCA}_0$, $\mathsf{TT}^1$ and Ramsey's theorem for pairs prove the same $Π^0_3$-sentences.