A123050 -id:A123050 - cp's OEIS frontend

A057505 Signature-permutation of a Catalan Automorphism: Donaghey's map M acting on the parenthesizations encoded by A014486.

0, 1, 3, 2, 8, 7, 5, 6, 4, 22, 21, 18, 20, 17, 13, 12, 15, 19, 16, 10, 11, 14, 9, 64, 63, 59, 62, 58, 50, 49, 55, 61, 57, 46, 48, 54, 45, 36, 35, 32, 34, 31, 41, 40, 52, 60, 56, 43, 47, 53, 44, 27, 26, 29, 33, 30, 38, 39, 51, 42, 24, 25, 28, 37, 23, 196, 195, 190, 194, 189

Offset: 0

Antti Karttunen, Sep 03 2000

nonn

This is equivalent to map M given by Donaghey on page 81 of his paper "Automorphisms on ..." and also equivalent to the transformation procedure depicted in the picture (23) of Donaghey-Shapiro paper.

This can be also considered as a "more recursive" variant of A057501 or A057503 or A057161.

D. E. Knuth, The Art of Computer Programming, Volume 4, Fascicle 4: Generating All Trees--History of Combinatorial Generation, vi+120pp. ISBN 0-321-33570-8 Addison-Wesley Professional; 1ST edition (Feb 06, 2006).

Antti Karttunen, Table of n, a(n) for n = 0..2055
Robert Donaghey, Automorphisms on Catalan trees and bracketing, J. Combin. Theory, Series B, 29 (1980), 75-90.
Robert Donaghey and Louis W. Shapiro, Motzkin numbers, J. Combin. Theory, Series A, Vol. 23, No. 3 (1977), pp. 291-301.
Indranil Ghosh, Python program for computing this sequence (after the functions mentioned in the OEIS wiki).
Antti Karttunen, Illustration of symmetric general trees whose A057163-reflection is also symmetric (ones that occur in 2-cycles of A057505/A057506)
Antti Karttunen, On the fixed points of A071661 (Notes in OEIS Wiki regarding the 2-cycles of this automorphism)
D. E. Knuth, Pre-Fascicle 4a: Generating All Trees, Exercise 17, 7.2.1.6.
Index entries for signature-permutations of Catalan automorphisms

Inverse: A057506.
The 2nd, 3rd, 4th, 5th and 6th "power": A071661, A071663, A071665, A071667, A071669.
Other related permutations: A057501, A057503, A057161.
Cycle counts: A057507. Maximum cycle lengths: A057545. LCM's of all cycles: A060114. See A057501 for other Maple procedures.
Row 17 of table A122288.
Cf. A080981 (the "primitive elements" of this automorphism), A079438, A079440, A079442, A079444, A080967, A080968, A080972, A080272, A080292, A083929, A080973, A081164, A123050, A125977, A126312.

map(CatalanRankGlobal,map(DonagheysM, A014486)); or map(CatalanRankGlobal,map(DeepRotateTriangularization, A014486));
DonagheysM := n -> pars2binexp(DonagheysMP(binexp2pars(n)));
DonagheysMP := h -> `if`((0 = nops(h)),h,[op(DonagheysMP(car(h))),DonagheysMP(cdr(h))]);
DeepRotateTriangularization := proc(nn) local n,s,z,w; n := binrev(nn); z := 0; w := 0; while(1 = (n mod 2)) do s := DeepRotateTriangularization(BinTreeRightBranch(n))*2; z := z + (2^w)*s; w := w + binwidth(s); z := z + (2^w); w := w + 1; n := floor(n/2); od; RETURN(z); end;

a(0) = 0, and for n>=1, a(n) = A085201(a(A072771(n)), A057548(a(A072772(n)))). [This recurrence reflects the S-expression implementation given first in the Program section: A085201 is a 2-ary function corresponding to 'append', A072771 and A072772 correspond to 'car' and 'cdr' (known also as first/rest or head/tail in some languages), and A057548 corresponds to unary form of function 'list'].
As a composition of related permutations:
a(n) = A057164(A057163(n)).
a(n) = A057163(A057506(A057163(n))).

A079438 a(0) = a(1) = 1, a(n) = 2*(floor((n+1)/3) + (if n >= 14) (floor((n-10)/4) + floor((n-14)/8))).

Original entry on oeis.org

1, 1, 2, 2, 2, 4, 4, 4, 6, 6, 6, 8, 8, 8, 12, 12, 12, 14, 16, 16, 18, 18, 22, 24, 24, 24, 28, 28, 28, 30, 34, 34, 36, 36, 38, 40, 40, 40, 46, 46, 46, 48, 50, 50, 52, 52, 56, 58, 58, 58, 62, 62, 62, 64, 68, 68, 70, 70, 72, 74, 74, 74, 80, 80, 80, 82, 84, 84, 86, 86, 90, 92, 92, 92

Offset: 0

Antti Karttunen, Jan 27 2003

nonn

