Analogs of Brooks' Theorem for coloring parameters of infinite graphs and Konig's Lemma
Abstract
In the past, analogies to Brooks' theorem have been found for various parameters of graph coloring for infinite locally finite connected graphs in ZFC. We prove these theorems are not provable in ZF (i.e. the Zermelo-Fraenkel set theory without the Axiom of Choice (AC)). Moreover, such theorems follow from Konig's Lemma (every infinite locally finite connected graph has a ray-a weak form of AC) in ZF. In ZF, we formulate new conditions for the existence of the distinguishing chromatic number, the distinguishing chromatic index, the total chromatic number, the total distinguishing chromatic number, the odd chromatic number, and the neighbor-distinguishing index in infinite locally finite connected graphs, which are equivalent to Konig's Lemma. In this direction, we strengthen a recent result of Stawiski from 2023.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2024
- DOI:
- 10.48550/arXiv.2408.00812
- arXiv:
- arXiv:2408.00812
- Bibcode:
- 2024arXiv240800812B
- Keywords:
-
- Mathematics - Combinatorics;
- Mathematics - Logic;
- Primary 03E25;
- Secondary 05C63;
- 05C15;
- 05C25
- E-Print:
- 15 pages, 8 figures. Some new results were added