Effective Dimensions in Grothendieck--Hölder Inequalities
Abstract
What becomes of Grothendieck's inequality when its Hilbert-space vectors are replaced by vectors in ℓpr and ℓp'r? For an m× n matrix, we show that the universal dimensional loss is governed not by r alone, but by the effective dimension d=min{r,m,n}. More precisely, the optimal constant is bounded above and below, up to dimension-free factors, by d|1/p−1/2|. The upper bound rests on a pointwise Hilbertian stabilization: for every matrix A, G2(r)(A)=G2(d)(A). Combining this stabilization with Lewis's Euclidean distortion estimate gives the effective-dimensional Grothendieck--Hölder bound. Beyond the universal power law, we retain the finer rectangular geometry. At p=∞ we prove the exact compression formula Γ∞K(r;m,n) = ρ ( ℓ1m(K), ℓ1min{r,n}(K) ), and derive from it endpoint-sensitive lower bounds throughout the full Hölder scale. Over the complex field, interpolation between the Hilbertian problem and the exact rectangular endpoints yields corresponding upper bounds. Thus the effective dimension determines the universal exponent, whereas the tensor-norm endpoint retains additional aspect-ratio information. We determine the boundedness threshold when p approaches $2$: it is governed by |1/p−1/2|log d. For complex two-row matrices, the endpoint tensor ratios are explicit, and the general rectangular estimates give quantitative two-sided bounds for every 1≤ p≤∞.
Related
- Weak reverse Hölder inequalities for doubling measures
- A Projection Anderson Acceleration Algorithm for Non-quasi-monotone Variational Inequalities with Hölder Continuous Terms
- Inequalities between Dirichlet and Neumann eigenvalues in large dimensions
- Sharp Noether-type inequalities for $3$-folds of intermediate Kodaira dimensions
- Effective threshold dynamics for the cubic nonlinear Klein-Gordon equation in three dimensions
BibTeX
@misc{santos2026effective,
title = {{Effective Dimensions in Grothendieck--Hölder Inequalities}},
author = {Joedson Santos and Diana Serrano-Rodríguez},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.04398},
eprint = {2610.04398},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.04398},
note = {CC0},
}
RIS
TY - UNPB
TI - Effective Dimensions in Grothendieck--Hölder Inequalities
AU - Joedson Santos
AU - Diana Serrano-Rodríguez
PY - 2026
DA - 2026/10/03
PB - arXiv
DO - 10.48550/arxiv.2610.04398
UR - https://arxiv.org/abs/2610.04398
AB - What becomes of Grothendieck's inequality when its Hilbert-space vectors are replaced by vectors in ℓ_p^r and ℓ_p'^r? For an m× n matrix, we show that the universal dimensional loss is governed not by r alone, but by the effective dimension d=min{r,m,n}. More precisely, the optimal constant is bounded above and below, up to dimension-free factors, by d^|1/p−1/2|. The upper bound rests on a pointwise Hilbertian stabilization: for every matrix A, G_2^(r)(A)=G_2^(d)(A). Combining this stabilization with Lewis's Euclidean distortion estimate gives the effective-dimensional Grothendieck--Hölder bound. Beyond the universal power law, we retain the finer rectangular geometry. At p=∞ we prove the exact compression formula Γ_∞^K(r;m,n) = ρ ( ℓ_1^m(K), ℓ_1^min{r,n}(K) ), and derive from it endpoint-sensitive lower bounds throughout the full Hölder scale. Over the complex field, interpolation between the Hilbertian problem and the exact rectangular endpoints yields corresponding upper bounds. Thus the effective dimension determines the universal exponent, whereas the tensor-norm endpoint retains additional aspect-ratio information. We determine the boundedness threshold when p approaches $2$: it is governed by |1/p−1/2|log d. For complex two-row matrices, the endpoint tensor ratios are explicit, and the general rectangular estimates give quantitative two-sided bounds for every 1≤ p≤∞.
ER -