Algebraic characterizations of generating and affinely generating $\Gamma$-magic maps and $\Gamma$-distance magic labelings on regular graphs

Abstract

For an abelian group $\Gamma$ of order $n$, a graph $G$ of order $n$ is $\Gamma$-distance magic if it admits a bijection $V(G)\to\Gamma$ whose open-neighborhood sums are constant, and group distance magic if this holds for every such $\Gamma$. More generally, for any finite abelian $\Gamma$, a $\Gamma$-magic map is a map $f\colon V(G)\to\Gamma$ with constant open-neighborhood sums; we call $f$ generating if its labels generate $\Gamma$, and affinely generating if its pairwise differences do. Let $G$ be regular, let $\Gamma\cong\mathbb{Z}/d_1\oplus\cdots\oplus\mathbb{Z}/d_r$ with $d_1\mid\cdots\mid d_r$, put $B_\Gamma=\bigoplus_{i<r}\mathbb{Z}/d_i$, and let $\overline{A}_m$ be the adjacency operator induced on $(\mathbb{Z}/m)^{V(G)}$ modulo constants. We prove that $G$ admits a generating $\Gamma$-magic map iff $B_\Gamma\hookrightarrow\ker\overline{A}_{d_r}$, and an affinely generating one iff $\Gamma\hookrightarrow\ker\overline{A}_{d_r}$; when $|V(G)|=|\Gamma|$, it is $\Gamma$-distance magic iff the latter embedding has vertex-separating image. If the reduced adjacency operator is nonsingular over $\mathbb{Q}$, these become subgroup conditions in the reduced adjacency Smith group. Cichacz and Froncek conjectured that every distance magic graph is group distance magic. Using the affine criterion we construct a $6$-regular distance magic graph of order $27$ admitting no affinely generating $(\mathbb{Z}/3)^3$-magic map, so the conjecture fails even for affine generation. We propose the generating group distance magic conjecture, and prove it for regular distance magic graphs whenever $\Gamma$ is $2$-generated, hence for cube-free order. Further applications concern Cayley graphs on elementary abelian $p$-groups, Hamming relation graphs, strongly regular graphs, and symmetric designs.