Erdős minimum overlap constant

Description of constant

$C_{1b}$ is the largest constant for which one has \(\sup_{x \in [-2,2]} \int_{-1}^1 f(t) g(x+t)\ dt\geq C_{1b}\) for all non-negative $f,g: [-1,1] \to [0,1]$ with $f+g=1$ on $[-1,1]$ and $\int_{\mathbb{R}} f = 1$, where we extend $f,g$ by zero outside of $[-1,1]$.

Known upper bounds

Bound Reference Comments
$1/2=0.5$ [E1955]  
$4/9=0.4444\dots$ Erdős (unpublished)  
$5/12 = 0.41666\dots$ [MRS1956]  
$0.4$ [MRS1956]  
$0.385694$ Haugland (unpublished, 1993)  
$0.382002$ [H1996]  
$0.380927$ [H2016]  
$0.380924$ [GGSWT2025] AlphaEvolve
$0.380876$ [YKLBMWKCZGS2026] TTT-Discover

Known lower bounds

Bound Reference Comments
$1/4=0.25$ [E1955]  
$1-1/\sqrt{2} \approx 0.292893$ Scherk (unpublished, 1955)  
$(4-\sqrt{6})/5 \approx 0.310679$ [S1958]  
$\sqrt{4-\sqrt{15}} \approx 0.356393$ [M1959]  
$0.379005$ [W2022]  

References