Three proofs of the Benedetto-Fickus theorem
Metric Geometry
2025-06-02 v1
Abstract
In 2003, Benedetto and Fickus introduced a vivid intuition for an objective function called the frame potential, whose global minimizers are fundamental objects known today as unit norm tight frames. Their main result was that the frame potential exhibits no spurious local minimizers, suggesting local optimization as an approach to construct these objects. Local optimization has since become the workhorse of cutting-edge signal processing and machine learning, and accordingly, the community has identified a variety of techniques to study optimization landscapes. This chapter applies some of these techniques to obtain three modern proofs of the Benedetto-Fickus theorem.
Keywords
Cite
@article{arxiv.2112.02916,
title = {Three proofs of the Benedetto-Fickus theorem},
author = {Dustin G. Mixon and Tom Needham and Clayton Shonkwiler and Soledad Villar},
journal= {arXiv preprint arXiv:2112.02916},
year = {2025}
}