Degree-three generic list recovery for spherical registration

Let F\mathcal{F} be a finite set of nonzero spherical-harmonic frequencies, let VV be the corresponding SO(3)\mathrm{SO}(3) representation, and let R[V]dSO(3)\mathbb{R}[V]^{\mathrm{SO}(3)}_d denote its degree-dd invariant polynomials. Write trdeg(R[V]SO(3))\operatorname{trdeg}(\mathbb{R}[V]^{\mathrm{SO}(3)}) for the transcendence degree of the invariant ring. Spherical-registration conjecture. Generic list recovery at degree 33 is possible if and only if

dim(R[V]2SO(3))+dim(R[V]3SO(3))trdeg(R[V]SO(3)).\dim\bigl(\mathbb{R}[V]^{\mathrm{SO}(3)}_2\bigr)+\dim\bigl(\mathbb{R}[V]^{\mathrm{SO}(3)}_3\bigr)\geq \operatorname{trdeg}\bigl(\mathbb{R}[V]^{\mathrm{SO}(3)}\bigr).

In particular, when F={1,2,,F}\mathcal{F}=\{1,2,\ldots,F\}, this holds if and only if F10F\geq10. The claim extends a theorem verified for 10F1610\leq F\leq16, but the general assertion is open.

Sources & referencesView supporting material

Primary source

Afonso S. Bandeira, Ben Blum-Smith, Joe Kileel, Amelia Perry, Jonathan Niles-Weed and Alexander S. Wein, “Estimation under group actions: recovering orbits from invariants”, arXiv:1712.10163 (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.