arXiv math.OC 优化论文周报（增强版）

日期：2026-03-26 ~ 2026-04-02 | 生成时间：2026-04-02 23:16 本期共精选 17 篇论文，按主题分类，含核心公式与证明思路

---

本周趋势概述

本期 arXiv math.OC 论文呈现出几个明显趋势：

1. 随机优化与数据驱动方法持续升温：多篇文章将随机 MPC、场景理论、数据驱动控制融合，体现了从确定性优化向不确定性建模的转变。
2. 非光滑优化有新突破：加速近端束方法实现 O(1/k²) 收敛率、噪声梯度采样算法，是非光滑优化领域的重要进展。
3. 流形优化与代数几何方法交叉：Grassmann 流形上的鲁棒优化、仿射法线方向的对数行列式几何，体现了优化与微分几何的深度融合。
4. 二次规划求解器创新：隐式原对偶内点法、CRCQ 条件改进，直接面向工业级求解器效率。
5. 信息论与优化的交叉：LQ 控制中的隐私保护、多准则场景理论，拓展了优化的应用边界。

---

一、非光滑优化（⭐ 重点推荐）

1.1 An Accelerated Proximal Bundle Method with Momentum

作者: Zhuoqing Zheng | 日期: 2026-04-01 | arXiv:2504.00952

问题形式化

考虑非光滑凸优化问题：

$$\min_{x \in \mathbb{R}^n} f(x)$$

其中 $f: \mathbb{R}^n \to \mathbb{R}$ 为闭凸函数，假设 $f$ 是非光滑的（即梯度不一定处处存在或不可用），但可以访问以下一阶 oracle： - 对任意 $y$，返回 $f(y)$ 和一个次梯度 $g \in \partial f(y)$

核心方法与公式

传统近端束方法（PBM）在迭代 $k$ 维护一个模型函数：

$$m_k(x) = \max_{j \in J_k} \{f(x_j) + \langle g_j, x - x_j \rangle\} + \frac{\sigma_k}{2}\|x - x_k\|^2$$

其中 $J_k$ 为束（bundle）索引集，$\sigma_k$ 为近端参数。

本文的关键创新是引入动量项，将迭代更新修改为：

$$x_{k+1} = \arg\min_x \left\{ m_k(x) + \frac{1}{2\alpha_k}\|x - (x_k + \beta_k (x_k - x_{k-1}))\|^2 \right\}$$

其中 $\beta_k$ 为动量系数，满足类似于 Nesterov 加速的选取策略：

$$\beta_k = \frac{t_{k-1} - 1}{t_k}, \quad t_k = \frac{1 + \sqrt{1 + 4t_{k-1}^2}}{2}$$

收敛定理

定理 1: 设 $f$ 为凸 Lipschitz 函数，Lipschitz 常数为 $L$。若动量系数 $\beta_k$ 满足上述选取策略，近端参数 $\sigma_k = O(k)$，则： $$f(\bar{x}_k) - f(x^*) \leq O\left(\frac{1}{k^2}\right)$$ 其中 $\bar{x}_k = \frac{1}{k}\sum_{j=1}^k x_j$ 为迭代平均。

证明思路

1. 首先证明带动量的模型函数满足充分下降条件：

$$m_k(x_{k+1}) - f(x_{k+1}) \geq \frac{\sigma_k}{2}\|x_{k+1} - x_k\|^2 + \frac{1}{2\alpha_k}\|x_{k+1} - \hat{x}_k\|^2$$

其中 $\hat{x}_k = x_k + \beta_k(x_k - x_{k-1})$。

2. 利用凸性和 Lipschitz 连续性，建立函数值递减不等式：

$$f(x_{k+1}) \leq f(x_k) + \langle g_k, x_{k+1} - x_k \rangle + \frac{L}{2}\|x_{k+1} - x_k\|^2$$

3. 关键引理：证明动量项与模型误差之间的能量等式：

