A 32-leaf tree requiring six coordinates for an isometric $\ell_\infty$ embedding
Abstract
We disprove the conjecture that every tree with t leaves embeds isometrically into $\ell_\infty^{\lceil \log_2 t\rceil}$. We construct a 32-leaf tree whose least isometric $\ell_\infty$-dimension is six rather than five, and prove that every tree with at most 31 leaves attains the conjectured bound; Brigham et al. had recorded equality through 21 leaves. Thus 32 is the first failure, and the example answers affirmatively a question of Fitzpatrick and Nowakowski from 2000. The same topology has dimension six under every assignment of positive edge lengths, and therefore also disproves the later sharp leaf-threshold conjecture for weighted metric trees.
Disclosure
“ration of competing interest The author declares that he has no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper. Declaration of generative AI and AI-assisted technologies in the manuscript preparation process OpenAI’s GPT-5.6 Sol assisted in implementing the computational search strategy and with drafting this manuscript. The author takes full responsibility for the con”
PDF page 5
- Classification
- Drafting limited passages
- Multiplier
- 5
- Verified
Structural counts
Count notes
- Source counts use the expanded primary TeX file note.tex.
- Appendix pages include the first PDF page with an explicit Appendix heading through the final page.