{"id":"arxiv/2608.12401","url":"https://arxiv.org/abs/2608.12401","tags":["math.CO","math.RA"],"score":0,"title":"The Tropical Algebra of Binary-Tree Height","domain":"math.CO","source":"arxiv","authors":["Grant Molnar"],"reviews":0,"subject":"math.CO","summary":"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 weighted evaluation of a labelled tree depends only on the greatest depth of each label. Single-tree profiles are exactly the vectors satisfying the binary Kraft inequality, while finite joins realize every vector in $\\bigl(\\mathbb{N}\\cup\\{-\\infty\\}\\bigr)^n$; hence the $n$-variable term operations form the free algebra $\\mathcal{H}^n$. We also classify $\\mathcal{H}$'s compatible semilattice operation, subalgebras,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-09","reactions":{}}