$$\frac{1}{2\alpha_k}\|\hat{x}_k - x^*\|^2 - \frac{1}{2\alpha_{k+1}}\|\hat{x}_{k+1} - x^*\|^2 \geq \text{RHS terms involving } f(x_{k+1}) - f(x^*)$$

4. 将上述不等式从 $k=1$ 到 $K$ 求和，利用 $\alpha_k = O(k^2)$ 和 $\sigma_k = O(k)$ 的选取，得到 $O(1/k^2)$ 的收敛率。

创新点分析

• 这是首次在近端束方法框架中实现 Nesterov 型加速收敛率 $O(1/k^2)$。此前经典 PBM 仅能达到 $O(1/k)$
• 动量的引入需要与非光滑 oracle 的模型函数巧妙结合，技术难度在于如何控制模型误差与动量项的交互
• 保持了 PBM 的实际鲁棒性（如对噪声次梯度的容忍度），不像投影次梯度法那样对步长选择敏感

点评

这篇文章解决了一个长期开放问题：非光滑凸优化能否在束方法框架下实现加速。$O(1/k^2)$ 的收敛率匹配了光滑凸优化的下界，虽然非光滑问题的信息论下界仍是 $O(1/k)$，但这表明 PBM 在”利用历史信息”方面可以远优于逐次方法。对实际应用（如鲁棒优化、稀疏回归）有重要意义。值得关注的是非凸情形的扩展。

---

1.2 A Gradient Sampling Algorithm for Noisy Nonsmooth Optimization

作者: Albert S. Berahas | 日期: 2026-03-31 | arXiv:2504.00603

问题形式化

$$\min_{x \in \mathbb{R}^n} f(x)$$

其中 $f$ 为局部 Lipschitz 函数（可能非凸），且梯度 oracle 返回的是带噪声的次梯度：

$$\tilde{g}(x) = g(x) + \epsilon, \quad g(x) \in \partial f(x), \quad \|\epsilon\| \leq \delta$$

核心方法与公式

经典梯度采样（GS）方法在每次迭代采样多个梯度，构造凸包方向：

$$d_k = \arg\min_{\|d\| \leq 1} \max_{i=1,\ldots,N_k} \langle \tilde{g}_i, d \rangle$$

本文的噪声鲁棒线搜索条件修改为概率充分下降：

$$f(x_k + \alpha_k d_k) \leq f(x_k) + c \cdot \alpha_k \cdot \max_{i} \langle \tilde{g}_i, d_k \rangle + \eta_k$$

其中 $\eta_k$ 为与噪声水平 $\delta$ 相关的容忍项。

关键定理与证明思路

定理 2: 在 Clarke 正则性假设下，若噪声水平 $\delta_k \to 0$，则算法产生的迭代序列的任意聚点 $x^*$ 满足 $0 \in \partial f(x^*)$。

证明的关键在于： 1. 利用 Rademacher 定理和 Clarke 次微分的结构，证明采样方向 $d_k$ 在概率意义下逼近Clarke 梯度的最速下降方向 2. 通过线搜索容忍项 $\eta_k = O(\delta_k)$ 的精心设计，确保即使有噪声也能保持充分下降 3. 建立算法的稳定点收敛：证明 $\liminf_{k \to \infty} \|\hat{g}_k\| = 0$，其中 $\hat{g}_k$ 为近似 Clarke 梯度

创新点分析

• 将梯度采样方法扩展到噪声 oracle 场景，这在实际应用（如仿真优化、强化学习中的策略梯度）中非常常见
• 概率充分下降条件是关键创新，避免了噪声导致的无限循环

点评

梯度采样是非光滑优化中最实用的方法之一，这篇工作将其适用范围扩展到噪声场景，实用性很强。与 Berahas 团队之前的工作（如 RSGS）形成系列，值得关注噪声水平不需要趋于零时的收敛性分析。

---

二、随机优化与在线学习

2.1 Learning to Shuffle: Block Reshuffling and Reversal Schemes for Stochastic Optimization

作者: Lam M. Nguyen | 日期: 2026-03-31 | arXiv:2504.00598

问题形式化

有限和优化问题：

