| 2023-07-18 周二 |
|
|
|
|
| | 大厅【基础科学】 | | 序号 | 时间 | 主题 | 演讲人 | 单位 | | 1 | 17:00-18:00 |
| David Gross | 加州大学圣塔芭芭拉分校卡弗里理论物理研究所 |
| 1号厅【数学】 | | 序号 | 时间 | 主题 | 演讲人 | 单位 | | 1 | 13:00-13:45 | 曲线和朗兰兹纲领 | Laurent Fargues | 法国国家科学研究中心 (CNRS) | | 2 | 15:15-16:00 | 关于志村簇的 Ax-Schanuel 猜想 | Ngaiming Mok | 香港大学 | | 3 | 16:00-17:00 | 朗兰兹纲领和志村簇 | Yihang Zhu | 马里兰大学学院公园分校 |
| 曲线和朗兰兹纲领 | 我将在特定情况下解释曲线和局部
朗兰兹纲领之间的联系：阿贝尔情况。 | | 关于志村簇的 Ax-Schanuel 猜想 | 在数论领域，经典的林德曼定理是一个惊人的发现，该定理证明，只要 α₁ ,⋯,α n
是与有理数线性无关的代数数，e ^α₁ ,⋯,e^ α n 就是代数独立的 19世纪末的超越理论。 作为其广泛推广，Schanuel
猜想，根据该猜想，每当 α₁ ,⋯,α n 时，域 ℚ(α₁ ,⋯,α n; e^α₁ ,⋯,e^α n) 的超越度 ≥ n
是ℚ-线性无关的复数，已成为超越数论的核心问题。 Ax-Schanuel 猜想于 1971 年被 Ax 得到了肯定的解决，它是处理指数函数的函数域上的 Schanuel
猜想的类比。 关于志村簇的 Ax-Schanuel 猜想是这样的类比，其中指数映射 exp: ℂⁿ → (ℂ*)ⁿ 由 e^(z₁,⋯,zn) :=
(e^z₁ ,⋯, e^{z_n}) 定义被正则投影映射 π Г :Ω→Ω/Г=:X Г 取代，从有界对称域 Ω 到对应于算术格 Γ⊂Aut(Ω)
的商 志村簇 XΩ。 数理逻辑中的最小结构理论，尤其是 Pila-Wilkie (2006) 的计数定理，加上复杂的微分几何和 Deligne
的志村簇的单值结果，导致了泛函超越理论的结果，特别是 Ax-Lindemann 定理 Klingler-Ullmo-Yafaev (2016) 的
Klingler-Ullmo-Yafaev (2016) 和 Pila-Tsimerman (2016) j-函数的 Ax-Schanuel 定理。
Mok（2019）从完全不同的角度引入了复几何的方法，特别是模概型及其紧化到不一定是算术格的函数超越理论。 后一种观点，加上上述方法和结果，以及
Peterzil-Strachenko 的tame复几何理论，导致了 Mok-Pila-Tsimerman (2019) 对 志村簇的
Ax-Schanuel 定理的证明。 我们还将讨论该定理的一些深远应用及其对数论的推广，特别是有理点上的 Dimitrov-Gao-Habegger
(2021) 的一致 Mordell-Lang 定理。 | | 朗兰兹纲领和志村簇 | 志村簇在朗兰兹纲领中发挥着特殊作用，特别是在理解动机和自守 L-函数之间的关系方面。 我将概述相关研究并报告一些最新进展。 |
| 2号厅【数学】 | | 序号 | 时间 | 主题 | 演讲人 | 单位 | | 1 | 13:00-14:00 | 量子气体的压力 | Jan Philip Solovej | 哥本哈根大学 | | 2 | 14:15-15:00 | Onsager猜想的证明 | Philip Isett | 加州理工学院 |
| 量子气体的压力 | 我将讨论玻色气体和费米气体在基态下的压力。 我将讨论 1-3
个维度。 主要关注点是最近对著名的三维超流体玻色气体压力的李-黄-杨公式的证明。 | | Onsager猜想的证明 | 为了解释水动力湍流中如何发生反常能量耗散，Onsager 在 1949 年推测，如果不可压缩欧拉方程的弱解的空间规律性低于
1/3-Hölder，则它们可能无法表现出能量守恒。 我将讨论这个猜想的证明，该证明证明 3维中存在非零 (1/3-ϵ)-Hölder Euler
流，并且在时间上具有紧支持。 该构造基于一种称为“凸积分”的方法，该方法起源于纳什关于低余维和低正则性等距嵌入的工作。该方法的一个版本首先由 De
Lellis 为不可压缩欧拉方程开发 和 Székelyhidi 建立了不守恒能量的 Hölder 连续欧拉流，后来由 Isett 和
Buckmaster-De Lellis-Székelyhidi 进行了改进，以获得针对 Onsager 猜想的进一步部分结果。完整猜想的证明使用
Daneri-Székelyhidi 采用新的“粘合近似”技术引入了“Mikado 流”。后者技术利用了不可压缩欧拉方程线性化的特殊结构。 |
| 3号厅【数学】 | | 序号 | 时间 | 主题 | 演讲人 | 单位 | | 1 | 13:00-13:45 |
| Damin Wu | 康涅狄格大学 | | 2 | 14:00-14:45 | 常标量曲率凯勒度量的解析方面 | Jingrui Cheng | 石溪大学 | | 3 | 15:15-16:00 | 微分形式的可拓定理及其应用 | Stefan Kebekus/ Christian Schnell | 弗莱堡阿尔伯特路德维希大学 |
| 常标量曲率凯勒度量的解析方面 | 我将解释多次谐波函数空间的
Semmes-Mabuchi-Donaldson 图，以及它如何导致关于规范度量存在的一些自然猜想。
然后我将解释如何使用偏微分方程的先验估计来解决这些猜想。 这是与陈秀雄的合作。 | | 微分形式的可拓定理及其应用 | 我们提出了奇异复空间微分形式的新可拓定理，并解释了它们在最小簇研究中的用途。
我们概述了与特殊簇的分类和表征、奇异环境中的非阿贝尔霍奇理论以及准étale均匀化有关的几个应用。 推广结果是与 Christian Schnell
联合得出的。 |
| 4号厅【理论物理】 | | 序号 | 时间 | 主题 | 演讲人 | 单位 | | 1 | 08:00-09:00 | 全息纠缠及其他 | Tadashi Takayanagi | 京都大学汤川理论物理研究所 | | 2 | 09:15-10:15 | 黑洞周围的半经典涨落 | Mukund Rangamani | 加州大学戴维斯分校 | | 3 | 10:30-11:30 | 奇异的强子态和强子结构 | Bingsong Zou | 中国科学院理论物理研究所 | | 4 | 13:00-14:00 | 瞬子计数 | Nikita Nekrasov | 西蒙斯几何和物理中心 | | 5 | 14:00-14:45 | 精确的反德西特/共形场论（ AdS/CFT ）对偶性 | Matthias Gaberdiel | 苏黎世联邦理工学院 | | 6 | 15:15-16:15 | 粒子物理及其未来——以及中国的机遇 | 王贻芳 | 中国科学院高能物理研究所 |
| 全息纠缠及其他 | 弦理论中的全息思想提供了纠缠熵的简单几何计算。
这概括了著名的贝肯斯坦-霍金黑洞熵公式，并强烈证明引力时空由许多量子纠缠位组成。
在我们对该领域进行简要回顾之后，我将解释最近引入的称为伪熵的量的进展，该量概括了纠缠熵并具有明显的引力对偶。
我们还将讨论将这一想法扩展到德西特空间的全息术。 | | 黑洞周围的半经典涨落 |
| | 奇异的强子态和强子结构 | 强子，包括介子和重子，是可以从物质中分离出来的最小单位，并已被观察到具有内部结构。
寻找新的强子态并探索其内部夸克胶子结构是粒子物理和中高能核物理领域共同关注的交叉前沿课题。 近年来，越来越多超出经典夸克模型预期的奇异强子态被实验观察到。
尽管对其性质有多种解释，但这些奇异的强子态基本上可以解释为多夸克强子分子态。
对于过去满足夸克模型期望的强子，例如质子，还有一些新的实验观察结果无法用经典夸克模型解释，必须考虑由未淬灭动力学引起的多夸克分量。
因此，为了真正了解强子谱和强子结构，有必要研究多夸克奇异强子态。 | | 瞬子计数 | 过去 50 年来，由量子场论和弦理论推动的模空间积分探索在物理学和数学领域都是一项极其富有成果的努力。 新旧问题将得到回顾。 | | 精确的反德西特/共形场论（ AdS/CFT ）对偶性 | 我将回顾精确的 AdS3/CFT2 对偶性，将具有最小 (k=1) NS-NS 通量的 AdS3 x S3 x T4
上的无张力弦与 T4 的对称轨道相关联。 我还将解释 D=4 中自由 N=4 SYM 的字符串对偶似乎如何存在类似的描述。 | | 粒子物理及其未来——以及中国的机遇 | 粒子物理学现在正处于转折点。 一方面，标准模型似乎非常成功，但没有明显的通向未来的道路。
另一方面，实验证据和理论分析证明，超出标准模型的物理学确实存在。 本次演讲将分析粒子物理学可能的未来，并为中国提出路线图。 |
| 7号厅【数学】 | | 序号 | 时间 | 主题 | 演讲人 | 单位 | | 1 | 09:15-10:15 | Novikov问题：从金属物理学到现代动力系统 | Alexandra Skripchenko | 高等经济学院 | | 2 | 10:30-11:30 | 黎曼曲面模空间几何和动力学中的大亏格普遍现象 | Anton Zorich | 巴黎西岱大学 | | 3 | 13:00-13:45 | 平面中的大亏格渐近性 | Amol Aggarwal | 哥伦比亚大学和克莱数学研究所 | | 4 | 14:00-14:45 | 圆盘微分同胚群 | Manuel Krannich | 卡尔斯鲁厄理工学院 | | 5 | 15:15-16:00 | 正熵中的光滑表面动力学 | Jérôme Buzzi/ Sylvain Crovisier | 法国国家科学研究中心 (CNRS) | | 6 | 16:00-17:00 | 复Hénon映射的动力学 | Dinh Tien Cuong | 新加坡国立大学 |
| Novikov问题：从金属物理学到现代动力系统 | 我将讨论 S. P. Novikov 在 1982
年提出的一个与单晶电导率理论相关的著名问题：对于三重周期表面的平面截面的不同类型的渐近行为，我们能说些什么？
显然，解决这个问题的最有效方法与泰希米勒动力学中使用的技术密切相关。 我将尝试解释历史观点和最近的发展以及仍然悬而未决的挑战性问题。 | | 黎曼曲面模空间几何和动力学中的大亏格普遍现象 | 模空间中的几何和动力学被证明在研究表面叶状结构、多边形台球以及统计和固态物理的数学模型（如Ehrenfest台球或电子传输的Novikov问题）中非常有效。
通过模空间几何研究表面动力学的想法源于 Thurston、Masur 和 Veech 的作品。 Avila, Eskin, McMullen, Mirzakhani,
Kontsevich, Okounkov, Yoccoz（仅提及菲尔兹奖和突破奖获得者）的贡献使模空间中的几何和动力学成为现代数学中极其活跃的领域。
黎曼曲面的模空间和阿贝尔微分的相关模空间由曲面的亏格 g 参数化。
同时考虑所有相关的双曲（分别是平坦的）度量，当亏格增长时，我们会观察到越来越复杂的几何特性多样性。 然而，相反，大多数指标逐渐具有一定的相似性。
这里“大部分”的概念具有明确的定量含义，例如，就 Weil-Petersson 度量而言。 模空间的整体特征，如 Weil-Petersson 和
Masur-Veech 体积、Siegel-Veech 常数、ψ类的交集数，传统上是通过代数几何工具来研究的，其中所有公式都是精确的，但在大亏格情况下很难操作。
这些量中的大多数都承认简单一致的大亏格近似渐近公式。 我将对这些大亏格普遍性现象以及它们之间的关系的最新基本发现进行概述。 | | 平面中的大亏格渐近性 | 在本次演讲中，我们将描述双曲曲面上的平面和测地线的行为，因为它们的亏格趋于无穷大。
我们首先讨论在大亏格极限中计算此类曲面或测地线（可以视为特定模空间的体积）数量的枚举结果，然后我们将解释随机采样的此类对象的外观。
这些计数的大亏格限制将依赖于这些交集数在高亏格下的行为的渐近结果，这可能具有独立的意义。 | | 圆盘微分同胚群 | 闭合n维圆盘是最简单的光滑紧n流形，然而，尽管几何学家和拓扑学家自20世纪60年代初以来不断努力，但它的对称群（微分同胚的拓扑群）仍然知之甚少。
随着时间的推移，人们逐渐发现，尽管这些群的研究植根于几何学和拓扑学，但它们与数学的其他几个领域密切相关。
在本次演讲中，在针对广大受众对这一主题进行一般性介绍之后，我将概述其中的一些联系，并概述与代数 K 理论、奇异的 Pontryagin 类和图复体à la
Kontsevich有关的圆盘微分同胚群研究的最新进展。 | | 正熵中的光滑表面动力学 | Anosov-Smale 一致双曲微分同胚形成了一组自 20 世纪 70 年代以来就广为人知的开放混沌动力系统。
Newhouse很快发现这种微分同胚的集合并不稠密，从而促使人们寻找更大但易于处理的类。 Pesin、Katok、Newhouse
和其他人的几项开创性工作提出了这样一种想法：只要关注具有正熵的不变测度，所有光滑表面微分同胚的行为都应该很像一致双曲微分同胚。
在我们的工作中，我们证明了Newhouse的猜想（有限数量的遍历测度使熵最大化），并推广了许多一致理论，包括谱间隙性质和Viana猜想（如果正体积集合上存在正李雅普诺夫指数，则存在一个物理测度）对于表面上的所有光滑微分同胚。 | | 复Hénon映射的动力学 | Hénon 映射由 Michel Hénon 引入，作为洛伦兹模型庞加莱部分的简化模型。
它们是研究最多的表现出混沌行为的离散时间动力系统之一。 在过去的三十年里，随着多能理论的发展，任何维度的复杂 Hénon 映射都得到了广泛的研究。
我们将展示这些映射的动力学特性，例如点轨道的行为、变化轨道、周期点的均匀分布和系统的精细遍历特性。 本演讲基于
Bedford、Fornaess、Lyubich、Sibony、Smillie 的工作，以及演讲者最近与 Bianchi 和 Sibony 合作的工作。 |
| 9号厅【数学】 | | 序号 | 时间 | 主题 | 演讲人 | 单位 | | 1 | 08:00-09:00 | 代数簇的分类 | Caucher Birkar | 清华大学丘成桐数学科学中心 | | 2 | 09:15-10:15 | 面积最小化积分电流：奇点和结构 | Camillo De Lellis | 高等研究院 | | 3 | 10:30-11:30 | 3 维 N=4规范理论Coulomb支的数学定义 | Hiraku Nakajima | 东京大学卡维理宇宙物理与数学研究所 (IPMU) | | 4 | 13:00-13:45 | 附近的拉格朗日算符 | Mohammed Abouzaid | 斯坦福大学 | | 5 | 14:00-14:45 | 结共线和结不变量的辛几何 | Tobias Ekholm | 乌普萨拉大学 | | 6 | 15:15-16:00 | 光滑 4 流形拓扑中的同伦与同位素 | David Gabai | 普林斯顿大学 | | 7 | 16:15-17:00 | 结一致性和 4 流形 | Lisa Piccirillo | 麻省理工学院 |
| 代数簇的分类 | 在本次演讲中，我将概述代数簇分类理论的框架，并解释该领域的一些最新进展。 | | 面积最小化积分电流：奇点和结构 | De Giorgi、Federer 和 Fleming 引入面积最小化积分流，为有向Plateau
问题建立了成功的存在理论。 虽然不久之后就发现了奇异最小化的著名例子，但总结 60 年代和 70 年代几位数学家（De Giorgi, Fleming,
Almgren, Simons, Federer）工作的第一个定理和 1980 年Almgren的第二个定理给出了一般维度
与示例之一匹配的奇异集的边界，分别为余维1和一般余维。 在与 Anna Skorobogatova 和 Paul Minter 的联合工作中，我们证明了在更高的余维中，奇异集是
(m-2)-可校正的，并且切锥在 𝓗ᵐ⁻²-几乎处处是唯一的。 观点。 Krummel 和 Wickramasekera
也同时独立地发现了相同结果的证明。 该定理在一般余维上与莱昂·西蒙 (Leon Simon) 在 90 年代关于余维 1情况的著名著作相对应。
此外，刘最近的一个定理证明了奇异集实际上可以是任何豪斯多夫维 α ≤ m-2 的分形，证明上述结构定理确实接近最优。 | | 3 维 N=4规范理论Coulomb支的数学定义 | 考虑与紧李群 K 及其四元数表示 M 相关的 3 维 N=4 超对称规范理论。物理学家研究其Coulomb分支，它是具有
SU(2) 作用的非紧超凯勒流形，可能有奇点。 我们给出了Coulomb支的数学定义：在其正则轨迹上具有辛形式的仿射代数簇。
它被定义为某个模空间的等变BM同调与卷积乘积的谱。 | | 附近的拉格朗日算符 | 确定 C⁰ 近拉格朗日拓扑的问题在过去 40 年中指导了辛拓扑中重要技术的发展。
我将回顾过去十年取得的进展，包括与Thomas Kragh的共同工作。 | | 结共线和结不变量的辛几何 | 我们首先解释如何使用全纯曲线来证明拉格朗日结共法线的变形类表征结，然后对其他结不变量（包括 Alexander
和染色HOMFLY和 Kauffman 多项式）给出类似的解释。 | | 光滑 4 流形拓扑中的同伦与同位素 | 我们概述了这个长期存在的主题的最新结果。 例如，引用的论文证明，在相当一般的条件下，两个同伦光滑嵌入具有共同双球体的 4
流形中的 2 球体实际上同痕。 | | 结一致性和 4 流形 | 纽结理论与 3 流形和 4 流形拓扑领域之间存在着丰富的相互作用。
在本次演讲中，我将描述结的弱等价概念，称为一致（concordance），并强调结一致和 4
流形研究之间的一些历史和最近的联系，特别强调结一致在构造和检测中的应用。 小型 4 流形，可容纳多个光滑结构。 |
| 10号厅【数学】 | | 序号 | 时间 | 主题 | 演讲人 | 单位 | | 1 | 09:15-10:15 | 链接同调和分类 | Mikhail Khovanov | 约翰霍普金斯大学和哥伦比亚大学 | | 2 | 10:30-11:30 | 四维中的结和曲面 | András Stipsicz | 阿尔弗雷德·雷尼数学研究所 |
| 链接同调和分类 | 我们将回顾与链接同调和分类相关的思想和结构，并解释该领域的一些基本结果和问题。 | | 四维中的结和曲面 | 连续和光滑在第四维中差异最大，表面的属性（以及带有边界的四流形中的结）似乎以最透明的方式显示了这种差异。
构造依赖于拓扑思想，而障碍则使用全局分析和微分几何。 在讲座中我会回顾该课题的基本结果，列出最重要的问题，并报告这些问题的一些进展。 |
| 12号厅【理论计算机和信息科学】 | | 序号 | 时间 | 主题 | 演讲人 | 单位 | | 1 | 08:00-09:00 | 机器人、人工智能和现实世界的挑战 | Kazuhiro Kosuge | 香港大学 | | 2 | 09:15-10:15 | 通过大型多模态模型进行推荐 | Philip S. Yu | 伊利诺伊大学芝加哥分校 | | 3 | 10:30-11:30 | 映射和预测活细胞中的蛋白质动力学 | Bo Huang | 加州大学旧金山分校 | | 4 | 13:00-13:45 | 用于增材制造的受骨启发的填充优化 | Jun Wu | 代尔夫特理工大学 | | 5 | 14:00-14:45 | 怎样才算是良好的 3D表示？ | Yue Wang | 南加州大学 | | 6 | 15:15-16:00 | 用于视图合成及其他领域的神经辐射场 | Ravi Ramamoorthi | 加州大学圣地亚哥分校 | | 7 | 16:15-17:00 | 使用多模态深度学习进行可变形物体操纵的机器人主动感知和运动生成 | Namiko Saito | 爱丁堡大学 |
| 机器人、人工智能和现实世界的挑战 | 当前的人工智能无法为现实世界的机器人挑战提供完整的解决方案。
尽管如此，人工智能仍然是机器人应用程序的一个有价值的工具，可以解决传统方法无法解决的现实世界挑战。
本次演讲将讨论机器人技术和人工智能如何解决现实世界的问题，例如协作机器人和软材料的操纵。 | | 通过大型多模态模型进行推荐 | 随着产品和服务的种类不断增加，推荐系统在通过展示客户可能感兴趣的产品或服务来协助客户方面发挥着关键作用。
在大数据时代，有大量来自各种来源、涵盖不同模式的数据。
除了用户对产品的评分信息之外，其他相关数据源还可以包括社交网络、知识库、产品描述和评论，以及上下文和时间信息。 甚至跨域和跨站点的信息也被证明是有用的。
在本次演讲中，我们的重点是通过广泛的学习利用大型多模态模型来融合不同模态的多个信息源，并以统一的方式跨这些融合的源执行协同深度推荐任务。
我们研究各种异构信息源，并探索通过利用大型多模态模型来利用深度和广泛学习的力量来增强推荐系统的有效性的方法。 | | 映射和预测活细胞中的蛋白质动力学 | 细胞过程是由大量生物分子在微小体积内以空间和时间协调的方式精心策划的。
为了揭示潜在的组织原则及其功能相关性，我们将显微镜可视化作为主要方法来系统地绘制它们的空间定位、时间动态和活动概况。 通过将分裂荧光蛋白工程化的小标签与
CRISPR/Cas9 介导的基因编辑相结合，我们能够对人类细胞系中的内源蛋白进行大规模标记，用于显微镜可视化和生化分析。
我们进一步开发了深度学习框架，将蛋白质的细胞图像与其氨基酸序列连接起来。 | | 用于增材制造的受骨启发的填充优化 | 大自然是创造有效利用材料和能源的结构的重要灵感来源。
一个很好的例子是骨小梁，它不仅重量轻，而且能够在我们的日常活动中有效支撑机械载荷。 在本次演讲中，我将介绍用于工程目的设计类骨多孔结构的计算方法。
基本原则包括有选择地将材料放置在必要的地方，并消除不太重要的材料。 多孔结构的制定是由规范材料分布的新颖几何标准驱动的。
此外，我将讨论数值和几何方法以减少所涉及的计算。 我还将在这种计算设计方法和增材制造（也称为 3D
打印）的进步之间建立联系，从而实现优化多孔结构的物理实现。 在整个演讲中，我将展示受益于这种方法的各种应用，包括定制的骨科植入物和用于未来移动解决方案的轻型组件。 | | 怎样才算是良好的 3D表示？ | 深度学习已经在将图像和更通用的 2D 表示嵌入到紧凑的特征空间中以实现识别、注册和生成等下游任务方面取得了相当大的成功。
然而，从 3D 数据中学习是实体代理感知周围环境所需的缺失部分。 为了弥合 3D 感知和机器人智能之间的差距，我目前的工作重点是在最少的监督下学习 3D
表示。 在本次演讲中，我将讨论我对构建自动驾驶和机器人 3D 表示的观点和经验。 首先，我将介绍我的博士论文，主要目标是从点云学习 3D 表示。
然后，我将讨论我们最近使用神经场作为机器人和自动驾驶的表示的努力。 我将介绍神经领域的好处和障碍。 最后，演讲将讨论未来设计完整且主动的 3D
学习系统的问题。 | | 用于视图合成及其他领域的神经辐射场 | 神经辐射场已经成为一种新的范例，不仅是为了从输入图像合成视图的最初目标，而且是在计算机视觉、图形、机器人等一系列应用中作为对象几何形状的新颖体积表示。
本次演讲将首先描述我们寻找基于深度学习的视图合成的正确表示的旅程，最终形成原始的 NeRF
论文，然后讨论今天一些令人兴奋的实际扩展，包括几乎即时的训练和渲染、基于文本的编辑、真实的扩展。
来自肖像和许多其他的时间辐射场，包括虚拟宇宙中数字孪生和街景的实际采用。 | | 使用多模态深度学习进行可变形物体操纵的机器人主动感知和运动生成 | 对工作和支持日常任务的机器人的需求越来越大。
我们的目标是实现一款能够自主学习、适应环境、智能进化并与人类一起行动的人工智能机器人。 机器人需要自动识别所需目标、感知当前情况并自动生成动作。
尤其是在烹饪场景中，人类日常使用的食材具有复杂且脆弱的特性，这些食材在热和力的作用下不断变化和变形。
我们解决了这个问题，实现了一种能够实时感知目标物体特征并产生相应运动的机器人，这在以前的研究中尚未实现。
我们专注于在机器人与物体交互时使用多模态感觉运动数据进行主动感知，并允许机器人识别其外在和内在特征。 我们构建了一个深度神经网络（DNN）模型，可以学习识别对象特征、获取对象-动作关系并生成运动。
例如，机器人执行配料转移任务，使用翻转器或长柄勺将配料从锅转移到碗中。 结果证实，即使目标成分未知，机器人也能识别物体特征和份量。
我们还研究了图像、力和触觉数据的贡献，并证明学习各种多模态信息会带来丰富的感知。 |
| 13号厅【理论计算机和信息科学】 | | 序号 | 时间 | 主题 | 演讲人 | 单位 | | 1 | 08:00-09:00 | 大脑活动、大脑中的数字以及解读你的想法 | Mina Teicher | 巴伊兰大学 | | 2 | 09:15-10:15 | 宇宙纳米科学 | Ningsheng Xu | 复旦大学 | | 3 | 10:30-11:30 | 计数问题的分类程序 | Jin-Yi Cai | 威斯康星大学麦迪逊分校 | | 4 | 14:00-14:45 | 对速度的需求：基因组学中的高性能算法 | Heng Li | 丹纳法伯癌症研究所和哈佛大学 | | 5 | 15:15-16:00 | 视觉表征的对比学习 | Ting Chen | 谷歌Google | | 6 | 16:15-17:00 | 迈向可扩展和自动的神经网络训练 | Cho-Jui Hsieh | 加州大学洛杉矶分校 |
| 大脑活动、大脑中的数字以及解读你的想法 | 在讲座中，我将简要提及目前对大脑的了解，将提及大脑活动的主要模型，将介绍并回顾我们对同步猜想（在行为动物中）的证明，以及它如何反映在
Synfire 链上 模型。 我将解释我对大脑中的计数的猜想及其（部分）证明，以及我们如何从您的大脑活动中读取您当前正在思考的数字。 | | 宇宙纳米科学 | 提出宇宙纳米科学问题。 目前的研究主要集中在我们周围越来越小尺寸的纳米材料上，这种方案应该改变，并提出新的研究策略。
关键问题包括以下内容和其他内容：i）宇宙中存在的纳米材料及其合成机制。 ii) 纳米材料可能会在宇宙中产生生命。 iii) 宇宙纳米空间中发生的复杂过程。 | | 计数问题的分类程序 | 我将描述计数问题的复杂性分类方面的进展：图同态、计数约束满足问题和 Holant 问题。 | | 对速度的需求：基因组学中的高性能算法 |
| | 视觉表征的对比学习 | 以 SimCLR、CLIP 等为代表的对比学习在学习图像和图像文本对的视觉表示方面取得了令人印象深刻的成果。
在本次演讲中，我将介绍对比自监督学习的主题，包括一些基本对比方法的概述、对比学习中的重要因素、半监督学习的简单方法（包含大量未标记图像和一些标记图像）
、现有对比学习方法的一些有趣的特性和开放的挑战。 | | 迈向可扩展和自动的神经网络训练 | 在本次演讲中，我将讨论如何设计可扩展的神经网络优化器，从基于人的设计到基于人工智能的自动设计。
演讲的第一部分将围绕我开发可扩展优化器的历程，包括 Cluster-GCN、LAMB 和各种二阶优化器。
演讲的第二部分将介绍我们在自动化优化器设计方面的一些初步努力，包括高效的优化器搜索框架和自动发现的算法，这些算法在多个大规模训练任务上超越了 Adam
的性能。 |
让数学 更加 易学易练， 易教易研， 易赏易玩， 易见易得， 易传易及。
|
