×

Jeandel-Rao非周期瓷砖的替代结构。 (英语) Zbl 1461.52022号

小结:Jeandel和Rao证明了11是最小的Wang块集的大小,即具有彩色边的单位正方形,它允许平面的有效块(相邻块的连续边具有相同的颜色),在非平凡的平移下,它们都不是不变的。我们在这里研究了Wang shift\(\Omega_0\),它由使用集合\(\mathcal)的所有有效平铺组成{T} _0(0)\)Jeandel和Rao发现的11块非周期Wang瓷砖。我们证明了存在(Omega_0)的最小子移位(X_0),使得(X_0\)中的每个分片都可以唯一地分解为19个大小从45到112不等的不同分片,相当于一组19个自相似非周期Wang分片。我们认为这提供了Jeandel-Rao tilings的替代结构的几乎完整的描述,因为我们认为\(\Omega_0\set减去X_0\)对于\(\欧米茄_0\)上的任何移位不变概率测度都是空集。证明基于12个基本步骤,其中10个步骤涉及相同的程序,允许一个步骤从标记瓷砖子集的存在中去替换Wang瓷砖,而另2个步骤涉及添加装饰以处理断层线,并通过剪切共轭改变(mathbb{Z}^2)作用的基底。提供了从一组Wang瓷砖中查找标记、可识别替换和剪切共轭的算法。

MSC公司:

