{"id":"arxiv/2609.08749","url":"https://arxiv.org/abs/2609.08749","tags":["math.FA","math.MG"],"score":0,"title":"Sharp Metric Cotype Inequalities for $L_1$ via Nonlinear Cut Smoothing","domain":"math.FA","source":"arxiv","authors":["Qingjin Cheng","Yue Wang","Bo Xiang"],"reviews":0,"subject":"math.FA","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-08","reactions":{}}