Estimation under group actions: recovering orbits from invariants. (English) Zbl 1518.94016
Summary: We study a class of orbit recovery problems in which we observe independent copies of an unknown element of \(\mathbb{R}^p\), each linearly acted upon by a random element of some group (such as \(\mathbb{Z}/p\) or \(\mathrm{SO}(3))\) and then corrupted by additive Gaussian noise. We prove matching upper and lower bounds on the number of samples required to approximately recover the group orbit of this unknown element with high probability. These bounds, based on quantitative techniques in invariant theory, give a precise correspondence between the statistical difficulty of the estimation problem and algebraic properties of the group. Furthermore, we give computer-assisted procedures to certify these properties that are computationally efficient in many cases of interest.
The model is motivated by geometric problems in signal processing, computer vision, and structural biology, and applies to the reconstruction problem in cryo-electron microscopy (cryo-EM), a problem of significant practical interest. Our results allow us to verify (for a given problem size) that if cryo-EM images are corrupted by noise with variance \(\sigma^2\), the number of images required to recover the molecule structure scales as \(\sigma^6\). We match this bound with a novel (albeit computationally expensive) algorithm for ab initio reconstruction in cryo-EM, based on invariant features of degree at most 3. We further discuss how to recover multiple molecular structures from mixed (or heterogeneous) cryo-EM samples.
The model is motivated by geometric problems in signal processing, computer vision, and structural biology, and applies to the reconstruction problem in cryo-electron microscopy (cryo-EM), a problem of significant practical interest. Our results allow us to verify (for a given problem size) that if cryo-EM images are corrupted by noise with variance \(\sigma^2\), the number of images required to recover the molecule structure scales as \(\sigma^6\). We match this bound with a novel (albeit computationally expensive) algorithm for ab initio reconstruction in cryo-EM, based on invariant features of degree at most 3. We further discuss how to recover multiple molecular structures from mixed (or heterogeneous) cryo-EM samples.
MSC:
| 94A12 | Signal theory (characterization, reconstruction, filtering, etc.) |
| 94A16 | Informational aspects of data analysis and big data |
| 92C55 | Biomedical imaging and signal processing |
| 62B10 | Statistical aspects of information-theoretic topics |
| 13A50 | Actions of groups on commutative rings; invariant theory |
| 13P25 | Applications of commutative algebra (e.g., to statistics, control theory, optimization, etc.) |
| 14Q20 | Effectivity, complexity and computational aspects of algebraic geometry |
| 22E70 | Applications of Lie groups to the sciences; explicit representations |
Keywords:
signal processing; biomedical imaging; statistical aspects of information theory; applications of Lie groups; applications of invariant theory; applications of commutative algebraSoftware:
RELIONReferences:
| [1] | Abbe, Emmanuel; Pereira, João M.; Singer, Amit, Sample complexity of the Boolean multireference alignment problem, (2017 IEEE International Symposium on Information Theory (ISIT) (2017), IEEE), 1316-1320 |
| [2] | Adrian, Marc; Dubochet, Jacques; Lepault, Jean; McDowall, Alasdair W., Cryo-electron microscopy of viruses, Nature, 308, 5954, 32-36 (1984) |
| [3] | Aguerrebere, Cecilia; Delbracio, Mauricio; Bartesaghi, Alberto; Sapiro, Guillermo, Fundamental limits in multi-image alignment, IEEE Trans. Signal Process., 64, 21, 5707-5722 (2016) · Zbl 1414.94008 |
| [4] | Bandeira, Afonso; Niles-Weed, Jonathan; Rigollet, Philippe, Optimal rates of estimation for multi-reference alignment, Math. Stat. Learn. (2020) · Zbl 1437.62227 |
| [5] | Bandeira, Afonso S., Convex Relaxations for Certain Inverse Problems on Graphs (June 2015), Princeton University, PhD thesis |
| [6] | Bandeira, Afonso S.; Charikar, Moses; Singer, Amit; Zhu, Andy, Multireference alignment using semidefinite programming, (Proceedings of the 5th Conference on Innovations in Theoretical Computer Science (2014), ACM), 459-470 · Zbl 1364.94108 |
| [7] | Bandeira, Afonso S.; Chen, Yutong; Lederman, Roy R.; Singer, Amit, Non-unique games over compact groups and orientation estimation in cryo-EM, Inverse Probl., 36, 6, Article 064002 pp. (2020) · Zbl 1470.92163 |
| [8] | Barnett, Alex; Greengard, Leslie; Pataki, Andras; Spivak, Marina, Rapid solution of the cryo-em reconstruction problem by frequency marching, SIAM J. Imaging Sci., 10, 3, 1170-1195 (2017) · Zbl 1380.92036 |
| [9] | Basu, Saugata; Pollack, Richard; Roy, Marie-Françoise, Algorithms in Real Algebraic Geometry, vol. 36 (2013), Springer Science & Business Media · Zbl 1102.14041 |
| [10] | Beecken, Malte; Mittmann, Johannes; Saxena, Nitin, Algebraic independence and blackbox identity testing, Inf. Comput., 222, 2-19 (2013) · Zbl 1281.68107 |
| [11] | Bendory, Tamir; Edidin, Dan, The sample complexity of sparse multi-reference alignment and single-particle cryo-electron microscopy (2022), arXiv preprint |
| [12] | Bendory, Tamir; Boumal, Nicolas; Ma, Chao; Zhao, Zhizhen; Singer, Amit, Bispectrum inversion with application to multireference alignment, IEEE Trans. Signal Process., 66, 4, 1037-1050 (2018) · Zbl 1414.94066 |
| [13] | Bendory, Tamir; Khoo, Yuehaw; Kileel, Joe; Mickelin, Oscar; Singer, Amit, Autocorrelation analysis for cryo-EM with sparsity constraints: improved sample complexity and projection-based algorithms (2022), arXiv preprint |
| [14] | Benterki, Djamel; Keraghel, Abdelkrim, Finding a strict feasible solution of a linear semidefinite program, Appl. Math. Comput., 217, 13, 6437-6440 (2011) · Zbl 1211.65067 |
| [15] | Berman, Helen M.; Henrick, Kim; Nakamura, Haruki, Announcing the worldwide protein data bank, Nat. Struct. Biol., 10, 12, 980 (2003) |
| [16] | Bhamre, Tejal; Zhang, Teng; Singer, Amit, Orthogonal matrix retrieval in cryo-electron microscopy, (Biomedical Imaging (ISBI), 2015 IEEE 12th International Symposium on (2015), IEEE), 1048-1052 |
| [17] | Blanco, Miguel A.; Flórez, Manuel; Bermejo, Margarita, Evaluation of the rotation matrices in the basis of real spherical harmonics, J. Mol. Struct., Theochem, 419, 1, 19-27 (1997) |
| [18] | Blum-Smith, Ben; Garcia, Thays; Hidalgo, Rawin; Rodriguez, Consuelo, Degree bounds for fields of rational invariants of \(\mathbb{Z} / p \mathbb{Z}\) and other finite groups (2023), arXiv preprint |
| [19] | Bocci, Cristiano; Chiantini, Luca; Ottaviani, Giorgio, Refined methods for the identifiability of tensors, Ann. Mat. Pura Appl., 193, 1691-1702 (2014) · Zbl 1314.14102 |
| [20] | Bochnak, Jacek; Coste, Michel; Roy, Marie-Françoise, Real Algebraic Geometry, vol. 36 (2013), Springer Science & Business Media · Zbl 0912.14023 |
| [21] | Böhm, Arno, Quantum Mechanics: Foundations and Applications (2013), Springer Science & Business Media · Zbl 0994.81502 |
| [22] | Boumal, Nicolas; Bendory, Tamir; Lederman, Roy R.; Singer, Amit, Heterogeneous multireference alignment: a single pass approach, (2018 52nd Annual Conference on Information Sciences and Systems (CISS) (2018), IEEE), 1-6 |
| [23] | Bryant, Roger M.; Kemper, Gregor, Global degree bounds and the transfer principle for invariants, J. Algebra, 284, 1, 80-90 (2005) · Zbl 1085.13001 |
| [24] | Cahill, Jameson; Iverson, Joseph W.; Mixon, Dustin G.; Packer, Daniel, Group-invariant max filtering (2022), arXiv preprint |
| [25] | Chen, Hua; Zehni, Mona; Zhao, Zhizhen, A spectral method for stable bispectrum inversion with application to multireference alignment, IEEE Signal Process. Lett., 25, 7, 911-915 (2018) |
| [26] | Chiantini, Luca; Ciliberto, Ciro, Weakly defective varieties, Trans. Am. Math. Soc., 354, 151-178 (2002) · Zbl 1045.14022 |
| [27] | Chiantini, Luca; Ciliberto, Ciro, On the concept of k-secant order of a variety, J. Lond. Math. Soc., 73, 436-454 (2006) · Zbl 1101.14067 |
| [28] | Chiantini, Luca; Ottaviani, Giorgio; Vannieuwenhoven, Nick, An algorithm for generic and low-rank specific identifiability of complex tensors, SIAM J. Matrix Anal. Appl., 35, 1265-1287 (2012) · Zbl 1322.14022 |
| [29] | Chiantini, Luca; Ottaviani, Giorgio; Vannieuwenhoven, Nick, On generic identifiability of symmetric tensors of subgeneric rank, Trans. Am. Math. Soc., 369, 4021-4042 (2017) · Zbl 1360.14021 |
| [30] | Cohen, Jon, Is high-tech view of HIV too good to be true?, Science, 6145, 341, 443-444 (2013) |
| [31] | Cox, David; Little, John; O’Shea, Donal, Ideals, Varieties, and Algorithms: an Introduction to Computational Algebraic Geometry and Commutative Algebra (2007), Springer: Springer New York · Zbl 1118.13001 |
| [32] | Cziszter, Kálmán, Improvements on the Noether bound for polynomial invariants of finite groups (2012), Central European University, PhD thesis · Zbl 1423.13054 |
| [33] | Cziszter, Kálmán; Domokos, Mátyás, On the generalized Davenport constant and the Noether number, Open Math., 11, 9, 1605-1615 (2013) · Zbl 1282.13012 |
| [34] | Cziszter, Kálmán; Domokos, Mátyás, Groups with large Noether bound, Ann. Inst. Fourier, 64, 3, 909-944 (2014) · Zbl 1314.13012 |
| [35] | Derksen, Harm, Computation of invariants for reductive groups, Adv. Math., 141, 2, 366-384 (1999) · Zbl 0927.13007 |
| [36] | Derksen, Harm, Polynomial bounds for rings of invariants, Proc. Am. Math. Soc., 129, 4, 955-963 (2001) · Zbl 0969.13003 |
| [37] | Derksen, Harm; Kemper, Gregor, On global degree bounds for invariants, (CRM Proceedings and Lecture Notes, vol. 35 (2003)), 37-41 · Zbl 1072.14056 |
| [38] | Derksen, Harm; Kemper, Gregor, Computational Invariant Theory (2015), Springer · Zbl 1332.13001 |
| [39] | Diamond, Robert, On the multiple simultaneous superposition of molecular structures by rigid body transformations, Protein Sci., 1, 10, 1279-1287 (October 1992) |
| [40] | Dolgachev, Igor, Lectures on Invariant Theory, vol. 296 (2003), Cambridge University Press · Zbl 1023.13006 |
| [41] | Domokos, Mátyás, Degree bounds for separating invariants of abelian groups, Proc. Am. Math. Soc., 145, 3695-3708 (2017) · Zbl 1372.13004 |
| [42] | Domokos, Mátyás; Hegedűs, Pál, Noether’s bound for polynomial invariants of finite groups, Arch. Math., 74, 3, 161-167 (2000) · Zbl 0967.13004 |
| [43] | Dou, Zehao; Fan, Zhou; Zhou, Harrison, Rates of Estimation for High-Dimensional Multi-Reference Alignment (2022) |
| [44] | Dudley, R. M., Real Analysis and Probability, Cambridge Studies in Advanced Mathematics, vol. 74 (2002), Cambridge University Press: Cambridge University Press Cambridge, Revised reprint of the 1989 original · Zbl 1023.60001 |
| [45] | Dufresne, Emilie, Separating invariants and finite reflection groups, Adv. Math., 221, 6, 1979-1989 (2009) · Zbl 1173.13004 |
| [46] | Ehrenborg, Richard; Rota, Gian-Carlo, Apolarity and canonical forms for homogeneous polynomials, Eur. J. Comb., 14, 3, 157-181 (1993) · Zbl 0784.05019 |
| [47] | Eisenbud, David, Commutative Algebra: With a View Toward Algebraic Geometry, Graduate Texts in Mathematics, vol. 150 (2004), Springer: Springer New York · Zbl 0819.13001 |
| [48] | Elias, Peter, List decoding for noisy channels (1957), Research Laboratory of Electronics, Massachusetts Institute of Technology, Technical Report 335 |
| [49] | Elmer, Jonathan; Kohls, Martin, Zero-separating invariants for finite groups, J. Algebra, 411, 92-113 (2014) · Zbl 1308.13010 |
| [50] | Elmer, Jonathan; Kohls, Martin, Zero-separating invariants for linear algebraic groups, Proc. Edinb. Math. Soc., 59, 4, 911-924 (2016) · Zbl 1366.13005 |
| [51] | Etesi, Gábor, Spontaneous symmetry breaking in the \(\operatorname{SO}(3)\) gauge theory to discrete subgroups, J. Math. Phys., 37, 4, 1596-1601 (1996) · Zbl 0860.22014 |
| [52] | Fan, Zhou; Sun, Yi; Wang, Tianhao; Wu, Yihong, Likelihood landscape and maximum likelihood estimation for the discrete orbit recovery model, Commun. Pure Appl. Math. (2020) |
| [53] | Fan, Zhou; Lederman, Roy R.; Sun, Yi; Wang, Tianhao; Xu, Sheng, Maximum likelihood for high-noise group orbit estimation and single-particle cryo-em (2021), arXiv preprint |
| [54] | Fleischmann, Peter, The Noether bound in invariant theory of finite groups, Adv. Math., 156, 1, 23-32 (2000) · Zbl 0973.13003 |
| [55] | Fleischmann, Peter; Kemper, Gregor; Woodcock, Chris, Homomorphisms, localizations and a new algorithm to construct invariant rings of finite groups, J. Algebra, 309, 497-517 (2007) · Zbl 1128.13002 |
| [56] | Fogarty, John, On Noether’s bound for polynomial invariants of a finite group, Electron. Res. Announc. Am. Math. Soc., 7, 5-7 (2001) · Zbl 0980.13003 |
| [57] | (Frank, Joachim, Electron Tomography: Methods for Three-Dimensional Visualization of Structures in Cells (2006), Springer: Springer New York) |
| [58] | Gil Pita, R.; Rosa Zurera, M.; Amores, P. Jarabo; López Ferreras, F., Using multilayer perceptrons to align high range resolution radar signals, (Artificial Neural Networks: Formal Models and Their Applications - ICANN 2005 (2005), Springer: Springer Berlin, Heidelberg), 911-916 |
| [59] | Göbel, Manfred, Computing bases for rings of permutation-invariant polynomials, J. Symb. Comput., 19, 285-291 (1995) · Zbl 0832.13006 |
| [60] | Görlach, Paul; Hubert, Evelyne; Papadopoulo, Théo, Rational invariants of even ternary forms under the orthogonal group, Found. Comput. Math. (2018) |
| [61] | Goyal, Navin; Vempala, Santosh; Xiao, Ying, Fourier PCA and robust tensor decomposition, (Proceedings of the Forty-Sixth Annual ACM Symposium on Theory of Computing (2014), ACM), 584-593 · Zbl 1315.68209 |
| [62] | Henrion, Didier; Naldi, Simone; Safey El Din, Mohab, Exact algorithms for semidefinite programs with degenerate feasible set, J. Symb. Comput., 104, 942-959 (2021) · Zbl 1460.90128 |
| [63] | Hilbert, David, Über die Theorie der algebraischen Formen, Math. Ann., 36, 473-531 (1890) · JFM 22.0133.01 |
| [64] | Hilbert, David, Über die vollen Invariantensysteme, Math. Ann., 42, 313-370 (1893) · JFM 25.0173.01 |
| [65] | Hiss, Karin, Constructive Invariant Theory for Reductive Algebraic Groups (1996), Thesis Brandeis University: Thesis Brandeis University Waltham, PhD thesis |
| [66] | Hubert, Evelyne; Kogan, Irina A., Rational invariants of a group action. Construction and rewriting, J. Symb. Comput., 42, 203-217 (2007) · Zbl 1121.13010 |
| [67] | Hubert, Evelyne; Labahn, George, Rational invariants of scalings from Hermite normal forms, (Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation (2012), ACM), 219-226 · Zbl 1323.68605 |
| [68] | Hubert, Evelyne; Labahn, George, Computation of invariants of finite abelian groups, Math. Comput., 85, 302, 3029-3050 (2016) · Zbl 1361.13005 |
| [69] | Huỳnh, Dũng T., A superexponential lower bound for Gröbner bases and Church-Rosser commutative Thue systems, Inf. Control, 68, 1-3, 196-206 (1986) · Zbl 0612.68033 |
| [70] | Jacobson, Nathan, Basic Algebra I (2009), Dover · Zbl 0284.16001 |
| [71] | Jacobson, Nathan, Basic Algebra II (2009), Dover · Zbl 0441.16001 |
| [72] | Kač, Victor, Invariant Theory, Lecture Notes (MIT) (1994) |
| [73] | Kadish, Harlan, Polynomial bounds for invariant functions separating orbits, J. Algebra, 359, 138-155 (2012) · Zbl 1254.14056 |
| [74] | Kakarala, Ramakrishna, Completeness of bispectrum on compact groups (2009), 1 · Zbl 1255.68174 |
| [75] | Kam, Zvi, The reconstruction of structure from electron micrographs of randomly oriented particles, J. Theor. Biol., 82, 1, 15-39 (1980) |
| [76] | Katsevich, Anya; Bandeira, Afonso S., Likelihood maximization and moment matching in low snr gaussian mixture models, Commun. Pure Appl. Math. (2022) |
| [77] | Kayal, Neeraj, The complexity of the annihilating polynomial, (24th Annual IEEE Conference on Computational Complexity (CCC‘09) (2009), IEEE), 184-193 |
| [78] | Kemper, Gregor, A constructive approach to Noether’s problem, Manuscr. Math., 90, 1, 343-363 (1996) · Zbl 0865.12005 |
| [79] | Kemper, Gregor, Computing invariants of reductive groups in positive characteristic, Transform. Groups, 8, 2, 159-176 (2003) · Zbl 1044.13002 |
| [80] | Kemper, Gregor, The computation of invariant fields and a constructive version of a theorem by Rosenlicht, Transform. Groups, 12, 4, 657-670 (2007) · Zbl 1220.13003 |
| [81] | Kemper, Gregor, Separating invariants, J. Symb. Comput., 44, 1212-1222 (2009) · Zbl 1172.13001 |
| [82] | Kohls, Martin; Kraft, Hanspeter, Degree bounds for separating invariants, Math. Res. Lett., 17, 6, 1171-1182 (2010) · Zbl 1230.13010 |
| [83] | Kruskal, Joseph B., Three-way arrays: rank and uniqueness of trilinear decompositions, with application to arithmetic complexity and statistics, Linear Algebra Appl., 18, 2, 95-138 (1977) · Zbl 0364.15021 |
| [84] | Lairez, Pierre, A deterministic algorithm to compute approximate roots of polynomial systems in polynomial average time, Found. Comput. Math., 17, 5, 1265-1292 (2017) · Zbl 1458.65058 |
| [85] | Lam, Tsit-Yuen, An introduction to real algebra, Rocky Mt. J. Math., 14, 4, 767-814 (1984) · Zbl 0577.14016 |
| [86] | LeCam, Lucien, Convergence of estimates under dimensionality restrictions, Ann. Stat., 1, 38-53 (1973) · Zbl 0255.62006 |
| [87] | Lee, John, Introduction to Smooth Manifolds (2013), Springer Science & Business Media · Zbl 1258.53002 |
| [88] | Lepski, Oleg; Nemirovski, Arkadi; Spokoiny, Vladimir, On estimation of the \(L_r\) norm of a regression function, Probab. Theory Relat. Fields, 113, 2, 221-253 (1999) · Zbl 0921.62103 |
| [89] | Levin, Eitan; Bendory, Tamir; Boumal, Nicolas; Kileel, Joe; Singer, Amit, 3D ab initio modeling in cryo-EM by autocorrelation analysis, (2018 IEEE 15th International Symposium on Biomedical Imaging (ISBI 2018) (2018), IEEE), 1569-1573 |
| [90] | Liu, Allen; Moitra, Ankur, Algorithms from invariants: Smoothed analysis of orbit recovery over SO(3) (2021), arXiv e-prints |
| [91] | Liu, Qing, Algebraic Geometry and Arithmetic Curves, Oxford Graduate Texts in Mathematics, vol. 6 (2006), Oxford University Press · Zbl 1103.14001 |
| [92] | Ma, Tengyu; Shi, Jonathan; Steurer, David, Polynomial-time tensor decompositions with sum-of-squares, (Foundations of Computer Science (FOCS), 2016 IEEE 57th Annual Symposium on (2016), IEEE), 438-446 |
| [93] | Moitra, Ankur, Algorithmic Aspects of Machine Learning, Lecture Notes (MIT) (2014) |
| [94] | Moitra, Ankur; Wein, Alexander S., Spectral methods from tensor networks, (Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing (2019)), 926-937 · Zbl 1433.68370 |
| [95] | Monod, Jacques; Wyman, Jeffries; Jean-Pierre, Changeux, On the nature of allosteric transitions: a plausible model, J. Mol. Biol., 12, 88-118 (1965) |
| [96] | Müller-Quade, Jörn; Beth, Thomas, Calculating generators for invariant fields of linear algebraic groups, (Fossorier, Marc; Imai, Hideki; Lin, Shu; Poli, Alain, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (1999), Springer: Springer Berlin, Heidelberg), 392-403 · Zbl 0959.14029 |
| [97] | Mumford, David, The Red Book of Varieties and Schemes: Includes the Michigan Lectures (1974) on Curves and their Jacobians, vol. 1358, ((1999), Springer Science & Business Media) · Zbl 0945.14001 |
| [98] | Mumford, David; Oda, Tadao, Algebraic Geometry II (2015) · Zbl 1325.14001 |
| [99] | Mumford, David; Fogarty, John; Kirwan, Frances, Geometric Invariant Theory, vol. 34 (1994), Springer Science & Business Media · Zbl 0797.14004 |
| [100] | Nemirovski, Arkadi; Yudin, David, Problem Complexity and Method Efficiency in Optimization, Wiley-Interscience Series in Discrete Mathematics (1983), John Wiley & Sons, Inc.: John Wiley & Sons, Inc. New York, Translated from the Russian and with a preface by E. R. Dawson, Wiley-Interscience Series in Discrete Mathematics · Zbl 0501.90062 |
| [101] | Noether, Emmy, Der Endlichkeitssatz der Invarianten endlicher Gruppen, Math. Ann., 77, 89-92 (1916) · JFM 52.0106.01 |
| [102] | Nogales, Eva, The development of cryo-EM into a mainstream structural biology technique, Nat. Methods, 13, 1, 24-27 (2016) |
| [103] | Onishchik, Arkadij L.; Vinberg, Ernest B., Lie Groups and Algebraic Groups (1990), Springer · Zbl 0722.22004 |
| [104] | Osgood, Brad, Chapter 8: n-Dimensional Fourier Transform, EE 261: The Fourier Transform and Its Applications, Lecture Notes (Stanford) (2007) |
| [105] | Perry, Amelia; Wein, Alexander S.; Bandeira, Afonso S.; Moitra, Ankur, Optimality and sub-optimality of PCA for spiked random matrices and synchronization (2016), arXiv preprint |
| [106] | Perry, Amelia; Wein, Alexander S.; Bandeira, Afonso S.; Moitra, Ankur, Message-passing algorithms for synchronization problems over compact groups, Commun. Pure Appl. Math., 71, 11, 2275-2322 (2018) · Zbl 1439.62143 |
| [107] | Perry, Amelia; Weed, Jonathan; Bandeira, Afonso S.; Rigollet, Philippe; Singer, Amit, The sample complexity of multireference alignment, SIAM J. Math. Data Sci., 1, 3, 497-517 (2019) · Zbl 1499.92047 |
| [108] | Pop, Florian, Little survey on large fields—old & new, (Valuation Theory in Interaction, vol. 10 (2014)), 432 · Zbl 1341.12004 |
| [109] | Popov, Vladimir L., Constructive invariant theory, Astérisque, 87, 88, 303-334 (1981) · Zbl 0491.14004 |
| [110] | Popov, Vladimir L., The constructive theory of invariants, Math. USSR, Izv., 19, 2, 359 (1982) · Zbl 0501.14006 |
| [111] | Popov, Vladimir L.; Vinberg, Ernest B., Invariant theory, (Parshin, A. N.; Shafarevich, I. R., Algebraic Geometry IV (1994), Springer: Springer Berlin, Heidelberg), 123-278 |
| [112] | Pumir, Thomas; Singer, Amit; Boumal, Nicolas, The generalized orthogonal Procrustes problem in the high noise regime, Inf. Inference, 10, 3, 921-954 (2021) · Zbl 07446775 |
| [113] | Rhodes, John A., A concise proof of Kruskal’s theorem on tensor decomposition, Linear Algebra Appl., 432, 7, 1818-1824 (2010) · Zbl 1187.15028 |
| [114] | Richman, David R., Invariants of finite groups over fields of characteristic p, Adv. Math., 124, 1, 25-48 (1996) · Zbl 0879.13004 |
| [115] | Romanov, Elad; Bendory, Tamir; Ordentlich, Or, Multi-reference alignment in high dimensions: sample complexity and phase transition, SIAM J. Math. Data Sci., 3, 2, 494-523 (2021) · Zbl 1468.62246 |
| [116] | Rose, Morris E., Elementary theory of angular momentum, Phys. Today, 10, 30 (1957) · Zbl 0079.20102 |
| [117] | Rosenlicht, Maxwell, Some basic theorems on algebraic groups, Am. J. Math., 78, 2, 401-443 (1956) · Zbl 0073.37601 |
| [118] | Rudin, Walter, Fourier Analysis on Groups, vol. 12 (1962), Wiley Interscience · Zbl 0105.09504 |
| [119] | Sadler, Brian M., Shift and rotation invariant object reconstruction using the bispectrum, (Workshop on Higher-Order Spectral Analysis (June 1989)), 106-111 |
| [120] | Sadler, Brian M.; Giannakis, Georgios B., Shift-and rotation-invariant object reconstruction using the bispectrum, J. Opt. Soc. Am. A, 9, 1, 57-69 (1992) |
| [121] | Salamin, Eugene, Application of quaternions to computation with rotations (1979), Technical report, Working paper |
| [122] | Scheres, Sjors H. W., RELION: implementation of a bayesian approach to cryo-EM structure determination, J. Struct. Biol., 180, 3, 519-530 (2012) |
| [123] | Schmid, Barbara J., Finite groups and invariant theory, (Topics in Invariant Theory (1991), Springer), 35-66 · Zbl 0770.20004 |
| [124] | Schrijver, Alexander, Combinatorial Optimization: Polyhedra and Efficiency (2003), Springer Science & Business Media · Zbl 1041.90001 |
| [125] | Sepanski, Mark R., Compact Lie Groups, vol. 235 (2007), Springer Science & Business Media · Zbl 1246.22001 |
| [126] | Sezer, Müfit, Sharpening the generalized Noether bound in the invariant theory of finite groups, J. Algebra, 254, 2, 252-263 (2002) · Zbl 1058.13005 |
| [127] | Shafarevich, Igor R., Basic Algebraic Geometry (1994), Springer · Zbl 0797.14002 |
| [128] | Sigworth, Fred J., A maximum-likelihood approach to single-particle image refinement, J. Struct. Biol., 122, 328-339 (1998) |
| [129] | Sigworth, Fred J., Principles of cryo-EM single-particle image processing, Microscopy, 65, 1, 57-67 (2016) |
| [130] | Singer, Amit, Angular synchronization by eigenvectors and semidefinite programming, Appl. Comput. Harmon. Anal., 30, 1, 20-36 (2011) · Zbl 1206.90116 |
| [131] | Singer, Amit; Shkolnisky, Yoel, Three-dimensional structure determination from common lines in cryo-EM by eigenvectors and semidefinite programming, SIAM J. Imaging Sci., 4, 2, 543-572 (2011) · Zbl 1216.92045 |
| [132] | Smale, Steve, Newton’s method estimates from data at one point, (The Merging of Disciplines: New Directions in Pure, Applied, and Computational Mathematics (1986), Springer-Verlag), 185-196 · Zbl 0613.65058 |
| [133] | Sommese, Andrew J.; Wampler, Charles W., The Numerical Solution of Systems of Polynomials: Arising in Engineering and Science (2005), World Scientific Pub. Co. Inc. · Zbl 1091.65049 |
| [134] | Springer, T. A., Linear Algebraic Groups (2009), Springer Science & Business Media · Zbl 1202.20048 |
| [135] | Strassen, Volker, Rank and optimal computation of generic tensors, Linear Algebra Appl., 52, 645-685 (1983) · Zbl 0514.15018 |
| [136] | Sturmfels, Bernd, Solving Systems of Polynomial Equations. Number 97 (2002), American Mathematical Soc. · Zbl 1101.13040 |
| [137] | Sturmfels, Bernd, Algorithms in Invariant Theory (2008), Springer Science & Business Media · Zbl 1154.13003 |
| [138] | Theobald, Douglas L.; Steindel, Phillip A., Optimal simultaneous superpositioning of multiple structures with missing data, Bioinformatics, 28, 15, 1972-1979 (2012) |
| [139] | Tony Cai, T.; Low, Mark G., Testing composite hypotheses, Hermite polynomials and optimal estimation of a nonsmooth functional, Ann. Stat., 39, 2, 1012-1041 (2011) · Zbl 1277.62101 |
| [140] | Tsybakov, Alexandre B., Introduction to Nonparametric Estimation, Springer Series in Statistics (2009), Springer: Springer New York, Revised and extended from the 2004 French original, Translated by Vladimir Zaiats · Zbl 1176.62032 |
| [141] | Vainshtein, Boris K.; Goncharov, Alexander B., Determination of the spatial orientation of arbitrarily arranged identical particles of unknown structure from their projections, Sov. Phys. Dokl., 31, 278 (1986) |
| [142] | van der Vaart, Aad, Asymptotic Statistics, Cambridge Series in Statistical and Probabilistic Mathematics, vol. 3 (1998), Cambridge University Press: Cambridge University Press Cambridge · Zbl 1013.62031 |
| [143] | Van Heel, Marin, Angular reconstitution: a posteriori assignment of projection directions for 3D reconstruction, Ultramicroscopy, 21, 2, 111-123 (1987) |
| [144] | Vvedensky, Dimitri, Irreducible Representations of \(\operatorname{SO}(2)\) and \(\operatorname{SO}(3)\), Group Theory Course (2001), Lecture notes (Imperial), Chapter 8 |
| [145] | Wang, Fei; Reid, Greg; Wolkowicz, Henry, An sdp-based method for the real radical ideal membership test, (2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (2017), IEEE), 86-93 |
| [146] | Wehlau, David, Constructive invariant theory for tori, Ann. Inst. Fourier, 43, 4, 1055-1066 (1993) · Zbl 0789.14009 |
| [147] | Wein, Alexander S., Statistical Estimation in the Presence of Group Actions (June 2018), Massachusetts Institute of Technology, PhD thesis |
| [148] | Zak, Fyodor, Tangents and Secants of Algebraic Varieties, Translations of Mathematical Monographs, vol. 127 (1993), American Mathematics Society · Zbl 0795.14018 |
| [149] | Zwart, J. P.; van der Heiden, R.; Gelsema, S.; Groen, F., Fast translation invariant classification of HRR range profiles in a zero phase representation, IEE Proc. Radar Sonar Navig., 150, 6, 411-418 (2003) |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
