论文标题
降低单调随机广义方程的差异分裂方案
Variance-Reduced Splitting Schemes for Monotone Stochastic Generalized Equations
论文作者
论文摘要
我们认为可能会导致操作员的单调包含问题,这是一类问题,这些问题涵盖了凸的随机优化问题以及随机变异不平等和平衡问题的亚类。需要在每个步骤中解决期望值值映射的问题的需要,这是一个直接应用分裂方案的应用,这是通过使用采样来解决的。因此,我们提出了一种解决映射中不确定性的途径:降低了差异的随机修改前向后分裂方案(VR-SMFB)。在受约束的设置中,我们考虑将映射分解为期望值映射A和具有可拖动分解的最大单调映射B时的结构化设置。我们证明拟议的计划配备了A.S.收敛保证,线性(强烈单调A)和O(1/K)(单调A)收敛速率,同时达到最佳的甲骨文复杂性界限。单调状态中的速率声明似乎是第一个,并依靠利用Fitzpatrick GAP函数作为单调夹杂物。此外,这些方案依赖于噪声的较弱的力矩要求,并允许在强烈单调方案中对甲壳上的无偏见要求。两阶段随机变异不等式问题上的初步数字反映了这些发现,并表明降低方差方案的表现优于随机近似方案和样品平均近似方法。当解决计算价格昂贵时,达到确定性融合率的好处变得更加显着。
We consider monotone inclusion problems where the operators may be expectation-valued, a class of problems that subsumes convex stochastic optimization problems as well as subclasses of stochastic variational inequality and equilibrium problems. A direct application of splitting schemes is complicated by the need to resolve problems with expectation-valued maps at each step, a concern that is addressed by using sampling. Accordingly, we propose an avenue for addressing uncertainty in the mapping: Variance-reduced stochastic modified forward-backward splitting scheme (vr-SMFBS). In constrained settings, we consider structured settings when the map can be decomposed into an expectation-valued map A and a maximal monotone map B with a tractable resolvent. We show that the proposed schemes are equipped with a.s. convergence guarantees, linear (strongly monotone A) and O(1/k) (monotone A) rates of convergence while achieving optimal oracle complexity bounds. The rate statements in monotone regimes appear to be amongst the first and rely on leveraging the Fitzpatrick gap function for monotone inclusions. Furthermore, the schemes rely on weaker moment requirements on noise and allow for weakening unbiasedness requirements on oracles in strongly monotone regimes. Preliminary numerics on a class of two-stage stochastic variational inequality problems reflect these findings and show that the variance-reduced schemes outperform stochastic approximation schemes and sample-average approximation approaches. The benefits of attaining deterministic rates of convergence become even more salient when resolvent computation is expensive.