arXiv++ Combinatorics

An assignment of numbers to the vertices of graph G is closed distinguishing if for any two adjacent vertices v and u the sum of labels of the vertices in the closed neighborhood of the vertex v differs from the sum of labels of the vertices in the closed neighborhood of the vertex u unless they have the same closed neighborhood (i.e. N[u]=N[v]). The closed distinguishing number of G, denoted by dis[G], is the smallest integer k such that there is a closed distinguishing labeling for G using integers from the set[k].Also, for each vertex $v \in V(G)$, let L(v) denote a list of natural numbers available at v. A list closed distinguishing labeling is a closed distinguishing labeling f such that $f(v)\in L(v)$ for each $v \in V(G)$.A graph G is said to be closed distinguishing k-choosable if every k-list assignment of natural numbers to the vertices of G permits a list closed distinguishing labeling of G. The closed distinguishing choice number of G, $dis_{\ell}[G]$, is the minimum number k such that G is closed distinguishing k-choosable. We show that for each integer t there is a bipartite graph G such that $dis[G] > t$.It was shown that for every graph G with $Δ\geq 2$, $dis[G]\leq dis_{\ell}[G]\leq Δ^2-Δ+1$ and there are infinitely values of $Δ$ for which G might be chosen so that $dis[G] =Δ^2-Δ+1$. We show that the difference between $dis[G]$ and $dis_{\ell}[G]$ can be arbitrary large and for every positive integer t there is a graph G such that $dis_{\ell}[G]-dis[G]\geq t$. We improve the current upper bound and give some number of upper bounds for the closed distinguishing choice number by using the Combinatorial Nullstellensatz. We show that it is $\mathbf{NP}$-complete to decide for a given planar subcubic graph G, whether dis[G]=2. Also, we prove that for every $k\geq 3$, it is {\bf NP}-complete to decide whether $dis[G]=k$ for a given graph G

A graph $G$ is said to be $k$-distinguishable if the vertex set can be colored using $k$ colors such that no non-trivial automorphism fixes every color class, and the distinguishing number $D(G)$ is the least integer $k$ for which $G$ is $k$-distinguishable. If for each $v\in V(G)$ we have a list $L(v)$ of colors, and we stipulate that the color assigned to vertex $v$ comes from its list $L(v)$ then $G$ is said to be $\mathcal{L}$-distinguishable where $\mathcal{L} =\{L(v)\}_{v\in V(G)}$. The list distinguishing number of a graph, denoted $D_l(G)$, is the minimum integer $k$ such that every collection of lists $\mathcal{L}$ with $|L(v)|=k$ admits an $\mathcal{L}$-distinguishing coloring. In this paper, we prove that $D_l(G)=D(G)$ when $G$ is a Kneser graph.

The distinguishing number of a graph $H$ is a symmetry related graph invariant whose study started two decades ago. The distinguishing number $D(H)$ is the least integer $d$ such that $H$ has a $d$-distinguishing coloring. A $d$-distinguishing coloring is a coloring $c:V(H)\rightarrow\{1,\dots,d\}$ invariant only under the trivial automorphism. In this paper, we continue the study of a game variant of this parameter, recently introduced. The distinguishing game is a game with two players, Gentle and Rascal, with antagonist goals. This game is played on a graph $H$ with a fixed set of $d\in\mathbb N^*$ colors. Alternately, the two players choose a vertex of $H$ and color it with one of the $d$ colors. The game ends when all the vertices have been colored. Then Gentle wins if the coloring is $d$-distinguishing and Rascal wins otherwise. This game defines two new invariants, which are the minimum numbers of colors needed to ensure that Gentle has a winning strategy, depending who starts the game. The invariant could eventually be infinite. In this paper, we focus on cartesian product, a graph operation well studied in the classical case. We give sufficient conditions on the order of two connected factors $H$ and $F$ relatively prime, which ensure that one of the game distinguishing numbers of the cartesian product $H\square F$ is finite. If $H$ is a so-called involutive graph, we give an upper bound of order $D^2(H)$ for one of the game distinguishing numbers of $H\square F$. Finally, using in part the previous result, we compute the exact value of these invariants for cartesian products of relatively prime cycles. It turns out that the value is either infinite or equal to $2$, depending on the parity of the product order.

