C_4-face-magic toroidal labelings on C_m × C_n

Abstract

For a graph G = (V, E) naturally embedded in the torus, let ℱ(G) denote the set of faces of G. Then, G is called a C_n-face-magic toroidal graph if there exists a bijection f : V(G) → {1, 2, …, |V(G)|} such that for every F ∈ ℱ(G) with F ≅ C_n, the sum of all the vertex labels along C_n is a constant S. Let x_v = f(v) for all v ∈ V(G). We call {x_v : v ∈ V(G)} a C_n-face-magic toroidal labeling on G. We show that, for all m, n ≥ 2, C_m × C_n admits a C₄-face-magic toroidal labeling if and only if either m = 2, or n = 2, or both m and n are even. We say that a C₄-face-magic toroidal labeling {x_i, j : (i, j) ∈ V(C_2m × C_2n)} on C_2m × C_2n is antipodal balanced if $x_{i,j} + x_{i+m,j+n} = \tfrac{1}{2} S$, for all (i, j) ∈ V(C_2m × C_2n). We show that there exists an antipodal balanced C₄-face-magic toroidal labeling on C_2m × C_2n if and only if the parity of m and n are the same. Furthermore, when both m and n are even, an antipodal balanced C₄-face-magic toroidal labeling on C_2m × C_2n is both row-sum balanced and column-sum balanced. In addition, when m = n is even, an antipodal balanced C₄-face-magic toroidal labeling on C_2n × C_2n is diagonal-sum balanced.