2026-05-25
该研究证明了实数存在性理论(ETR)的PCP定理,展示了MAX-ETR-INV问题具有实数存在性理论硬度的近似下界,并给出了相应的近似算法。 该研究解决了Schechtman于2002年提出的公开问题,证明了任意区域体存在最优向量平衡界,成功将Spencer六标准差定理推广至区域体。 本文在Reeb流遍历的假设下,证明了接触度量流形上子拉普拉斯算子特征函数的…
Probabilistically checkable proofs for the Existential Theory of the Reals 88
Tags:
理论计算机计算复杂度实代数几何Source:
arXiv CS.CC - Computational Complexity| 阅读原文
[摘要]
该研究证明了实数存在性理论(ETR)的PCP定理,展示了MAX-ETR-INV问题具有实数存在性理论硬度的近似下界,并给出了相应的近似算法。
Optimal Vector Balancing for Zonotopes 88
Tags:
组合数学凸几何偏差理论Source:
arXiv CS.DM - Discrete Mathematics| 阅读原文
[摘要]
该研究解决了Schechtman于2002年提出的公开问题,证明了任意区域体存在最优向量平衡界,成功将Spencer六标准差定理推广至区域体。
Quantum ergodicity for contact metric structures 87
Tags:
谱几何次黎曼几何微局域分析Source:
arXiv Math.AP - Analysis of PDEs| 阅读原文
[摘要]
本文在Reeb流遍历的假设下,证明了接触度量流形上子拉普拉斯算子特征函数的量子遍历性定理,其方法结合了过滤流形的半经典伪微分算子微积分与Landau投影算子。
Optimal embedding dimension in the Nash--Tognoli theorem 87
Tags:
代数几何微分拓扑实代数几何Source:
arXiv Mathematics| 阅读原文
[摘要]
该研究证明了实空间中的光滑紧子流形可用复代数子集的实轨迹逼近,解决了Nash于1952年提出的关于Nash-Tognoli定理最优嵌入维数的一个著名猜想。
Unique Winning Opening Move in Three-Row Chomp 85
Tags:
组合数学组合博弈论Source:
arXiv Math.CO - Combinatorics| 阅读原文
[摘要]
证明了在 3 x n 的 Chomp 棋盘博弈中,先手有且仅有一个必胜开局移动,解决了 Gale 于 1974 年提出的关于三行 Chomp 游戏唯一必胜开局的经典公开问题。
On almost periodicity in crystalline measures 85
Tags:
调和分析傅里叶分析测度论Source:
arXiv Math.FA - Functional Analysis| 阅读原文
[摘要]
该研究通过构造反例和给出平移有界性刻画,完全解决了Meyer和Favorov关于晶体测度几乎周期性的公开问题。
Noncommutative Geometry, Spectral Asymptotics, and Semiclassical Analysis 85
Tags:
非交换几何谱理论泛函分析Source:
arXiv Math.DG - Differential Geometry| 阅读原文
[摘要]
该研究结合泛函分析与谱理论,推广了非交换流形上的半经典外尔律与Connes积分公式,消除了维度和正则性限制,并引入更宽泛的谱理论条件,应用于黎曼及亚黎曼流形等。
Global uniform regularity and vanishing vertical viscosity limit for the compressible Navier--Stokes equations in the half-space 85
Tags:
偏微分方程流体力学数学物理Source:
arXiv Math.AP - Analysis of PDEs| 阅读原文
[摘要]
该研究首次在无限时间区间内,严格证明了半空间中带Navier滑移边界的三维可压缩Navier-Stokes方程在垂直粘性趋于零时的全局一致正则性与各向异性粘性极限。
Breuil's Lattice Conjecture for GL2(K) 85
Tags:
代数数论p-进Hodge理论Langlands纲领Source:
arXiv Math.NT - Number Theory| 阅读原文
[摘要]
论文在 K 为 Q_p 的未分歧扩张时,证明了 GL2(K) 在高 Hodge-Tate 权重下的 Breuil 格猜想,并证明了相关 patched 模的循环性,推动了 p-进 Langlands 纲领的发展。
On the -adic deformation problem for the -theory of semistable schemes 85
Tags:
代数几何代数K-理论p-进霍奇理论Source:
arXiv Math.AG - Algebraic Geometry| 阅读原文
[摘要]
该研究建立了半稳定方案代数K-理论与其对数拓扑循环同调的联系,解决了半稳定情形下的p-进形变问题,并给出了Yamashita半稳定p-进Lefschetz定理的纯K-理论证明。