Sharp Metric $X_p$ Inequalities via Martingales

Abstract

We prove a sharp higher-order Rademacher-chaos inequality on the Hamming cube using random-reveal martingales. As a consequence, we obtain the sharp metric $X_p$ inequality for $L^p$, resolving an open question posed by Naor.