A \textit{distinguishing coloring} of a graph $G$ is a coloring of the vertices so that every nontrivial automorphism of $G$ maps some vertex to a vertex with a different color. The \textit{distinguishing number} of $G$ is the minimum $k$ such that $G$ has a distinguishing coloring where each vertex is assigned a color from $\{1,\ldots,k\}$. A \textit{list assignment} to $G$ is an assignment $L=\{L(v)\}_{v\in V(G)}$ of lists of colors to the vertices of $G$. A \textit{distinguishing $L$-coloring} of $G$ is a distinguishing coloring of $G$ where the color of each vertex $v$ comes from $L(v)$. The {\it list distinguishing number} of $G$ is the minimum $k$ such that every list assignment to $G$ in which $|L(v)|=k$ for all $v\in V(G)$ yields a distinguishing $L$-coloring of $G$. We prove that if $G$ is an interval graph, then its distinguishing number and list distinguishing number are equal.

The distinguishing number of a graph $G$ is a symmetry related graph invariant whose study started two decades ago. The distinguishing number $D(G)$ is the least integer $d$ such that $G$ has a $d$-distinguishing coloring. A distinguishing $d$-coloring is a coloring $c:V(G)\rightarrow\{1,...,d\}$ invariant only under the trivial automorphism. In this paper, we introduce a game variant of the distinguishing number. The distinguishing game is a game with two players, the Gentle and the Rascal, with antagonist goals. This game is played on a graph $G$ with a set of $d\in\mathbb N^*$ colors. Alternately, the two players choose a vertex of $G$ and color it with one of the $d$ colors. The game ends when all the vertices have been colored. Then the Gentle wins if the coloring is distinguishing and the Rascal wins otherwise. This game leads to define two new invariants for a graph $G$, which are the minimum numbers of colors needed to ensure that the Gentle has a winning strategy, depending on who starts. These invariants could be infinite, thus we start by giving sufficient conditions to have infinite game distinguishing numbers. We also show that for graphs with cyclic automorphisms group of prime odd order, both game invariants are finite. After that, we define a class of graphs, the involutive graphs, for which the game distinguishing number can be quadratically bounded above by the classical distinguishing number. The definition of this class is closely related to imprimitive actions whose blocks have size $2$. Then, we apply results on involutive graphs to compute the exact value of these invariants for hypercubes and even cycles. Finally, we study odd cycles, for which we are able to compute the exact value when their order is not prime. In the prime order case, we give an upper bound of $3$.

In the setting of a group $Γ$ acting faithfully on a set $X$, a $k$-coloring $c: X\rightarrow \{1, 2, ..., k\}$ is called $Γ$-distinguishing if the only element of $Γ$ that fixes $c$ is the identity element. The distinguishing number $D_Γ(X)$ is the minimum value of $k$ such that a $Γ$-distinguishing $k$-coloring of $X$ exists. Now, fixing $k= D_Γ(X)$, a subset $W\subset X$ with trivial pointwise stabilizer satisfies the precoloring extension property $P(W)$ if every precoloring $c: X-W\rightarrow \{1, ..., k\}$ can be extended to a $Γ$-distinguishing $k$-coloring of $X$. The distinguishing extension number $\text{ext}_D(X, Γ)$ is then defined to be the minimum $n$ such that for all applicable $W\subset X$, $|W|\geq n$ implies that $P(W)$ holds. In this paper, we compute $\text{ext}_D(X, Γ)$ in two particular instances: when $X = S^1$ is the unit circle and $Γ= \text{Isom}(S^1) = O(2)$ is its isometry group, and when $X = V(C_n)$ is the set of vertices of the cycle of order $n$ and $Γ= \text{Aut}(C_n) = D_n$, the dihedral group of a regular $n$-gon. This resolves two conjectures of Ferrara, Gethner, Hartke, Stolee, and Wenger. In the case of $X=\mathbf R^2$, we prove that $\text{ext}_D(\mathbf R^2, SE(2))<\infty$, which is consistent with (but does not resolve) another conjecture of Ferrara et al. On the other hand, we also prove that for all $n\geq 3$, $\text{ext}_D(S^{n-1}, O(n)) = \infty$, and for all $n\geq 3$, $\text{ext}_D(\mathbf R^n, E(n))=\infty$, disproving two other conjectures from the same authors.

