Develata's Space

Appearance

2026-09-26 ​

该论文在所有28种定向微分同胚类的光滑七维同伦球面上构造了严格正截面曲率黎曼度量，通过两个正曲率七维圆盘在指定粘合映射下的边界匹配与粘合定理实现，解决了微分几何中的经典问题。 该论文证明任意维度d≥2的晶格Anderson-Bernoulli模型在谱底附近的Anderson局域化，解决Bourgain-Kenig遗留问题，核心创新为离散唯一延拓原理。 证明确…

Positive Sectional Curvature on All Smooth 7-spheres 88 ​

  • Tags: 微分几何 正曲率 七维球面 黎曼度量

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

[摘要]
该论文在所有28种定向微分同胚类的光滑七维同伦球面上构造了严格正截面曲率黎曼度量，通过两个正曲率七维圆盘在指定粘合映射下的边界匹配与粘合定理实现，解决了微分几何中的经典问题。

Localization near the edge for the lattice Anderson-Bernoulli model on general dimension 88 ​

  • Tags: 概率论 随机算子 Anderson局域化 数学物理

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

[摘要]
该论文证明任意维度d≥2的晶格Anderson-Bernoulli模型在谱底附近的Anderson局域化，解决Bourgain-Kenig遗留问题，核心创新为离散唯一延拓原理。

Lossless Hardness Condensation in Deterministic Communication Complexity 88 ​

  • Tags: 通信复杂度 理论计算机 组合数学

  • Source: arXiv CS.CC - Computational Complexity | 阅读原文

[摘要]
证明确定性通信复杂度矩阵存在近最大难度的子矩阵，正面回答Hatami等人的无损凝聚公开问题，推翻其否定猜想。

Boolean threshold functions, neuron capacity, and memory retrieval 88 ​

  • Tags: 组合数学 概率论 神经网络理论 阈值函数

  • Source: arXiv CS.DM - Discrete Mathematics | 阅读原文

[摘要]
证明布尔阈值函数数量渐近公式，误差从O(n)改进到O(n^{-99})，确定单神经元容量，并确认Kalai-Linial-Odlyzko猜想弱形式及Kahn-Komlós-Szemerédi猜想。

Proof of the positive trace gap conjecture 88 ​

  • Tags: 数论 李群 谱理论 四元数代数

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

[摘要]
证明PSL2(R)与PSL2(C)格具有正迹间隙当且仅当来自可容许四元数代数，解决Sarnak正迹间隙猜想，并推广至SLd(R)。

The coarse Erd\H{o}s-P\'{o}sa theorem 88 ​

  • Tags: 组合数学 图论 粗几何 拟等距

  • Source: arXiv CS.DM - Discrete Mathematics | 阅读原文

[摘要]
证明Georgakopoulos与Papasoglu的粗Erdős-Pósa猜想：无q-胖k·K3模型的图可用O(k log k)个点球击中所有胖三角形，并给出拟等距与长诱导圈版本。

A General Composition Theorem for Approximate Degree 88 ​

  • Tags: 布尔函数 近似度 组合定理 理论计算机

  • Source: arXiv CS.CC - Computational Complexity | 阅读原文

[摘要]
证明所有全布尔函数的近似度在块复合下满足乘法组合定理，即近似度乘积的上下界匹配，解决布尔函数复杂性中长期开放问题。

Sharp Lovasz-Theta Bounds on Random Graphs 88 ​

  • Tags: 组合数学 随机图 半正定规划 图论

  • Source: arXiv CS.DM - Discrete Mathematics | 阅读原文

[摘要]
证明随机图G(n,1/2)的Lovasz-Theta函数以高概率为(1+o(1))√n，解决了长期存在的渐近值精确估计问题。

A Combinatorial Proof of Hilton's Conjecture and Beyond 88 ​

  • Tags: 组合数学 拉丁方 概率方法

  • Source: arXiv Math.CO - Combinatorics | 阅读原文

[摘要]
用精炼吸收法证明Hilton猜想，构造无真子拉丁方并给出高围长拉丁方的spread分布，兼得两重要结果。

Tobias Boege and Geva Yashfe: Recognizing Algebraic Matroids Is Undecidable | Combinatorics and more 85 ​

  • Tags: 拟阵论 代数几何 模型论 不可判定性

  • Source: Gil Kalai | 阅读原文

[摘要]
证明了在正特征下识别代数拟阵是不可判定问题，结合拟阵论、代数几何、模型论与不可判定性，与特征零的可判定性形成鲜明对比。

Completeness of the G\"odel--L\"ob Provability Logic for Finite Derived Ordinal Topologies 85 ​

  • Tags: 数理逻辑 力迫法 可证性逻辑 集合论

  • Source: arXiv Math.LO - Logic | 阅读原文

[摘要]
在假设GCH和可测基数存在下，构造保共尾性和GCH的力迫扩张，使有限导出序数拓扑的Gödel-Löb可证性逻辑为GL，并推广Beklemishev定理至GLP_2，解决公开问题。

On Auroux's Luttinger-surgery uniqueness question 85 ​

  • Tags: 辛几何 四维流形 Luttinger手术

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

[摘要]
构造一对单连通积分辛四维流形，具有相同的不变量但辛小平维数分别为负无穷和2，因该维数在Luttinger手术下不变，故给出Auroux唯一性问题的否定答案。

Bounded-orbit wandering domains do not exist 85 ​

  • Tags: 复动力系统 超越整函数 游荡域

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

[摘要]
该论文证明超越整函数不存在有界轨道的游荡Fatou分量，并推广到超越亚纯函数，其游荡域中每点轨道无界，解决了超越动力学中长期未决问题。

Critical Hausdorff Measure for Higher-Dimensional Bedford-McMullen Subshifts 85 ​

  • Tags: 分形几何 自仿集 Hausdorff测度 动力系统

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

[摘要]
证明高维Bedford-McMullen自仿集的临界Hausdorff测度二分法，解决Peres 1994猜想，并给出sofic子移情形及两个反例。

A solution to Michael's problem for Fr\'echet algebras 85 ​

  • Tags: 泛函分析 Banach代数 Michael问题

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

[摘要]
证明交换复完备局部乘凸代数上每个特征在有界集上有界，从而肯定解决Frechet-Arens-Michael代数的Michael问题，即特征连续。