Covering-radius conjecture for the odd trigonometric moment curve

Let γ2k+1:S1S2k+1\gamma_{2k+1}:\mathbb{S}^1\to\mathbb{S}^{2k+1} be the odd trigonometric moment curve embedding, let Π2k+1:S2k+1γ2k+1(S1)\Pi_{2k+1}:\mathbb{S}^{2k+1}\to\gamma_{2k+1}(\mathbb{S}^1) be the nearest-point projection, and let d2k+1d_{2k+1} be the spherical distance. Define the covering radius by

ρ(Π2k+1)=maxqS2k+1mintS1d2k+1(q,γ2k+1(t)).\rho(\Pi_{2k+1})=\max_{q\in\mathbb{S}^{2k+1}}\min_{t\in\mathbb{S}^1}d_{2k+1}(q,\gamma_{2k+1}(t)).

Let δk\delta_k be the lower-bound quantity used earlier in the paper. Covering-radius conjecture.

ρ(Π2k+1)δk2=πk2k+1.\rho(\Pi_{2k+1})\leq\frac{\delta_k}{2}=\frac{\pi k}{2k+1}.

The estimate is proposed as part of the strategy for proving optimality of the TMC-EPC; the supplied text gives no proof and presents the problem as open.

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).

Additional references

4 papers in this index state this conjecture (2010–2024). The statement above is taken from the most recent of them; the others are arXiv:1911.11514, arXiv:1612.05447, arXiv:1009.0810.

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.