arXiv subjects

Chen Greif

Publications and source records attributed to Chen Greif.

18 recordsLinked to original sources

arXiv2026

Preconditioning for Diffuse Interface Tumor Growth Models

Computational models of tumor growth form a contemporary area of study. Diffuse interface models have been proposed as an important tool for cancer modeling. In this work, we consider preconditioners for numerical simulations of two tumor growth models based on diffuse interface models. For numerical efficiency, we propose block preconditioners that rely on using effective Schur-complement approximations. We show that these methods combined with state-of-the-art adaptive finite element discretizations lead to robust simulations in two and three dimensions. In extensive numerical experiments, we show that the proposed methods show robust convergence behavior.

math.NA↗

arXiv2026

Classification of Double Saddle-Point Systems

We offer a classification of a broad and practically relevant class of symmetric double saddle-point system. At the core of the paper is the division of the associated matrices into ``block-arrow'' and ``block-tridiagonal'' forms. We describe relevant applications, invertibility conditions, spectral properties, and block preconditioners. Our discussion is kept within a general framework rather than tailored to specific applications.

math.NA↗

arXiv2026

Linear Systems and Eigenvalue Problems: Open Questions from a Simons Workshop

This document presents a series of open questions arising in matrix computations, i.e., the numerical solution of linear algebra problems. It is a result of working groups at the workshop Linear Systems and Eigenvalue Problems, which was organized at the Simons Institute for the Theory of Computing program on Complexity and Linear Algebra in Fall 2025. The complexity and numerical solution of linear algebra problems is a crosscutting area between theoretical computer science and numerical analysis. The value of the particular problem formulations here is that they were produced via discussions between researchers from both groups. The open questions are organized in five categories: iterative solvers for linear systems, eigenvalue computation, low-rank approximation, randomized sketching, and other areas including tensors, quantum systems, and matrix functions. (Updated to reflect the status of the open problems as of August 20, 2026.)

math.NA↗

arXiv2026

A BFBt preconditioner for Double Saddle-Point Systems

We consider block preconditioners for double saddle-point systems, and investigate the effect of approximating the nested Schur complement associated with the trailing diagonal block on the eigenvalue distribution of the preconditioned matrix. We develop a variant of Elman's BFBt method and adapt it to this family of linear systems. Our findings are illustrated on a Marker-and-Cell discretization of the Stokes-Darcy equations.

math.NA↗

arXiv2025

Convergence Analysis of Optimal SOR for a Class of Consistently Ordered 2-Cyclic Matrices with Complex Spectra

Asymptotic rates of convergence of optimal SOR applied to linear systems with consistently ordered 2-cyclic matrices have been extensively studied in the case where the Jacobi eigenvalues are are real and contained in an interval centered at the origin. It is well known that as the rightmost endpoint of the interval approaches $1$ from below, optimal SOR converges an order of magnitude faster than Jacobi. We generalize this to the situation where the Jacobi spectrum is contained in a line segment in the complex plane that is symmetric about the origin. This is an important class of linear systems, which arise often in various physical applications; complex-shifted linear systems are included in this family. Optimal relaxation parameters are known in this case, but a detailed convergence analysis does not seem to exist in the literature. Using techniques of complex analysis, we derive convergence rates, finding that in the complex case they are affected not only by the distance to 1 of the right-hand endpoint of the line segment as in the real case, but also by its phase.

math.NA↗

arXiv2025

GMRES Convergence Analysis for Nonsymmetric Saddle-Point Systems When the Field of Values Contains the Origin

We present a field-of-values (FOV) analysis for preconditioned nonsymmetric saddle-point linear systems, where zero is included in the field of values of the matrix. We rely on recent results of Crouzeix and Greenbaum [Spectral sets: numerical range and beyond. SIAM Journal on Matrix Analysis and Applications, 40(3):1087-1101, 2019], showing that a convex region with a circular hole is a spectral set. Sufficient conditions are derived for convergence independent of the matrix dimensions. We apply our results to preconditioned nonsymmetric saddle-point systems, and show their applicability to families of block preconditioners that have not been previously covered by existing FOV analysis. A limitation of our theory is that the preconditioned matrix is required to have a small skew-symmetric part in norm. Consequently, our analysis may not be applicable, for example, to fluid flow problems characterized by a small viscosity coefficient. Some numerical results illustrate our findings.

math.NA↗

arXiv2025

Convergence Properties of Nonlinear GMRES Applied to Linear Systems

