English

Almost minimal orthogonal projections

Functional Analysis 2023-03-13 v3 Metric Geometry

Abstract

The projection constant Π(E):=Π(E,)\Pi(E):=\Pi(E, \ell_\infty) of a finite-dimensional Banach space EE\subset\ell_\infty is by definition the smallest norm of a linear projection of \ell_\infty onto EE. Fix n1n\geq 1 and denote by Πn\Pi_n the maximal value of Π()\Pi(\cdot) amongst nn-dimensional real Banach spaces. We prove for every ε>0\varepsilon >0 that there exist an integer d1d\geq 1 and an nn-dimensional subspace E1dE\subset\ell_1^d such that ΠnΠ(E,1d)+2ε\Pi_n \leq \Pi(E, \ell_1^d) +2 \varepsilon and the orthogonal projection P ⁣:1dEP\colon \ell_1^d\to E is almost minimal in the sense that PΠ(E,1d)+ε\lVert P \rVert \leq \Pi(E, \ell_1^d)+\varepsilon. As a consequence of our main result, we obtain a formula relating Πn\Pi_n to smallest absolute value row-sums of orthogonal projection matrices of rank nn.

Cite

@article{arxiv.2001.08698,
  title  = {Almost minimal orthogonal projections},
  author = {Giuliano Basso},
  journal= {arXiv preprint arXiv:2001.08698},
  year   = {2023}
}

Comments

final version

R2 v1 2026-06-23T13:19:10.813Z