The original definition was: Number of rooted general plane trees which are symmetric and will stay symmetric after the underlying plane binary tree has been reflected, i.e., number of integers i in range [A014137(n-1)..A014138(n-1)] such that A057164(i) = i and A057164(A057163(i)) = A057163(i).
(Thus also) the number of fixed points in range [A014137(n-1)..A014138(n)] of permutation A071661 (= Donaghey's automorphism M "squared"), which is equal to condition A057164(i) = A069787(i) = i, i.e., the size of the intersection of fixed points of permutations A057164 and A069787 in the same range.
Additional comment from Antti Karttunen, Dec 13 2017: (Start)
However, David Callan's A123050 claims to give more correct version of that count from n=26 onward, so I probably made a little mistake when converting my insights into the formula given here. At that time I reckoned that if the conjecture given in A080070 were true, then it would imply that the formula given here were exact, otherwise it would give only a lower bound.
It would be nice to know what an empirical program would give as the count of fixed points of A071661 for n in range [A014137(25)..A014138(26)] = [6619846420553 .. 24987199492704], with total A000108(26) = 18367353072151 points to check.
(End)

D. E. Knuth, The Art of Computer Programming, Volume 4, Fascicle 4: Generating All Trees--History of Combinatorial Generation, vi+120pp. ISBN 0-321-33570-8 Addison-Wesley Professional; 1ST edition (Feb 06, 2006).

G. C. Greubel, Table of n, a(n) for n = 0..10000
R. Donaghey, Automorphisms on Catalan trees and bracketing, J. Combin. Theory, Series B, 29 (1980), 75-90.
A. Karttunen, C-program for counting the initial terms of this sequence (empirically)
A. Karttunen, Illustration of initial terms for trees of sizes n=2..18
A. Karttunen, On the fixed points of A071661 (Notes in OEIS Wiki)
D. E. Knuth, Pre-Fascicle 4a: Generating All Trees, Exercise 17, 7.2.1.6.

Cf. A000108, A057163, A057164, A057505, A069787, A071661, A079437, A079439, A079442, A080070, A243490,  A243491, A243492.
From n>= 2 onward A079440(n) = a(n)/2.
Occurs in A073202 as row 13373289.
Differs from A123050 for the first time at n=26.

A079438 := n -> `if`((n<2),1,2*(floor((n+1)/3) + `if`((n>=14),floor((n-10)/4)+floor((n-14)/8),0)));

a[0]:= 1; a[1]:= 1; a[n_]:= a[n] = 2*Floor[(n+1)/3] +2*If[ n >= 14, (Floor[(n-10)/4] +Floor[(n-14)/8]), 0]; Table[a[n], {n, 0, 100}] (* G. C. Greubel, Jan 18 2019 *)

{a(n) = if(n==0, 1, if(n==1, 1, 2*floor((n+1)/3) + 2*if(n >= 14, floor( (n-10)/4) + floor((n-14)/8), 0)))}; \\ G. C. Greubel, Jan 18 2019

a(0) = a(1) = 1, a(n) = 2*(floor((n+1)/3) + (if n >= 14) (floor((n-10)/4) + floor((n-14)/8))).

Entry edited (the definition replaced by a formula, the old definition moved to the comments) - Antti Karttunen, Dec 13 2017

A125977 Signature-permutation of a Catalan automorphism: composition of A057163 and A125976.

Original entry on oeis.org

0, 1, 2, 3, 4, 6, 7, 5, 8, 9, 14, 16, 11, 19, 17, 20, 12, 10, 15, 21, 18, 13, 22, 23, 37, 42, 28, 51, 44, 53, 30, 25, 39, 56, 47, 33, 60, 45, 54, 57, 48, 61, 31, 40, 26, 24, 38, 43, 34, 29, 52, 58, 62, 49, 46, 55, 35, 32, 27, 41, 63, 59, 50, 36, 64, 65, 107, 121, 79, 149

Offset: 0

Antti Karttunen, Jan 02 2007

nonn

Inverse: A125978. a(n) = A057163(A125976(n)). The number of cycles, maximum cycle sizes and LCM's of all cycle sizes in range [A014137(n-1)..A014138(n-1)] of this permutation are given by A126317, A126318 and A126319. The number of fixed points seems to be given by A123050 and fixed points themselves are probably given by A126312. Cf. also A126313-A126316.

Differs from A071661 for the first time at n=43, where a(n)=40, while A071661(43)=34. Differs from A071666 for the first time at n=34, where a(n)=47, while A071666(34)=48.

A243492 Difference A243491(n) - A127301(n).

Original entry on oeis.org

0, 0, 0, 0, 0, 0, 1, -1, 0, 0, 0, 2, -2, 0, 7, 4, 0, -7, -4, 7, 0, -7, 0, 0, 0, 4, -4, 0, 14, 8, 0, -14, -8, 14, 0, -14, 0, 29, 19, 25, 16, 14, 10, 5, -10, -29, -19, -5, -16, -25, -14, 47, 26, 17, 0, 0, 0, -17, -47, -26, 37, 12, -12, -37, 0, 0, 0, 8, -8, 0, 28, 16, 0, -28, -16, 28, 0, -28, 0

Offset: 0

Antti Karttunen, Jun 07 2014

A243490 gives the positions of zeros, which are also the fixed points of A069787. They correspond to the dots shown on the y=0 line of the arcsinh-version of scatter plot.

Antti Karttunen, Table of n, a(n) for n = 0..6917
A. Karttunen, On the fixed points of A071661 (Notes in OEIS Wiki)

Cf. A069787, A243490, A057505, A079438, A123050, A080070, A153239, A153240, A153241, A154477.

(define (A243492 n) (- (A243491 n) (A127301 n)))

a(n) = A243491(n) - A127301(n) = A127301(A069787(n)) - A127301(n).

A126312 Fixed points of permutation A071661/A071662.

Original entry on oeis.org

0, 1, 2, 3, 4, 8, 9, 22, 23, 30, 55, 64, 65, 98, 158, 196, 197, 318, 484, 625, 626, 687, 1042, 1549, 1973, 2055, 2056, 2376, 3471, 5113, 6558, 6917, 6918, 8191, 11763, 17268, 22277, 23713, 23714, 24331, 28360, 40491, 59362, 76942, 81754, 82499

Offset: 0

Antti Karttunen, Jan 16 2007

nonn

Those i for which A071661(i)=i, i.e. for which A057163(A057164(i)) = A057164(A057163(i)). These appear to consist of just those general plane trees which are symmetric and will stay symmetric also after the underlying plane binary tree has been reflected, i.e. for which A057164(i)=i and A057164(A057163(i)) = A057163(i). See comments at A123050 and A080070. The sequence seems to give also the fixed points of the permutation A125977/A125978.

D. Callan, A Bijection on Dyck Paths and Its Cycle Structure, 2006, 17pp.

A154477 a(n) = A153240(A080068(n)).

Original entry on oeis.org

0, 0, 0, 1, 0, 3, 2, 0, 1, 7, 4, 9, 8, 6, 7, 5, -6, -10, 16, 15, 10, -11, -15, 16, 22, 19, 24, 23, 18, 14, 28, 25, 21, 23, 11, -7, -26, 35, 34, 29, -18, 39, 38, 9, -8, 38, 33, -31, -35, 42, 37, 31, 32, 51, 48, -46, 54, 51, 40, -43, 58, 55, 43, 61, 60, 58, 52, 65, 62, -2, 68

Offset: 0

Antti Karttunen, Jan 11 2009

sign

This sequence gives some indication of how well the terms of A080068 are balanced as general trees, which has some implications as to the correctness of A123050 (see comments at A080070).

A. Karttunen, Table of n, a(n) for n = 0..512

A328111 a(n) = A080069(n) OR A267357(n).

Original entry on oeis.org

1, 3, 15, 47, 191, 743, 2935, 12015, 47615, 190363, 737255, 3092431, 11777535, 48562151, 194672615, 778681963, 3117668351, 12677730147, 49850341191, 192901085003, 795560607711, 3243899871031, 12977889600367, 51055599708139, 204124618746111, 791262494980483, 3318011560984519, 12661179187462123, 52138250822737375, 212591566440951715, 836346216751952367, 3236342451194541807

Offset: 0

Antti Karttunen, Oct 05 2019

nonn

The pattern has a remarkably nice texture. A269174 gives the trajectory of 1-D Cellular Automaton rule 124 (which is a mirror image of rule 110), when started from a single alive cell. Trails of its evolution can be dimly discerned on the right hand side of given illustrations, while the left hand side shows the evolution of (left hand side of) iterated Dyck-path system A080069 unblemished.

Antti Karttunen, Table of n, a(n) for n = 0..1023
Antti Karttunen, Terms up to a(255) drawn as binary strings, with 1 bit = 3x3 pixels resolution
Antti Karttunen, Terms up to a(1023) drawn as binary strings, with 1 bit = 1 pixel resolution

Cf. A003986, A267357, A269174.
Cf. A080069, A080070, and also A079438 and A123050.
Cf. also A328103.

a(n) = A080069(n) OR A267357(n), where OR is bitwise-OR, A003986.

cp's OEIS Frontend

A057505 Signature-permutation of a Catalan Automorphism: Donaghey's map M acting on the parenthesizations encoded by A014486.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Maple

Formula

A079438 a(0) = a(1) = 1, a(n) = 2*(floor((n+1)/3) + (if n >= 14) (floor((n-10)/4) + floor((n-14)/8))).

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions

A125977 Signature-permutation of a Catalan automorphism: composition of A057163 and A125976.

Views

Author

Keywords

Links

Crossrefs

A243492 Difference A243491(n) - A127301(n).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Scheme

Formula

A126312 Fixed points of permutation A071661/A071662.

Views

Author

Keywords

Comments

Links

A154477 a(n) = A153240(A080068(n)).

Views

Author

Keywords

Comments

Links

Crossrefs

A328111 a(n) = A080069(n) OR A267357(n).

Views

Author

Keywords

Comments

Links

Crossrefs

Formula