Table of Contents
Fetching ...

Graphs with girth $2\ell+1$ and without longer odd holes that contain an odd $K_4$-subdivision

Rong Chen, Yidong Zhou

Abstract

We say that a graph $G$ has an {\em odd $K_4$-subdivision} if some subgraph of $G$ is isomorphic to a $K_4$-subdivision and whose faces are all odd holes of $G$. For a number $\ell\geq 2$, let $\mathcal{G}_{\ell}$ denote the family of graphs which have girth $2\ell+1$ and have no odd hole with length greater than $2\ell+1$. Wu, Xu and Xu conjectured that every graph in $\bigcup_{\ell\geq2}\mathcal{G}_{\ell}$ is 3-colorable. Recently, Chudnovsky et al. and Wu et al., respectively, proved that every graph in $\mathcal{G}_2$ and $\mathcal{G}_3$ is 3-colorable. In this paper, we prove that no $4$-vertex-critical graph in $\bigcup_{\ell\geq5}\mathcal{G}_{\ell}$ has an odd $K_4$-subdivision. Using this result, Chen proved that all graphs in $\bigcup_{\ell\geq5}\mathcal{G}_{\ell}$ are 3-colorable.

Graphs with girth $2\ell+1$ and without longer odd holes that contain an odd $K_4$-subdivision

Abstract

We say that a graph has an {\em odd -subdivision} if some subgraph of is isomorphic to a -subdivision and whose faces are all odd holes of . For a number , let denote the family of graphs which have girth and have no odd hole with length greater than . Wu, Xu and Xu conjectured that every graph in is 3-colorable. Recently, Chudnovsky et al. and Wu et al., respectively, proved that every graph in and is 3-colorable. In this paper, we prove that no -vertex-critical graph in has an odd -subdivision. Using this result, Chen proved that all graphs in are 3-colorable.
Paper Structure (4 sections, 8 theorems, 6 equations, 1 figure)

This paper contains 4 sections, 8 theorems, 6 equations, 1 figure.

Key Result

Theorem 1.2

No $4$-vertex-critical graph in $\bigcup_{\ell\geq5}\mathcal{G}_{\ell}$ has an odd $K_4$-subdivision.

Figures (1)

  • Figure 1: $u_1,u_2,u_3,u_4$ are the degree-3 vertices of $H$. All faces $C_1, C_2, C_3,C_4$ of $H$ are odd holes. $\{P_1,P_2\}$, $\{Q_1,Q_2\}$, $\{L_1,L_2\}$ are the pairs of vertex disjoint arrises of $H$.

Theorems & Definitions (27)

  • Conjecture 1.1
  • Theorem 1.2
  • Lemma 2.1
  • Lemma 2.2
  • proof
  • Lemma 2.3
  • proof
  • Lemma 2.4
  • proof
  • Lemma 2.5
  • ...and 17 more