Search arXiv⌕ Search

arXiv · 2512.15929

Make the most of what you have: Resource-efficient randomized algorithms for matrix computations

Abstract

In recent years, randomized algorithms have established themselves as fundamental tools in computational linear algebra, with applications in scientific computing, machine learning, and quantum information science. Many randomized matrix algorithms proceed by first collecting information about a matrix and then processing that data to perform some computational task. This thesis addresses the following question: How can one design algorithms that use this information as efficiently as possible, reliably achieving the greatest possible speed and accuracy for a limited data budget? The first part of this thesis focuses on low-rank approximation for positive-semidefinite matrices. Here, the goal is to compute an accurate approximation to a matrix after accessing as few entries of the matrix as possible. This part of the thesis explores the randomly pivoted Cholesky (RPCholesky) algorithm for this task, which achieves a level of speed and reliability greater than other methods for the same problem. The second part of this thesis considers the task of estimating attributes of an implicit matrix accessible only by matrix-vector products. This thesis describes the leave-one-out approach to developing matrix attribute estimation algorithms and develops optimized trace, diagonal, and row-norm estimation algorithms. The third part of this thesis considers randomized algorithms for overdetermined linear least squares problems. Randomized algorithms for linear-least squares problems are asymptotically faster than any known deterministic algorithm, but recent work has raised questions about the accuracy of these methods in floating point arithmetic. This thesis shows these issues are resolvable by developing fast randomized least-squares problem achieving backward stability, the gold-standard stability guarantee for a numerical algorithm.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ethan N. Epperly. 2025-12-17. Make the most of what you have: Resource-efficient randomized algorithms for matrix computations. https://doi.org/10.7907/pef3-mg80

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

KEEP EXPLORING

Related papers

On Trimming Tensor-structured Measurements and Efficient Low-rank Tensor Recovery

In this paper, we take a step towards developing efficient hard thresholding methods for low-rank tensor recovery from memory-efficient linear measurements with tensorial structure. Theoretical guarantees for many standard iterative low-rank recovery methods, such as iterative hard thresholding (IHT), are based on model assumptions on the measurement operator, like the restricted isometry property (RIP). However, tensor-structured random linear maps -- while memory-efficient and convenient to apply -- lack good restricted isometry properties; that is, they do not preserve the norms of low-rank tensors sufficiently well. To address this, we propose local trimming techniques that provably restore point-wise geometry-preservation properties of tensor-structured maps, making them comparable to those of unstructured sub-Gaussian measurements. Then, we propose two novel versions of tensor IHT algorithms: an adaptive gradient trimming algorithm and a randomized Kaczmarz-based IHT algorithm, that efficiently recover low-rank tensors from linear measurements. We provide initial theoretical guarantees for the proposed methods and present numerical experiments on real and synthetic data, highlighting their efficiency over the original TensorIHT for low HOSVD and CP-rank tensors.

math.NA↗

Corrected Trapezoidal Rules for Near-Singular Surface Integrals Applied to 3D Ellipsoids in Stokes Flow

Interfacial Stokes flow can be efficiently computed using the Boundary Integral Equation method. In 3D, the fluid velocity at a target point is given by a 2D surface integral over all interfaces, thus reducing the dimension of the problem. A core challenge is that for target points near, but not on, an interface, the surface integral is near-singular and standard quadratures lose accuracy. This paper presents a method to accurately compute the near-singular integrals arising in elliptic boundary value problems in 3D. It is based on a local series approximation of the integrand about a base point on the surface, obtained by orthogonal projection of the target point onto the surface. The elementary functions in the resulting series approximation can be integrated to high accuracy in a neighborhood of the base point using a recursive algorithm. The remaining integral is evaluated numerically using a standard quadrature rule, chosen here to be the 4th order Trapezoidal rule. The method is reduced to the standard quadrature plus a correction, and is uniformly of 4th order. The method is applied to resolve Stokes flow past several ellipsoidal rigid bodies. We compare the error in the velocity near the bodies, and in the time and displacement of particles traveling around the bodies, computed with and without the corrections.

math.NA↗

A coupled HDG discretization for the interaction between acoustic and elastic waves

We propose and analyze an HDG scheme for the Laplace-domain interaction between a transient acoustic wave and a bounded elastic solid embedded in an unbounded fluid medium. The elastic and acoustic domains are coupled through transmission conditions derived from the continuity of the normal stress and of the normal component of the velocities at the interface. The analysis of the HDG discretization of the coupled weak formulation is the main focus of the article. Two mixed variables (the stress tensor and the velocity of the acoustic wave) are included, while the symmetry of the stress tensor is imposed weakly by considering the antisymmetric part of the strain tensor (the spin or vorticity tensor) as an additional unknown. Convergence of the method is demonstrated and theoretical rates are obtained; numerical results suggesting optimal order of convergence and superconvergence of the traces are presented.

math.NA↗