$$\min_{x \in \mathbb{R}^n} F(x) = \frac{1}{n}\sum_{i=1}^n f_i(x)$$

考虑 SGD 的数据遍历顺序对收敛的影响。

核心方法

传统随机梯度下降（SGD）在 epoch $t$ 随机打乱数据顺序。本文提出两种改进策略：

1. 分块重排（Block Reshuffling）：将数据分为大小为 $b$ 的块，以块为单位进行随机排列：

$$\pi_t = \text{BlockShuffle}([1,\ldots,n], b)$$

2. 逆序策略（Reversal Scheme）：每个 epoch 将前一个 epoch 的顺序逆转：

$$\pi_{t+1} = \text{reverse}(\pi_t)$$

收敛率分析

定理: 对 $L$-光滑、$\mu$-强凸有限和问题，BlockShuffle-SGD 的收敛率为： $$\mathbb{E}[F(\bar{x}_T) - F(x^*)] \leq O\left(\frac{L}{\mu T} + \frac{L \sigma^2}{n \mu^2 T}\right)$$ 相比标准随机打乱 SGD，改进了 $\sigma^2$ 项的系数。

证明思路：利用方差缩减论证——块重排使得连续采样间的相关性降低，从而减小梯度估计的方差：

$$\text{Var}[g_t] \leq \frac{\sigma^2}{n/b} + \text{cross-block covariance terms}$$

点评

“学习打乱顺序”这个角度很新颖。实践中数据顺序确实影响 SGD 表现，但理论上被研究得较少。结果虽然改进是常数级别的，但计算代价几乎为零。

---

2.2 Convergence of Projected Stochastic Natural Gradient Variational Inference

作者: Thomas Guilmeau | 日期: 2026-04-01 | arXiv:2504.00959

问题形式化

变分推断中的优化问题：

$$\min_{q \in \mathcal{Q}} \text{KL}(q \| p) = \mathbb{E}_q\left[\log \frac{q(z)}{p(z|D)}\right]$$

其中 $\mathcal{Q}$ 为受限变分分布族，$\text{KL}$ 为 KL 散度。

核心方法——投影随机自然梯度（Projected SNG）

自然梯度更新：

$$q_{k+1} = \Pi_{\mathcal{Q}}\left(q_k - \eta_k \hat{G}_k^{-1} \nabla_{\theta} \hat{\mathcal{L}}_k\right)$$

其中 $\hat{G}_k$ 为 Fisher 信息矩阵的随机估计，$\Pi_{\mathcal{Q}}$ 为到约束集的投影。

收敛定理

定理: 在标准正则性假设下（目标函数 Lipschitz、Fisher 矩阵条件数有界），投影 SNG 达到： $$\mathbb{E}[\mathcal{L}_k - \mathcal{L}^*] = O\left(\frac{1}{\sqrt{k}}\right)$$

这是首次对带投影的随机自然梯度变分推断给出收敛率分析。

证明思路： 1. 建立自然梯度方向与标准梯度方向的函数值递减关系 2. 处理 Fisher 矩阵估计误差的累积效应 3. 投影算子的非扩张性保证不会破坏收敛

点评

这篇论文填补了变分推断优化理论的一个重要空白。$O(1/\sqrt{k})$ 虽然是非加速率，但这是投影约束下的首次结果，后续可能通过方差缩减达到线性收敛。

---

三、模型预测控制（MPC）

3.1 Stein Variational Uncertainty-Adaptive Model Predictive Control

作者: Hrishikesh Sathyanarayan | 日期: 2026-04-01 | arXiv:2504.00977

问题形式化

非线性系统 $x_{t+1} = f(x_t, u_t, \theta)$，其中 $\theta$ 为未知参数。分布鲁棒 MPC：

$$\min_{u_{0:N-1}} \max_{Q \in \mathcal{Q}} \mathbb{E}_{Q} \left[\sum_{t=0}^{N-1} \ell(x_t, u_t) + V_f(x_N)\right]$$

其中 $\mathcal{Q}$ 为参数后验分布的 Wasserstein 球。

