---
title: 'Frame Measure Function: Concepts & Applications'
url: https://www.emergentmind.com/topics/frame-measure-function
type: topic
---

# Frame Measure Function: Concepts & Applications

In the literature represented here, the term **frame measure function** is used in several related ways rather than as a single universal definition. In reproducing-kernel Hilbert spaces it denotes the Balan–Landau ultrafilter average
\[
m_\omega(\mathcal F)=\omega\!-\!\lim_{r\to\infty}\frac1{\#(\Lambda\cap B_r)}
\sum_{\lambda\in\Lambda\cap B_r}\langle k_\lambda,\widetilde k_\lambda\rangle
\]
for a frame \(\mathcal F=\{k_\lambda:\lambda\in\Lambda\}\), together with the extremal limits \(M^-(\mathcal F)\) and \(M^+(\mathcal F)\) [2509.11887]. In the Parseval-frame generalization of Gleason theory, it is “nothing but the mapping” \(\Phi=\{\phi_i\}\mapsto \sum_i f(\phi_i)=\operatorname{tr}A\) when \(f(x)=\langle Ax,x\rangle\) [2001.06738]. In control-theoretic frame analysis, it denotes a scale-invariant measure of tightness of the frame generated by the reachability or controllability data, such as \(\operatorname{tr}(W^2)/(\operatorname{tr}W)^2\) or the equivalent form \(\operatorname{tr}(W_c(T))/\sqrt{\operatorname{tr}(W_c(T)^2)}\) [1703.07539][1902.04548]. This suggests a common role: assigning a scalar quantity to a frame-like structure in order to quantify redundancy, tightness, or measurement consistency.

## 1. Frame measures as the ambient concept

A principal background notion is the **frame measure** for function spaces defined by a measure \(\mu\). For a finite Borel measure \(\mu\) on \(\mathbb R^d\), conjugate exponents \(p,q\), and \(f\in L^p(\mu)\), a Borel measure \(\nu\) is a \((p,q)\)-frame measure if there are constants \(0<A\le B<\infty\) such that
\[
A\|f\|_{L^p(\mu)}^q
\le
\int_{\mathbb R^d}\bigl|\widehat{f\,d\mu}(t)\bigr|^q\,d\nu(t)
\le
B\|f\|_{L^p(\mu)}^q.
\]
If \(A=B\), \(\nu\) is tight; if \(A=B=1\), it is a \((p,q)\)-Plancherel measure. In the Hilbert case \(p=q=2\), this is exactly the usual definition of a frame measure in \(L^2(\mu)\) [1902.06434].

The same scheme extends to locally compact abelian groups. If \(G\) is an LCA group, \(\mu\) is a finite positive Borel measure on \(G\), and \(\nu\) is a Borel measure on the dual group \(\widehat G\), then \(\nu\) is a \((p,q)\)-frame measure when
\[
A^q\|f\|_{L^p(\mu)}^q
\le
\int_{\widehat G}\bigl|\widehat f\,d\mu(\omega)\bigr|^q\,d\nu(\omega)
\le
B^q\|f\|_{L^p(\mu)}^q
\quad \forall f\in L^p(\mu),
\]
equivalently when the analysis map \(U_{p,q}:f\mapsto \widehat f\,d\mu\) is bounded with closed range and bounded inverse on its range [2103.14993].

Several structural facts delimit this setting. Every finite Borel measure \(\nu\) is a \((p,q)\)-Bessel measure for any finite \(\mu\), so the family of upper-bound-only measures is very large [1902.06434]. By contrast, genuine frame measures are constrained: any \((p,q)\)-frame measure \(\nu\) must be \(\sigma\)-finite, and on LCA groups the existence of a \((p,q)\)-frame measure forces a strong uniformity condition on \(\mu\), namely that its density be essentially bounded above and below on its support [1902.06434][2103.14993]. The LCA-group theory also identifies an obstruction: if \(\mu\) and \(\lambda\) are non-atomic probability measures whose supports form a packing pair, then \(\mu*\lambda+\delta_g*\mu\) admits no \((p,q)\)-frame measure for any \(1<p,q<\infty\) [2103.14993].

This ambient theory places frame measure functions in a broader analytical context. A plausible implication is that many scalar “frame measure functions” are best viewed not as standalone objects, but as summaries of how a frame interacts with an analysis operator, a dual frame, or a Fourier transform inequality.

## 2. Parseval frames, Gleason functions, and POVMs

For a finite sequence \(\Phi=\{\phi_1,\dots,\phi_N\}\subset\mathcal H\), the Parseval condition
\[
\sum_{i=1}^N |\langle x,\phi_i\rangle|^2=\|x\|^2
\]
for every \(x\in\mathcal H\) is equivalent to
\[
\sum_{i=1}^N \nabla_i=I_{\mathcal H},
\qquad
\nabla_i:=\phi_i\phi_i^*.
\]
Since each \(\nabla_i\ge0\), the family \(\{\nabla_i\}\) is exactly a finite positive-operator-valued measure on \(\{1,\dots,N\}\) [2001.06738].

Within this framework, a **Gleason function of weight \(W\) for \(N\)-element Parseval frames** is a function \(f:B^d\to\mathbb R\) or \(\mathbb C\) such that
\[
\sum_{i=1}^N f(\phi_i)=W
\]
for every Parseval frame \(\Phi=\{\phi_i\}_{i=1}^N\). The central theorem states that if \(d\ge3\) and \(f\) is bounded, or non-negative, or continuous, and is a Gleason function of weight \(W\) for all finite Parseval frames in \(\mathbb R^d\) or \(\mathbb C^d\), then there exists a unique self-adjoint operator \(A\) with \(\operatorname{tr}A=W\) such that
\[
f(x)=\langle Ax,x\rangle
\qquad \forall x\in B^d.
\]
Equivalently,
\[
\sum_{i=1}^N f(\phi_i)=\sum_{i=1}^N \langle A\phi_i,\phi_i\rangle=\operatorname{tr}A
\]
for every Parseval frame [2001.06738].

In this setting, the frame measure function is explicitly identified as
\[
\Phi=\{\phi_i\}\longmapsto \sum_i f(\phi_i)=\operatorname{tr}A.
\]
The same paper gives a quantum-measurement interpretation: for the rank-one POVM \(\{\phi_i\phi_i^*\}\), the associated probabilities are
\[
p_i=\langle A\phi_i,\phi_i\rangle
\]
and \(\sum_i p_i=\operatorname{tr}A\), which equals \(1\) when \(A\) is normalized [2001.06738].

A further structural issue concerns frame length. If \(\mathcal G_N\) denotes the bounded Gleason functions for \(N\)-element Parseval frames, then a trivial zero-padding argument gives \(\mathcal G_{N+1}\subseteq \mathcal G_N\), but bounded functions in \(\mathcal G_d\) need not extend to longer frames. The decisive result is that for \(N\ge d+2\), every bounded Gleason function for \(N\)-element Parseval frames extends, with weight shift \(f(0)\), to all \((N+1)\)-element Parseval frames, so \(\mathcal G_N=\mathcal G_{N+1}\) for all \(N\ge d+2\) [2001.06738]. The same mechanism weakens Busch’s finite-dimensional analog of Gleason’s theorem by replacing countable additivity with additivity on every \(N\)-element POVM for some \(N\ge d+2\) [2001.06738].

## 3. Control-theoretic frame measure functions

For the discrete-time LTI system
\[
x(t+1)=Ax(t)+Bu(t),
\]
the reachability matrix at horizon \(T\) is
\[
\mathcal C_T=[\,B\;|\;AB\;|\;A^2B\;|\;\dots\;|\;A^{T-1}B\,]\in\mathbb R^{n\times mT}.
\]
Its columns \(v_1,\dots,v_K\), with \(K=mT\), span the reachable subspace, so when \((A,B)\) is controllable and \(T\ge n\) they form a finite frame for \(\mathbb R^n\). The associated frame operator is the controllability Gramian
\[
G=\sum_{i=1}^K v_iv_i^\top=\mathcal C_T\mathcal C_T^\top
=\sum_{t=0}^{T-1}A^tBB^\top(A^\top)^t
=:W_{(A,B),T}.
\]
A frame is tight exactly when \(G=aI_n\), equivalently
\[
\sum_{i=1}^K \langle x,v_i\rangle^2=a\|x\|^2
\quad \forall x\in\mathbb R^n
\]
[1703.07539].

Three standard measures of quality are built from \(W\): \(\operatorname{tr}(W^{-1})\), \(\lambda_{\min}(W)^{-1}\), and \(\det(W)\). For vectors of fixed lengths \(\|v_i\|^2=\alpha_i\), each optimization attains its unique optimum exactly when
\[
G=\sum_{i=1}^K v_iv_i^\top=aI_n,
\qquad
a=\frac1n\sum_{i=1}^K \alpha_i,
\]
that is, exactly when the \(v_i\) form a tight frame [1703.07539].

The resulting frame-theoretic measure is the **normalized frame potential**
\[
\mathrm{MFP}(v_1,\dots,v_K)
=
\frac{\operatorname{tr}(G^2)}{(\operatorname{tr}G)^2}
=
\frac{\sum_{i,j}|\langle v_i,v_j\rangle|^2}{\left(\sum_i \|v_i\|^2\right)^2}.
\]
Its universal lower bound is
\[
\mathrm{MFP}(v_1,\dots,v_K)\ge \frac1n,
\]
with equality if and only if \(\{v_i\}\) is a tight frame. The **frame measure function** for the LTI system is then defined by
\[
\mathrm{MOQ}_{(A,B),T}
=
\mathrm{MFP}(v_1,\dots,v_{mT})
=
\frac{\operatorname{tr}(W^2)}{(\operatorname{tr}W)^2}.
\]
Moreover, if \(\mathrm{MOQ}_{(A,B),T}<1/(n-1)\), then the system is classically controllable [1703.07539].

For the continuous-time system
\[
\dot x(t)=Ax(t)+Bu(t),
\]
the endpoint map
\[
E_T(u)=\int_0^T e^{(T-t)A}Bu(t)\,dt
\]
sends an orthonormal basis \(\{\phi_i\}\) of the control space \(\mathcal U_T\) to a sequence \(v_i=E_T(\phi_i)\in\mathbb R^n\). The frame operator of \(\{v_i\}\) is exactly the controllability Gramian
\[
W_c(T)=\int_0^T e^{tA}BB^Te^{tA^T}\,dt,
\]
and \(\{v_i\}\) is a frame if and only if the system is controllable on \([0,T]\) [1902.04548].

The continuous-time paper prefers the equivalent tightness-based quantity
\[
\eta(A,B,T)=\frac{\operatorname{tr}(W_c(T))}{\sqrt{\operatorname{tr}(W_c(T)^2)}}.
\]
It satisfies \(\eta\le \sqrt n\), with equality if and only if \(W_c\propto I_n\), hence if and only if the frame is tight. It is homogeneous under \(B\mapsto \alpha B\), invariant under orthonormal similarity, and related to the normalized frame potential by
\[
\eta=\frac1{\sqrt{\mathrm{NFP}}}.
\]
If the reachable subspace has dimension \(r<n\), then \(\eta\le \sqrt r\); in particular, \(\eta>\sqrt{n-1}\) guarantees controllability [1902.04548].

## 4. Redundancy and the Balan–Landau frame-measure function

In reproducing-kernel Hilbert spaces on metric-measure spaces, the most literal use of the term **frame-measure function** is the Balan–Landau construction. Let \(\mathcal H\subset L^2(X,\mu)\) be a reproducing-kernel Hilbert space with kernels \(k_x\), let \(\Lambda\subset X\) be discrete, and assume \(\mathcal F=\{k_\lambda:\lambda\in\Lambda\}\) is a frame with canonical dual \(\{\widetilde k_\lambda\}\). Fixing a free ultrafilter \(\omega\) on \(\mathbb N\), the frame-measure function is
\[
m_\omega(\mathcal F)=\omega\!-\!\lim_{r\to\infty}
\frac1{\#(\Lambda\cap B_r)}
\sum_{\lambda\in\Lambda\cap B_r}\langle k_\lambda,\widetilde k_\lambda\rangle.
\]
The associated extremal quantities are
\[
M^-(\mathcal F)=
\liminf_{r\to\infty}\inf_{x\in X}
\frac1{\#(\Lambda\cap B_r(x))}
\sum_{\lambda\in\Lambda\cap B_r(x)}
\langle k_\lambda,\widetilde k_\lambda\rangle,
\]
\[
M^+(\mathcal F)=
\limsup_{r\to\infty}\sup_{x\in X}
\frac1{\#(\Lambda\cap B_r(x))}
\sum_{\lambda\in\Lambda\cap B_r(x)}
\langle k_\lambda,\widetilde k_\lambda\rangle,
\]
and these satisfy
\[
0\le M^-\le m_\omega\le M^+\le 1.
\]
The diagonal terms \(\langle k_\lambda,\widetilde k_\lambda\rangle\le1\) are averaged precisely to quantify infinite-frame redundancy [2509.11887].

The relevant density parameters are the Beurling densities
\[
D^-(\Lambda)=\liminf_{r\to\infty}\inf_{x\in X}
\frac{\#(\Lambda\cap B_r(x))}{\mu(B_r(x))},
\qquad
D^+(\Lambda)=\limsup_{r\to\infty}\sup_{x\in X}
\frac{\#(\Lambda\cap B_r(x))}{\mu(B_r(x))},
\]
and, when the kernel diagonal is not constant, the dimension-free densities
\[
D^-_0(\Lambda)=\liminf_{r\to\infty}\inf_{x\in X}
\frac{\#(\Lambda\cap B_r(x))}{\int_{B_r(x)}k(y,y)\,d\mu(y)},
\qquad
D^+_0(\Lambda)=\limsup_{r\to\infty}\sup_{x\in X}
\frac{\#(\Lambda\cap B_r(x))}{\int_{B_r(x)}k(y,y)\,d\mu(y)}.
\]
Under the standing assumptions of diagonal bounds, weak localization, and the homogeneous approximation property, the main theorem is
\[
M^-(\mathcal F)=\frac1{D^+_0(\Lambda)},
\qquad
M^+(\mathcal F)=\frac1{D^-_0(\Lambda)}.
\]
In particular,
\[
D^-_0(\Lambda)\ge 1,
\]
recovering the necessary lower density condition in this RKHS setting [2509.11887].

This identity turns the frame-measure function into a quantitative redundancy invariant. Defining
\[
\rho(\mathcal F):=\frac1{m_\omega(\mathcal F)}
\quad\text{or in practice } \frac1{M^-(\mathcal F)},
\]
one has \(\rho(\mathcal F)\ge1\), \(\rho(\mathcal F)=1\) if and only if \(\mathcal F\) is a Riesz basis, and if \(\mathcal F\) has density \(D^-_0(\Lambda)\), then \(\rho(\mathcal F)=D^-_0(\Lambda)\) [2509.11887]. The same paper proves a subframe theorem: if \(D^-_0(\Lambda)>1+\varepsilon\), then for every \(\delta>0\) there exists a subset \(\Gamma\subset\Lambda\) such that \(\{k_\gamma:\gamma\in\Gamma\}\) is still a frame and \(D^-_0(\Gamma)\le1+\delta\) [2509.11887].

The stated applications are to exponential frames on possibly unbounded spectra and to arbitrary nonlocalized Gabor frames. In both cases the conclusion is the existence of frames with lower density at most \(1+\varepsilon\), which the paper interprets as confirming that the Balan–Landau frame-measure function is a meaningful quantitative definition of redundancy for a large class of infinite frames [2509.11887].

## 5. Infinite-dimensional measure spaces and frame analysis

A different but closely related strand studies **frame measures** in infinite-dimensional Hilbert spaces. Let \(\mathcal H\) be an infinite-dimensional separable Hilbert space. A positive measure \(\mu\) on a measure space \((\Omega,\mathcal F)\) is a frame measure with bounds \(A,B\) if every \(x\in\mathcal H\) extends to a measurable function \(\omega\mapsto \langle x,\omega\rangle\) on \(\Omega\) and
\[
A\|x\|^2
\le
\int_\Omega |\langle x,\omega\rangle|^2\,d\mu(\omega)
\le
B\|x\|^2
\qquad \forall x\in\mathcal H.
\]
Equivalently, the analysis operator \(T:\mathcal H\to L^2(\Omega,\mu)\), \(Tx=(\omega\mapsto \langle x,\omega\rangle)\), satisfies
\[
AI_{\mathcal H}\le T^*T\le BI_{\mathcal H}.
\]
If \(A=B\), the measure is tight [1606.04866].

The crucial negative result is that, in infinite dimension, no finite Borel measure on \(\mathcal H\) itself can satisfy these inequalities. The remedy is to pass to a larger space via a Gelfand triple
\[
S\hookrightarrow \mathcal H\hookrightarrow S',
\]
with \(S'\) carrying the relevant \(\sigma\)-algebra. In the model construction \(S\subset \ell^2\subset S'\), Minlos’ theorem produces a unique centered Gaussian measure \(p\) on \(S'\) with characteristic functional
\[
\int_{S'} e^{i\langle x,\omega\rangle}\,dp(\omega)=e^{-\frac12\|x\|^2},
\]
and differentiation gives
\[
\int_{S'} |\langle x,\omega\rangle|^2\,dp(\omega)=\|x\|^2,
\]
so \(p\in FM_2(1,1)\) [1606.04866].

The same paper develops three principal classes: Gaussian frame measures, Markov path-space measures, and determinantal measures. Gaussian measures are parametrized by positive self-adjoint covariance operators \(C\) with \(AI\le C\le BI\), yielding
\[
\int |\langle x,\omega\rangle|^2\,dp_C(\omega)=\langle x,Cx\rangle\in [A,B]\|x\|^2.
\]
Markov path-space measures are built from a countable frame \(\{\phi_n\}\) by transition probabilities
\[
P(x,n)=\frac{|\langle x,\phi_n\rangle|^2}{c(x)},
\qquad
c(x)=\sum_m |\langle x,\phi_m\rangle|^2,
\]
on \(\Omega=\mathbb N^\mathbb N\). Determinantal measures arise from the Gram operator \(G\) of a frame with an upper bound, with finite-set weights \(\det G_J\) extending to a determinantal point process [1606.04866].

Although these constructions do not themselves define a frame measure function in the Balan–Landau sense, they show that measure-theoretic formulations of frame analysis persist beyond finite-dimensional or discrete settings. This suggests that scalar frame measure functions are one layer within a larger probabilistic and operator-theoretic framework.

## 6. Harmonic-analysis examples and fractal context

The harmonic-analysis theory of frame measures supplies many examples in which frame measure functions, redundancy functionals, or tightness measures become meaningful. For finite measures on \(\mathbb R^d\), the \((p,q)\)-theory produces explicit frame-measure examples: the Bernoulli measure
\[
\mu=\tfrac12(\delta_0+\delta_1)
\]
has \(\nu=\delta_0+\delta_1\) as a \((2,2)\)-Plancherel measure, and by interpolation this \(\nu\) is a tight \((p,q)\)-frame measure for every \(1\le p\le2\); for \(\mu=1_{[0,1]^d}\,dx\), the counting measure \(\sum_{n\in\mathbb Z^d}\delta_n\) is the classical Fourier-frame measure with \(A=B=1\), and again is a \((p,q)\)-frame measure for every \(1\le p\le2\) [1902.06434]. The same paper lists the \(1/4\)-Cantor measure and other spectral affine-IFS measures as further cases admitting infinite discrete \((p,q)\)-frame measures [1902.06434].

On LCA groups, the construction theory is stable under shifts, convolution, and \(L^\infty\)-reweighting. If \(\nu\) is a \((p,q)\)-frame measure for \(\mu\), then so is \(\nu*\sigma\) for any finite measure \(\sigma\) on \(\widehat G\); if \(d\mu=\omega(x)\,dx\) with \(0<m\le \omega(x)\le M<\infty\), then \(\nu\) is a \((p,q)\)-frame measure for \(\mu\) if and only if it is one for Lebesgue measure, with frame bounds \(m^{1-p}A\) and \(M^{1-p}B\) [2103.14993]. These permanence properties explain why scalar functionals attached to a frame or frame measure often emphasize invariance or normalization.

A particularly notable fractal result is the existence of a Fourier frame for the uniform middle-third Cantor measure. If \(\mu\) is any locally and uniformly \(\alpha\)-dimensional measure supported on an \(\alpha\)-quasi-regular set \(E\), then \(L^2(\mu)\) admits a frame of exponentials. In particular, for the uniform middle-third Cantor measure \(\mu_C\), there exists a countable set \(\Lambda\) such that \(\{e^{2\pi i t\lambda}\}_{\lambda\in\Lambda}\) is a frame for \(L^2(\mu_C)\), so \(\mu_C\) admits a generalized spectrum [1812.05708]. Within the present topic, this is significant because the existence of a frame is the prerequisite for any subsequent scalar quantification of redundancy, tightness, or measure assignment.

Taken together, these examples show that frame measure functions occur at the intersection of Fourier analysis, operator theory, quantum measurement, and control. The exact formula depends on the framework, but the recurring pattern is the reduction of a structured frame problem to a single scalar invariant that encodes how evenly, redundantly, or canonically the frame represents the underlying space.

Source: https://www.emergentmind.com/topics/frame-measure-function