SymRAG

Symmetry in Quantitative and Algorithmic Real Algebraic Geometry

Publications

Papers by the principal investigator, the project's postdocs and PhD students, 2018–2026. Where a paper has appeared in a journal, the journal is given; the remaining preprints are listed with their arXiv number.

2026

  • J. Acevedo, G. Blekherman, S. Debus, C. Riener. The wonderful geometry of the Vandermonde map. Foundations of Computational Mathematics 26(4), 2005–2051.
  • S. Debus, C. Riener, R. Schabert. Slices of stable polynomials and connections to the Grace–Walsh–Szegő theorem. Journal of Symbolic Computation 133, 102488.
  • F. Galuppi, P. Santarsiero, D. A. Torrance, E. Teixeira Turatti. Geometry of first nonempty Terracini loci. Communications in Contemporary Mathematics 28(4), 2550053.
  • I. Miklós, C. Riener. #P-hardness proofs of matrix immanants evaluated on restricted matrices. Theoretical Computer Science 1062, 115660.
  • P. Moustrou, C. Riener, R. Schabert. Constructively describing orbit spaces of finite groups by few inequalities. Journal of Symbolic Computation 132, 102471.
  • C. Riener, E. Teixeira Turatti. Quadrature rules with few nodes supported on algebraic curves. Journal of Complexity 96, 102067.

2025

  • J. Acevedo, G. Blekherman, S. Debus, C. Riener. Symmetric nonnegative functions, the tropical Vandermonde cell and superdominance of power sums. Collectanea Mathematica, doi:10.1007/s13348-025-00481-z.
  • S. Debus, C. Goel, S. Kuhlmann, C. Riener. On nonnegative invariant quartics in type A. Journal of Symbolic Computation 128, 102393.
  • E. Hubert, T. Metzlaff, P. Moustrou, C. Riener. Optimization of trigonometric polynomials with crystallographic symmetry and spectral bounds for set avoiding graphs. Mathematical Programming 213, 517–573.
  • M. Korda, V. Magron, R. Ríos-Zertuche. Convergence rates for sums-of-squares hierarchies with correlative sparsity. Mathematical Programming 209, 435–473.
  • M. Kummer, C. Riener. Equivariant algebraic and semi-algebraic geometry of infinite affine space. Journal of Algebra 666, 28–46.
  • P. Moustrou, C. Riener, T. Theobald, H. Verdure. Symmetric SAGE and SONC forms, exactness and quantitative gaps. Journal of Symbolic Computation 127, 102374.
  • R. Piene, C. Riener, B. Shapiro. Return of the plane evolute. Annales de l'Institut Fourier 75(4), 1685–1751.
  • C. Riener, J. Rolfes, F. Vallentin. A semidefinite programming hierarchy for covering problems in discrete geometry. Numerical Algebra, Control and Optimization, doi:10.3934/naco.2025015.
  • C. Riener, R. Schabert, T. X. Vu. Deciding connectivity in symmetric semi-algebraic sets. Journal of Symbolic Computation, to appear (arXiv:2503.12275).

2024

  • E. Hubert, T. Metzlaff, C. Riener. Orbit spaces of Weyl groups acting on compact tori: a unified and explicit polynomial description. SIAM Journal on Applied Algebra and Geometry 8(3), 612–649.
  • C. Riener, R. Schabert. Linear slices of hyperbolic polynomials and positivity of symmetric polynomial functions. Journal of Pure and Applied Algebra 228(5), 107552.
  • C. Riener, R. Schabert, T. X. Vu. Connectivity in symmetric semi-algebraic sets. ISSAC 2024, 162–169 (best PhD paper award).
  • L. Sodomaco, E. Teixeira Turatti. The span of singular tuples of a tensor beyond the boundary format. Journal of Symbolic Computation 120, 102230.

