login
Triangle read by rows: g(n,k) = number of ideals of size k in a garland (or double fence) of order n.
3

%I #8 Mar 08 2015 18:41:06

%S 1,1,1,1,1,2,1,2,1,1,3,3,3,3,3,1,1,4,6,6,7,6,6,4,1,1,5,10,12,14,15,14,

%T 12,10,5,1,1,6,15,22,27,32,33,32,27,22,15,6,1,1,7,21,37,50,63,72,75,

%U 72,63,50,37,21,7,1,1,8,28,58,88,118,146,164,171,164,146,118,88,58,28,8,1

%N Triangle read by rows: g(n,k) = number of ideals of size k in a garland (or double fence) of order n.

%C Row n has 2n+1 terms.

%C Also triangle of bounded variation linear paths of length n having final height k-n (height varies from -n to n). _Olivier GĂ©rard_, Aug 28 2012

%C Bounded variation linear paths are path formed from steps 0,1,-1 where the step successions (-1,1) or (1,-1) are not allowed.

%C Equivalently ternary strings of length n with subwords (0,2) and (2,0) not allowed and total sum k.

%D T. S. Blyth and J. C. Varlet, Ockham Algebras, Oxford Science Pub. 1994.

%D E. Munarini, Enumeration of order ideals of a garland, Ars Combin. 76 (2005), 185-192.

%H Emanuele Munarini, Mar 13 2008, <a href="/A137278/b137278.txt">Table of n, a(n) for n = 0..440</a> [Rows 0 through 20, flattened]

%F G.f.: G(x,t) = (1-x^2*t^2)/(1-(1+x+x^2)*t+x^2*t^2+x^3*t^3).

%F Recurrence: g(n+3,k+3) = g(n+2,k+3) + g(n+2,k+2) + g(n+2,k+1) - g(n+1,k+1) - g(n,k).

%e In the garland

%e 5..6..7..8

%e o..o..o..o

%e |\/|\/|\/|

%e |/\|/\|/\|

%e o..o..o..o

%e 1..2..3..4

%e the ideals of size 4 are 1234, 1253, 1254, 1236, 2347, 1348, 2348.

%e The ternary strings of size 4 with total sum 4 are

%e 0022, 0202, 0220, 2002, 2020, 2200,

%e 0112, 0121, 0211,

%e 1012, 1021, 2011,

%e 1102, 1201, 2101,

%e 1120, 1210, 2110,

%e 1111

%e Applying the restriction gives 7 possible strings

%e 0112, 0121, 1012, 2101, 1210, 2110, 1111

%e Triangle begins:

%e 1,

%e 1, 1, 1,

%e 1, 2, 1, 2, 1,

%e 1, 3, 3, 3, 3, 3, 1,

%e 1, 4, 6, 6, 7, 6, 6, 4, 1,

%e 1, 5, 10, 12, 14, 15, 14, 12, 10, 5, 1,

%e 1, 6, 15, 22, 27, 32, 33, 32, 27, 22, 15, 6, 1,

%e ...

%Y Sequence of row sums is A001333 / A078057.

%K easy,nonn,tabf

%O 0,6

%A _Emanuele Munarini_, Mar 13 2008