Article Dans Une Revue Mathematics of Control, Signals, and Systems Année : 2026

Probabilistic algorithm for computing all local minimizers of Morse functions on a compact domain

Résumé

Let K be the unit-cube in Rn and f : K → R^n be a Morse function. We assume that the function f is given by an evaluation program Γ in the noisy model, i.e., the evaluation program Γ takes an extra parameter η as input and returns an approximation that is η-close to the true value of f . In this article, we design an algorithm able to compute all local minimizers of f on K . Our algorithm takes as input Γ, η, a numerical accuracy parameter ε as well as some extra regularity parameters which are made explicit. Under assumptions of probabilistic nature – related to the choice of the evaluation points used to feed Γ –, it returns finitely many rational points of K , such that the set of balls of radius ε centered at these points contains and separates the set of all local minimizers of f . Our method is based on approximation theory, yielding polynomial approximants for f , combined with computer algebra techniques for solving systems of polynomial equations. We provide bit complexity estimates for our algorithm when all regularity parameters are known. Practical experiments show that our implementation of this algorithm in the Julia package Globtim can tackle examples that were not reachable until now.

Fichier principal
Vignette du fichier
saschotre25_revised.pdf (3.96 Mo) Télécharger le fichier

Dates et versions

hal-05160251 , version 1 (13-07-2025)
hal-05160251 , version 2 (03-04-2026)

Licence

Identifiants

Citer

Mohab Safey El Din, Georgy Scholten, Emmanuel Trélat. Probabilistic algorithm for computing all local minimizers of Morse functions on a compact domain. Mathematics of Control, Signals, and Systems, 2026, ⟨10.1007/s00498-026-00441-3⟩. ⟨hal-05160251v2⟩
770 Consultations
235 Téléchargements

Altmetric

Partager

  • More