4.5 Article

The parallel solution of dense saddle-point linear systems arising in stochastic programming

Journal

OPTIMIZATION METHODS & SOFTWARE
Volume 27, Issue 4-5, Pages 845-864

Publisher

TAYLOR & FRANCIS LTD
DOI: 10.1080/10556788.2011.602976

Keywords

stochastic programming; parallel computing; parallel dense linear algebra; saddle-point

Funding

  1. US Department of Energy [DE-AC02-06CH11357]

Ask authors/readers for more resources

We present a novel approach for solving dense saddle-point linear systems in a distributed-memory environment. This work is motivated by an application in stochastic optimization problems with recourse, but the proposed approach can be used for a large family of dense saddle-point systems, in particular, for those arising in convex programming. Although stochastic optimization problems have many important applications, they can present serious computational difficulties. In particular, sample average approximation (SAA) problems with a large number of samples are often too big to solve on a single shared-memory system. Recent work has developed interior-point methods and specialized linear algebra to solve these problems in parallel, using a scenario-based decomposition that distributes the data, and work across computational nodes. Even for sparse SAA problems, the decomposition produces a dense and possibly very large saddle-point linear system that must be solved repeatedly. We developed a specialized parallel factorization procedure for these systems, together with a streamlined method for assembling the distributed dense matrix. Strong scaling tests indicate over 90% efficiency on 1024 cores on a stochastic unit commitment problem with 57 million variables. Stochastic unit commitment problems with up to 189 million variables are solved efficiently on up to 2048 cores.

Authors

I am an author on this paper
Click your name to claim this paper and add it to your profile.

Reviews

Primary Rating

4.5
Not enough ratings

Secondary Ratings

Novelty
-
Significance
-
Scientific rigor
-
Rate this paper

Recommended

Article Engineering, Electrical & Electronic

Convergence Analysis of Fixed Point Chance Constrained Optimal Power Flow Problems

Johannes J. Brust, Mihai Anitescu

Summary: This article analyzes the convergence conditions for a fixed point iteration method used in optimal power flow problems with chance constraints, and presents numerical experiments including for large IEEE networks.

IEEE TRANSACTIONS ON POWER SYSTEMS (2022)

Article Engineering, Electrical & Electronic

Trust-Region Approximation of Extreme Trajectories in Power System Dynamics

Daniel Adrian Maldonado, Emil M. Constantinescu, Hong Zhang, Vishwas Rao, Mihai Anitescu

Summary: This work introduces a novel technique to compute extreme trajectories of power system dynamic simulations using trust-region optimization algorithm and second-order trajectory sensitivities. The method overcomes limitations of previous sensitivity-based techniques in approximating bounds of trajectories in nonlinear scenarios, showing accuracy and scalability in numerical experiments.

IEEE TRANSACTIONS ON POWER SYSTEMS (2022)

Article Engineering, Electrical & Electronic

Failure Probability Constrained AC Optimal Power Flow

Anirudh Subramanyam, Jacob Roth, Albert Lam, Mihai Anitescu

Summary: This paper proposes a reliability-aware approach for power dispatch, which aims to reduce the probability of cascades by considering the failure potential. By utilizing a probability model, the proposed method can effectively decrease the risk of blackouts in power transmission systems.

IEEE TRANSACTIONS ON POWER SYSTEMS (2022)

Article Operations Research & Management Science

Mixed-Integer Convex Representability

Miles Lubin, Juan Pablo Vielma, Ilias Zadik

Summary: This study examines which sets can be represented exactly as feasible regions of mixed-integer convex optimization problems, establishing a complete characterization for the mixed-binary case and necessary conditions for the general case. The results provide the first nonrepresentability findings for various nonconvex sets and suggest a clear separation between the modeling power of mixed-integer linear and mixed-integer convex optimization, particularly in the case of subsets of natural numbers. The study also highlights the necessity of unbounded integer variables for modeling unbounded sets in the case of compact sets.

MATHEMATICS OF OPERATIONS RESEARCH (2022)

Article Engineering, Electrical & Electronic

Distributed Frequency Divider for Power System Bus Frequency Online Estimation Considering Virtual Inertia From DFIGs

Bendong Tan, Junbo Zhao, Nan Duan, Daniel Adrian Maldonado, Yingchen Zhang, Hongming Zhang, Mihai Anitescu

Summary: This paper proposes a distributed frequency divider to estimate power system bus frequency with a limited number of PMUs while considering the inertial contributions from DFIGs. The proposed method reformulates the original frequency divider by modeling the contributions of DFIGs, allowing estimation of local bus frequencies in a distributed manner. The numerical results on real power systems demonstrate the effectiveness and robustness of the proposed method.

IEEE JOURNAL ON EMERGING AND SELECTED TOPICS IN CIRCUITS AND SYSTEMS (2022)

Article Physics, Multidisciplinary

Order-Disorder Transitions in (CaxSr1-x)3Rh4Sn13

Puspa Upreti, Matthew Krogstad, Charlotte Haley, Mihai Anitescu, Vishwas Rao, Lekh Poudel, Omar Chmaissem, Stephan Rosenkranz, Raymond Osborn

Summary: The paper investigates structural correlations in the quasiskutterudites using single crystal x-ray diffraction and finds temperature-independent local atomic displacements below the transition, which persist to well above the transition, indicating order-disorder behavior.

PHYSICAL REVIEW LETTERS (2022)

Article Mathematics, Applied

