English

Further Improvements to the Lower Bound for an Autoconvolution Inequality

Classical Analysis and ODEs 2025-08-06 v1

Abstract

We construct a nonnegative step function comprising 2,399 equally spaced intervals such that ffL2(R)2ffL(R)ffL1(R)    .926529. \frac{\|f * f\|_{L^{2}(\mathbb{R})}^{2}}{\|f * f\|_{L^{\infty}(\mathbb{R})}\,\|f * f\|_{L^{1}(\mathbb{R})}} \;\ge\; .926529. Using a 4x upsampling procedure on this 559-interval optimizer, we further increase the bound to .94136.94136, closing roughly 40\% of the gap between the previous best bound (.901562 on 575 intervals) and the trivial upper limit of 1.

Cite

@article{arxiv.2508.02803,
  title  = {Further Improvements to the Lower Bound for an Autoconvolution Inequality},
  author = {Aaron Jaech and Alan Joseph},
  journal= {arXiv preprint arXiv:2508.02803},
  year   = {2025}
}
R2 v1 2026-07-01T04:34:02.786Z