arXiv++ Combinatorics

Let $G = (V,E)$ be a connected simple graph of order $p$ and size $q$. A graph $G$ is called local antimagic (total) if $G$ admits a local antimagic (total) labeling. A bijection $g : E \to \{1,2,\ldots,q\}$ is called a local antimagic labeling of $G$ if for any two adjacent vertices $u$ and $v$, we have $g^+(u) \ne g^+(v)$, where $g^+(u) = \sum_{e\in E(u)} g(e)$, and $E(u)$ is the set of edges incident to $u$. Similarly, a bijection $f:V(G)\cup E(G)\to \{1,2,\ldots,p+q\}$ is called a local antimagic total labeling of $G$ if for any two adjacent vertices $u$ and $v$, we have $w_f(u)\ne w_f(v)$, where $w_f(u) = f(u) + \sum_{e\in E(u)} f(e)$. Thus, any local antimagic (total) labeling induces a proper vertex coloring of $G$ if vertex $v$ is assigned the color $g^+(v)$ (respectively, $w_f(u)$). The local antimagic (total) chromatic number, denoted $χ_{la}(G)$ (respectively $χ_{lat}(G)$), is the minimum number of induced colors taken over local antimagic (total) labeling of $G$. In this paper, we determined $χ_{lat}(G)$ where $G$ is the amalgamation of complete graphs.

An edge labeling of a graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label of $x$ is $f^+(x)= \sum_{e\in E(x)} f(e)$ ($E(x)$ is the set of edges incident to $x$). The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, several sufficient conditions to determine the local antimagic chromatic number of the join of graphs are obtained. We then determine the exact value of the local antimagic chromatic number of many join graphs.

An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, we (i) give a sufficient condition for a graph with one pendant to have $χ_{la}\ge 3$. A necessary and sufficient condition for a graph to have $χ_{la}=2$ is then obtained; (ii) give a sufficient condition for every circulant graph of even order to have $χ_{la} = 3$; (iii) construct infinitely many bipartite and tripartite graphs with $χ_{la} = 3$ by transformation of cycles; (iv) apply transformation of cycles to obtain infinitely many one-point union of regular (possibly circulant) or bi-regular graphs with $χ_{la} = 2,3$. The work of this paper suggests many open problems on the local antimagic chromatic number of bipartite and tripartite graphs.

An edge labeling of a connected graph $G = (V,E)$ is said to be local antimagic if it is a bijection $f : E \to \{1, . . . , |E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x) \ne f^+(y)$, where the induced vertex label $f^+(x) = \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, we first show that a $d$-leg spider graph has $d+1\le χ_{la}\le d+2$. We then obtain many sufficient conditions such that both the values are attainable. Finally, we show that each 3-leg spider has $χ_{la} = 4$ if not all legs are of odd length. We conjecture that almost all $d$-leg spiders of size $q$ that satisfies $d(d+1) \le 2(2q-1)$ with each leg length at least 2 has $χ_{la} = d+1$.

An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. Let $χ(G)$ be the chromatic number of $G$. In this paper, sharp upper and lower bounds of $χ_{la}(G)$ for $G$ with pendant vertices, and sufficient conditions for the bounds to equal, are obtained. Consequently, for $k\ge 1$, there are infinitely many graphs with $k \ge χ(G) - 1$ pendant vertices and $χ_{la}(G) = k+1$. We conjecture that every tree $T_k$, other than certain caterpillars, spiders and lobsters, with $k\ge 1$ pendant vertices has $χ_{la}(T_k) = k+1$.

