Fourth-moment conjectures for Rademacher sums

Four results, and the first is partly a refutation. Jakimiuk conjectured $c_p = \mu_p - 1$ is optimal for every $p \ge 3$; the paper proves that for $p \ge 4$ and gives a counterexample for every $2 < p < 4$, so the conjecture is false as posed and the corrected range is $p \ge 4$. The witness is the two-coordinate vector $S_2 = (\varepsilon_1+\varepsilon_2)/\sqrt2$. The Baranski-Murawski-Nayar-Oleszkiewicz flat-point conjecture is proved outright, in the stronger form that $x \mapsto \|x+S_n\|_p/\|x+S_n\|_4$ is strictly decreasing on $[1,\infty)$ for every real $p \ge 5$; that range is the one they conjectured, so nothing is left over. Jakimiuk's second conjecture, dimension-free quadratic stability at $p = 3$, is proved with an explicit constant, though the optimal constant there is only bracketed and stays open. The paper also records the exact fixed-$q$ moment and Laplace-transform envelopes, from which coefficient-sensitive tail bounds follow.

Four results, and the first is partly a refutation. Jakimiuk conjectured $c_p = \mu_p - 1$ is optimal for every $p \ge 3$; the paper proves that for $p \ge 4$ and gives a counterexample for every $2 < p < 4$, so the conjecture is false as posed and the corrected range is $p \ge 4$. The witness is the two-coordinate vector $S_2 = (\varepsilon_1+\varepsilon_2)/\sqrt2$. The Baranski-Murawski-Nayar-Oleszkiewicz flat-point conjecture is proved outright, in the stronger form that $x \mapsto \|x+S_n\|_p/\|x+S_n\|_4$ is strictly decreasing on $[1,\infty)$ for every real $p \ge 5$; that range is the one they conjectured, so nothing is left over. Jakimiuk's second conjecture, dimension-free quadratic stability at $p = 3$, is proved with an explicit constant, though the optimal constant there is only bracketed and stays open. The paper also records the exact fixed-$q$ moment and Laplace-transform envelopes, from which coefficient-sensitive tail bounds follow.