The Nonlinear GMRES (NGMRES) proposed by Washio and Oosterlee [Electron. Trans. Numer. Anal, 6(271-290), 1997] is an acceleration method for fixed point iterations. It has been demonstrated to be effective, but its convergence properties have not been extensively studied in the literature so far. In this work we aim to close some of this gap, by offering a convergence analysis for NGMRES applied to linear systems. A central part of our analysis focuses on identifying equivalences between NGMRES and the classical Krylov subspace GMRES method.

math.NA↗

arXiv2024

On the invertibility of matrices with a double saddle-point structure

We establish necessary and sufficient conditions for invertibility of symmetric three-by-three block matrices having a double saddle-point structure \fb{that guarantee the unique solvability of double saddle-point systems}. We consider various scenarios, including the case where all diagonal blocks are allowed to be rank deficient. Under certain conditions related to the nullity of the blocks and intersections of their kernels, an explicit formula for the inverse is derived.

math.NA↗

arXiv2022

Block Preconditioners for the Marker-and-Cell Discretization of the Stokes-Darcy Equations

We consider the problem of iteratively solving large and sparse double saddle-point systems arising from the stationary Stokes-Darcy equations in two dimensions, discretized by the Marker-and-Cell (MAC) finite difference method. We analyze the eigenvalue distribution of a few ideal block preconditioners. We then derive practical preconditioners that are based on approximations of Schur complements that arise in a block decomposition of the double saddle-point matrix. We show that including the interface conditions in the preconditioners is key in the pursuit of scalability. Numerical results show good convergence behavior of our preconditioned GMRES solver and demonstrate robustness of the proposed preconditioner with respect to the physical parameters of the problem.

math.NA↗

arXiv2022

Augmentation-Based Preconditioners for Saddle-Point Systems with Singular Leading Blocks

We consider the iterative solution of symmetric saddle-point matrices with a singular leading block. We develop a new ideal positive definite block diagonal preconditioner that yields a preconditioned operator with four distinct eigenvalues. We offer a few techniques for making the preconditioner practical, and illustrate the effectiveness of our approach with numerical experiments.

math.NA↗

arXiv2022

Eigenvalue Bounds for Saddle-Point Systems with Singular Leading Blocks

We derive bounds on the eigenvalues of saddle-point matrices with singular leading blocks. The technique of proof is based on augmentation. Our bounds depend on the principal angles between the ranges or kernels of the matrix blocks. Numerical experiments validate our analytical findings.

math.NA↗

arXiv2021

A closed-form multigrid smoothing factor for an additive Vanka-type smoother applied to the Poisson equation

We consider an additive Vanka-type smoother for the Poisson equation discretized by the standard finite difference centered scheme. Using local Fourier analysis, we derive analytical formulas for the optimal smoothing factors for two types of smoothers, called vertex-wise and element-wise Vanka smoothers, and present the corresponding stencils. Interestingly, in one dimension the element-wise Vanka smoother is equivalent to the scaled mass operator obtained from the linear finite element method, and in two dimensions the element-wise Vanka smoother is equivalent to the scaled mass operator discretized by bilinear finite element method plus a scaled identity operator. Based on these discoveries, the mass matrix obtained from finite element method can be used as an approximation to the inverse of the Laplacian, and the resulting mass-based relaxation scheme features small smoothing factors in one, two, and three dimensions. Advantages of the mass operator are that the operator is sparse and well conditioned, and the computational cost of the relaxation scheme is only one matrix-vector product; there is no need to compute the inverse of a matrix. These findings may help better understand the efficiency of additive Vanka smoothers and develop fast solvers for numerical solutions of partial differential equations.

math.NA↗

arXiv2021

A note on using the mass matrix as a preconditioner for the Poisson equation

We show that the mass matrix derived from finite elements can be effectively used as a preconditioner for iteratively solving the linear system arising from finite-difference discretization of the Poisson equation, using the conjugate gradient method. We derive analytically the condition number of the preconditioned operator. Theoretical analysis shows that the ratio of the condition number of the Laplacian to the preconditioned operator is $8/3$ in one dimension, $9/2$ in two dimensions, and $2^9/3^4 \approx 6.3$ in three dimensions. From this it follows that the expected iteration count for achieving a fixed reduction of the norm of the residual is smaller than a half of the number of the iterations of unpreconditioned CG in 2D and 3D. The scheme is easy to implement, and numerical experiments show its efficiency.

