Table of Contents
Fetching ...

Fractional coloring with local demands and applications to degree-sequence bounds on the independence number

Tom Kelly, Luke Postle

TL;DR

This work develops a framework of fractional coloring with local demands, where each vertex’s color-need depends on local structure and dualizes to weighted independence bounds via the stable set polytope. A central stratification approach converts global fractional-chromatic bounds into constructive local colorings, enabling new degree-sequence-type bounds for the independence number and robust extensions to fractional list-coloring, edge-coloring, and total-coloring in local regimes. The authors prove approximate local versions of Shearer/Molloy and Ajtai–Erdős–Komlós–Szemerédi style bounds for triangle-free and $K_r$-free graphs, plus local analogues of Reed’s conjecture and Vizing’s theorem, and they establish a comprehensive χ-boundedness theory in the local fractional setting. The results yield new bounds and conjectures for independence numbers and chromatic parameters in diverse graph classes, with implications for precoloring extensions and list-coloring in fractional contexts. Overall, the paper provides a versatile toolkit to translate global coloring bounds into local, demand-driven colorings across numerous classical coloring problems.

Abstract

In a fractional coloring, vertices of a graph are assigned measurable subsets of the real line and adjacent vertices receive disjoint subsets; the fractional chromatic number of a graph is at most $k$ if it has a fractional coloring in which each vertex receives a subset of $[0, 1]$ of measure at least $1/k$. We introduce and develop the theory of "fractional colorings with local demands" wherein each vertex "demands" a certain amount of color that is determined by local parameters such as its degree or the clique number of its neighborhood. This framework provides the natural setting in which to generalize degree-sequence type bounds on the independence number. Indeed, by Linear Programming Duality, all of the problems we study have an equivalent formulation as a problem concerning weighted independence numbers, and they often imply new bounds on the independence number. Our results and conjectures are inspired by many of the most classical results and important open problems concerning the independence number and the chromatic number, often simultaneously. We conjecture a local strengthening of both Shearer's bound on the independence number of triangle-free graphs and the fractional relaxation of Molloy's recent bound on their chromatic number, as well as a longstanding problem of Ajtai et al.\ on the independence number of $K_r$-free graphs and the fractional relaxations of Reed's $ω, Δ, χ$ Conjecture and the Total Coloring Conjecture. We prove an approximate version of the first two, and we prove "local demands" versions of Vizing's Theorem and of some $χ$-boundedness results.

Fractional coloring with local demands and applications to degree-sequence bounds on the independence number

TL;DR

This work develops a framework of fractional coloring with local demands, where each vertex’s color-need depends on local structure and dualizes to weighted independence bounds via the stable set polytope. A central stratification approach converts global fractional-chromatic bounds into constructive local colorings, enabling new degree-sequence-type bounds for the independence number and robust extensions to fractional list-coloring, edge-coloring, and total-coloring in local regimes. The authors prove approximate local versions of Shearer/Molloy and Ajtai–Erdős–Komlós–Szemerédi style bounds for triangle-free and -free graphs, plus local analogues of Reed’s conjecture and Vizing’s theorem, and they establish a comprehensive χ-boundedness theory in the local fractional setting. The results yield new bounds and conjectures for independence numbers and chromatic parameters in diverse graph classes, with implications for precoloring extensions and list-coloring in fractional contexts. Overall, the paper provides a versatile toolkit to translate global coloring bounds into local, demand-driven colorings across numerous classical coloring problems.

Abstract

In a fractional coloring, vertices of a graph are assigned measurable subsets of the real line and adjacent vertices receive disjoint subsets; the fractional chromatic number of a graph is at most if it has a fractional coloring in which each vertex receives a subset of of measure at least . We introduce and develop the theory of "fractional colorings with local demands" wherein each vertex "demands" a certain amount of color that is determined by local parameters such as its degree or the clique number of its neighborhood. This framework provides the natural setting in which to generalize degree-sequence type bounds on the independence number. Indeed, by Linear Programming Duality, all of the problems we study have an equivalent formulation as a problem concerning weighted independence numbers, and they often imply new bounds on the independence number. Our results and conjectures are inspired by many of the most classical results and important open problems concerning the independence number and the chromatic number, often simultaneously. We conjecture a local strengthening of both Shearer's bound on the independence number of triangle-free graphs and the fractional relaxation of Molloy's recent bound on their chromatic number, as well as a longstanding problem of Ajtai et al.\ on the independence number of -free graphs and the fractional relaxations of Reed's Conjecture and the Total Coloring Conjecture. We prove an approximate version of the first two, and we prove "local demands" versions of Vizing's Theorem and of some -boundedness results.

Paper Structure

This paper contains 22 sections, 31 theorems, 51 equations.

Key Result

Proposition 1.4

Let $G$ be a graph with demand function $f$. The following are equivalent.

Theorems & Definitions (73)

  • Definition 1.1
  • Definition 1.2
  • Definition 1.3
  • Proposition 1.4
  • Definition 1.5
  • Proposition 1.6
  • Theorem 2.1: Local Fractional Greedy Bound
  • Conjecture 2.2: Local Fractional Shearer/Molloy
  • Theorem 2.3
  • Conjecture 2.4: Local Fractional Ajtai-Erdős-Komlós-Szemerédi
  • ...and 63 more