快速导航×

陶哲轩在研究周期性密铺问题时取得了新的突破

9月18日，陶哲轩和Rachel Greenfeld将预印本论文《平移单密铺的不可判定性 (Undecidability of translational monotilings)》上传到了arXiv。

☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 免费无限量使用 DeepSeek R1 模型☜☜☜

论文地址：https://arxiv.org/abs/2309.09504

这篇论文的主要结论是，如果网格的维数是无界的，那么确定网格的有限子集是否可以平铺该网格的周期子集的问题，就是不可判定的

要知道，此问题在维度1和维度2中是可判定的。

陶哲轩表示，有点奇怪的是，文中所证明的大多数组件都与流行的游戏类似——

多米诺骨牌的密铺类似物，数独，电脑游戏「俄罗斯方块」，甚至连儿童游戏「Fizz buzz」都有出现

为什么研究一个数学问题会涉及到这么多游戏呢？陶哲轩也无法解释

平移单密铺的不可判定性

这次的论文，是两人上一篇论文的续集。链接  周期性密铺问题

在上篇论文中，他们构建了一个高维网格的平移单密铺

（因此单密铺是一个有限集合 ），它是非周期性的（没有办法将这个密铺「修复」成周期性密铺，其中现在相对于有限索引子群是周期性的)。

这一事实否定了Stein、Grunbaum-Shephard和Lagarias-Wang关于非周期性密铺单体不存在的假设

（「帽子单密铺」是一种最近发现的非周期等距单密铺，在这种单密铺中，可以允许使用旋转、反射以及平移，或者更新的「幽灵单片」。上述单片与帽子单密铺相似，除了不需要反射）。

陶哲轩和Rachel Greenfeld激发这个猜想的原因之一，是数学家Hao Wang的观察

他发现，如果周期密铺猜想为真，那么平移密铺问题在算法上是可判定的——

有一个图灵机，对于，当给定一个维度和一个有限子集时，可以在有限的时间内确定是否可以密铺。

这是由于如果存在周期性的密铺，就可以通过计算机搜索来找到它

如果根本不存在密铺，那么通过紧致性定理可知，存在一些有限的子集，这些子集不能被不相交的平移所覆盖，这也可以通过计算机搜索来发现。

周期性密铺猜想断言这是仅有的两种可能的情况，从而给出了可判定性。

另一方面，王的观点是不可改变的：周期性密铺猜想的失败，并不自动意味着平移单密铺问题的不可判定性，因为它并不排除存在其他算法来确定密铺，这种密铺可以不依赖于周期性密铺的存在

（例如，即使有新发现的帽子和幽灵密铺，对于中有理系数的多边形的等距单密铺问题是否是可判定的，仍然是一个悬而未决的问题，无论它有没有反射。

本文的主要结果解决了这个问题（有一个警告）：

需要重写的内容是：定理1

不存在任何算法，对于，给定一个维度，一个周期性子集，和一个有限子集，能在有限时间内确定是否存在一个平移密铺。

需要注意的是，必须使用的周期性子集，而不是全部的；这在很大程度上是由于这种方法的技术限制，并且很可能通过额外的努力和创造力来消除。

另外，陶哲轩和Rachel Greenfeld还注意到，当，周期性密铺猜想是由Bhattacharya建立的，因此在这种情况下问题可判定。

对于任何的固定值，密铺问题是否可判定仍然是开放的（注意，在上面的结果中，维度不是固定的，而是输入的一部分）。

由于算法不可判定性和逻辑不可判定性（也称为逻辑独立性）之间存在众所周知的联系，此定理还暗示了存在一个（原则上明确可描述的）维度、的周期性子集，的有限子集，使得能通过平移密铺不能在ZFC集合论中被证实或证伪（当然假设这个理论是一致的）。

作为这种方法的结果，我们也可以在这里用「几乎二维」群来代替，其中是一个有限阿贝尔群（现在成为输入的一部分，代替维度）。

接下来，描述证明的一些主要思想。

证明某个问题不可判定的常用方法是，将已知不可判定的其他问题「编码」到原始问题中，这样，任何判定原始问题的算法也能判定嵌入的问题

因此，我们将 Wang密铺问题编码为单密铺问题：

第二个问题是关于王密铺问题

给定一个有限的王氏密铺集合（单位正方形，每条边都从有限调色板中指定了某种颜色），是否有可能用标准的格通过平移来密铺平面，使得相邻的密铺在共同边缘上具有相同的颜色？

Berger曾经提出了一个著名的结论，即这个问题无法确定

需要重写的内容是：Berger，Robert，

将这个问题转化为高维平移单密铺问题需要解决一些中间问题

首先，我们可以很容易地将王氏密铺问题嵌入到一个类似的问题中，我们称之为多米诺骨牌问题：

重写内容如下：多米诺骨牌问题是问题3

