cp's OEIS Frontend

These elements form a subgroup in A089840 (A089839).

In addition to all the automorphisms whose signature permutation satisfies the more restricted condition A127301(SP(n)) = A127301(n) for all n, there are also general tree-rotating automorphisms like *A057501, *A057502, *A069771 and *A069772 that satisfy also the condition A129599(SP(n)) = A129599(n) for all n. However, in contrast to A129593 this is not invariant under the automorphism *A072797. A000041(n) distinct values (seem to) occur in each range [A014137(n)..A014138(n)].

This bijection effects the following transformation on the unlabeled rooted plane general trees (letters A, B, C, etc. refer to arbitrary subtrees located on those vertices):

A A A B B A A B C B A C

| --> | \ / --> \ / \ | / --> \ | /

| | \./ \./ \|/ \|/ etc.

I.e., it keeps "planted" (root degree = 1) trees intact, and swaps the two leftmost toplevel subtrees of the general trees that have a root degree > 1.

On the level of underlying binary trees that general trees map to (see, e.g., 1967 paper by N. G. De Bruijn and B. J. M. Morselt, or consider lists vs. dotted pairs in Lisp programming language), this bijection effects the following transformation on the unlabeled rooted plane binary trees (letters A, B, C refer to arbitrary subtrees located on those nodes and () stands for an implied terminal node).

B C A C

\ / \ /

A x --> B x A () A ()

\ / \ / \ / --> \ /

x x x x

(a . (b . c)) -> (b . (a . c)) (a . ()) ---> (a . ())

Note that the first clause corresponds to what is called "generator pi_0" in Thompson's group V. (See also A074679, A089851 and A154121 for other related generators.)

Look at the example section to see how this will produce the given sequence of integers.

Applying this permutation recursively down the right hand side branch of the binary trees (or equivalently, along the topmost level of the general trees) produces permutations A057509 and A057510 (that occur at the same index 2 in tables A122203 and A122204) that effect "shallow rotation" on general trees and parenthesizations. Applying it recursively down the both branches of binary trees (as in pre- or postorder traversal) produces A057511 and A057512 (that occur at the same index 2 in tables A122201 and A122201) that effect "deep rotation" on general trees and parenthesizations.

For this permutation, A127301(a(n)) = A127301(n) for all n, which in turn implies A129593(a(n)) = A129593(n) for all n, likewise for all such recursively generated bijections as A057509 - A057512. Compare also to A072797.

This bijection effects the following transformation on the unlabeled rooted plane binary trees (letters A, B, C refer to arbitrary subtrees located on those nodes and () stands for an implied terminal node).

A B A C

\ / \ /

x C --> x B () A () A

\ / \ / \ / --> \ /

x x x x

((a . b) . c) --> ((a . c) . b) (() . a) ---> (() . a)

See the example for an explanation of how to obtain a given integer sequence from this definition.

Notably for this permutation, A127301(a(n)) = A127301(n) does not always hold, even though for all n, A129593(a(n)) = A129593(n). - Antti Karttunen, Jan 14 2024

This sequence maps A000108(n) oriented (plane) rooted general trees encoded in range [A014137(n-1)..A014138(n)] of A014486 to A000081(n+1) distinct non-oriented rooted general trees, encoded by their Matula-Goebel numbers. The latter encoding is explained in A061773.

A005517 and A005518 give the minimum and maximum value occurring in each such range.

Primes occur at positions given by A057548 (not in order, and with duplicates), and similarly, semiprimes, A001358, occur at positions given by A057518, and in general, A001222(a(n)) = A057515(n).

If the signature-permutation of a Catalan automorphism SP satisfies the condition A127301(SP(n)) = A127301(n) for all n, then it preserves the non-oriented form of a general tree, which implies also that it is Łukasiewicz-word permuting, satisfying A129593(SP(n)) = A129593(n) for all n >= 0. Examples of such automorphisms include A072796, A057508, A057509/A057510, A057511/A057512, A057164, A127285/A127286 and A127287/A127288.

A206487(n) tells how many times n occurs in this sequence. - Antti Karttunen, Jan 03 2013

As described by Marc LeBrun, we can map integers 1-to-1 to partitions in a "crazy" order: factor n, take the (finite) tuple of exponents, add 1 to the first, use the rest as successive differences between parts and finally subtract 1 from the last part, thus we get the following partitions (elements in ascending order): 2 -> [1] -> 1, 3 -> [0,1] -> 1+1, 4 -> [2] -> 2, 5 -> [0,0,1] -> 1+1+1, 6 -> [1,1] -> 2+2, 7 -> [0,0,0,1] -> 1+1+1+1, 8 -> [3] -> 3, 9 -> [0,2] -> 1+2, 10 -> [1,0,1] -> 2+2+2, etc.

Inverse process: from a sorted (elements in ascending order) partition of n, subtract 1 from the first part, then take the first differences of parts and add 1 to the last (of differences or the first part if a singular partition) and use them as the exponents for A000040(1), A000040(2), etc. and multiply.

This array is obtained when we encode in such a way the partition obtained as an element-wise sum of two partitions encoded by i and j. The element-wise addition begins from the largest elements of the partitions, continuing towards the smaller elements and if the partitions do not contain the same number of elements, the shorter is prepended with as many zeros as needed to make them of equal length.

On what condition does A(i,j) = i*j ? E.g., A(3,5)=15, A(3,10)=30, A(5,11)=55. However A(3,7)=35 and A(5,7)=21.

The terms give the positions of bijections in A089840 which preserve A129593, but not A127301.