<p>This paper has three aims. First, for <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1911_Article_IEq4.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n \ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> we construct a family of real-rooted trigonometric polynomial maps <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1911_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="93" /> </InlineMediaObject> <EquationSource Format="TEX">\(P: \mathbb {C}^n \mapsto \mathbb {C}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mo>:</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mi>n</mi> </msup> <mo>↦</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> whose divisors are Fourier Quasicrystals (FQ). For <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1911_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(n = 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> these divisors include the first nontrivial FQ with positive integer coefficients constructed by Kurasov and Sarnak&#xa0;(J Math Phys 61:083501, 2020), and for <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1911_Article_IEq7.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(n &gt; 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> they overlap with Meyer’s curved model sets&#xa0;(Meyer, in: Flandrin et al., Theoretical physics, wavelets, analysis, genomics. applied and numerical harmonic analysis, Birkhäuser, Cham, 2023) and two-dimensional&#xa0;(Meyer, Publ Mat 67(1):469–480, 2023) and multidimensional&#xa0;(Meyer, Trans R Norw Soc Sci Lett 1:1–24, 2023) crystalline measures. We prove that the divisors are FQ by directly computing their Fourier transforms using a formula derived in Lawton (J Geom Anal 32:60, 2022). Second, we extend the relationship between real-rootedness and amoebas, derived for <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1911_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(n = 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> by Alon et al. (J Funct Anal 286(2):110226, 2024), to the case <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1911_Article_IEq9.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(n &gt; 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. The extension uses results in&#xa0;Bushueva and Tsikh (Proc Steklov Inst Math 270:52–63, 2012) about homology of complements of amoebas of algebraic sets of codimension <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1911_Article_IEq10.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(&gt; 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. Third, we prove that the divisors of all uniformly generic real-rooted <i>P</i> are FQ. The proof uses the formula relating Grothendieck residues and Newton polytopes derived by Gelfond and Khovanskii&#xa0;(Dokl Math 54(2):1–5, 1996). Finally, we note that Olevskii and Ulanovskii (Compt Rend Mat 358(11–12):1207–1211, 2020) have proved that all FQ with positive integer weights are divisors of real-rooted trigonometric polynomials for <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1911_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(n = 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> but that the situation for <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1911_Article_IEq12.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(n &gt; 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> remains unsolved.</p>

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

Fourier Quasicrystals on \(\mathbb {R}^n\)

  • Wayne M. Lawton,
  • August K. Tsikh

摘要

This paper has three aims. First, for \(n \ge 1\) n 1 we construct a family of real-rooted trigonometric polynomial maps \(P: \mathbb {C}^n \mapsto \mathbb {C}^n\) P : C n C n whose divisors are Fourier Quasicrystals (FQ). For \(n = 1\) n = 1 these divisors include the first nontrivial FQ with positive integer coefficients constructed by Kurasov and Sarnak (J Math Phys 61:083501, 2020), and for \(n > 1\) n > 1 they overlap with Meyer’s curved model sets (Meyer, in: Flandrin et al., Theoretical physics, wavelets, analysis, genomics. applied and numerical harmonic analysis, Birkhäuser, Cham, 2023) and two-dimensional (Meyer, Publ Mat 67(1):469–480, 2023) and multidimensional (Meyer, Trans R Norw Soc Sci Lett 1:1–24, 2023) crystalline measures. We prove that the divisors are FQ by directly computing their Fourier transforms using a formula derived in Lawton (J Geom Anal 32:60, 2022). Second, we extend the relationship between real-rootedness and amoebas, derived for \(n = 1\) n = 1 by Alon et al. (J Funct Anal 286(2):110226, 2024), to the case \(n > 1\) n > 1 . The extension uses results in Bushueva and Tsikh (Proc Steklov Inst Math 270:52–63, 2012) about homology of complements of amoebas of algebraic sets of codimension \(> 1\) > 1 . Third, we prove that the divisors of all uniformly generic real-rooted P are FQ. The proof uses the formula relating Grothendieck residues and Newton polytopes derived by Gelfond and Khovanskii (Dokl Math 54(2):1–5, 1996). Finally, we note that Olevskii and Ulanovskii (Compt Rend Mat 358(11–12):1207–1211, 2020) have proved that all FQ with positive integer weights are divisors of real-rooted trigonometric polynomials for \(n = 1\) n = 1 but that the situation for \(n > 1\) n > 1 remains unsolved.