English

Packings in classical Banach spaces

Functional Analysis 2026-02-19 v2 Metric Geometry

Abstract

We obtain several new results on the simultaneous packing and covering constant γ(X)\gamma(\mathcal{X}) of a Banach space X\mathcal{X}, and its lattice counterpart γ(X)\gamma^*(\mathcal{X}). These constants measure how efficient a (lattice) packing by unit balls in X\mathcal{X} can be, the optimal case being that γ(X)=1\gamma(\mathcal{X})= 1 and the worst that γ(X)=2\gamma(\mathcal{X})= 2. Our first main result is that γ(X)>1\gamma(\mathcal{X})> 1 whenever BXB_\mathcal{X} admits a LUR point, which leads us to a negative answer to a question of Swanepoel. We also develop general methods to compute these constants for a large class of spaces. As a sample of our findings: (i) γ(X)=1\gamma^*(\mathcal{X})= 1 when X\mathcal{X} is a separable octahedral Banach space, or X=C(K)\mathcal{X}= \mathcal{C}(\mathcal{K}), where K\mathcal{K} is zero-dimensional; (ii) γ(p(κ)rX)=γ(p(κ)rX)=221/p\gamma(\ell_p(\kappa)\oplus_r \mathcal{X})= \gamma^*(\ell_p(\kappa)\oplus_r \mathcal{X})= \frac{2}{2^{1/p}}, whenever dens(X)<κ\rm{dens}(\mathcal{X})< \kappa and 1rp<1\leq r\leq p< \infty; (iii) γ(Lp(μ))=γ(Lp(μ))=221/p\gamma(L_p(\mu))= \gamma^*(L_p(\mu))= \frac{2}{2^{1/p}} for 1p21\leq p\leq 2 and every measure μ\mu; (iv) there exist reflexive (resp. octahedral) Banach spaces X\mathcal{X} with γ(X)=2\gamma(\mathcal{X})= 2. We leave a large area open for further research and we indicate several possible directions.

Keywords

Cite

@article{arxiv.2602.12934,
  title  = {Packings in classical Banach spaces},
  author = {Carlo Alberto De Bernardi and Tommaso Russo and Şeyda Sezgek and Jacopo Somaglia},
  journal= {arXiv preprint arXiv:2602.12934},
  year   = {2026}
}
R2 v1 2026-07-01T10:35:20.214Z