{"id":"arxiv/2609.26287","url":"https://arxiv.org/abs/2609.26287","tags":["math.FA"],"score":0,"title":"Sharp $p/\\log p$ Bounds for Metric $X_p$ Inequalities and Arbitrary Rademacher Chaos","domain":"math.FA","source":"arxiv","authors":["Yutong Zhang","Yaoran Yang"],"reviews":0,"subject":"math.FA","summary":"Naor proved that $L_p$ satisfies the metric $X_p$ inequality with the sharp scaling parameter and asked for the optimal dependence of its constant on $p$. The best previously known upper bound was $O(p^4/\\log p)$, while first-degree chaos gives a lower bound of order $p/\\log p$. We prove the matching upper bound. More generally, if $h$ is a mean-zero scalar function on the Hamming cube, $p\\geq2$, and $S$ is uniformly distributed over the $k$-subsets of $[n]$, then \\[ \\bigl(\\E_S\\|\\E_{[n]\\setminus S}h\\|_p^p\\bigr)^{1/p} \\lesssim \\frac p{\\log p} \\left[\\frac{k}{n}\\sum_{j=1}^n\\|\\partial_jh\\|_p^p+…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-14","reactions":{}}