PreprintCC BY 4.0arXiv
From Sidelnikov-Welch bounds to projection constants
Abstract
In the paper, we prove a recursive version of the weighted Sidelnikov-Welch inequality for real and complex unit vectors. Unlike the classical form, which gives a direct lower bound for a fixed even power sum, our inequality relates two consecutive even power sums. Iteration yields the usual weighted Sidelnikov-Welch bound. We apply this estimate to maximal relative projection constants. If πm admits a maximal equiangular tight frame with Mπ vectors, then for every integer kβ₯1, Ξ»π(kMπβm,kMπ) = Ξ»π(m)β2m/kMπ+1. Moreover, the maximal value is realized by an equiangular tight frame when k=1 and by a biangular tight frame when kβ₯2.
Related
- Projection Constants and Banach-Mazur Distance in Codimension Two
- Stability of maximal relative projection constants
- Projection Constants of Polynomial Spaces via Representation Theory
- Maximal Projection Constants and Extremal Vector Configurations: Some Conjectures and Examples
- Upper bounds for Jung constants of β1d
BibTeX
@misc{deregowska2026from,
title = {{From Sidelnikov-Welch bounds to projection constants}},
author = {Beata Deregowska and Barbara Lewandowska},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.29422},
eprint = {2609.29422},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.29422},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - From Sidelnikov-Welch bounds to projection constants
AU - Beata Deregowska
AU - Barbara Lewandowska
PY - 2026
DA - 2026/09/24
PB - arXiv
DO - 10.48550/arxiv.2609.29422
UR - https://arxiv.org/abs/2609.29422
AB - In the paper, we prove a recursive version of the weighted Sidelnikov-Welch inequality for real and complex unit vectors. Unlike the classical form, which gives a direct lower bound for a fixed even power sum, our inequality relates two consecutive even power sums. Iteration yields the usual weighted Sidelnikov-Welch bound. We apply this estimate to maximal relative projection constants. If π^m admits a maximal equiangular tight frame with M_π vectors, then for every integer kβ₯1, Ξ»_π(kM_πβm,kM_π) = Ξ»_π(m)β2m/kM_π+1. Moreover, the maximal value is realized by an equiangular tight frame when k=1 and by a biangular tight frame when kβ₯2.
ER -