学术报告一

报告题目：基于量子游走的采样和和搜索算法

报告人：尚云 教授（中国科学院数学与系统科学研究院）

报告时间：2023年10月21日（周六）上午9:00-10:30

报告地点：科技楼三楼报告厅

报告摘要：量子游走是强有力的量子计算模型。本报告将介绍我们在马尔可夫链上的量子采样和搜索算法中的两个工作。（1）将量子fast-forwarding思想用于量子插值游走模型构建了一个新的量子平稳分布采样算法，该算法不仅可以对非正则图加速，而且可以保持现有量子算法对正则图的加速。特别是在稀疏图上，与现有量子算法相比，我们算法的复杂度降低Θ (log𝑛)倍，其中𝑛是图的顶点数。在非正则图中，我们的算法相比当前离散时间和连续时间的最先进量子平稳分布采样算法均有加速。在正则图中，复杂度与其它量子算法保持一致，相比经典情况关于马尔可夫链的谱隙实现了二次加速；（2）基于离散时间量子游走，构造了一个针对可逆马尔可夫链单标记顶点的搜索算法。目前大多数量子搜索算法及采样算法的成功概率较小，通常运用振幅放大思想来提高成功概率。但是，振幅放大的调用会引发soufflé问题，为算法的实际应用带来困难。我们定义了广义插值量子游走，改进后的搜索算法和平稳分布采样算法，在提高搜索算法的成功概率的同时也避免了soufflé问题。随后，通过引入量子fast-forwarding思想减少了调用量子插值游走算子的次数和辅助量子比特的数量。最后，给出了广义插值量子游走在绝热计算量子态制备中的一个重要应用。

个人简介：尚云，中国科学院数学与系统科学研究院研究员，博士生导师，CCF杰出会员。已主持完成多项国家自然科学基金，获得CCF自然科学二等奖、英国皇家物理学会IOP高引用作者奖、王宽诚教育基金会“优秀女科学家专项奖”、陕西省科学技术奖励二等奖等荣誉。研究领域：量子计算和量子信息基础，具体方向包括量子游走、量子算法、量子机器学习、基于量子逻辑的计算理论、量子点元胞电路的自动设计以及量子程序语言。

学术报告二

报告题目：浅谈实数中的小于等于关系

报告人：韩胜伟 教授（陕西师范大学）

报告时间：2023年10月21日（周六）下午14:30-16:00

报告地点：中区行政楼一楼东会议室

报告摘要：首先，我们从偏序的角度来谈一谈实数中的小于等于关系；其次，从序结构的角度来分析有理数与实数之间的关系；最后，我们讨论实数中的小于等于关系与实数中四则运算之间的关系。

个人简介：韩胜伟，男，陕西师范大学教授，博士生导师。2008年毕业于陕西师范大学获得博士学位，2010年和2014年分别在在清华大学数学系和美国丹佛大学数学系做访问学者。美国数学会《数学评论》评论员、中国系统工程学会模糊数学与模糊系统分会理事、非经典逻辑与计算专委会理事、陕西省工业与应用数学学会理事。主持两项国家自然科学项目，参与两项国家自然科学基金重点项目。研究兴趣为序代数、逻辑代数和不确定理论。在《Applied Categorical Structures》、《Theory and Applications of Categories》、《Studia Logica》、《Semigroup Forum》、《Algebra Universalis》、《Journal of Algebra and Its Applications》、《Topology and its Application》、《International Journal of Theoretical Physics》、《Fuzzy Sets and Systems》、《Information Sciences》、《数学学报》等国内外期刊发表SCI论文30多篇，2016年在科学出版社出版学术专著《Quantale理论基础》。

学术报告三

报告题目：基于连续基础算子一致模的研究进展

报告人：覃锋 教授（江西师范大学）

报告时间：2023年10月21日（周六）下午15:00-16:30

报告地点：科技楼三楼报告厅

报告摘要：鉴于聚合函数无论理论研究还是实际应用中都非常重要，本报告将首先从数学、概率度量空间、专家系统和形式逻辑等背景介绍聚合，然后介绍在基于一致模及其相关算子的函数方程方面的几个公开问题，以及研究团队近年来取得的研究进展。

个人简介：覃锋，江西师范大学数学与统计学院二级教授，博士生导师，中国逻辑学会理事，非经典逻辑与计算专委会等7个专委会的常务理事、理事或委员，国家自然科学基金和多个省市的自然科学基金与自然科学奖的通信评委或会评专家。先后入选了江西省“百千万人才工程”，江西省青年科学家培养对象（江西省“杰青”）和江西省主要学科学术和技术带头人。主持了包括六项国家自然科学基金资助项目在内的近二十项省部级以上科研项目，获江西省自然科学奖三等奖两项和江西省高等学校科技成果奖三等奖一项。共发表论文近100篇，其中28篇发表在SCI一区期刊上，出版专著1部。

学术报告四

报告题目：从π的故事谈起

报告人：汪开云 教授（陕西师范大学）

报告时间：2023年10月21日（周六）下午16:20-17:50

报告地点：中区行政楼一楼东会议室

个人简介：汪开云，博士，陕西师范大学教授，曾在美国丹佛大学数学系作访问学者1年。担任美国数学会《数学评论》评论员,中国逻辑学会非经典逻辑与计算专委会委员。入选2020年陕西省青年科技新星。2023年获陕西高等学校科学研究优秀成果奖特等奖（第3完成人）。研究方向：序拓扑、逻辑代数与组合集合论。在《Topology and its Applications》、《Archive for Mathematical Logic》、《Rocky Mountain Journal of Mathematics》、《Houston Journal of Mathematics》、《Fuzzy Sets and Systems》、《Journal of Multiple-Valued Logic and Soft Computing》、《Commentationes Mathematicae Universitatis Carolinae》、《Categories and General Algebraic Structures with Applications》、《Acta Mathematica Sinica, English Series》等国内外期刊发表研究论文30余篇。已主持完成国家自然科学基金项目2项（面上、青年各1项），参与完成1项国家自然科学基金重点项目（排名第6）与2项国家自然科学基金面上项目。目前正在参与1项国家自然科学基金重点项目（排名第5），主持1项陕西省创新能力支撑计划项目。