[论文解读] Tiling Problems on Baumslag-Solitar groups

Nathalie Aubrun, Jarkko Kari|arXiv (Cornell University)|Sep 5, 2013

Cellular Automata and Applications参考文献 12被引用 6

一句话总结

本文在所有 m,n > 0 的 Baumslag-Solitar 群 BS(m,n) 上構造了一個弱周期性磚塊集合，證明了這些群上的多米諾問題是不可判定的。透過將分段仿射映射與圖靈機編碼到鋪砌中，作者展示了非遞歸（非遞歸）磚塊集合的存在，進而確立了在非本質自由群設定下的基本不可判定性與非周期性結果。

ABSTRACT

We exhibit a weakly aperiodic tile set for Baumslag-Solitar groups, and prove that the domino problem is undecidable on these groups. A consequence of our construction is the existence of an arecursive tile set on Baumslag-Solitar groups.

研究动机与目标

• 研究非本質自由的有限表示群上多米諾問題的可判定性。
• 在 Baumslag-Solitar 群上構造一個弱周期性磚塊集合，這些群是具有可判定字問題的兩生成元、單關係群。
• 證明這些群上多米諾問題的不可判定性，將已知結果從 Z² 延伸至更廣泛的群。
• 展示 BS(m,n) 上非遞歸磚塊集合的存在，即存在有效鋪砌，但所有鋪砌均非遞歸。
• 在非歐幾何群設定中，提供鋪砌動力學與計算不可判定性之間的構造性連結。

提出的方法

• 作者在 Baumslag-Solitar 群 BS(m,n) 的凱萊圖上定義 Wang 磚塊，使用邊緣著色約束來編碼局部鋪砌規則。
• 他們在 BS(3,2) 上構造了一個包含 46 個磚塊的特定磚塊集合，其中 36 個用於乘以 2，10 個用於乘以 2/3，並利用進位值來編碼算術動力學。
• 該磚塊集合實現了一個動力系統 T，用於模擬在實數上乘以 m 和除以 n，其週期性與非週期性由 log_m(n) 的無理性所決定。
• 該構造將分段仿射映射的死亡問題的不可判定性歸約至 BS(m,n) 上的多米諾問題，並利用已知的不可判定性結果。
• 透過編碼一個在所有遞歸輸入上停機，但在某些非遞歸輸入上不停機的圖靈機，他們證明了有效鋪砌存在，但所有鋪砌均非遞歸。
• 證明依賴於群透過平移作用於鋪砌的事實，且鋪砌動力學中缺乏週期性確保了弱非週期性。

实验结果

研究问题

• RQ1 對於所有 m,n > 0，Baumslag-Solitar 群 BS(m,n) 上是否存在一個弱周期性磚塊集合？
• RQ2 儘管 BS(m,n) 群具有可判定字問題且非本質自由，其多米諾問題是否仍不可判定？
• RQ3 在非阿們、非本質自由的群（如 BS(m,n)）上，非遞歸（非遞歸）磚塊集合是否可能存在？
• RQ4 分段仿射映射的動力學能否在非歐幾何群圖上有效編碼至鋪砌中？
• RQ5 BS(m,n) 的代數結構與非週期性鋪砌的存在之間存在何種關係？

主要发现

• 對於所有 m,n > 0，BS(m,n) 上存在弱周期性磚塊集合，並在 BS(3,2) 上明確構造出包含 46 個磚塊的集合。
• 所有 Baumslag-Solitar 群 BS(m,n) 上的多米諾問題均不可判定，其證明基於分段仿射映射死亡問題的不可判定性的歸約。
• BS(m,n) 上存在非遞歸磚塊集合，即存在有效鋪砌，但所有此類鋪砌均非遞歸，從而展示了一種新的不可判定形式。
• 該磚塊集合編碼了一個動力系統，可模擬在實數上乘以 m 和除以 n，其週期性由 log_m(n) 的無理性決定。
• 該構造可推廣至所有 BS(m,n)，具有相同的證明結構與非週期性性質，且與 m 和 n 是否互質無關。
• 結果表明，即使在非阿們、非本質自由且具有可判定字問題的群中，鋪砌問題仍可能不可判定，並支援非遞歸解。