<p>We introduce an equivalence relation on the set of lattices in <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2024_10135_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^{2d}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mn>2</mn> <mi>d</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> such that equivalent lattices support identical structures of Gabor systems, up to unitary equivalence—a notion we define. These equivalence classes are parameterized by symplectic forms on <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2024_10135_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^{2d}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mn>2</mn> <mi>d</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> and they consist of lattices related by symplectic transformations. This implies that <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2024_10135_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(2d^2 - d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <msup> <mi>d</mi> <mn>2</mn> </msup> <mo>-</mo> <mi>d</mi> </mrow> </math></EquationSource> </InlineEquation> parameters suffice to describe the possible structures of Gabor systems over lattices in <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2024_10135_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^{2d}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mn>2</mn> <mi>d</mi> </mrow> </msup> </math></EquationSource> </InlineEquation>, as opposed to the <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2024_10135_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(4d^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>4</mn> <msup> <mi>d</mi> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> degrees of freedom in the choice of lattice. We also prove that (modulo a minor complication related to complex conjugation) symplectic transformations are the only linear transformations of the time-frequency plane which implement equivalences of this kind, thereby characterizing symplectic transformations as the structure-preserving transformations of the time-frequency plane in the context of Gabor analysis. In addition, we investigate the equivalence classes that have separable lattices <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2024_10135_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="97" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_1 {\mathbb {Z}}^d\times A_2 {\mathbb {Z}}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>A</mi> <mn>1</mn> </msub> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mi>d</mi> </msup> <mo>×</mo> <msub> <mi>A</mi> <mn>2</mn> </msub> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mi>d</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> as representatives and find that the parameter space in this case is <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2024_10135_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(d^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>d</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>-dimensional. We provide an explicit example showing that non-separable lattices with irrational lattice points can behave exactly like separable and rational ones. This approach also allows us to formulate and prove a higher-dimensional variant of the Lyubarskii-Seip-Wallstén Theorem for Gaussian Gabor frames. This gives us, for a large class of lattices in <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2024_10135_Article_IEq8.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^{2d}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mn>2</mn> <mi>d</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> (including all symplectic ones), necessary and sufficient conditions for <i>d</i>-parameter families of Gaussians to generate Gabor frames.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On the Structure of Multivariate Gabor Systems and a Result on Gaussian Gabor Frames

  • Michael Gjertsen,
  • Franz Luef

摘要

We introduce an equivalence relation on the set of lattices in \({\mathbb {R}}^{2d}\) R 2 d such that equivalent lattices support identical structures of Gabor systems, up to unitary equivalence—a notion we define. These equivalence classes are parameterized by symplectic forms on \({\mathbb {R}}^{2d}\) R 2 d and they consist of lattices related by symplectic transformations. This implies that \(2d^2 - d\) 2 d 2 - d parameters suffice to describe the possible structures of Gabor systems over lattices in \({\mathbb {R}}^{2d}\) R 2 d , as opposed to the \(4d^2\) 4 d 2 degrees of freedom in the choice of lattice. We also prove that (modulo a minor complication related to complex conjugation) symplectic transformations are the only linear transformations of the time-frequency plane which implement equivalences of this kind, thereby characterizing symplectic transformations as the structure-preserving transformations of the time-frequency plane in the context of Gabor analysis. In addition, we investigate the equivalence classes that have separable lattices \(A_1 {\mathbb {Z}}^d\times A_2 {\mathbb {Z}}^d\) A 1 Z d × A 2 Z d as representatives and find that the parameter space in this case is \(d^2\) d 2 -dimensional. We provide an explicit example showing that non-separable lattices with irrational lattice points can behave exactly like separable and rational ones. This approach also allows us to formulate and prove a higher-dimensional variant of the Lyubarskii-Seip-Wallstén Theorem for Gaussian Gabor frames. This gives us, for a large class of lattices in \({\mathbb {R}}^{2d}\) R 2 d (including all symplectic ones), necessary and sufficient conditions for d-parameter families of Gaussians to generate Gabor frames.