Abstract
For the Weyl-Heisenberg group, convolutions between functions and operators were defined by Werner as a part of a framework called quantum harmonic analysis. We show how recent results by Feichtinger can be used to extend this definition to include convolutions between measures and operators. Many properties of function-operator convolutions carry over to this setting and allow us to prove novel results on the distribution of eigenvalues of mixed-state Gabor multipliers and derive a version of the Berezin-Lieb inequality for lattices. New results on the continuity of Gabor multipliers with respect to lattice parameters, masks and windows as well as their ability to approximate localization operators are also derived using this framework.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In recent years the framework of quantum harmonic analysis, which was introduced by R. Werner in [36], has been successfully applied to many problems in time-frequency analysis and operator theory [18, 26, 28, 29]. The most central operations of the framework are the function-operator and operator-operator convolutions which generalize classical convolutions and basic objects in time-frequency analysis such as localization operators and Cohen’s class distributions. In this paper, we will be focusing on the extension of the function-operator convolution, defined for \(f \in L^1({\mathbb {R}}^{2d})\) and a trace-class operator S via the Bochner integral
where \(\pi (z)\psi (t) = M_\omega T_x \psi (t) = e^{2\pi i \omega \cdot t} \psi (t-x)\) is a time-frequency shift by \(z = (x,\omega ) \in {\mathbb {R}}^{2d}\).
For certain applications in time-frequency analysis, one would like to generalize this definition to the case of measures. We will show that it suffices to define this convolution \(\star \) for point-measures \(\delta _z\): Namely, \(\delta _z \star S = \pi (z)S\pi (z)^*\), in order to extend it to the general case, which is given weakly by
for S in the Schatten p-class of operators for \(1 \le p \le \infty \). Notably, this implies (1) when \(\mu \) is absolutely continuous with respect to Lebesgue measure.
Our definition of measure-operator convolution is based on the framework developed by Feichtinger in [12, 13], which allows us to avoid the use of Bochner integrals mentioned in [4] and thus several theorems from quantum harmonic analysis follow immediately from the construction, notably a version of Young’s theorem and the Fourier multiplication theorem.
With the relevant definitions and basic properties in place, we explore applications of measure-operator convolutions to the setting of lattices in Sect. 4 where we are able to recover classical results as well as new results on the eigenvalues of mixed-state Gabor multipliers and a version of the Berezin-Lieb inequality. Here we find that the correct setting for doing quantum harmonic analysis is requiring that the window operator S is compatible with the lattice \(\Lambda \) in the sense that
where \(Q_S\) is a Cohen’s class distribution. This setting was originally explored by Skrettingland in [34] but the above-mentioned results are novel as is the approach to interactions with measure-operator convolutions.
Finally, we treat the case of varying the lattice \(\Lambda \) in Sect. 4.5. In this setting, we are able to establish two notable results. First, we show that for a lattice \(\alpha {\mathbb {Z}}^d \times \beta {\mathbb {Z}}^d\), the associated (suitably normalized) Gabor multipliers approximate localization operators in the trace-class norm under some conditions on the mask. Moreover, we are also able to establish a result on how Gabor multipliers continuously depend on the lattice parameters, the mask and the windows provided the mask convergence is in the Wiener amalgam space \(W(C_0, \ell ^1)({\mathbb {R}}^{2d})\).
1.1 Notation:
For \(1 \le p \le \infty \), \({\mathcal {S}}^p\) denotes the Schatten p-class of operators on \(L^2({\mathbb {R}}^d)\) with singular values in \(\ell ^p\) where we use the convention that \({\mathcal {S}}^\infty = {\mathcal {L}}(L^2)\), the space of bounded linear operators on \(L^2({\mathbb {R}}^d)\). A check on an operator will denote conjugation by the parity operator \(P(\psi )(t) = \psi (-t)\), i.e., \({\check{T}} = PTP\), while for measures, \({\check{\mu }}(E) = \mu (-E)\) where \(-E = \{ -x : x \in E \}\). For a discrete set E, we will write |E| for its cardinality and for a non-discrete set we will use the same notation |E| for the Lebesgue measure. Given a set \(\Omega \subset {\mathbb {R}}^{2d}\) and \(R \in {\mathbb {R}}\), we will write \(R\Omega \) for the dilated set \(\{ R\omega : \omega \in \Omega \}\), \(\Omega ^c\) for the complement \({\mathbb {R}}^{2d} \setminus \Omega \) and \(\chi _\Omega \) for the indicator function of the set \(\Omega \). Norms \(\Vert \cdot \Vert \) and inner products \(\langle \cdot , \cdot \rangle \) without subscripts will always be understood to be the ones for \(L^2({\mathbb {R}}^d)\). The rank-one operator \(\psi \otimes \phi \) is defined as \((\psi \otimes \phi ) (f) = \langle f, \phi \rangle \psi \), for \(\phi ,\psi , f \in L^2({\mathbb {R}}^d)\).
2 Preliminaries
In this section we go over the relevant preliminaries on time-frequency analysis and quantum harmonic analysis which should be well-known to readers familiar with other works on quantum harmonic analysis such as [26, 28, 29, 33]. The last subsection, Sect. 2.4 is solely based on the two papers [12, 13] by Feichtinger and the results are later used extensively in defining measure-operator convolutions in Sect. 3.
2.1 Time-frequency analysis
We briefly introduce some of the main concepts of time-frequency analysis which will be used in Sect. 4. For a more thorough introduction, the reader is referred to [20].
2.1.1 The short-time Fourier transform
Given a signal \(\psi \in L^2({\mathbb {R}}^d)\) and a window \(\varphi \in L^2({\mathbb {R}}^d)\), the short-time Fourier transform (STFT) of \(\psi \) with respect to \(\varphi \) is defined on \({\mathbb {R}}^{2d}\)
The interpretation is that \(V_\varphi \psi (z)\) measures the time-frequency content of \(\psi \) at \(z = (x,\omega )\) where x is the time and \(\omega \) is the frequency.
The classical Moyal’s identity shows how the STFT respects inner products and the \(L^2\) energy of its constituents as
Lastly we mention that the squared modulus of the STFT, \(|V_\varphi \psi |^2\), referred to as the spectrogram, is a real-valued byproduct of the STFT which is often used in applications and is an example of a quadratic time-frequency distribution.
2.1.2 Cohen’s class of quadratic time-frequency distributions
There is a large collection of different quadratic time-frequency distributions and those which satisfy some basic desirable properties can be characterized as being of the form
where W is the (cross) Wigner distribution and \(\Phi \) is a tempered distribution. Such bilinear distributions are said to belong to Cohen’s class of quadratic time-frequency distributions.
2.1.3 Localization operators
A non-trivial consequence of Moyal’s identity (2) is that any function \(\psi \in L^2({\mathbb {R}}^d)\) can be reconstructed from its STFT \(V_\varphi \psi \) as a weak integral:
Localization operators weight this reconstruction by some function \(m: {\mathbb {R}}^{2d} \rightarrow {\mathbb {C}}\), sometimes taken to be an indicator function, as
and we write \(A_{\chi _\Omega }^\varphi = A_\Omega ^\varphi \) when \(m = \chi _\Omega \). The interpretation is that \(A_m^\varphi \psi \) should be approximately concentrated in \({\text {supp}}(m)\) in phase space. These operators have been extensively studied due to applications in physics, signal processing and the theory of pseudodifferential operators [19, 21, 35] and were first introduced in this form by I. Daubechies in [6].
2.1.4 Gabor frames
In applications, instead of considering the continuous function \(V_\varphi \psi \) on \({\mathbb {R}}^{2d}\) we often use the discrete analogue \((V_\varphi \psi (\lambda ))_{\lambda \in \Lambda }\) where \(\Lambda \) is a lattice on \({\mathbb {R}}^{2d}\), i.e., \(\Lambda = A{\mathbb {Z}}^{2d}, A \in GL(2d, {\mathbb {R}})\). This makes computations feasible but we lose a few of the nice results we have established in the continuous setting. Of course, we want as many properties as possible to carry over from the continuous case to this setting. It turns out that the correct requirement for this is the frame condition:
where A and B are finite real constants. If (5) holds, the collection \(\{ \pi (\lambda )\varphi \}_{\lambda \in \Lambda }\) is said to be a Gabor frame with frame bounds A, B. Important special cases are tight frames, meaning that \(A = B\), or equivalently that the frame operator, i.e. the mapping
is a scalar multiple of the identity, analogous to the reconstruction formula (3) in the continuous case.
2.1.5 Gabor multipliers
As for localization operators, (6) suggests inserting weights before reconstruction in the tight case. More generally, if the frame condition (5) is satisfied, there exists a dual window \(\gamma \) such that we have a reconstruction of \(\psi \) using an unconditionally convergent series expansion in \( L^2({\mathbb {R}}^{d})\):
Gabor multipliers can then be defined with the help of a mask or (upper) symbol, i.e., a weight function \(m: \Lambda \rightarrow {\mathbb {C}}\), as follows
2.1.6 Wiener amalgam spaces and bounded uniform partitions of unity
In order to describe the global behavior of a local property of a function Wiener amalgam spaces [8, 9, 22] are a natural choice. For \(1 \le p,q < \infty \) the original construction on \({\mathbb {R}}\) selects measurable functions such that the following norm is finite:
Here p controls the local behavior of the function while q controls global summability. There are many generalizations of Wiener amalgam spaces. We will make use of the characterization of these space (on \({\mathbb {R}}^{2d}\)) using bounded uniform partitions of unity (BUPU’s). Given an index set I, a BUPU is a collection of (continuous) functions \(\Psi = \{ \psi _i \}_{i \in I}\) such that
-
(i)
\(\sum _{i \in I} \psi _i(x)= 1, \quad x \in {\mathbb {R}}^{2d}\),
-
(ii)
\(\sup _{i \in I} \Vert \psi _i \Vert _{L^\infty } < \infty \),
-
(iii)
There exists a compact set \(U \subset {\mathbb {R}}^{2d}\) with nonempty interior and points \(z_i\) such that \({\text {supp}}(\psi _i) \subset U + z_i\) for all \(i \in I\),
-
(iv)
For each compact \(K \subset {\mathbb {R}}^{2d}\),
$$\begin{aligned} \sup _{i \in I} \big |\big \{ j \in I: K + z_i \cap K + z_j \ne \emptyset \big \}\big | < \infty , \end{aligned}$$this is sometimes called the bounded overlap property.
A trivial construction of a BUPU is the collection of indicator functions of translated fundamental domains of a lattice \(\Lambda = \alpha {\mathbb {Z}}^d \times \beta {\mathbb {Z}}^d\), \(\psi _{n,k} = \chi _{[\alpha n, \alpha (n+1)) \times [\beta k, \beta (k+1))}\) or better more intricate constructions with continuous or smooth functions, e.g. B-splines.
For our generalization of the Wiener amalgam spaces considered above, we will consider functions on \({\mathbb {R}}^{2d}\) which are locally in some Banach space \((B,\Vert .\Vert _B)\). The norm can then be written as
A central property of these norms to be used later is the fact that different BUPU’s \(\Psi \) give equivalent norms, [22]. For \(p= \infty \) obvious modifications to (7) apply.
2.2 Operator theory
The main tool from operator theory will be the singular value decomposition of a compact operator A, which can be written as
where \(\{ \psi _n \}_n\) and \(\{ \phi _n \}_n\) are orthonormal sequences in \(L^2({\mathbb {R}}^d)\) and \((s_n(A))_n\) is a sequence of non-negative, decreasing numbers, the singular values, converging to zero. When the operator A is self-adjoint, we can take \(\phi _n = \psi _n\) and the singular values are the eigenvalues of A (up to a sign). Otherwise they are just the eigenvalues of the positive operator \(|A| = \sqrt{A^*A}\).
The Schatten p-class of operators for \(p < \infty \) is the Banach space of compact operators with singular values in \(\ell ^p\). In many ways these spaces behave as the \(L^p\) spaces with the trace, defined as \({\text {tr}}(A) = \sum _n \langle Ae_n, e_n\rangle \) for some orthonormal basis \(\{ e_n \}_n\) of \(L^2({\mathbb {R}}^d)\), replacing the integral so that \(\Vert A \Vert _{{\mathcal {S}}^p} = {\text {tr}}(|A|^p)^{1/p}\). These norms are monotonic in p in the sense that if \(1 \le p \le p' \le \infty \),
The cases \(p=1,2\) are of special relevance with the \({\mathcal {S}}^1\) operators being referred to as trace-class and \({\mathcal {S}}^2\) being the Hilbert-Schmidt operators. The \({\mathcal {S}}^p\) - \({\mathcal {S}}^q\) (sesquilinear) duality brackets for the Schatten classes may be given by
For more on this class of operators, see [31]. By this duality the bounded linear operators form the dual space to \({\mathcal {S}}^1\).
2.3 Quantum harmonic analysis
In this section we recall some classical properties of quantum harmonic analysis without proofs so that they can be compared to the corresponding results for measure-operator convolutions. The reader familiar with quantum harmonic analysis can safely skip over this section. For proofs, see [26, 36].
2.3.1 Operator convolutions
A central idea in quantum harmonic analysis is that just as functions can be moved around using translations \(T_x\), so can operators in phase space using a representation \(\pi \), via the operator translation:
Together with the idea that traces are the proper substitute for integrals in \({\mathcal {S}}^p\), this leads to the following definition of function-operator and operator-operator convolutions which form the key ingredients of QHA as introduced by R. Werner:
Note in particular that \(f \star S\) is an operator on \(L^2({\mathbb {R}}^d)\) while \(T \star S\) is a function on \({\mathbb {R}}^{2d}\). We also define convolutions between an operator and a function as \(S \star f := f \star S\). Below we collect some properties of these convolutions and later show how they relate to time-frequency analysis in Sects. 2.3.3 and 2.3.4.
Proposition 2.1
Let \(f,g \in L^1({\mathbb {R}}^{2d}),\, S \in {\mathcal {S}}^p,\, T \in {\mathcal {S}}^q\) for \(1 \le p,q, r \le \infty \) with \(\frac{1}{p} + \frac{1}{q} = 1 + \frac{1}{r}\) and R be a compact operator, then
-
(i)
\(f \star S\) is positive if f is non-negative and S is positive,
-
(ii)
\(T \star S\) is non-negative if T and S are positive,
-
(iii)
\({\text {tr}}(f \star S) = {\text {tr}}(S) \int _{{\mathbb {R}}^{2d}} f(z)\,dz\) for \(p=1\),
-
(iv)
\((f \star S)^* = {\bar{f}} \star S^*\),
-
(v)
\((f \star S) \star T = f * (S \star T)\),
-
(vi)
\((f * g) \star S = f \star (g \star S)\),
-
(vii)
\(f \star R\) is compact,
-
(viii)
\(\Vert f \star S \Vert _{{\mathcal {S}}^p} \le \Vert f \Vert _{L^1} \Vert S \Vert _{{\mathcal {S}}^p}\),
-
(ix)
\(\Vert T \star S \Vert _{L^r} \le \Vert S \Vert _{{\mathcal {S}}^p} \Vert T \Vert _{{\mathcal {S}}^q}\),
-
(x)
\(\int _{{\mathbb {R}}^{2d}} T \star S(z)\,dz = {\text {tr}}(T){\text {tr}}(S)\) if \(p=q=1\).
We also mention that both convolutions are commutative, function-operator convolutions by definition while for operator-operator convolutions this can be manually verified.
2.3.2 Fourier transforms
There is also an associated Fourier transform for operators, the Fourier-Wigner transform, which generalizes the classical convolutions theorem in two different ways. It is defined for \(S \in {\mathcal {S}}^1\) as a function on \({\mathbb {R}}^{2d}\) given by
where \(z = (x, \omega )\). The terminology comes from Folland [16] but was first used for operators by Werner in [36] and has since been used extensively in quantum harmonic analysis [26, 29].
Before stating the convolution theorems, we also need to introduce the symplectic Fourier transform which is essentially a rotated Fourier transform on \({\mathbb {R}}^{2d}\), defined as
where \(z = (x,\omega ),\, z' = (x', \omega ')\) and \(\sigma (z,z') = \omega x' - \omega ' x\) is the standard symplectic form. With this, we have all the notation we need for the convolution theorem in place.
Proposition 2.2
Let \(f \in L^1({\mathbb {R}}^{2d})\) and \(S, T \in {\mathcal {S}}^1\), then
2.3.3 Cohen’s class distributions
In [27], the Cohen’s class distributions discussed in Sect. 2.1.2 above were characterized as the bilinear maps \(Q: L^2({\mathbb {R}}^d) \times L^2({\mathbb {R}}^d) \rightarrow L^\infty ({\mathbb {R}}^{2d})\) such that \(Q = Q_S\) for some \(S \in {\mathcal {L}}(L^2({\mathbb {R}}^d))\) where
Moreover, when S is positive and trace-class, we can expand S in its singular value decomposition as \(S = \sum _n \lambda _n (\varphi _n \otimes \varphi _n)\) and write
by [27, Theorem 7.6].
We also mention that there is a reconstruction of identity related to Cohen’s class distributions which generalizes (3), first shown in [36, Proposition 3.2 (3)]. It states that if S is trace-class with \({\text {tr}}(S) = 1\),
which in particular implies that \(1 \star S = {\text {tr}}(S) I_{L^2}\).
2.3.4 Mixed-state localization operators
Inspired by the identity (12) and the fact that the case where S is a rank-one operator precisely corresponds to classical localization operators \(A_m^\varphi = m \star (\varphi \otimes \varphi )\), mixed-state localization operators were introduced in [27]. These correspond to letting S be an arbitrary trace-class operator, i.e., an operator of the form \(f \star S\). The terminology is borrowed from physics where each rank-one term in the singular value decomposition of a trace-class operators can be seen as a pure state while a general trace-class operator corresponds to a mixing of these states.
2.4 A functional-analytic approach to convolutions
In the interest of completeness, we recall the key definitions and theorems from [12, 13] which we later use to set up measure-operator convolutions and deduce their elementary properties. For the necessary background on group representations, we refer to the book by Folland [17].
We first go through the results in [13], starting with some relevant definitions.
Definition 2.3
A mapping \(\rho : G \rightarrow {\mathcal {L}}(B)\) is called an isometric representation of a group G on a Banach space B if the mapping \(\rho \) is linear, preserves identities, is a group homomorphism, i.e., satisfies
and if each of the operators are isometric on B meaning that
Moreover, if the mapping \(x \mapsto \rho (x)S\) is continuous from G to B in the sense that
we say that the representation \(\rho \) is strongly continuous.
In [30], pairings \((B, \rho )\) are called abstract homogeneous Banach spaces. The usual homogeneous Banach spaces are Banach spaces of locally integrable functions endowed with the regular representation (by translations). For us, B will be the space of trace-class operatos \({\mathcal {S}}^1\) and \(\rho (z) = \alpha _z\) will be the operator translations (9).
We will use the notation \(\bullet _\rho : G \times B \rightarrow B\) for the action of the representation and also define the representation for point measures as
Recall that a Banach algebra is a Banach space \((A, \Vert \cdot \Vert _A)\) together with a continuous operation \(* : A \times A \rightarrow A\). We can endow a Banach algebra with the following additional structure.
Definition 2.4
A Banach space \((B, \Vert \cdot \Vert _B)\) is a Banach module over a Banach algebra \((A, *, \Vert \cdot \Vert _A)\) if one has a mapping \((a, b) \mapsto a \bullet b\) from \(A \times B\) to B that is bilinear and associative, i.e.,
-
(i)
\(\Vert a \bullet b \Vert _B \le \Vert a \Vert _A \Vert b \Vert _B\),
-
(ii)
\(a_1 \bullet (a_2 \bullet b) = (a_1 * a_2) \bullet b\).
If moreover
the Banach module is said to be essential.
For us, the Banach algebra A will be the convolutions algebra of bounded measures later on.
We are now ready to state the main theorem we will use which is a reformulation of [13, Theorem 2]. In the sequel, M(G) denotes the space of bounded complex signed measures on the locally compact abelian group G with \(\Vert \mu \Vert _{M} = |\mu |(G)\), viewed as a Banach algebra with respect to convolution, see [12].
Theorem 2.5
Let \({(B,\Vert \cdot \Vert _B)}\) be a Banach space and \(\rho \) a strongly continuous and isometric representation of a locally compact abelian group G. Then B is a Banach module over the Banach algebra \((M(G), \Vert \cdot \Vert _M)\) with respect to a mapping \(\bullet _\rho : (\mu , S) \mapsto \mu \bullet _\rho S\) that extends the action of the discrete measure \(\delta _x \bullet _\rho S = \rho (x)S\) and satisfies the estimate
We interpret such a mapping \(\bullet _\rho \) as a (generalized) convolution between the measure \(\mu \) and the operator S.
Remark
By identifying \(L^1(G)\) with a closed subspace (ideal) of M(G), this also defines a convolution between functions and elements of B.
We moreover have a uniqueness theorem for this extension which is [13, Theorem 6].
Theorem 2.6
Let \({(B,\Vert \cdot \Vert _B)}\) be a Banach space and \(\rho \) a strongly continuous and isometric representation of a locally compact abelian group G. Then there is a unique \(w^*\)-continuous (for bounded and tight families) extension of \(\bullet _\rho \) to \((M(G), \Vert \cdot \Vert _M)\), i.e., a bounded, bilinear mapping
which turns \((B, \Vert \cdot \Vert _B)\) into an essential \(L^1(G)\)-module.
The module action of \(L^1(G)\) is obtained by restriction of the action of M(G). Since \(L^1(G)\) does not contain a unit element in the non-discrete case it is interesting to observe that the module B is essential by the following corollary.
Corollary 2.7
([13, Corollary 1]) Given the situation in Theorem 2.5 and a bounded approximate unit \((g_\alpha )_{\alpha \in I}\) in \((L^1(G), \Vert \cdot \Vert _{L^1})\), we have that
For applications, we often want an explicit form of this convolution, which is going to be given in a weak formulation. In the original proof of Theorem 2.5, the convolution is defined as the limit
where \(\Psi \) is a BUPU of G, discussed in Sect. 2.1.6, and \(D_\Psi : \mu \mapsto \sum _{i\in I} \mu (\psi _i)\delta _{z_i}\) is a discretization operator. To compute it, we can use the following lemma which is specific to the Euclidean case.
Lemma 2.8
( [12, Lemma 7]) Let \(f \in C_0({\mathbb {R}}^{2d})\), then
Lastly we cover a theorem which we will use in Sect. 4.5, concerning the continuity of the action \(\bullet _\rho \). Its formulation is based on tight and bounded nets of measures \((\mu _\alpha )_{\alpha \in I} \subset M(G)\) indexed by some set I. We remind the reader that nets are a generalization of sequences and all relevant facts can be found in [13, Section 7]. When we say that a net is bounded we mean that it is bounded uniformly in the measure norm and tightness means that for any \(\varepsilon > 0\), we can find a function \(k \in C_c(G)\) such that \(\Vert \mu _\alpha - k \cdot \mu _\alpha \Vert _{M} < \varepsilon \) for all \(\alpha \in I\).
Theorem 2.9
([13, Theorem 5]) Let \(\rho \) be a strongly continuous, isometric representation of the locally compact group G on the Banach space \((B, \Vert \cdot \Vert _B)\) and \((\mu _\alpha )_{\alpha \in I}\) a bounded and tight net in \((M(G), \Vert \cdot \Vert _{M})\) with \(\mu _0 = w^*-\lim _{\alpha \rightarrow \infty } \mu _\alpha \). Then one has
3 Definition and properties of measure-operator convolutions
In this section we first show that the results recapitulated in Sect. 2.4 apply to measures on \({\mathbb {R}}^{2d}\) and the Schatten p-class of operators (for \(p < \infty \)) on \(L^2({\mathbb {R}}^d)\) and then deduce elementary properties of the resulting operators, mostly using Theorem 3.3 below giving the weak action of measure-operator convolutions.
3.1 Defining measure-operator convolutions for trace-class operators
Our main task in this section is to show that the assumptions of Theorem 2.5 are satisfied for the representation
of the time-frequency plane \({\mathbb {R}}^{2d}\) on the space of trace-class operators \({\mathcal {S}}^1\). In fact, we have
Lemma 3.1
The mapping \(\rho \) defined by (15) is a strongly continuous and isometric representation of \({\mathbb {R}}^{2d}\).
Proof
We first verify linearity, identity preservation and associativity of \(\rho \) as
The remaining continuity property follows from [3, Lemma 2.1]. \(\square \)
We now obtain the following corollary by applying Theorem 2.5 and Theorem 2.6.
Corollary 3.2
If we identify the map \(\bullet _\rho : {\mathbb {R}}^{2d} \times {\mathcal {S}}^1 \rightarrow {\mathcal {S}}^1,\, (z, S) \mapsto \pi (z) S \pi (z)^*\) with \((\delta _z, S) \mapsto \pi (z) S \pi (z)^*\), there exists an extension to \(M({\mathbb {R}}^{2d}) \times {\mathcal {S}}^1\) which satisfies
and makes \({\mathcal {S}}^1\) a Banach module over \(M({\mathbb {R}}^{2d})\). Moreover, this extension is unique among extensions which turn \({\mathcal {S}}^1\) into an essential \(L^1({\mathbb {R}}^{2d})\)-module upon embedding \(L^1({\mathbb {R}}^{2d})\) in \(M({\mathbb {R}}^{2d})\).
From here on we write \(\star \) for \(\bullet _\rho \) and call it the measure-operator convolution or function-operator convolution if the measure is absolutely continuous with respect to Lebesgue measure. We also make the definition \(S \star \mu := \mu \star S\) so that we can convolve with measures from both sides.
Next we show how we can get an explicit formula for the weak action of a measure-operator convolution. This is useful for computations and shows that our approach appropriately extends the function-operator convolutions of quantum harmonic analysis defined with Bochner integrals which can be found in [4, 26, 36].
Theorem 3.3
Let \(S \in {\mathcal {S}}^1\) and \(\mu \in M({\mathbb {R}}^{2d})\). Then
Proof
Firstly, \(\mu \star S\) is defined as the limit of a sequence of \({\mathcal {S}}^1\) operators which converge in the \({\mathcal {S}}^1\) norm by Theorem 2.5. In particular, they converge in the operator norm. Hence, using (14), we have
where we used Lemma 2.8 in the last step. To justify this we still need to show that \(\langle \pi (\cdot ) S \pi (\cdot )^* \psi , \phi \rangle \in C_0({\mathbb {R}}^{2d})\). The continuity follows from \(\pi \) being a representation and S being a bounded operator. For vanishing at infinity, by an application of Cauchy-Schwarz we deduce that it suffices to show that
Since S is a compact operator, this follows if we can show that \(\pi (z)^* \psi \) goes to zero weakly as \(z \rightarrow \infty \). This is equivalent to the STFT vanishing at infinity by
which is a well-known fact [20]. \(\square \)
3.2 Extending to the Schatten classes
Having defined measure-operator convolutions for trace-class operators, we wish to extend the definition to \({\mathcal {S}}^p\) for \(1 < p \le \infty \). The first step in this direction is defining \(\mu \star T\) for \(T \in {\mathcal {S}}^\infty \) using Schatten duality in a way that generalizes the function-operator case (see [36] and [26, Proposition 4.2]) as
Here S is taken to be in \({\mathcal {S}}^1\) and \(C_b({\mathbb {R}}^{2d})\) is the space of continuous bounded functions. The fact that the quantity in the right hand side is finite follows from that operator-operator convolutions map into \(C_b({\mathbb {R}}^{2d})\) [36]. To show that \(\mu \star T \in {\mathcal {S}}^\infty \), we estimate
where we used Proposition 2.1 (ix) for this last step. By a version of Riesz-Thorin interpolation for Schatten classes [31, Theorem 2.10], we immediately get the following result on the Schatten boundedness.
Proposition 3.4
Let \(\mu \in M({\mathbb {R}}^{2d})\) and \(S \in {\mathcal {S}}^p\) for \(1 \le p \le \infty \), then
We can also go further than this and extend the weak formulation from Theorem 3.3 to \({\mathcal {S}}^p\) for \(1 \le p < \infty \). The proof is a standard approximation argument but we write it out for completeness.
Corollary 3.5
Let \(S \in {\mathcal {S}}^p\) for \(1 \le p < \infty \) and \(\mu \in M({\mathbb {R}}^{2d})\), then
Proof
We approximate \(S \in {\mathcal {S}}^p\) by a sequence of finite rank operators \(S_N\) consisting of the first N terms of the spectral decomposition of S so that \(S_N \in {\mathcal {S}}^1\) and \(S_N \rightarrow S \in {\mathcal {S}}^p\) as \(N \rightarrow \infty \) since \(p < \infty \). In particular, \(S_N \rightarrow S\) in \({\mathcal {L}}(L^2)\) also in this case.
By Cauchy-Schwarz, \(\langle (\mu \star S) \psi , \phi \rangle \) exists and our goal is to show that it is equal to the integral in the formulation of the corollary. The first step in this direction is noting that \(\langle (\mu \star S_N) \psi , \phi \rangle \rightarrow \langle (\mu \star S) \psi , \phi \rangle \) as \(N \rightarrow \infty \) by Cauchy-Schwarz and the fact that \(S_N \rightarrow S\) in \({\mathcal {L}}(L^2)\). Next we use this to write
where used Theorem 3.3 for the inequality and moved the limit inside the integral using the dominated convergence theorem with dominating function \(2 \Vert S \Vert _{{\mathcal {L}}(L^2)} \Vert \psi \Vert _{L^2} \Vert \phi \Vert _{L^2}\) which is integrable by the boundedness of \(\mu \). From here our desired conclusion follows as the integrand can be seen to be zero upon employing Cauchy-Schwarz and using elementary properties of \(\pi \) as well as the fact that \(S_N \rightarrow S\) in \({\mathcal {L}}(L^2)\) as \(N \rightarrow \infty \). \(\square \)
Lastly for \(p=\infty \) we define the weak action \(\langle (\mu \star S) \psi , \phi \rangle \) to agree with the integral formulations in Theorem 3.3 and Corollary 3.5 since we cannot make a denseness argument. This is precisely what is done for function-operator convolutions in [26].
3.3 Properties of measure-operator convolutions
From the weak formulation of measure-operator convolutions in Corollary 3.5 and the extension to \(p = \infty \), we can deduce generalizations of many of the properties from Sect. 2. Specifically we are able to generalize relevant parts of Proposition 2.1.
Proposition 3.6
Let \(\mu \in M({\mathbb {R}}^{2d})\), \(S \in {\mathcal {S}}^p\), \(T \in {\mathcal {S}}^q\) for \(1 \le p \le \infty \) where \(\frac{1}{p} + \frac{1}{q} = 1\) and R be a compact operator. Then
- (i):
-
\(\mu \star S\) is positive if \(\mu \) and S are positive,
- (ii):
-
\((\mu \star S)^* = {\bar{\mu }} \star S^*\),
- (iii):
-
\((\mu \star S)\check{\,} = {\check{\mu }} \star {\check{S}}\),
- (iv):
-
\({\text {tr}}(\mu \star S) = \mu ({\mathbb {R}}^{2d}) {\text {tr}}(S)\) if \(p = 1\),
- (v):
-
\(\mu \star R\) is compact,
- (vi):
-
\((\mu \star S) \star T = \mu * (S \star T)\),
- (vii):
-
\((\mu * \nu ) \star S = \mu \star (\nu \star S)\).
Proof
Item (i): Using the weak formulation we verify
since the integral of a non-negative function with respect to a positive measure is non-negative.
Item (ii): We verify the relation weakly as
Item (iii): Using the same method we find
The calculation in the middle step is detailed in [32, Lemma 3.2 (5)].
Item (iv): We compute
where the use of Fubini is justified by \(\mu \in M({\mathbb {R}}^{2d})\) and [5, Proposition 18.9].
Item (v): Since R is compact, it is the limit in operator norm of a sequence of finite rank operators \((R_n)_n \subset {\mathcal {S}}^1\). For each n, \(\mu \star R_n\) is compact by Corollary 3.2, hence
where we used Proposition 3.4 with \(p = \infty \). We conclude that \(\mu \star R\) is the limit in operator norm of a sequence of compact operators and hence it too is compact.
Item (vi): We verify
where the use of Fubini is justified by Hölder’s inequality for the Schatten p-classes of operators.
Item (vii): For \(p=1\), this follows from the module structure of \({\mathcal {S}}^1\) over \(M({\mathbb {R}}^{2d})\) established in Theorem 2.5 while for \(1< p < \infty \) it follows by approximating S by finite rank operators as in the proof of Corollary 3.5. However for \(p = \infty \) we need to do the full calculation of looking at the weak action and expanding both sides. A quick calculation shows that both of these quantities are equal to
which yields the desired conclusion. \(\square \)
Next we show how the convolution property of the Fourier-Wigner transform from (11) carries over to the measure-operator convolution setting.
Proposition 3.7
Let \(\mu \in M({\mathbb {R}}^{2d})\) and \(S \in {\mathcal {S}}^1\), then
Proof
We follow the same arguments as Werner’s original proof in [36], assuming that \({\mathcal {F}}_W(S)\) is integrable, by first computing
where we used Theorem 3.3 to move to an integral formulation and justified the change of order of summation and integration by Fubini using the integrability of \({\mathcal {F}}_W(S)\). From here we use the relation \({\text {tr}}\big (\pi (-z)\pi (z') S \pi (z')^*\big ) = e^{-2\pi i \sigma (z, z')} {\text {tr}}(\pi (-z) S)\) which can be verified directly as is done in [26] to deduce
The case where \({\mathcal {F}}_W(S)\) is not integrable can now be deduced by density. \(\square \)
By specializing Theorem 2.9 to measure-operator convolutions, we obtain the following corollary.
Corollary 3.8
Let \((\mu _\alpha )_{\alpha \in I}\) be a bounded and tight net in \(M({\mathbb {R}}^{2d})\) with \(\mu _0 = w^*-\lim _{\alpha \rightarrow \infty } \mu _\alpha \), then
This is a non-trivial extension to the \(M({\mathbb {R}}^{2d})\) continuity of measure-operator convolutions of Corollary 3.2 which we will need in Sect. 4.5.
4 Applications to lattice convolutions
Much of applied harmonic analysis and time-frequency analysis is carried out on lattices. There is therefore inherent value in translating results to this setting. This was the aim of the recent paper [33] by Skrettingland, which introduced quantum harmonic analysis on lattices. Using our results on measure-operator convolutions, we can deduce several results from [33] immediately from Corollary 3.2.
Before diving into the full technical aspects of measure-operator convolutions, we clarify the links to [33] and [7] which explicitly and implicitly use lattice convolutions. Later we discuss a natural generalization of Gabor frames which sets the stage for a mixed-state analogue of Gabor multipliers that mirror the relation between localization operators and mixed-state localization operators. From this generalized notion of Gabor frames we are also able to deduce a version of the Berezin-Lieb inequality on lattices. Lastly we recall a result from [13] which will allow us to prove the promised result on approximating localization operators by Gabor multipliers and the continuity of Gabor multipliers in Sect. 4.5.
4.1 Generalities
In [33], lattice convolutions are defined between sequences \(c \in \ell ^1(\Lambda )\), where \(\Lambda \) is a lattice, and operators \(S \in {\mathcal {S}}^p\) as
Following standard terminology for the case of ordinary convolution, one could also call this a semi-discrete twisted convolution, or interpret it as the action of the discrete (here bounded) measure on the operators S via the (extended) version of the convolution. As sequences in \(\ell ^1(\Lambda )\) can be isometrically embedded in \(M({\mathbb {R}}^{2d})\) as discrete measures, we immediately get the bound
from Proposition 3.4. Other properties, such as the commutativity of measure-operator convolutions, allow us to recover results from [33] without much work.
Gabor multipliers and more generally mixed-state Gabor multipliers (following the terminology of [27]) are defined in [33] as \(\mu _c \star S\) and they appropriately generalize the classical notion of Gabor multipliers on lattices discussed in Sect. 2.1.4 in the case where S is rank-one. See also the early work [10] on this subject in the context of LCA groups.
In [7], quantum harmonic analysis is used to develop tools for investigating systems of functions. A central tool is the data operator \(S_{\mathcal {D}}\) associated to the (indexed) data set \({\mathcal {D}}= \{ f_n \}_n \) in \(L^2({\mathbb {R}}^d)\) given by
Motivated by the desire to increase the size of the data set for machine learning purposes, the \(\Omega \)-augmentation of \({\mathcal {D}}\) with respect to a compact set \(\Omega \subset {\mathbb {R}}^d\) is defined as
which leads to the augmented data operator
Real-world data augmentation in machine learning is of course based on discrete time-frequency shifts in (18) meaning that the set \(\Omega \) should be discrete. However, the formulation (19) is inherently continuous since we are integrating over \(\Omega \) and can only be realized as a classical function-operator convolution. To solve this problem, we can use measure-operator convolutions to define a version of (19) which works for discrete \(\Omega \) as
Not all results from [7] carry over directly to this discrete setting but we will treat one result on the eigenvalues of mixed-state Gabor multipliers in particular that [7] relies on, originally proved in [15] for Gabor multipliers. To do so, we merge the setup in [7] with the one in [33] and consider the set \(\Omega \) restricted to a lattice \(\Lambda \).
4.2 Mixed-state Gabor frames
In the same way that the frame condition (5) is what is needed to discretize the reconstruction formula (3), we will see that the reconstruction formula (12) only holds in the lattice setting when \((S, \Lambda )\) satisfies a version of the following condition, originally discussed in [34].
Definition 4.1
A pair \((S, \Lambda )\) where \(S \in {\mathcal {S}}^1\) is positive and \(\Lambda \) is a lattice in \({\mathbb {R}}^{2d}\) is said to be a mixed-state Gabor frame with frame constants A, B if
for some \(A, B > 0\). Moreover, if \(A = B\), the frame is said to be tight and the common quantity \(A= B\) is referred to as the frame constant.
Technically, if \(S = \sum _n s_n (\varphi _n \otimes \varphi _n)\), the above definition is equivalent to the collection \(\big \{ \sqrt{s_n}\pi (\lambda ) \varphi _n \big \}_{\lambda , n}\) being an (infinite) multi-window Gabor frame, introduced in [37]. This connection is made clear in the following example which shows how tight mixed-state Gabor frames can be constructed as linear combinations of tight Gabor frames.
Example 4.2
Let \(\Lambda \) be a lattice in \({\mathbb {R}}^{2d}\) and \((\varphi _n)_n\) in \(L^2({\mathbb {R}}^d)\) a collection of windows such that \((\varphi _n, \Lambda )\) is a tight frame with frame constant A for each n. Then if \((s_n)_n \in \ell ^1\) with \(s_n \ge 0\) so that
is a positive operator, the pair \((S, \Lambda )\) is a tight mixed-state Gabor frame with frame constant \(A \Vert s \Vert _{\ell ^1}\). Indeed, we verify
using the fact that \((\psi \otimes \psi ) \star (\varphi \otimes \varphi )\,\check{} = |V_\varphi \psi |^2\), the frame equality and Fubini for the change of order of summation.
Our concept of mixed-state Gabor frames can also be seen as a special case of Gabor g-frames, introduced in [34, Section 5]. More specifically, \((S, \Lambda )\) is a mixed-state Gabor frame if and only if \(\sqrt{S}\) generates a Gabor g-frame with respect to \(\Lambda \). As we will not need the full generality of Gabor g-frames in the following, we stick to the notation above when proving the promised reconstruction formula.
Proposition 4.3
Let \((S, \Lambda )\) be a tight mixed-state Gabor frame with frame constant A. We then have the reconstruction of the identity
Proof
We expand S in its singular value decomposition as \(S = \sum _n s_n (\varphi \otimes \varphi )\) with \(s_n \ge 0\) for all n by the positivity of S. The tightness of the mixed state Gabor frame can then be written more explicitly as
while (21) can be written as
Consider the linear mapping \(\Theta : L^2({\mathbb {R}}^d) \rightarrow \ell ^2(\Lambda \times {\mathbb {N}})\) given by
By (22), \(\Theta \) is an isometry and hence preserves inner products. We expand \(\psi \) in an orthonormal basis \((e_m)_m\) and use this as
which is precisely (23). \(\square \)
Remark
In the language of [34], the above proposition states that the pair \((\sqrt{S}, \sqrt{S})\) generate dual Gabor g-frames.
We can also deduce a lattice analogue of Proposition 2.1 (x) using the tight frame condition.
Proposition 4.4
Let \(T,S \in {\mathcal {S}}^1\) and \(\Lambda \) a lattice such that \(\big (\frac{S}{{\text {tr}}(S)}, \Lambda \big )\) is a tight mixed-state Gabor frame with frame constant 1. Then
Proof
Expand T in its singular value decomposition with orthonormal bases \((\xi _n)_n\) and \((\eta _n)_n\) of \(L^2({\mathbb {R}}^d)\) as \(T = \sum _n t_n (\xi _n \otimes \eta _n)\) and note that
To proceed, we need an analogue of the frame identity (20) for \(Q_S(\xi _n, \eta _n)\) which can be shown using a polarization argument. A straightforward calculation shows that
Hence by summing over all \(\lambda \in \Lambda \) on both sides, we obtain
We can now finish the computation as
\(\square \)
Next, we show how the frame properties of S are changed when we convolve it with a well-behaved measure. This generalizes the continuous property discussed in [28, Section 7.2].
Proposition 4.5
Let \((S, \Lambda )\) be a mixed-state Gabor frame with frame bounds A, B and \(\mu _c \in M({\mathbb {R}}^{2d})\) a discrete measure of the form \(\mu _c = \sum _{\lambda \in \Lambda } c(\lambda ) \delta _\lambda \) where \(c \in \ell ^1(\Lambda )\). Then \((\check{\mu _c} \star S, \Lambda )\) is also a mixed-state Gabor frame with frame bounds \(A \sum _{\lambda \in \Lambda } c(\lambda ), B\sum _{\lambda \in \Lambda } c(\lambda )\).
Proof
We compute the sum
where we used Proposition 3.6 (iii) for the first equality, Proposition 3.6 (vi) for the second and Fubini for the final. The desired conclusion now follows upon substituting into the frame condition (20). \(\square \)
4.3 Eigenvalues of mixed-state Gabor multipliers
Gabor multipliers or localization operators on lattices were first systematically investigated by Feichtinger and Nowak in [15] while the generalization of replacing the window by an operator was first discussed briefly in [33, Section 4.1] but never named nor investigated further. Following the terminology of [27], when we replace the window of a Gabor multiplier with a trace-class operator, we refer to the resulting operator as a mixed-state Gabor multiplier. We make this precise in the following definition.
Definition 4.6
Given a lattice \(\Lambda \subset {\mathbb {R}}^{2d}\), an operator \(S \in {\mathcal {L}}(L^2({\mathbb {R}}^d))\) and a compact subset \(\Omega \subset {\mathbb {R}}^{2d}\), we refer to the operator
as a mixed-state Gabor multiplier and write \(\mu _\Omega ^\Lambda = \sum _{\lambda \in \Lambda } \chi _\Omega (\lambda ) \delta _\lambda \) for the measure.
In light of the reconstruction formula in Proposition 4.3 above it makes sense that we will need to place similar conditions on S and \(\Lambda \) in order for mixed-state Gabor multipliers to be well behaved. We collect the properties we will need in the following definition.
Definition 4.7
Given a lattice \(\Lambda \), an operator \(S \in {\mathcal {L}}(L^2({\mathbb {R}}^d))\) is said to be a density operator with respect to \(\Lambda \) if S is positive, trace-class with \({\text {tr}}(S) = 1\) and such that \((S, \Lambda )\) is a tight mixed-state Gabor frame with frame constant 1.
Now we are ready to state our main theorem on the eigenvalues of mixed-state Gabor multipliers. It generalizes a result in [15] by a method similar to the way how the corresponding result for localization operators in [14] [28] was derived.
Theorem 4.8
Let S be a density operator with respect to \(\Lambda \), let \(\Omega \subset {\mathbb {R}}^{2d}\) be compact and fix \(\delta \in (0,1)\). If \(\{ \lambda _k^{R\Omega } \}\) are the eigenvalues of \(G_{R\Omega , \Lambda }^S\), then
In the pathological case where \((R\Omega )_{R > 0}\) does not exhaust \({\mathbb {R}}^{2d}\) (e.g. \(\Omega = \{ 0 \}\)), the result is not meaningful and we from here on assume that this is not the case.
Much of the proof and notation is analogous to that in [28] and before moving to the proof we state and prove some important lemmata.
Lemma 4.9
Let S be a density operator with respect to \(\Lambda \) and \(\Omega \subset {\mathbb {R}}^{2d}\) a compact domain. Then the eigenvalues \(\big \{ \lambda _k^\Omega \big \}_k\) of \(G_{\Omega , \Lambda }^S\) satisfy \(0 \le \lambda _k^\Omega \le 1\).
Proof
By the positivity of \(G_{\Omega , \Lambda }^S\) from Proposition 3.6 (i), the eigenvalues are non-negative and real-valued. For the upper bound we, let \(h_k^\Omega \) denote the eigenfunction associated to \(\lambda _k^\Omega \), then
\(\square \)
In the following, the function \({\tilde{S}} = S \star {\check{S}} : {\mathbb {R}}^{2d} \rightarrow {\mathbb {R}}\) will play an important role. We start by proving some of its properties.
Lemma 4.10
Let \(G_{\Omega , \Lambda }^S\) be a mixed-state Gabor multiplier. Then
Proof
Note first that \({\text {tr}}\big (\big (G_{\Omega , \Lambda }^S\big )^2\big ) = G_{\Omega , \Lambda }^S \star {\check{G}}_{\Omega ,\Lambda }^S(0)\) by (10) and hence by Proposition 3.6 (iii), Proposition 3.6 (iii) and the symmetry of \(\star \),
\(\square \)
Lemma 4.11
Let S be a density operator with respect to \(\Lambda \). Then \({\tilde{S}}\) is non-negative and
Proof
Non-negativity follows by Proposition 2.1 (ii) and the sum being one follows from \((S, \Lambda )\) being a tight mixed-state Gabor frame with frame constant 1 and \({\text {tr}}(S) = 1\) by Proposition 4.4. \(\square \)
Lemma 4.12
Let S be a density operator with respect to \(\Lambda \) and \(\big \{ \lambda _k^\Omega \big \}_k\) the eigenvalues of \(G_{\Omega , \Lambda }^S\) counted with multiplicity. Then
Proof
By a theorem of Lidskii [31], the sum of the eigenvalues counted with multiplicity is equal to the trace of the operator and so the result follows from Proposition 3.6 (iv). \(\square \)
The next lemma is our replacement for the approximation of the identity argument used in the corresponding proofs in [28] and [1].
Lemma 4.13
Let S be a density operator with respect to \(\Lambda \). Then
Proof
Fix \(\varepsilon > 0\) and note that since \(\sum _{\lambda \in \Lambda } {\tilde{S}}(\lambda ) = 1\), we can find a sufficiently large \(R_0\) so that
Note also that if \(\lambda \in (R-{\text {diam}}(R_0\Omega ))\Omega \cap \Lambda \) then
Now let \(R' = R-{\text {diam}}(R_0\Omega )\) and write
Since \(\frac{R'}{R} \rightarrow 1\) as \(R \rightarrow \infty \), the quantity can be made arbitrarily close to 1. Hence the desired conclusion follows. \(\square \)
Lemma 4.14
Let S be a density operator with respect to \(\Lambda \). Then for each \(\delta \in (0,1)\),
Proof
Define the operator \(H(G_{\Omega , \Lambda }^S)\) using the eigendecomposition \(G_{\Omega , \Lambda }^S = \sum _k \lambda _k^\Omega (h_k^\Omega \otimes h_k^\Omega )\) as
which is well defined since \(0 \le \lambda _k^\Omega \le 1\) by Lemma 4.9. From this it follows that
by Lemma 4.12 and the definition of H. Hence
The function H can be bounded as
and so it follows that
which can be written as in the original statement by Lemma 4.10. \(\square \)
We are now ready to finish the proof.
Proof of Theorem 4.8
Applying Lemma 4.14 to \(R\Omega \), we find
The desired conclusion then follows upon dividing by \(|R \Omega \cap \Lambda |\) and applying Lemma 4.13. \(\square \)
4.4 A Berezin-Lieb inequality on lattices
Berezin-Lieb inequalities have been investigated in [24, 25, 36] and recently used in [7] in the continuous setting. As discussed above, in applications we are more interested in lattice formulations which is why we present a version of the Berezin-Lieb inequality for measure-operator convolutions and operator-operator convolutions on lattices below.
Theorem 4.15
Let \(S \in {\mathcal {S}}^1\) be positive with \({\text {tr}}(S) = 1\) and \(\Lambda \) be a lattice such that \((S, \Lambda )\) is a mixed-state Gabor frame with upper frame constant B. If \(T \in {\mathcal {S}}^1\) is positive and \(\Phi \) is a non-negative, convex and continuous function on a domain containing the spectrum of T and the range of \(T \star {\check{S}}\), then
Similarly, if \(\mu _c = \sum _{\lambda \in \Lambda } c(\lambda ) \delta _\lambda \) is a positive bounded measure and \(\Phi \) a non-negative, convex and continuous function on a domain containing the spectrum of \(\mu _c \star S\) and the range of Bc restricted to \(\Lambda \), then
where we also have to assume that \(\Phi \) is non-decreasing if \((S, \Lambda )\) is not tight.
Proof
Using the singular value decomposition \(T = \sum _n t_n (\xi _n \otimes \xi _n)\), we find that
using Jensen’s inequality. Thus by summing over \(\Lambda \) we get
Next for the measure-operator convolution statement, note that by the positivity of \(\mu _c\) and S, \(\mu _c \star S\) is positive via Proposition 3.6 (i) and so we can write its singular value decomposition as \(\mu _c \star S = \sum _n \lambda _n (\xi _n \otimes \xi _n)\). Hence
where we used that \(\lambda _n = \langle (\mu _c \star S) \xi _n, \xi _n \rangle \). Next if \((S, \Lambda )\) is not a tight frame, we use that \(\Phi \) is non-decreasing to multiply the argument by \(\frac{B}{\sum _{\lambda \in \Lambda } Q_{{\check{S}}}(\xi _n)(\lambda )}\) which yields
where the last step follows by Jensen’s inequality. By switching the order of summation and using that \(\{ \pi (\lambda )^* \xi _n \}_n\) is an orthonormal basis of \(L^2({\mathbb {R}}^d)\) by the unitarity of \(\pi \), we deduce that the last quantity can be written as \(\sum _{\lambda \in \Lambda } \Phi (B c(\lambda ))\) which is what we wished to show. \(\square \)
4.5 Convergence of sequences of Gabor multipliers
In this section, we focus our attention on deducing the consequences of Corollary 3.8. We have already seen that measure-operator convolutions generalize both Gabor multipliers and localization operators and so our goal will be to apply the corollary to these settings. In Sects. 2 and 3, we have used the BUPU framework for the bounded and tight nets of measures but we will now turn our attention to the more explicit setting of parameterized lattices. More specifically, we will consider rectangular lattices \(\Lambda _{\alpha , \beta } = \alpha {\mathbb {Z}}^d \times \beta {\mathbb {Z}}^d \lhd {\mathbb {R}}^{2d}\) parameterized by \(\alpha , \beta > 0\). This setting is prevalent in applications and while our results can easily be extended to larger classes of lattices we settle for this setting in the interest of clarity.
Given such a rectangular parameterized lattice, we can define the discretization in measure form of a function \(m: {\mathbb {R}}^{2d} \rightarrow {\mathbb {C}}\) as
In order to apply Corollary 3.8, we will need to prove that the above measures are uniformly bounded in \(\alpha \) and \(\beta \). An important tool for this will be the following lemma.
Lemma 4.16
For any \(m \in W(L^\infty , \ell ^1)({\mathbb {R}}^{2d})\), we can choose \(\alpha _0, \beta _0\) such that
for all \(\alpha < \alpha _0\) and \(\beta < \beta _0\).
Proof
Each point in \(\Lambda _{\alpha , \beta }\) may be associated to a half-open square of the form \(Q_{n,k}^{\alpha _0, \beta _0} = \big [\alpha _0 n, \alpha _0 (n+1)\big ) \times \big [\beta _0 k, \beta _0(k+1)\big )\) as these cover \({\mathbb {R}}^{2d}\). We label these collections of points as \(P_{n,k} = \Lambda _{\alpha , \beta } \cap Q_{n,k}^{\alpha _0, \beta _0}\). It then holds that
Meanwhile, by the equivalence of norms on \(W(L^\infty , \ell ^1)({\mathbb {R}}^{2d})\) for different BUPU, we have that \(\Vert m \Vert _{W(L^\infty , \ell ^1)} \ge C(\alpha _0, \beta _0) \sum _{n,k} \Vert m \Vert _{L^\infty (Q_{n,k}^{\alpha _0, \beta _0})}\) and so our desired result will follow if we can show that
for some constant C. Indeed, each evaluation \(|m(\lambda )|\) for \(\lambda \in P_{n,k}\) is bounded from above by \(\Vert m \Vert _{L^\infty (Q_{n,k}^{\alpha _0, \beta _0})}\) because \(P_{n,k} \subset Q_{n,k}^{\alpha _0, \beta _0}\). Moreover, because \(\alpha< \alpha _0, \beta < \beta _0\), the quantity
is uniformly bounded, which finishes the proof. \(\square \)
4.5.1 Approximating localization operators
As a first application, we will show that the discretization (25) essentially approaches the original mask for our purposes, when the lattice scaling parameters tends to zero.
Theorem 4.17
Let \(m: {\mathbb {R}}^{2d} \rightarrow {\mathbb {C}}\) be a Riemann-integrable function in \(W(L^\infty , \ell ^1)({\mathbb {R}}^{2d})\) and S a trace-class operator. Then we have the convergence
Proof
As a first step we will show that m may be taken to have compact support without loss of generality. Fix \(\varepsilon > 0\) and let \(K \subset {\mathbb {R}}^{2d}\) be such that \(\Vert m \chi _{K^c}\Vert _{W(L^\infty , \ell ^1)} < \varepsilon \). We may then estimate
where we used Lemma 4.16 and the estimate of Proposition 3.4 twice. Since \(\varepsilon \) was arbitrary, we may now replace \(m \chi _K\) by m and assume that m has compact support.
To apply Corollary 3.8 to \(\Vert \mu _{\alpha , \beta }^m \star S - m \star S \Vert _{{\mathcal {S}}^1}\) and get the desired convergence, we need to show that \(\mu _{\alpha , \beta }^m \rightarrow m\) in the weak-* sense and that the sequence \(\big ( \mu _{\alpha , \beta }^m \big )_{\alpha , \beta }\) is bounded and tight. Boundedness follows directly from Lemma 4.16 while tightness follows from the compactness of the support of m established above.
The desired weak-* convergence can be formulated as that for any \(f \in C_b({\mathbb {R}}^{2d})\),
We claim that the left-hand side can be realized as a Riemann sum approximating the right hand side. Indeed, from the definition of \(\mu _{\alpha , \beta }^m\) we have that
and this sum goes over the rectangles \(\big [n\alpha , (n+1)\alpha \big ) \times \big [ k\beta , (k+1)\beta \big )\) which have area \(\alpha ^d \beta ^d\). Now since m is Riemann integrable and f is continuous and bounded and therefore uniformly bounded on the support of m, \(m \cdot f\) is also Riemann integrable and (26) converges to \(\int _{{\text {supp}}(m)} m(z)f(z)\,dz\) as promised. \(\square \)
As discussed in the preliminaries section, \(m \star S\) is a mixed-state localization operator. Moreover, convolving the discretized version of m with S essentially gives a mixed-state Gabor multiplier. To see this, we define Gabor multipliers \(G_{m, \alpha , \beta }^\varphi \) based on the lattice parameters as
Note that this definition differs from (24) used earlier, even when the convolution is with an arbitrary trace-class operator. The reason is that we incorporate the lattice normalization as we will take the mask to be constant and the lattice parameters to be varying.
By taking m to be Riemann integrable and in \(W(L^\infty , \ell ^1)({\mathbb {R}}^{2d})\), the rank-one case of Theorem 4.17 allows us to use the definition (27) and deduce that
since the localization operator \(A_m^\varphi \), from (4), can be written as \(A_m^\varphi = m \star (\varphi \otimes \varphi )\). Even more explicitly, we can formulate the following corollary when the mask is simply an indicator function.
Corollary 4.18
Let \(\Omega \subset {\mathbb {R}}^{2d}\) a compact Jordan measurable subset, \(\varphi \in L^2({\mathbb {R}}^d)\) and \(G_{m, \alpha , \beta }^\varphi \) as in (27). Then
The proof is essentially immediate upon noting that Jordan measurability of \(\Omega \) is equivalent to Riemann integrability of \(\chi _\Omega \) and that compact support implies \(\chi _\Omega \in W(L^\infty , \ell ^1)({\mathbb {R}}^{2d})\).
These results should be contrasted with those [15, Section 5.9] where localization operators are approximated by Gabor multipliers in the trace-class norm in a similar way. The largest difference is that our result is valid for arbitrary \(L^2\) windows (and of course also operator windows).
One consequence of this result is that (mixed-state) localization operators are dense in the space of localization operators. In [2], it was shown that localization operators with varying masks are dense in \({\mathcal {S}}^1\) as long as \(V_\varphi \varphi \ne 0\). The generalization of this to mixed-state localization operators was established in [23, 26] where the condition was replaced by \({\mathcal {F}}_W(S) \ne 0\). Combining these results, we can approximate arbitrary \({\mathcal {S}}^1\) operators as follows.
Corollary 4.19
For any trace-class operator S with \({\mathcal {F}}_W(S)\) free of zeros, the set
is dense in \({\mathcal {S}}^1\).
Proof
The result follows from [26, Theorem 7.6] and Theorem 4.17 upon noting that \(W(L^\infty , \ell ^1)({\mathbb {R}}^{2d})\) is dense in \(L^1({\mathbb {R}}^{2d})\). \(\square \)
4.5.2 Mask, lattice and window continuity
Next, we turn our attention to investigating how the mixed-state Gabor multipliers \(\mu _{\alpha ,\beta }^m \star S\) behave when varying the parameters. Results of this nature have been proved in [11, 15] but we will be able to prove stronger convergence under stricter conditions on the mask but weaker conditions on the window.
Theorem 4.20
Let \((\alpha _n)_n\) and \((\beta _n)_n\) be sequences converging to \(\alpha , \beta > 0\) respectively, \((m_n)_n\) a sequence in the Wiener amalgam space \(W(C_0, \ell ^1)({\mathbb {R}}^{d})\) converging to m in the corresponding norm and \((S_n)_n\) a sequence of trace-class operators converging to S in \({\mathcal {S}}^1\). Then for the associated mixed-state Gabor multipliers we have the convergence
Proof
To begin, we will need to prove that \(\big ( \mu _{\alpha _n, \beta _n}^{m_n} \big )_n\) is a tight and bounded sequence of measures. Boundedness follows from Lemma 4.16 as functions in \(W(C_0, \ell ^1)({\mathbb {R}}^{2d})\) clearly are Riemann integrable and in \(W(L^\infty , \ell ^1)({\mathbb {R}}^{2d})\) and we can bound \(\Vert m_n \Vert _{W(L^\infty , \ell ^1)}\) from above uniformly since \((m_n)_n\) converges in this space. For tightness, we again use Lemma 4.16 to relate the \(M({\mathbb {R}}^{2d})\) and \(W(C_0, \ell ^1)({\mathbb {R}}^{2d})\) norms and use that for any set K, the sequence \(\big (m_n\big |_{K^c}\big )_n\) converges in \(W(C_0, \ell ^1)({\mathbb {R}}^{2d})\) which can be made arbitrarily small by letting K be large due to the finiteness of \(\Vert m \Vert _{W(C_0, \ell ^1)}\).
With verification out of the way, we next show that we can treat the convergence of \((S_n)_n\) separately. Indeed, by the triangle inequality
Expanding the first term as \(\big \Vert \mu _{\alpha _n, \beta _n}^{m_n} \star (S_n - S) \big \Vert _{{\mathcal {S}}^1}\) and applying the estimate of Corollary 2.7, we see that this term can be made arbitrarily small uniformly by the boundedness of \(\big ( \mu _{\alpha _n, \beta _n}^{m_n} \big )_n\). We may hence focus our attention on showing convergence of the last term of (28). As is hopefully expected, this is done by applying Corollary 3.8 to
Since we have already shown that \(\big ( \mu _{\alpha _n, \beta _n}^{m_n} \big )_n\) is a tight and bounded sequence, it only remains to show that for all \(f \in C_b({\mathbb {R}}^{2d})\),
We treat m first by estimating
where we for the last step used Lemma 4.16 with the fact that for large enough n, \(\alpha _n \le 2 \alpha \) and \(\beta _n \le 2 \beta \) since \(\alpha _n \rightarrow \alpha \) and \(\beta _n \rightarrow \beta \) as \(n \rightarrow \infty \). As the first term can be made arbitrarily small by considering sufficiently large n, we may restrict our attention to the second term. Here we must exchange m for a function with compact support. This is done by first estimating that \(\big |\mu _{\alpha _n, \beta _n}^m(f) - \mu _{\alpha , \beta }^m(f) \big |\) is less than
for any set \(K \subset {\mathbb {R}}^{2d}\) by the triangle inequality. The first and last terms may be estimated in the same way as in (29) and upon choosing K large enough so that \(\Vert m \chi _{K^c} \Vert _{W(C_0, \ell ^1)}\) is sufficiently small, we see that we only need to estimate the middle term of (30) where we can replace \(m \chi _K\) by a new m with compact support.
Now since m has compact support, the sum
has a finite number of terms and so to show that it goes to zero as \(n \rightarrow \infty \), it suffices to show that each term goes to zero as \(n \rightarrow \infty \). This is however easy to see by the continuity of m and f and consequently, we are done. \(\square \)
For a comparable earlier result in [11, Theorem 3.3], we had to assume \(m \in W(C_0, \ell ^2)({\mathbb {R}}^{2d})\) and as a result obtained \({\mathcal {S}}^2\) convergence. In our setting, requiring \(m \in W(C_0, \ell ^1)({\mathbb {R}}^{2d})\) is more natural as Corollary 3.8 only works for \({\mathcal {S}}^1\) convergence which requires the mask to be a bounded measure or integrable. It should also be noted that the continuity assumption also is natural as the lattice setting means that any discontinuities in the mask may be picked up for some parameters but not all which can change the operator norm. In [15, Theorem 5.6.7] trace-class convergence was proved but the mask was assumed to be in \(S_0({\mathbb {R}}^{2d})\) and then windows were not allowed to vary. The relaxing of conditions compared to the earlier results should largely be attributed to the alternative path: instead of performing the proof at the level of operator symbol we use methods from quantum harmonic analysis and the framework laid out in [13].
In the interest of clarity, we again highlight the rank-one case of Gabor multipliers.
Corollary 4.21
Let \((\alpha _n)_n\) and \((\beta _n)_n\) be sequences converging to \(\alpha , \beta > 0\) respectively, \((m_n)_n\) a sequence in the Wiener amalgam space \(W(C_0, \ell ^1)({\mathbb {R}}^{d})\) converging to m and \((\varphi _n)_n\) a sequence of \(L^2({\mathbb {R}}^d)\) windows converging to \(\varphi \in L^2({\mathbb {R}}^d)\). Then for the associated Gabor multipliers we have the convergence
References
Abreu, L.D., Gröchenig, K., Romero, J.L.: On accumulated spectrograms. Trans. Amer. Math. Soc. 368(5), 3629–3649 (2015). https://doi.org/10.1090/tran/6517
Bayer, D., Gröchenig, K.: Time-frequency localization operators and a Berezin transform. Integral Equ. Oper. Theory 82(1), 95–117 (2015). https://doi.org/10.1007/s00020-014-2208-z
Bekka, M.E.B.: Amenable unitary representations of locally compact groups. Invent. Math. 100(1), 383–401 (1990). https://doi.org/10.1007/bf01231192
Berge, E., Berge, S. M., Fulsche, R.: A quantum harmonic analysis approach to Segal algebras. Integr. Equ. Oper. Theory 96, 20 (2024). https://doi.org/10.1007/s00020-024-02771-w
Conway, J.: A Course in Operator Theory. Providence, R.I: American Mathematical Society, (2000), isbn: 978-0-8218-2065-0
Daubechies, I.: Time-frequency localization operators: A geometric phase space approach. IEEE Trans. Inform. Theory 34(4), 605–612 (1988)
Dörfler, M., Luef, F., Skrettingland, E.: Local structure and effective dimensionality of time series data sets. Appl. Comput. Harmon. Anal., to appear.
Feichtinger, H.G.: A characterization of Wiener’s algebra on locally compact groups. Arch. Math. (Basel) 29, 136–140 (1977). https://doi.org/10.1007/BF01220386
Feichtinger, H. G.: Banach convolution algebras of Wiener type, in Proc. Conf. on Functions, Series, Operators, Budapest 1980, ser. Colloq. Math. Soc. Janos Bolyai, Eds. B. Sz.-Nagy and J. Szabados., vol. 35, Amsterdam: North-Holland, (1983), 509– 524
Feichtinger, H. G.: Spline-type spaces in Gabor analysis, in Wavelet Analysis: Twenty Years Developments Proceedings of the International Conference of Computational Harmonic Analysis, Hong Kong, China, June 4–8, 2001, ser. Ser. Anal. D. X. Zhou, Ed., vol. 1, World Sci.Pub., (2002), 100–122. https://doi.org/10.1142/9789812776679_0006.
Feichtinger, H. G.: Gabor multipliers with varying lattices, in Proc. SPIE Conf., M. A. Unser, A. Aldroubi, and A. F. Laine, Eds., NuHAG, (2003). https://doi.org/10.1117/12.507648.
Feichtinger, H. G.: A novel mathematical approach to the theory of translation invariant linear systems, in Recent Applications of Harmonic Analysis to Function Spaces, Differential Equations, and Data Science: Novel Methods in Harmonic Analysis, Volume 2. Cham: Springer International Publishing, (2017), 483–516. https://doi.org/10.1007/978-3-319-55556-0_3.
Feichtinger, H.G.: Homogeneous Banach spaces as Banach convolution modules over M(G). Mathematics 10(3), 364 (2022). https://doi.org/10.3390/math10030364
Feichtinger, H.G., Nowak, K.: A Szegő-type theorem for Gabor-Toeplitz localization operators. Michigan Math. J. 49(1), 032 (2001). https://doi.org/10.1307/mmj/1008719
Feichtinger, H. G., Nowak, K.: A first survey of Gabor multipliers, in Advances in Gabor Analysis, H. G. Feichtinger and T. Strohmer, Eds. Boston, MA: Birkhäuser Boston, (2003),99–128. https://doi.org/10.1007/978-1-4612-0133-5_5.
Folland, G.B.: Harmonic Analysis in Phase Space. Princeton University Press (1989). https://doi.org/10.1515/9781400882427
Folland, G.B.: A Course in Abstract Harmonic Analysis. CRC Press, Florida (1995)
Fulsche, R.: Correspondence theory on p-Fock spaces with applications to Toeplitz algebras. J. Funct. Anal. 279, 108661 (2020). https://doi.org/10.1016/j.jfa.2020.108661
de Gosson, M.A.: Symplectic Methods in Harmonic Analysis and in Mathematical Physics (Pseudo-Differential Operators), Springer, Basel (2011). https://doi.org/10.1007/978-3-7643-9992-4
Gröchenig, K.: Foundations of Time-Frequency Analysis. Birkhäuser. Boston (2001). https://doi.org/10.1007/978-1-4612-0003-1
Gröchenig, K., Toft, J.: Isomorphism properties of Toeplitz operators and pseudodifferential operators between modulation spaces. J. Anal. Math. 114(1), 255–283 (2011). https://doi.org/10.1007/s11854-011-0017-8
Heil, C.: An introduction to weighted Wiener amalgams. In: Krishna, M., Radha, R., Thangavelu, S. (eds.) Wavelets and their Applications (Chennai, January 2002), pp. 183–216. Allied Publishers, New Delhi (2003)
Kiukas, J., Lahti, P., Schultz, J., Werner, R.F.: Characterization of informational completeness for covariant phase space observables. J. Math. Phys. (2012). https://doi.org/10.1063/1.4754278
Klauder, J. R., Skagerstam, B.-S. K.: Extension of Berezin–Lieb inequalities, in Excursions in Harmonic Analysis, Volume 2, Birkhäuser Boston, (2012), 251–266. https://doi.org/10.1007/978-0-8176-8379-5_13
Luef, F., Skrettingland, E.: Convolutions for Berezin quantization and Berezin-Lieb inequalities. J. Math. Phys. 59, 502 (2018). https://doi.org/10.1063/1.5023241
Luef, F., Skrettingland, E.: Convolutions for localization operators. J. Math. Pures Appl. 118, 288–316 (2018). https://doi.org/10.1016/j.matpur.2017.12.004
Luef, F., Skrettingland, E.: Mixed-state localization operators: Cohen’s class and trace class operators. J. Fourier Anal. Appl. 25(4), 2064–2108 (2019). https://doi.org/10.1007/s00041-019-09663-3
Luef, F., Skrettingland, E.: On accumulated Cohen’s class distributions and mixed-state localization operators. Constr. Approx. 52(1), 31–64 (2019). https://doi.org/10.1007/s00365-019-09465-2
Luef, F., Skrettingland, E.: A Wiener Tauberian theorem for operators and functions. J. Funct. Anal. 280, 883 (2021). https://doi.org/10.1016/j.jfa.2020.108883
Shapiro, H.S.: Topics in Approximation Theory (Lecture Notes in Mathematics). Springer-Verlag 187, 275 (1971). https://doi.org/10.1007/bfb0058976
Simon, B.: Trace Ideals and Their Applications. Providence, R.I: American Mathematical Society, (2005), isbn: 978-0-8218-4988-0
Skrettingland, E.: Convolutions for localization operators, M.S. thesis, NTNU, (2017). [Online]. Available: https://folk.ntnu.no/franzl/supervision.html
Skrettingland, E.: Quantum harmonic analysis on lattices and Gabor multipliers. J. Fourier Anal. Appl. (2020). https://doi.org/10.1007/s00041-020-09759-1
Skrettingland, E.: On Gabor g-frames and Fourier series of operators. Studia Math. 259(1), 25–78 (2021). https://doi.org/10.4064/sm191115-24-9
Strohmer, T.: Pseudodifferential operators and Banach algebras in mobile communications. Appl. Comput. Harmon. Anal. 20(2), 237–249 (2006). https://doi.org/10.1016/j.acha.2005.06.003
Werner, R.: Quantum harmonic analysis on phase space. J. Math. Phys. 25(5), 1404–1411 (1984). https://doi.org/10.1063/1.526310
Zibulski, M., Zeevi, Y.Y.: Analysis of multiwindow Gabor-type schemes by frame methods. Appl. Comput. Harmon. Anal. 4(2), 188–221 (1997). https://doi.org/10.1006/acha.1997.0209
Funding
Open access funding provided by NTNU Norwegian University of Science and Technology (incl St. Olavs Hospital - Trondheim University Hospital).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no Conflict of interest.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Feichtinger, H.G., Halvdansson, S. & Luef, F. Measure-operator convolutions and applications to mixed-state Gabor multipliers. Sampl. Theory Signal Process. Data Anal. 22, 16 (2024). https://doi.org/10.1007/s43670-024-00090-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s43670-024-00090-0