Family 325Functional analysisLeanNot yet digested
The complete Crouzeix conjecture
Resolves the complete Crouzeix conjecture: for every bounded operator A on a complex Hilbert space and every finite matrix-valued polynomial P, one has , where is the numerical range. The constant 2 is sharp, independent of the matrix size, and valid in infinite dimensions.
Manuscripts in this family · 2
A direct proof of the complete Crouzeix inequality
Sep 26, 2026·paper.pdfLean
We give a direct proof of the sharp constant-two numerical-range inequality for matrix-valued polynomials in all finite base and coefficient dimensions. This resolves the complete Crouzeix conjecture in its matrix formulation, including matrices whose numerical ranges are points or line segments.
The complete Crouzeix theorem: optimal similarity and a common positive boundary representation
Sep 23, 2026·paper.pdfLean
We resolve the complete Crouzeix conjecture by proving the sharp constant-two numerical-range inequality for every bounded operator on a complex Hilbert space and every matrix-valued polynomial. No separability assumption is needed. The closure of the numerical range is a complete 2-spectral set, and the bound extends to finite matrix-valued functions holomorphic near that closure. For a finite matrix and a bounded convex domain containing its numerical range with regular real-analytic Jordan boundary, the optimal similarity making its conformal disk image contractive is attained with condition number at most two. For the similar matrix, one continuous positive boundary density of mass the identity represents the evaluation of every matrix-valued function holomorphic near the closed domain.