Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f
Remark: Family 325. The complete Crouzeix conjecture
Family claims › Functional analysis · lines 2121–2126
OpenAI@2026-10-07#rem:oai-325
Resolves the complete Crouzeix conjecture: for every bounded operator on a complex Hilbert space and every finite matrix-valued polynomial , one has , where is the numerical range. The constant is sharp, independent of the matrix size, and valid in infinite dimensions.
The authors are OpenAI. This companion does not verify the proof. The claim is not a theorem of the Enter series and not a premise of any registered sheet. It does not close O.1. O.1 stays NOT_CLOSED. It is not a de Sitter state and not the QdS external-leg scheme. No quantum coefficient is admitted. No compilation is asserted.
Nearby in this section
- remark: Remark: Family 322. Tingley's sphere-isometry problem
- remark: Remark: Family 323. Relative independence of the separable quotient problem
- remark: Remark: Family 324. Lipschitz equivalence without linear isomorphism
- remark: Remark: Family 326. The cotype–cotype conjecture under the approximation property
- remark: Remark: Family 327. Markov type characterizes superreflexivity
- remark: Remark: Family 328. Fixed points of nonexpansive maps in reflexive Banach spaces
- remark: Remark: Family 329. A counterexample to Pietsch's metric-entropy duality conjecture
- remark: Remark: Family 330. A negative answer to Kalton's Lipschitz-free approximation question