Metric characterization of ultrametric spaces generated by labeled trees

At least 4 years old · documented by

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)={x∈X: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 B∈BXB\in\mathbf{B}_X, there are c∈Xc\in X and r>0r>0 such that
B={x∈X: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.

References

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.