-
Estimating the Euclidean distortion of an orbit space
Authors:
Ben Blum-Smith,
Harm Derksen,
Dustin G. Mixon,
Yousef Qaddura,
Brantley Vose
Abstract:
Given a finite-dimensional inner product space $V$ and a group $G$ of isometries, we consider the problem of embedding the orbit space $V/G$ into a Hilbert space in a way that preserves the quotient metric as well as possible. This inquiry is motivated by applications to invariant machine learning. We introduce several new theoretical tools before using them to tackle various fundamental instances…
▽ More
Given a finite-dimensional inner product space $V$ and a group $G$ of isometries, we consider the problem of embedding the orbit space $V/G$ into a Hilbert space in a way that preserves the quotient metric as well as possible. This inquiry is motivated by applications to invariant machine learning. We introduce several new theoretical tools before using them to tackle various fundamental instances of this problem.
△ Less
Submitted 4 June, 2025;
originally announced June 2025.
-
A max filtering local stability theorem with application to weighted phase retrieval and cryo-EM
Authors:
Yousef Qaddura
Abstract:
Given an inner product space $V$ and a group $G$ of linear isometries, max filtering offers a rich class of convex $G$-invariant maps. In this paper, we identify sufficient conditions under which these maps are locally lower Lipschitz on $R(G)$, the set of orbits with maximal dimension, with respect to the quotient metric on the orbit space $V/G$. Central to our proof is a desingularization theore…
▽ More
Given an inner product space $V$ and a group $G$ of linear isometries, max filtering offers a rich class of convex $G$-invariant maps. In this paper, we identify sufficient conditions under which these maps are locally lower Lipschitz on $R(G)$, the set of orbits with maximal dimension, with respect to the quotient metric on the orbit space $V/G$. Central to our proof is a desingularization theorem, which applies to open, dense neighborhoods around each orbit in $R(G)/G$ and may be of independent interest.
As an application, we provide guarantees for stable weighted phase retrieval. That is, we construct componentwise convex bilipschitz embeddings of weighted complex (resp.\ quaternionic) projective spaces. These spaces arise as quotients of direct sums of nontrivial unitary irreducible complex (resp.\ quaternionic) representations of the group of unit complex numbers $S^1\cong \operatorname{SO}(2)$ (resp.\ unit quaternions $S^3\cong \operatorname{SU}(2)$).
We also discuss the relevance of such embeddings to a nearest-neighbor problem in single-particle cryogenic electron microscopy (cryo-EM), a leading technique for resolving the spatial structure of biological molecules.
△ Less
Submitted 27 January, 2025; v1 submitted 20 March, 2024;
originally announced March 2024.
-
Injectivity, stability, and positive definiteness of max filtering
Authors:
Dustin G. Mixon,
Yousef Qaddura
Abstract:
Given a real inner product space V and a group G of linear isometries, max filtering offers a rich class of G-invariant maps. In this paper, we identify nearly sharp conditions under which these maps injectively embed the orbit space V/G into Euclidean space, and when G is finite, we estimate the map's distortion of the quotient metric. We also characterize when max filtering is a positive definit…
▽ More
Given a real inner product space V and a group G of linear isometries, max filtering offers a rich class of G-invariant maps. In this paper, we identify nearly sharp conditions under which these maps injectively embed the orbit space V/G into Euclidean space, and when G is finite, we estimate the map's distortion of the quotient metric. We also characterize when max filtering is a positive definite kernel.
△ Less
Submitted 7 November, 2024; v1 submitted 21 December, 2022;
originally announced December 2022.