EXPONENTIAL DECAY OF SENSITIVITY IN GRAPH-STRUCTURED NONLINEAR PROGRAMS

Sungho Shin, Mihai Anitescu, Victor M. Zavala

Summary: This study investigates the solution sensitivity of nonlinear programs based on graph structures and presents the exponential decay result of solution sensitivity with respect to distance. This result holds under the strong second-order sufficiency condition and the linear independence constraint qualification, and is illustrated with numerical examples.

SIAM JOURNAL ON OPTIMIZATION (2022)

Article Computer Science, Software Engineering

An adaptive stochastic sequential quadratic programming with differentiable exact augmented lagrangians

Sen Na, Mihai Anitescu, Mladen Kolar

Summary: In this paper, we propose a stochastic algorithm based on sequential quadratic programming (SQP) for solving nonlinear optimization problems with a stochastic objective and deterministic equality constraints. We introduce a differentiable exact augmented Lagrangian as the merit function and incorporate a stochastic line search procedure to adaptively select the random stepsizes. The global almost sure convergence for both non-adaptive and adaptive SQP methods is established. Numerical experiments demonstrate the superiority of the adaptive algorithm.

MATHEMATICAL PROGRAMMING (2023)

Article Computer Science, Software Engineering

Faster first-order primal-dual methods for linear programming using restarts and sharpness

David Applegate, Oliver Hinder, Haihao Lu, Miles Lubin

Summary: This paper utilizes the sharpness of primal-dual formulations in linear programming to achieve linear convergence with restarts, improving the accuracy of solution.

MATHEMATICAL PROGRAMMING (2023)

Article Automation & Control Systems

Superconvergence of Online Optimization for Model Predictive Control

Sen Na, Mihai Anitescu

Summary: We have developed an online, lag-L, model predictive control (MPC) algorithm that solves discrete-time, equality-constrained, nonlinear dynamic programs with one Newton step per horizon. Based on recent sensitivity analysis results, we have proven that this approach exhibits a behavior called superconvergence, where the tracking error with respect to the full-horizon solution is stable for successive horizon shifts and decreases with increasing shift order to a minimum value that decays exponentially in the length of the receding horizon. We have shown that the algorithmic error achieved quadratic convergence through Newton's method, while the perturbation error decayed exponentially with the lag between consecutive receding horizons. Overall, this approach induces local exponential convergence in terms of the receding horizon length for suitable values of L. Numerical experiments have validated our theoretical findings.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2023)

Article Operations Research & Management Science

Accelerating Condensed Interior-Point Methods on SIMD/GPU Architectures

Francois Pacaud, Sungho Shin, Michel Schanen, Daniel Adrian Maldonado, Mihai Anitescu

Summary: The interior-point method (IPM) is widely used in nonlinear programming, and its performance depends on the linear solver employed to solve the Karush-Kuhn-Tucker (KKT) system. We propose a novel reduced-space IPM algorithm that condenses the KKT system into a dense matrix proportional to the number of degrees of freedom. Two variants of the reduced-space method are derived, and computations are accelerated on GPUs. Extensive numerical results show that the reduced-space algorithms outperform Knitro and a hybrid full-space IPM algorithm when the relative number of degrees of freedom decreases.

JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS (2023)

Article Computer Science, Software Engineering

Shapes and recession cones in mixed-integer convex representability

Ilias Zadik, Miles Lubin, Juan Pablo Vielma

Summary: We investigate the structural geometric properties of mixed-integer convex representable (MICP-R) sets and compare them with the class of mixed-integer linear representable (MILP-R) sets. We provide examples of MICP-R sets that are countably infinite unions of convex sets with countably infinitely many different recession cones, and countably infinite unions of polytopes with different shapes. These examples highlight the differences between MICP-R sets and MILP-R sets.

MATHEMATICAL PROGRAMMING (2023)

Article Computer Science, Software Engineering

Inequality constrained stochastic nonlinear optimization via active-set sequential quadratic programming

Sen Na, Mihai Anitescu, Mladen Kolar

Summary: We propose an active-set stochastic sequential quadratic programming (StoSQP) algorithm for solving nonlinear optimization problems with a stochastic objective and deterministic constraints. The algorithm uses a differentiable exact augmented Lagrangian as the merit function and adaptively selects penalty parameters. It has been shown to have global convergence and outperforms previous work in terms of nonlinear inequality constraints and sample complexity.

MATHEMATICAL PROGRAMMING (2023)

Article Computer Science, Software Engineering

JuMP 1.0: recent improvements to a modeling language for mathematical optimization

Miles Lubin, Oscar Dowson, Joaquim Dias Garcia, Joey Huchette, Benoit Legat, Juan Pablo Vielma

Summary: JuMP is an algebraic modeling language in Julia, which can be used to model various types of optimization problems and handles the low-level details of communicating with solvers. After almost 10 years of development, JuMP 1.0 was released in March 2022.

MATHEMATICAL PROGRAMMING COMPUTATION (2023)

Article Energy & Fuels

Detecting Large Frequency Excursions in the Power Grid With Bayesian Decision Theory

Amanda Lenzi, Julie Bessac, Mihai Anitescu

Summary: This study proposes statistical models for anticipating disturbances in the frequency response at multiple locations simultaneously and issues real-time event recommendations based on predefined loss functions. The case study shows that the proposed spatiotemporal model better captures uncertainty and increases the probability of identifying large frequency excursions, reducing risks for the system operator.

IEEE OPEN ACCESS JOURNAL OF POWER AND ENERGY (2022)

No Data Available