PofoliaShared via Pofolia

Mathematics of Operations Research· 2026Q1

High-Probability Polynomial-Time Complexity of Restarted Primal-Dual Hybrid Gradient Method for Linear Programming

Zikai Xiong

Short summary

The restarted primal-dual hybrid gradient method (rPDHG) achieves polynomial-time complexity in a high-probability sense for linear programming (LP) problems, settling on the optimal basis in O(m^2 n) iterations and an optimal solution in O(m n^2) iterations with high probability, under specific data distribution assumptions.

AI-generated from the title and abstract; the full text is not read.

Key points

  • rPDHG achieves polynomial-time complexity for LP problems with high probability, contrary to its poor worst-case theoretical bounds.
  • For LP instances with m constraints and n variables from Gaussian/sub-Gaussian distributions, rPDHG finds the optimal basis in O(m^2 n) and an [Formula: see text]-optimal solution in O(m n^2) iterations with probability at least [Formula: see text].
  • The Gaussian distribution model offers an improved Stage I bound of O(m n).
  • Experimental results validate the probabilistic polynomial-time complexity and tail behavior of rPDHG.

AI-generated from the title and abstract; the full text is not read.

Abstract

The restarted primal-dual hybrid gradient method (rPDHG) is a first-order method recently known for its computational effectiveness in solving linear programming (LP) problems. Despite its impressive practical performance, the theoretical iteration bounds for rPDHG can be exponentially poor. To investigate this gap from a probabilistic perspective, we show that rPDHG achieves polynomial-time complexity in a high-probability sense, under assumptions on the probability distribution from which the data instance is generated. We consider both Gaussian and more general sub-Gaussian distribution models. For standard-form LP instances with m constraints and n variables, our bounds take a particularly simple form when m is not too close to n: rPDHG iterates settle on the optimal basis in [Formula: see text] iterations, followed by [Formula: see text] iterations to compute an [Formula: see text]-optimal solution, with probability at least [Formula: see text] for [Formula: see text] that is not exponentially small. The Stage I bound further improves to [Formula: see text] in the Gaussian distribution model. Experimental results confirm the tail behavior and the polynomial-time dependence on problem dimensions of the iteration counts. As an application of our probabilistic analysis, we explore how the disparity among the components of the optimal solution bears on the performance of rPDHG, and we provide guidelines for generating challenging LP instances. Funding: Part of this work was performed at the Massachusetts Institute of Technology and was supported by the Air Force Office of Scientific Research [Grant FA9550-22-1-0356]. Another part of this work was performed at the Georgia Institute of Technology and was supported by the Office of Naval Research [Award N00014-25-1-2088].

The authors' abstract, as published at the source. Mathematics of Operations Research, 2026 · DOI ↗

TakeawaysPremium
Ask the paperFree account

Continue with a free account

Ask the paper: 3 free questions a day about this paper; save it, get its citation, new summaries every day for your field. Takeaways are Premium.

Continue free on the web

Sign in with Google or Apple; no card needed. You come back to this paper.

On your phone:

Field: Numerical Analysis

Numerical AnalysisMathematics