[go: up one dir, main page]

login
Revision History for A281442 (Bold, blue-underlined text is an addition; faded, red-underlined text is a deletion.)

Showing entries 1-10 | older changes
Triangle read by rows: T(n,r), 0 <= r <= n, is the number of idempotents of rank r in the Kauffman monoid K_n.
(history; published version)
#24 by N. J. A. Sloane at Sat Oct 21 22:08:15 EDT 2017
STATUS

proposed

approved

#23 by James East at Thu Oct 19 23:26:56 EDT 2017
STATUS

editing

proposed

Discussion
Fri Oct 20
00:06
Andrey Zabolotskiy: Thanks for the correction. The more explicit formulas the better, I think, although the most valuable ones are non-trivial ones, of course.
#22 by James East at Thu Oct 19 23:25:16 EDT 2017
FORMULA

T(2n-1,1) = A005315(n). Empirical: T(2n,2) = A077056(n); T(n+1,2,n-2) = 2*A028875(n) for n>2. - Andrey Zabolotskiy, Oct 19 2017

STATUS

proposed

editing

Discussion
Thu Oct 19
23:26
James East: Changed T(n+1,n-2) to T(n+2,n-2); note that T(n,r) = 0 if n != r (mod 2).  It is also easy to show that T(n,n-2) = 2(n-2), but I doubt this is worth adding.
#21 by James East at Thu Oct 19 22:55:22 EDT 2017
STATUS

editing

proposed

Discussion
Thu Oct 19
23:08
James East: Andrey's first formula is indeed proved (I haven't checked the second one).  The "interface graphs" discussed in the article generally involve multiple (nested) open and closed meanders.  In the case of rank-1 idempotents from K_n (with n odd), there is exactly one such meander.
23:12
James East: I also added a connection with Temperley-Lieb algebras.
#20 by James East at Thu Oct 19 22:55:01 EDT 2017
COMMENTS

T(n,r) is also the number of idempotent basis elements of rank r in the Temperley-Lieb algebra of degree n in the generic case (when the twisting parameter is not an m-th root of unity for any m <= n).

STATUS

proposed

editing

#19 by Andrey Zabolotskiy at Thu Oct 19 17:42:52 EDT 2017
STATUS

editing

proposed

#18 by Andrey Zabolotskiy at Thu Oct 19 17:41:50 EDT 2017
FORMULA

T(2n-1,1) = A005315(n). Empirical: T(2n,2) = A077056(n); T(n+1,n-2) = 2*A028875(n) for n>2. - _Andrey Zabolotskiy_, Oct 19 2017

Empirical: T(2n,2) = A077056(n); T(n+1,n-2) = 2*A028875(n) for n>2. - Andrey Zabolotskiy, Oct 19 2017

STATUS

proposed

editing

Discussion
Thu Oct 19
17:42
Andrey Zabolotskiy: James, I'm not sure about the connection to meandric numbers: is it proved or only observed?
#17 by Andrey Zabolotskiy at Thu Oct 19 05:24:38 EDT 2017
STATUS

editing

proposed

Discussion
Thu Oct 19
10:21
Michel Marcus: Andrey  , you entered 2 formulas ?
#16 by Andrey Zabolotskiy at Thu Oct 19 05:07:52 EDT 2017
FORMULA

T(2n-1,1) = A005315(n).

Empirical: T(2n,2) = A077056(n); T(n+1,n-2) = 2*A028875(n) for n>2. - Andrey Zabolotskiy, Oct 19 2017

CROSSREFS

Cf. A281438 (row sums), A281441, A289620.

STATUS

proposed

editing

#15 by Andrey Zabolotskiy at Fri Oct 13 10:06:47 EDT 2017
STATUS

editing

proposed