cp's OEIS Frontend

A122200 Signature permutations of RIBS-transformations of non-recursive Catalan automorphisms in table A089840.

%I A122200 #16 Aug 18 2025 06:30:25
%S A122200 0,1,0,2,1,0,3,2,1,0,4,3,2,1,0,5,4,3,2,1,0,6,5,4,3,2,1,0,7,6,5,4,3,2,
%T A122200 1,0,8,8,6,5,4,3,2,1,0,9,7,7,6,5,4,3,2,1,0,10,9,8,7,6,5,4,3,2,1,0,11,
%U A122200 10,9,8,7,6,5,4,3,2,1,0,12,11,10,9,8,7,6,5,4,3,2,1,0,13,13,11,10,9,8
%N A122200 Signature permutations of RIBS-transformations of non-recursive Catalan automorphisms in table A089840.
%C A122200 Row n is the signature permutation of the Catalan automorphism which is obtained from the n-th nonrecursive automorphism in the table A089840 with the recursion scheme "RIBS".
%C A122200 In this recursion scheme the given automorphism is applied to all (toplevel) subtrees of the Catalan structure, when it is interpreted as a general tree. Permutations in this table form a countable group, which is isomorphic with the group in A089840. (The RIBS transformation gives the group isomorphism.)
%C A122200 Furthermore, row n of this table is also found as the row A123694(n) in tables A122203 and A122204. If the count of fixed points of the automorphism A089840[n] is given by sequence f, then the count of fixed points of the automorphism A089840[A123694(n)] is given by CONV(f,A000108) (where CONV stands for convolution) and the count of fixed points of the automorphism A122200[n] by INVERT(RIGHT(f)).
%C A122200 The associated Scheme-procedures RIBS and !RIBS can be used to obtain such a transformed automorphism from any constructively or destructively implemented automorphism.
%C A122200 This sequence agrees with A025581 in its initial terms, but then diverges from it. - _Antti Karttunen_, May 11 2008
%D A122200 Antti Karttunen, paper in preparation, draft available by e-mail.
%H A122200 <a href="/index/Per#IntegerPermutationCatAuto">Index entries for signature-permutations of Catalan automorphisms</a>
%o A122200 (Scheme) (define (RIBS foo) (lambda (s) (map foo s)))
%o A122200 (define (!RIBS foo!) (letrec ((bar! (lambda (s) (cond ((pair? s) (foo! (car s)) (bar! (cdr s)))) s))) bar!))
%Y A122200 Row 0 (identity permutation): A001477, row 1: A122282. See also tables A089840, A122201-A122204, A122283-A122284, A122285-A122288, A122289-A122290.
%K A122200 nonn,tabl
%O A122200 0,4
%A A122200 _Antti Karttunen_, Sep 01 2006