哈工大全媒体（阚思邈 周洋 闫墨/文 数学研究院/图）近日，由我校数学研究院承办的2025全国数理逻辑年会（Chinese Annual Conference on Mathematical Logic 2025）在哈尔滨举行。中国数学会数理逻辑专业委员会主任、南开大学讲席教授高速，校长韩杰才院士出席开幕式并致辞。会议现场新加坡国家科学院院士庄志达，加州大学伯克利分校西奥多·斯拉曼教授、国际数学家大会报告人西奥多·斯拉曼，世界计量经济学会会士罗伯特·安德森等来自中国、美国、加拿大、波兰、新加坡、韩国的100余名专家学者参会。高速在致辞中回顾了中国数理逻辑的发展历程。他表示，近年来中国数理逻辑学科呈现蓬勃发展态势，研究规模、学术质量均显著提升。期待与会专家学者全方位展现数理逻辑在理论深度、应用广度及跨学科融合方面的独特魅力，持续激发学科创新活力。韩杰才指出，数理逻辑能够突破传统数学的边界，为人工智能、计算机科学等发展提供新的思路和方法。希望与会专家充分展示最新科研成果，深入探讨前沿问题，以本次大会为契机开展深度交流和广泛合作，以基础研究的持续突破带动科技创新和人才培养实现高质量发展。会议

“几项数据还要再核准下。”在哈尔滨工业大学的一间实验室里，赵唯淞正在和项目团队成员一起查看实验结果。今年刚满29岁的赵唯淞“头衔”不少：仪器科学与工程学院青年拔尖研究员，哈工大最年轻的正高职教师，国家级青年人才。“这间实验室是今年年初学校专门为我们这个团队设立的，从启动资金、实验设备到博士后研究人员的招收，学校提供了全方位的支持。”回顾自己的成长经历，赵唯淞坦言，“自己的努力固然重要，但更离不开学校的托举。可以说我遇到了哈工大助力青年人才成长的好时候。”近年来，哈尔滨工业大学建立起“春雁英才计划”“未来英才计划”等制度机制，打破论资排辈的老皇历，以能力、创新、贡献为评价导向，构建起从博士生、博士后到高层次人才的全链条成长发展路径。实施“新质协同”人才派驻计划，有组织向科技领军企业派驻科研骨干，以产学研协同创新促进新质生产力发展，形成了更加完善、更具活力的青年人才发展支撑体系。“我在读博期间入选了‘春雁英才计划’，毕业后就以助理教授的身份入职哈工大，很快获得了硕士生导师的资格，成立了自己的研究团队。”在赵唯淞看来，学校鲜明的评价导向为像他一样的青年学者搭建了挑大梁、当主角的舞台，“我研究

近日哈工大数学研究院教授端木昊随与数学研究院长期访问学者加州大学伯克利分校教授罗伯特·安德森（Robert Anderson）论文《配额交易和碳税与阿罗-德布鲁理论的结合》（Cap-and-trade and Carbon TaxMeet Arrow Debreu）正式作为当期首篇（Lead Article）发表于经济学国际五大顶级期刊之一《计量经济学》（Econometrica）这一研究通过一般均衡理论论证了碳排放配额交易相比碳税的显著优势提供了严谨的数理经济学理论模型今天，与我们一起对话端木昊随教授走近哈工大数学研究院高水平基础研究研究成果发表“数学是很自由的学科满足跨学科交叉探索的好奇心数学，有什么魅力？点击视频↓↓↓对话端木昊随碳税与配额交易是两种最常用的碳排放政策究竟哪一种更加科学合理？2018年诺贝尔经济学奖获得者耶鲁大学教授威廉·诺德豪斯发展了全球经济和气候相互作用的定量模型计算出最优均衡兼容的税率“但这一模型假定政策制定者拥有市场参与者和生产者的完全信息在现实中很难实现且同一税率或同一配额也可能支持多个不同均衡”端木昊随与罗伯特·安德森通过一般均衡理论构建了配额均衡模型

2025年1月 转载：哈尔滨工业大学新闻网哈工大全媒体（阚思邈 周洋/文 周洋/图）近日，我校数学研究院李科教授与南方科技大学杨东研究员合作，在量子信息基础理论领域取得重要突破，研究成果以《经典-量子信道的可信函数》（Reliability function of classical-quantum channels）为题发表于《物理评论快报》（Physical Review Letters），并被选为“编辑推荐”论文。可信函数是信息论的核心内容之一，刻画信息处理误差的精确衰减指数。经典信道可信函数的已知最好结果由信息论的创立者香农（Shannon）和先驱人物加拉格尔（Gallager）等人获得。然而，当信息载体发展到微观尺度，量子效应凸显，传统理论不再适用。量子信息论研究量子尺度下的信息理论，可信函数是其中备受关注的问题，相关研究始于1997年霍列沃（Holevo，量子信息科学的开创者之一，俄罗斯科学院院士）等人对经典-量子信道的可信函数的研究。2000年，霍列沃进一步提出关于经典-量子信道可信函数下界的“霍列沃猜想”。此后20多年的时间里，“霍列沃猜想”吸引了大量学者的研究，但由于