Why does Arrays interpret lists as Cycles?

Question

I entered the command:

Arrays[{4, 4, 4, 4}, Reals, 
       {{{2, 1, 3, 4}, -1}, {{3, 4, 1, 2}, 1}}
]

whose third argument is a list of lists, and got the result:

Arrays[{4, 4, 4, 4}, Reals, 
       {{Cycles[{{1, 2}}], -1}, {Cycles[{{1, 3}, {2, 4}}], 1}, {Cycles[{{3, 4}}], -1}}
]

The Mathematica documentation says the following about the third argument of Arrays:

The symmetry sym can be given in several forms. First, it can be given as expressions like Symmetric[{s1,…,sk}] or Antisymmetric[{si,…,sk}], with the slots si being different positive integers between 1 and the rank r. It can also be given as a list of generators of the form {perm,ϕ}, representing that the array stays invariant under simultaneous transposition by the permutation perm and multiplication by the root of unity ϕ. In addition, it can be given as the internal direct product {sym1, sym2, …} of those forms.

There is no mention of a list of lists as an argument. So why is Mathematica executing the command instead of generating an error message?

Answer 1

The two elements in {{{2, 1, 3, 4}, -1}, {{3, 4, 1, 2}, 1}} are the generators of a group. Arrays automatically produces an equivalent generating set which is more suitable for computationally working with the group.

It does two transformations. First it puts the permutations into a canonical form: it converts them to a Cycles representation.

Second, it computes a strong generating set. This is a generating set that allows for faster computational manipulation of the group. It is described in the Permutation Groups tutorial, Strong Generating Set Representation section. Not being familiar with the underlying mathematics, I cannot comment on the advantages of this, except show how to obtain it within Mathematica:

Last@First@GroupStabilizerChain@PermutationGroup[{{2, 1, 3, 4}, {3, 4, 1, 2}}]

(* PermutationGroup[{Cycles[{{1, 3}, {2, 4}}], Cycles[{{1, 2}}], Cycles[{{3, 4}}]}] *)

The original generating set you provided has two elements. This one has three, Cycles[{{3, 4}}] being the additional one.

The xPerm package (which is older than the built in tensor symmetry functionality) can perform the same tasks. Its documentation has a more detailed description of the underlying mathematics and methods, with many references.

Answer 2

I don't understand the question: Mathematica likes to represent permutations as products of cycles (do a help on "Permutations"), so it seems natural that it would represent the symmetry group of the array in that form.