52C23型 离散几何中的准晶体和非周期镶嵌
37B52号 平铺动力学
37B51号 有限型多维位移
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 秋山,S.,Tan,B.,Yuasa,H.:关于B.Mossé的单边可识别定理(2017)。arXiv:1801.03536
[2] Audemard,G.,Simon,L.:葡萄糖SAT求解器(2019)。https://www.labri.fr/perso/lsimon/gluseus网站/
[3] Baake,M.,Grimm,U.:非周期性秩序。第1卷。数学及其应用百科全书,第149卷。剑桥大学出版社,剑桥(2013)·Zbl 1295.37001号
[4] Baake,M。;JAG罗伯茨;Yassawi,R.,移位空间的反转和扩展对称性,离散Contin。动态。系统。,38, 2, 835-866 (2018) ·Zbl 1377.37027号 ·doi:10.3934/dcds.2018036
[5] Berger,R.:多米诺问题的不可判定性。哈佛大学博士论文(1965年)·Zbl 0199.30802号
[6] 贝思,V。;Delecroix,V。;Akiyama,S.,《超越替代动力系统:(S)-进位展开,数值与替代2012,81-123(2014)》,京都:数学科学研究所(RIMS),京都·Zbl 1376.37033号
[7] Berthé,V.,Rigo,M.(编辑):组合数学,自动机和数论。数学及其应用百科全书,第135卷。剑桥大学出版社,剑桥(2010)·兹比尔1197.68006
[8] Berthé,V.、Steiner,W.、Thuswaldner,J.、Yassawi,R.:语态序列的可识别性(2017)。arXiv公司:1705.00167·Zbl 1476.37022号
[9] 博伊尔,M。;Tomiyama,J.,有界拓扑轨道等价和(C^*)-代数,J.Math。Soc.Jpn.公司。,50, 2, 317-329 (1998) ·Zbl 0940.37004号 ·doi:10.2969/jmsj/05020317
[10] Charlier,E。;Kärki,T。;Rigo,M.,多维广义自动序列和形状对称形态词,离散数学。,310, 6-7, 1238-1252 (2010) ·兹比尔1231.05010 ·doi:10.1016/j.disc.2009.12.002
[11] Chen,H.-H.,Hu,W.-G.,Lai,D.-J.,Lin,S.-S.:三色平面边着色的可判定性(2012)。arXiv:1210.6712
[12] Culik,K.II,Wang tiles的非周期集合,离散数学。,160, 1-3, 245-251 (1996) ·Zbl 0865.05033号 ·doi:10.1016/S0012-365X(96)00118-5
[13] Frank,N.P.:分层平铺动力系统简介。In:平铺和递归。马赛CIRM(2017)
[14] 弗兰克,NP;Sadun,L.,Fusion:\(\mathbb{R}^d\)的分层应用的一般框架,Geom。迪迪卡塔,171149-186(2014)·Zbl 1305.37010号 ·doi:10.1007/s10711-013-9893-7
[15] Gähler,F。;朱利安。;萨维尼恩,J.,《罗宾逊平铺的组合数学和拓扑》,C.R.数学。阿卡德。科学。巴黎,350,11-12,627-631(2012)·Zbl 1248.37023号 ·doi:10.1016/j.crma.2012.06.007
[16] Grünbaum,B。;Shephard,GC,《瓷砖和图案》(1987),纽约:W.H.Freeman and Company,纽约·Zbl 0601.05001号
[17] Gurobi Optimization,L.:古罗比优化器参考手册(2018)。网址:http://www.gurobi.com
[18] Jeandel,E.:多米诺骨牌问题的不可解释性。In:平铺和递归。马赛CIRM(2017)·Zbl 1457.52017年
[19] Jeandel,E.,Rao,M.:11块王牌的非周期集(2015)。arXiv:1506.06492
[20] Kari,J.,Wang瓷砖的小非周期集,离散数学。,160, 1-3, 259-264 (1996) ·Zbl 0861.05017号 ·doi:10.1016/0012-365X(95)00120-L
[21] Knuth,D.E.:计算机编程的艺术。第一卷:基本算法。第二次打印。Addison-Wesley,雷丁(1969)·Zbl 0191.18001号
[22] Knuth,D.E.:舞蹈环节。摘自:《计算机科学的千年展望》,第187-214页(2000年)。arXiv:cs/0011047
[23] Labbé,S.:可选SageMath包slabbe(版本0.6)(2019年)。https://pypi.python.org/pypi/slabbe/
[24] Labbé,S.:SageMath Jupyter笔记本(2019)。https://nbviewer.jupyter.org/url/www.slabbe.org/Publications/arxiv_1808_07768_v4.ipynb
[25] Labbé,S.,19块Wang瓷砖的自相似非周期集,Geom。迪迪卡塔,201,81-109(2019)·Zbl 1419.52020年 ·doi:10.1007/s10711-018-0384-8
[26] 林德·D。;Marcus,B.,《符号动力学与编码导论》(1995),剑桥:剑桥大学出版社,剑桥·Zbl 1106.37301号 ·doi:10.1017/CBO9780511626302
[27] Mossé,B.,Puissances de mots et researchasabilityédes points fixes d’une substitution,Theor。计算。科学。,99, 2, 327-334 (1992) ·Zbl 0763.68049号 ·doi:10.1016/0304-3975(92)90357-L
[28] Mozes,S.,Tilings,代换系统及其生成的动力系统,J.Anal。数学。,53, 139-186 (1989) ·Zbl 0745.52013号 ·doi:10.1007/BF02793412
[29] Ollinger,N。;Beckmann,A.,《二乘二代换系统与多米诺问题的不可判定性》,《逻辑与算法理论》,476-485(2008),柏林:施普林格出版社,柏林·兹比尔1142.03357 ·doi:10.1007/978-3-540-69407-6_51
[30] Queffélec,M.:替代动力系统-谱分析。数学课堂笔记,第1294卷,第2版。柏林施普林格出版社(2010年)·Zbl 1225.11001号
[31] 罗宾逊,RM,平面瓷砖的不确定性和非周期性,发明。数学。,12, 177-209 (1971) ·Zbl 0197.46801号 ·doi:10.1007/BF01418780
[32] Sadun,L.:平铺空间的拓扑。大学讲座系列,第46卷。美国数学学会,普罗维登斯(2008)·Zbl 1166.52001号
[33] Sage开发人员。SageMath,Sage数学软件系统(8.9版)(2019年)。http://www.sagemath.org
[34] 施密特,K。;马库斯,B。;Rosenthal,J.,多维符号动力系统,代码,系统和图形模型,67-82(2001),纽约:Springer,纽约·Zbl 0990.37011号 ·doi:10.1007/978-1-4613-0165-33
[35] Siefken,J.,Kari-Culik瓷砖的最小子系统,遍历理论动力学。系统。,37, 5, 1607-1634 (2017) ·Zbl 1378.37039号 ·doi:10.1017/etds.2015.118
[36] Solomyak,B.,自相似瓷砖动力学,遍历理论动力学。系统。,17, 3, 695-738 (1997) ·兹比尔0884.58062 ·网址:10.1017/S0143385797084988
[37] Solomyak,B.,非周期性意味着自相似平移有限平铺的独特组合,离散计算。地理。,20, 2, 265-279 (1998) ·Zbl 0919.52017号 ·doi:10.1007/PL00009386
[38] Wang,H.,用模式识别证明定理,II。贝尔系统。《技术期刊》,40,1,1-41(1961)·doi:10.1002/j.1538-7305.1961.tb03975.x
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。