2025/06/20 by Malajovich, Gregorio
Computer Science · Mathematics · #14M25 #14Q20 #65H10 #65H20 #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Commutative Algebra and Its Applications #FOS: Mathematics #G.1.5 #Numerical Analysis (math.NA) #Polynomial and algebraic computation
paper · pdf · doi:10.48550/arxiv.2506.17086
openalex publication_date 2025/06/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
A theory of numerical path-following in toric varieties was suggested in two previous papers. The motivation is solving systems of polynomials with real or complex coefficients. When those polynomials are not assumed 'dense', solving them over projective space or complex space may introduce spurious, degenerate roots or components. Spurious roots may be avoided by solving over toric varieties. In this paper, a homotopy algorithm is locally defined on charts of the toric variety. Its complexity is bounded linearly by the condition length, that is the integral along the lifted path (coefficients and solution) of thetoric condition number. Those charts allow for stable computations near "toric infinity",which was not possible within the technology of the previous papers.