A graph $G = (V, E)$ of order $p$ and size $q$ is said to be local antimagic if there exists a bijection $g:E(G) \to \{1,2,\ldots,q\}$ such that for any pair of adjacent vertices $u$ and $v$, $g^+(u)\ne g^+(v)$, where $g^+(u)=\sum_{uv\in E(G)} g(uv)$ is the induced vertex color of $u$ under $g$. We also say $G$ is local antimagic total if there exists a bijection $f: V\cup E \to\{1,2,\ldots ,p+q\}$ such that for any pair of adjacent vertices $u$ and $v$, $w(u)\not= w(v)$, where $w(u)= f(u) +\sum_{uv\in E(G)} f(uv)$ is the induced vertex weight of $u$ under $f$. The local antimagic (and local antimagic total) chromatic number of $G$, denoted $χ_{la}(G)$ (and $χ_{lat}(G)$), is the minimum number of distinct induced vertex colors (and weights) over all local antimagic (and local antimagic total) labelings of $G$. We also say a local antimagic total labeling is local super antimagic total if $f(v)\in\{1,2,\ldots,p\}$ for each $v\in V(G)$. In [Proof of a local antimagic conjecture, {\it Discrete Math. Theor. Comp. Sc.}, {\bf 20(1)} (2018), \#18], the author proved that every connected graph of order at least 3 is local antimagic. Using this result, we provide a very short proof that every graph is local antimagic total. We showed that there exists close relationship between $χ_{la}(G \vee K_1)$ and $χ_{lat}(G)$. A sufficient condition is also given for the corresponding local super antimagic total labeling. Sharp bounds of $χ_{lat}(G)$ and close relationships between $χ_{lat}(G)$ and $χ_{la}(G \vee K_1)$ are found. Bounds of $χ_{lat}(G-e)$ in terms of $χ_{lat}(G)$ for a graph $G$ with an edge $e$ deleted are also obtained. These relationships are used to determine the exact values of $χ_{lat}$ for many graphs $G$. We also conjecture that each graph $G$ of order at least 3 has $χ_{lat}(G)\le χ_{la}(G)$.

Let $G = (V, E)$ be a finite simple undirected graph without $K_2$ components. A bijection $f : E \rightarrow \{1, 2,\cdots, |E|\}$ is called a {\bf local antimagic labeling} if for any two adjacent vertices $u$ and $v$, they have different vertex sums, i.e. $w(u) \neq w(v)$, where the vertex sum $w(u) = \sum_{e \in E(u)} f(e)$, and $E(u)$ is the set of edges incident to $u$. Thus any local antimagic labeling induces a proper vertex coloring of $G$ where the vertex $v$ is assigned the color(vertex sum) $w(v)$. The {\bf local antimagic chromatic number} $χ_{la}(G)$ is the minimum number of colors taken over all colorings induced by local antimagic labelings of $G$. In this article among others we determine completely the local antimagic chromatic number $χ_{la}(G\circ \overline{K_m})$ for the corona product of a graph $G$ with the null graph $\overline{K_m}$ on $m\geq 1$ vertices, when $G$ is a path $P_n$, a cycle $C_n$, and a complete graph $K_n$.

An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, the sharp lower bound of the local antimagic chromatic number of a graph with cut-vertices given by pendants is obtained. The exact value of the local antimagic chromatic number of many families of graphs with cut-vertices (possibly given by pendant edges) are also determined. Consequently, we partially answered Problem 3.1 in [Local antimagic vertex coloring of a graph, {\it Graphs and Combin.}, {\bf33} (2017), 275--285.].

An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, several sufficient conditions for $χ_{la}(H)\le χ_{la}(G)$ are obtained, where $H$ is obtained from $G$ with a certain edge deleted or added. We then determined the exact value of the local antimagic chromatic number of many cycle related join graphs.

An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, we give counterexamples to the lower bound of $χ_{la}(G \vee O_2)$ that was obtained in [Local antimagic vertex coloring of a graph, Graphs and Combin., 33 : 275 - 285 (2017)]. A sharp lower bound of $χ_{la}(G\vee O_n)$ and sufficient conditions for the given lower bound to be attained are obtained. Moreover, we settled Theorem 2.15 and solved Problem 3.3 in the affirmative. We also completely determined the local antimagic chromatic number of complete bipartite graphs.

A {\it local antimagic labeling} of a connected graph $G$ with at least three vertices, is a bijection $f:E(G) \rightarrow \{1,2,\ldots , |E(G)|\}$ such that for any two adjacent vertices $u$ and $v$ of $G$, the condition $ω_{f}(u) \neq ω_{f}(v)$ holds; where $ω_{f}(u)=\sum _{x\in N(u)} f(xu)$. Assigning $ω_{f}(u)$ to $u$ for each vertex $u$ in $V(G)$, induces naturally a proper vertex coloring of $G$; and $|f|$ denotes the number of colors appearing in this proper vertex coloring. The {\it local antimagic chromatic number} of $G$, denoted by $χ_{la}(G)$, is defined as the minimum of $|f|$, where $f$ ranges over all local antimagic labelings of $G$. In this paper, we explicitely construct an infinite class of connected graphs $G$ such that $χ_{la}(G)$ can be arbitrarily large while $χ_{la}(G \vee \bar{K_{2}})=3$, where $G \vee \bar{K_{2}}$ is the join graph of $G$ and the complement graph of $K_{2}$. This fact leads to a counterexample to a theorem of [Local antimagic vertex coloring of a graph, {\em Graphs and Combinatorics}\ {\bf 33} (2017), 275--285].

An antimagic labelling of a graph $G$ is a bijection $f:E(G)\to\{1,\ldots,E(G)\}$ such that the sums $S_v=\sum_{e\ni v}f(e)$ distinguish all vertices. A well-known conjecture of Hartsfield and Ringel (1994) is that every connected graph other than $K_2$ admits an antimagic labelling. Recently, two sets of authors (Arumugam, Premalatha, Bača \& Semaničová-Feňovčíková (2017), and Bensmail, Senhaji \& Lyngsie (2017)) independently introduced the weaker notion of a local antimagic labelling, where only adjacent vertices must be distinguished. Both sets of authors conjectured that any connected graph other than $K_2$ admits a local antimagic labelling. We prove this latter conjecture using the probabilistic method. Thus the parameter of local antimagic chromatic number, introduced by Arumugam et al., is well-defined for every connected graph other than $K_2$ .