arXiv++ Combinatorics

This study is the $7^{th}$ part of a detailed study on Type-2 isomorphic circulant graphs having ten parts \cite{v2-1}-\cite{v2-10}. In this study, we define {\em isomorphic set}, {\em isomorphism series}, {\em isomorphism digraph} $\mathcal{D}$ or {\em isomorphism diagram} and {\em isomorphism graph} $\mathcal{G}$ of circulant graphs and obtain these corresponding to $C_{16}(R)$, $C_{27}(S)$ and $C_{54}(1,3,17,19)$ and present the isomorphism digraph and the isomorphism graph of $C_{432}(16, 27, 48, 54, 128, 160, 189)$ which has isomorphic circulant graphs of Type-2 w.r.t. $m$ = 2 as well as $m$ = 3. We also show that each pair of circulant graphs $C_{54}(1,3,17,19)$, $C_{54}(5,13,21,23)$; $C_{54}(7, 11, 21, 25)$, $C_{54}(7, 11, 15, 25)$; and $C_{54}(1,3,17,19)$, $C_{54}(7,11,15,25)$ are isomorphic but they are neither of Type-1 nor of Type-2 w.r.t. $m$ = 3. More such circulant graphs are given in the conclusion. We also define {\em diameter of isomorphic set} of $C_n(R)$ and {\em isomorphic distance} of $C_n(S)$ and $C_n(T)$ and obtained these values for some circulant graphs.

Frank Harary introduced the concepts of sum and integral sum graphs. A graph $G$ is a \textit{sum graph} if the vertices of $G$ can be labeled with distinct positive integers so that $e = uv$ is an edge of $G$ if and only if the sum of the labels on vertices $u$ and $v$ is also a label in $G.$ An \textit{integral sum graph} is also defined just as sum graph, the difference being that the labels may be any distinct integers. In this survey article, the authors bring out several properties of sum and integral sum graphs obtained by different authors.

Studies on partition of $I_n$ = $\{1, 2, . . . , n\}$ into subsets $S_1, S_2, . . . , S_x$ so far considered with prescribed sum of the elements in each subset. In this paper, we study constant sum partitions $\{S_1,S_2,...,S_x\}$ of $I_n$ with prescribed $|S_i|$, $1 \leq i \leq x$. Theorem \ref{thm 2.3} is the main result which gives a necessary and sufficient condition for a partition set $\{S_1,S_2,\ldots, S_x\}$ of $I_n$ with prescribed $|S_i|$ to be a constant sum partition of $I_n$, $1 \leq i \leq x$ and $n > x \geq 2$. We state its applications in graph theory and also define {\em constant sum partition permutation} or {\em magic partition permutation} of $I_n$. A partition $\{S_1,S_2,\cdots,S_x\}$ of $I_n$ is a {\em constant sum partition of $I_n$} if $\sum_{j\in S_i}{j}$ is a constant for every $i$, $1 \leq i \leq x$.

Let $G$ be a graph of order $n$ and $N = \{N(u_{i})\}^k_{i=1}$ be a sequence of neighbourhood(nbh)s in $G$ where $N(u)$ = $\{v\in V(G):$ $uv\in E(G)\}$. \emph{Nbh sequence graph $H$ of} $N$ in $G$ is defined as the union of all induced subgraphs of closed nbh $N[u_{i}]$ in $G$, $1 \leq i \leq k$, $k\in\mathbb{N}$. A labeling $f: V(G) \rightarrow \left\{1,2,\ldots,n\right\} $ is called a \emph{Distance Magic Labeling (DML)} of $G$ if ~ ${\sum_{v \in N(u)}} f(v) $ is a constant for every $u\in V(G)$. $G$ is called a \emph{Distance Magic graph (DMG)} if it has a DML, otherwise it is called a \emph{Non-Distance Magic (NDM)} graph. In this paper, we define nbh walk, nbh trial, nbh path or nbh chain, nbh cycle, nbh sequence graph and nbh chains of Type-1 (NC-T1) and Type-2 (NC-T2). NC-T2 is formed on two NC-T1 of same length. We prove that (i) for $k \geq 2$ and $n \geq 3$, cylindrical grid graph $P_{k} \Box C_{n}$ contains NC-T2, $k,n \in \mathbb{N}$; (ii) graph containing NC-T1 of even length is NDM and (iii) partially settle a conjecture that graphs $P_m \Box C_n$ are NDM when $n$ is even, $m \geq 2$, $n \geq 3$ and $m,n\in\mathbb{N}$.