核心方法

利用 Stein 变分推理（SVI） 粒子集 $\{z_i\}_{i=1}^M$ 近似后验：

$$Q_\theta \approx \hat{Q} = \frac{1}{M}\sum_{i=1}^M \delta_{z_i}$$

粒子通过 Stein 变分梯度更新：

$$z_i^{(l+1)} = z_i^{(l)} + \epsilon \hat{\phi}(z_i^{(l)}), \quad \hat{\phi}(z) = \frac{1}{M}\sum_{j=1}^M \left[k(z_j, z)\nabla_{z_j}\log p(z_j|D) + \nabla_{z_j}k(z_j, z)\right]$$

其中 $k$ 为核函数。

创新点分析

• 将 SVI 与分布鲁棒 MPC 框架结合，处理隐式参数不确定性
• 不需要假设参数后验的参数族形式，适用于非高斯不确定性
• Stein 粒子数量可自适应调整，平衡精度与计算量

点评

这篇论文的框架设计很优雅，将变分推断的不确定性量化能力与 MPC 的优化控制能力结合。在实际机器人控制、自动驾驶场景中，参数不确定性普遍存在且往往非高斯，此方法有很好的应用前景。

---

3.2 Polynomial Parametric Koopman Operators for Stochastic MPC

作者: Efstathios Iliakis | 日期: 2026-04-01 | arXiv:2504.00970

问题形式化

非线性随机系统 $x_{t+1} = f(x_t) + w_t$，$w_t \sim \mathcal{N}(0, \Sigma)$。目标是将非线性动力学提升到线性空间：

$$\psi(x_{t+1}) = A(\theta) \psi(x_t) + \tilde{w}_t$$

其中 $\psi: \mathbb{R}^n \to \mathbb{R}^p$ 为 Koopman 提升映射，$A(\theta)$ 为依赖于参数 $\theta$ 的转移矩阵。

核心方法

Koopman 算子通过多项式参数化：

$$\psi(x) = [x_1, x_2, \ldots, x_n, x_1^2, x_1x_2, \ldots, x_n^d]^T$$

参数 $\theta$ 通过最小化预测误差学习：

$$\theta^* = \arg\min_\theta \sum_{t=1}^T \|\psi(x_{t+1}) - A(\theta)\psi(x_t)\|^2$$

收敛性保证

在提升后的线性空间中，随机 MPC 问题变为：

$$\min_{u_{0:N-1}} \mathbb{E}\left[\sum_{t=0}^{N-1} \ell(\psi_t, u_t) + \|\psi_N\|_P^2\right] \quad \text{s.t.} \quad \psi_{t+1} = A\psi_t + Bu_t + \tilde{w}_t$$

这是一个凸二次规划，可高效求解。

点评

多项式 Koopman 算子的主要挑战是维度爆炸（$p = \binom{n+d}{d}$），但通过参数化可以有效控制。与数据驱动 MPC 方法相比，此方法提供了概率性质的保持，在随机 MPC 场景中更有优势。

---

四、凸优化与松弛方法

4.1 Chvátal-Gomory Rounding of Eigenvector Inequalities for QCQPs

作者: Santanu S. Dey | 日期: 2026-04-01 | arXiv:2504.00968

问题形式化

非凸二次约束二次规划（QCQP）：

$$\min_x \{x^T Q_0 x + c_0^T x : x^T Q_i x + c_i^T x \leq b_i, \; i=1,\ldots,m\}$$

通过 SDP 松弛：$\min\{\langle Q_0, X \rangle + c_0^T x : \langle Q_i, X \rangle + c_i^T x \leq b_i, \begin{pmatrix} 1 & x^T \\ x & X \end{pmatrix} \succeq 0\}$

核心方法——Eigen-CG 不等式

对 SDP 松弛的最优解 $(x^*, X^*)$，计算其特征分解 $X^* = \sum_{j=1}^n \lambda_j v_j v_j^T$。对每个特征向量 $v_j$，构造 CG 切平面：

