Linear-algebraic lower bounds for approximate designs
Establish a purely linear-algebraic lower-bound proof for approximate spherical designs that is comparable to the paper's lower bound for approximate L^2 spherical 2t-designs.
References
Is there a purely linear-algebraic proof of a lower bound for approximate designs that is comparable to \cref{thm:L2-approx-designs-lower-bound}?
— Fixed-strength spherical designs
(2502.06002 - Dillon, 9 Feb 2025) in Section 6, Open questions, Question following the discussion of the lower-bound methods