A bijective mapping $f: V(G) \rightarrow \left\{1,2,\ldots,n\right\}$ is called a \emph{Distance Magic Labeling (DML) of $G$} if ~ ${\sum_{v \in N(u)}} f(v) $ is a constant for all $u\in V(G)$ where $G$ is a simple graph of order $n$ and $N(u)$ = $\{v\in V(G):$ $uv\in E(G)\}$. Graph $G$ is called a \emph{Distance Magic Graph (DMG)} if it has a DML, otherwise it is called a \emph{Non-Distance Magic (NDM) graph}. In 1996, Vilfred proposed a conjecture that cylindrical grid graphs $P_m \Box C_n$ are NDM for $m \geq 2$, $n \geq 3$ and $m,n\in\mathbb{N}$. Recently, the authors could prove the conjecture for the case when $m$ is even by introducing neighbourhood chains of Type-1 (NC-T1) and Type-2 (NC-T2). In this paper, they introduce neighbourhood chains of Type-3 (NC-T3) and using them completely settle the conjecture and also identify families of NDM graphs.

We define a labeling $f:$ $V(G)$ $\rightarrow$ $\{1, 2, \ldots, n\}$ on a graph $G$ of order $n \geq 3$ as a \emph{$k$-distance magic} ($k$-DM) if $\sum_{w\in \partial N_k(u)}{ f(w)}$ is a constant and independent of $u\in V(G)$ where $\partial N_k(u)$ = $\{v\in V(G): d(u, v) = k\}$, $k\in\mathbb{N}$. Graph $G$ is called a \emph{$k$-DM} if it has a $k$-DM labeling(L). Long Brush is a graph $G$ with $V(G)$ = $\{u_1, u_2, . . . , u_n,$ $v_1, v_2, . . . , v_{m}\}$, a path $P_n$ = $u_1$ $u_2$ . . . $u_n$ and $E(G)$ = $E(P_n)$ $\cup$ $\{u_1v_i:$ $i$ = 1 to $m\}$ $\cup$ $E(<v_1, v_2, . . . , v_{m}>)$, $m+n \geq 3$ and $m,n\in\mathbb{N}$. We denoted this graph by $LP_{n, m}$. In this paper, using partition techniques, we obtain families of $k$-DM graphs and prove that $(i)$ For $k,n \geq 3$, $m \geq 2$ and $k,m,n\in\mathbb{N}$, $LP_{n,m}$ is $k$-DM if and only if $m(m-1) \leq 2n$ and $k$ = $n$; (ii) For every $k\in\mathbb{N}_0$ and a given $m \geq 2$, $LP_{\frac{m(m-1)}{2}+k, m}$ is a $(\frac{m(m-1)}{2}+k)$-DM graph; (iii) For $m \geq 3$, $LP_{1,m}$ = $K_1(u_1)+(K_{m_1} \cup K_{m_2} \cup ... \cup K_{m_x})$, $x \geq 2$, $1 \leq m_1 \leq m_2 \leq ... \leq m_x$, $m_1+m_2+...+m_x$ = $m$, $m_1+m_2 \geq 3$ and $m_1,m_2,...,m_x,x\in\mathbb{N}$, $LP_{1,m}$ is 2-DM if and only if $u_1$ is assigned with a suitable $j$ and $J_{m+1}\setminus \{j\}$ is partitioned into $x$ constant sum partites of orders $m_1,m_2,...,m_x$, $1 \leq j \leq m+1$; (iv) For $m \geq 2$ if $LP_{2,m}$ contains two pendant vertices, then $LP_{2,m}$ is not a $2$-DM graph; (v) For $m \geq 2$ and $n \geq 3$, if $LP_{n,m}$ contains three pendant vertices, then $LP_{n,m}$ is not a $2$-DM graph; and (vi) for $m_1$ = 1 to 22, we obtain all possible values of $m$ for which $LP_{1, m}$ = $u_1 + (K_{m_1} \cup K_{m_2})$ is 2-DM, $m_1 \leq m_2$, $m = m_1+m_2 \geq 3$ and $m_1,m_2\in\mathbb{N}$.

