Abstract:Solving time-harmonic wave propagation problems by iterative methods is a difficult task, and over the last two decades an important research effort has gone into developing preconditioners for the simplest representative of such wave propagation problems, the Helmholtz equation. A specific class of these new preconditioners is considered here. They were developed by researchers with various backgrounds using formulations and notations that are very different, and all are among the most promising preconditioners for the Helmholtz equation. \indent The goal of the present article is to show that this class of preconditioners is based on a common mathematical principle, and that they can all be formulated in the context of domain decomposition methods known as optimized Schwarz methods. This common formulation allows us to explain in detail how and why all these methods work. The domain decomposition formulation also allows us to avoid technicalities in the implementation description we give of these recent methods. \indent The equivalence of these methods with optimized Schwarz methods translates at the discrete level into equivalence with approximate block LU decomposition preconditioners, and in each case we give the algebraic version, including a detailed description of the approximations used. While we choose to use the Helmholtz equation for which these methods were developed, our notation is completely general and the algorithms we give are written for an arbitrary second-order elliptic operator. The algebraic versions are even more general, assuming only a connectivity pattern in the discretization matrix. \indent All the new methods studied here are based on sequential decomposition of the problem in space into a sequence of subproblems, and they have in their optimal form the property to lead to nilpotent iterations, like an exact block LU factorization. Using our domain decomposition formulation, we finally present an algorithm for two-dimensional decompositions, i.e., decompositions that contain cross points, which is still nilpotent in its optimal form. Its approximation is currently an active area of research, and it would have been difficult to discover such an algorithm without the domain decomposition framework.

Presolving in linear programming

Presolve Reductions in Mixed Integer Programming

Accelerate Presolve in Large-Scale Linear Programming via Reinforcement Learning

L2P-MIP: Learning to Presolve for Mixed Integer Programming

Speeding up Linear Programming using Randomized Linear Algebra

Using Optimization to Solve Positive LPs Faster in Parallel

A preconditioner for solving linear programming problems with dense columns

Linear Programming in Isabelle/HOL

Solving linear programs on factorized databases

23 European Symposium on Computer Aided Process Engineering: A Parallel Method with Hybrid Algorithms for Mixed Integer Nonlinear Programming

Linear Programming-Based Preprocessing Algorithm and Tightening Constraints for Multiperiod Blend Scheduling Problems

A Parallel Method With Hybrid Algorithms For Mixed Integer Nonlinear Programming

Linear Programs with Conjunctive Database Queries

Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search

Revisiting Degeneracy, Strict Feasibility, Stability, in Linear Programming

A Class of Iterative Solvers for the Helmholtz Equation: Factorizations, Sweeping Preconditioners, Source Transfer, Single Layer Potentials, Polarized Traces, and Optimized Schwarz Methods

Sparsity Prevention Pivoting Method for Linear Programming.

A New Computational Approach for Solving Linear Bilevel Programs Based on Parameter-Free Disjunctive Decomposition

A High-Performant Multi-Parametric Quadratic Programming Solver

An Efficient Algorithm for Linear Semi-Infinite Programming over Positive Polynomials

Learning to Reformulate for Linear Programming