给定一个水平（或垂直）的多米诺骨牌的有限集合或，它们是一对相邻的单元正方形，每个单元正方形都用有限集合中的一个元素点来点缀，是否可以在标准格密铺中为每个单元正方形分配一个点，使得这个密铺中的每一对水平（或垂直）的方格都能用到来自或的多米诺骨牌？

事实上，我们只需要将每个王氏密铺作为一个单独的「点」插入，并定义多米诺骨牌集，为水平或垂直相邻、边缘具有相同颜色的王氏密铺对。

在接下来的步骤中，我们将把多米诺骨牌问题与数独问题结合起来：

问题 4（数独问题）

给定列宽、数字集、函数的集合和「初始条件」（在这里就不详细介绍了），是否可以为「数独棋盘」中的每个单元格分配一个数字，以便对于任何斜率和截距，沿着线的数字位于中（并且服从初始条件）？

这篇论文最新颖的部分是证明了多米诺骨牌问题确实可以嵌入到数独问题中。

将数独问题嵌入到单密铺问题中，是基于之前论文中提出的修改方法

这些论文还提出了数独问题的不同版本，并创造了一种名为「密铺语言」的方法，可以将各种问题（包括数独问题）转化为单一的密铺问题

要将多米诺骨牌问题编码为数独问题，我们需要获取一个多米诺函数

（遵守与某些多米诺骨牌集相关的多米诺骨牌约束），并使用它来构建数独函数（遵守与多米诺骨牌集相关的一些数独约束）；反过来说，每个遵守数独谜题规则的数独函数，都必须以某种方式从多米诺函数中产生。

这种做法并不是很显而易见，但是在Emmanuel Jeandel的帮助下，陶哲轩和Rachel Greenfeld改编了Aanderaa和Lewis的一些想法，某些层次结构被用来将一个问题编码另一个问题。

在这里，我们解释分层结构（由于多米诺骨牌问题的二维性，需要使用两个不同的素数）。

然后，通过公式用构建数独函数，它将体现某种嵌入。

其中是两个不同的大素数（例如，可以取，），表示除以的次数，并且

是的展开中的最后一个非零数字：

（，且）。

在的情况下，（1） 的第一个分量如下所示：

最终分量的典型实例如下所示：

有趣的是，不知道为什么，这里的装饰基本上遵循了儿童游戏「Fizz buzz」的规则

以上就是陶哲轩再逼近60年几何学难题！周期性密铺问题又获新突破的详细内容，更多请关注其它相关文章！

# 重写  # 嘉定seo优化怎么设置  # 湛江网站推广  # 肉类推广产品营销案例  # 山东省威海市网站推广  # seo优化写文章  # 邳州网站推广导流  # 网站优化方案技巧  # 汶上整合营销推广怎么样  # 小红书舆情seo优化  # 邯郸正规网站seo运营价格  # 数学  # 不存在  # 这个问题  # 也能  # 是一个  # 的是  # 自然语言  # 多米诺骨牌  # 数独  # 新突破  # 难题 

相关栏目： 【 企业资讯168 】 【 行业动态50218 】 【 媒体报道120512 】

相关推荐： 市盈率高是什么意思  vi命令如何退出编辑模式  轩逸e-power挡位b是什么意思  命令行如何运行c  如何发挥固态硬盘性能  360f4怎么取消百变壁纸  记录仪power灯亮是什么意思  如何用固态硬盘做缓存  苹果16哪些功能好用  新的固态硬盘如何分区  .asm如何在命令行运行  ai如何重复使用上一命令  汽车上power是什么意思  苹果16哪些会降价的  linux如何合并分区命令  typescript性能如何  分享一个稳定的ao3镜像网址  如何加装固态硬盘  如何修改cad命令  春运抢票还用取票吗  单片机怎么做组合  苹果16配置参数有哪些  折叠屏手机好不好,耐不耐用  sh run 如何拷贝所有的命令  春运抢票要用抢票软件吗  冰柜power是什么意思这个黄灯怎么不亮  cron表达式在线工具有哪些  苹果16更新了哪些版本  grep命令的是如何实现  春运抢票哪里最火热  typescript中怎么引用js文件  命令行如何运行j*a  春运抢票何时开始抢票的  市盈率底下 18A 19E 是什么意思  ao3镜像网站哪个好  市盈率负值是什么意思  如何检测固态硬盘温度  苹果16有哪些自带配件  买的5g手机但是没有5g网络怎么办  如何查看电脑的固态硬盘  为什么程序员热爱typescript  通配符的用法  如何将系统移到固态硬盘  NoSQL数据库有哪些特点  春运抢票用不用取票码  网络光刻机是干什么用的  如何用命令下载服务器网站  充电器上的power是什么意思  市盈率3.2是什么意思  苹果16系统网站有哪些