The K1,3K_{1,3} characterization conjecture for ultrametric spaces

Let (X,d)(X,d) be an ultrametric space with X4|X|\geq 4. For each four-point subspace, let its diametrical graph be the graph formed from the four points using the paper's definition. Let (Z4,μ4)(Z_4,\mu_4) and (S4,ν4)(S_4,\nu_4) be the four-point ultrametric spaces displayed in the paper, and let “weakly similar” have the paper's stated meaning.

K1,3K_{1,3} characterization conjecture. The following statements are equivalent:

  1. The diametrical graph of each four-point subspace of (X,d)(X,d) is isomorphic to K1,3K_{1,3}, but (X,d)(X,d) contains no four-point subspaces which are weakly similar to (Z4,μ4)(Z_4,\mu_4).
  2. All four-point subspace of (X,d)(X,d) are weakly similar to (S4,ν4)(S_4,\nu_4).
  3. The space (X,d)(X,d) admits an isometric embedding into (R+,d+)(\mathbb R^+,d^+).

This conjecture seeks to characterize the ultrametric spaces whose four-point patterns force an isometric embedding into the positive real line. The source calls it a plausible hypothesis, and no resolution is supplied in the given text.

Sources & referencesView supporting material

Primary source

Oleksiy Dovgoshey and Olga Rovenska, “Forbidden Four Cycle, Star Graphs and Isometric Embeddings”, arXiv:2510.01667 (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.