Frank Harary introduced the concept of integral sum graph. A graph $G$ is an \emph{ integral sum graph} if its vertices can be labeled with distinct integers so that $e = uv$ is an edge of $G$ if and only if the sum of the labels on vertices $u$ and $v$ is also a label in $G.$ For any non-empty set of integers $S$, let $G^+(S)$ denote the integral sum graph on the set $S$. In $G^+(S)$, we define an \emph{edge-sum class} as the set of all edges each with same edge sum number and call $G^+(S)$ an \emph{edge sum color graph} if each edge-sum class is considered as an edge color class of $G^+(S)$. The number of distinct edge-sum classes of $G^+(S)$ is called its \emph{ edge sum chromatic number}. The main results of this paper are (i) the set of all edge-sum classes of an integral sum graph partitions its edge set; (ii) the edge chromatic number and the edge sum chromatic number are equal for the integral sum graphs $G_{0,s}$ and $S_n$, Star graph of order $n$, whereas it is not in the case of $G_{r,s} = G^+([r,s])$, $r < 0 < s$, $n,s \geq 2$, $n,r,s\in\mathbb{N}$. We also obtain an interesting integral sum labeling of Star graphs.

Circulant graphs $C_n(R)$ and $C_n(S)$ are said to be \emph{Adam's isomorphic} if there exist some $a\in \mathbb{Z}_n^*$ such that $S = a R$ under arithmetic reflexive modulo $n$. In 1970, Elspas and Turner \cite{eltu} raised a question on the isomorphism of $C_{16}(1, 3, 7)$ and $C_{16}(2, 3, 5)$ and Vilfred \cite{v96} gave its answer by defining Type-2 isomorphism, different from Adam's isomorphism or Type-1 isomorphism, of $C_n(R)$ w.r.t. $m$ where $m > 1$ is a divisor of $\gcd(n, r)$ and $r\in R$. This paper is an extensive study on Type-2 isomorphic circulant graphs. Vilfred and Wilson \cite{vw0A} obtain isomorphic circulant graphs $C_{np^3}(R)$ of Type-2 w.r.t. $m$ = $p$, and related Abelian groups where $p$ is a prime number and $n\in\mathbb{N}$. Using Theorem \ref{c13}, a list of $T2_{np^3,p}(C_{np^3}(R^{np^3,x+yp}_i))$ = $\{C_{np^3}(R^{np^3,x+yp}_{j}) : j = 1,2,...,p\}$ for $p$ = 3,5,7,11 and $n$ = 1 to 5 and also for $p$ = 13 and $n$ = 1 to 3 are given in the Annexure where $(T2_{np^3,p}(C_{np^3}(R^{np^3,x+yp}_i)), \circ)$ is an abelian group on the $p$ isomorphic circulant graphs $C_{np^3}(R^{np^3,x+yp}_i)$ of Type-2 w.r.t. $m$ = $p$, $1 \leq i,j \leq p$, $1 \leq x \leq p-1$, $y\in\mathbb{N}_0$, $0 \leq y \leq np - 1$, $1 \leq x+yp \leq np^2-1$, $p,np^3-p\in R^{np^3,x+yp}_i$ and $i,j,n,x\in\mathbb{N}$. We also show existence of isomorphic circulant graphs $C_n(R)$ and $C_n(S)$ which are neither Type-1 nor Type-2 w.r.t. any particular $m$. We use VB program to develop this theory and for illustration of examples.