Skip to content
Preprint

Sharp Convex Concentration for Symmetric Random Tensors with Subgaussian Coordinates

Aug 2026 · 0 citations · 13 references
Mathematics

Abstract

Let $X=(X_1,\ldots,X_n)$ have independent coordinates with mean zero, variance one, and $\|X_i\|_{\psi_2}\le K$, and let $H_d=(\mathbb R^n)^{\otimes_2 d}$. Let $L>0$ and let $f:H_d\to\mathbb R$ be convex and $L$-Lipschitz. We prove that, for $0\le t\le c_KLn^{d/2}$, \[ \textsf{P}\left\{ \left\lvert f(X^{\otimes d})-\textsf{E}f(X^{\otimes d})\right\rvert>t \right\} \le C\exp\left[-c_K\mathcal I_{n,d}\left( \frac{t}{L n^{(d-1)/2}} \right)\right], \] where \[ \mathcal I_{n,d}(s)= \min\left\{ \frac{s^2}{d^2}, \frac{s^2}{d\log(e+nd/s^2)} \right\},\qquad s>0, \qquad \mathcal I_{n,d}(0)=0. \] The first rate is forced by changes in $\|X\|$. The second comes from changes of $X$ when its norm is nearly fixed. The proof constructs one coupling that controls both the coordinatewise conditional displacement and the mean squared Euclidean distance, and combines these bounds with a second-order estimate for $x\mapsto x^{\otimes d}$. The rate is minimax sharp, scale by scale, even when the subgaussian norms are bounded by an absolute constant. For bounded coordinates the logarithm in the second rate disappears.

View source

Similar papers

Preprint Aug 2026

Sharp $\ell^p$-Improving Estimates for Fixed-Radius Discrete Spherical Averages

Let $d\geq 4$ and let $R>0$. When $d=4$, assume that $R^2\in\mathbb{N}\setminus 4\mathbb{N}$; when $d\geq 5$, let $R^2\in\mathbb{N}$ be arbitrary. We prove the fixed-radius estimate $$\|A_R f\|_{\ell^{p'}(\mathbb{Z}^d)}\leq C_{d,p,\varepsilon}R^{-d(2/p-1)+\varepsilon}\|f\|_{\ell^p(\mathbb{Z}^d)}$$ for $(d+2)/d\leq p\le...

Rui Han, Fan Yang · 0 citations
Preprint Aug 2026

On the endpoint estimate for discrete spherical average over sparse sequences

Let $d\ge5$, and let $A_\lambda$ denote the normalized discrete spherical average on $\mathbb{Z}^d$ with squared radius $\lambda$. For a strictly increasing sequence $(\mu_k)$ of positive integers, set $\lambda_k=\mu_k!$ and consider the lacunary maximal operator $A_\star f:=\sup_k|A_{\lambda_k}f|$. For each fixed $\ga...

Sanghyuk Lee, Ji Li, Chong-Wei Liang et al. · 0 citations
Preprint Aug 2026

Dimension-Free Lipschitz Bounds for Brenier Maps to Compactly Supported Log-Concave Targets

We fix an integer $d\ge1$ and a symmetric positive-definite matrix $Q\in\mathbb{R}^{d\times d}$. Let $V:\mathbb{R}^d\to\mathbb{R}$ be finite, set \[ Z_\mu:=\int_{\mathbb{R}^d}e^{-V(x)}\,dx\in(0,\infty), \qquad d\mu(x):=Z_\mu^{-1}e^{-V(x)}\,dx, \] and assume that $\mu$ has finite second moment and that \[ x\longmapsto \...

Maja Gwóźdź · 1 citation · ⚡1
Preprint Aug 2026

Online balancing of vectors with small coordinates

A nonuniform version in which the failure probability depends on the individual parameters, and a lower bound showing that a universal constant prefix discrepancy is impossible when $d=o(\ln T)$, are proved.

Antonios Hmadi · 2 citations
Preprint Jul 2026

An Exact Distribution-Free Test for Means of Nonnegative Random Variables

Let $X=(X_1,\ldots,X_n)$ be independent nonnegative random variables, not necessarily identically distributed. Let $D=(D_0,D_1,\ldots,D_n)\sim\operatorname{Dir}(1,\ldots,1)$ be independent of $X$, and define $K(x)=\mathbb{P}\{\sum_{i=1}^n x_iD_i\le1\}$. We prove that, for every $n\ge1$, whenever $\mathbb{E} X_i\le1$ fo...

Nikos Vlassis, P. Thomas · 6 citations · ⚡3
Preprint Aug 2026

A Chow-Type theorem from asymptotic directions

Let $X\subset \mathbb C^n$ be a closed pure $d$-dimensional complex analytic set. We associate to $X$ its set of projective asymptotic directions $$ \Sigma_\infty(X) :=\{\ell \in \mathbb P^{n-1}(\mathbb C):\ell\cap C_\infty(X)\ne\{0\}\}, $$ where $ C_\infty(X)$ is the total tangent cone at infinity. We prove the metric...

Nhan D. V. Nguyen · 1 citation · ⚡1

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.