一个困扰数学家30多年的分类问题,终于被解决了!

来源:AI科技评论

作者:Steve Nadis

编译:陈彩娴

编辑:青暮

一般情况下,当你要对某个特定地区的植物进行调查时,你可能会按植物的种类来划分。

就这种方法来看,如果是沿着托斯卡纳海岸的某些地带做这类调查并不会很困难,因为你大概率只会发现一种植物,就是海松(pinus pinaster)。但是,如果你要在亚马逊热带雨林中做植物统计,那你要找出雨林里所有植物的名字与数量就会非常困难,甚至可以说是“毫无可能”。

在探索广阔数学图景的征程上,数学家们也可能会遇到类似的挑战,尤其是对研究描述集合论的数学家而言,因为他们要尝试对分类问题的难度进行评级。有时候他们会认为某个分类任务很容易,有时候又会觉得某个分类任务太难,比如上述的亚马逊雨林植物分类问题。

描述集合论(descriptive set theory)只是集合论的一个分支,主要研究物体的集合,可以是数字、图形、空间中的点、向量,等等。实数、有理数、虚数本身就是一个集合。可以说,数学家的研究范围涵盖了方方面面。

几十年来,研究人员一直被一个分类问题所困扰。这个分类问题就是“无挠阿贝尔群”(torsion-free abelian groups,简称“TFAB”)。

TFAB 问题最早由数学家 Harvey Friedman 和 Lee Stanley 在1989年所发表的一篇论文(“A Borel Reducibility Theory For Classes of Countable Structures”)中提出。在这篇论文中,Harvey Friedman 与 Lee Stanley 介绍了一种比较可数结构分类问题难度的新方法,表明有些分类问题会非常复杂。

论文地址:https://www.jstor.org/stable/2274750?seq=1

这个问题困扰了数学家们30多年。今年,都灵大学的数学家 Gianluca Paolini 与他之前的博士后导师、希伯来大学教授 Saharon Shelah 在网上发表的一篇论文(如下)终于解决了 TFAB 的相关问题。

论文地址:https://arxiv.org/pdf/2102.12371.pdf

1

计算无穷大

TFAB 问题涉及到一类无穷可数结构,可以帮我们理解数学家如何处理这些看似笨拙的数量。

首先,一组结构“可数”意味着什么?自然数 (0, 1, 2, 3 ...) 是无穷的,但也被视为“可数”,所以自然数有时候也会被称为“可数数”(counting number)。如果你按顺序数这些自然数,它们可以完整地排列,(虽然你要花无穷的时间)。自然数集合中的元素,或者它的“基数”,被标记为“aleph-zero”。数学家把任何与自然数无穷集大小相同的集合都称为“可数”集合。

相反,实数(包括自然数、有理数和无理数)虽然也是无穷的,但它们却被归类为“不可数”。主要原因是实数太多:我们从19世纪80年代后期就知道,0 和 1 之间的实数比所有自然数加起来还要多。

所以有这么一种说法:无穷并非生而平等;有些无穷要比其他无穷大得多。实数集的“基数”也比自然数更大,因为实数更多。任何可数的集合要么是有穷的,要么如果是无穷的,且基数为 aleph-zero。

那么,数学家可以围绕这些概念来做怎样的研究?Friedman与Stanley 的论文,以及 Paolini 和 Shelah 的新工作都重点关注结构之间的同构(isomorphism)。虽然一些数学结构在本质上都是无穷,但仍有可能研究它们,并将它们与其他对象进行比较,以确定它们是否同构或大致相等。

例如,我们先看看两个无穷但可数的数字组:

第一组由所有整数组成,第二组则仅由偶数组成。这两个群彼此同构,因为它们具有相同数量的元素,也就是说,它们的无穷是相同的。而且,在这两组里,每一组中的元素都能对应另一组中的一个元素。此外,用于从一组映射到另一组的函数还必须保留组的运算和属性(如加法组合律)。

这类同构群并不完全相同,因为它们没有相同的元素,但它们确实有平行结构:一组中的每个元素都与另一组中的单个元素直接相关。通过一个函数就可以将第一个结构转换为第二个结构,如上例所示,只需将第一个结构中的每个元素乘以 2,就能得到第二个结构。如 Paolini 所介绍,即便没有完全相同的内容,同构结构也有“相同形状”。

同构概念正是 TFAB 问题的核心。

2

多复杂才算得上是复杂?

