New Infinite Classes for Normal Trimagic Squares of Even Orders Using Row-Square Magic Rectangles

As matrix representations of magic labelings of related hypergraphs, magic squares and their various variants have been applied to many domains. Among various subclasses, trimagic squares have been investigated for over a hundred years. The existence problem for trimagic squares with singly even orders and orders 16n has been solved completely. However, very little is known for the existence of trimagic squares with other even orders except for the only three examples and three families. We construct normal trimagic squares by using product constructions, row-square magic rectangles, and trimagic pairs of orthogonal diagonal Latin squares. We give a new product construction: For positive integers p, q, and r having the same parity other than 1, 2, 3, 6, if normal p × q and r × q row-square magic rectangles exist, then a normal trimagic square with order pqr exists. As its application, we construct normal trimagic squares of orders 8q^3 and 8pqr for all odd integers q not less than 7 and p,r ∈ {7, 11, 13, 17, 19, 23, 29, 31, 37}. Our construction can easily be extended to construct multimagic squares.