2020/01/18 by John J. Benedetto, Benedetto, John J., Paul J. Koprowski +3 · 1 citation
Engineering · #Advanced Measurement and Metrology Techniques #Classical Analysis and ODEs (math.CA) #FOS: Mathematics #FOS: Physical sciences #Functional Analysis (math.FA) #Mathematical Physics (math-ph)
paper · pdf · doi:10.48550/arxiv.2001.06738
openalex publication_date 2020/01/18 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The goal is to extend Gleason's notion of a frame function, which is essential in his fundamental theorem in quantum measurement, to a more general function acting on 1-tight, so-called, Parseval frames. We refer to these functions as Gleason functions for Parseval frames. The reason for our generalization is that positive operator valued measures (POVMs) are essentially equivalent to Parseval frames, and that POVMs arise naturally in quantum measurement theory. We prove that under the proper assumptions, Gleason functions for Parseval frames are quadratic forms, as well as other results analogous to Gleason's original theorem. Further, we solve an intrinsic problem relating Gleason functions for Parseval frames of different lengths. We use this solution to weaken the hypotheses in the finite dimensional version of Busch's theorem, that itself is an analog of Gleason's mathematical characterization of quantum states.