A Quadratic-Approximation-Based Stochastic Approximation Method for Weakly Convex Stochastic Programming

Benqi Liu; Liwei Zhang; Xiantao Xiao; Yule Zhang

arxiv: 2605.03400 · v2 · pith:IRZQA5WSnew · submitted 2026-05-05 · 🧮 math.OC

A Quadratic-Approximation-Based Stochastic Approximation Method for Weakly Convex Stochastic Programming

Yule Zhang , Benqi Liu , Xiantao Xiao , Liwei Zhang This is my paper

Pith reviewed 2026-05-07 15:49 UTC · model grok-4.3

classification 🧮 math.OC

keywords stochastic approximationweakly convex optimizationproximal method of multipliersquadratic approximationKKT conditionsconvergence ratesstochastic programmingsample complexity

0 comments

The pith

PMQSopt integrates proximal multipliers with quadratic approximations to reach O(T^{-1/4}) expected convergence on KKT metrics for weakly convex stochastic programs.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proposes PMQSopt, a stochastic approximation algorithm that combines the proximal method of multipliers with quadratic approximations of the original stochastic problem to solve weakly convex stochastic optimization problems involving expectation-valued functions. It proves that after T iterations the expected squared norm of the gradient of the Moreau envelope of the Lagrangian, the expected constraint violation, and the expected complementarity violation each converge at rate O(T^{-1/4}), with accompanying high-probability bounds that are slightly weaker. These guarantees hold under the two stated conditions of weak convexity of the problem functions and existence of a strictly feasible point, and the method is shown to be sequentially strongly convex and directly implementable.

Core claim

PMQSopt is constructed by integrating the proximal method of multipliers with quadratic approximations of the original stochastic problem. The convergence of the algorithm is characterized by three metrics associated with the epsilon-KKT conditions: the average squared norm of the gradient of the Moreau envelope of the Lagrangian, the average constraint violation, and the average complementarity violation. For each of these metrics the paper establishes an expected convergence rate of O(T^{-1/4}) after T iterations, together with explicit high-probability bounds of O(T^{-1/8}) or O(T^{-1/4}) that hold with probability at least 1 minus a small power of 1/T.

What carries the argument

The proximal method of multipliers combined with quadratic approximations of the stochastic objective and constraints, which produces a sequence of strongly convex subproblems whose solutions are used to update the multipliers and the quadratic model.

If this is right

The total number of stochastic gradient evaluations required to reach a given accuracy is characterized directly by the iteration count T.
The method produces iterates that satisfy high-probability bounds on the Lagrangian gradient, constraint violation, and complementarity violation simultaneously.
The algorithm remains applicable to constrained stochastic programs whose functions satisfy only weak convexity rather than strong convexity or smoothness.
Numerical performance is illustrated on test problems, confirming that the method can be implemented and run without additional tuning beyond the stated assumptions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The quadratic-approximation step may allow reuse of existing convex solvers for the subproblems, lowering the barrier to practical deployment in large-scale settings.
The high-probability bounds suggest the method could be paired with variance-reduction or mini-batch techniques to tighten the probabilistic guarantees without changing the core iteration.
Because the analysis separates the handling of the Lagrangian gradient from the feasibility metrics, the same framework could be adapted to other penalty or augmented-Lagrangian schemes for nonconvex stochastic programs.

Load-bearing premise

All convergence claims rest on the assumption that every problem function is weakly convex and that a strictly feasible point exists.

What would settle it

Construct a weakly convex stochastic program with a strictly feasible point, run PMQSopt for large T, and observe that any of the three KKT metrics fails to improve at rate O(T^{-1/4}) in expectation.

Figures

Figures reproduced from arXiv: 2605.03400 by Benqi Liu, Liwei Zhang, Xiantao Xiao, Yule Zhang.

**Figure 1.** Figure 1: Objective value and constraint violation versus the number of stochastic gradients on the view at source ↗

**Figure 2.** Figure 2: Empirical decay of the theory-driven residuals for PMQSopt on the synthetic QCNP. view at source ↗

**Figure 3.** Figure 3: Objective value and constraint violation versus the number of stochastic gradients on view at source ↗

**Figure 4.** Figure 4: Objective value and constraint violation versus the number of stochastic gradients on view at source ↗

**Figure 5.** Figure 5: Objective value and constraint violation versus the number of stochastic gradients on view at source ↗

