{"entities":{"Q842303":{"pageid":844151,"ns":120,"title":"Item:Q842303","lastrevid":57190431,"modified":"2026-03-27T10:32:23Z","type":"item","id":"Q842303","labels":{"en":{"language":"en","value":"Gabor (super)frames with Hermite functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5606235"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842303$F23F8539-0501-4A53-A5E0-71B1A1FE7855","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ee9d891854863a0ceee57607f154e9464ebd899","datavalue":{"value":{"text":"Gabor (super)frames with Hermite functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q842303$7CB176CE-2042-4F6E-AB8C-D1D9716492A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75ac62e58ae1dfe148730e7948a2f8eb086325f3","datavalue":{"value":"1184.42025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q842303$1351530C-761B-462B-8AB0-2ACCD1C5F4F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842303$FC5593A6-417F-43E0-AE01-CFB0163239E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0a9716fc50f09ce133e720357a3a9878d561a90","datavalue":{"value":{"time":"+2009-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q842303$4CBB7A6E-8AA9-40A4-82B0-CCDF0D5BAD0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9a05ba8cf5f4137a82a01f614d4cdaf6c469401","datavalue":{"value":"https://arxiv.org/abs/0804.4613","type":"string"},"datatype":"url"},"type":"statement","id":"Q842303$CD96318F-D8AC-4DD2-91A3-12CD456069DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a9a68bb22f6ed014777f1eae32cdbc55a1a2d18e","datavalue":{"value":"Writing \\(\\pi_{\\lambda}g=e^{2\\pi i\\lambda_2t}g(t-\\lambda_1)\\) for the time-frequency shift by \\(\\lambda=(\\lambda_1,\\lambda_2)\\in{\\mathbb R}^2\\), the set \\[ {\\mathcal G}(g,\\Lambda)=\\{\\pi_{\\lambda}g\\, : \\,\\lambda\\in\\Lambda\\} \\] is called a \\textit{Gabor frame} or \\textit{Weyl-Heisenberg frame}, when there exist constants \\(A,\\,B>0\\) such that for all \\(f\\in L^2({\\mathbb R})\\) \\[ A\\|f\\|^2_{L^2({\\mathbb R})}\\leq \\sum_{\\lambda\\in\\Lambda}\\,|\\langle f,\\pi_{\\lambda}g\\rangle|^2_{L^2({\\mathbb R})} \\leq B\\|f\\|^2_{L^2({\\mathbb R})}.\\tag{1} \\] A \\textit{vector-valued} Gabor frame (introduced under the name ``superframe'') is situated in the Hilbert space \\({\\mathcal H}=L^2({\\mathbb R},{\\mathbb C}^n)\\) of all vector-valued functions \\({\\mathbf f}(t)=(f_1(t),\\dots,f_n(t))\\) with inner product \\[ \\langle{\\mathbf f},{\\mathbf g}\\rangle=\\sum_{j=1}^n\\,\\int_{-\\infty}^{\\infty}\\,f_j(t)\\overline{g_j(t)}dt= \\sum_{j=1}^n\\,\\langle f_j,g_j\\rangle. \\] The \\textit{time-frequency shifts} \\(\\pi_z,\\,z=(x,\\xi)\\) act coordinate wise by \\[ \\pi_z{\\mathbf f}(t)=e^{2\\pi i\\xi t}{\\mathbf f}(t-x). \\] The vector-valued Gabor system \\({\\mathcal G}({\\mathbf g},\\Lambda)=\\{\\pi_{\\lambda}\\text{g}\\,:\\,\\lambda\\in\\Lambda\\}\\) is a frame for \\(L^2({\\mathbb R},{\\mathbb C}^n)\\) if there exist constants \\(A,\\,B>0\\) such that (1) holds with \\(f,\\,g\\) replaced by \\({\\mathbf f},\\,{\\mathbf g}\\) and the norm in \\(L^2({\\mathbb R},{\\mathbb C}^n)\\) is used. The conditions for a set of functions to form a superframe have been studied extensively (a sufficient condition has for instance been given by \\textit{H. F\u00fchr} [ Adv. Comput. Math. 29, No. 4, 357--373 (2008; Zbl 1171.42018)] and the main result of the paper is a necessary \\textit{and} condition. The Hermite functions \\((H_0,\\dots,H_n)\\) are the unique orthonormal set \\(\\{f_0,\\dots,f_n\\}\\) in \\(L^2({\\mathbb R})\\) with \\(n+1\\) elements that satisfies the normalization \\[ \\int_{-\\infty}^{\\infty}\\,t|f_j(t)|^2dt=0,\\;\\int_{-\\infty}^{\\infty}\\,\\xi |\\hat{f}_j(\\xi)|^2d\\xi=0,\\;j=0,\\dots,n \\] such that the uncertainty \\[ \\sum_{j=0}^n\\,\\left(\\int_{-\\infty}^{\\infty}\\,t^2|f_j(t)|^2dt+\\int_{-\\infty}^{\\infty}\\,\\xi^2|\\hat{f}_j(\\xi)|^2d\\xi \\right) \\] is minimized. Consider now the lattice \\(\\Lambda=A{\\mathbb Z}^2\\) for some invertible real-valued \\(2\\times 2\\) matrix \\(A\\) and let \\(s(\\Lambda)=|\\det{A}|\\) be the area of the fundamental domain of \\(\\Lambda\\), then the author proves: Theorem. Let \\({\\mathbf h}=(H_0,\\dots,H_n)\\) be the vector of the first \\(n+1\\) Hermite functions. Then \\({\\mathcal G}({\\mathbf h},\\Lambda)\\) is a frame for \\(L^2({\\mathbb R},{\\mathbb C}^n)\\) if and only if \\(s(\\Lambda)<{1\\over n+1}.\\) Finally a result on the lower frame bound is given for \\(n=0\\): Assume \\(s(\\Lambda)=1\\) and \\(0