math 篇论文 | Gist.Science

本文通过证明其特征增强残差场的局部极大值对应于目标形状的中轴线，从数学上证明了多球体形状生成器的放置策略能够有效地识别最大内切球的中心。

本文提出了一个统一的数学框架，通过将物理信息神经网络与元启发式优化相结合，旨在为可持续工程领域构建一个可扩展、实时的数字孪生，在保证收敛性与稳定性的同时，显著降低了与经典数值方法相比的计算复杂度和能耗。

本文开发了一种用于成瘾动力学的创新四室流行病学模型，该模型论证了治疗能力饱和而非发病率饱和如何独特地驱动了后向分岔和双稳态，从而产生了一个关键的政策差距，即基本再生数无法捕捉即使在传统阈值以下也存在的长期持续风险。

本文建立了一个无坐标系的李导数判据，用于研究在连通流形上具有相同内部动力学的纤维丛截面的同步问题，证明了截面差的李导数为零意味着流等变微分同构，且该过程无需拉普拉斯算子对角化或驱动-响应设置。

本文通过将具有严格凸因子的多球中心处的全纯收缩刻画为双全纯等价于单个因子或其乘积的线性收缩，这一结果通过证明它们不能双全纯等价于具有不同因子数量或维度的其他乘积域，从而确立了其乘积表示的本质唯一性。

本文提出了一种针对 2026 年国际足联世界杯淘汰赛对阵表的改进分配方法，该方法将第三名晋级球队的分配视为一个有容量限制的双向匹配问题，以确保来自同一小组的两支球队在半决赛之前不会相遇，从而通过解决官方赛程在 495 种情形中 70 种情况下均无法满足该条件的缺陷，来提升公平性和赛事吸引力。

本文通过将 AI 解释形式化为逆问题，建立了一个用于确定 AI 解释可恢复性的数学框架，推导出了线性与非线性系统下可辨识性与稳定性的完整三分法，并提供了能够区分内在欠定性与算法变异性的显式界限。

本研究引入了一种通过切比雪夫多项式多步配点法推导出的稳健且精确的后向单步块混合数值方法，用于有效求解刚性振荡二阶初值问题。

本文引入了一种带有情绪因子的正则化三维Caputo分数阶复制子系统，该系统解决了原点处固有的奇异性问题，建立了全局利普希茨连续性，并通过霍普夫分岔和混沌认证对从稳定性到混沌的完整动力学演变进行了解析表征，且所有结论均通过与未正则化模型及经验行为数据的对比得到了验证。

本文提出了一个用于有限维量子基础的层级化 Lean 4 库，该库在形式化关键表示定理和复杂度结果的同时，引入了一个类型化前提审计框架，用以验证条件数学定理（例如子空间权重与正交分解的独立性）的相干性与有效性。