Discrete Empirical Interpolation Method (DEIM)
- DEIM is a computational method that approximates nonlinear functions in high-dimensional spaces by selecting key interpolation indices from a reduced basis.
- It leverages techniques like proper orthogonal decomposition and Q-DEIM to ensure near-optimal error bounds and efficient performance in complex model reduction tasks.
- Randomized and scalable variants of DEIM enable robust and efficient implementation for large-scale nonlinear dynamical systems and high-dimensional data problems.
The Discrete Empirical Interpolation Method (DEIM) is a computational technique for the efficient approximation of nonlinear functions in high-dimensional settings, with rigorous error bounds and robust algorithmic formulations. DEIM enables the reduction of the computational complexity encountered in reduced-order models and matrix factorizations by enforcing interpolation constraints at a small set of adaptively chosen coordinates, leveraging proper orthogonal decomposition (POD) or other reduced bases. Recent developments, such as the Q-DEIM selection operator based on column-pivoted QR factorization, provide improved conditioning, tighter a priori error bounds, and practical randomized sampling variants for large-scale problems (Drmac et al., 2015).
1. Classical Formulation and Purpose
Consider a nonlinear vector-valued function and an matrix with orthonormal columns (), spanning the subspace in which is well-approximated. The DEIM approximation of is
where is a selection matrix whose columns are standard basis vectors () corresponding to interpolation indices (Drmac et al., 2015). The method enforces 0, restricting 1 to the subspace 2.
This principle is particularly powerful in "hyper-reduction" for model order reduction of nonlinear dynamical systems, where DEIM allows for the approximation of nonlinear terms from evaluations at a small set of spatial locations without evaluating the full-dimensional function (Stefanescu et al., 2012).
2. Interpolation Index Selection: Classical and Q-DEIM Approaches
The core performance of DEIM depends on the conditioning of 3. The original (greedy) DEIM algorithm selects indices sequentially as follows:
- 4 (largest-magnitude entry of the first mode).
- For 5:
- Solve 6
- 7
- 8
The resulting selection matrix 9 ensures 0 is nonsingular.
Q-DEIM, an advancement over the classical approach, formulates the selection using a column-pivoted QR decomposition on 1: 2 where 3 is a permutation matrix. The first 4 columns 5 specify the interpolation indices (6) (Drmac et al., 2015). Q-DEIM enjoys practical computational efficiency as the selection is accomplished in a single QR call using standard high-performance libraries, and it leads to near-optimal conditioning in practice, outperforming the original greedy approach for many applications.
3. Rigorous A Priori Error Bounds
The central DEIM error bound for any 7 is
8
where the first term is the conditioning amplification ("DEIM constant") and the second is the best approximation error onto 9 (Drmac et al., 2015).
For the original DEIM selection, the amplification factor can grow rapidly: 0
Q-DEIM and related pivoted QR-based methods achieve a much sharper bound: 1 with further improvement possible using max-volume submatrix selection: 2 In moderate dimensions, the actual growth of 3 is mild, and QR-based choices are nearly optimal.
Notably, the selection via Q-DEIM is invariant to arbitrary unitary transformations of the basis (4 unitary), making the procedure a true function of the subspace 5, not the specific basis (Drmac et al., 2015).
4. Randomized and Scalable DEIM
For problems with extremely large 6, restricted or randomized Q-DEIM (Q-DEIM7) can be employed, wherein only a randomly sampled set of rows of 8 (with 9) are used for pivoted QR. Sampling utilizes selection probabilities
0
and with 1 rows, the DEIM constant 2 remains uniformly bounded with high probability: 3 with probability at least 4 for suitable 5 (Drmac et al., 2015). This enables near-optimal interpolation while only accessing a subset of the data, critical for large-scale settings.
5. Implementation and Computational Considerations
Q-DEIM is highly amenable to robust, efficient, and parallel software implementation using established linear algebra libraries (e.g., LAPACK's xGEQP3, ScaLAPACK's PxGEQPF). In MATLAB, the index selection is a single call: 0 Once the indices are known, the online phase (interpolation and projection to 6) involves solving one triangular system (7) and applying row extractions and matrix-vector products (8).
6. Generalizations and Extensions
- Interpolation Invariance: DEIM's selection and its corresponding projection operator depend only on the subspace 9, not on the particular orthonormal basis.
- Related Methods: The Q-DEIM framework encompasses and improves upon deterministically-guided index selection methods such as strong Rank-Revealing QR (sRRQR), which further tighten error guarantees.
- Robustness for Model Order Reduction: DEIM, and particularly Q-DEIM, are widely adopted for efficient evaluation of nonlinear terms in reduced-order modeling frameworks (e.g., POD-ROM), enabling dramatic computational savings without substantial loss of accuracy.
7. Significance and Impact
The introduction of Q-DEIM represents a significant advance in the stability and efficiency of empirical interpolation for nonlinear model reduction. Its favorable error analysis, subspace invariance, and direct applicability to large-scale and parallel computation make it a foundational tool across scientific computing, data-driven modeling, and core low-rank approximation tasks (Drmac et al., 2015). Its randomized variants offer further scalability without sacrificing approximation accuracy, broadening its reach in the era of large-scale data and high-dimensional parameter spaces.
Reference:
Drmač, Z., & Gugercin, S. "A New Selection Operator for the Discrete Empirical Interpolation Method -- improved a priori error bound and extensions" (Drmac et al., 2015)