Diagonalization-based preconditioners and generalized convergence bounds for ParaOpt

by   Arne Bouillon, et al.

The ParaOpt algorithm was recently introduced as a time-parallel solver for optimal-control problems with a terminal-cost objective, and convergence results have been presented for the linear diffusive case with implicit-Euler time integrators. We reformulate ParaOpt for tracking problems and provide generalized convergence analyses for both objectives. We focus on linear diffusive equations and prove convergence bounds that are generic in the time integrators used. For large problem dimensions, ParaOpt's performance depends crucially on having a good preconditioner to solve the arising linear systems. For the case where ParaOpt's cheap, coarse-grained propagator is linear, we introduce diagonalization-based preconditioners inspired by recent advances in the ParaDiag family of methods. These preconditioners not only lead to a weakly-scalable ParaOpt version, but are themselves invertible in parallel, making maximal use of available concurrency. They have proven convergence properties in the linear diffusive case that are generic in the time discretization used, similarly to our ParaOpt results. Numerical results confirm that the iteration count of the iterative solvers used for ParaOpt's linear systems becomes constant in the limit of an increasing processor count. The paper is accompanied by a sequential MATLAB implementation.


On generalized preconditioners for time-parallel parabolic optimal control

The ParaDiag family of algorithms solves differential equations by using...

A new iterative method for solving a class of two-by-two block complex linear systems

We present an iterative method for solving the system arisen from finite...

A modified block alternating splitting iteration method for solving a class of two-by-two block complex linear systems

A modified version of the block alternating splitting (MBAS) iteration m...

Analysis of parallel Schwarz algorithms for time-harmonic problems using block Toeplitz matrices

In this work we study the convergence properties of the one-level parall...

A Parallel-in-Time Preconditioner for the Schur Complement of Parabolic Optimal Control Problems

For optimal control problems constrained by a initial-valued parabolic P...

Fast Iterative Solver for the All-at-Once Runge–Kutta Discretization

In this article, we derive fast and robust preconditioned iterative meth...

Scalable Simple Linear Iterative Clustering (SSLIC) Using a Generic and Parallel Approach

Superpixel algorithms have proven to be a useful initial step for segmen...

Please sign up or login with your details

Forgot password? Click here to reset