在 1989 年的论文中,Friedman 与 Stanley 主要想解决一个问题:给定一个可数结构族,既可以是无限组数字,也可以是图,那么,确定该族的对象是否彼此同构有多难?

Friedman 与 Stanley举了一个例子:有一组图,每个图都有可数但无穷个顶点。在两个标记为“同构”的可数图上,一个图中的顶点与另一个图中的顶点之间必须存在一对一的对应关系。如果一个图中的两个顶点由一条边连接,那么另一个图中相应的顶点也必须由一条边连接。大约如下:

Friedman 与 Stanley 提出,要确定两个可数图是否同构是极其复杂的。这使得所有可数图家族都变成“波莱尔完备”(Borel complete)——这个表达由他们在1989年的论文中首创,因为他们借助了法国数学家 Émile Borel 所设计的波莱尔函数(Borel function)。

Friedman  与 Stanley 很好奇:“还有哪些可数对象是波莱尔完备的?”这个问题,也是描述集合论的核心主题之一。

从之后的几年里,Friedman、Stanley和其他学者已经确定了几类满足波莱尔完备性标准的数学对象,包括树(一种简化的图)、线性阶数和数字集(自然或实数),字面上是顺序排列,就像数轴上的数字一样。

但在 1989 年论文所考虑的许多情况中,只有 TFAB 拒绝通过同构进行分类。首先,TFAB群在本质上是一组数字。每个 TFAB 由遵循特定群规则的实数的可数子集组成,例如在加减规则下封闭(因此对于该群中的任何数字 p 和 q,p + q 和 p - q 也包含在群中)。它还遵守交换律(即 p + q = q + p),这也是阿贝尔群的标志。最后,“无挠”(torsion-free)的意思是,如果 g 是群中的非零元素,那么 g + g 永远不可能等于零,g + g + g 也不能,g + g + g +g 也不能……依此类推。

30多年来,数学家们一直想知道:“如果我们有两个(可数)无挠阿贝尔群,那么,当我们在询问它们是否同构时,这个问题的难度是简单、中等还是最难?”在1989年论文所提出的问题中,这个问题所用的解决时间最长。

终于,在今年,Shelah 和 Paolini 找到了突破的方法。

3

跨结构转换

他们解决这个问题的方法,是借鉴了经典数学家思维:将一个难题简化为一个容易的问题。如果他们能够证明 TFAB 与另一个已知的波莱尔完备结构族(例如可数图族)一样复杂,那么也就可以证明 TFAB 也是波莱尔完备的。

这就好比,如果你想知道一个人是否是世界上最高的人,那么与其将Ta和地球上的每个人都比对,还不如去找被公认为最高的人比,看看谁更高。

Shelah 解释,在决定使用可数图作为衡量标准后,他们面临关键的下一步:创建一个函数(特别是波莱尔类的函数),可以“将一个图转换成一个无挠阿贝尔群”。他们的函数需要接收一个图作为输入,并产生一个 TFAB 作为输出,在这个过程中将信息从图传递到 TFAB 群。也就是说,函数 f 必须满足以下关系:当且仅当 f(G) 和 f(H) 是可数且彼此同构的 TFAB 时,两个可数图 G 和 H 才彼此同构。

这项任务并不容易,因为没有“技术”来连接如此不同的数学对象。所以,他们不得不为这个问题发明一项“技术”。

用 Laskowski 的说法,问题的关键是找出这项技术。就像苹果与橙子,图和群没有相同的词汇。在这种情况下,我们要做的就是建立对应关系。

然后,他们真的是在比较无穷组的苹果和无穷组的橙子。幸运的是,他们找到了一种将问题简化的方法:你只要处理一个通用的图,而无需处理所有图。这个通用图非常庞大,以至于它的子图已经包含了所有可能的可数图。

通过这种方式,Paolini 和 Shelah 可以构建必要的函数,从而证明图和 TFAB 处于一种平等的地位。他们找到了一种将无挠阿贝尔群与图相关联的方法,以便保留同构。

而且,由于数学家已经知道可数图族是波莱尔完备的,也就是在同构方面是最复杂的,那么,也就是说,可数 TFAB 族也必须是波莱尔完备的。

4

研究前景

那么,他们的研究成果有可能取得更通用的结论吗?Kechris 的说法是:有待观察,但很有可能。

在解决了可数 TFAB 的问题后,Paolini 和 Shelah 已经在进行进一步的探索,将研究目标对准不可数 TFAB,并称“可能会有不一样的结果”。

