Ordered trees and the Geode

Abstract

In recent work of Wildberger and Rubine, it is shown that the formal power series $\mathbf{S}$ in the variables $t_1,t_2,\dots$ satisfying $\mathbf{S}=1+{\sum }_{n\ge 1}{t}_n{\mathbf{S}}^n$ has a factorisation $\mathbf{S}=1+(t_1+t_2+\cdots )\mathbf{G}$, where $\mathbf{G}$ is a power series with nonnegative coefficients called the Geode. In this note we give a combinatorial interpretation for the coefficients of $\mathbf{G}$ based on ordered trees. This amends the statement of a disproved conjecture of Wildberger and Rubine which suggests a similar (but incorrect) interpretation.

7 pages, comments welcome