Develata's Space

Appearance

2026-10-13 ​

证明对任意五个正质量，平面五体问题中心构型有限，解决Smale第六问题五体情形，并给出Lean形式化验证。 证明三维欧氏空间中一般紧致初始曲面及高维平均凸超曲面的平均曲率流仅遇有限多个奇点，解决Ilmanen和Colding-Minicozzi-Pedersen的完全一般Morse正则性猜想。 该论文构造了临界Ising模型格点自旋多项式到共形场论M(4,3…

Finiteness of planar central configurations of five bodies for all positive masses 90 ​

  • Tags: 动力系统 天体力学 中心构型 形式化验证

  • Source: arXiv Math-ph - Mathematical Physics | 阅读原文

[摘要]
证明对任意五个正质量，平面五体问题中心构型有限，解决Smale第六问题五体情形，并给出Lean形式化验证。

Generic mean curvature flow has finitely many singularities 88 ​

  • Tags: 几何分析 平均曲率流 奇点理论

  • Source: arXiv Math.DG - Differential Geometry | 阅读原文

[摘要]
证明三维欧氏空间中一般紧致初始曲面及高维平均凸超曲面的平均曲率流仅遇有限多个奇点，解决Ilmanen和Colding-Minicozzi-Pedersen的完全一般Morse正则性猜想。

Critical Ising model as the M\(4,3\) minimal model of conformal field theory 88 ​

  • Tags: 统计物理 共形场论 临界现象 离散复分析

  • Source: arXiv Math-ph - Mathematical Physics | 阅读原文

[摘要]
该论文构造了临界Ising模型格点自旋多项式到共形场论M(4,3)极小模型态空间的线性映射，证明核恰为零场，并建立缩放极限与Virasoro作用，推广到任意等角图。

Linearity of Graph Manifold Groups 85 ​

  • Tags: 几何拓扑 3流形 线性群

  • Source: arXiv Math.GT - Geometric Topology | 阅读原文

[摘要]
该论文完成了所有紧致3流形群均为线性的证明，具体为闭非几何图流形群的有限指数子群构造了GL5(Q[u])中的忠实表示。

An inverse theorem for all finite abelian groups via nilmanifolds 85 ​

  • Tags: 算术组合 Gowers范数 nilspace 拓扑动力学

  • Source: arXiv Math.DS - Dynamical Systems | 阅读原文

[摘要]
该文证明有限阿贝尔群上Gowers范数的首个逆定理，仅用nilmanifolds，推进Jamneshan-Tao猜想，并建立CFR nilspace与nilmanifold的新联系，应用于拓扑动力学。

A counterexample to Nirenberg's conjecture on closed asymptotic curves 85 ​

  • Tags: 微分几何 反例 渐近曲线

  • Source: arXiv Math.DG - Differential Geometry | 阅读原文

[摘要]
构造R^3中具负高斯曲率的光滑嵌入环面，边界为两严格凸曲线且含两条闭渐近线，给出Nirenberg 1962猜想反例，基于Lelieuvre公式与Riccati方程周期解。

A proof of Borcea's quadratic variance conjecture 85 ​

  • Tags: 复分析 多项式 猜想证明

  • Source: arXiv Math.FA - Functional Analysis | 阅读原文

[摘要]
证明Borcea二次方差猜想：任意n次复多项式每个零点到某临界点距离不超过根均方距离，并给出Sendov猜想新证明，结合解析方法与计算机辅助验证。

A Lean Formalization of the Hamilton--Perelman Proof of Thurston's Geometrization Conjecture 85 ​

  • Tags: 形式化验证 几何拓扑 Ricci流

  • Source: arXiv Math.DG - Differential Geometry | 阅读原文

[摘要]
该工作用Lean形式化验证了Hamilton-Perelman的Ricci流证明Thurston几何化猜想，是重大数学形式化成果。

Proof of a Universal Speed Limit on Fast Scrambling in Quantum Systems 85 ​

  • Tags: 量子动力学 量子混沌 信息扰乱

  • Source: arXiv Cond-Mat.Stat-Mech - Statistical Mechanics | 阅读原文

[摘要]
证明任意哈密顿量子系统中持续信息扰乱所需时间至少与纠缠熵的对数成正比，解决了快速扰乱猜想和平衡统计力学适用时间下限问题，基于谱形状因子的解析性约束。

Gamma conjecture II and explicit Stokes data for a quadric projective bundle 85 ​

  • Tags: 代数几何 量子微分方程 Gamma猜想 Stokes数据

  • Source: arXiv Math.AG - Algebraic Geometry | 阅读原文

[摘要]
该论文通过精确Mellin-Bessel积分表示和一致向量渐近，证明了Fano四流形X的Gamma猜想II，并计算了其量子微分方程的Stokes数据，确定了完全例外集合及连接矩阵。

Proof of a magnificent conjecture 85 ​

  • Tags: 代数几何 表示论 枚举几何 超杨-米尔斯

  • Source: arXiv Math.AG - Algebraic Geometry | 阅读原文

[摘要]
该论文通过非交换Quot scheme和Oh-Thomas局部化公式，证明Nekrasov-Piazzalunga关于固态分拆加权生成函数的猜想，并推广至K理论不变量。

Global Regularity for Non-resistive or Non-viscous MHD System on the Torus 85 ​

  • Tags: 偏微分方程 磁流体力学 全局正则性 非线性稳定性

  • Source: arXiv Math.AP - Analysis of PDEs | 阅读原文

[摘要]
建立环面上无电阻或无粘性不可压缩MHD系统全局正则性，将三维非电阻情形正则性要求从H^11降至H^(9/2+)，并首次证明非粘性情形在背景磁场附近的非线性稳定性，与Euler方程爆破结果形成对比。

Co-rank 1 Arithmetic Siegel--Weil IV: Analytic local-to-global 85 ​

  • Tags: 算术几何 自守形式 Siegel-Weil公式 Shimura簇

  • Source: arXiv Math.NT - Number Theory | 阅读原文

[摘要]
证明任意大偶数维酉Shimura簇上co-rank 1算术Siegel-Weil公式，将Kudla-Rapoport特殊1-循环次数编码为酉Eisenstein级数一阶导数，并给出局部特殊值公式与常数。

Sub-Weyl bound for GL\(2\) via trivial delta 85 ​

  • Tags: 解析数论 L函数 自守形式

  • Source: arXiv Math.NT - Number Theory | 阅读原文

[摘要]
该论文首次在GL(2)情形突破Weyl界限，对SL(2,Z)形式得到L函数次Weyl界t^{1/3-1/174+ε}，通过改进平凡delta方法实现，是解析数论重要进展。

Higher-Order Gaussian Approximations on Path Space for the Simple Symmetric Exclusion Process 85 ​

  • Tags: 概率论 随机过程 统计物理 偏微分方程

  • Source: arXiv Math.PR - Probability | 阅读原文

[摘要]
该论文建立SSEP非平衡密度涨落在路径空间的高阶高斯近似，构造含高阶格点信息的修正Ornstein-Uhlenbeck过程，误差界达n^{-min{d/2,2}}，并引入路径依赖Trotter公式和水平绝对连续性概念，改进中心极限速率。