Extremal H-Colorings of Graphs with Fixed Minimum Degree

For graphs G and H, a homomorphism from G to H, or H-coloring of G, is a map from the vertices of G to the vertices of H that preserves adjacency. When H is composed of an edge with one looped endvertex, an H-coloring of G corresponds to an independent set in G. Galvin showed that, for sufficiently large n, the complete bipartite graph Kδ,n-δ is the n-vertex graph with minimum degree δ that has the largest number of independent sets. In this paper, we begin the project of generalizing this result to arbitrary H. Writing hom(G, H) for the number of H-colorings of G, we show that for fixed H and δ = 1 or δ = 2, hom(G, H) ≤ max{hom(Kδ+1,H)n⁄δ =1, hom(Kδ,δ,H)n⁄2δ, hom(Kδ,n-δ,H)} for any n-vertex G with minimum degree δ (for sufficiently large n). We also provide examples of H for which the maximum is achieved by hom(Kδ+1, H)n⁄δ+1 and other H for which the maximum is achieved by hom(Kδ,δ,H)n⁄2δ. For δ ≥ 3 (and sufficiently large n), we provide a infinite family of H for which hom(G, H) ≤ hom (Kδ,n-δ, H) for any n-vertex G with minimum degree δ. The results generalize to weighted H-colorings

Three-coloring triangle-free graphs on surfaces V. Coloring planar graphs with distant anomalies

We settle a problem of Havel by showing that there exists an absolute constant d such that if G is a planar graph in which every two distinct triangles are at distance at least d, then G is 3-colorable. In fact, we prove a more general theorem. Let G be a planar graph, and let H be a set of connected subgraphs of G, each of bounded size, such that every two distinct members of H are at least a specified distance apart and all triangles of G are contained in \bigcup{H}. We give a sufficient condition for the existence of a 3-coloring phi of G such that for every B\in H, the restriction of phi to B is constrained in a specified way.Comment: 26 pages, no figures. Updated presentatio