geometry-topology / Metric geometry; tree metrics; isometric embeddings into l-infinity

A 32-leaf tree requiring six coordinates for an isometric \ell_\infty embedding

Disproved. An explicit 32-leaf tree has least isometric \ell_\infty-dimension six, not the conjectured five, and keeps dimension six under every assignment of positive edge lengths, so the weighted sharp-threshold conjecture falls too. Every tree with at most 31 leaves does attain log2t\lceil \log_2 t \rceil, so 32 is the first failure; Brigham et al. had checked through 21. The proof is finite and exact: six explicit orientation masks cover all leaf pairs, and a recurrence on rooted branches rules out any five-orientation cover.

12Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologyAug 17, 2026Significance 12/100Registry: unreviewed

A 32-leaf tree requiring six coordinates for an isometric \ell_\infty embedding

Prior state unknowndisproved

Disproved. An explicit 32-leaf tree has least isometric \ell_\infty-dimension six, not the conjectured five, and keeps dimension six under every assignment of positive edge lengths, so the weighted sharp-threshold conjecture falls too. Every tree with at most 31 leaves does attain log2t\lceil \log_2 t \rceil, so 32 is the first failure; Brigham et al. had checked through 21. The proof is finite and exact: six explici…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Disproved. An explicit 32-leaf tree has least isometric \ell_\infty-dimension six, not the conjectured five, and keeps dimension six under every assignment of positive edge lengths, so the weighted sharp-threshold conjecture falls too. Every tree with at most 31 leaves does attain log2t\lceil \log_2 t \rceil, so 32 is the first failure; Brigham et al. had checked through 21. The proof is finite and exact: six explicit orientation masks cover all leaf pairs, and a recurrence on rooted branches rules out any five-orientation cover.

Disproved. An explicit 32-leaf tree has least isometric \ell_\infty-dimension six, not the conjectured five, and keeps dimension six under every assignment of positive edge lengths, so the weighted sharp-threshold conjecture falls too. Every tree with at most 31 leaves does attain log2t\lceil \log_2 t \rceil, so 32 is the first failure; Brigham et al. had checked through 21. The proof is finite and exact: six explicit orientation masks cover all leaf pairs, and a recurrence on rooted branches rules out any five-orientation cover.

Recorded attempts

Evidence graph

Connected research record

A 32-leaf tree requiring six coordinates for an isometric $\ell_\infty$ embedding — Mathematical Frontier Network