**Figure 6.** Figure 6: Objective value and fairness constraint violation versus the number of stochastic gradients view at source ↗

**Figure 7.** Figure 7: Objective value and fairness constraint violation versus the number of stochastic gradients view at source ↗

**Figure 8.** Figure 8: Objective value and fairness constraint violation versus the number of stochastic gradients view at source ↗

read the original abstract

We propose a novel stochastic approximation algorithm, termed PMQSopt, for solving weakly convex stochastic optimization problems involving expectation-valued functions. The algorithm is constructed by integrating the proximal method of multipliers with quadratic approximations of the original stochastic problem. We analyze the sample complexity of PMQSopt in terms of the total number of stochastic gradient evaluations required. The convergence of the algorithm is characterized by three metrics associated with the $\epsilon$-KKT conditions: the average squared norm of the gradient of the Moreau envelope of the Lagrangian, the average constraint violation, and the average complementarity violation. For each of these metrics, we establish an expected convergence rate of $\mathcal{O}(T^{-1/4})$ after $T$ iterations. Furthermore, we show that with probability at least $1-1/T^{2/3}$, the gradient of the Lagrangian satisfies an $\mathcal{O}(T^{-1/8})$ bound; with probability at least $1-2/T^{2/3}$, the constraint violation achieves an $\mathcal{O}(T^{-1/4})$ bound; and with probability at least $1-3/T^{2/3}$, the complementarity violation attains an $\mathcal{O}(T^{-1/4})$ bound. All results are established under two mild conditions: (i) weak convexity of all problem functions, and (ii) the existence of a strictly feasible point. The proposed PMQSopt algorithm is a sequentially strongly convex programming method that is readily implementable. Numerical experiments illustrate its practical performance.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

PMQSopt gives a workable new template for weakly convex constrained stochastic programs with O(T^{-1/4}) expected rates, but the high-probability bound on the Lagrangian gradient is noticeably weaker than the violation bounds.

read the letter

The paper introduces PMQSopt, which folds quadratic approximations into a proximal method of multipliers for expectation-valued weakly convex problems. It reports expected O(T^{-1/4}) rates on the squared Moreau-envelope gradient norm, constraint violation, and complementarity violation after T steps, plus high-probability versions of those bounds under weak convexity and strict feasibility. The method is presented as sequentially strongly convex and easy to code, with some numerical checks included. That combination of proximal multipliers and quadratic steps inside a stochastic approximation loop for this regime looks like the actual new piece; it does not collapse to prior results on the abstract description alone. The implementability claim and the experiments are the parts that feel most immediately useful. The split in the high-probability statements stands out as the clearest soft spot. The Lagrangian gradient only reaches O(T^{-1/8}) with probability 1-1/T^{2/3}, while the two violation metrics keep the faster O(T^{-1/4}) rate at probabilities 1-2/T^{2/3} and 1-3/T^{2/3}. If the noise and martingale assumptions are comparable across the three metrics, this difference hints that the concentration argument for the Moreau-envelope term is looser or uses different parameter choices. The derivations themselves are not visible here, so it is hard to tell whether the gap is an artifact of the proof technique or something more fundamental. The two standing assumptions are mild and standard, which helps generality but also means the rates rest on those conditions holding cleanly. This is the kind of paper that readers working on constrained stochastic optimization or weakly convex models in machine learning would want to see. It supplies a concrete algorithmic option with explicit sample-complexity statements rather than another abstract existence result. I would send it to peer review. The core template is distinct enough that referees can check the tightness of the high-probability analysis and see whether the rates can be aligned or improved without extra assumptions.

Referee Report

1 major / 2 minor

Summary. The paper proposes the PMQSopt algorithm for weakly convex stochastic programming problems involving expectation-valued functions. It combines the proximal method of multipliers with quadratic approximations and analyzes sample complexity via three KKT metrics: the average squared norm of the gradient of the Moreau envelope of the Lagrangian, average constraint violation, and average complementarity violation. Expected rates of O(T^{-1/4}) are claimed for all three after T iterations, with high-probability bounds of O(T^{-1/8}) for the Lagrangian gradient (prob. 1-1/T^{2/3}) and O(T^{-1/4}) for the violations (probs. 1-2/T^{2/3} and 1-3/T^{2/3}), under weak convexity and existence of a strictly feasible point.

