Fast and Numerically Stable Implementation of Rate Constant Matrix Contraction Method

Shinichi Hemmi,Satoru Iwata,Taihei Oki
2024-09-20
Abstract:The rate constant matrix contraction (RCMC) method, proposed by Sumiya et al. (2015, 2017), enables fast and numerically stable simulations of chemical kinetics on large-scale reaction path networks. Later, Iwata et al. (2023) mathematically reformulated the RCMC method as a numerical algorithm to solve master equations whose coefficient matrices, known as rate constant matrices, possess the detailed balance property. This paper aims to accelerate the RCMC method. The bottleneck in the RCMC method lies in the greedy selection of steady states, which is actually equivalent to the greedy algorithm for the MAP inference in DPPs under cardinality constraints. Hemmi et al. (2022) introduced a fast implementation of the greedy DPP MAP inference, called LazyFastGreedy, by combining the greedy algorithm of Chen et al. (2018) with the lazy greedy algorithm by Minoux (1978), a practically efficient greedy algorithm that exploits the submodularity of the objective function. However, for instances arising from chemical kinetics, the straightforward application of LazyFastGreedy suffers from catastrophic cancellations due to the wide range of reaction time scales. To address this numerical instability, we propose a modification to LazyFastGreedy that avoids the subtraction of like-sign numbers by leveraging the properties of rate constant matrices and the connection of the DPP MAP inference to Cholesky decomposition. For faster implementation, we utilize a segment tree, a data structure that manages one-dimensional arrays of elements in a semigroup. We also analyze the increase in relative errors caused by like-sign subtractions and permit such subtractions when they do not lead to catastrophic cancellations, aiming to further accelerate the process. Using real instances, we confirm that the proposed algorithm is both numerically stable and significantly faster than the original RCMC method.
Numerical Analysis,Optimization and Control
What problem does this paper attempt to address?
The paper aims to address the problem of large-scale reaction pathway network simulation in chemical kinetics. Specifically, the goal of the paper is to accelerate the "Rate Constant Matrix Contraction (RCMC) method." The RCMC method was proposed by Sumiya et al. in 2015 and further developed in 2017. It enables fast and numerically stable simulation of chemical kinetics in large-scale reaction pathway networks. Later, Iwata et al. in 2023 reformulated the RCMC method as a numerical algorithm for solving the rate constant matrix master equation with detailed balance properties. The paper points out that the main bottleneck of the RCMC method lies in the greedy selection of steady states, which is essentially equivalent to a greedy algorithm for maximum a posteriori (MAP) inference under Determinantal Point Processes (DPPs). Hemmi et al. in 2022 introduced a fast implementation method called LazyFastGreedy, but this method encounters numerical instability issues when dealing with chemical kinetics instances due to the wide range of reaction time scales. To address this numerical instability issue, the paper proposes a modified version of LazyFastGreedy. This modification avoids subtraction operations with similar sign numbers by leveraging the properties of the rate constant matrix and the connection between DPP MAP inference and Cholesky decomposition. Additionally, the paper utilizes the segment tree data structure to optimize the implementation speed of the algorithm and analyzes the increase in relative error caused by subtraction of similar sign numbers, allowing these subtraction operations to be performed without leading to catastrophic cancellation. Through validation with actual chemical reaction instances, the proposed algorithm is not only numerically stable but also significantly faster than the original RCMC method.