arXiv++ Combinatorics

A perfect code in a graph $Γ$ is a subset $C$ of the vertex set of $Γ$ such that every vertex of $Γ$ outside $C$ has exactly one neighbour in $C$. A perfect code in a directed graph can be defined similarly by requiring that for every vertex $v$ outside $C$ there exists exactly one vertex $u$ in $C$ such that the arc from $u$ to $v$ exists in $Γ$. A subset $X$ of an abelian group $G$ is said to be periodic if there exists a non-identity element $g$ of $G$ such that $g + X = X$. A factorization of $G$ is a pair of nonempty subsets $(A, B)$ of $G$ such that every element $g$ of $G$ can be expressed uniquely as $g = a+b$ with $a \in A$ and $b \in B$. If for every factorization $(A, B)$ of an abelian group $G$ at least one of $A$ and $B$ is periodic, then $G$ is said to be a Hajós group. In this paper we classify all Cayley graphs (directed or undirected) of Hajós groups which admit perfect codes, and moreover we determine all perfect codes in such Cayley graphs.

The locating chromatic number of a graph is the smallest integer $n$ such that there is a proper $n$-coloring $c$ and every vertex has a unique vector of distances to colors in $c$. We explore the necessary conditions and provide sufficient conditions for an infinite tree to have a finite locating chromatic number. We also give an algorithm for computing the locating coloring of trees that works for both finite and infinite trees.

The locating-chromatic number of a graph $G$ is the smallest integer $n$, such that $G$ has a proper $n$-coloring $c$ and all vertices have different vectors of distances to the colors generated by $c$. We study the asymptotic value of the locating-chromatic number of a $k$-level $n$-ary tree. The locating-chromatic number of this tree acts very differently when $k$ goes to infinity and when $n$ goes to infinity. If we fix $k\geq2$, almost all $n$-ary Tree $T(n,k)$ satisfy $χ_L(T(n,k))=n+k-1$; so $\lim\limits_{n\to \infty} χ_L(T(n,k))-n=k-1$. But if we fix $n\geq 2$, then $χ_L(T(n,k))=o(k)$.

Chen et al. (2004) strongly conjectured that R(Tn,Wm)=2n-1 if the maximum degree of Tn is small and m is even. Related to the conjecture, it is interesting to know for which tree Tn, we have R(Tn,Wm) > 2n-1 for even m. In this paper, we find the Ramsey number R(Tn,W8) for tree Tn with the maximum degree of Tn is at least n-3, namely R(Tn,W8) > 2n-1 for almost all such tree Tn. We also prove that if the maximum degree of Tn is large, then R(Tn,Wm) is a function of both m and n. In the end, we refine the conjecture of Chen et al. by giving the condition of small maximum degree. For a tree Tn with large maximum degree and even m, the R(Tn,Wm) is also unknown in general. In this paper, we shall determine the Ramsey number R(Tn,W8) for all trees Tn of order n with the maximum degree of Tn is at least n-3.

Some coloring algorithms gives an upper bound for the locating chromatic number of trees with all the vertices not in an end-path colored by only two colors. That means, a better coloring algorithm could be achieved by optimizing the number of colors used in the end-paths. We provide an estimation of the locating chromatic number of trees using the locating chromatic number of its end-palms. We also study the locating chromatic number of palms, a subdivision of star. We also prove $χ_L(S_n(k))=Θ(n^{1/k})$; $χ_L(S_n(3))=(1+o(1))\sqrt[3]{4n}$; and $χ_L(O_n)=\left\lceil\log_3\left(\frac{n}{4}\right)\right\rceil+3$.

Let $G$ be a connected graph and $W$ be a set of vertices of $G$. The representation multiset of a vertex $v$ with respect to $W$, $r_m (v|W)$, is defined as a multiset of distances between $v$ and the vertices in $W$. If $r_m (u |W) \neq r_m(v|W)$ for every pair of distinct vertices $u$ and $v$, then $W$ is called an m-resolving set of $G$. If $G$ has an m-resolving set, then the cardinality of a smallest m-resolving set is called the multiset dimension of $G$, denoted by $md(G)$; otherwise, we say that $md(G) = \infty$. In this paper, we show that for a tree $T$ of diameter at least 2, if $md(T) < \infty$, then $md(T) \leq n-2$. We conjecture that this bound is not sharp in general and propose a sharp upper bound. We shall also provide necessary and sufficient conditions for caterpillars and lobsters having finite multiset dimension. Our results partially settled a conjecture and an open problem proposed in [4].