Sharp $p/\log p$ Bounds for Metric $X_p$ Inequalities and Arbitrary Rademacher Chaos
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+…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.26287
curl -X POST /api/v1/records/arxiv/2609.26287/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.26287/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'