Metricity threshold for the point pair function outside the unit ball

Let Bn\mathbb{B}^n be the unit ball in Rn\mathbb{R}^n, and let pRn\Bnαp^\alpha_{\mathbb{R}^n\backslash\overline{\mathbb{B}}^n} be the function

pRn\Bnα(x,y)=xyxy2+α(x1)(y1).p^\alpha_{\mathbb{R}^n\backslash\overline{\mathbb{B}}^n}(x,y)=\frac{|x-y|}{\sqrt{|x-y|^2+\alpha(|x|-1)(|y|-1)}}.

Metricity conjecture. For a constant α>0\alpha>0, this function, defined for x,yRn\Bnx,y\in\mathbb{R}^n\backslash\overline{\mathbb{B}}^n and n2n\geq2, is a metric if and only if α12\alpha\leq12. The threshold 1212 is proposed on the basis of numerical tests; its validity remains open.

Sources & referencesView supporting material

Primary source

Dina Dautova, Semen Nasyrov, Oona Rainio and Matti Vuorinen, “Metrics and quasimetrics induced by point pair function”, arXiv:2202.08518 (2023).

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.