今日速览 · AI 导读
自动抓取 arXiv 多学科 RSS，DeepSeek 自动润色标题与摘要，最快 24 小时内汇总。每日 14:00 初始化批次并每 15 分钟轮询学科，24h 无数据则回退 72h/7 天；arXiv 周末停更时自动跳过。
今日数学研究呈现理论与应用并重，强调框架统一与计算精确性。
2026-03-19 共 24 条抓取，按综合热度排序
本文针对线性二次型最优控制问题，提出了一种系统的连续时间多参数规划框架。该方法直接求解庞特里亚金极大值原理的最优性条件，避免了离散化带来的误差。研究表明，与传统的离散时间方法相比，连续时间公式产生的解具有更少的临界区域，并能显式识别最优控制策略的切换时间，从而更清晰地揭示系统动态本质。该框架提供了从识别切换结构、计算参数化切换时间到构建临界区域的完整算法，为实际应用提供了更高效、更精确的离线预计算方案。
本文系统回顾并总结了芬斯勒型几何与修正引力理论七十年的发展，提出了一种在（余）切洛伦兹丛上构建几何流与引力理论的公理化框架。该框架将芬斯勒、拉格朗日和哈密顿几何统一处理，作为爱因斯坦引力的非平凡修正，并重点探讨了度规与非度规几何流的广义非对角可积性问题，为相关动力学方程提供了更完备的几何定义。
本研究提出了一种基于kNN-LLE代理稳定性分析和多时间尺度早期预测的可解释AI辅助可靠性诊断框架。该框架为数值求解器增加了一个轻量级预测层，能够仅根据迭代动态的早期片段来估计求解器的可靠性，从而提前识别稳定与不稳定的参数区域。核心方法是为参数空间中的每个配置构建最大李雅普诺夫指数（LLE）估计器的原始和平滑代理曲线，并从中推导出基于收缩性的可靠性分数。机器学习模型从代理曲线的早期片段预测可靠性分数，使框架能够判断求解器动态何时具有诊断信息价值。在双参数并行求根方案上的实验表明，仅需几次迭代即可实现可靠预测：最佳模型在时间尺度T=1时达到R²=0.48，T=3时提升至R²=0.67，并在达到稳定性曲线特征最小位置尺度前超过R²=0.89。在更大的时间尺度上，预测精度提升至R²=0.96，平均绝对误差约为0.03，而推理成本可忽略不计（微秒级）。该框架提供了可解释的稳定性指标，支持在求解器执行过程中做出早期决策，如继续、重启或调整参数。
本文提出了一种收缩控制屏障函数（CBF）框架，用于解决具有输入约束的控制仿射系统的预设时间安全控制问题。核心方法是构造一个时变的安全“管道”，该管道从一个包含初始状态的宽松集合开始，在用户指定的截止时间前收缩至目标安全集。任何能使该管道保持前向不变的控制器，均能保证系统在预设时间内恢复安全。与现有方法中控制量在截止时间附近可能发散不同，本框架的收缩速率有界且可调。在输入约束下的可行性可简化为对收缩速率的单一可验证条件，并由此导出了关于控制权限和初始违规程度的闭式最小恢复时间。该框架每个时间步仅施加一个仿射约束，与状态维度无关，可扩展至基于网格的可达性方法难以处理的高维场景。
本文首次提出了一种时空对偶配对求和分部（DP-SBP）数值框架，用于求解正演和伴随波动方程。该创新方法能同时实现空间和时间上的高阶精度，并自然引入时间耗散。框架内采用同步逼近项（SAT）技术弱施加初始和边界条件，导出了完全离散的能量估计，保证了数值格式的稳定性。此外，该时空框架可构造伴随相容的完全离散数值近似，适用于求解反演波动传播问题。一维和二维数值实验验证了理论分析并展示了数值误差的收敛性。
本文研究了一个源于量子嵌入方法（特别是构建浴轨道）的非凸优化问题：在Grassmann流形 $\mathrm{Gr}(m,\mathbb R^M)$ 上最小化二次函数 $J(P) = \mathrm{Tr}(BP)- \frac{1}{2} \mathrm{Tr}(A P A P)$，其中 $A,B \in \mathbb R^{M \times M}_{\rm sym}$，且 $A \succeq 0$。该问题通常存在非全局的局部极小值，对黎曼优化和自洽场算法构成挑战。作者发现，在某些情况下，全局极小值可以通过求解一个辅助凸问题获得；即使不直接适用，该辅助问题的解也能为黎曼优化和SCF算法提供高效的初始化，显著提升其性能。
本文首次对有限秩自由群的自由因子复形展开模型论研究。针对秩2的情形，作者成功构建了该复形的一阶理论公理化体系，并证明该理论是ω-稳定的，其素模型为AF₂。这一工作为理解自由群几何与逻辑结构的深层联系提供了新的理论框架。
本文研究双层线性规划（BLP）求解中广泛使用的大M重构方法。通过将下层问题的KKT条件与互补松弛约束用二元变量和大M参数线性化，可得到单层混合整数线性规划（MILP）模型。尽管多项式时间内可计算出足够大且正确的M值，但预先验证给定M值是否排除可行解或最优解是计算困难的。本文证明：即使仅有一个可能不正确的M参数，验证所得MILP最优解是否为双层最优也是coNP完全的；该结论适用于无耦合约束的极小极大问题及基于强对偶的混合整数BLP重构。此外，即使已知MILP最优解，全局验证M值正确性在后验阶段仍具计算难度。
本文研究了具有最大局部边连通度k的图的k-可选性（列表着色）。作者证明了：对于2-连通图，其k-可选性当且仅当它不属于由$K_{k+1}$和（当$k=3$时）奇轮图通过Hajós连接构造的图类$\mathcal{H}_k$。这推广了Stiebitz和Toft关于k-可着色性的Brooks型定理。另一方面，对于一般（非2-连通）的此类图，判定其k-可选性是$\Pi_2$-完全的。证明中推广了度可选性的经典刻画，这些推广结果本身具有独立意义。
本文扩展了Pla基于高斯积分的概率方法，将其应用于高斯积分的五次幂。通过将五次幂表达为一系列迭代积分并进行逐次约简，作者得到了一个与经典Ahmed积分密切相关的新积分恒等式：$$ \int_{0}^{1}\frac{\arctan\!\left(\sqrt{\displaystyle\frac{2+x^2}{4+x^2}}\right)}{(1+x^{2})\sqrt{2+x^{2}}}\,\mathrm{d} x=\frac{\pi^2}{30} $$。该推导表明，Pla的技术可以系统性地生成与高斯积分更高次幂相关联的一族Ahmed型积分。
本文研究了复模糊软矩阵的概念，并将其应用于信号与系统领域。通过结合复模糊软矩阵的叉积运算与傅里叶变换，提出了一种从数字接收器检测到的大量信号中识别参考信号的算法。研究表明，采用傅里叶变换的方法能获得更高的最优值，从而得到更优的参考信号 $R$。
本文定义了一种由交替中心-边缘提取过程生成的确定性排列族。从有序列表(1,2,...,n)开始，交替执行“移除当前列表中位数元素”和“移除其极端元素”的操作，直至列表耗尽，所得排列记为π_n。研究证明，π_n总是交替排列，其交替类型取决于n的奇偶性，下降集完全由n的奇偶性决定。文中给出了逆序数的精确公式：$\text{inv}(π_n) = \lfloor (n-1)^2/4 \rfloor$，并由此确定了排列的符号。此外，还提供了该排列族的精确递归描述及其逆排列的递归公式。
本文研究了由连续紧支撑函数g生成的Gabor系统$\mathcal{G}(g,a\mathbb{Z}\times b\mathbb{Z})$的Gram矩阵结构。研究发现，在适当的排序下，该Gram矩阵的特定子矩阵呈现出块Toeplitz结构。这一结构特性使得我们可以利用Toeplitz矩阵的谱理论，推导出Gram矩阵有限子块的谱性质。研究特别将此结果应用于由N阶B样条生成的Gabor系统，为其Gram矩阵的分析提供了新的理论工具。
本文证明了对于基本群为无限二面体群、且第二贝蒂数 $b_2^+$ 和 $b_2^-$ 均不小于12的光滑闭定向4维流形，存在无穷多个彼此不同胚但同伦等价的“奇异”光滑结构。这一结果扩展了4维拓扑中对奇异流形存在性的理解，特别是在具有非平凡基本群的流形上。
本文是系列论文的第一部分，旨在证明四穿孔球面上具有12个参数的抛物型$SU(2)$-Hitchin模空间族，都是D4型的ALG引力瞬子。这些空间在无穷远处渐近于$(\mathbb{C} \times T^2_\tau)/\mathbb{Z}_2$，其中椭圆模$\tau$由四个穿孔点的交比决定。本文聚焦于计算与允许的抛物数据相对应的每个Hitchin模空间的Torelli参数，并证明这12参数族实现了所有可能的允许Torelli参数。该研究为验证“模性猜想”——即所有具有切锥$\mathbb{C}/\mathbb{Z}_2$的ALG引力瞬子都能实现为具有自然$L^2$度量的Hitchin模空间——迈出了关键一步。
本研究构建了一个Neumaier图族，并从中确定了1063个非同构的图，其参数为$(v,k,\lambda;e,s)=(48,14,2;1,4)$。特别地，其中25个图被证明恰好具有五个不同的特征值，这解决了Neumaier图能否恰好具有五个特征值的开放性问题。这些图也是对应参数下的首个已知实例。
本文针对参数凸模型中的逆优化问题，建立了系统的理论框架。研究发现，即使在归一化和多观测条件下，与数据兼容的参数集通常也是多维的，即不可识别性是普遍现象。为此，作者提出了逆学习框架，将推断目标从未知参数转向潜在最优解，实现了与观测数量无关的复杂度降低。该框架还形式化了观测-约束权衡，并开发了目标集成逆学习模型，允许在保证单调性的前提下结构化地导航这一权衡。数值实验表明，该方法在解精度、参数恢复率和计算速度方面均有显著提升，并在基于NHANES数据的个性化饮食推荐应用中验证了其改善血糖控制的有效性。
本文研究了对称$p$-Laplace算子解的二阶可微性，该算子在具有幂律硬化的不可压缩材料和非牛顿流体等数学物理模型中至关重要。主要贡献在于，对于局部平方可积的右端项，建立了非线性应力张量具有最大Sobolev正则性的结果，即$\sigma(\varepsilon u) \in W^{1,2}_{\text{loc}}$，这为相关模型的数学分析提供了更精细的工具。
本文研究了光滑凸凹函数的插值问题，这是通过PEP类技术进行最坏情况性能计算机辅助估计的关键步骤。作者针对光滑极小极大博弈的插值，推导了必要且充分的条件，并展示了如何将现有方法适配到此设定中。研究内容包括凸凹函数的类Moreau-Yosida近似的平滑性质、多个关键光滑极小极大博弈特例的插值条件，以及对光滑强单调凸凹函数获得了更紧的刻画。通过引入新约束的PEP类技术，分析了Alt-GDA算法的线性收敛性，并数值计算得到了其复杂性的新估计。
本文研究了半希尔伯特空间中算子的q-数值半径，建立了新的特征刻画，并推导了其尖锐的上下界估计。进一步，针对扇形矩阵，获得了涉及算子单调函数和矩阵均值的q-数值半径不等式，为相关算子理论提供了新的分析工具。
本文通过引入星拟凸性概念，解决了德布鲁-库普曼斯定理对可分离加总函数至多允许一个非凸分量的限制。核心结论是：一个可分离的加性或乘性函数是星拟凸的（即其关于最小点的下水平集是星形的），当且仅当其每个分量都是星拟凸的。这直接导出了拟凸函数可分离和的星拟凸性，从而在形式上连接了投资组合多样化理论与前景理论中的S形价值函数。研究还建立了完整的运算体系，并应用于柯布-道格拉斯函数、多因子风险模型及去中心化金融中的恒定函数做市商。
本文研究了紧致度量空间上同胚映射的度量平均维数。作者引入了测度的平均量化维数概念，并证明了度量平均维数等于所有不变概率测度的平均量化维数的最大值。这一结果揭示了度量平均维数与测度量化性质之间的深刻联系。研究还探讨了不同测度论ε-熵映射的性质，发现一些经典映射不满足变分原理，即极限与上确界的交换顺序不成立。
本文研究了在有界截面曲率流形上的去中心化随机黎曼梯度下降法，采用递减步长策略。理论分析证明，该方法在测地凸设定下，网络共识误差以 $O(1/T)$ 收敛，全局最优性间隙的遍历界为 $O(\log T/\sqrt{T})$。这是首个在本质（非嵌入）去中心化随机黎曼方法中，获得的精确、非渐近最优性间隙保证。递减步长允许使用比固定步长基线大得多的初始梯度步长，从而在实践中获得更好性能，如在格拉斯曼流形上的分布式主成分分析（PCA）问题中所示。
本研究应用证明挖掘技术，对Kanzow和Shehu近期研究的迭代方法的一种粘性型扩展——非精确广义Halpern迭代，获得了关于渐近正则性和T-渐近正则性的定量与定性结果。通过将结果特化到Kanzow-Shehu迭代和顺序平均方法，为这些迭代提供了类似的分析。研究进一步计算了特定参数序列选择下的（T-）渐近正则性速率，并应用Sabach和Shtern的引理，为其中一种选择获得了线性收敛速率。