事实上,Shelah 有一个理论,就是当你将问题推到更高的基数时,问题可能会变得更简单,因为当数字变得非常大时,重要数字之间的距离也会增加,比如质数和整数的平方。

同时,他们这篇关于可数 TFAB 的论文已经有一些直接的实际意义。例如,这个族没有能够告诉你两个 TFAB 是否同构的鲜明属性(即“不变量”),但可数 TFAB 的波莱尔完备性可以直接告诉你这个答案。

在未来,数学家们可能会发现其他类别的无穷可数结构,例如图与 TFAB,它们在确定同构时最为复杂。不过,仅仅知道 TFAB 的可能复杂程度,就可以将问题进行简化,都有利于帮助分类学家与描述集合理论家的进一步工作。

原文链接:https://www.quantamagazine.org/mathematicians-solve-decades-old-classification-problem-20210805/

未来智能实验室的主要工作包括:建立AI智能系统智商评测体系,开展世界人工智能智商评测;开展互联网(城市)大脑研究计划,构建互联网(城市)大脑技术和企业图谱,为提升企业,行业与城市的智能水平服务。每日推荐范围未来科技发展趋势的学习型文章。目前线上平台已收藏上千篇精华前沿科技文章和报告。

  如果您对实验室的研究感兴趣,欢迎加入未来智能实验室线上平台。扫描以下二维码或点击本文左下角“阅读原文”

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/484171.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

欢迎参加“城市大脑与应急管理”专家研讨会

来源:城市大脑全球标准研究组数字大脑学术系列沙龙第二期“城市大脑与应急管理”专家研讨会2021以来城市大脑的建设与研究获得了长足发展,数百个城市开展了城市大脑的建设与规划,取得了诸多成果。于此同时,伴随着疫情、水灾、交通…

MapReduce词频统计

1.1 文件准备 创建本地目录和创建两个文本文件,在两个文件中输入单词,用于统计词频。 cd /usr/local/hadoop mkdir WordFile cd WordFile touch wordfile1.txt touch wordfile2.txt1.2 创建一个HDFS目录,在本地上不可见,并将本地文本文件上传…

Spring中注解大全

Spring中注解大全 Controller 标识一个该类是Spring MVC controller 处理器&#xff0c;用来创建处理http请求的对象 Controller public class TestController{RequestMapping("test")public String test(Map<String,Object> map){return "hello"…

Linux系统组成

1 系统组成 BootLoader&#xff1a;操作系统引导程序 内核&#xff1a; 文件系统&#xff1a;应用程序(用户开发的、网上下载的) 2 安装USB驱动 dongryd-linux:~$ insmod usb_dnw.ko //安装USB驱动 dongryd-linux:~$ kernel:GuoQian USB driver for DMW! //出现这一句说明驱动…

使用github托管代码以及github一些最常用的命令

生成SSH密钥 首先打开命令行工具&#xff0c;右键鼠标任意位置打开git bash here,然后输入以下命令 cd ~/.ssh 使用ssh-keygen生成密钥 ssh-keygen -t rsa -C "我的邮箱地址" 使用默认的文件名&#xff0c;输入密码&#xff0c;密钥生成成功 直接复制命令行看到的密钥…

Hive安装与配置MySQL元数据库

一.MySQL的安装 1.1 更新获取最新软件源&#xff0c;并安装MySQL。 sudo apt-get update sudo apt-get install mysql-server1.2 启动和关闭MySQL服务器。 service mysql start service mysql stop1.3 确认MySQL 是否启动成功&#xff0c;MySQL 处于LISTEN状态则表示启动成功…

国际领先的人工智能团队值得我们学习和深思

‍来源&#xff1a;陈德旺科学网博客链接地址&#xff1a;http://blog.sciencenet.cn/blog-57940-1299162.html如其说&#xff0c;人工智能&#xff08;AI&#xff09;现今热潮是Hinton等图灵奖获得者引发的&#xff0c;不如说是DeepMind&#xff08;深度思考&#xff0c;简称深…

Curr Biol:间隔学习可巩固记忆的奥秘

来源&#xff1a;brainnews已有一些实验现象表明当把连续的学习过程在一定时间范围内做间隔&#xff08;spaced&#xff09;后&#xff0c;学习效率将大大提高&#xff0c;这种效应称为“间隔效应”。然而迄今为止尚未有进一步的研究来探索间隔学习是如何影响与记忆相关的神经环…

Flume原理及使用案例

