Call a colouring of a graph distinguishing if the only automorphism which preserves it is the identity. We investigate the role of the Axiom of Choice in the existence of certain proper or distinguishing colourings in both vertex and edge variants with special emphasis on locally finite connected graphs. We show that every locally finite connected graph has a distinguishing colouring with at most countable number of colours or every locally finite connected graph has a proper colouring with at most countable number of colours if and only if Kőnig's Lemma holds. This statement holds for both vertex and edge colourings. Furthermore, we show that it is not provable in ZF that such colourings exist even for every connected graph with maximum degree 3. We also formulate a few conditions about distinguishing and proper colourings which are equivalent to the Axiom of Choice.
An edge-colouring of a graph is distinguishing, if the only automorphism which preserves the colouring is the identity. It has been conjectured that all but finitely many connected, finite, regular graphs admit a distinguishing edge-colouring with two colours. We show that all such graphs except $K_2$ admit a distinguishing edge-colouring with three colours. This result also extends to infinite, locally finite graphs. Furthermore, we are able to show that there are arbitrary large infinite cardinals $κ$ such that every connected $κ$-regular graph has distinguishing edge-colouring with two colo…
A distinguishing colouring of a graph is a colouring of the vertex set such that no non-trivial automorphism preserves the colouring. Tucker conjectured that if every non-trivial automorphism of a locally finite graph moves infinitely many vertices, then there is a distinguishing 2-colouring. We show that the requirement of local finiteness is necessary by giving a non-locally finite graph for which no finite number of colours suffices.
A colouring of a graph G is called distinguishing if its stabiliser in Aut G is trivial. It has been conjectured that, if every automorphism of a locally finite graph moves infinitely many vertices, then there is a distinguishing 2-colouring. We study properties of random 2-colourings of locally finite graphs and show that the stabiliser of such a colouring is almost surely nowhere dense in Aut G and a null set with respect to the Haar measure on the automorphism group. We also investigate random 2-colourings in several classes of locally finite graphs where the existence of a distinguishing 2…
With any (not necessarily proper) edge $k$-colouring $γ:E(G)\longrightarrow\{1,\dots,k\}$ of a graph $G$,one can associate a vertex colouring $σ\_γ$ given by $σ\_γ(v)=\sum\_{e\ni v}γ(e)$.A neighbour-sum-distinguishing edge $k$-colouring is an edge colouring whose associated vertex colouring is proper.The neighbour-sum-distinguishing index of a graph $G$ is then the smallest $k$ for which $G$ admitsa neighbour-sum-distinguishing edge $k$-colouring.These notions naturally extends to total colourings of graphs that assign colours to both vertices and edges.We study in this paper equitable neighbo…
Consider a simple graph $G=(V,E)$ of maximum degree $Δ$ and its proper total colouring $c$ with the elements of the set $\{1,2,\ldots,k\}$. The colouring $c$ is said to be \emph{neighbour sum distinguishing} if for every pair of adjacent vertices $u$, $v$, we have $c(u)+\sum_{e\ni u}c(e)\neq c(v)+\sum_{e\ni v}c(e)$. The least integer $k$ for which it exists is denoted by $χ"_{\sum}(G)$, hence $χ"_{\sum}(G) \geq Δ+1$. On the other hand, it has been daringly conjectured that just one more label than presumed in the famous Total Colouring Conjecture suffices to construct such total colouring $c$,…
Call a colouring of a graph distinguishing, if the only colour preserving automorphism is the identity. A conjecture of Tucker states that if every automorphism of a graph $G$ moves infinitely many vertices, then there is a distinguishing $2$-colouring. We confirm this conjecture for graphs with maximum degree $Δ\leq 5$. Furthermore, using similar techniques we show that if an infinite graph has maximum degree $Δ\geq 3$, then it admits a distinguishing colouring with $Δ- 1$ colours. This bound is sharp.
An adjacent vertex distinguishing edge colouring of a graph $G$ without isolated edges is its proper edge colouring such that no pair of adjacent vertices meets the same set of colours in $G$. We show that such colouring can be chosen from any set of lists associated to the edges of $G$ as long as the size of every list is at least $Δ+CΔ^{\frac{1}{2}}(\logΔ)^4$, where $Δ$ is the maximum degree of $G$ and $C$ is a constant. The proof is probabilistic. The same is true in the environment of total colourings.
We consider infinite graphs. The distinguishing number $D(G)$ of a graph $G$ is the minimum number of colours in a vertex colouring of $G$ that is preserved only by the trivial automorphism. An analogous invariant for edge colourings is called the distinguishing index, denoted by $D'(G)$. We prove that $D'(G)\leq D(G)+1$. For proper colourings, we study relevant invariants called the distinguishing chromatic number $χ_D(G)$, and the distinguishing chromatic index $χ'_D(G)$, for vertex and edge colourings, respectively. We show that $χ_D(G)\leq 2Δ(G)-1$ for graphs with a finite maximum degree $…
A proper edge $k$-colouring of a graph $G=(V,E)$ is an assignment $c:E\to \{1,2,\ldots,k\}$ of colours to the edges of the graph such that no two adjacent edges are associated with the same colour. A neighbour sum distinguishing edge $k$-colouring, or nsd $k$-colouring for short, is a proper edge $k$-colouring such that $\sum_{e\ni u}c(e)\neq \sum_{e\ni v}c(e)$ for every edge $uv$ of $G$. We denote by $χ'_{\sum}(G)$ the neighbour sum distinguishing index of $G$, which is the least integer $k$ such that an nsd $k$-colouring of $G$ exists. By definition at least maximum degree, $Δ(G)$ colours ar…
Call a colouring of a graph \emph{distinguishing} if the only automorphism of this graph which preserves said colouring is the identity. Let $H$ be an arbitrary graph. We say that a graph $G$ is \emph{$H$-free} if $G$ does not contain an induced subgraph isomorphic to $H$. Kargul, Musiał, Pal and Gorzkowska showed that if $n$ is a natural number greater than two, then every finite connected $K_{1,n}$-free graph of order at least six admits a distinguishing edge colouring with at most $n-1$ colours. We extend this result to all locally finite connected $K_{1,n}$-free graphs of order at least si…
A proper total $k$-colouring of a graph $G=(V,E)$ is an assignment $c : V \cup E\to \{1,2,\ldots,k\}$ of colours to the edges and the vertices of $G$ such that no two adjacent edges or vertices and no edge and its end-vertices are associated with the same colour. A total neighbour sum distinguishing $k$-colouring, or tnsd $k$-colouring for short, is a proper total $k$-colouring such that $\sum_{e\ni u}c(e)+c(u)\neq \sum_{e\ni v}c(e)+c(v)$ for every edge $uv$ of $G$. We denote by $χ''_Σ(G)$ the total neighbour sum distinguishing index of $G$, which is the least integer $k$ such that a tnsd edge…
Let $c$ and $c'$ be edge or vertex colourings of a graph $G$. We say that $c'$ is less symmetric than $c$ if the stabiliser (in $\operatorname{Aut} G$) of $c'$ is contained in the stabiliser of $c$. We show that if $G$ is not a bicentred tree, then for every vertex colouring of $G$ there is a less symmetric edge colouring with the same number of colours. On the other hand, if $T$ is a tree, then for every edge colouring there is a less symmetric vertex colouring with the same number of edges. Our results can be used to characterise those graphs whose distinguishing index is larger than their d…
A well-studied concept is that of the total chromatic number. A proper total colouring of a graph is a colouring of both vertices and edges so that every pair of adjacent vertices receive different colours, every pair of adjacent edges receive different colours and every vertex and incident edge receive different colours. This paper considers a strengthening of this condition and examines the minimum number of colours required for a total colouring with the additional property that for any adjacent vertices $u$ and $v$, the sets of colours incident to $u$ is different from the set of colours i…
A proper edge colouring of a graph is adjacent vertex distinguishing if no two adjacent vertices see the same set of colours. Using a clever application of the Local Lemma, Hatami (2005) proved that every graph with maximum degree $Δ$ and no isolated edge has an adjacent vertex distinguishing edge colouring with $Δ+ 300$ colours, provided $Δ$ is large enough. We show that this bound can be reduced to $Δ+ 19$. This is motivated by the conjecture of Zhang, Liu, and Wang (2002) that $Δ+ 2$ colours are enough for $Δ\geq 3$.
The least $k$ admitting a proper edge colouring $c:E\to\{1,2,\ldots,k\}$ of a graph $G=(V,E)$ without isolated edges such that $\sum_{e\ni u}c(e)\neq \sum_{e\ni v}c(e)$ for every $uv\in E$ is denoted by $χ'_Σ(G)$. It has been conjectured that $χ'_Σ(G)\leq Δ+ 2$ for every connected graph of order at least three different from the cycle $C_5$, where $Δ$ is the maximum degree of $G$. It is known that $χ'_Σ(G) = Δ+ O(Δ^\frac{5}{6}\ln^\frac{1}{6}Δ)$ for a graph $G$ without isolated edges. We improve this upper bound to $χ'_Σ(G) = Δ+ O(Δ^\frac{1}{2})$ using a simpler approach involving a combinatori…
The Total Colouring Conjecture suggests that $Δ+3$ colours ought to suffice in order to provide a proper total colouring of every graph $G$ with maximum degree $Δ$. Thus far this has been confirmed up to an additive constant factor, and the same holds even if one additionally requires every pair of neighbours in $G$ to differ with respect to the sets of their incident colours, so called pallets. Within this paper we conjecture that an upper bound of the form $Δ+const.$ still remains valid even after extending the distinction requirement to pallets associated with vertices at distance at most $…
The distinguishing index $D'(G)$ of a graph $G$ is the least number of colours needed in an edge colouring which is not preserved by any non-trivial automorphism. Broere and Pilśniak conjectured that if every non-trivial automorphism of a countable graph $G$ moves infinitely many edges, then $D'(G) \leq 2$. We prove this conjecture.
In this note, we introduce and study a new version of neighbour-distinguishing arc-colourings of digraphs. An arc-colouring $γ$ of a digraph $D$ is proper if no two arcs with the same head or with the same tail are assigned the same colour. For each vertex $u$ of $D$, we denote by $S_γ^-(u)$ and $S_γ^+(u)$ the sets of colours that appear on the incoming arcs and on the outgoing arcs of $u$, respectively. An arc colouring $γ$ of $D$ is \emph{neighbour-distinguishing} if, for every two adjacent vertices $u$ and $v$ of $D$, the ordered pairs $(S_γ^-(u),S_γ^+(u))$ and $(S_γ^-(v),S_γ^+(v))$ are dis…
We consider the following extension of the concept of adjacent strong edge colourings of graphs without isolated edges. Two distinct vertices which are at distant at most $r$ in a graph are called $r$-adjacent. The least number of colours in a proper edge colouring of a graph $G$ such that the sets of colours met by any $r$-adjacent vertices in $G$ are distinct is called the $r$-adjacent strong chromatic index of $G$ and denoted by $χ'_{a,r}(G)$. It has been conjectured that $χ'_{a,1}(G)\leqΔ+2$ if $G$ is connected of maximum degree $Δ$ and non-isomorphic to $C_5$, while Hatami proved that the…
The distinguishing number of a graph $G$ is the smallest $k$ such that $G$ admits a $k$-colouring for which the only colour-preserving automorphism of $G$ is the identity. We determine the distinguishing number of finite $4$-valent vertex-transitive graphs. We show that, apart from one infinite family and finitely many examples, they all have distinguishing number $2$.
We supply an upper bound on the distinguishing chromatic number of certain infinite graphs satisfying an adjacency property. Distinguishing proper $n$-colourings are generalized to the new notion of distinguishing homomorphisms. We prove that if a graph $G$ satisfies the connected existentially closed property and admits a homomorphism to $H$, then it admits continuum-many distinguishing homomorphisms from $G$ to $H$ join $K_2.$ Applications are given to a family universal $H$-colourable graphs, for $H$ a finite core.
Let $c:V\cup E\to\{1,2,\ldots,k\}$ be a proper total colouring of a graph $G=(V,E)$ with maximum degree $Δ$. We say vertices $u,v\in V$ are sum distinguished if $c(u)+\sum_{e\ni u}c(e)\neq c(v)+\sum_{e\ni v}c(e)$. By $χ"_{Σ,r}(G)$ we denote the least integer $k$ admitting such a colouring $c$ for which every $u,v\in V$, $u\neq v$, at distance at most $r$ from each other are sum distinguished in $G$. For every positive integer $r$ an infinite family of examples is known with $χ"_{Σ,r}(G)=Ω(Δ^{r-1})$. In this paper we prove that $χ"_{Σ,r}(G)\leq (2+o(1))Δ^{r-1}$ for every integer $r\geq 3$ and e…
A graph $G$ is Ramsey for a graph $H$ if every colouring of the edges of $G$ in two colours contains a monochromatic copy of $H$. Two graphs $H_1$ and $H_2$ are Ramsey equivalent if any graph $G$ is Ramsey for $H_1$ if and only if it is Ramsey for $H_2$. A graph parameter $s$ is Ramsey distinguishing if $s(H_1)\neq s(H_2)$ implies that $H_1$ and $H_2$ are not Ramsey equivalent. In this paper we show that the chromatic number is a Ramsey distinguishing parameter. We also extend this to the multi-colour case and use a similar idea to find another graph parameter which is Ramsey distinguishing.
For any graph $G=(V,E)$ with maximum degree $Δ$ and without isolated edges, and a positive integer $r$, by $χ'_{Σ,r}(G)$ we denote the $r$-distant sum distinguishing index of $G$. This is the least integer $k$ for which a proper edge colouring $c:E\to\{1,2,\ldots,k\}$ exists such that $\sum_{e\ni u}c(e)\neq \sum_{e\ni v}c(e)$ for every pair of distinct vertices $u,v$ at distance at most $r$ in $G$. It was conjectured that $χ'_{Σ,r}(G)\leq (1+o(1))Δ^{r-1}$ for every $r\geq 3$. Thus far it has been in particular proved that $χ'_{Σ,r}(G)\leq 6Δ^{r-1}$ if $r\geq 4$. Combining probabilistic and con…
Consider a positive integer $r$ and a graph $G=(V,E)$ with maximum degree $Δ$ and without isolated edges. The least $k$ so that a proper edge colouring $c:E\to\{1,2,\ldots,k\}$ exists such that $\sum_{e\ni u}c(e)\neq \sum_{e\ni v}c(e)$ for every pair of distinct vertices $u,v$ at distance at most $r$ in $G$ is denoted by $χ'_{Σ,r}(G)$. For $r=1$ it has been proved that $χ'_{Σ,1}(G)=(1+o(1))Δ$. For any $r\geq 2$ in turn an infinite family of graphs is known with $χ'_{Σ,r}(G)=Ω(Δ^{r-1})$. We prove that on the other hand, $χ'_{Σ,r}(G)=O(Δ^{r-1})$ for $r\geq 2$. In particular we show that $χ'_{Σ,r…
Let $c$ be a proper edge colouring of a graph $G=(V,E)$ with integers $1,2,\ldots,k$. Then $k\geq Δ(G)$, while by Vizing's theorem, no more than $k=Δ(G)+1$ is necessary for constructing such $c$. On the course of investigating irregularities in graphs, it has been moreover conjectured that only slightly larger $k$, i.e., $k=Δ(G)+2$ enables enforcing additional strong feature of $c$, namely that it attributes distinct sums of incident colours to adjacent vertices in $G$ if only this graph has no isolated edges and is not isomorphic to $C_5$. We prove the conjecture is valid for planar graphs of…
Neighbour sum distinguishing edge-weightings with local constraints
Instituto de Matemáticas, UNAM（墨西哥国立自治大学数学研究所）；G-SCOP, Université Grenoble Alpes, CNRS（格勒诺布尔阿尔卑斯大学）；LIMOS, CNRS UMR 6158, Université Clermont Auvergne（克莱蒙奥弗涅大学）；Institute of Mathematics, University of Zielona Góra（绿山大学数学研究所）
A distinguishing r-vertex-labelling (resp. r-edge-labelling) of an undirected graph G is a mapping $λ$ from the set of vertices (resp. the set of edges) of G to the set of labels {1,. .. , r} such that no non-trivial automorphism of G preserves all the vertex (resp. edge) labels. The distinguishing number D(G) and the distinguishing index D (G) of G are then the smallest r for which G admits a distinguishing r-vertex-labelling or r-edge-labelling, respectively. The distinguishing chromatic number D $χ$ (G) and the distinguishing chromatic index D $χ$ (G) are defined similarly, with the additio…
A \emph{locally irregular graph} is a graph whose adjacent vertices have distinct degrees. We say that a graph $G$ can be decomposed into $k$ locally irregular subgraphs if its edge set may be partitioned into $k$ subsets each of which induces a locally irregular subgraph in $G$. It has been conjectured that apart from the family of exceptions which admit no such decompositions, i.e., odd paths, odd cycles and a special class of graphs of maximum degree $3$, every connected graph can be decomposed into $3$ locally irregular subgraphs. Using a combination of a probabilistic approach and some kn…
