Subgroup projection-distance conjecture for closed orthogonal subgroups

From papers

Let G\mathcal{G} be a closed subgroup of the orthogonal group O(d)\mathcal{O}(d), and let conv(G)\operatorname{conv}(\mathcal{G}) denote its convex hull. For Xconv(G)X\in\operatorname{conv}(\mathcal{G}), let dist(X,G)\operatorname{dist}(X,\mathcal{G}) be the distance from XX to G\mathcal{G}, and let ΠG(X)\Pi_{\mathcal{G}}(X) be the projection of XX onto G\mathcal{G}. Subgroup projection-distance conjecture. There exists a constant ρ1\rho\geq 1 such that

dist(X,G)ρTr(IdXΠG(X))Xconv(G).\operatorname{dist}(X,\mathcal{G})\leq \rho\operatorname{Tr}\left(I_d-X^\top\Pi_{\mathcal{G}}(X)\right)\quad\forall X\in\operatorname{conv}(\mathcal{G}).

The conjecture would extend the geometric inequality established in the paper for the orthogonal, special orthogonal, permutation, and cyclic groups to every closed subgroup of the orthogonal group. Its resolution would provide the condition needed for the paper's master theorem to apply uniformly across arbitrary closed orthogonal subgroups.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Huikang Liu, Man-Chung Yue and Anthony Man-Cho So, “A Unified Approach to Synchronization Problems over Subgroups of the Orthogonal Group”, arXiv:2009.07514 (2023).

Solutions 0

No solutions have been posted yet.