Given a group $Γ$ acting on a set $X$, a $k$-coloring $φ:X\to\{1,\dots,k\}$ of $X$ is distinguishing with respect to $Γ$ if the only $γ\in Γ$ that fixes $φ$ is the identity action. The distinguishing number of the action $Γ$, denoted $D_Γ(X)$, is then the smallest positive integer $k$ such that there is a distinguishing $k$-coloring of $X$ with respect to $Γ$. This notion has been studied in a number of settings, but by far the largest body of work has been concerned with finding the distinguishing number of the action of the automorphism group of a graph $G$ upon its vertex set, which is referred to as the distinguishing number of $G$. The distinguishing number of a group action is a measure of how difficult it is to "break" all of the permutations arising from that action. In this paper, we aim to further differentiate the resilience of group actions with the same distinguishing number. In particular, we introduce a precoloring extension framework to address this issue. A set $S \subseteq X$ is a fixing set for $Γ$ if for every non-identity element $γ\in Γ$ there is an element $s \in S$ such that $γ(s) \neq s$. The distinguishing extension number $\operatorname{ext}_D(X,Γ;k)$ is the minimum number $m$ such that for all fixing sets $W \subseteq X$ with $|W| \geq m$, every $k$-coloring $c : X \setminus W \to [k]$ can be extended to a $k$-coloring that distinguishes $X$. In this paper, we prove that $\operatorname{ext}_D(\mathbb{R},\operatorname{Aut}(\mathbb{R}),2) =4$, where $\operatorname{Aut}(\mathbb{R})$ is comprised of compositions of translations and reflections. We also consider the distinguishing extension number of the circle and (finite) cycles, obtaining several exact results and bounds.

An adjacent vertex distinguishing coloring of a graph G is a proper edge coloring of G such that any pair of adjacent vertices are incident with distinct sets of colors. The minimum number of colors needed for an adjacent vertex distinguishing coloring of G is denoted by $χ'_a(G)$. In this paper, we prove that $χ_a'(G)$ <= 5($Δ+2$)/2 for any graph G having maximum degree $Δ$ and no isolated edges. This improves a result in [S. Akbari, H. Bidkhori, N. Nosrati, r-Strong edge colorings of graphs, Discrete Math. 306 (2006), 3005-3010], which states that $χ_a'(G)$ <= 3$Δ$ for any graph G without isolated edges.

A coloring of the vertices of a graph G is said to be distinguishing} provided no nontrivial automorphism of G preserves all of the vertex colors. The distinguishing number of G, D(G), is the minimum number of colors in a distinguishing coloring of G. The distinguishing chromatic number of G, chi_D(G), is the minimum number of colors in a distinguishing coloring of G that is also a proper coloring. Recently the notion of a distinguishing coloring was extended to that of a list distinguishing coloring. Given an assignment L= {L(v) : v in V(G)} of lists of available colors to the vertices of G, we say that G is (properly) L-distinguishable if there is a (proper) distinguishing coloring f of G such that f(v) is in L(v) for all v. The list distinguishing number of G, D_l(G), is the minimum integer k such that G is L-distinguishable for any list assignment L with |L(v)| = k for all v. Similarly, the list distinguishing chromatic number of G, denoted chi_{D_l}(G) is the minimum integer k such that G is properly L-distinguishable for any list assignment L with |L(v)| = k for all v. In this paper, we study these distinguishing parameters for trees, and in particular extend an enumerative technique of Cheng to show that for any tree T, D_l(T) = D(T), chi_D(T)=chi_{D_l}(T), and chi_D(T) <= D(T) + 1.

We determine the values of s and t for which there is a coloring of the edges of the complete bipartite graph K_{s,t} which admits only the identity automorphism. In particular this allows us to determine the distinguishing number of the Cartesian product of complete graphs.

Let G be a group acting faithfully on a set X. The distinguishing number of the action of G on X is the smallest number of colors such that there exists a coloring of X where no nontrivial group element induces a color-preserving permutation of X. In this paper, we consider the distinguishing number of two important product actions, the wreath product and the direct product. Given groups G and H acting on sets X and Y respectively, we characterize the distinguishing number of the wreath product of G and H in terms of the number of distinguishing colorings of X with respect to G and the distinguishing number of the action of H on Y. We also prove a recursive formula for the distinguishing number of the action of the Cartesian product of two symmetric groups S_m x S_n on [m] x [n].