editing
proposed
editing
proposed
Marko Riedel, <a href="/A376808/a376808.maple.txt">Maple code for sequence by PGE.</a>
proposed
editing
editing
proposed
T(n,k) = Sum_{Q=1..n*n^2} (1/(n^2*Q!))*(Sum_{sigma in S_Q} Sum_{d|n} Sum_{f|n} phi(d) phi(f) [[forall j_l(sigma) > 0 : l|lcm(d,f) ]] P(gcd(d,f)*(n/d)*(n/f), sigma)) where P(F, sigma) = F! [z^F] Product_{l=1..Q} (exp(lz)-1)^j_l(sigma). The notation j_l(sigma) is from the Harary text and gives the number of cycles of length l in the permutation sigma. [[.]] is an Iverson bracket.
proposed
editing
editing
proposed
allocated for Marko Riedel
Number of non-isomorphic colorings of a toroidal n X n grid using any number of swappable colors.
1, 9, 2387, 655089857, 185543613289205809, 106103186941524316132396201360, 218900758256599151027392153440612298654753249, 2689595989958732045849530682270318547733917269644639109073775285
1,2
Two colorings are equivalent if there is a permutation of the colors that takes one to the other in addition to translational symmetries on the torus. (Power Group Enumeration.) Maximum number of colors is n * n.
F. Harary and E. Palmer, Graphical Enumeration, Academic Press, 1973.
Marko Riedel et al., <a href="https://math.stackexchange.com/questions/2506511/">Burnside lemma and translational symmetries of the torus.</a>
T(n,k) = Sum_{Q=1..n*n} (1/(n^2*Q!))*(Sum_{sigma in S_Q} Sum_{d|n} Sum_{f|n} phi(d) phi(f) [[forall j_l(sigma) > 0 : l|lcm(d,f) ]] P(gcd(d,f)*(n/d)*(n/f), sigma)) where P(F, sigma) = F! [z^F] Product_{l=1..Q} (exp(lz)-1)^j_l(sigma). The notation j_l(sigma) is from the Harary text and gives the number of cycles of length l in the permutation sigma. [[.]] is an Iverson bracket.~
For the 2x2 we find
+-+-+ +-+-+ +-+-+ +-+-+ +-+-+
|X|X| |X|X| |X|X| |X| | |X| |
+-+-+ +-+-+ +-+-+ +-+-+ +-+-+
|X|X| |X| | | | | |X| | | |X|
+-+-+ +-+-+ +-+-+ +-+-+ +-+-+
+-+-+ +-+-+ +-+-+ +-+-+
|X|Y| |X| | |X| | |X|Y|
+-+-+ +-+-+ +-+-+ +-+-+
| | | |Y| | | |Y| |Z| |
+-+-+ +-+-+ +-+-+ +-+-+
allocated
nonn
Marko Riedel, Oct 04 2024
approved
editing
allocated for Marko Riedel
allocated
approved
editing
proposed
editing
proposed
editing
proposed