Sharp Remez inequality (Q2216646)

The classical Remez inequality asserts that for any polynomial \(P_n\) of degree \(n\) with \linebreak \(\big|\bigl\{x\in[-1,1]:|P_n(x)|\leq1\bigr\}\big|\geq2-s\), \(0 < s < 2\), the inequality \[ \max_{x\in[-1,1]}|P_n(x)|\leq T_n\bigl(\tfrac{2+s}{2-s}\bigr) \] holds, where \(|B|\) denotes the Lebesgue measure of a measurable set \(B\) and \(T_n(x)=\cos(n\arccos(x))\) is the classical Chebyshev polynomial of the first kind. In this paper, the authors prove a similar inequality for sets on the unit circle \({\mathbb T}\), that is, for any polynomial \(P_n\) of degree \(n\) with \(\big|\bigl\{z\in{\mathbb T}:|P_n(z)|\leq1\bigr\}\big|\geq2\pi-s\), \(0 < s < 2\pi\), the inequality \[ \max_{z\in{\mathbb T}}|P_n(z)|\leq T_n(1/\cos(\tfrac{s}{4})) \] holds.