Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

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

TaskDatasetResultRank
Second Autocorrelation InequalityACI 2 (test)
Value94.136
7
Hexagon PackingHEX n=11 (test)
Side Length (L)3.9434
6
Hexagon PackingHEX n=12 (test)
Side Length (L)4
5
Hexagon PackingHEX 13
Side length (L)4
3
Hexagon PackingHEX 14
Side Length (L)4.2724
3
Hexagon PackingHEX 15
Side length (L)4.4541
3
Hexagon PackingHEX 17
Side Length (L)4.6188
3
Hexagon PackingHEX 18
Side Length (L)4.6188
3
Hexagon PackingHEX 19
Side length (L)4.6188
3
Hexagon PackingHEX 20
Side length (L)5
3
Showing 10 of 15 rows

Other info

Follow for update