6 research outputs found

    Constructing graphs with no immersion of large complete graphs

    Full text link
    In 1989, Lescure and Meyniel proved, for d=5,6d=5, 6, that every dd-chromatic graph contains an immersion of KdK_d, and in 2003 Abu-Khzam and Langston conjectured that this holds for all dd. In 2010, DeVos, Kawarabayashi, Mohar, and Okamura proved this conjecture for d=7d = 7. In each proof, the dd-chromatic assumption was not fully utilized, as the proofs only use the fact that a dd-critical graph has minimum degree at least d−1d - 1. DeVos, Dvo\v{r}\'ak, Fox, McDonald, Mohar, and Scheide show the stronger conjecture that a graph with minimum degree d−1d-1 has an immersion of KdK_d fails for d=10d=10 and d≥12d\geq 12 with a finite number of examples for each value of dd, and small chromatic number relative to dd, but it is shown that a minimum degree of 200d200d does guarantee an immersion of KdK_d. In this paper we show that the stronger conjecture is false for d=8,9,11d=8,9,11 and give infinite families of examples with minimum degree d−1d-1 and chromatic number d−3d-3 or d−2d-2 that do not contain an immersion of KdK_d. Our examples can be up to (d−2)(d-2)-edge-connected. We show, using Haj\'os' Construction, that there is an infinite class of non-(d−1)(d-1)-colorable graphs that contain an immersion of KdK_d. We conclude with some open questions, and the conjecture that a graph GG with minimum degree d−1d - 1 and more than ∣V(G)∣1+m(d+1)\frac{|V(G)|}{1+m(d+1)} vertices of degree at least mdmd has an immersion of KdK_d

    The structure of graphs not admitting a fixed immersion

    Get PDF
    We present an easy structure theorem for graphs which do not admit an immersion of the complete graph. The theorem motivates the definition of a variation of tree decompositions based on edge cuts instead of vertex cuts which we call tree-cut decompositions. We give a definition for the width of tree-cut decompositions, and using this definition along with the structure theorem for excluded clique immersions, we prove that every graph either has bounded tree-cut width or admits an immersion of a large wall

    The structure of graphs not admitting a fixed immersion

    Full text link
    We present an easy structure theorem for graphs which do not admit an immersion of the complete graph. The theorem motivates the definition of a variation of tree decompositions based on edge cuts instead of vertex cuts which we call tree-cut decompositions. We give a definition for the width of tree-cut decompositions, and using this definition along with the structure theorem for excluded clique immersions, we prove that every graph either has bounded tree-cut width or admits an immersion of a large wall

    Forbidding Kuratowski Graphs as Immersions

    Full text link
    The immersion relation is a partial ordering relation on graphs that is weaker than the topological minor relation in the sense that if a graph GG contains a graph HH as a topological minor, then it also contains it as an immersion but not vice versa. Kuratowski graphs, namely K5K_{5} and K3,3K_{3,3}, give a precise characterization of planar graphs when excluded as topological minors. In this note we give a structural characterization of the graphs that exclude Kuratowski graphs as immersions. We prove that they can be constructed by applying consecutive ii-edge-sums, for i≤3i\leq 3, starting from graphs that are planar sub-cubic or of branch-width at most 10

    Forbidding Kuratowski graphs as immersions

    Get PDF
    The immersion relation is a partial ordering relation on graphs that is weaker than the topological minor relation in the sense that if a graph G contains a graph H as a topological minor, then it also contains it as an immersion but not vice versa. Kuratowski graphs, namely K 5 and K 3,3 , give a precise characterization of planar graphs when excluded as topological minors. In this note we give a structural characterization of the graphs that exclude Kuratowski graphs as immersions. We prove that they can be constructed by applying consecutive i-edge-sums, for i ≤ 3, starting from graphs that are planar sub-cubic or of branchwidth at most 10
    corecore