Math News 2026-4-4
近日，多项前沿成果揭示复杂系统与算法的深层结构：从二分图精确匹配到张量渐近谱边界，涵盖拓扑框架、深度学习非线性阈值、量子行走特征多项式等突破，推动理论计算机科学与数学交叉研究进展。
Bipartite Exact Matching in P 95
Tags:
组合数学图论算法理论Source:
ArXiv_CS_DM| 阅读原文
[摘要]
证明了二分图精确匹配问题可在多项式时间内确定性求解，关键在于攻克了仿射截面非零猜想，并通过结构归纳与形式化验证构建了O(n⁶)算法。
A -Topological Framework for Sign-rank Lower Bounds 95
Tags:
组合数学拓扑组合学计算复杂性理论Source:
ArXiv_Math_CO| 阅读原文
[摘要]
构建基于ℤ₂对称拓扑的框架，首次严格证明了间隙汉明距离函数的符号秩接近最优，突破了传统方法瓶颈。
Sufficiently Regularized Nonnegative Quartic Polynomials are Sum-of-Squares 94
Tags:
优化与控制多项式优化平方和表示半定规划高阶张量方法Source:
ArXiv_Math_OC| 阅读原文
[摘要]
通过欧氏四次正则化，非负四次多项式可变为平方和形式，从而获得精确的半定规划表示，揭示了多项式优化中可解与不可解之间的清晰结构边界。
A Polynomial-Time Algorithm for Variational Inequalities under the Minty Condition 94
Tags:
优化与控制变分不等式博弈论多项式时间算法Source:
ArXiv_Math_OC| 阅读原文
[摘要]
提出首个在Minty条件下求解变分不等式的多项式时间算法，可高效计算多玩家调和博弈的纳什均衡，并能生成不可行性证明。
The Non-Linearity Perturbation Threshold: Width Scaling and Landscape Bifurcations in Deep Learning 94
Tags:
优化与控制微分几何深度学习理论代数拓扑Source:
ArXiv_Math_OC| 阅读原文
[摘要]
研究神经网络优化景观在引入非线性激活时的变形机制，揭示其由拓扑相变驱动，并建立宽度缩放规律与NTK regime的联系。
Beatty Sequences for a Quadratic Irrational: Decidability and Applications 94
Tags:
数论自动机理论逻辑可判定性序列性质Source:
ArXiv_Math_CO| 阅读原文
[摘要]
研究二次无理数生成的非齐次Beatty序列的自动同步性，证明其可通过有限自动机判定，从而简化逻辑理论的可判定性证明，并应用于解决加法基等经典问题。
Hierarchical symmetry selects log-Poisson cascades: classification, uniqueness, and stability 94
Tags:
概率论随机过程极限理论Source:
ArXiv_Math_PR| 阅读原文
[摘要]
通过层级对称性这一单一公理，唯一确定了乘法级联中的对数泊松分布，并证明其在统计稳定性与分类上的根本性质。
String graphs are quasi-isometric to planar graphs 94
Tags:
组合数学几何群论图论度量几何Source:
ArXiv_Math_CO| 阅读原文
[摘要]
证明了任意可数弦图与某个平面图在距离上近似等距，从而将平面图的诸多性质推广到弦图，并导出群论与几何中的多个新结果。
The Quantum Walk Characteristic Polynomial Distinguishes All Strongly Regular Graphs of Prime Orde 94
Tags:
组合数学图论量子信息线性代数Source:
ArXiv_Math_CO| 阅读原文
[摘要]
量子行走特征多项式可唯一确定素数阶强正则图的结构，通过傅里叶变换与谱分析实现图同构判定。
The edge of the asymptotic spectrum of tensors 94
Tags:
代数几何表示论计算复杂性张量理论Source:
ArXiv_Math_CO| 阅读原文
[摘要]
研究张量渐近谱中边界上的支持泛函，证明其为唯一确定的谱点，并建立与奎尔表示论中Harder-Narasimhan分解的联系，首次在任意域上构造非平凡谱点，且可多项式时间计算。