A332010 Irregular triangle of denominators of the average value of the first letter over all derangements of {1, 2, ..., n} with k descents.

1, 2, 4, 1, 1, 8, 3, 4, 16, 104, 40, 24, 1, 32, 392, 896, 480, 54, 64, 152, 308, 1496, 63, 108, 1, 128, 2276, 30384, 14410, 4315, 3024, 14, 256, 7340, 153400, 235252, 24766, 180416, 4984, 448, 1, 512, 23172, 365520, 1713160, 5794944, 3739512, 881152, 63840, 453

Offset: 2

Author

Peter Kagey, Feb 04 2020

Keywords

• nonn
• tabf

Comments

Even-indexed rows have length n - 1; odd-indexed rows have length n - 2.

Conjecture: T(n, 1) = 2^(n-2).

T(2n, 2n-1) = 1, since there is only one derangement of 2n letters with 2n-1 descents.

The analogous sequence for permutations is T'(n, k) = 1. That is, the expected value of the first letter of a permutation with k descents is an integer (namely k + 1).

Examples

			Triangle begins:
    1;
    2;
    4,    1,     1;
    8,    3,     4;
   16,  104,    40,    24,    1;
   32,  392,   896,   480,   54;
   64,  152,   308,  1496,   63,  108,  1;
  128, 2276, 30384, 14410, 4315, 3024, 14.
T(4,1) = 4 because the derangements of four letters with one descent are
[2,3,4,1], [2,4,1,3], [3,4,1,2], and [4,1,2,3], and the expected value of the first letter is (2+2+3+4)/4 = 11/4, which has 4 as its denominator.
		

Crossrefs

Cf. A000166, A083329, A219836.

Numerators are given by A332009.