TOPICS
Search

Strong Isometric Dimension


The strong isometric dimension of a finite connected graph is the least integer m for which its graph distance can be realized by the infinity norm on R^m. Thus there must be a map f of its vertices into R^m such that

 d_G(u,v)=max_(1<=i<=m)|f_i(u)-f_i(v)|.

The same definition applies to a tree whose edges have positive lengths, using the sum of lengths along the unique path between two vertices. It concerns the metric on the vertices and does not require a geometric drawing of the edges.

For a tree with t>=2 leaves, the dimension is at least [lgt], where [x] is the ceiling function and lg is the base-2 logarithm. Equality holds for every tree with at most 31 leaves. Chalmers (2026) constructed a 32-leaf tree requiring six coordinates, for every assignment of positive edge lengths, disproving the proposed equality in general. The work used AI for code and exposition, with the mathematical argument checked by the author. Independent external review had not been reported as of Sep. 7, 2026.


See also

Graph Distance, Isometry, Tree, Tree Leaf

Explore with Wolfram|Alpha

References

Brigham, R. C.; Chartrand, G.; Dutton, R. D.; and Zhang, P. "On the Dimension of Trees." Disc. Math. 294, 279-283, 2005.Chalmers, L. R. "A 32-Leaf Tree Requiring Six Coordinates for an Isometric l_infty Embedding." 17 Aug 2026. https://arxiv.org/abs/2608.16288.Fitzpatrick, S. L. and Nowakowski, R. J. "The Strong Isometric Dimension of Finite Reflexive Graphs." Discuss. Math. Graph Th. 20, 23-38, 2000.

Cite this as:

Weisstein, Eric W. "Strong Isometric Dimension." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/StrongIsometricDimension.html

Subject classifications