arXiv ScienceSearch

arXiv · 2606.01821

Variational Free Energy Pivot Selection for Pivoted Cholesky

Abstract

Pivoted Cholesky factorizations construct low-rank approximations of symmetric positive definite matrices by sequentially selecting pivots from the residual diagonal. Classical greedy and randomized rules, such as randomly pivoted Cholesky, target the algebraic trace-norm error of the residual. In many applications, however, the matrix enters a nonlinear matrix functional whose value, not the trace-norm error, determines solution quality, and residual-based rules ignore this structure. We derive a pivot rule that maximizes the exact one-step change of such a functional under Cholesky-consistent rank-1 updates, for a functional combining log-determinant, quadratic, and trace terms. This functional arises as the variational free energy in Gaussian process regression, where the matrix is a kernel matrix. The resulting per-step gain admits a closed-form additive decomposition into complexity, data-fit, and trace contributions, and is used directly as a pivot-selection criterion. We refer to the resulting method as $Δ$-VFE pivoted Cholesky. At each iteration, the criterion is evaluated on a batch of $s$ candidate pivots sampled proportionally to the residual diagonal via incremental Woodbury updates, at a total cost of $\mathcal{O}(snr^2)$ for an $n\times n$ matrix and target rank $r$. This matches the asymptotic complexity of randomly pivoted Cholesky up to the batch factor $s$. Cholesky-consistent rank-1 updates yield monotonically non-decreasing functional values, and the proposed rule maximizes the per-step gain among them. Numerical experiments show improved objective values and predictive accuracy at low to moderate ranks compared to classical and randomly pivoted Cholesky, while preserving trace-norm approximation quality.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Louise Schaub, Peter Zaspel. 2026-06-01. Variational Free Energy Pivot Selection for Pivoted Cholesky. https://arxiv.org/abs/2606.01821

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Multi-Frequency Helmholtz Solver Based on the WaveHoltz Algorithm

We develop and analyze a new approach for simultaneously computing multiple solutions to the Helmholtz equation for different frequencies and different forcing functions. The new Multi-Frequency WaveHoltz (MFWH) algorithm is an extension of the original WaveHoltz method and both are based on time-filtering solutions to an associated wave equation. With MFWH, the different Helmholtz solutions are computed simultaneously by solving a single wave equation combined with multiple time filters. The MFWH algorithm defines a fixed-point iteration which can be accelerated with Krylov methods such as GMRES. The solution of the wave equation can be efficiently solved with either explicit time-stepping or implicit time-stepping using as few as five time-steps per period. When combined with an $O(N)$ solver for the implicit equations, such a multigrid, the scheme has an $O(N)$ solution cost when the frequencies are fixed and the number of grid points $N$ increases. High-order accurate approximations in space are used together with second-order accurate approximations in time. We show how to remove time discretization errors so that the MFWH solutions converge to the corresponding solutions to the discretized Helmholtz problems. Numerical results are given using second-order accurate and fourth-accurate discretizations to confirm the convergence theory.

math.NA

A Geometrical Acoustics based Focusing Algorithm for Layered Media in Medical Ultrasound

Ultrasound imaging is a widely used, non-invasive diagnostic tool in modern medicine. A crucial assumption is a constant sound speed in the observed medium. For large scale sound speed variations, this assumption leads to blurred and distorted images. In this paper, we present a Geometrical Acoustics Focusing Algorithm (GEOFA) which is able to correct for these aberrations, given a known layered medium setting with continuously differentiable medium boundaries. Existence and uniqueness conditions for a solution to the underlying system of equations are given. Using numerical simulations, the precision of our method is evaluated. Finally, the resulting image quality improvements are demonstrated in a phantom-based experimental setup.

math.NA

Reducing Training Complexity in Empirical Quadrature-Based Model Reduction via Structured Compression

Model order reduction seeks to approximate large-scale dynamical systems by lower-dimensional reduced models. For linear systems, a small reduced dimension directly translates into low computational cost, ensuring online efficiency. This property does not generally hold for nonlinear systems, where an additional approximation of nonlinear terms --known as complexity reduction-- is required. To achieve online efficiency, empirical quadrature and cell-based empirical cubature are among the most effective complexity reduction techniques. However, the offline training of these methods operates on a matrix whose dimension scales with both the snapshot count and the reduced model dimension, and can become a computational bottleneck at larger scale. Existing strategies such as parallelization and randomized linear algebra reduce the cost of processing this matrix but do not reduce its dimension. In this paper, we introduce a preprocessing approach based on a specific structured compression of the training data. Crucially, our approach ensures that no operation scales concurrently with the snapshot count, the reduced model dimension, and the problem dimension. Overall, this yields roughly an order-of-magnitude reduction in offline computational cost and memory requirements, thereby enabling the application of the complexity reduction methods to larger-scale problems. Accuracy is preserved, as indicated by our error analysis and demonstrated through numerical examples.

math.NA