Sendov's conjecture

In mathematics, Sendov's conjecture, sometimes also called Ilieff's conjecture, concerns the relationship between the locations of roots and critical points of a polynomial function of a complex variable. It is named after Blagovest Sendov.

The conjecture states that for a polynomial

${\displaystyle f(z)=(z-r_{1})\cdots (z-r_{n}),\qquad (n\geq 2)}$

with all roots r₁, ..., r_n inside the closed unit disk |z| ≤ 1, each of the n roots is at a distance no more than 1 from at least one critical point.

The Gauss–Lucas theorem says that all of the critical points lie within the convex hull of the roots. It follows that the critical points must be within the unit disk, since the roots are.

The conjecture has been proven for n < 9 by Brown-Xiang and for n sufficiently large by Tao.^[1][2]

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Sendov's conjecture" – news · newspapers · books · scholar · JSTOR (July 2015) (Learn how and when to remove this message)

The conjecture was first proposed by Blagovest Sendov in 1959; he described the conjecture to his colleague Nikola Obreshkov. In 1967 the conjecture was misattributed^[3] to Ljubomir Iliev by Walter Hayman.^[4] In 1969 Meir and Sharma proved the conjecture for polynomials with n < 6. In 1991 Brown proved the conjecture for n < 7. Borcea extended the proof to n < 8 in 1996. Brown and Xiang^[5] proved the conjecture for n < 9 in 1999. Terence Tao proved the conjecture for sufficiently large n in 2020.

• G. Schmeisser, "The Conjectures of Sendov and Smale," Approximation Theory: A Volume Dedicated to Blagovest Sendov (B. Bojoanov, ed.), Sofia: DARBA, 2002 pp. 353–369.

• Sendov's Conjecture by Bruce Torrence with contributions from Paul Abbott at The Wolfram Demonstrations Project