Abstract:The International Journal of High Performance Computing Applications, Ahead of Print. Recently, global and local relaxation Runge–Kutta methods have been developed for guaranteeing the conservation, dissipation, or other solution properties for general convex functionals whose dynamics are crucial for an ordinary differential equation solution. These novel time integration procedures have an application in a wide range of problems that require dynamics-consistent and stable numerical methods. The application of a relaxation scheme involves solving scalar nonlinear algebraic equations to find the relaxation parameter. Even though root-finding may seem to be a problem technically straightforward and computationally insignificant, we address the problem at scale as we solve full-scale industrial problems on a CPU-powered supercomputer and show its cost to be considerable. In particular, we apply the relaxation schemes in the context of the compressible Navier–Stokes equations and use them to enforce the correct entropy evolution. We use seven different algorithms to solve for the global and local relaxation parameters and analyze their strong scalability. As a result of this analysis, within the global relaxation scheme, we recommend using Brent's method for problems with a low polynomial degree and of small sizes for the global relaxation scheme, while secant proves to be the best choice for higher polynomial degree solutions and large problem sizes. For the local relaxation scheme, we recommend secant. Further, we compare the schemes' performance using their most efficient implementations, where we look at their effect on the timestep size, overhead, and weak scalability. We show the global relaxation scheme to be always more expensive than the local approach—typically 1.1–1.5 times the cost. At the same time, we highlight scenarios where the global relaxation scheme might underperform due to its increased communication requirements. Finally, we present an analysis that sets expectations on the computational overhead anticipated based on the system properties.

On the complexity of using Handelman relaxation for solving polynomial optimization problems

Exactness and Effective Degree Bound of Lasserre's Relaxation for Polynomial Optimization over Finite Variety

Tighter Linear Program Relaxations for High Order Graphical Models

Relaxation Methods for Hyperbolic PDE Mixed-Integer Optimal Control Problems

MIP Relaxations in Factorable Programming

On the strength of recursive McCormick relaxations for binary polynomial optimization

Optimization over convex polyhedra via Hadamard parametrizations

T-semidefinite programming relaxation with third-order tensors for constrained polynomial optimization

Lyapunov Function Synthesis Using Handelman Representations.

Sparse convex relaxations in polynomial optimization

Complexity for exact polynomial optimization strengthened with Fritz John conditions

Complexity of linear relaxations in integer programming

Algebraic Relaxations and Hardness Results in Polynomial Optimization and Lyapunov Analysis

Efficient Algorithm for Solving Hyperbolic Programs

A Bounded Degree Lasserre Hierarchy with SOCP Relaxations for Global Polynomial Optimization and Applications

On relaxations of the max $k$-cut problem formulations

On semidefinite programming relaxations for a class of robust SOS-convex polynomial optimization problems

Performance analysis of relaxation Runge–Kutta methods

Relaxation Strategy for the Landweber Method