Distortion conjecture for the tetrahedral spherical-harmonic correspondence

In spherical coordinates on S2\mathbb{S}^2, define

w(ϕ,θ)=13sin(θ)sin(2θ)cos(2ϕ)w(\phi,\theta)=\frac{1}{3}\sin(\theta)\sin(2\theta)\cos(2\phi)

and

σ(ϕ,θ)=(x(ϕ,θ)1w2(ϕ,θ),y(ϕ,θ)1w2(ϕ,θ),z(ϕ,θ)1w2(ϕ,θ),w(ϕ,θ)),\sigma(\phi,\theta)=\big(x(\phi,\theta)\sqrt{1-w^2(\phi,\theta)},y(\phi,\theta)\sqrt{1-w^2(\phi,\theta)},z(\phi,\theta)\sqrt{1-w^2(\phi,\theta)},w(\phi,\theta)\big),

where (x(ϕ,θ),y(ϕ,θ),z(ϕ,θ))=(cos(ϕ)sin(θ),sin(ϕ)sin(θ),cos(θ))(x(\phi,\theta),y(\phi,\theta),z(\phi,\theta))=(\cos(\phi)\sin(\theta),\sin(\phi)\sin(\theta),\cos(\theta)). Let RσR_\sigma be the induced correspondence and set ζ2=arccos(1/3)\zeta_2=\arccos(-1/3). Tetrahedral correspondence conjecture.

dis(Rσ)=ζ2.\mathrm{dis}(R_\sigma)=\zeta_2.

The text records the lower bound dis(Rσ)ζ2\mathrm{dis}(R_\sigma)\geq\zeta_2 and reports extensive computational testing, but does not establish the matching upper bound.

Sources & referencesView supporting material

Primary source

Facundo Mémoli and Zane T. Smith, “Embedding-Projection Correspondences for the estimation of the Gromov-Hausdorff distance”, arXiv:2407.03295 (2024).

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.