Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Operators and POVMs generated by Parseval frames

Sergiusz Kużel, Piotr Łukasiewicz

TL;DR

The paper broadens the classical link between a self-adjoint operator and its spectral measure by studying operators and POVMs generated by Parseval frames. Through Naimark dilation, it associates a symmetric, and in favorable cases self-adjoint, operator $H_{\sf E,e}$ to the POVM $F_{\sf E,e}$, and analyzes how the spectra $\sigma(F_{\sf E,e})$ and $\sigma(H_{\sf E,e})$ relate. It provides a comprehensive framework for when commutative POVMs admit sharp versions and how joint measurability arises for POVMs built from Parseval frames. The two detailed families of examples—Mercedes-type frames and frames from conference matrices—yield explicit polynomial or determinant-characterized eigenvalue relations that connect the quantum spectrum with the classical data ${\sf E}$. Overall, the work advances frame-based quantization and measurement theory by clarifying the spectral interplay between POVMs and their associated operators and by offering concrete, computable spectral formulas in key frame classes.

Abstract

Let $F$ be a Parseval frame in a Hilbert space and let $E$ be a set of real numbers. From these data, we construct an operator $H_{E,e}$ and a positive operator-valued measure (POVM) $F_{E,e}$. This paper investigates in detail the relationship between the operator $H_{E, e}$ and the POVM $F_{E,e}$. Our results extend the classical correspondence between a self-adjoint operator generated by an orthonormal basis and its associated projection-valued (spectral) measure.

Operators and POVMs generated by Parseval frames

TL;DR

The paper broadens the classical link between a self-adjoint operator and its spectral measure by studying operators and POVMs generated by Parseval frames. Through Naimark dilation, it associates a symmetric, and in favorable cases self-adjoint, operator to the POVM , and analyzes how the spectra and relate. It provides a comprehensive framework for when commutative POVMs admit sharp versions and how joint measurability arises for POVMs built from Parseval frames. The two detailed families of examples—Mercedes-type frames and frames from conference matrices—yield explicit polynomial or determinant-characterized eigenvalue relations that connect the quantum spectrum with the classical data . Overall, the work advances frame-based quantization and measurement theory by clarifying the spectral interplay between POVMs and their associated operators and by offering concrete, computable spectral formulas in key frame classes.

Abstract

Let be a Parseval frame in a Hilbert space and let be a set of real numbers. From these data, we construct an operator and a positive operator-valued measure (POVM) . This paper investigates in detail the relationship between the operator and the POVM . Our results extend the classical correspondence between a self-adjoint operator generated by an orthonormal basis and its associated projection-valued (spectral) measure.
Paper Structure (17 sections, 11 theorems, 88 equations)

This paper contains 17 sections, 11 theorems, 88 equations.

Table of Contents

  1. Introduction
  2. Preliminary definitions and results
  3. Frames
  4. Positive operator valued measure
  5. POVMs generated by Parseval frames
  6. Definition and elementary properties
  7. Commutative POVM
  8. Jointly measurable POVMs
  9. Operators generated by Parseval frames
  10. POVM and associated operators
  11. $\sigma(F_ {{\sf E}, e})$ vs. $\sigma(H_{{\sf E},e})$: what they share and how they differ
  12. Examples
  13. Mercedes-type Parseval frames
  14. Parseval frames arising from conference matrices
  15. Appendix
  16. ...and 2 more sections

Key Result

Theorem 1

Let ${\cal F}_e=\{e_j\}_{j\in\mathbb{J}}$ be a Parseval frame in a Hilbert space $\mathcal{H}$. Then there exist a Hilbert space ${\cal M}$ and a Parseval frame ${\cal F}_{m}=\{m_j\}_{j\in\mathbb{J}}$ in ${\cal M}$ such that the set of vectors is an orthonormal basis of ${\cal H}^+=\mathcal{H}\oplus{\cal M}$. The excess ${\bf e}[{\cal F}_e]$ of ${\cal F}_e$ coincides with the dimension of the Hil

Theorems & Definitions (16)

  • Theorem 1
  • Theorem 2
  • Corollary 3
  • Example 4
  • Proposition 5
  • Example 6
  • Example 7
  • Theorem 8
  • Remark 9
  • Theorem 10
  • ...and 6 more