{"entities":{"Q6046528":{"pageid":13180684,"ns":120,"title":"Item:Q6046528","lastrevid":58664829,"modified":"2026-04-06T05:59:23Z","type":"item","id":"Q6046528","labels":{"en":{"language":"en","value":"Completeness of certain exponential systems and zeros of lacunary polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7684527"}},"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":"Q6046528$7101D31E-EA8C-4FBD-97C2-22030D79E656","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b79b2ce63bc8ff6c45d0501c5903092aa3f1f374","datavalue":{"value":{"text":"Completeness of certain exponential systems and zeros of lacunary polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6046528$78A79730-FD06-49E2-BB4F-6B3CE7955BE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"378254f5ee706059fdf40db4d1428603ff8282d9","datavalue":{"value":"1518.42044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6046528$E6ABC92E-BC6B-4E4A-AC74-E799A1F7DD1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebf134e4ea49976025279b33c08613597b0b7f18","datavalue":{"value":{"entity-type":"item","numeric-id":2046350,"id":"Q2046350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046528$6DE44437-87C5-43FD-A0CB-7C08104AE5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"919ac1ee363b0f07a64e5ac9512698c148f5aa41","datavalue":{"value":{"entity-type":"item","numeric-id":591918,"id":"Q591918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046528$9B9856E7-4BAE-406A-9C39-DE1475BE0482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"819e8c257f8bb57a8b0078c9e63a2d6dd9a82a8f","datavalue":{"value":{"entity-type":"item","numeric-id":722376,"id":"Q722376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046528$5211D45C-0898-4D84-A61D-4F22EFCBC9C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046528$1E72A25E-E80B-4F73-B711-BFC0FF0B9579","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19017a32ebba0dcced03911c093c22569ec7a3f1","datavalue":{"value":{"time":"+2023-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6046528$4F99866B-8CAC-42AE-98DA-0675A5545CEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93c93fad53e48a95be479921032673dbcebc811a","datavalue":{"value":"https://arxiv.org/abs/2210.00504","type":"string"},"datatype":"url"},"type":"statement","id":"Q6046528$15BA549F-1AF9-4FA4-8FB3-C3724D84FC65","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f342af7e2d1a16f1ab67e59cda24c4e186c94aa9","datavalue":{"value":"Let \\[ E(\\Lambda)=\\{e^{2\\pi i\\lambda t},\\ \\lambda\\in\\Lambda\\} \\] for a separated set of real numbers \\(\\Lambda\\). Then the completeness and frame problems of \\(E(\\Lambda)\\) for the space \\(L^2(a,b)\\) are stated as follows: Determine if (a) (completeness property of \\(E(\\Lambda)\\)) every function \\(F\\) in \\(L^2(a,b)\\) can be approximated arbitrarily well in the \\(L^2\\)-norm by finite linear combinations of exponential functions from \\(E(\\Lambda)\\); (b) (Frame property of \\(E(\\Lambda)\\)) there exist two positive constants \\(A\\) and \\(B\\) such that \\[ A||F||_2^2\\leq\\sum_{\\lambda\\in\\Lambda}||^2\\leq B||F||_2^2\\quad (\\forall F\\in L^2(a,b)), \\] where \\(<\\cdot,\\cdot>\\) is the usual inner product in \\(L^2(a,b)\\). Moreover, the following notations are defined: \\[ CR(\\Lambda)=\\sup\\{a\\geq0:E(\\Lambda)\\text{ is complete in }L^2(-a,a)\\}; \\] \\[ FR(\\Lambda)=\\sup\\{a\\geq0:E(\\Lambda)\\text{ is a frame in }L^2(-a,a)\\}. \\] Beurling-Malliavin Theorem [\\textit{A. Beurling} and \\textit{P. Malliavin}, Acta Math. 118, 79--93 (1967; Zbl 0171.11901)] and Beurling Sampling Theorem [\\textit{A. Beurling}, The collected works of Arne Beurling. Volume 1: Complex analysis. Volume 2: Harmonic analysis. Ed. by Lennart Carleson, Paul Malliavin, John Neuberger, John Wermer. Boston etc.: Birkh\u00e4user Verlag (1989; Zbl 0732.01042)] stated that \\(CR(\\Lambda)=D^\\ast (\\Lambda)\\) and \\(FR(\\Lambda)=D^{-}(\\Lambda)\\), where \\(D^\\ast\\) is the so-called upper Beurling-Malliavin density and \\(D^{-}\\) is the lower uniform density of \\(\\Lambda\\). In this paper, the authors introduce somewhat more general systems. Let \\(\\Gamma(n)\\subset\\{0,1,2,\\dots\\}\\) for any \\(n\\in\\mathbb{Z}\\), and \\(E(\\mathbb{Z},\\Gamma(n))=\\{t^ke^{2\\pi int}:n\\in\\mathbb{Z},\\ k\\in\\Gamma(n)\\}\\). In this paper, the authors study the completeness and frame properties of the system \\(E(\\mathbb{Z},\\Gamma(n))\\): \\begin{itemize} \\item[(1)](completeness property of \\(E(\\mathbb{Z},\\Gamma(n))\\)) every function in \\(L^2(a,b)\\) can be approximated arbitrarily well in \\(L^2\\)-norm by finite linear combinations of exponential functions from \\(E(\\mathbb{Z},\\Gamma(n))\\); \\item[(2)](frame property of \\(E(\\mathbb{Z},\\Gamma(n))\\)) there exist two positive constants \\(A\\) and \\(B\\) such that \\[ A||F||^2_2\\leq\\sum_{\\lambda\\in\\Lambda}||^2\\leq B||f||^2_2\\quad (\\forall F\\in L^2(a,b)), \\] where \\(<\\cdot,\\cdot>\\) is the usual inner product in \\(L^2(a,b)\\). \\end{itemize} For the sake of the results, they define some notations: for \\(\\Gamma=\\Gamma(n)\\ni0\\), \\[ CR(\\mathbb{Z},\\Gamma)= \\sup\\{a\\geq0:\\ E(\\mathbb{Z},\\Gamma)\\text{ is complete in } L^2(-a,a)\\}, \\] \\[ FR(\\mathbb{Z},\\Gamma) = \\sup\\{a\\geq0:\\ E(\\mathbb{Z},\\Gamma)\\text{ is a frame in }L^2(-a,a)\\}, \\] \\[ CR_c(\\mathbb{Z},\\Gamma) = \\sup\\{a\\geq0:\\ E(\\mathbb{Z},\\Gamma)\\text{ is complete in } C([-a,a])\\}, \\] \\[ \\Gamma_{\\mathrm{even}} = \\Gamma\\cap 2\\mathbb{Z}, \\] \\[ \\Gamma_{\\mathrm{odd}} = \\Gamma\\cap(2\\mathbb{Z}+1), \\] and \\[ r(\\Gamma)=\\left\\{\\begin{array}{ll} \\#\\Gamma_{\\mathrm{odd}}+\\frac{1}{2},& \\text{ if }\\ \\#\\Gamma_{\\mathrm{odd}}<\\#\\Gamma_{\\mathrm{even}}\\\\ \\#\\Gamma_{\\mathrm{even}},& \\text{ if }\\ \\#\\Gamma_{\\mathrm{odd}}\\geq\\#\\Gamma_{\\mathrm{even}}. \\end{array}\\right. \\] Also, given any finite set \\(M\\subset\\{0,1,2,\\dots\\},\\) let \\(P(M)\\) denote the set \\[ P(M)=\\{P(x)=\\sum_{m_j\\in M}c_jx^{m_j}:c_j\\in\\mathbb{C}\\}. \\] Moreover, given \\(N\\) distinct real numbers \\(t_1,t_2,\\dots,t_N\\), let \\[ S(t_1,t_2,\\dots,t_N)=\\{(-1)^kt_k\\}_{k=1}^N. \\] The authors show the following results: Theorem 1. Given any finite or infinite set \\(\\Gamma\\subset\\{0,1,2,\\dots\\}\\) satisfying \\(0\\in\\Gamma.\\) Then \\begin{itemize} \\item[(i)]\\(CR(\\mathbb{Z},\\Gamma)=\\#\\Gamma/2,\\) \\item[(ii)]\\(CR_c(\\mathbb{Z},\\Gamma)=FR(\\mathbb{Z},\\Gamma)=r(\\Gamma).\\) \\end{itemize} Theorem 2. Assume that \\[ 0