Quantization Robustness of Monotone Operator Equilibrium Networks
该论文分析了单调算子平衡网络在低精度硬件上的量化鲁棒性，证明了当权重谱扰动小于单调性裕度时收敛性得以保证，并通过实验验证了位宽阈值及量化感知训练在恢复四比特收敛性方面的有效性。
🔢 Category
math.OC
338 篇论文
Practical Regularized Quasi-Newton Methods with Inexact Function Values
本文提出了一种结合正则化更新与松弛 Armijo 线搜索的噪声鲁棒拟牛顿法，通过引入 Objective-Function-Free Optimization 和 AdaGrad-Norm 策略，在函数值存在数值误差的情况下实现了全局收敛性，并在 CUTEst 基准测试及低精度浮点运算中展现出优于现有方法的鲁棒性与效率。
Computing and Optimizing the -norm of Delay Differential Algebraic Systems
本文提出了一种基于 Lanczos tau 方法的框架，用于半显式时滞微分代数系统的 -范数近似与优化，通过理论证明了该方法在特定条件下的收敛性与稳定性，推导了高效的梯度计算公式以支持鲁棒控制器设计与模型简化，并展示了基于勒让德正交多项式样条的改进方案能显著提升收敛速度。
Distributed Stability Certification and Control from Local Data
本文提出了一种基于局部数据的分布式动态算法，使多智能体能够在不共享原始数据的情况下，通过交换局部计算信号协同完成全局系统稳定性认证（Lyapunov 证书）及最优线性二次型调节器（LQR）控制器的设计。
Convergence Analysis of a Fully Discrete Observer For Data Assimilation of the Barotropic Euler Equations
本文利用修正的相对能量方法，首次为仅含速度观测的一维正压欧拉方程的全离散龙伯格观测器建立了误差估计，证明了该方案在时间、空间网格及测量误差影响下的长期一致收敛性。
Sharp propagation of chaos for mean field Langevin dynamics, control, and games
该论文结合 BBGKY 层级与弱混沌传播技术，建立了系数在测度变量上非线性的 McKean-Vlasov 方程的精确混沌传播速率，并将其应用于平均场博弈、控制及 Langevin 动力学（在强位移凸情形下具有时间一致性）的收敛性分析。
On Utility Maximization under Multivariate Fake Stationary Affine Volterra Models
本文针对非马尔可夫且非半鞅的多变量伪平稳仿射 Volterra 环境，利用随机因子解 Riccati 倒向随机微分方程并结合鞅最优性原理，推导出了 Merton 投资组合优化问题的半闭式最优策略，并通过数值模拟展示了平稳粗糙波动率对策略的影响。
Existence and uniqueness results for a mean-field game of optimal investment
本文通过先验估计和非线性积分方程的研究，建立并证明了在有限和无限时间视界下、由销售价格与期望产能非线性耦合的随机最优投资均值场博弈中均衡的存在性与唯一性，并探讨了其确定性对应情形。
A partitioned optimization framework for structure-aware optimization
本文提出了一种名为分区优化框架（POf）的优化方法，通过将变量空间划分为使子问题可解的集合，将原问题转化为寻找最优分区索引的导数无关优化问题，并设计了相应的导数无关分区优化算法（DFPOm）在无限维最优控制和有限维复合灰盒问题中实现了高效求解。
Duality theory in linear optimization and its extensions -- formally verified
本文在 Lean 4 中形式化证明了线性有序域上的多个 Farkas 型定理，并将对偶理论扩展至允许系数取“无穷大”的情形。
Parallel Graver Basis Extraction for Nonlinear Integer Optimization
本文提出了一种利用并行化一阶方法求解非凸连续问题以近似提取 Graver 基方向的大规模并行启发式算法，旨在解决非线性整数规划中方向获取的计算瓶颈，并在 QPLIB 和 MINLPLib 实例上展现出与先进求解器相当的性能。
Dynamically optimal portfolios for monotone mean--variance preferences
本文在独立收益资产价格模型下，首次完整刻画了满足理性排序的单调均值方差（MMV）效用下的动态最优投资组合，在弱于等价鞅测度存在性且无矩限制的条件下，建立了 MMV 效用与单调夏普比率之间的联系，并给出了均值方差有效组合成为 MMV 有效组合的充要条件。
Mean Field Games with Reflected Dynamics
该论文利用松弛控制和鞅问题框架，证明了涉及反射随机微分方程的一类平均场博弈均衡的存在性。
Entropic Mirror Descent for Linear Systems: Polyak's Stepsize and Implicit Bias
本文针对线性系统求解中因定义域无界导致的收敛分析难题，提出了一种变体 Polyak 步长策略，在无需限制性假设的情况下证明了熵镜像下降法的收敛性，强化了范数隐式偏差的界，并推广至任意凸-光滑函数，同时提出了一种避免指数运算的替代算法。
Optimized Fish Locomotion using Design-by-Morphing and Bayesian Optimization
该研究提出了一种结合形态设计与贝叶斯优化的计算框架，通过优化波动游泳模式、波长和频率，显著提升了二维波动游泳者的推进效率（较传统模式提高 16% 至 35%），为自主水下推进系统及仿生运动设计提供了高效的新策略。
Dependent Reachable Sets for the Constant Bearing Pursuit Strategy
本文针对采用反馈策略的追逃场景，以常值方位（Constant Bearing）追击策略为例，提出了“依赖可达集”这一新概念，通过理论推导给出了其几何边界，并借助仿真验证了其形状特征。
Smoothing-Enabled Randomized Stochastic Gradient Schemes for Solving Nonconvex Nonsmooth Potential Games under Uncertainty
本文提出了一种随机平滑随机梯度（RS-RSG）算法，用于在不确定性下求解非凸非光滑势博弈，并证明了该算法在无需严格增长条件或局部凸性假设的情况下，能够以最优样本复杂度收敛至平滑博弈的均衡点。
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
本文介绍了 StochasticBarrier.jl，这是一个基于 Julia 的开源工具箱，利用半定规划、线性规划和梯度下降等优化方法为含高斯噪声的离散随机系统生成随机屏障函数，并在计算速度、安全概率界及可扩展性方面显著优于现有工具。
Quantum thermodynamics and semidefinite programming: regularization and algorithms
本文研究了受有限测量结果约束的正温量子热力学变分问题，通过引入非对易最优输运方法构建了一般化的正则化框架并分析其对偶形式，进而将其应用于量子态层析与量子最优输运，并探讨了相关算法的收敛性。
Marking Data-Informativity and Data-Driven Supervisory Control of Discrete-Event Systems
本文针对模型未知的离散事件系统，提出了“标记数据信息性”这一新概念及其验证算法，并进一步定义了受限标记数据信息性与标记可信息化，从而在数据驱动框架下解决了满足给定规范的非阻塞标记监督控制设计问题。