Tuesday, January 3, 2017
What Might Be Odd About the Set of Operators
The set of operators that was found seems a little unusual but finding magic squares is a kind of mathematical game played with numbers that in itself makes the problem unnatural. From the perspective of mathematical theory one has to ask how is this result peculiar. It differs from group theory slightly because there is a representation of the operations in terms of matrix multiplications and there are two distinct multiplications. Only two matrices and transposition were needed to represent all the operations that left the sums unchanged that we found by observation. The resulting operations were more complicated than the dihedral group because of the double shifts which left the sums unchanged too.
The set of operations that we could use to find new magic squares came about in an effort to find unique magic squares. They tell us that the set of all magic squares can be partitioned into a class of sets containing simply related magic squares. The combinations of the two matrix operators, the two ways of doing the multiplications and transposition of the original magic square allowed us to generate a set of operations which could be performed and still leave the sums unchanged. We pointed out that the set of operators may not be complete because there was a simple process which produced a magic square that could be transformed into Dürer's by the permutation of the two middle rows.
Magic squares may tell us something about the theory of equations and the multiplicity of solutions. Is our theory of equations complete? For example, we can form a quadratic equation by product of two linear equations x+q=0 and x+r=0 thus ax2+bx+c=
a(x+q)(x+r)=0. But the assumption that the quadratic is a perfect square doesn't always lead to a rational solution so we use imaginary numbers to represent how the solutions differ from a perfect square. A reflection in the complex plane also allows us to go from one complex solution to the other. The real solutions can also be transformed into one another by reflection across a plane through the perfect square.
We can also ask how the vertical, horizontal and shift operations differ from a transposition. The former only involve permutations of the rows or the columns and their order can be exchanged. With ordinary addition a sum does not depend on the order in which the terms are added together. The same is true for vector addition. Transposition involves a change in context of the elements involved since rows are exchanged with columns and that affects the way we can combine transposition with the other operations.
In 1886 Gibbs gave an address, On Multiple Algebra, to the American Association for the Advancement of Science which touches on similar issues dealing with matrix and vector algebra. The part about apples and oranges is interesting.
Edit (Jan 4): missing a in factors of quadratic.