<p>We show that translational tiling problems in a quotient of ℤ<sup><i>d</i></sup> can be effectively reduced or “simulated” by translational tiling problems in ℤ<sup><i>d</i></sup>. In particular, for any <i>d</i> ∈ ℕ, <i>k</i> &lt; <i>d</i> and <i>N</i><sub>1</sub>, …, <i>N</i><sub><i>k</i></sub> ∈ ℕ the existence of an aperiodic tile in ℤ<sup><i>d</i>−<i>k</i></sup> × (ℤ/<i>N</i><sub>1</sub>ℤ × ⋯ × ℤ/<i>N</i><sub><i>k</i></sub>ℤ) implies the existence of an aperiodic tile in ℤ<sup><i>d</i></sup>. Greenfeld and Tao have recently disproved the well-known periodic tiling conjecture in ℤ<sup><i>d</i></sup> for sufficiently large <i>d</i> ∈ ℕ by constructing an aperiodic tile in ℤ<sup><i>d</i>−<i>k</i></sup> × (ℤ/<i>N</i><sub>1</sub>ℤ × ⋯ × ℤ/<i>N</i><sub><i>k</i></sub>ℤ) for a suitable <i>d, N</i><sub>1</sub>,⋯, <i>N</i><sub><i>k</i></sub> ∈ ℕ.</p>

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

A note on reduction of tiling problems

  • Tom Meyerovitch,
  • Shrey Sanadhya,
  • Yaar Solomon

摘要

We show that translational tiling problems in a quotient of ℤd can be effectively reduced or “simulated” by translational tiling problems in ℤd. In particular, for any d ∈ ℕ, k < d and N1, …, Nk ∈ ℕ the existence of an aperiodic tile in ℤdk × (ℤ/N1ℤ × ⋯ × ℤ/Nkℤ) implies the existence of an aperiodic tile in ℤd. Greenfeld and Tao have recently disproved the well-known periodic tiling conjecture in ℤd for sufficiently large d ∈ ℕ by constructing an aperiodic tile in ℤdk × (ℤ/N1ℤ × ⋯ × ℤ/Nkℤ) for a suitable d, N1,⋯, Nk ∈ ℕ.