Metric characterization of ultrametric spaces generated by labeled trees

Let (X,d)(X,d) be a discrete, nonempty, totally bounded ultrametric space. Write BX\mathbf{B}_X for the family of balls in XX. A labeled tree is a tree T=T(l)T=T(l) with vertex set V(T)V(T) and labeling ll, inducing the ultrametric dld_l on V(T)V(T). The sphere centered at cc of radius rr is S(c,r)={xX:d(x,c)=r}S(c,r)=\{x\in X:d(x,c)=r\}.

Metric characterization conjecture. The following statements are equivalent:

  1. There is a labeled tree T=T(l)T=T(l) such that (V(T),dl)(V(T),d_l) and (X,d)(X,d) are isometric.
  2. For every BBXB\in\mathbf{B}_X, there are cXc\in X and r>0r>0 such that
B={xX:d(x,c)=r}{c}=S(c,r){c}.B=\{x\in X:d(x,c)=r\}\cup\{c\}=S(c,r)\cup\{c\}.

The conjecture proposes a purely metric characterization of the discrete totally bounded ultrametric spaces representable by labeled trees. Its resolution status is not specified in the source.

Sources & referencesView supporting material

Primary source

Oleksiy Dovgoshey and Mehmet Küçükaslan, “Labeled trees generating complete, compact, and discrete ultrametric spaces”, arXiv:2101.00626 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.