Kari-Culik 铺砌的一个最小子系统

Kari-Culik 铺砌由 13 个 Wang 砖块组成，这些砖块仅能以非周期方式铺满平面。它们是已知能实现此目的的最小 Wang 砖块集合，但与其他非周期 Wang 砖块示例相比，对其理解尚不充分。我们证明了平移作用在 Kari-Culik 铺砌的某个特定子集（即那些行可解释为 Sturmian 序列（旋转序列）的铺砌）上的 $\mathbb{Z}^2$ 作用是最小的。我们将该空间刻画为斜积，并给出了 $m\times n$ 构型出现之间等待时间的显式界限。