-
HRT Conjecture and Linear Independence of Translates on the Heisenberg Group
Authors:
Brad Currey,
Vignon Oussa
Abstract:
We prove that the HRT (Heil, Ramanathan, and Topiwala) conjecture is equivalent to the conjecture that finite translates of square-integrable functions on the Heisenberg group are linearly independent.
We prove that the HRT (Heil, Ramanathan, and Topiwala) conjecture is equivalent to the conjecture that finite translates of square-integrable functions on the Heisenberg group are linearly independent.
△ Less
Submitted 26 November, 2018;
originally announced November 2018.
-
A classification of continuous wavelet transforms in dimension three
Authors:
Bradley Currey,
Hartmut Führ,
Vignon Oussa
Abstract:
This paper presents a full catalogue, up to conjugacy and subgroups of finite index, of all matrix groups $H < {\rm GL}(3,\mathbb{R})$ that give rise to a continuous wavelet transform with associated irreducible quasi-regular representation. For each group in this class, coorbit theory allows to consistently define spaces of sparse signals, and to construct atomic decompositions converging simulta…
▽ More
This paper presents a full catalogue, up to conjugacy and subgroups of finite index, of all matrix groups $H < {\rm GL}(3,\mathbb{R})$ that give rise to a continuous wavelet transform with associated irreducible quasi-regular representation. For each group in this class, coorbit theory allows to consistently define spaces of sparse signals, and to construct atomic decompositions converging simultaneously in a whole range of these spaces. As an application of the classification, we investigate the existence of compactly supported admissible vectors and atoms for the groups.
△ Less
Submitted 25 October, 2016;
originally announced October 2016.
-
Integrable wavelet transforms with abelian dilation groups
Authors:
Bradley Currey,
Hartmut Führ,
Keith Taylor
Abstract:
We consider a class of semidirect products $G = \mathbb{R}^n \rtimes H$, with $H$ a suitably chosen abelian matrix group. The choice of $H$ ensures that there is a wavelet inversion formula, and we are looking for criteria to decide under which conditions there exists a wavelet such that the associated reproducing kernel is integrable.
It is well-known that the existence of integrable wavelet co…
▽ More
We consider a class of semidirect products $G = \mathbb{R}^n \rtimes H$, with $H$ a suitably chosen abelian matrix group. The choice of $H$ ensures that there is a wavelet inversion formula, and we are looking for criteria to decide under which conditions there exists a wavelet such that the associated reproducing kernel is integrable.
It is well-known that the existence of integrable wavelet coefficients is related to the question whether the unitary dual of $G$ contains open compact sets. Our main general result reduces the latter problem to that of identifying compact open sets in the quotient space of all orbits of maximal dimension under the dual action of $H$ on $\mathbb{R}^n$. This result is applied to study integrability for certain families of dilation groups; in particular, we give a characterization valid for connected abelian matrix groups acting in dimension three.
△ Less
Submitted 10 July, 2015;
originally announced July 2015.
-
Decompositions of Generalized Wavelet Representations
Authors:
B. Currey,
A. Mayeli,
V. Oussa
Abstract:
Let $N$ be a simply connected, connected nilpotent Lie group which admits a uniform subgroup $Γ.$ Let $α$ be an automorphism of $N$ defined by $α\left( \exp X\right) =\exp AX.$ We assume that the linear action of $A$ is diagonalizable and we do not assume that $N$ is commutative. Let $W$ be a unitary wavelet representation of the semi-direct product group…
▽ More
Let $N$ be a simply connected, connected nilpotent Lie group which admits a uniform subgroup $Γ.$ Let $α$ be an automorphism of $N$ defined by $α\left( \exp X\right) =\exp AX.$ We assume that the linear action of $A$ is diagonalizable and we do not assume that $N$ is commutative. Let $W$ be a unitary wavelet representation of the semi-direct product group $\left\langle \cup_{j\in\mathbb{Z}}α^{j}\left( Γ\right) \right\rangle \rtimes\left\langle α\right\rangle $ defined by $W\left( γ,1\right) =f\left( γ^{-1}x\right) $ and $W\left( 1,α\right) =\left\vert \det A\right\vert ^{1/2}f\left( αx\right) .$ We obtain a decomposition of $W$ into a direct integral of unitary representations. Moreover, we provide an explicit unitary operator intertwining the representations, a precise description of the representations occurring, the measure used in the direct integral decomposition and the support of the measure. We also study the irreducibility of the fiber representations occurring in the direct integral decomposition in various settings. We prove that in the case where $A$ is an expansive automorphism then the decomposition of $W$ is in fact a direct integral of unitary irreducible representations each occurring with infinite multiplicities if and only if $N$ is non-commutative. This work naturally extends results obtained by H. Lim, J. Packer and K. Taylor who obtained a direct integral decomposition of $W$ in the case where $N$ is commutative and the matrix $A$ is expansive, i.e. all eigenvalues have absolute values larger than one.
△ Less
Submitted 5 February, 2014; v1 submitted 9 January, 2014;
originally announced January 2014.
-
Shift-invariant spaces on SI/Z Lie groups
Authors:
Bradley Currey,
Azita Mayeli,
Vignon Oussa
Abstract:
Given a simply connected nilpotent Lie group having unitary irreducible representations that are square-integrable modulo the center (SI/Z), we develop a notion of periodization on the group Fourier transform side, and use this notion to give a characterization of shift-invariant spaces in $L^2(N)$ in terms of range functions. We apply these results to study the structure of frame and Reisz famili…
▽ More
Given a simply connected nilpotent Lie group having unitary irreducible representations that are square-integrable modulo the center (SI/Z), we develop a notion of periodization on the group Fourier transform side, and use this notion to give a characterization of shift-invariant spaces in $L^2(N)$ in terms of range functions. We apply these results to study the structure of frame and Reisz families for shift-invariant spaces. We illustrate these results for the Heisenberg group as well as for other groups with SI/Z representations.
△ Less
Submitted 29 May, 2012;
originally announced May 2012.
-
Admissibility For Monomial Representations of Exponential Lie Groups
Authors:
Bradley Currey,
Vignon Oussa
Abstract:
Let $G$ be a simply connected exponential solvable Lie group, $H$ a closed connected subgroup, and let $τ$ be a representation of $G$ induced from a unitary character $χ_f$ of $H$. The spectrum of $τ$ corresponds via the orbit method to the set $G\cdot A_τ/ G$ of coadjoint orbits that meet the spectral variety $A_τ= f + \h^\perp$. We prove that the spectral measure of $τ$ is absolutely continuous…
▽ More
Let $G$ be a simply connected exponential solvable Lie group, $H$ a closed connected subgroup, and let $τ$ be a representation of $G$ induced from a unitary character $χ_f$ of $H$. The spectrum of $τ$ corresponds via the orbit method to the set $G\cdot A_τ/ G$ of coadjoint orbits that meet the spectral variety $A_τ= f + \h^\perp$. We prove that the spectral measure of $τ$ is absolutely continuous with respect to the Plancherel measure if and only if $H$ acts freely on some point of $A_τ$. As a corollary we show that if $G$ is nonunimodular, then $τ$ has admissible vectors if and only if the preceding orbital condition holds.
△ Less
Submitted 20 November, 2011;
originally announced November 2011.
-
The orthonormal dilation property for abstract Parseval wavelet frames
Authors:
by Bradley Currey,
Azita Mayeli
Abstract:
In this work we introduce a class of discrete groups containing subgroups of abstract translations and dilations, respectively. A variety of wavelet systems can appear as $π(\G)ψ$, where $π$ is a unitary representation of a wavelet group and $\G$ is the abstract pseudo-lattice $\G$. We prove a condition in order that a Parseval frame $π(\G)ψ$ can be dilated to an orthonormal basis of the form…
▽ More
In this work we introduce a class of discrete groups containing subgroups of abstract translations and dilations, respectively. A variety of wavelet systems can appear as $π(\G)ψ$, where $π$ is a unitary representation of a wavelet group and $\G$ is the abstract pseudo-lattice $\G$. We prove a condition in order that a Parseval frame $π(\G)ψ$ can be dilated to an orthonormal basis of the form $τ(\G)Ψ$ where $τ$ is a super-representation of $π$. For a subclass of groups that includes the case where the translation subgroup is Heisenberg, we show that this condition always holds, and we cite familiar examples as applications.
△ Less
Submitted 4 August, 2010;
originally announced August 2010.
-
A Density Condition for Interpolation on the Heisenberg Group
Authors:
Bradley Currey,
Azita Mayeli
Abstract:
Let $N$ be the Heisenberg group. We consider left-invariant multiplicity free subspaces of $L^2(N)$. We prove a necessary and sufficient density condition in order that such subspaces possess the interpolation property with respect to a class of discrete subsets of $N$ that includes the integer lattice. We exhibit a concrete example of a subspace that has interpolation for the integer lattice, and…
▽ More
Let $N$ be the Heisenberg group. We consider left-invariant multiplicity free subspaces of $L^2(N)$. We prove a necessary and sufficient density condition in order that such subspaces possess the interpolation property with respect to a class of discrete subsets of $N$ that includes the integer lattice. We exhibit a concrete example of a subspace that has interpolation for the integer lattice, and we also prove a necessary and sufficient condition for shift invariant subspaces to possess a singly-generated orthonormal basis of translates.
△ Less
Submitted 23 July, 2010;
originally announced July 2010.
-
Gabor fields and wavelet sets for the Heisenberg group
Authors:
Bradley Currey,
Azita Mayeli
Abstract:
We study singly-generated wavelet systems on $\Bbb R^2$ that are naturally associated with rank-one wavelet systems on the Heisenberg group $N$. We prove a necessary condition on the generator in order that any such system be a Parseval frame. Given a suitable subset $I$ of the dual of $N$, we give an explicit construction for Parseval frame wavelets that are associated with $I$. We say that…
▽ More
We study singly-generated wavelet systems on $\Bbb R^2$ that are naturally associated with rank-one wavelet systems on the Heisenberg group $N$. We prove a necessary condition on the generator in order that any such system be a Parseval frame. Given a suitable subset $I$ of the dual of $N$, we give an explicit construction for Parseval frame wavelets that are associated with $I$. We say that $g\in L^2(I\times \Bbb R)$ is Gabor field over $I$ if, for a.e. $λ\in I$, $|λ|^{1/2} g(λ,\cdot)$ is the Gabor generator of a Parseval frame for $L^2(\Bbb R)$, and that $I$ is a Heisenberg wavelet set if every Gabor field over $I$ is a Parseval frame (mother-)wavelet for $L^2(\Bbb R^2)$. We then show that $I$ is a Heisenberg wavelet set if and only if $I$ is both translation congruent with a subset of the unit interval and dilation congruent with the Shannon set.
△ Less
Submitted 19 May, 2009; v1 submitted 28 March, 2009;
originally announced March 2009.