math.NA↗

arXiv2021

Eigenvalue Bounds for Double Saddle-Point Systems

We derive bounds on the eigenvalues of a generic form of double saddle-point matrices. The bounds are expressed in terms of extremal eigenvalues and singular values of the associated block matrices. Inertia and algebraic multiplicity of eigenvalues are considered as well. The analysis includes bounds for preconditioned matrices based on block diagonal preconditioners using Schur complements, and it is shown that in this case the eigenvalues are clustered within a few intervals bounded away from zero. Analysis for approximations of Schur complements is included. Some numerical experiments validate our analytical findings.

math.NA↗

arXiv2021

HSS(0): an Improved Hermitian/Skew-Hermitian Splitting Iteration

We propose an improved version of the Hermitian/skew-Hermitian splitting (HSS) iterative method, which we call HSS(0), to solve non-Hermitian linear systems with a positive definite Hermitian part. The improvement is based on solving the Hermitian half iteration without a shift, and applying a shift only for the skew-Hermitian solve. An optimal parameter is derived analytically, and a corresponding upper bound on the convergence speed is obtained. Using a combination of analytical proofs and numerical validations, we show that HSS(0) yields a dramatically faster convergence speed than standard HSS. Furthermore, HSS(0) is much less sensitive to the choice of the parameter. Numerical experiments on a convection-diffusion model problem in two and three dimensions illustrate the high efficiency of HSS(0).

math.NA↗

arXiv2015

SYM-ILDL: Incomplete $LDL^{T}$ Factorization of Symmetric Indefinite and Skew-Symmetric Matrices

SYM-ILDL is a numerical software package that computes incomplete $LDL^{T}$ (or `ILDL') factorizations of symmetric indefinite and real skew-symmetric matrices. The core of the algorithm is a Crout variant of incomplete LU (ILU), originally introduced and implemented for symmetric matrices by [Li and Saad, Crout versions of ILU factorization with pivoting for sparse symmetric matrices, Transactions on Numerical Analysis 20, pp. 75--85, 2005]. Our code is economical in terms of storage and it deals with real skew-symmetric matrices as well, in addition to symmetric ones. The package is written in C++ and it is templated, open source, and includes a MATLAB interface. The code includes built-in RCM and AMD reordering, two equilibration strategies, threshold Bunch-Kaufman pivoting and rook pivoting, as well as a wrapper to MC64, a popular matching based equilibration and reordering algorithm. We also include two built-in iterative solvers: SQMR preconditioned with ILDL, or MINRES preconditioned with a symmetric positive definite preconditioner based on the ILDL factorization.

cs.MS↗

arXiv2011

Fast matrix computations for pair-wise and column-wise commute times and Katz scores

We first explore methods for approximating the commute time and Katz score between a pair of nodes. These methods are based on the approach of matrices, moments, and quadrature developed in the numerical linear algebra community. They rely on the Lanczos process and provide upper and lower bounds on an estimate of the pair-wise scores. We also explore methods to approximate the commute times and Katz scores from a node to all other nodes in the graph. Here, our approach for the commute times is based on a variation of the conjugate gradient algorithm, and it provides an estimate of all the diagonals of the inverse of a matrix. Our technique for the Katz scores is based on exploiting an empirical localization property of the Katz matrix. We adopt algorithms used for personalized PageRank computing to these Katz scores and theoretically show that this approach is convergent. We evaluate these methods on 17 real world graphs ranging in size from 1000 to 1,000,000 nodes. Our results show that our pair-wise commute time method and column-wise Katz algorithm both have attractive theoretical properties and empirical performance.

cs.SI↗

arXiv2011

The power and Arnoldi methods in an algebra of circulants

Circulant matrices play a central role in a recently proposed formulation of three-way data computations. In this setting, a three-way table corresponds to a matrix where each "scalar" is a vector of parameters defining a circulant. This interpretation provides many generalizations of results from matrix or vector-space algebra. We derive the power and Arnoldi methods in this algebra. In the course of our derivation, we define inner products, norms, and other notions. These extensions are straightforward in an algebraic sense, but the implications are dramatically different from the standard matrix case. For example, a matrix of circulants has a polynomial number of eigenvalues in its dimension; although, these can all be represented by a carefully chosen canonical set of eigenvalues and vectors. These results and algorithms are closely related to standard decoupling techniques on block-circulant matrices using the fast Fourier transform.

math.NA↗