Segre-driven radicality testing - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Journal of Symbolic Computation Année : 2024

Segre-driven radicality testing

Résumé

We present a probabilistic algorithm to test if a homogeneous polynomial ideal I defining a scheme X in ℙn is radical using Segre classes and other geometric notions from intersection theory. Its worst case complexity depends on the geometry of X. If the scheme X has reduced isolated primary components and no embedded components supported the singular locus of Xred=V(I√), then the worst case complexity is doubly exponential in n; in all the other cases the complexity is singly exponential. The realm of the ideals for which our radical testing procedure requires only single exponential time includes examples which are often considered pathological, such as the ones drawn from the famous Mayr-Meyer set of ideals which exhibit doubly exponential complexity for the ideal membership problem.
Fichier principal
Vignette du fichier
bht_segre.pdf (314.96 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04222033 , version 1 (28-09-2023)

Licence

Identifiants

Citer

Martin Helmer, Elias Tsigaridas. Segre-driven radicality testing. Journal of Symbolic Computation, 2024, 122, pp.102262. ⟨10.1016/j.jsc.2023.102262⟩. ⟨hal-04222033⟩
409 Consultations
69 Téléchargements

Altmetric

Partager

More