Year: 2024
Type: article
Abstract: A vertex colouring of a graph is called asymmetric if the onlyautomorphism which preserves it is the identity. Tucker conjectured thatif every automorphism of a connected, locally finite graph movesinfinitely many vertices, then there is an asymmetric colouring with 2colours. This conjecture was recently confirmed by Babai, using theheavy machinery of the classification of finite simple groups. We makeprogress towards a purely combinatorial proof of this conjecture in thespecial case of graphs with bounded maximal degree. More precisely,using only elementary combinatorial methods, we prove that if everyautomorphism of a connected graph with maximal degree Δ moves infinitelymany vertices, then there is an asymmetric colouring usingO(\sqrt(Δ) log(Δ)) colours. This is the firstimprovement which does not depend on the classification of finite simplegroups over the trivial bound of O(Δ).
Source: Ars Mathematica Contemporanea
Institutions: Graz University of Technology, AGH University of Krakow
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
Funders: Austrian Science Fund, OeAD-GmbH
OpenAlex ID: W2991812286