Table of Contents
Fetching ...

A Note on Fractional DP-Coloring of Graphs

Daniel Dominik, Hemanshu Kaul, Jeffrey A. Mudrock

Abstract

DP-coloring (also called correspondence coloring) is a generalization of list coloring introduced by Dvořák and Postle in 2015. In 2019, Bernshteyn, Kostochka, and Zhu introduced a fractional version of DP-coloring. They showed that unlike the fractional list chromatic number, the fractional DP-chromatic number of a graph $G$, denoted $χ_{_{DP}}^*(G)$, can be arbitrarily larger than $χ^*(G)$, the graph's fractional chromatic number. We generalize a result of Alon, Tuza, and Voigt (1997) on the fractional list chromatic number of odd cycles, and, in the process, show that for each $k \in \mathbb{N}$, $χ_{_{DP}}^*(C_{2k+1}) = χ^*(C_{2k+1})$. We also show that for any $n \geq 2$ and $m \in \mathbb{N}$, if $p^*$ is the solution in $(0,1)$ to $p=(1-p)^n$ then $χ_{_{DP}}^*(K_{n,m})\leq1/p^*$, and we prove a generalization of this result for multipartite graphs. Finally, we determine a lower bound on $χ_{_{DP}}^*(K_{2,m})$ for any $m \geq 3$.

A Note on Fractional DP-Coloring of Graphs

Abstract

DP-coloring (also called correspondence coloring) is a generalization of list coloring introduced by Dvořák and Postle in 2015. In 2019, Bernshteyn, Kostochka, and Zhu introduced a fractional version of DP-coloring. They showed that unlike the fractional list chromatic number, the fractional DP-chromatic number of a graph , denoted , can be arbitrarily larger than , the graph's fractional chromatic number. We generalize a result of Alon, Tuza, and Voigt (1997) on the fractional list chromatic number of odd cycles, and, in the process, show that for each , . We also show that for any and , if is the solution in to then , and we prove a generalization of this result for multipartite graphs. Finally, we determine a lower bound on for any .

Paper Structure

This paper contains 7 sections, 10 theorems, 24 equations, 1 table.

Key Result

Theorem 1

Let $G$ be a connected graph. Then, $\chi_{_{DP}}^*(G) \leq 2$ if and only if $G$ contains no odd cycles and at most one even cycle. Furthermore, if $G$ contains no odd cycles and exactly one even cycle, then $\chi_{_{DP}}^*(G)=2$ even though $2$ is not contained in the set $\{ a/b : \text{$G$ is $(

Theorems & Definitions (15)

  • Theorem 1: BK18
  • Theorem 2
  • Proposition 5
  • Theorem 6
  • Corollary 7
  • Theorem 9: BK18
  • Theorem 10
  • proof
  • Lemma 12
  • proof
  • ...and 5 more