Quantitative Fundamental Theorem of Algebra
Daniel Perrucci, Marie-Fran\c{c}oise Roy

TL;DR
This paper provides a quantitative analysis of the Fundamental Theorem of Algebra using subresultants, showing the degree bounds of the Intermediate Value Theorem needed for different proofs and highlighting their fundamental differences.
Contribution
It introduces a modified proof using subresultants that quantifies the degree of polynomials for which the Intermediate Value Theorem is required in the proof of the FTA.
Findings
FTA proof requires IVT for polynomials of degree up to d^2
Laplace's proof requires IVT for exponentially high degree
Quantitative bounds reveal differences in proof methods
Abstract
Using subresultants, we modify a recent real-algebraic proof due to Eisermann of the Fundamental Theorem of Algebra ([FTA]) to obtain the following quantitative information: in order to prove the [FTA] for polynomials of degree , the Intermediate Value Theorem ([IVT]) is requested to hold for real polynomials of degree at most . We also explain that the classical proof due to Laplace requires [IVT] for real polynomials of exponential degree. These quantitative results highlight the difference in nature of these two proofs.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
