Abstract
In this paper, we study continuous frames from projective representations of locally compact abelian groups of type \(\widehat{G}\times G\). In particular, using the Fourier transform on locally compact abelian groups, we obtain a characterization of maximal spanning vectors. As an application, for G, a compactly generated locally Euclidean locally compact abelian group or a local field with odd residue characteristic, we prove the existence of maximal spanning vectors, hence the phase retrievability, for the associated \((\widehat{G}\times G)\)-frames.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Being phase retrievable is an important property of frames in the study of signal analysis. In the case of finite frames with symmetries, e.g., group frames and twisted group frames, there are many results connecting maximal spanning vectors, vectors with the Haar property, and phase retrievable finite frames (cf. [1,2,3,4,5,6,7, 10, 11, 23, 24] etc.). In this paper, we study similar properties for continuous frames generated by one vector from projective representations of locally compact abelian groups of type \(\widehat{G}\times G\). In this paper, all locally compact groups are assumed Hausdorff and second countable, and all Hilbert spaces are assumed separable.
Let V be a complex Hilbert space and \((\Omega ,\mu )\) be a measure space with positive measure \(\mu \). Let \(F:\Omega \rightarrow V\) be a continuous frame with respect to \((\Omega ,\mu )\), i.e.,
-
1.
F is weakly measurable, i.e., for all \(v\in V\), the map \(\omega \mapsto \langle v,F(\omega )\rangle \) is a measurable function on \(\Omega \);
-
2.
there exist constants \(A,B>0\) such that
$$\begin{aligned} A||v||^2\le \int _\Omega |\langle v,F(\omega )\rangle |^2{\text {d}}\mu (\omega )\le B||v||^2,\ \ \ \text { for all }v\in V. \end{aligned}$$(1.1)
For simplicity, we say that the set of vectors \(\{F(\omega )\mid \omega \in \Omega \}\) is a continuous frame. We refer to [15, 26] for basic properties of continuous frames. The triple \((V,\Omega , F)\) gives us a map
Then, we obtain a map \(T:V/\mathbb {T}\rightarrow L^2(\Omega )\). We say that the frame F with respect to \((\Omega ,\mu )\) is phase retrievable if the map T is injective. Let \(\mathcal {S}_F\) be the set of operators \(F(\omega )\otimes F(\omega )\) (\(\omega \in \Omega \)), where
We say that \(\mathcal {S}_F\) has maximal span if \(\overline{{\text {Span}}}(\mathcal {S}_F)={\text {HS}}(V)\). Here \({\text {HS}}(V)\) denotes the space of Hilbert-Schmidt operators on V. In this case, the operator \(x\otimes x\) is determined by \(\langle x\otimes x, F(\omega )\otimes F(\omega )\rangle _{{\text {HS}}}=|\langle x,F(\omega )\rangle |^2\). Hence the frame F is phase retrievable (cf. [6, Section 3]). In the case where V is finite dimensional and \((\Omega ,\mu )\) is a finite set with counting measure, there have been many results about the phase retrievability of a finite frame in the literature, see for example [1,2,3, 6] and the references there.
Now, let G be a group and \(\pi :G\rightarrow \mathbf {U}(V)\) be a (projective) representation of G on the Hilbert space V. Let \(v\in V\) be a nonzero vector and \(\Phi _v=\{\pi (g)v\mid g\in G\}\). In the simple case where G is finite and \(\pi \) is irreducible, \(\Phi _v\) is a frame for V. By showing that the associated frame satisfies the Haar property ([23, Definition 2]), Lawrence, Pfander, and Walnut [23, Theorems 1, 2] proved the following result.
Theorem 1.1
(Lawrence, Pfander, Walnut) Let p be a prime number. Let \(G=\mathbb {Z}/p\mathbb {Z}\times \mathbb {Z}/p\mathbb {Z}\) and \(\pi :G\rightarrow \mathbf {U}(V)\) be the Weyl-Heisenberg representation ([23, Definition 1]). Then the set of \(v\in V\) for which \(\Phi _v\) is phase retrievable is dense in V.
One important ingredient of the proof of the above theorem is a nonvanishing property of the generalized Vandermonder determinants ([23, Lemma 4]), which holds only for prime numbers p. On the other hand, using maximal spanning vectors and tools from representation theory, Li, Han, etc. [10, 24] proved the following result, which generalizes Theorem 1.1.
Theorem 1.2
(Li, Han, etc.) Let G be any finite abelian group and \(\pi :G\rightarrow \mathbf {U}(V)\) be an irreducible projective representation of G. Then the set of \(v\in V\) for which \(\Phi _v\) is phase retrievable is dense in V.
The above results focused on phase retrievability of finite frames. In [11], Cheng and Li proved a version of Theorem 1.2 for compact groups and explained the similarity between compact continuous frame case and finite Gabor frame case. In this paper, we study continuous frames with locally compact symmetries. The situation is different as the representation spaces are now usually of infinite dimension and divergence causes trouble (e.g. Sect. 3.2.1). On one hand, as a complementary part of paper [11], we construct explicit examples of continuous frames with symmetries via projective representations of locally compact abelian groups. The tool we use here is the Stone–von Neumann theorem and its variation in terms of projective representations. On the other hand, for the vector space we constructed, we define the notion of a maximal spanning vector. Motivated by results for finite abelian groups, we propose a conjecture (Conjecture 1.4) on the existence of maximal spanning vectors and prove the conjecture for: (a) compactly generated locally Euclidean locally compact abelian groups, i.e. groups of the form \(\mathbb {R}^a\times \mathbb {Z}^b\times \mathbb {T}^c\times E\), where a, b, c are non-negative integers and E is a finite abelian group; and (b) local fields with residue characteristic p (\(p>2\)). The tool we use here is the Fourier transform, which provides us a characterization of maximal spanning vectors.
We outline the contents of the paper in what follows. Let G be a locally compact abelian group with a fixed Haar measure. Let \(\widehat{G}\) be the dual group of G, which is also considered as a locally compact group with the Plancherel measure. For \((v^*,v)\in \widehat{G}\times G\), define an operator \(\pi (v^*,v)\) on \(L^2(G)\) via
where \(f\in L^2(G)\). Then, this \(\pi \) defines an \(\alpha \)-representation \(\pi :\widehat{G}\times G\rightarrow \mathbf {U}(L^2(G))\), where \(\alpha \) is the 2-cocycle in \(Z^2(\widehat{G}\times G,\mathbb {T})\) given by
We refer to [11, 19, 21, 22] for basic properties of projective representations. Using the correspondence between projective representations of \(\widehat{G}\times G\) and linear representations of the group \(G(\alpha )\in {\text {Ext}}^1(\widehat{G}\times G,\mathbb {T})\) (cf. [22]), we obtain the following result, which is a variation of the Stone-von Neumann theorem (cf. [8, Theorem 4.8.2], [9, Section 2.3], [10, Section 3.2], [13, Theorem 10.2.1], [20]).
Theorem 1.3
(Segal, Shale, Weil) The \(\alpha \)-representation \(\pi \) is irreducible. Moreover, up to isomorphism, \(\pi \) is the unique irreducible \(\alpha \)-representation of \(\widehat{G}\times G\) on a Hilbert space.
Take any nonzero vector \(f\in L^2(G)\), because of the irreducibility of \(\pi \), we have
Moreover, the set \(\Phi _f:=\{\pi (v^*,v)f\mid (v^*,v)\in \widehat{G}\times G\}\) forms a tight continuous frame with bound \(||f||_2\) (Theorem 2.1). In time-frequency analysis, \(\Phi _f\) is called a Gabor system (cf [17]). Note that the construction does not work for projective representations of general locally compact groups as equation (1.1) may fail.
For \(f\in L^2(G)\), we construct a function \(c_{f,f}:\widehat{G}\times G\rightarrow \mathbb {C}\) via
It turns out that \(c_{f,f}\in L^2(\widehat{G}\times G)\) (cf. Section 3.1). We call f a maximal spanning vector if
The relation between maximal spanning vectors and phase retrieval problems is explained in Sect. 3.2.2, where we show that f is a maximal spanning vector if and only if the set of operators \(\mathcal {S}_{\Phi _f}\) has maximal span. Motivated by the results for finite abelian groups (cf. [24, Conjecture], [10, Section 3], [11, Section 3.3]), we propose the following conjecture.
Conjecture 1.4
With the above notation, there exist maximal spanning vectors in \(L^2(G)\).
Applying the result on the linear span of translates of an element in \(L^2(G)\) (e.g. [14, Proposition 4.72]), we show that \(f\in L^2(G)\) is a maximal spanning vector if and only if \(\langle \pi (v^*,v)f,f\rangle \ne 0\) for almost all \((v^*,v)\in \widehat{G}\times G\) (Proposition 3.3). Note that this is consistent with [10, Proposition 3.11]. As a consequence, by explicit construction, we prove the conjecture for some special groups.
Theorem 1.5
Conjecture 1.4holds in the following cases. Here K is a local field with residue characteristic p (\(p>2\)).
-
1.
G is a finite abelian group with discrete topology.
-
2.
\(G=\mathbb {Z}\) is the additive group of integers with discrete topology.
-
3.
\(G=\mathbb {T}\) is the multiplicative group of norm one numbers with the Euclidean topology.
-
4.
\(G=\mathbb {R}\) is the additive group of real numbers with the Euclidean topology.
-
5.
\(G=\mathbb {R}^\times \) is the multiplicative group of nonzero real numbers with the Euclidean topology.
-
6.
\(G=(K,+)\) is the additive group of K with its non-archimedean topology.
-
7.
\(G=(\mathcal {O}_K,+)\) is the ring of integers of K.
-
8.
\(G=K/\mathcal D_K\) with discrete topology, where \(\mathcal D_K\) is the difference of K.
-
9.
\(G=(K^\times , \times )\) is the multiplicative group of nonzero elements of K.
-
10.
\(G=(\mathcal {O}_K^\times , \times )\) is the group of units of K.
Moreover, Conjecture 1.4holds for G which is a finite product of groups as listed above.
Remark 1.6
(Idea of proof) Applying Proposition 3.3, it is easy to check that if \(f_i\in L^2(G_i)\) is a maximal spanning vector for \((\pi _i, L^2(G_i))\) (\(i=1,2\)), then \(f_1\otimes f_2\in L^2(G_1\times G_2)\) is a maximal spanning vector for \(L^2(G_1\times G_2)\), where \((f_1\otimes f_2)(x_1,x_2)=f_1(x_1)f_2(x_2)\). Therefore if the conjecture holds for \(G_1\) and \(G_2\), then it holds for \(G_1\times G_2\) as well. Moreover, if the conjecture holds for \(\mathbb {Z}\) (resp. \(\mathcal {O}_K\)), then it holds for \(\mathbb {T}\) (resp. \(K/\mathcal D_K\)) as well by the discussion in Sect. 2.1.2. Because the conjecture holds for finite abelian groups by [10, Proposition 3.11], using the structure decomposition of \(K^\times \), \(\mathcal {O}_K^\times \) (cf. [25, Chap 2, Section 5, (5.7)]) and \(\mathbb {R}^\times \), we only need to verify the theorem for \(G=\mathbb {R}\), \(\mathbb {Z}\), K, \(\mathcal {O}_K\). The detailed proof is the content of Sect. 4.
Remark 1.7
As a consequence, combining Theorem 1.5, Corollary 3.4, and Proposition 3.6, for G as in Theorem 1.5, we have
Notation: In this paper, G is always a locally compact group. Denote by \(\widehat{G}\) the dual group of G if G is an abelian group. Moreover, we fix a Haar measure on G and equip \(\widehat{G}\) with the Plancherel measure. Denote by \(\widehat{f}\) the Fourier transform of f if \(f\in L^2(G)\) ([14, Section 4.2]).
In this paper, \(\mathbb {R}\) is the additive group of real numbers, \(\mathbb {Z}\) is the additive group of integers, \(\mathbb {T}\) is the multiplicative group of norm one numbers.
Let X be a measure space. Denote by \(L^2(X)\) the space of measurable functions on X for which \(\int _X|f(x)|^2{\text {d}}x<\infty \). Given \(f,f'\in L^2(X)\), the inner product is defined by
For \(f\in L^2(X)\), define \(||f||_2=(\langle f,f\rangle )^{1/2}\).
2 Continuous \((\widehat{G}\times G)\)-frames in \(L^2(G)\)
2.1 Remarks on Theorem 1.3
In the following, we make some remarks on the Stone-von Neumann theorem. These observations enable us to reduce the proof of Theorem 1.5 to some easy cases and to generalize Theorem 1.5 to other groups (not of the form \(\widehat{G}\times G\)).
2.1.1 Some variations
Let G and \(G^*\) be locally compact abelian groups. Suppose that we have a bi-homomorphism
Let \(H=G^*\times G\) and define
Then, \(\alpha \) is a 2-cocycle. Define \(\pi _\beta :H\rightarrow {\text {GL}}(L^2(G))\) by
It is easy to check that \(\pi _\beta \) is unitary and \(\pi _\beta :H\rightarrow \mathbf {U}(L^2(G))\) is an \(\alpha \)-representation of H.
The pairing \(\beta :G^*\times G\rightarrow \mathbb {T}\) induces a homomorphism \(\iota :G^*\rightarrow \widehat{G}\) and the \(\alpha \)-representation \(\pi _\beta :G^*\times G\rightarrow \mathbf {U}(L^2(G))\) factors through
In particular, if \(\iota :G^*\rightarrow \widehat{G}\) is surjective, then \(\pi _\beta \) is an irreducible \(\alpha \) representation. This factorization is part of the idea in [10, 24]. More precisely, assume that the kernel of \(\iota :G^*\rightarrow \widehat{G}\) has finite volume C. If \(\{\pi (g)f\mid g\in \widehat{G}\times G\}\) is a continuous frame with frame bounds A and B, then \(\{\pi _\beta (g)f\mid g\in G^*\times G\}\) is a continuous frame with frame bounds CA and CB. Moreover, if \(f\in L^2(G)\) is a maximal spanning vector for \(\pi :\widehat{G}\times G\rightarrow \mathbf {U}(L^2(G))\), then
and the frame \(\{\pi _\beta (v^*,v)f\mid (v^*,v)\in G^*\times G\}\) is phase retrievable by Proposition 3.6.
Assume now that the pairing \(\beta \) induces an injection \(\iota :G^*\rightarrow \widehat{G}\) with nontrivial cokernel. Let \(K=\{x\in G\mid v^*(k)=1 \text { for all }v^*\in {\text {Im}}(\iota )\}\). Assume that \({\text {Im}}(\iota )\) is an open subgroup of \(\widehat{G}\) and K is compact. Then we have \({\text {Im}}(\iota )=\widehat{G/K}\). The natural map \(G\rightarrow G/K\) induces an injection \(\kappa :L^2(G/K)\rightarrow L^2(G)\). Denote by \(l^2(G/K)\) the image of \(\kappa \). Then
For any \((v^*,v)\in {\text {Im}}(\iota )\times G\), we have an operator \(\varpi (v^*,v)\) on \(L^2(G)\) via
If \(f\in l^2(G/K)\), it is clear that \(\varpi (v^*,v)f\in l^2(G/K)\). This tells us that \(\pi _\beta \) is reducible and the reducibility causes trouble to find maximal spanning vectors (cf. [10, Proposition 3.4(3)]).
2.1.2 Relation with the Fourier transform
By symmetry, we have an action of \(\widehat{G}\times G\) on the space \(L^2(\widehat{G})\) via
where \((v^*,v)\in \widehat{G}\times G\) and \(\Psi \in L^2(\widehat{G})\). The associated multiplier is \(\alpha ':(\widehat{G}\times G)\times (\widehat{G}\times G)\rightarrow \mathbb {T}\) given by
As explained in Sect. 2.1.1, we obtain a projective representation of \(\widehat{G}\times G\) by composition with \(\widehat{G}\rightarrow \widehat{G}\) (\(v^*\mapsto (v^*)^{-1}\)). Changing the resulting projective representation by the coboundary \(\beta \), which is the natural pairing between \(\widehat{G}\) and G, we obtain an irreducible projective representation \(\rho : \widehat{G}\times G\rightarrow \mathbf {U}(L^2(\widehat{G}))\), where
An easy computation shows that \(\rho \) is an \(\alpha \)-representation. Define
Then, \(\tilde{\Phi }(u^*)=\widehat{\Phi }((u^*)^{-1})\) and \(F'\) is a unitary isomorphism. Moreover, it is easy to check that \(\rho (v^*,v)\tilde{\Phi }=(\pi (v^*,v)\Phi )^{\tilde{\ }}\). In other words, \(F'\) is an isomorphism of \(\alpha \)-representations. By the discussion in Sect. 2.1.1 (in the case where \(\iota \) is an isomorphism), if Conjecture 1.4 holds for G, then it holds for \(\widehat{G}\).
2.2 The frame condition
Let \(f\in L^2(G)\) be a nonzero element. Since \(\pi \) is irreducible, we have
Even better, we have the following stronger result, known as the Plancherel formula for the short-time Fourier transform (cf. [16, Theorem 6.2.1] and [12, Corollary 11.1.4]). We give a proof for completeness.
Theorem 2.1
Let \(f\in L^2(G)\) be a nonzero element. Then the set \(\Phi _f=\{\pi (v^*,v)f\mid (v^*,v)\in \widehat{G}\times G\}\) is a tight \((\widehat{G}\times G)\)-frame of \(L^2(G)\) with bound \(||f||_2^2\). In particular, if \(||f||_2=1\), then \(\Phi _f\) is a Parseval frame.
Proof
The following argument is adapted from the idea in [12, Section 11.1]. Let \(f_1,f_2,g_1,g_2\) be elements in \(L^2(G)\). Then
Let \(F_i(x)=f_i(x)\overline{g_i(xv)}\) for \(i=1,2\). Then
Therefore, for any \(F\in L^2(G)\), we have
In particular, we see that \(\{\pi (v^*,v)f\mid (v^*,v)\in \widehat{G}\times G\}\) is a tight \((\widehat{G}\times G)\)-frame of \(L^2(G)\) with frame bounds \(A=B=||f||_2^2\). \(\square \)
3 Maximal spanning vectors in \(L^2(G)\)
3.1 Definition and characterization
Let \(f,g\in L^2(G)\). Then we have a map \(c_{f,g}:\widehat{G}\times G\rightarrow \mathbb {C}\) given by
We call such a map a matrix coefficient of \(\pi \). In time-frequency analysis, \(c_{f,g}\) is called the short-time Fourier transform of f with respect to g (cf. [17]). In equation (2.3), taking \(f_1=f_2=f\) and \(g_1=g_2=g\), we obtain that the matrix coefficient \(c_{f,g}\) is an element in \(L^2(\widehat{G}\times G)\). Hence, the \(\alpha \)-representation \(\pi \) is square-integrable.
Definition 3.1
Let \(f,g\in L^2(G)\). We say that (f, g) is a maximal spanning pair if
We call \(f\in L^2(G)\) a maximal spanning vector if (f, f) is a maximal spanning pair.
Motivated by the results for finite groups (cf. [24, Conjecture], [10, Section 3], [11, Section 3.3]), we propose the following conjecture.
Conjecture 3.2
\(\pi :\widehat{G}\times G\rightarrow \mathbf {U}(L^2(G))\) admits maximal spanning vectors.
We provide a characterization for maximal spanning vectors in the following and then apply this characterization to prove Theorem 1.5 in next section. We have
Note that the pairing \((\widehat{G}\times G)\times (\widehat{G}\times G)\rightarrow \mathbb {T}\) given by
induces an isomorphism \(\widehat{G}\times G\cong (\widehat{G}\times G)^{\widehat{\ }}\). Hence,
We then have the following proposition, which generalizes the result for finite abelian groups (cf. [7, 24]).
Proposition 3.3
With the notation as above, (f, g) is a maximal spanning pair for \((\pi , L^2(G))\) if and only if \(c_{f,g}(u^*,u)\ne 0\) for almost all \((u^*,u)\in \widehat{G}\times G\).
In particular, f is a maximal spanning vector for \((\pi , L^2(G))\) if and only if \(c_{f,f}(u^*,u)\ne 0\) for almost all \((u^*,u)\in \widehat{G}\times G\).
Proof
The Fourier transform for \(\widehat{G}\times G\) is an isometry between \(L^2(\widehat{G}\times G)\rightarrow L^2((\widehat{G}\times G)^{\widehat{\ }})\). Therefore,
Note that \((\chi c_{f,g})^{\widehat{\ }}\) is the translation of \((c_{f,g})^{\widehat{\ }}\) by \(\chi \), the last equivalence follows from [14, Proposition 4.72]. The proposition follows. \(\square \)
Corollary 3.4
If there exists one maximal spanning vector f for \((\pi , L^2(G))\), then there are infinitely many maximal spanning vectors of length one for \((\pi , L^2(G))\).
Proof
If G is finite, then the set of maximal spanning vectors is dense in \(L^2(G)\) by [24, Theorem 1.7, Lemma 2.2]. If G is infinite, then each \(\pi (u^*,u)f\) is a maximal spanning vector and \(\overline{{\text {Span}}}\{\pi (u^*,u)f\mid (u^*,u)\in \widehat{G}\times G\}=L^2(G)\). Note that if f is a maximal spanning vector, so is \(f/||f||_2\). The claim then follows. \(\square \)
3.2 Some remarks on maximal spanning vectors
3.2.1 The Bessel property
Suppose that \((f,g)\in L^2(G)\) is a maximal spanning pair. We then have
One may ask the following question: Do the vectors \(c_{\pi (v^*,v)f,\pi (v^*,v)g}\) (\((v^*,v)\in \widehat{G}\times G\)) form a continuous \((\widehat{G}\times G)\)-frame for \(L^2(\widehat{G}\times G)\)? For G finite, the answer is certainly yes. In general this is not true. For simplicity, we write c for the function \(c_{f,g}\) and \(c_{v^*,v}\) for the function \(c_{\pi (v^*,v)f,\pi (v^*,v)g}\). For any \(\psi \in L^2(\widehat{G}\times G)\), we have
Hence, the set \(\{c_{\pi (v^*,v)f,\pi (v^*,v)g}\mid (v^*,v)\in \widehat{G}\times G\}\) is a continuous frame for \(L^2(\widehat{G}\times G)\) if and only if (f, g) is a maximal spanning pair for \(L^2(G)\) and there exist positive numbers A and B with
for all \(\psi \in L^2(\widehat{G}\times G)\).
If \(c_{f,g}\) is bounded, e.g. it is continuous, then the existence of B is clear and the set is a so called Bessel set. On the other hand, the existence of A is troublesome. To explain the idea, let us consider the case \(G=\mathbb {R}\) and \(c_{f,f}\) from Lemma 4.3. On one hand, we may take \(B=\sqrt{\frac{\pi }{2}}\). On the other hand, for \(n\in \mathbb {Z}_{\ge 1}\), define \(\psi _n:\mathbb {R}\times \mathbb {R}\rightarrow \mathbb {C}\) by
Then, \(||\psi _n||_2^2=4.\) But \(\lim \limits _{n\rightarrow \infty }||\psi _n\cdot c_{f,f}||_2^2=0\) and A does not exist.
Remark 3.5
From the computation, we see that if \(c_{f,g}\) is zero for \((v^*,v)\in U\), where \(U\subset \widehat{G}\times G\) has positive measure, then (f, g) cannot be a maximal spanning pair. Indeed, let \(\psi \) be the characteristic function for U, then \(\psi \) is orthogonal to every \(c_{\pi (v^*,v)f,\pi (v^*,v)g}\). This proves the only if part of Proposition 3.3.
3.2.2 Phase retrieval
Let \(f\in L^2(G)\) be a nonzero vector. Then, we have the following map
Certainly, \(t_f\) factors through \(L^2(G)/\mathbb {T}\) and we obtain a map
The frame \(\Phi _f=\{\pi (u^*,u)f\mid (u^*,u)\in \widehat{G}\times G\}\) is phase retrievable if \(T_f\) in (3.3) is injective. Let \(\mathcal {S}_{\Phi _f}\) be the set of operators \(x\otimes x:L^2(G)\rightarrow L^2(G)\) (\(x\in \Phi _f\)) as defined in Section 1. We have the following result.
Proposition 3.6
The vector f is a maximal spanning vector if and only if \(\mathcal {S}_{\Phi _f}\) has maximal span. In particular, if f is a maximal spanning vector, then \(\Phi _f\) is phase retrievable.
Proof
Let \(\phi \in C_c(\widehat{G}\times G)\) be a compactly supported continuous function on \(\widehat{G}\times G\). Define \(K_\phi :G\times G\rightarrow \mathbb {C}\) by
Then,
Hence, \(K_\phi (u,uv)\) is the Fourier transform of \(\phi (v^*,v)\) in the first variable. Thus,
The map \(\phi \mapsto K_\phi \) extends to an \(L^2\)-isometry from \(L^2(\widehat{G}\times G)\) to \(L^2(G\times G)\). It is invertible as
by the Fourier inversion formula and equation (3.4). Let \(\lambda :L^2(G\times G)\rightarrow L^2(\widehat{G}\times G)\) be the inversion of this isometry (cf. [8, Page 526]).
For any Hilbert space V with dual space \(V^*\), since \({\text {HS}}(V)\cong V^*\otimes V\) (cf. [13, Section 5.3]) and the Riesz representation theorem provides a bijective conjugate-linear isometry between V and \(V^*\), we may identify \({\text {HS}}(V)\) with \(V\otimes V\). Consider the following unitary isomorphisms
where \(\sigma \) is defined by \(\sigma (P\otimes Q)(u,v)=\overline{P(u)}Q(v)\). Let \(x\in C_c(G)\). Then
Hence, for all \(x\in L^2(G)\), the image of \(x\otimes x\) in \(L^2(\widehat{G}\times G)\) is nothing but the function \(c_{x,x}\). The proposition then follows. \(\square \)
4 Proof of Theorem 1.5
In this section, we prove Theorem 1.5 by explicit construction of maximal spanning vectors. As explained in Remark 1.6, we only need to prove the result for four cases. We divide the proof into two parts.
4.1 Euclidean case
We prove the following result in this section.
Theorem 4.1
Conjecture 1.4holds for groups of type \(G=\mathbb {R}^a\times \mathbb {T}^b\times \mathbb {Z}^c\times E\), where E is a finite abelian group.
Groups as in the theorem are called compactly generated locally Euclidean locally compact abelian group. The theorem follows from the following two lemmas and Remark 1.6.
Lemma 4.2
Let \(G=\mathbb {Z}\). Let \(f\in L^2(\mathbb {Z})\) given by \(f(n)=e^{-|n|}\). Then f is a maximal spanning vector for \((\pi , L^2(\mathbb {Z}))\).
Proof
We need to show that \(c_{f,f}(\theta ,N)\ne 0\) for almost all \((\theta ,N)\in \mathbb {T}\times \mathbb {Z}\). By definition, we have
We divide the discussion into the following cases.
-
1.
If \(\theta =1\), then \(c_{f,f}(1,N)=\sum _{n\in \mathbb {Z}}e^{-|n+N|}e^{-|n|}\ne 0\).
-
2.
If \(\theta \ne 1\) and \(N=0\), then
$$\begin{aligned} \begin{aligned} c_{f,f}(\theta ,0)=\sum _{n\in \mathbb {Z}}\theta ^n e^{-2|n|}&=\sum _{n\ge 0}\theta ^n e^{-2n}+\sum _{n\ge 0}\theta ^{-n}e^{-2n}-1\\&=\frac{1}{1-\theta e^{-2}}+\frac{1}{1-\theta ^{-1} e^{-2}}-1\\&=\frac{1-e^{-4}}{(1-\theta e^{-2})(1-\theta ^{-1} e^{-2})}\ne 0. \end{aligned} \end{aligned}$$ -
3.
If \(\theta \ne 1\) and \(N\ge 1\), then
$$\begin{aligned} c_{f,f}(\theta ,N)&=\sum _{n\in \mathbb {Z}}\theta ^n e^{-|n+N|}e^{-|n|}\\&=\sum _{n\ge 0}\theta ^n e^{-(n+N)}e^{-n}+\sum _{n\le -N}\theta ^n e^{n+N}e^{n}+\sum _{n=-N+1}^{-1}\theta ^n e^{-(n+N)}e^{n}\\&=e^{-N}\sum _{n\ge 0}\theta ^n e^{-2n}+e^N\sum _{n\ge N}\theta ^{-n}e^{-2n}+e^{-N}\sum _{n=1}^{N-1}\theta ^{-n}\\&=e^{-N}(\frac{1}{1-\theta e^{-2}}+\frac{\theta ^{-N}}{1-\theta ^{-1}e^{-2}}+\frac{\theta ^{-1}-\theta ^{-N}}{1-\theta ^{-1}}). \end{aligned}$$Hence, \(c_{f,f}(\theta ,N)=0\) if and only if \(\frac{1}{1-\theta e^{-2}}+\frac{\theta ^{-N}}{1-\theta ^{-1}e^{-2}}+\frac{\theta ^{-1}-\theta ^{-N}}{1-\theta ^{-1}}=0\). Multiplying both sides with \((1-\theta e^{-2})(1-\theta ^{-1}e^{-2})(1-\theta ^{-1})\), direct computation shows that \(c_{f,f}(\theta ,N)=0\) if and only if
$$\begin{aligned} \frac{1-\theta e^{-2}}{1-\theta ^{-1}e^{-2}}=\theta ^{N+1}. \end{aligned}$$(4.2)Since \(\theta \ne 1\), for each \(N\ge 1\), there are at most N solutions to the equation (4.2).
-
4.
If \(\theta \ne 1\) and \(N\le -1\), then from the identity
$$\begin{aligned} c_{f,f}(\theta ,-N)=\theta ^Nc_{f,f}(\theta ,N), \end{aligned}$$we have that, for each \(N\le -1\), there are at most |N| solutions with \(c_{f,f}(\theta ,N)=0\).
From the above discussion, the set \(\{(\theta ,N)\in \mathbb {T}\times \mathbb {Z}\mid c_{f,f}(\theta ,N)=0\}\) is countable. The lemma then follows. \(\square \)
The following lemma is well known (e.g. [18]). We provide a proof for completeness.
Lemma 4.3
Let \(G=\mathbb {R}\). Let \(f\in L^2(\mathbb {R})\) given by \(f(x)=e^{-x^2}\). Then f is a maximal spanning vector for \((\pi , L^2(\mathbb {R}))\).
Proof
We show that \(c_{f,f}(a,b)\ne 0\) for all \((a,b)\in \mathbb {R}\times \mathbb {R}\). We have the well-known identity (see for example [27, Page 42])
Therefore,
The lemma follows. \(\square \)
4.2 Non-archimedean case
In the following, K is a non-archimedean local field with residue characteristic p, \(\mathcal {O}\) is the ring of integers of K. Fix \(\pi \) a uniformizer of K. Denote by \({\text {ord}}\) the valuation on K with \({\text {ord}}(\pi )=1\). Let q be the cardinality of the residue field \(\mathcal {O}/\pi \mathcal {O}\). For \(n\in \mathbb {Z}\), let \(\mathcal {O}_n\) be the fractional ideal \(\pi ^n\mathcal {O}\) and \(A_n=\mathcal {O}_n-\mathcal {O}_{n+1}\). Fix a Haar measure \(\mu \) on K with \(\mu (\mathcal {O})=1\).
Let \(\psi :K\rightarrow \mathbb {T}\) be the non-trivial character of \((K,+)\) as in Tate’s thesis [28]. More precisely, it is given as follows.
-
1.
If \(K=\mathbb {Q}_p\), then \(\psi \) is the composition
$$\begin{aligned} \mathbb {Q}_p\rightarrow \mathbb {Q}_p/\mathbb {Z}_p\sim \mathbb {Z}[\frac{1}{p}]/\mathbb {Z}\hookrightarrow \mathbb {R}/\mathbb {Z}\cong \mathbb {T}, \end{aligned}$$which is characterized by \(\psi |_{\mathbb {Z}_p}=1\) and \(\psi (p^{-n})=e^{2\pi i/p^n}\) for all \(n\ge 1\).
-
2.
If \(K=\mathbb {F}_p(T)\), then \(\psi (\sum a_nT^n):=e^{2\pi ia_{-1}/p}\). Here, we lift \(a_{-1}\in \mathbb {F}_p\) to \(\mathbb {Z}\) to make sense of the definition.
-
3.
If K is a finite extension of \(K_0\), where \(K_0=\mathbb {Q}_p\) or \(\mathbb {F}_p(T)\), then \(\psi \) for K is defined to be the composition \(K\xrightarrow {{\text {Tr}}_{K/K_0}}K_0\xrightarrow {\psi _0} \mathbb {T},\) where \(\psi _0\) is the additive character for \(K_0\) as constructed above.
We could and do identity K with \(\widehat{K}\) via \(a\mapsto (\psi _a:x\mapsto \psi (ax))\). The conductor of a character \(\phi :K\rightarrow \mathbb {T}\) is the integer l such that \(\phi |_{\mathcal {O}_l}\) is not trivial and \(\phi |_{\mathcal {O}_{l+1}}\) is trivial. Define \({\text {cond}}(a)\) to be the conductor of \(\psi _a\) for \(a\in K\). The difference between \({\text {cond}}(a)\) and \({\text {ord}}(a)\) is given by the difference of K over \(K_0\). The following lemma will be used repeatedly.
Lemma 4.4
Let \(\phi :K\rightarrow \mathbb {T}\) be a character of conductor l. We have
Proof
Note that \(\int _{A_n}\phi (x){\text {d}}x=\int _{\mathcal {O}_n}\phi (x){\text {d}}x-\int _{\mathcal {O}_{n+1}}\phi (x){\text {d}}x\). In the first case, both terms are 0. In the second case, the first term is 0 and the second term is \(-\mu (\mathcal {O}_{l+1})\). In the third case, \(\phi \) is trivial on \(A_n\). The lemma follows. \(\square \)
For \(n\in \mathbb {Z}\), define \(\delta (n)={\left\{ \begin{array}{ll} q^{2n} &{}\text { if }n<0,\\ q^{-n} &{}\text { if }n\ge 0. \end{array}\right. }\) Then,
Lemma 4.5
For any \(m\in \mathbb {Z}\), the number
is a nonzero rational number.
Proof
The rationality follows from equation (4.4). It is also easy to check that \(D_m>0\) if \(m<0\) and \(D_m<0\) if \(m\ge 0\). The lemma follows. \(\square \)
4.2.1 Case \(G=(K,+)\)
Let \(f:K\rightarrow \mathbb {C}\) be given by
where \(\mathbf{1}_{A_n}\) is the characteristic function for the set \(A_n\). It is easy to see that \(f\in L^2(K)\). Denote by c the function \(c_{f,f}\) given by equation (1.2). We have the following result.
Proposition 4.6
With the notation as above,
-
1.
if \(p\ne 2\), then \(c(a,b)\ne 0\) for all \((a,b)\in K\times K\);
-
2.
if \(p=2\), then \(c(a,b)= 0\) if and only if \({\text {cond}}(a)\ge {\text {ord}}(b)\) and \(\psi (-ab)=-1\).
Proof
Let l and m be the conductor of a and the order of b, respectively. Then,
If \(n>m\), then \({\text {ord}}(x+b)=m\) for \(x\in A_n\) and
If \(n<m\), then \({\text {ord}}(x+b)=n\) for \(x\in A_n\) and
Therefore,
Let \(\mathcal {O}_{m,-b}\) be the set \(\{x\in \mathcal {O}_m\mid x\equiv -b\pmod {\pi ^{m+1}}\}\) and let \(\mathcal {O}_{m,-b}^c=\mathcal {O}_m-\mathcal {O}_{m,-b}\). Then \(\mu (\mathcal {O}_{m,-b}^c)=\mu (A_m)\). Moreover, as \((b+\mathcal {O}_{m,-b})=\mathcal {O}_{m+1}=\bigsqcup _{n\ge m+1}A_n\), we have
Case \(l\le m-1\). In this case, \(\psi (ax)=1\) for \(x\in A_m\). By Lemma 4.4, we have
Here, the term \(\sum _{n=l+1}^{m-1}\delta (n)^2\mu (A_n)=0\) if \(l=m-1\). Note that
Here, the last identity follows from equation (4.7). Therefore, \(\int _{A_m}f(x+b){\text {d}}x\) is a positive rational number as \(\mu (A_m)\ge \mu (\mathcal {O}_{m+1})\).
-
If \(m-1<0\), then \(l<0\). As \(\mu (A_l)= (q-1)\mu (\mathcal {O}_{l+1})\), we have
$$\begin{aligned} \begin{aligned} c(a,b)&\ge \delta (m)\sum _{n=1}^{+\infty }\delta (n)\mu (A_n)-\frac{1}{q-1}\delta (l)^2\mu (A_l)\\&=q^{2l-1} \left( \frac{q^{2(m-l)}}{q+1}-q^l \right) >0. \end{aligned} \end{aligned}$$ -
If \(m-1\ge 0\) and \(l<0\), then
$$\begin{aligned} c(a,b)>\delta (1)^2\mu (A_1)-\frac{1}{q-1}\delta (l)^2\mu (A_l)\ge 0. \end{aligned}$$ -
If \(m-1\ge 0\) and \(l\ge 0\), then \(\delta (l)>\delta (l+1)>\cdots \) and
$$\begin{aligned} \begin{aligned} c(a,b)=&-\frac{1}{q-1}\delta (l)^2\mu (A_l)-\delta (m)^2\mu (\mathcal {O}_{m+1})+\sum _{n=l+1}^{m}\delta (n)^2\mu (A_n)\\&+2\delta (m)\sum _{n=m+1}^{+\infty }\delta (n)\mu (A_n)\\<&-\frac{1}{q-1}\delta (l)^2\mu (A_l)+2\delta (l+1)\sum _{n=l+1}^{+\infty }\delta (n)\mu (A_n)\\ =&q^{-3l-2}\left( -q+\frac{2}{q+1}\right) <0. \end{aligned} \end{aligned}$$
Thus, the claims hold if \(l<m\).
Case \(l=m\). In this case, by Lemma 4.4, we have
Let \(\mathcal {O}_{m,-b}^{n}\) (\(n\ge m+1\)) be the set \(\{x\in \mathcal {O}_{m,-b}\mid {\text {ord}}(x+b)=n\}\). First, we have
Note that
and
Combining the above equations, we have
If p is an odd prime, \(1+\psi (-ab)\ne 0\). Hence if \(l=m\), the claims hold by Lemma 4.5.
Case \(l>m\). By Lemma 4.4 again, we have
Moreover,
and
Therefore,
If \(l>m\), the claims hold as in the case \(l=m\). The proposition then follows. \(\square \)
Remark 4.7
If \(p=2\), the function constructed above is not a maximal spanning vector, as the set \(\{(a,b)\in K\times K\mid {\text {cond}}(a)\ge {\text {ord}}(b)\text { and }\psi (-ab)=-1\}\) has positive measure. Note that the problem remains if we change the values of \(\delta (n)\), the functions of type \(\sum _{n\in \mathbb {Z}}\beta (n)\mathbf{1}_{A_n}\) are not maximal spanning vectors.
4.2.2 Case \(G=(\mathcal {O},+)\)
If \(p\ne 2\) and \(G=\mathcal {O}\), let \(g\in L^2(\mathcal {O})\) be the restriction \(f|_{\mathcal {O}}\), i.e.
Then, similar argument as above shows that \(c_{g,g}(a,b)\ne 0\) for all \((a,b)\in \widehat{\mathcal {O}}\times \mathcal {O}\).
References
Balan, R., Casazza, P.G., Edidin, D.: On signal reconstruction without phase. Appl. Comput. Harmon. Anal. 20, 345–356 (2006)
Balan, R., Casazza, P. G., Edidin, D.: On Signal Reconstruction from the Absolute Value of the Frame Coefficients. Proceedings of SPIE, Vol. 5914 591415 (1-8) (2005)
Balan, R., Casazza, P.G., Edidin, D.: Equivalence of reconstruction from the absolute value of the frame coefficients to a sparse representation problem. IEEE Signal Process. Lett. 14(5), 341–343 (2007)
Balan, B., Bodmann, B.G., Casazza, P.G., Edidin, D.: Painless reconstruction from magnitudes of frame vectors. J. Fourier Anal. Appl. 15, 488–501 (2009)
Balan, R., Bodmann, B.G., Casazza, P.G., Edidin, D.: Fast algorithms for signal reconstruction without phase. Proc. SPIE Wavelets XII San Diego 6701, 670111920–670111932 (2007)
Bodmann, B. G., Casazza, P. G., Edidin, D., Balan, R.: Frames for Linear Reconstruction without Phase, In: 2008 42nd Annual Conference on Information Sciences and Systems, 721–726 (2008)
Bojarovska, I., Flinth, A.: Phase retrieval from Gabor measurements. J. Fourier Anal. Appl. 22, 542–567 (2016)
Bump, D.: Automorphic Forms and Representations. Cambridge University Press, Cambridge (1998). ISBN 0-521-55098-X
Cheng, C.: A character theory for projective representations of finite groups. Linear Algebra Appl. 469(15), 230–242 (2015)
Cheng, C., Han, D.: On twisted group frames. Linear Algebra Appl. 569, 285–310 (2019)
Cheng, C., Li, G.: Analysis on locally compact groups and continuous frames with symmetries. Preprint
Christensen, O.: An introduction to frames and Riesz bases: second edition. ISSN 2296-5009. Birkhäuse (2015)
Deitmar, A., Echterhoff, S.: Principles of harmonic analysis: second edition. ISSN 0172-5939. Springer (2014)
G. B. Folland. A course in abstract harmonic analysis. CRC Press Taylor and Francis Group. ISBN: 978-1-4987-2715-0
Gabardo, J.-P., Han, D.: Frame representations for group-like unitary operator systems. J. Operator Theory 49, 223–244 (2003)
Gröchenig, K.: Aspects of Gabor analysis on locally compact abelian groups. In Gabor analysis and algorithms, Appl. Numer. Harmon. Anal., Birkhäuser Boston, Boston, MA, pp. 211–231 (1998)
Gröchenig, K.: Foundations of time-frequency analysis. Applied and Numerical Harmornic Analysis. Birkhäuser Boston Inc, Boston, MA (2001)
Gröchenig, K., Jaming, P., Malinnikova, E.: Zeros of the Wigner distribution and the short-time Fourier transform. Rev. Mat. Complut. 33(3), 723–744 (2020)
Holzherr, A. K.: Type I multiplier representations of locally compact groups. Thesis (1982)
Howe, R.: On the role of the Heisenberg group in harmonic analysis. Bull. Amer. Math. Soc. (N.S.) 3, no. 2, 821–843 (1980)
Kleppner, A.: Multipliers on abelian groups. Math. Ann. 158, 11–34 (1965)
Kleppner, A.: Continuity and measurability of multiplier and projective representations. J. Funct. Anal. 17, 214–226 (1974)
Lawrence, J., Pfander, G.E., Walnut, D.: Linear independence of Gabor systems in finite dimensional vector spaces. J. Fourier Anal. Appl. 11(6), 716–726 (2005)
Li, L., Juste, T., Brennan, J., Cheng, C., Han, D.: Phase retrievable projective representation frames for finite abelian groups. J. Fourier Anal. Appl. 25, 86–100 (2019)
Neukirch, J.: Algebraic number theory. ISBN 3-540-65399-6 Springer, Berlin (1999)
Rahimi, A., Najati, A., Dehghan, Y.N.: Continuous frames in Hilbert spaces. Methods Funct. Anal. Topol. 12(2), 170–182 (2006)
Stein, E. M., Shakarchi, R.: Complex analysis. Princeton Lectures in Analysis II, ISBN: 9787510040542. Princeton University Press, Princeton (2012)
Tate, J.: Fourier analysis in number fields, and Hecke’s zeta-functions. Algebraic Number Theory (Proc. Instructional Conf., Brighton, 1965), Thompson, Washington, D.C., pp. 305–347 (1967)
Acknowledgements
The authors would like to thank the referee for comments and suggestions, which improved the paper substantially. C. Cheng was supported by NSFC 11701272.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Michael Frank.
Rights and permissions
About this article
Cite this article
Cheng, C., Lo, WL. & Xu, H. Phase retrieval for continuous Gabor frames on locally compact abelian groups. Banach J. Math. Anal. 15, 32 (2021). https://doi.org/10.1007/s43037-020-00118-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s43037-020-00118-2
Keywords
- The Stone–von Neumann theorem
- Continuous frame
- Maximal spanning vector
- Phase retrieval
- Fourier analysis on local fields