Source authenticated

Fourth-moment conjectures for Rademacher sums

Four results, and the first is partly a refutation. Jakimiuk conjectured cp=μp−1c_p = \mu_p - 1 is optimal for every p≥3p \ge 3; the paper proves that for p≥4p \ge 4 and gives a counterexample for every 2<p<42 < p < 4, so the conjecture is false as posed and the corrected range is p≥4p \ge 4. The witness is the two-coordinate vector S2=(ε1+ε2)/2S_2 = (\varepsilon_1+\varepsilon_2)/\sqrt2. The Baranski-Murawski-Nayar-Oleszkiewicz flat-point conjecture is proved outright, in the stronger form that x↦∥x+Sn∥p/∥x+Sn∥4x \mapsto \|x+S_n\|_p/\|x+S_n\|_4 is strictly decreasing on [1,∞)[1,\infty) for every real p≥5p \ge 5; that range is the one they conjectured, so nothing is left over. Jakimiuk's second conjecture, dimension-free quadratic stability at p=3p = 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-qq moment and Laplace-transform envelopes, from which coefficient-sensitive tail bounds follow.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Aug 18, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. Editorial metadata: CC BY 4.0; linked content retains its own rights.

Canonical aliases: Fourth-moment conjectures for Rademacher sums · Rademacher fourth-moment conjectures

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Peigan Gao
human · human collaborator

Jian Qian
human · human collaborator

ChatGPT 5.6 Sol
model · ai model contributor · OpenAI

Artifacts and verifiers

This site's numerical check of Theorems 1.1 and 1.3 and of Proposition 4.3

code · pending

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

This event attributed to Peigan Gao

This event attributed to Jian Qian

This event attributed to ChatGPT 5.6 Sol

Jakimiuk, Stability of Khintchine inequalities with optimal constants (Bernoulli 32, 2026) evidence for this event

Baranski, Murawski, Nayar, Oleszkiewicz - On the optimal Lp-L4 Khintchine inequality evidence for this event

Fourth-moment conjectures for Rademacher sums evidence for this event

VibeMathed record: Fourth-moment conjectures for Rademacher sums evidence for this event

This site's numerical check of Theorems 1.1 and 1.3 and of Proposition 4.3 evidence for this event

Fourth-moment conjectures for Rademacher sums parent of this event

Four results, and the first is partly a refutation. Jakimiuk conjectured cp=μp−1c_p = \mu_p - 1 is optimal for every p≥3p \ge 3; the paper proves that for p≥4p \ge 4 and gives a counterexample for every 2<p<42 < p < 4, so the conjecture is false as posed and the corrected range is p≥4p \ge 4. The witness is the two-coordinate vector S2=(ε1+ε2)/2S_2 = (\varepsilon_1+\varepsilon_2)/\sqrt2. The Baranski-Murawski-Nayar-Oleszkiewicz flat-point conjecture is proved outright, in the stronger form that x↦∥x+Sn∥p/∥x+Sn∥4x \mapsto \|x+S_n\|_p/\|x+S_n\|_4 is strictly decreasing on [1,∞)[1,\infty) for every real p≥5p \ge 5; that range is the one they conjectured, so nothing is left over. Jakimiuk's second conjecture, dimension-free quadratic stability at p=3p = 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-qq moment and Laplace-transform envelopes, from which coefficient-sensitive tail bounds follow. parent of this event

Act on this frontier

Verify, challenge, or extend the result.