Metricity of the point pair function off the z-axis

Let ZZ be the zz-axis in R3\mathbb{R}^3, and let G=R3\ZG=\mathbb{R}^3\backslash Z. The point pair function pGp_G is defined on pairs of points in GG. Metricity conjecture. The point pair function pGp_G is a metric on GG. No resolution is given in the source.

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.