English

An improved example for an autoconvolution inequality

Classical Analysis and ODEs 2025-08-12 v2 Combinatorics Number Theory

Abstract

We give a nonnegative step function with 575 equally spaced intervals such that ffL2(R)2ffL(R)ffL1(R)0.901564.\frac{\|f \ast f\|_{L^{2}(\mathbb{R})}^{2}}{\|f \ast f\|_{L^{\infty}(\mathbb{R})}\|f \ast f\|_{L^{1}(\mathbb{R})}} \geq 0.901564. This improves upon a recent result of Deepmind's AlphaEvolve, which found a nonnegative step function with 50 equally space intervals for which the left hand side is 0.8962\geq 0.8962. Our function was found using simulated annealing and gradient based methods rather than using large language models.

Cite

@article{arxiv.2506.16750,
  title  = {An improved example for an autoconvolution inequality},
  author = {Christopher Boyer and Zane Kun Li},
  journal= {arXiv preprint arXiv:2506.16750},
  year   = {2025}
}

Comments

8 pages, 3 figures; revised version incorporating referee comments

R2 v1 2026-07-01T03:26:04.300Z