<p>We consider finite sets <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40687_2025_509_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(A\subset {\mathbb {Z}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>⊂</mo> <mi mathvariant="double-struck">Z</mi> </mrow> </math></EquationSource> </InlineEquation> that tiles the integers by translations. By periodicity, any such tiling is equivalent to a factorization <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40687_2025_509_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\(A\oplus B={\mathbb {Z}}_M\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>⊕</mo> <mi>B</mi> <mo>=</mo> <msub> <mi mathvariant="double-struck">Z</mi> <mi>M</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> of a finite cyclic group. We prove that a tentative characterization of finite tiles proposed by Coven and Meyerowitz holds for all integer tilings of period <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40687_2025_509_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="103" /> </InlineMediaObject> <EquationSource Format="TEX">\(M=(p_ip_jp_k)^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>=</mo> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>p</mi> <mi>i</mi> </msub> <msub> <mi>p</mi> <mi>j</mi> </msub> <msub> <mi>p</mi> <mi>k</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40687_2025_509_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(p_i,p_j,p_k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>p</mi> <mi>i</mi> </msub> <mo>,</mo> <msub> <mi>p</mi> <mi>j</mi> </msub> <mo>,</mo> <msub> <mi>p</mi> <mi>k</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> are distinct primes. This extends our earlier result for odd <i>M</i>.</p>

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

The Coven–Meyerowitz tiling conditions for three prime factors: the even case

  • Izabella Łaba,
  • Itay Londner

摘要

We consider finite sets \(A\subset {\mathbb {Z}}\) A Z that tiles the integers by translations. By periodicity, any such tiling is equivalent to a factorization \(A\oplus B={\mathbb {Z}}_M\) A B = Z M of a finite cyclic group. We prove that a tentative characterization of finite tiles proposed by Coven and Meyerowitz holds for all integer tilings of period \(M=(p_ip_jp_k)^2\) M = ( p i p j p k ) 2 , where \(p_i,p_j,p_k\) p i , p j , p k are distinct primes. This extends our earlier result for odd M.