Zartash–Robeva conjecture on Gaussian convolution and log-supermodularity
Zartash–Robeva conjecture. The convolution f∗gf*gf∗g is log-supermodular.