S. Balamoorthy,N. Kamatchi,S.V. Bharanedhar
Abstract:Let G be a simple undirected graph and let A be an additive Abelian group with identity 0. In this paper, we introduce the concept of group magic spectrum of a graph G with respect to a given Abelian group A and is defined as spec(G, A):= {{\lambda} : {\lambda} is a magic constant of some A-vertex magic labeling f }. In their recent work, K. M. Sabeel et al. in Australas. J. Combin. 85(1) (2023), 49-60 proved a forbidden subgraph characterization for the group vertex magic graph. In this work, we present a new method which uses minimum number of vertices required for this graph. We obtain a necessary and sufficient condition for the spectrum of a graph G to be a subgroup when A = V4 or Zp, where p is a prime number. Also we introduce the notion of reduced spectrum redspec(G, A) and study the relation between spec(G, A) and redspec(G, A).
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the research on the group vertex magic spectrum of graphs. Specifically, the author introduced the group magic spectrum $\text{spec}(G, A)$ of graph $G$ with respect to Abelian group $A$, and explored the following problems:
1. **When does the group magic spectrum form a subgroup?**
- For a given graph $G$ and Abelian group $A$, under what conditions is $\text{spec}(G, A)$ a subgroup of $A$?
2. **Constructing families of graphs containing zero**:
- How to construct a class of graphs such that their group magic spectra contain the zero element? This provides a basis for subsequent research because, according to the theorem in the paper, if $0\in \text{spec}(G, A)$, then $\text{spec}(G, A)$ may be a subgroup of $A$.
3. **Magic spectrum characteristics of different types of graphs**:
- Research the magic spectrum characteristics of specific types of graphs (such as paths, complete multipartite graphs, etc.), and give the specific conditions under which the magic spectra of these graphs form subgroups.
### Main contributions
- **Definition and concept introduction**: Introduced the group magic spectrum $\text{spec}(G, A)$ and the reduced spectrum $\text{redspec}(G, A)$ of graphs.
- **Sufficient conditions**: Gave several sufficient conditions for $\text{spec}(G, A)$ to form a subgroup, especially in the cases where $A = V_4$ or $A=\mathbb{Z}_p$ ($p$ is a prime number).
- **Construction method**: Proposed a new method to construct families of graphs containing zero by adding vertices to make the graph a group - vertex magic graph.
- **Relationship research**: Researched the relationship between the magic spectra of the original graph and its reduced graph, and proved that in some cases they are equal.
### Specific conclusions
- **Theorem 7**: For $A = V_4$ or $A=\mathbb{Z}_p$, $\text{spec}(G, A)$ is a subgroup of $A$ if and only if $0\in \text{spec}(G, A)$.
- **Theorem 10**: All graphs can be embedded in some group - vertex magic graph as an induced subgraph, thus proving that the class of group - vertex magic graphs is universal.
- **Theorem 17**: For graph $G = H\tilde{\circ}\wedge_{i = 1}^k K_n^c$, where $n_i>1$, its magic spectrum $\text{spec}(G, A)=A\setminus\{0\}$.
Through these problems and conclusions, the paper provides a new perspective for the combination of graph theory and algebraic structures, and lays a theoretical foundation for further research on the magic spectra of graphs.