Showing 1–5 of 5 results for author: Mikkelsen, C C K

The need for accuracy and smoothness in numerical simulations

Authors: Carl Christian Kjelgaard Mikkelsen, Lorién López-Villellas

Abstract: We consider the problem of estimating the error when solving a system of differential algebraic equations. Richardson extrapolation is a classical technique that can be used to judge when computational errors are irrelevant and estimate the discretization error. We have simulated molecular dynamics with constraints using the GROMACS library and found that the output is not always amenable to Richa… ▽ More We consider the problem of estimating the error when solving a system of differential algebraic equations. Richardson extrapolation is a classical technique that can be used to judge when computational errors are irrelevant and estimate the discretization error. We have simulated molecular dynamics with constraints using the GROMACS library and found that the output is not always amenable to Richardson extrapolation. We derive and illustrate Richardson extrapolation using a variety of numerical experiments. We identify two necessary conditions that are not always satisfied by the GROMACS library. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Comments: 14 pages, 12 figures

MSC Class: 65L70; 65L80; 65G99

How accurate does Newton have to be?

Authors: Carl Christian Kjelgaard Mikkelsen, Lorién López-Villellas, Pablo García-Risueño

Abstract: We analyze the convergence of quasi-Newton methods in exact and finite precision arithmetic. In particular, we derive an upper bound for the stagnation level and we show that any sufficiently exact quasi-Newton method will converge quadratically until stagnation. In the absence of sufficient accuracy, we are likely to retain rapid linear convergence. We confirm our analysis by computing square roo… ▽ More We analyze the convergence of quasi-Newton methods in exact and finite precision arithmetic. In particular, we derive an upper bound for the stagnation level and we show that any sufficiently exact quasi-Newton method will converge quadratically until stagnation. In the absence of sufficient accuracy, we are likely to retain rapid linear convergence. We confirm our analysis by computing square roots and solving bond constraint equations in the context of molecular dynamics. We briefly discuss implications for parallel solvers. △ Less

Submitted 31 March, 2023; originally announced March 2023.

Comments: 12 pages, 2 figures, preprint accepted by PPAM 2022, expected to appear in LNCS vol. 13826 during 2023

MSC Class: 65H10 ACM Class: G.1.5

Well-conditioned eigenvalue problems that overflow

Authors: Carl Christian Kjelgaard Mikkelsen

Abstract: In this note we present a parameterized class of lower triangular matrices. The components of the eigenvectors grow rapidly and will exceed the representational range of any finite number system. The eigenvalues and the eigenvectors are well-conditioned with respect to componentwise relative perturbations of the matrix. This class of matrices is well suited for testing software for computing eigen… ▽ More In this note we present a parameterized class of lower triangular matrices. The components of the eigenvectors grow rapidly and will exceed the representational range of any finite number system. The eigenvalues and the eigenvectors are well-conditioned with respect to componentwise relative perturbations of the matrix. This class of matrices is well suited for testing software for computing eigenvectors as these routines must be able to handle overflow successfully. △ Less

Submitted 11 May, 2020; originally announced May 2020.

Comments: 11 pages, 0 figures

MSC Class: 65F15 ACM Class: G.1.3

Parallel Robust Computation of Generalized Eigenvectors of Matrix Pencils

Authors: Carl Christian Kjelgaard Mikkelsen, Mirko Myllykoski

Abstract: In this paper we consider the problem of computing generalized eigenvectors of a matrix pencil in real Schur form. In exact arithmetic, this problem can be solved using substitution. In practice, substitution is vulnerable to floating-point overflow. The robust solvers xTGEVC in LAPACK prevent overflow by dynamically scaling the eigenvectors. These subroutines are sequential scalar codes which com… ▽ More In this paper we consider the problem of computing generalized eigenvectors of a matrix pencil in real Schur form. In exact arithmetic, this problem can be solved using substitution. In practice, substitution is vulnerable to floating-point overflow. The robust solvers xTGEVC in LAPACK prevent overflow by dynamically scaling the eigenvectors. These subroutines are sequential scalar codes which compute the eigenvectors one by one. In this paper we discuss how to derive robust blocked algorithms. The new StarNEig library contains a robust task-parallel solver Zazamoukh which runs on top of StarPU. Our numerical experiments show that Zazamoukh achieves a super-linear speedup compared with DTGEVC for sufficiently large matrices. △ Less

Submitted 10 March, 2020; originally announced March 2020.

Comments: This manuscript was accepted to 13th International Conference on Parallel Processing and Applied Mathematics (PPAM2019), Bialystok, Poland, September 8-11, 2019. The final authenticated version is available online at https://doi.org/10.1007/978-3-030-43229-4_6 (DOI valid from May 8, 2020 onward). First author's first name is "Carl Christian" and last name "Kjelgaard Mikkelsen"

Journal ref: LNCS 12043 (2020) 58-69

Robust Task-Parallel Solution of the Triangular Sylvester Equation

Authors: Angelika Schwarz, Carl Christian Kjelgaard Mikkelsen

Abstract: The Bartels-Stewart algorithm is a standard approach to solving the dense Sylvester equation. It reduces the problem to the solution of the triangular Sylvester equation. The triangular Sylvester equation is solved with a variant of backward substitution. Backward substitution is prone to overflow. Overflow can be avoided by dynamic scaling of the solution matrix. An algorithm which prevents overf… ▽ More The Bartels-Stewart algorithm is a standard approach to solving the dense Sylvester equation. It reduces the problem to the solution of the triangular Sylvester equation. The triangular Sylvester equation is solved with a variant of backward substitution. Backward substitution is prone to overflow. Overflow can be avoided by dynamic scaling of the solution matrix. An algorithm which prevents overflow is said to be robust. The standard library LAPACK contains the robust scalar sequential solver dtrsyl. This paper derives a robust, level-3 BLAS-based task-parallel solver. By adding overflow protection, our robust solver closes the gap between problems solvable by LAPACK and problems solvable by existing non-robust task-parallel solvers. We demonstrate that our robust solver achieves a similar performance as non-robust solvers. △ Less

Submitted 25 May, 2019; originally announced May 2019.

Comments: 10 pages, 7 figures