The Tropical Algebra of Binary-Tree Height

Grant Molnar

The binary-tree height recursion defines an algebra $\mathcal{H}$ on $\mathbb{N}\cup \{-\infty \}$, with join given by $\max$ and product \[ a\star b=\max\{a,b\}+1. \] We show that w…