报告人：孙智伟（南京大学）

邀请人：胡怡宁

报告时间：2021年2月10日（星期三）9:30-11:00

报告地点：腾讯会议 ID：935 148 071（会议密码：512334）

报告题目：精减丢番图方程的未知数

报告摘要：本报告考虑一般多项式丢番图方程的归约。 先介绍Skolem把任意多项式丢番图方程归约到四次方程的办法，再聚焦于怎么归约到未知数个数较少的多项式丢番图方程。为此我们介绍用于压缩未知数个数的Matiyasevich-Robinson关系组合定理以及报告人在1992年给出的新的关系组合定理及其导出的相对性结果， 然后再介绍一种利用p进展开的编码技术把丢番图方程可解性转化成涉及中心组合数的整除关系等。 这些技术是为理解报告人在1992年宣布的11未知数定理的复杂证明做准备的。

报告人简介：孙智伟，南京大学数学系教授、博士生导师，数学系数学与应用数学专业主任, 中国数学会组合与图论专业委员会副主任，其研究方向为组合数论与加法组合。他在组合与数论交叉领域有许多创新成果, 迄今已在国外著名数学期刊《Trans. Amer. Math. Soc.（美国数学会汇刊）》等杂志上发表了两百多篇学术论文。他还提出许多原创性数学猜想，引起国际同行的关注与研究。