Further Improvements to the Lower Bound for an Autoconvolution Inequality
About
We construct a nonnegative step function comprising 2,399 equally spaced intervals such that \[ \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$, closing roughly 40\% of the gap between the previous best bound (.901562 on 575 intervals) and the trivial upper limit of 1.
Aaron Jaech, Alan Joseph• 2025
Related benchmarks
| Task | Dataset | Result | Rank | |
|---|---|---|---|---|
| Second Autocorrelation Inequality | ACI 2 (test) | Value94.136 | 7 | |
| Hexagon Packing | HEX n=11 (test) | Side Length (L)3.9434 | 6 | |
| Hexagon Packing | HEX n=12 (test) | Side Length (L)4 | 5 | |
| Hexagon Packing | HEX 13 | Side length (L)4 | 3 | |
| Hexagon Packing | HEX 14 | Side Length (L)4.2724 | 3 | |
| Hexagon Packing | HEX 15 | Side length (L)4.4541 | 3 | |
| Hexagon Packing | HEX 17 | Side Length (L)4.6188 | 3 | |
| Hexagon Packing | HEX 18 | Side Length (L)4.6188 | 3 | |
| Hexagon Packing | HEX 19 | Side length (L)4.6188 | 3 | |
| Hexagon Packing | HEX 20 | Side length (L)5 | 3 |
Showing 10 of 15 rows