2000 character limit reached
Degree bounds for fields of rational invariants of $\mathbb{Z}/p\mathbb{Z}$ and other finite groups (2303.05626v6)
Published 10 Mar 2023 in math.AC
Abstract: Degree bounds for algebra generators of invariant rings are a topic of longstanding interest in invariant theory. We study the analogous question for field generators for the field of rational invariants of a representation of a finite group, focusing on abelian groups and especially the case of $\mathbb{Z}/p\mathbb{Z}$. The inquiry is motivated by an application to signal processing. We give new lower and upper bounds depending on the number of distinct nontrivial characters in the representation. We obtain additional detailed information in the case of two distinct nontrivial characters. We conjecture a sharper upper bound in the $\mathbb{Z}/p\mathbb{Z}$ case, and pose questions for further investigation.
- The generalized method of moments for multi-reference alignment. IEEE Transactions on Signal Processing, 70:1377–1388, 2022.
- Sample complexity of the boolean multireference alignment problem. In 2017 IEEE International Symposium on Information Theory (ISIT), pages 1316–1320. IEEE, 2017.
- Single-particle cryo-electron microscopy: Mathematical theory, computational challenges, and opportunities. IEEE signal processing magazine, 37(2):58–76, 2020.
- Estimation under group actions: recovering orbits from invariants. Applied and Computational Harmonic Analysis, 66:236–319, 2023.
- Dihedral multi-reference alignment. IEEE Transactions on Information Theory, 68(5):3489–3499, 2022.
- Cohen-Macaulay rings. Number 39 in Cambridge studies in advanced mathematics. Cambridge university press, 1998.
- Sparse multi-reference alignment: Sample complexity and computational hardness. In ICASSP 2022-2022 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), pages 8977–8981. IEEE, 2022.
- Optimal rates of estimation for multi-reference alignment. Mathematical Statistics and Learning, 2(1):25–75, 2020.
- Fedor Alekseevich Bogomolov. The brauer group of quotient spaces by linear group actions. Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya, 51(3):485–516, 1987.
- Ben Blum-Smith. Degree bounds for rational generators of invariant fields of finite abelian groups. Forthcoming.
- William Burnside. Theory of groups of finite order. Cambridge University Press, 1911.
- On the generalized Davenport constant and the Noether number. Open Mathematics, 11(9):1605–1615, 2013.
- Groups with large Noether bound. Annales de l’Institut Fourier, 64(3):909–944, 2014.
- The noether number for the groups with a cyclic subgroup of index two. Journal of Algebra, 399:546–560, 2014.
- The interplay of invariant theory with multiplicative ideal theory and with arithmetic combinatorics. Multiplicative ideal theory and factorization theory, pages 43–95, 2016.
- A Charnow. On the fixed field of a linear abelian group. Journal of the London Mathematical Society, 2(1):348–350, 1969.
- Separating invariants of three nilpotent 3×\times×3 matrices. Linear Algebra and its Applications, 607:9–28, 2020.
- The Cohen–Macaulay property of separating invariants of finite groups. Transformation groups, 14(4):771–785, 2009.
- Separating invariants for arbitrary linear actions of the additive group. Manuscripta Mathematica, 143(1):207–219, 2014.
- Noether’s bound for polynomial invariants of finite groups. Archiv der Mathematik, 74(3):161–167, 2000.
- Separating invariants and local cohomology. Advances in Mathematics, 270:565–581, 2015.
- Computational invariant theory. Springer, 2015.
- Polarization of separating invariants. Canadian Journal of Mathematics, 60(3):556–571, 2008.
- Algorithms for orbit closure separation for invariants and semi-invariants of matrices. Algebra & Number Theory, 14(10):2791–2813, 2020.
- Symmetric polynomials over finite fields. arXiv preprint arXiv:2211.08124, 2022.
- Mátyás Domokos. Typical separating invariants. Transformation Groups, 12(1):49–63, 2007.
- Mátyás Domokos. Degree bound for separating invariants of abelian groups. Proceedings of the American Mathematical Society, 145(9):3695–3708, 2017.
- Mátyás Domokos. On syzygies for rings of invariants of abelian groups. In Conference on Rings and Factorizations, pages 105–124. Springer, 2018.
- Mátyás Domokos. Separating monomials for diagonalizable actions. Bulletin of the London Mathematical Society, 2022.
- Helly dimension of algebraic groups. Journal of the London Mathematical Society, 84(1):19–34, 2011.
- Emilie Dufresne. Separating invariants and finite reflection groups. Advances in Mathematics, 221(6):1979–1989, 2009.
- Emilie Dufresne. Finite separating sets and quasi-affine quotients. Journal of Pure and Applied Algebra, 217(2):247–253, 2013.
- Zero-separating invariants for finite groups. Journal of Algebra, 411:92–113, 2014.
- Zero-separating invariants for linear algebraic groups. Proceedings of the Edinburgh Mathematical Society, 59(4):911–924, 2016.
- On the Noether bound for noncommutative rings. Proceedings of the American Mathematical Society, 149(7):2711–2725, 2021.
- Homomorphisms, localizations and a new algorithm to construct invariant rings of finite groups. Journal of Algebra, 309(2):497–517, 2007.
- Peter Fleischmann. The Noether bound in invariant theory of finite groups. Advances in Mathematics, 156(1):23–32, 2000.
- Maximum likelihood for high-noise group orbit estimation and single-particle cryo-EM. arXiv preprint arXiv:2107.01305, 2021.
- Invariant polynomials and minimal zero sequences. Involve, a Journal of Mathematics, 1(2):159–165, 2008.
- John Fogarty. On Noether’s bound for polynomial invariants of a finite group. Electronic Research Announcements of the American Mathematical Society, 7(2):5–7, 2001.
- E Formanek. Rational function fields. Noether’s problem and related questions. Journal of Pure and Applied Algebra, 31(1-3):28–36, 1984.
- The Noether numbers for cyclic groups of prime order. Advances in mathematics, 207(1):149–155, 2006.
- Positive semigroups in lattices and totally real number fields. Advances in Geometry, 22(4):503–512, 2022.
- Francesca Gandini. Ideals of subspace arrangements. PhD thesis, University of Michigan, 2019.
- Rational invariants of even ternary forms under the orthogonal group. Foundations of Computational Mathematics, 2018.
- Rational invariants of a group action. Construction and rewriting. Journal of Symbolic Computation, 42(1-2):203–217, 2007.
- Smooth and algebraic invariants of a group action: local and global constructions. Foundations of Computational Mathematics, 7(4):455–493, 2007.
- Rational invariants of scalings from Hermite normal forms. In Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, pages 219–226, 2012.
- Scaling invariants and symmetry reduction of dynamical systems. Foundations of Computational Mathematics, 13(4):479–516, 2013.
- Computation of invariants of finite abelian groups. Mathematics of Computation, 85(302):3029–3050, 2016.
- Finite groups with large noether number are almost cyclic. Annales de l’Institut Fourier, 69(4):1739–1756, 2019.
- Evelyne Hubert. Differential invariants of a lie group action: syzygies on a generating set. Journal of Symbolic Computation, 44(4):382–416, 2009.
- W Cary Huffman. Polynomial invariants of finite linear groups of degree two. Canadian Journal of Mathematics, 32(2):317–330, 1980.
- Gregor Kemper. A constructive approach to Noether’s problem. Manuscripta mathematica, 90(1):343–363, 1996.
- Gregor Kemper. The computation of invariant fields and a constructive version of a theorem by Rosenlicht. Transformation Groups, 12(4):657–670, 2007.
- Gregor Kemper. Separating invariants. Journal of Symbolic Computation, 44(9):1212–1222, 2009.
- Degree bounds for separating invariants. Mathematical Research Letters, 17(6):1171–1182, 2010.
- Separating invariants for 2×\times×2 matrices. Linear Algebra and its Applications, 559:114–124, 2018.
- Separating invariants over finite fields. Journal of Pure and Applied Algebra, 226(4):106904, 2022.
- Friedrich Knop. On Noether’s and Weyl’s bound in positive characteristic. In Invariant theory in all characteristics, CRM Proceedings and Lecture Notes, volume 35, pages 175–188, 2004.
- Separating invariants for the klein four group and cyclic groups. International Journal of Mathematics, 24(06):1350046, 2013.
- Artem A Lopatin and Ronaldo José Sousa Ferreira. Minimal generating and separating sets for O(3)-invariants of several matrices. arXiv preprint arXiv:1810.10397, 2018.
- Geometry of numbers. Elsevier, second edition, 1987.
- Separating invariants for multisymmetric polynomials. Proceedings of the American Mathematical Society, 149(2):497–508, 2021.
- Unitary reflection groups, volume 20. Cambridge University Press, 2009.
- Calculating generators for invariant fields of linear algebraic groups. In International Symposium on Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes, pages 392–403. Springer, 1999.
- Combinatorial commutative algebra, volume 227. Springer Science & Business Media, 2005.
- Algebraic independence in positive characteristic: A p𝑝pitalic_p-adic calculus. Transactions of the American Mathematical Society, 366(7):3425–3450, 2014.
- Emmy Noether. Rationale funktionenkörper. Jahresbericht der Deutschen Mathematiker-Vereinigung, 22:316–319, 1913.
- Emmy Noether. Der endlichkeitssatz der invarianten endlicher gruppen. Mathematische Annalen, 77(1):89–92, 1915.
- Separating invariants for modular p-groups and groups acting diagonally. Mathematical Research Letters, 16(6):1029–1036, 2009.
- Invariant theory. In Algebraic geometry IV, pages 123–278. Springer, 1994.
- The sample complexity of multireference alignment. SIAM Journal on Mathematics of Data Science, 1(3):497–517, 2019.
- Fabian Reimers. Separating invariants of finite groups. Journal of Algebra, 507:19–46, 2018.
- Fabian Reimers. Separating invariants for two copies of the natural sn-action. Communications in Algebra, 48(4):1584–1590, 2020.
- David R Richman. Invariants of finite groups over fields of characteristic p. Advances in Mathematics, 124(1):25–48, 1996.
- David J Saltman. Groups acting on fields: Noether’s problem. Contemp. Mathematics, 43:267–277, 1985.
- Barbara J Schmid. Finite groups and invariant theory. In Topics in invariant theory, pages 35–66. Springer, 1991.
- Müfit Sezer. Sharpening the generalized Noether bound in the invariant theory of finite groups. Journal of Algebra, 254(2):252–263, 2002.
- Müfit Sezer. Constructing modular separating invariants. Journal of Algebra, 322(11):4099–4104, 2009.
- Fred J Sigworth. Principles of cryo-EM single-particle image processing. Microscopy, 65(1):57–67, 2016.
- Amit Singer. Mathematics for cryo-electron microscopy. In Proceedings of the International Congress of Mathematicians: Rio de Janeiro 2018, pages 3995–4014. World Scientific, 2018.
- Larry Smith. E. Noether’s bound in the invariant theory of finite groups. Archiv der Mathematik, 66(2):89–92, 1996.
- Larry Smith. On a theorem of Barbara Schmid. Proceedings of the American Mathematical Society, 128(8):2199–2201, 2000.
- Richard P Stanley. Hilbert functions of graded algebras. Advances in Mathematics, 28(1):57–83, 1978.
- Richard G Swan. Noether’s problem in Galois theory. In Emmy Noether in Bryn Mawr, pages 21–40. Springer, 1983.
- Peter Symonds. On the Castelnuovo-Mumford regularity of rings of polynomial invariants. Annals of mathematics, pages 499–517, 2011.
- Nicolas M Thiéry. Algebraic invariants of graphs; a study based on computer exploration. ACM SIGSAM Bulletin, 34(3):9–20, 2000.