本文为转载篇&#xff01;原文&#xff1a; https://www.cnblogs.com/zhangyinhua/p/7803486.html https://www.cnblogs.com/ciade/p/5495218.html 原理 一、Flume简介 flume 作为 cloudera 开发的实时日志收集系统&#xff0c;受到了业界的认可与广泛应用。Flume 初始的发行版…

Hadoop相关技术

一.Hadoop 的优化与发展 1.1 局限与不足 抽象层次低&#xff0c;需要人工编码&#xff1b;表达能力有限&#xff1b;开发者自己管理作业之间的依赖关系&#xff1b;难于看到程序的整体的逻辑&#xff1b;执行迭代操作效率低;实时性差&#xff1b;资源浪费&#xff1b; 1.2 改…

网络的性能指标与分组交换网络

同个人网站&#xff1a;http://tsundere-x.top/ 计算机网络概述&#xff08;三&#xff09; 计算机网络概述&#xff08;一&#xff09; 网络协议 网络协议规定了通信双方具体的通信规则&#xff0c;包括消息的传递细节。协议的三要素&#xff1a;语法、语义、同步 语义&#…

Hadoop分布式集群安装配置

1.1 安装环境 操作系统deepin 15.11, VMware Workstation&#xff0c;hadoop 3.1.3 版本。在deepin 操作系统中安装 VMware Workstation&#xff0c;在 VMware Workstation中安装两个deepin系统&#xff0c;采用两个节点作为集群环境&#xff0c;一个作为Master节点&#xff0…

复杂性理论研究的核心问题是什么

文章来源&#xff1a;学习时报作者&#xff1a;陈一壮我曾提出复杂性理论的核心不是一般的涌现而是自组织&#xff0c;以突出其相对于传统系统论的特点。普利高津也讲到过&#xff1a;“复杂性诞生”于“物理―化学系统的自组织”。但是我又想到必须对这个自组织的概念作进一步…

【译】索引进阶(四):页和区

【译注&#xff1a;此文为翻译&#xff0c;由于本人水平所限&#xff0c;疏漏在所难免&#xff0c;欢迎探讨指正】 原文链接&#xff1a;传送门。 在之前的章节中&#xff0c;我们在有索引和没有索引的情况下执行同一个查询&#xff0c;比较了各自需要的工作。我们的最主要的评…

网络体系结构

计算机网络的体系结构 网络体系结构是从功能上描述计算机网络结构计算机网络体系结构简称网络体系结构&#xff0c;是分层结构每层遵循某个/些网络协议完成本层功能计算机网络体系结构是计算机网络各层及其协议的集合体系结构是一个计算机网络的功能层次及其关系的定义体系结构…

计算机网络安全-RSA加密原理

一. 安全的攻击类型 危及信息安全的举动. 中断&#xff1a;对可用性的攻击&#xff0c;包括对硬件,通信线路的破坏等&#xff1b; 截获:对机密性的攻击&#xff0c;如窃听等&#xff1b; 篡改&#xff1a;对完整性的攻击&#xff0c;如改变数据或文件&#xff1b; 伪造&…

为什么神经网络不适合理解自然语言 ?

来源&#xff1a;AI前线作者&#xff1a;Ben Dickson译者&#xff1a;王强策划&#xff1a;刘燕过去十年中&#xff0c;人工智能行业的一大趋势就是通过创建更大的深度学习模型来解决问题。这种趋势在自然语言处理领域最为明显&#xff0c;这也是人工智能最具挑战性的领域之一。…

Spark详解

一.Spark 简介 Spark 和Scala 1.1 Spark 是基于内存计算的大数据并行计算框架&#xff0c;可用于构建大型的、低延迟的数据分析应用程序&#xff1b; 1.2 Spark 的特点&#xff1a; 1.3 Scala是一门现代的多范式编程语言&#xff0c;可扩展式语言&#xff1b; 1.4 Scala 特性&…

应用层协议与网络应用

网络应用的体系结构 1、客户机/服务器&#xff08;Client-Server&#xff0c; C/S&#xff09; 服务器&#xff1a; 7*24小时提供服务永久访问地址/域名利用大量服务器实现可拓展性 客户机&#xff1a; 与服务器通信&#xff0c;使用服务器提供的服务间歇性接入网络可能使…

oc之脚本

进入Build Phases页面&#xff0c;点击加号选择“New Run Script Phases”创建Run Script 在这里添加Run Script&#xff0c; 1.每次编译运行版本号&#xff08;bundleVersion&#xff09;自增1 buildNumber$(/usr/libexec/PlistBuddy -c "Print CFBundleVersion" &q…