Sharp Metric Cotype Inequalities for $L_1$ via Nonlinear Cut Smoothing
For every $1\leq p<\infty$ and even integer $m\geq4$, we determine the optimal order of the $p$-moment torus inequality for $L_1$: it is $m^p n^{(1-p/2)_+}+n$, with comparison constants independent of $p,m,n$ after taking $p$-th roots. Consequently, for every $2\leq q<\infty$ and $1\leq p\leq q$, the corresponding metric cotype inequality holds at the sharp scale $m=O(n^{1/q})$. In particular, the quadratic inequality holds with $m=O(\sqrt{n})$, answering the $L_1$ sharp metric cotype question of Mendel and Naor. The proof combines finite cut representations with a nonlinear smoothing…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.08749
curl -X POST /api/v1/records/arxiv/2609.08749/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.08749/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'