cp's OEIS Frontend

Recursive transformation ENIPS for Catalan bijections has a well-defined inverse (see the definition & comments at A122204). For all Catalan bijections in A089840 that inverse produces a bijection which is itself in A089840. This sequence gives the indices to those positions where each ("primitive", non-recursive bijection) of A089840(n) occurs "atavistically" amongst the more complex recursive bijections in A122204. I.e. A122204(a(n)) = A089840(n). Similarly, other "atavistic forms" resurface as: A122287(a(n)) = A122201(n), A122286(a(n)) = A122203(n) and A122202(a(n)) = A122284(n). See also comments at A153833.

There exists similar atavistic index sequences computed for FORK (A122201) and KROF (A122202). Both start as 0,1654720,... (see A129604). This implies that regardless of how complex recursive derivations from A089840 one forms by repeatedly applying SPINE, ENIPS, FORK and/or KROF in some order (finite number of times), all the original primitive non-recursive elements of A089840 will eventually appear at some positions.

Other known terms: a(12)=65167, a(13)=65178, a(14)=65236, a(15)=169, a(16)=65302, a(22)-a(44) = 1656351, 1656576, 1656777, 1656628, 1656704, 1659507, 1659538, 1659653, 1659798, 1659685, 1659830, 1660155, 1660582, 1660439, 1660476, 1660621, 1660196, 1661073, 1660930, 1660859, 1661004, 1661287, 1661360.

Recursive transformation SPINE for Catalan bijections has a well-defined inverse (see the definition & comments at A122203). For all Catalan bijections in A089840 that inverse produces a bijection which is itself in A089840. This sequence gives the indices to those positions where each ("primitive", non-recursive bijection) of A089840(n) occurs "atavistically" amongst the more complex recursive bijections in A122203. I.e. A122203(a(n)) = A089840(n). Similarly, other "atavistic forms" resurface as: A122288(a(n)) = A122202(n), A122285(a(n)) = A122204(n) and A122201(a(n)) = A122283(n). See also comments at A153832.

Other known terms: a(17)-a(44): 65352, 65359, 65604, 65739, 251, 1656303, 1656426, 1656552, 1656628, 1656479, 1661655, 1661816, 1666720, 1684006, 1684221, 1667042, 1667007, 1684152, 1661799, 1661676, 1666759, 1684081, 1684437, 1667151, 1684509, 1667187, 1661961, 1661944.

These terms form a subgroup in A089840 (A089839). Because A127301 can be computed as a fold and most of the recursive derivations of A089840 (i.e., tables A122201-A122204, A122283-A122290, A130400-A130403) are also folds, this sequence also gives the indices to those derived tables where bijections preserving A127301 occur.

These elements form a subgroup in A089840 (A089839). Such elements consists of only such clauses where each vertex stays at the same distance from the root of the binary tree and in the image tree will still be sibling to its original sibling in the pre-image tree.

Because A127302 can be computed as a fold and most of the recursive derivations of A089840 (i.e. tables A122201-A122204, A122283-A122290, A130400-A130403) are also folds, this sequence gives also the indices to those derived tables where bijections preserving A127302 occur.

These elements form a subgroup in A089840 (A089839) isomorphic to a group consisting of all finitely iterated wreath products of the form S_2 wr S_2 wr ... wr S_2 and each is an image of some finitary automorphism of an infinite binary tree. E.g. A089840(1) = *A069770 is an image of the generator A of Grigorchuk Group. See comments at A153246 and A153141.

The defining properties are propagated by all recursive transformations of A089840 which themselves do not behave differently depending whether there are internal or terminal vertices in the neighborhood of any vertex (at least the ones given in A122201-A122204, A122283-A122290, A130400-A130403), so this sequence gives also the corresponding positions in those tables.

The signature-permutation of the automorphism which is derived from the automorphism *A057163 with the recursion schema FORK (see A122201), that is, from the first non-recursive automorphism *A069770 with FORK(FORK(*A069770)) or equivalently, with KROF(KROF(*A069770)) (see A122202).

This involution effects the following transformation on the binary trees (labels A,B,C,D refer to arbitrary subtrees located on those nodes and () stands for a terminal node.)

.A..B.C..D.....D..C.B..A.......B...C...C...B........A...B............B...A

..\./.\./.......\./.\./.........\./.....\./..........\./..............\./.

...x...x....-->..x...x.......()..x..-->..x..()........x..()...-->..()..x..

....\./...........\./.........\./.........\./..........\./..........\./...

.....x.............x...........x...........x............x............x....

Note that automorphism *A069770 = FORK(*A129604) = KROF(*A129604). See the definitions given in A122201 and A122202.

This is the unique Catalan automorphism f, such that *A120705 = (FORK f). See A122201 for the definition of FORK.

This is the unique Catalan automorphism f, such that *A120706 = (FORK f). See A122201 for the definition of FORK.

The signature-permutation of the automorphism which is derived from the second non-recursive automorphism *A072796 with FORK(FORK(*A072796)) = FORK(*A057511). (see A122201 for the definition of FORK).