This site is supported by donations to The OEIS Foundation.



Please make a donation to keep the OEIS running. We are now in our 55th year. In the past year we added 12000 new sequences and reached 8000 citations (which often say "discovered thanks to the OEIS"). We need to raise money to hire someone to manage submissions, which would reduce the load on our editors and speed up editing.
Other ways to donate

(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A111713 Number of reduced tree pairs of n-carets. 0
0, 1, 2, 14, 108, 930, 8700, 86598, 904176, 9804516, 109624536, 1257136130, 14726063264, 175650153588, 2128038439176, 26133761328150, 324786698542440, 4079191750094776, 51716838331485472, 661227615895716180, 8518677674587163584 (list; graph; refs; listen; history; text; internal format)



The number of ordered pairs of rooted binary trees such that each tree has n carets and the pair is reduced. A caret is a vertex with two (downward) edges. Number the leaves of each tree from left to right (infix order). A tree-pair is reduced if i, i+1 is not the label of a caret in both trees for any i.

The elements of Thompson's group F can be represented uniquely as a reduced tree pair. a(n) is asymptotic to ((12/Pi)/mu) * mu^n/n^3*(1 + O(1/n)) and so the corresponding g.f. cannot be algebraic.


Table of n, a(n) for n=0..20.

S. Cleary, M. Elder, A. Rechnitzer and J. Taback, Random subgroups of Thompson's group F, arxiv:0711.1343 (2007)

S. Cleary, M. Elder, A. Rechnitzer, J. Taback, Random subgroups of Thompson's group F, Groups, Geom. Dynam. 4 (1) (2010) 91-126

Benjamin M. Woodruff, Statistical Properties of Thompson's Group and Random Pseudo Manifolds

Wikipedia, Thompson groups


a(n) = Sum_{k=1..n} (-1)^(k+n) * binomial(k+1,n-k) * ( binomial(2*k,k)/(k+1) )^2.

0 = (16*q^3-6*q^2-6*q+1)*A(q) + q*(4*q-3)*(8*q^3-18*q^2+12*q-1)*(d/dq)A(q) + q^2*(-1+q)*(2*q-1)*(16*q^2-16*q+1)*(d^2/dq^2)A(q) - 4*q*(-1+q)*(2*q-1)^3.


Sequence in context: A108436 A088754 A103945 * A144278 A214766 A275649

Adjacent sequences:  A111710 A111711 A111712 * A111714 A111715 A111716




Murray Elder, May 04 2007



Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified December 6 21:45 EST 2019. Contains 329809 sequences. (Running on oeis4.)