An explicit counterexample to the Hinrichs--Vybiral conjecture
En palabras de los autores
Conjecture~2 of Hinrichs and Vyb\'iral asserts that every continuous, nonnegative, positive definite function on , normalized by , satisfies . We give an explicit trigonometric polynomial on and eight points for which this inequality fails. All hypotheses are verified directly: positive definiteness follows from nonnegative Fourier coefficients, and pointwise nonnegativity follows from interpolation on a cube. For an explicit vector of signs, the quadratic form is , whereas the proposed lower bound is . The resulting gap is exactly . The example is compatible with the established bound for functions of the form with positive definite.\\ The solution was found in a single prompt try by a colleague using his private licence of ChatGPT 6. Our aim is to make the solution public, as well as to collect some ideas that emerged during the analysis of the solution.
Apareció: lunes, 21 de septiembre. arXiv. Preprint, todavía sin revisión por pares.