Ordered trees and the Geode

TL;DR

This paper provides a combinatorial interpretation for the coefficients of the Geode power series using ordered trees, clarifying and correcting previous conjectures about its structure.

Contribution

It introduces a new combinatorial interpretation of the Geode's coefficients based on ordered trees, correcting earlier conjectures.

Findings

Coefficients of the Geode are interpreted via ordered trees.

The paper corrects a previously disproved conjecture.

Provides a combinatorial framework for understanding the power series.

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\geq 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.