cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A092580 Triangle read by rows: T(n,k) is the number of permutations p of [n] in which exactly the first k terms satisfy the up-down property, i.e., p(1) p(2)>p(3), p(3) ...

This page as a plain text file.
%I A092580 #25 Apr 28 2023 19:55:46
%S A092580 1,1,1,3,1,2,12,4,3,5,60,20,15,9,16,360,120,90,54,35,61,2520,840,630,
%T A092580 378,245,155,272,20160,6720,5040,3024,1960,1240,791,1385,181440,60480,
%U A092580 45360,27216,17640,11160,7119,4529,7936,1814400,604800,453600,272160,176400,111600,71190,45290,28839,50521
%N A092580 Triangle read by rows: T(n,k) is the number of permutations p of [n] in which exactly the first k terms satisfy the up-down property, i.e., p(1)<p(2), p(2)>p(3), p(3)<p(4), ...
%C A092580 Row sums are the factorial numbers (A000142). First column is A001710. Second column is A001715. Diagonal is A000111.
%H A092580 Alois P. Heinz, <a href="/A092580/b092580.txt">Rows n = 1..150, flattened</a>
%H A092580 E. Deutsch and W. P. Johnson, <a href="http://www.jstor.org/stable/3219101">Create your own permutation statistics</a>, Math. Mag., 77, 130-134, 2004.
%F A092580 T(n, k) = n!*[(k+1)*E(k)-E(k+1)]/(k+1)! for k<n and T(n, n) = E(n), where tan(x)+sec(x) = Sum_{n>=0} [E(n)x^n/n!] (i.e., E(n) = A000111(n)).
%F A092580 Sum_{k=0..n} (k+1) * T(n,k) = A230960(n). - _Alois P. Heinz_, Apr 27 2023
%e A092580 T(4,3)=3 because 1432, 2431, 3421 are the only permutations of [4] in which exactly the first 3 entries satisfy the up-down property.
%e A092580 Triangle starts:
%e A092580     1;
%e A092580     1,   1;
%e A092580     3,   1,  2;
%e A092580    12,   4,  3,  5;
%e A092580    60,  20, 15,  9, 16;
%e A092580   360, 120, 90, 54, 35, 61;
%e A092580   ...
%p A092580 b:= proc(u, o) option remember;
%p A092580       `if`(u+o=0, 1, add(b(o-1+j, u-j), j=1..u))
%p A092580     end:
%p A092580 E:= n-> b(n, 0):
%p A092580 T:= (n, k)-> `if`(n=k, E(n), n!*((k+1)*E(k)-E(k+1))/(k+1)!):
%p A092580 seq(seq(T(n, k), k=1..n), n=1..10);  # _Alois P. Heinz_, Aug 12 2016
%t A092580 b[u_, o_] := b[u, o] = If[u + o == 0, 1, Sum[b[o - 1 + j, u - j], {j, 1, u}]]; e[n_] := b[n, 0]; T[n_, k_] := If[n == k, e[n], n!*((k + 1)*e[k] - e[k + 1])/(k + 1)!]; Table[T[n, k], {n, 1, 10}, {k, 1, n}] // Flatten (* _Jean-François Alcover_, Dec 21 2016, after _Alois P. Heinz_ *)
%Y A092580 Cf. A000111, A000142, A001710, A001715, A092582, A230960.
%Y A092580 T(2n,n) gives A362603.
%K A092580 nonn,tabl
%O A092580 1,4
%A A092580 _Emeric Deutsch_ and Warren P. Johnson (wjohnson(AT)bates.edu), Apr 10 2004