Significance. If the rates hold, the work provides a new, implementable stochastic approximation method for constrained weakly convex problems under mild assumptions, filling a gap between convex SA methods and general nonconvex ones. The dual expected and high-probability guarantees, plus the sequentially strongly convex subproblem structure, add both theoretical and practical value for applications in machine learning and optimization.

major comments (1)

[Abstract] Abstract: The high-probability bound for the gradient of the Lagrangian is O(T^{-1/8}) with probability 1-1/T^{2/3}, while constraint and complementarity violations achieve the faster O(T^{-1/4}) with probabilities 1-2/T^{2/3} and 1-3/T^{2/3}. This selective rate degradation for the Moreau-envelope gradient metric is not explained. If the variance/martingale assumptions are identical across metrics, the analysis appears to apply a weaker concentration step or different parameter tuning for the gradient bound; the full proof should clarify the source of the looseness or tighten it to O(T^{-1/4}).

minor comments (2)

[Abstract] The abstract states that numerical experiments illustrate practical performance but provides no details on test problems, dimensions, or baselines; adding a brief description would improve clarity.
Ensure consistent use of mathcal{O} notation and explicit statement of all probability exponents throughout the manuscript.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive feedback on our manuscript. We address the major comment point by point below.

read point-by-point responses

Referee: The high-probability bound for the gradient of the Lagrangian is O(T^{-1/8}) with probability 1-1/T^{2/3}, while constraint and complementarity violations achieve the faster O(T^{-1/4}) with probabilities 1-2/T^{2/3} and 1-3/T^{2/3}. This selective rate degradation for the Moreau-envelope gradient metric is not explained. If the variance/martingale assumptions are identical across metrics, the analysis appears to apply a weaker concentration step or different parameter tuning for the gradient bound; the full proof should clarify the source of the looseness or tighten it to O(T^{-1/4}).

Authors: We agree the abstract and convergence theorem statement do not explain the rate difference. The O(T^{-1/8}) high-probability bound for the Moreau-envelope gradient arises because this metric requires controlling a recursive sequence of quadratic approximation errors inside the proximal multiplier updates; we apply Freedman's martingale inequality to the associated stochastic gradient noise, and optimizing the deviation parameter for failure probability 1/T^{2/3} produces the square-root degradation. Constraint and complementarity violations are direct non-negative averages that concentrate via a standard Hoeffding bound without the recursive layer, preserving O(T^{-1/4}). The differing probabilities (1-1/T^{2/3} vs. 1-2/T^{2/3}, 1-3/T^{2/3}) follow from the number of union-bound events in each proof. Under only weak convexity and strict feasibility we cannot tighten the gradient bound to O(T^{-1/4}) without stronger variance or boundedness assumptions that would restrict applicability. We will revise by adding a clarifying paragraph after Theorem 3.2 and a remark in the appendix proof. revision: yes

Circularity Check

0 steps flagged

No circularity in derivation; algorithm and rates derived independently from assumptions

full rationale

The paper introduces PMQSopt by combining the proximal method of multipliers with quadratic approximations of the stochastic problem. Expected O(T^{-1/4}) rates for the three KKT metrics (Moreau-envelope gradient norm, constraint violation, complementarity violation) and the high-probability bounds are obtained by direct analysis of the algorithm iterates under the stated assumptions of weak convexity and existence of a strictly feasible point. No self-definitional steps appear, no fitted parameters are relabeled as predictions, and no load-bearing claims reduce to self-citations or prior ansatzes by the same authors. The derivation chain remains self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The convergence claims rest on two domain assumptions that are not derived inside the paper.

axioms (2)

domain assumption weak convexity of all problem functions
Invoked as condition (i) to obtain the stated rates
domain assumption existence of a strictly feasible point
Invoked as condition (ii) to obtain the stated rates

pith-pipeline@v0.9.0 · 5579 in / 1296 out tokens · 76480 ms · 2026-05-07T15:49:38.419946+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

A Fletcher's Augmented Lagrangian-Based Stochastic First-Order Method for Nonconvex Equality-Constrained Optimization
math.OC 2026-06 unverdicted novelty 6.0

New stochastic method based on decomposed search directions and Fletcher's augmented Lagrangian achieves O(ε^{-3}) expected oracle complexity for nonconvex equality-constrained optimization.