We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AC

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Commutative Algebra

Title: Computing real radicals by moment optimization

Authors: Lorenzo Baldi (AROMATH), Bernard Mourrain (AROMATH)
Abstract: We present a new algorithm for computing the real radical of an ideal and, more generally, the-radical of, which is based on convex moment optimization. A truncated positive generic linear functional vanishing on the generators of is computed solving a Moment Optimization Problem (MOP). We show that, for a large enough degree of truncation, the annihilator of generates the real radical of. We give an effective, general stopping criterion on the degree to detect when the prime ideals lying over the annihilator are real and compute the real radical as the intersection of real prime ideals lying over. The method involves several ingredients, that exploit the properties of generic positive moment sequences. A new efficient algorithm is proposed to compute a graded basis of the annihilator of a truncated positive linear functional. We propose a new algorithm to check that an irreducible decomposition of an algebraic variety is real, using a generic real projection to reduce to the hypersurface case. There we apply the Sign Changing Criterion, effectively performed with an exact MOP. Finally we illustrate our approach in some examples.
Comments: ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-P{\'e}tersbourg, Russia
Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG); Optimization and Control (math.OC)
DOI: 10.1145/3452143.3465541
Cite as: arXiv:2102.09367 [math.AC]
  (or arXiv:2102.09367v2 [math.AC] for this version)

Submission history

From: Lorenzo Baldi [view email]
[v1] Thu, 18 Feb 2021 14:18:50 GMT (25kb)
[v2] Thu, 30 Sep 2021 08:56:50 GMT (27kb)

Link back to: arXiv, form interface, contact.