The Tropical Algebra of Binary-Tree Height
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,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.12401
curl -X POST /api/v1/records/arxiv/2608.12401/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.12401/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'