Positivity and Asymptotics for Chenevier's Orthogonal Polynomials
We prove the strict positivity conjectured by Chenevier for the critical vectors in the unconditional part of his automorphic Hermite--Minkowski theorem. The proof establishes strict negativity of all Verblunsky coefficients of a circle measure associated with the weight $(\arcsin x)/x$ on $(-1,1)$. A positive-kernel f...