Infinite ultrametric extension conjecture with four-point obstructions

Let (X,d)(X,d) be an infinite ultrametric space. A metric space is weakly similar to another when there is a similarity between them, allowing a positive rescaling of distances. Infinite extension conjecture. The following statements are equivalent:

  1. There exists (X,d)US(X^*,d^*)\in{\bf US} such that (X,d)(X,d) is isometric to a subspace of (X,d)(X^*,d^*).
  2. (X,d)(X,d) contains no four-point subspace which is weakly similar to (X4,d4)(X_4,d_4) or to (Y4,ρ4)(Y_4,\rho_4).

The source notes that the conjecture is true when (X,d)(X,d) is compact and that implication (1) \Rightarrow (2) holds for arbitrary infinite ultrametric spaces; the unresolved part is implication (2) \Rightarrow (1) for noncompact spaces.

Sources & referencesView supporting material

Primary source

Oleksiy Dovgoshey, Omer Cantor and Olga Rovenska, “Compact ultrametric spaces generated by labeled star graphs”, arXiv:2504.02425 (2025).

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.