A computer-assisted proof of Krzyż's conjecture for the sixth coefficient
We prove Krzyż's conjecture for the sixth coefficient. Every holomorphic function $f(z)=\sum a_kz^k$ from the unit disk to the punctured disk satisfies $|a_6| \le 2/e$. Equality holds precisely for rotations of $\exp(-(1-z^6)/(1+z^6))$. Every extremal has a Herglotz representation with at most six atoms. By the reduction of Agler and McCarthy and the entropy theorem of Lei and Zhang, it suffices to exclude extremals with fewer than six atoms. We do this by a rigorous computer-assisted branch-and-bound, leaving the equality case entirely to the analytic argument. The main ingredients are…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.15206
curl -X POST /api/v1/records/arxiv/2610.15206/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.15206/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'