Abstract:Semi-algebraic priors are ubiquitous in signal processing and machine learning. Prevalent examples include a) linear models where the signal lies in a low-dimensional subspace; b) sparse models where the signal can be represented by only a few coefficients under a suitable basis; and c) a large family of neural network generative models. In this paper, we prove a transversality theorem for semi-algebraic sets in orthogonal or unitary representations of groups: with a suitable dimension bound, a generic translate of any semi-algebraic set is transverse to the orbits of the group action. This, in turn, implies that if a signal lies in a low-dimensional semi-algebraic set, then it can be recovered uniquely from measurements that separate orbits. As an application, we consider the implications of the transversality theorem to the problem of recovering signals that are translated by random group actions from their second moment. As a special case, we discuss cryo-EM: a leading technology to constitute the spatial structure of biological molecules, which serves as our prime motivation. In particular, we derive explicit bounds for recovering a molecular structure from the second moment under a semi-algebraic prior and deduce information-theoretic implications. We also obtain information-theoretic bounds for three additional applications: factoring Gram matrices, multi-reference alignment, and phase retrieval. Finally, we deduce bounds for designing permutation invariant separators in machine learning.

Semi-algebraic geometry of common lines

Algebraic Constraints and Algorithms for Common Lines in Cryo-EM

A common lines approach for ab-initio modeling of cyclically-symmetric molecules

Representation theoretic patterns in three dimensional cryo-electron microscopy II - The class averaging problem

A Geometric Approach to Cylindrical Algebraic Decomposition

On the affine geometry of congruences of lines

Monodromy in the space of symmetric cubic surfaces with a line

Representation theoretic patterns in three dimensional Cryo-Electron Microscopy I - The intrinsic reconstitution algorithm

Mathematics for cryo-electron microscopy

Orientation Determination of Cryo-Em Images Using Least Unsquared Deviations

A Representation Theory Perspective on Simultaneous Alignment and Classification

Orientation Determination of Cryo-EM Projection Images Using Reliable Common Lines and Spherical Embeddings

A Characterisation of lines in finite Lie incidence geometries of classical type

A transversality theorem for semi-algebraic sets with application to signal recovery from the second moment and cryo-EM

Continuously heterogeneous hyper-objects in cryo-EM and 3-D movies of many temporal dimensions

Interplay Between CR Geometry and Algebraic Geometry

Finite Boolean Algebras for Solid Geometry using Julia's Sparse Arrays

What can be computed in algebraic geometry?

Algebraic Machine Learning with an Application to Chemistry

Lipschitz Geometry of Real Semialgebraic Surfaces

Geometry of Selberg's bisectors in the symmetric space SL(n,R)/SO(n,R)