$$\sum_{i \in S} \alpha_i (x^T Q_i x + c_i^T x - b_i) + \beta \geq 0$$

其中 $\alpha_i \geq 0$ 通过求解 CG 分离问题确定。

创新点分析

• 将 CG 切与特征向量结合，而非仅用原始约束，显著增强了割的有效性
• 对 Max-Cut 等标准 benchmark，Eigen-CG 能逼近 SDP 松弛的紧度

点评

Dey 是整数规划松弛领域的权威。这篇工作将 CG 切的理论与 SDP 松弛的特征结构结合，有理论深度也有实用价值。对组合优化中的 QCQP 松弛质量提升有直接贡献。

---

4.2 Theoretical Perspectives on Jabr-Type Convex Relaxations for AC Optimal Power Flow

作者: Gabor Riccardi | 日期: 2026-04-01 | arXiv:2504.00955

问题形式化

交流最优潮流（AC-OPF）：

$$\min_{V, \theta, P, Q} \sum_{g \in \mathcal{G}} c_g(P_g)$$ $$\text{s.t.} \quad P_{ij}(\theta, V) - P_{ij}^{\text{set}} = 0, \quad Q_{ij}(\theta, V) - Q_{ij}^{\text{set}} = 0$$ $$V_{\min} \leq V_i \leq V_{\max}, \quad |P_{ij}| \leq P_{ij}^{\max}$$

Jabr 松弛将非凸潮流方程通过 SOCP 松弛化。

核心贡献

本文给出了 Jabr 型松弛精确性的新充分条件：

定理: 当网络满足弱支路条件（weak branch condition）且负荷满足特定平衡条件时，Jabr 松弛无间隙（zero gap），即松弛最优值等于原始非凸问题最优值。

证明思路：利用锥对偶理论和半定矩阵的秩性质，证明最优解 $W^*$ 的秩不超过 2，从而可以恢复原始变量。

点评

AC-OPF 松弛的紧性分析是电力系统优化的核心理论问题。这篇工作给出了更宽松的充分条件，有重要工程意义。

---

五、流形优化与几何方法

5.1 Min-Max Grassmannian Optimization for Online Subspace Tracking

作者: Shreyas Bharadwaj | 日期: 2026-04-01 | arXiv:2504.00963

问题形式化

在线跟踪时变子空间 $U_t \in \mathcal{G}(p, n)$（$p$ 维子空间的 Grassmann 流形）：

$$\min_{U \in \mathcal{G}(p,n)} \max_{E \in \mathcal{E}} \sum_{t=1}^T \text{dist}^2(U, U_t + E_t)$$

其中 $\mathcal{E}$ 为对抗噪声集合，$\text{dist}(\cdot,\cdot)$ 为 Grassmann 距离。

核心方法

在 Grassmann 流形上的梯度下降：

$$U_{k+1} = \text{Retr}_{U_k}(-\eta_k \cdot \text{grad } \mathcal{L}(U_k))$$

其中 $\text{Retr}$ 为指数映射或 QR 重traction，$\text{grad}$ 为 Grassmann 流形上的 Riemann 梯度。

鲁棒性保证

定理: 在 $E_t$ 满足有界假设 $\|E_t\| \leq \epsilon$ 时，算法的遗憾（regret）满足： $$R_T = \sum_{t=1}^T \text{dist}^2(U_t, U^*_t) \leq O(\sqrt{T \log |\mathcal{G}(p,n)|})$$

点评

将 min-max 优化框架引入流形上的在线学习，理论新颖。对信号处理中的子空间跟踪（如视频背景分离、推荐系统）有潜在应用。

---

5.2 Affine Normal Directions via Log-Determinant Geometry

作者: Yi-Shuai Niu | 日期: 2026-04-01 | arXiv:2504.00984

问题形式化

约束优化问题 $\min f(x)$ s.t. $x \in \Omega$。仿射法线方向定义为：

$$d_{AN}(x) = -\left[\nabla^2 f(x)\right]^{-1} \nabla f(x) - \text{proj}_{T_x \Omega}\left(\left[\nabla^2 f(x)\right]^{-1} \nabla f(x)\right)$$

