GeNIOS: an (almost) second-order operator-splitting solver for large-scale convex optimization

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Diamandis, Theo, Frangella, Zachary, Zhao, Shipu, Stellato, Bartolomeo, Udell, Madeleine
Format: Preprint
Published: 2023
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866909978251493376
author Diamandis, Theo
Frangella, Zachary
Zhao, Shipu
Stellato, Bartolomeo
Udell, Madeleine
author_facet Diamandis, Theo
Frangella, Zachary
Zhao, Shipu
Stellato, Bartolomeo
Udell, Madeleine
contents We introduce the GEneralized Newton Inexact Operator Splitting solver (GeNIOS) for large-scale convex optimization. GeNIOS speeds up ADMM by approximately solving approximate subproblems: it uses a second-order approximation to the most challenging ADMM subproblem and solves it inexactly with a fast randomized solver. Despite these approximations, GeNIOS retains the convergence rate of classic ADMM and can detect primal and dual infeasibility from the algorithm iterates. At each iteration, the algorithm solves a positive-definite linear system that arises from a second-order approximation of the first subproblem and computes an approximate proximal operator. GeNIOS solves the linear system using an indirect solver with a randomized preconditioner, making it particularly useful for large-scale problems with dense data. Our high-performance open-source implementation in Julia allows users to specify convex optimization problems directly (with or without conic reformulation) and allows extensive customization. We illustrate GeNIOS's performance on a variety of problem types. Notably, GeNIOS is up to ten times faster than existing solvers on large-scale, dense problems.
format Preprint
id arxiv_https___arxiv_org_abs_2310_08333
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle GeNIOS: an (almost) second-order operator-splitting solver for large-scale convex optimization
Diamandis, Theo
Frangella, Zachary
Zhao, Shipu
Stellato, Bartolomeo
Udell, Madeleine
Optimization and Control
We introduce the GEneralized Newton Inexact Operator Splitting solver (GeNIOS) for large-scale convex optimization. GeNIOS speeds up ADMM by approximately solving approximate subproblems: it uses a second-order approximation to the most challenging ADMM subproblem and solves it inexactly with a fast randomized solver. Despite these approximations, GeNIOS retains the convergence rate of classic ADMM and can detect primal and dual infeasibility from the algorithm iterates. At each iteration, the algorithm solves a positive-definite linear system that arises from a second-order approximation of the first subproblem and computes an approximate proximal operator. GeNIOS solves the linear system using an indirect solver with a randomized preconditioner, making it particularly useful for large-scale problems with dense data. Our high-performance open-source implementation in Julia allows users to specify convex optimization problems directly (with or without conic reformulation) and allows extensive customization. We illustrate GeNIOS's performance on a variety of problem types. Notably, GeNIOS is up to ten times faster than existing solvers on large-scale, dense problems.
title GeNIOS: an (almost) second-order operator-splitting solver for large-scale convex optimization
topic Optimization and Control
url https://arxiv.org/abs/2310.08333