RECHERCHE
La méthode Barzilai-Borwein échoue à converger superlinéairement pour toute dimension n≥4
Une preuve assistée par ordinateur montre que BB1 ne converge pas superlinéairement sur un ensemble ouvert de problèmes quadratiques.
arXiv cs.AI · cs.LG · cs.CL·Dawei Li, Xiaotian Jiang, Mingyi Hong·23 juillet 2026

Image · Source originale
Les auteurs répondent par la négative à une question ouverte sur la méthode d'optimisation Barzilai-Borwein (BB1) : pour toute dimension n≥4, ils construisent un ensemble ouvert de problèmes quadratiques strictement convexes et de points initiaux pour lesquels BB1 converge sans converger superlinéairement. La preuve repose sur la construction d'un cycle attracteur de période sept dans la dynamique projectivisée de BB, validée par calcul assisté par ordinateur.