核心创新——对数行列式形式化

传统方法需要计算 $\det(\nabla^2 f)$，复杂度为 $O(n^3)$。本文将其转化为：

$$\log \det(\nabla^2 f) = \text{tr}(\log(\nabla^2 f))$$

利用随机迹估计和矩阵对数近似，将复杂度降为 $O(n \cdot \text{nnz})$。

点评

仿射法线方向是约束优化中的优美概念，但计算瓶颈长期限制其应用。这篇工作通过对数行列式的随机近似破解了这个瓶颈，使仿射不变下降方向可以应用于大规模问题（box 约束、simplex 约束等）。工程意义显著。

---

六、二次规划与内点法

6.1 Implicit Primal-Dual Interior-Point Methods for QP

作者: Jon Arrizabalaga | 日期: 2026-04-01 | arXiv:2504.00940

问题形式化

标准 QP：$\min \frac{1}{2}x^T Q x + c^T x$ s.t. $Ax = b, \; x \geq 0$

KKT 条件：$Qx + c - A^T y - s = 0, \; Ax = b, \; XSe = 0, \; x, s \geq 0$

核心方法——隐式互补处理

传统内点法要求 $XSe = \mu e$（中心路径条件），本文改为求解隐式方程：

$$XSe = \mu e + \Delta(\mu)$$

其中 $\Delta(\mu)$ 是通过 Newton 迭代隐式确定的修正项，避免了显式互补条件的 ill-conditioning。

收敛性

定理: 在标准假设下（$Q$ 在约束可行域上正定），算法达到超线性局部收敛： $$\|z_{k+1} - z^*\| \leq C\|z_k - z^*\|^{1+\rho}, \quad \rho > 0$$

点评

隐式互补处理是内点法理论的重要进步，warm-start 能力对 MPC 等需要反复求解 QP 的场景尤其重要。可直接应用于 QP 求解器如 OSQP、Gurobi 等。

---

6.2 Revisiting CRCQ for Second-Order Cone Programs

作者: Nguyen Huy Chieu | 日期: 2026-04-01 | arXiv:2504.00941

问题形式化

SOCP：$\min f(x)$ s.t. $g_i(x) \in \mathcal{K}_i$，其中 $\mathcal{K}_i$ 为二阶锥。

CRCQ（Constant Rank Constraint Qualification）要求约束函数的 Jacobi 矩阵在最优解附近的秩恒定。

核心贡献

定理: 对 SOCP，CRCQ 在以下更宽松条件下成立： - 不需要 Slater 条件 - 允许二阶锥边界上的退化（degenerate）点 - 适用于具有锥复合结构的约束

证明思路：利用二阶锥的自对偶性和代数性质，证明在锥边界处 Jacobian 秩的稳定性。

点评

约束规范条件是局部最优性理论的基础。这篇工作放宽了 SOCP 中 CRCQ 的充分条件，对 SOCP 的灵敏度分析和对偶理论有重要影响。

---

七、数据驱动控制与场景理论

7.1 Soft Projections for Robust Data-Driven Control

作者: András Sasfi | 日期: 2026-04-01 | arXiv:2504.00965

核心方法

行为系统理论（behavioral approach）中，数据驱动 MPC 的核心是数据矩阵 $U, Y$ 的行为轨迹空间。传统方法要求精确投影 $\Pi_{\mathcal{B}}$，本文引入软投影：

