A computer-assisted lower bound for Landau's constant
En palabras de los autores
We prove the lower bounds \[ B_\infty>0.51,\qquad L>0.51, \] where is the locally univalent Bloch constant and is Landau's constant, improving the bound of Chen and Shiba. The argument passes to the logarithm of a normalized locally univalent Bloch function, where the Bloch condition becomes a one-sided linear constraint on ; positive Toeplitz moment matrices then provide a finite-dimensional outer relaxation for the low logarithmic coefficients, and any non-negative dual vector for a linear program over that relaxation certifies a bound. Floating-point linear programming is used only to discover such dual vectors; the same duality also certifies the second-derivative bounds that control the Taylor allowances and the coefficient caps that contract the cover. An independent arbitrary-precision interval-arithmetic program reconstructs every witness and checks a finite cover of the normalized coefficient body by boxes, the smallest certified radius being . All numerical premises were verified with Arb at decimal digits.
Apareció: martes, 22 de septiembre. arXiv. Preprint, todavía sin revisión por pares.
Comentario de los autores: 20 pages