login
Array read by antidiagonals: T(n,k) is the number of k-colorings of an n X n grid, up to rotational symmetry.
17

%I #13 Nov 30 2023 12:03:50

%S 1,1,0,1,1,0,1,2,1,0,1,3,6,1,0,1,4,24,140,1,0,1,5,70,4995,16456,1,0,1,

%T 6,165,65824,10763361,8390720,1,0,1,7,336,489125,1073758336,

%U 211822552035,17179934976,1,0,1,8,616,2521476,38147070625,281474993496064,37523658921114744,140737496748032,1,0

%N Array read by antidiagonals: T(n,k) is the number of k-colorings of an n X n grid, up to rotational symmetry.

%H Andrew Howroyd, <a href="/A343095/b343095.txt">Table of n, a(n) for n = 0..860</a>

%H Peter Kagey and William Keehn, <a href="https://arxiv.org/abs/2311.13072">Counting tilings of the n X m grid, cylinder, and torus</a>, arXiv:2311.13072 [math.CO], 2023. See p. 3.

%F T(n,k) = (k^(n^2) + 2*k^((n^2 + 3*(n mod 2))/4) + k^((n^2 + (n mod 2))/2))/4.

%e Array begins:

%e ====================================================================

%e n\k | 0 1 2 3 4 5

%e ----+---------------------------------------------------------------

%e 0 | 1 1 1 1 1 1 ...

%e 1 | 0 1 2 3 4 5 ...

%e 2 | 0 1 6 24 70 165 ...

%e 3 | 0 1 140 4995 65824 489125 ...

%e 4 | 0 1 16456 10763361 1073758336 38147070625 ...

%e 5 | 0 1 8390720 211822552035 281474993496064 74505806274453125 ...

%e ...

%t {{1}}~Join~Table[Function[n, (k^(n^2) + 2*k^((n^2 + 3 #)/4) + k^((n^2 + #)/2))/4 &[Mod[n, 2] ] ][m - k + 1], {m, 0, 8}, {k, m + 1, 0, -1}] // Flatten (* _Michael De Vlieger_, Nov 30 2023 *)

%o (PARI) T(n,k) = (k^(n^2) + 2*k^((n^2 + 3*(n%2))/4) + k^((n^2 + (n%2))/2))/4

%Y Rows 0..5 are A000012, A001477, A006528, A282613, A283027, A283031.

%Y Columns 0..10 are A000007, A000012, A047937, A047938, A047939, A047940, A047941, A047942, A047943, A047944, A047945.

%Y Main diagonal is A343096.

%Y Cf. A182406, A246106, A343097, A343874.

%K nonn,tabl

%O 0,8

%A _Andrew Howroyd_, Apr 14 2021