login
Triangle read by rows: T(n,k) is the number of permutations of the cyclic group Z/nZ whose longest embedded arithmetic progression has length k.
1

%I #18 Feb 01 2021 13:20:54

%S 1,0,2,0,0,6,0,8,8,8,0,0,40,60,20,0,0,468,192,48,12,0,0,462,3150,1176,

%T 210,42,0,128,4192,27872,6592,1312,192,32,0,0,57402,182790,99630,

%U 19656,2970,378,54,0,0,67440,1795320,1594640,146200,22000,2840,320,40,0,0,61050,17433130,17373620,4289340,662860,85910,9790,990,110

%N Triangle read by rows: T(n,k) is the number of permutations of the cyclic group Z/nZ whose longest embedded arithmetic progression has length k.

%C For the case k=2, it can be proved that if n is a power of 2, then T(n,2)=2^{n-1}; otherwise T(n,2)=0 (Lemma 8 of Goh and Zhao (2020)). It can also be shown that T(n,n) = n*phi(n), where phi is the Euler totient function.

%H M. K. Goh and R. Y. Zhao, <a href="https://arxiv.org/abs/2012.12339">Arithmetic subsequences in a random ordering of an additive set</a>, arXiv:2012.12339 [math.CO], 2020.

%F T(n,n) = n*A000010(n).

%e Triangle T(n,k) begins:

%e n/k 1 2 3 4 5 6 7 8 9 10 11

%e 1 1

%e 2 0 2

%e 3 0 0 6

%e 4 0 8 8 8

%e 5 0 0 40 60 20

%e 6 0 0 468 192 48 12

%e 7 0 0 462 3150 1176 210 42

%e 8 0 128 4192 27872 6592 1312 192 32

%e 9 0 0 57402 182790 99630 19656 2970 378 54

%e 10 0 0 67440 1795320 1594640 146200 22000 2840 320 40

%e 11 0 0 61050 17433130 17373620 4289340 662860 85910 9790 990 110

%Y Cf. A000010, A002618, A339941.

%K nonn,tabl

%O 1,3

%A _Marcel K. Goh_, Dec 23 2020