Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Irreducible distinguishing colourings and the Axiom of Choice

Marcin Stawiski

Abstract

We say that a vertex or edge colouring of a graph is distinguishing if the only automorphism that preserves this colouring is the identity. A (proper) distinguishing colouring is irreducible if there is no possibility of merging two non-empty classes of colours to obtain a (proper) distinguishing colouring. We show that every graph has an irreducible (proper) distinguishing vertex colouring and that every graph without isolated edge and with at most one isolated vertex has an irreducible (proper) distinguishing edge colouring. Moreover, we show that the existence of any of these colourings for every connected graph (not isomorphic to $K_2$) is equivalent to the Axiom of Choice.

Irreducible distinguishing colourings and the Axiom of Choice

Abstract

We say that a vertex or edge colouring of a graph is distinguishing if the only automorphism that preserves this colouring is the identity. A (proper) distinguishing colouring is irreducible if there is no possibility of merging two non-empty classes of colours to obtain a (proper) distinguishing colouring. We show that every graph has an irreducible (proper) distinguishing vertex colouring and that every graph without isolated edge and with at most one isolated vertex has an irreducible (proper) distinguishing edge colouring. Moreover, we show that the existence of any of these colourings for every connected graph (not isomorphic to ) is equivalent to the Axiom of Choice.
Paper Structure (3 sections, 5 theorems, 1 figure)

This paper contains 3 sections, 5 theorems, 1 figure.

Table of Contents

  1. Introduction
  2. Well orderable-sets of colours and irreducible distinguishing colourings
  3. Irreducible colourings and the Axiom of Choice

Key Result

Theorem 1

Assume the notion of cardinal number as an initial ordinal number. In ZF, the following statements are equivalent:

Figures (1)

  • Figure :

Theorems & Definitions (9)

  • Theorem 1: Stawiski 2023 StawiskiAC
  • Theorem 2: Banerjee, Molnár, Gopaulsingh 2024 Ban1
  • Conjecture 3
  • Theorem 4
  • Theorem 5
  • proof
  • Lemma 6
  • proof
  • proof