Rationality Theorems on D-finite Power Series
发布人: 曹思圆   发布时间: 2018-06-12   浏览次数: 10

主讲人:陈绍示 博士(中科院数学与系统科学研究院, 数学机械化重点实验室)
主持人:刘治国 教授
开始时间:2018年6月15日,10:00-11:00

讲座地址:闵行数学楼126室

报告人简介:陈绍示博士主要研究符号计算,计算微分代数与代数组合学。2011年中国科学院与法国巴黎综合理工学校联合培养博士毕业,曾先后在奥地利Linz大学符号计算研究所、美国北卡罗来纳州立大学、加拿大菲尔兹数学研究所与滑铁卢符号计算研究组从事博士后工作。 2013年起在中科院数学与系统科学研究院系统所工作,2017年晋升为副研究员。迄今他已经在Journal of Symbolic Computation,Journal of Algebra, Advances in Applied Mathematics和Journal of Combinatorial theory, Series A等著名期刊上发表论文20余篇。他曾解决了关于WZ方法中的一个重大理论问题。 他获得了国际符号与代数计算年会“ISSAC2014杰出海报奖”和中国科学院数学与系统科学研究院“2014年突出科研成果奖” 。 曾入选中国科学院第七届“陈景润未来之星”人才计划并当选中国科学院2018年度青年创新促进会会员。

报告内容简介:D-finite power series are solutions of systems of linear partial differential equations with polynomial coefficients of special type. This class of power series has been systematically investigated by R. Stanley in his book Enumerative Combinatorics (Volume II) as basic generating functions in combinatorics. In this talk, we prove that a multivariate D-finite power series with coefficients from a finite set is rational. This generalizes a rationality theorem of van der Poorten and Shparlinski in 1996.  As an application, we will show how this result can be used to study the nonnegative integer points on algebraic varieties. This talk is based on a joint work with Jason P. Bell (University of Waterloo).