arXiv++ Combinatorics

An $(s,p)$-edge-coloring of a graph $G$ is an edge coloring using $s$ colors such that exactly $p$ colors appear at each vertex. To generalize the notion of proper edge-coloring, these colorings are defined to be equitable: the numbers of edges of each color incident to a vertex are fairly distributed. We find the necessary and sufficient conditions for embedding an equitable $(s_1,p_1)$-edge-coloring of $K_{n_1}$ into an equitable $(s_2,p_2)$-edge-coloring of $K_{n_2}$. We focus on the values of $n_1$, $p_1$, $n_2$, and $p_2$ where $s_1$ is necessarily larger than $p_1$ and $s_2$ is necessarily larger than $p_2$.

An \emph{$(n,k,t)$-graph} is a graph on $n$ vertices in which every set of $k$ vertices contains a clique on $t$ vertices. Turán's Theorem, rephrased in terms of graph complements, states that the unique minimum $(n,k,2)$-graph is an equitable disjoint union of cliques. We prove that minimum $(n,k,t)$-graphs are always disjoint unions of cliques for any $t$ (despite \allowbreak nonuniqueness of extremal examples), thereby generalizing Turán's Theorem and confirming two conjectures of Hoffman et al.