不动点定理与非周期镶嵌
计算机科学中的逻辑
2010-03-16 v1 离散数学
组合数学
摘要
我们提出了一种基于自指(不动点)论证的非周期瓷砖集的新颖简单构造。人们常说某些发现“超前于时代”,意指只有在后来发展的思想背景下才能被充分理解。对于本注记的主题——基于不动点(自指)方法的非周期瓷砖集构造,情况恰恰相反。它本应在20世纪60年代,当非周期瓷砖集的问题首次被提出时就应被发现:当时所有工具都已相当标准且被广泛使用。然而,历史选择了不同的路径,许多精巧的几何特设构造被发展出来(由Berger、Robinson、Penrose、Ammann等人提出)。在本注记中,我们试图纠正这一错误,并呈现一个本应首先被发现、但似乎四十多年来一直被忽视的构造。
引用
@article{arxiv.1003.2801,
title = {Fixed point theorem and aperiodic tilings},
author = {Bruno Durand and Andrei Romashchenko and Alexander Shen},
journal= {arXiv preprint arXiv:1003.2801},
year = {2010}
}
备注
8 pages, 5 figures