Fix $0<r<1$, and let $X_1,X_2,\dots$ be independent symmetric Weibull$(r)$ random variables, that is, \[ \textsf{P}(|X_i|>t)=e^{-t^r},\qquad t\ge 0. \] We prove that there is no constant $C_r$, depending only on $r$, with the following universal property: for every finite set $T\subset \R^N$ there exists a sequence $(y_k)_{k\ge 1}\subset \R^N$ such that \[ T-T\subset conv\{y_k:k\ge 1\}, \qquad \|X_{y_k}\|_{L_{\log(k+2)}}\le C_r\,\bx(T) \quad (k\ge 1), \] where $X_t=\sum_i t_i X_i$ and $\bx(T)=\textsf{E}\sup_{t\in T}X_t$. This gives a negative answer to a question of Lata{\l}a concerning the validity of convex-hull bounds for canonical Weibull processes. In fact, the failure persists even when the auxiliary vectors appearing in the convex hull are allowed to be arbitrary.
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.
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$ for every $i$, $\mathbb{P}\{K(X)\le\alpha\}\le\alpha$ for all $0\le\alpha\le1$. Thus $K(X)$ is a finite-sample, distribution-free $p$-value for testing the null hypothesis $\mathbb{E}X_i \le 1$ for all $i$. This proves a conjecture of Gaffke (2005).
Let $(X_1,\ldots,X_n)$ be independent nonnegative random variables with $\mathbb{E} X_i\le1$, and write $S=\sum_iX_i$. For $\delta>0$, we prove that \[ \mathbb{P}\left(S<\mathbb{E} S+\delta\right)\ge b_{n,\delta}, \] where $b_{n,\delta}=\delta(n/(n+\delta))^n$ for $0<\delta<1$ and $b_{n,\delta}=(1-1/(n+\delta))^n$ for $\delta\ge1$. The bound is sharp for every $n$ and $\delta\ge 1$. In particular, since $b_{n,\delta} \ge e^{-1}$ for $\delta \ge 1$, our result proves Feige's conjecture [Feige, 2004] in the affirmative for $\delta\ge 1$. The proof is found by ChatGPT 5.6 Pro. It combines the exact Dirichlet calibration theorem of Vlassis and Thomas [Vlassis and Thomas, 2026], which resolves Gaffke's conjecture in statistics, with results in convex geometry including Gr\"unbaum's centroid theorem [Gr\"unbaum, 1960] and its generalization by Letwin and Yaskin [Letwin and Yaskin, 2024].
Weibo Fu, Yanjun Han, Guanyang Wang et al.· 7 citations· ⚡2
Let $X_1,\ldots,X_N$ be independent random vectors in $\mathbb{R}^n$ with common isotropic log-concave distribution $\mu$ and set $P_{N,n}^{\mu}:=\operatorname{conv}\{\pm X_i:1\leqslant i\leqslant N\}$. Assume that $N/n=\gamma\geqslant \gamma_0$ where $\gamma_0>1$ is an absolute constant. We prove that with probability at least $1-C\gamma\exp(-c n^{1/4})$ every $k$-dimensional subspace $E$ of $(\mathbb{R}^n,\|\cdot\|_{P_{N,n}^{\mu}})$ satisfies $d_{\mathrm{BM}} (E,\ell_\infty^k) \geqslant c\gamma^{-C}k^\alpha$ for every $1\leqslant k\leqslant n$ where $c,C,\alpha>0$ are absolute constants. Consequently, with the same probability, $(\mathbb{R}^n,\|\cdot\|_{P_{N,n}^{\mu}})$ has cotype $q(\gamma)<\infty$ with cotype constant depending only on $\gamma$, in particular the cotype exponent and the cotype constant are independent of $n$ and of $\mu$. The proof adapts the deterministic coefficient scheme of Huang-Tikhomirov replacing the Gaussian estimates in their argument by estimates for isotropic log-concave random matrices. As an application, using the log-concave extension of Gluskin's theorem, we obtain a separable Banach space of finite cotype for which the Banach-Mazur diameter of its $k$-dimensional subspaces is of order $k$ and whose finite-dimensional building blocks are generated by isotropic log-concave random polytopes.
We prove that there exist positive constants $A$ and $V$ such that the high-dimensional critical percolation $k$-point function is given by \[ T_{p_c}(x_1,x_2,\ldots,x_{k}) \sim V^{k-2} A^{2k-3} \sum_{T\in \mathsf{Tr}(k)} \sum_{\substack{\Phi:V(T)\to \mathbb{Z}^d \\ \Phi(i)=x_i \forall 1\leq i \leq k}} \prod_{\substack{u,v\in V(T)\\u\sim v}}G(\Phi(u),\Phi(v)) \] as $\min_{i\neq j}\|x_i-x_j\|\to \infty$, where $\mathsf{Tr}(k)$ is a set of isomorphism class representatives of trees with $k$ labelled leaves $\{1,\ldots,k\}$ and unlabelled internal vertices all of which have degree $3$ and $G$ is the lattice Green's function. This verifies a conjecture of Aizenman and Newman (1984) subject to the usual perturbative conditions needed for convergence of the lace expansion. It follows from this theorem that the law of the cluster of the origin, considered as the counting measure on its range, converges under rescaling to the canonical measure of the integrated super-Brownian excursion. By computing the asymptotics of various more complicated variations on the $k$-point function, we also prove the stronger result that the cluster converges as an embedded metric-measure space to the continuum random tree equipped with its Brownian embedding into $\mathbb{R}^d$. This convergence holds simultaneously with respect to the chemical distance, pivotal distance, and resistance distance on the cluster, which we prove are asymptotic to constant multiples of each other. This resolves conjectures of Hara and Slade (1998) and van der Hofstad and Slade (2003). As a corollary of our results we prove that there exists a positive constant $C$ such that $\mathbb{P}_{p_c}(0\leftrightarrow \mathbb{Z}^d \setminus [-r,r]^d)\sim C r^{-2}$, answering a question of Heydenreich and van der Hofstad (2017).
Arthur Blanc-Renaudie, Tom Hutchcroft· 0 citations
Let $X=\{X_j\}_{j=1}^\infty$ be a sequence of independent random variables whose densities and moments of order $2d$ are uniformly bounded. For a random vector $f(X)=(f_1(X),f_2(X))$ whose components are polynomial functionals of degree at most $d$, we prove that \[ [[f]]_{\mu,\infty}^{\frac1{2d-1}}\mu(f\in A) \le C\bigl(\lambda_2(A)\bigr)^{\frac1{2d-1}} \] for every Borel set $A\subset\mathbb R^2$, where $C$ depends only on $d$ and the uniform density and moment bounds, and $\lambda_2$ denotes the Lebesgue measure on $\mathbb R^2$. Here $[[f]]_{\mu,\infty}$ measures the failure of proportionality of the highest-order orthogonal-chaos components of $f_1$ and $f_2$ with respect to the law $\mu$ of $X$. Consequently, whenever these components are not proportional, the law of $f$ admits a density in the weak Lorentz space $L^{\frac{2d-1}{2d-2},\infty}(\mathbb R^2)$. This recovers the dichotomy established by Nualart and Tudor for two-dimensional Wiener chaos vectors and extends it beyond the Gaussian setting. We also obtain the lower bound \[ \int_{\mathbb R^\infty}\Delta_f\,d\mu \ge C[[f]]_{\mu,\infty}^2, \] where $\Delta_f$ is the determinant of the Gram matrix of $\nabla f_1$ and $\nabla f_2$. In the special case of Gaussian measures, this gives a relaxed version of the estimate conjectured by Nourdin, Nualart, and Poly.