English

The projection constant for the trace class

Functional Analysis 2025-02-12 v3 Metric Geometry

Abstract

We study the projection constant of the space of operators on nn-dimensional Hilbert spaces, with the trace norm, S1(n)\mathcal S_1(n). We show an integral formula for the projection constant of S1(n)\mathcal S_1(n); namely λ(S1(n))=nUntr(U)dU, \boldsymbol{\lambda}\big(\mathcal S_1(n)\big) = n \int_{\mathcal U_n} \vert \text{tr}(U) \vert \,dU \,, where the integration is with respect to the Haar probability measure on the group Un\mathcal U_n of unitary operators. Using a probabilistic approach, we derive the limit formula limnλ(S1(n))/n=π/2. \lim_{n\to \infty} \boldsymbol{\lambda}\big(\mathcal S_1(n)\big)/n = \sqrt{\pi}/2\,.

Keywords

Cite

@article{arxiv.2302.00218,
  title  = {The projection constant for the trace class},
  author = {Andreas Defant and Daniel Galicer and Martín Mansilla and Mieczysław Mastyło and Santiago Muro},
  journal= {arXiv preprint arXiv:2302.00218},
  year   = {2025}
}

Comments

arXiv admin note: substantial text overlap with arXiv:2208.06467

R2 v1 2026-06-28T08:28:44.133Z