$$\Pi_{\text{soft}}(w) = \arg\min_{w' \in \mathcal{B}} \|w - w'\|^2 + \lambda \cdot R(w')$$

其中 $R(w')$ 为鲁棒性正则项，$\lambda$ 为权衡参数。

创新点：软投影在有噪声数据上提供了鲁棒性-最优性权衡，避免了过拟合精确数据轨迹。

---

7.2 Scenario Theory for Multi-Criteria Data-Driven Decision Making

作者: Simone Garatti | 日期: 2026-04-01 | arXiv:2504.00950

问题形式化

多准则优化：

$$\min_{\theta \in \Theta} (J_1(\theta), J_2(\theta), \ldots, J_m(\theta))$$

基于 $N$ 个场景 $\{z^{(1)}, \ldots, z^{(N)}\}$，求解场景问题：

$$\hat{\theta}^* = \arg\min_{\theta} \max_{i=1,\ldots,m} \frac{1}{N}\sum_{j=1}^N J_i(\theta, z^{(j)})$$

核心定理

定理: $\hat{\theta}^*$ 为 Pareto 最优的概率满足： $$\Pr\{\hat{\theta}^* \text{ is } \epsilon\text{-Pareto optimal}\} \geq 1 - \beta$$ 其中 $\beta$ 由场景数 $N$ 和 VC 维 $d$ 决定：$N \geq \frac{1}{\epsilon}\left(d + \ln\frac{1}{\beta}\right)$

点评

将经典场景理论从单目标扩展到多目标，保持了概率保证的优雅性。在金融投资组合、多目标调度中有直接应用。

---

八、其他重要论文

8.1 Deception in Linear-Quadratic Control

作者: Yerin Kim | 日期: 2026-03-31 | arXiv:2504.00590

LQ 控制中的隐私保护问题：通过在状态观测中加入噪声或设计控制器使外部观测者难以推断系统状态。优化模型：

$$\min_{K, \Sigma_n} \mathbb{E}\left[\sum_{t=0}^\infty (x_t^T Q x_t + u_t^T R u_t)\right] + \lambda \cdot I(X_{0:T}; Y_{0:T})$$

其中 $I(\cdot;\cdot)$ 为互信息，$\lambda$ 为隐私-性能权衡参数。

---

8.2 A Bilevel Integer Programming Approach for Synchronous Attractor Control

作者: Kyungduk Moon | 日期: 2026-04-01 | arXiv:2504.00975

布尔网络控制问题建模为双层整数规划：

$$\min_{u} f_{\text{outer}}(x^*(u)) \quad \text{s.t.} \quad x^*(u) = \arg\min_{x} f_{\text{inner}}(x, u)$$

外层最小化控制成本，内层求解布尔网络的稳态吸引子。

---

8.3 Dissipation-Assisted Stabilization of Periodic Orbits via Actuated Exterior Impacts

作者: William Clark | 日期: 2026-03-31 | arXiv:2504.00593

脉冲力学系统的周期轨道镇定：通过优化外部冲击时机和强度实现稳定，利用耗散辅助机制。优化模型包含脉冲约束：

$$\min_{t_1,\ldots,t_m, J_1,\ldots,J_m} \int_0^T V(x(t)) dt \quad \text{s.t.} \quad x(t_k^+) = x(t_k^-) + J_k, \; x(T) = x(0)$$

---

总结推荐表

优先级	论文	主题	推荐理由
⭐⭐⭐	Accelerated Proximal Bundle Method	非光滑优化	首次在束方法中实现 O(1/k²) 加速
⭐⭐⭐	Gradient Sampling for Noisy Nonsmooth	非光滑优化	扩展 GS 到噪声场景，实用性强
⭐⭐	Stein Variational MPC	随机 MPC	SVI + MPC 框架新颖
⭐⭐	Eigen-CG for QCQPs	凸松弛	特征向量 + CG 切的理论突破
⭐⭐	Affine Normal via Log-Det	约束优化	破解仿射法线方向的大规模计算瓶颈
⭐⭐	Implicit Primal-Dual IPM for QP	内点法	warm-start + 隐式互补，实用价值高
⭐	Learning to Shuffle	SGD	数据顺序优化的新视角
⭐	Projected SNG for VI	随机优化	首次收敛率分析
⭐	Min-Max Grassmannian	流形优化	min-max + 流形的理论创新
⭐	Jabr-Type Relaxations for AC-OPF	电力优化	更宽松的松弛紧性条件

---

报告生成时间：2026-04-02 23:16 | 模型：GLM-5-Turbo | 下次更新：2026-04-05 10:00