Optimal properties of the canonical tight probabilistic frame

TL;DR

This paper demonstrates that the canonical Parseval probabilistic frame is the closest to a given probabilistic frame in the 2-Wasserstein distance, generalizing finite frame results to probabilistic frames.

Contribution

It proves the canonical Parseval probabilistic frame minimizes the 2-Wasserstein distance to any probabilistic frame, extending finite frame theory to probabilistic settings.

Findings

Canonical Parseval probabilistic frame is the closest in 2-Wasserstein distance.

Probabilistic frames can be approximated by finite frames with controlled bounds.

Continuity properties of the canonical frame mapping are established.

Abstract

A probabilistic frame is a Borel probability measure with finite second moment whose support spans $\mathbb{R}^d$. A Parseval probabilistic frame is one for which the associated matrix of the second moments is the identity matrix in $\mathbb{R}^d$. Each probabilistic frame is canonically associated to a Parseval probabilistic frame. In this paper, we show that this canonical Parseval probabilistic frame is the closest Parseval probabilistic frame to a given probabilistic frame in the $2-$Wasserstein distance. Our proof is based on two main ingredients. On the one hand, we show that a probabilistic frame can be approximated in the $2-$Wasserstein metric with (compactly supported) finite frames whose bounds can be controlled. On the other hand, we establish some fine continuity properties of the function that maps a probabilistic frame to its canonical Parseval probabilistic frame. Our results generalize similar ones for finite frames and their associated Parseval frames.