2023

  • S. Debus, C. Riener. Reflection groups and cones of sums of squares. Journal of Symbolic Computation 119, 112–144.
  • S. Debus, P. Moustrou, C. Riener, H. Verdure. The poset of Specht ideals for hyperoctahedral groups. Algebraic Combinatorics 6(6), 1593–1619.
  • J.-C. Faugère, G. Labahn, M. Safey El Din, É. Schost, T. X. Vu. Computing critical points for invariant algebraic systems. Journal of Symbolic Computation 116, 365–399.
  • F. Galuppi, F. Gesmundo, E. Teixeira Turatti, L. Venturello. Characteristic polynomials and eigenvalues of tensors. arXiv:2308.10957.
  • G. Labahn, C. Riener, M. Safey El Din, É. Schost, T. X. Vu. Faster real root decision algorithm for symmetric polynomials. ISSAC 2023, 452–460.
  • P. Moustrou, C. Riener, H. Verdure. Symmetries in polynomial optimization. In Polynomial Optimisation, Moments, and Applications, Springer Optimization and Its Applications 206, 53–111.
  • G. Óturai, C. Riener, S. E. Martiny. Attitudes towards mathematics, achievement, and drop-out intentions among STEM and non-STEM students in Norway. International Journal of Educational Research Open 4, 100230.

2022

  • S. Basu, C. Riener. Vandermonde varieties, mirrored spaces, and the cohomology of symmetric semi-algebraic sets. Foundations of Computational Mathematics 22, 1395–1462.
  • E. Hubert, T. Metzlaff, P. Moustrou, C. Riener. T-orbit spaces of multiplicative actions and applications. ACM Communications in Computer Algebra 56(2), 72–75.
  • G. Labahn, V. Neiger, T. X. Vu, W. Zhou. Rank-sensitive computation of the rank profile of a polynomial matrix. ISSAC 2022, 351–360.
  • P. Moustrou, H. Naumann, C. Riener, T. Theobald, H. Verdure. Symmetry reduction in AM/GM-based optimization. SIAM Journal on Optimization 32(2), 765–785.
  • T. X. Vu. Computing critical points for algebraic systems defined by hyperoctahedral invariant polynomials. ISSAC 2022, 167–175.

2021

  • G. Blekherman, C. Riener. Symmetric nonnegative forms and sums of squares. Discrete & Computational Geometry 65, 764–799.
  • M. Dostert, D. de Laat, P. Moustrou. Exact semidefinite programming bounds for packing problems. SIAM Journal on Optimization 31(2), 1433–1458.
  • M. Dutour Sikirić, D. A. Madore, P. Moustrou, F. Vallentin. Coloring the Voronoi tessellation of lattices. Journal of the London Mathematical Society 104(3), 1135–1171.
  • P. Moustrou, C. Riener, H. Verdure. Symmetric ideals, Specht polynomials and solutions to symmetric systems of equations. Journal of Symbolic Computation 107, 106–121.

2020

  • S. Basu, C. Riener. On the isotypic decomposition of cohomology modules of symmetric semi-algebraic sets: polynomial bounds on multiplicities. International Mathematics Research Notices 2020(7), 2054–2113.
  • G. Blekherman, M. Kummer, C. Riener, M. Schweighofer, C. Vinzant. Generalized eigenvalue methods for Gaussian quadrature rules. Annales Henri Lebesgue 3, 1327–1341.

2019

  • C. Bachoc, T. Bellitto, P. Moustrou, A. Pêcher. On the density of sets avoiding parallelohedron distance 1. Discrete & Computational Geometry 62(3), 497–524.

2018

  • C. Riener, M. Safey El Din. Real root finding for equivariant semi-algebraic systems. ISSAC 2018, 335–342.
  • C. Riener, M. Schweighofer. Optimization approaches to quadrature: new characterizations of Gaussian quadrature on the line and quadrature with few nodes on plane algebraic curves, on the plane and in higher dimensions. Journal of Complexity 45, 22–54.