科研进展与学术交流报告会
中科院数学与系统科学研究院    

科研进展与学术交流报告会 

(第11期)  

  

报告人一:冯秀涛 副研究员系统科学研究所)    

题 目 一:关于Z2n上子集的线性整系数完全刻画    

摘 要 一:近年来,混合整数线性规划(MILP)被广泛用到对称密码的自动化分析中,并逐渐成为一个强有力的工具。在MILP方法中,一个核心的数学问题就是:对给定的Z2n上的高维离散点集S,如何利用尽可能少的不等式刻画它,简称线性不等式完全刻画问题(FLIIIC problem)。该问题是一个NP-hard。在这项工作中,首次针对该问题给出了完整的求解理论。我们的研究方法从Plain集合出发,即由单个线性不等式确定的解集,揭示了其一系列内在属性,包括型、稀疏度、第一类退化、第二类退化,序、极小元、极大元、范数和界。在此基础上首次给出了刻画Plain集合的一个充分必要条件。基于上述知识,对任意给定的子集S,提出了一个求解S的全部极小闭包和最优线性不等式完全刻画的算法。此项算法非常高效且实用,可以应用到密码学中各种常见的S盒的刻画。据我们所知,这是首次给出了各种常见S盒的全部极小闭包,并且得到的所有刻画结果都是当前最好的结果,尤其时在高维S盒刻画方面,我们的研究结果远优于国内外同行的结果。    

报告人二:许大昕 副研究员(数学研究所)    

题 目 二:Exponential sums, differential equations and geometric Langlands Correspondence    

摘 要 二: In 1970's, Dwork established a relationship between the Bessel differential equation and the Kloosterman sums. Such a relationship can be regarded as an instance of the geometric Langlands correspondence for GL_2. In this talk, I will first review some classical results on exponential sums and differential equations, and then discuss some recent progress on generalizations of Dwork's result from the perspective of geometric Langlands correspondence.    

  间:2022.11.4(星期五), 10:40-13:00    

  点:数学院南楼N204 / 腾讯会议197-692-313    

报告会视频    

[video:数学院学术交流报告2022.11.4]
注:本视频未经允许不得转载,违者将依法追究侵权法律责任。


附件下载: