Matrix probing, skeleton decompositions, and sparse Fourier transform

Thesis (Ph. D.)--Massachusetts Institute of Technology, Department of Mathematics, 2013.

Bibliographic Details
Main Author: Chiu, Jiawei
Other Authors: Laurent Demanet.
Format: Thesis
Language:eng
Published: Massachusetts Institute of Technology 2014
Subjects:
Online Access:http://hdl.handle.net/1721.1/83691
_version_ 1811070466112094208
author Chiu, Jiawei
author2 Laurent Demanet.
author_facet Laurent Demanet.
Chiu, Jiawei
author_sort Chiu, Jiawei
collection MIT
description Thesis (Ph. D.)--Massachusetts Institute of Technology, Department of Mathematics, 2013.
first_indexed 2024-09-23T08:36:28Z
format Thesis
id mit-1721.1/83691
institution Massachusetts Institute of Technology
language eng
last_indexed 2024-09-23T08:36:28Z
publishDate 2014
publisher Massachusetts Institute of Technology
record_format dspace
spelling mit-1721.1/836912022-01-13T07:54:04Z Matrix probing, skeleton decompositions, and sparse Fourier transform Chiu, Jiawei Laurent Demanet. Massachusetts Institute of Technology. Department of Mathematics. Massachusetts Institute of Technology. Department of Mathematics Mathematics. Thesis (Ph. D.)--Massachusetts Institute of Technology, Department of Mathematics, 2013. Cataloged from PDF version of thesis. Includes bibliographical references (pages 163-168). In this thesis, we present three different randomized algorithms that help to solve matrices, compute low rank approximations and perform the Fast Fourier Transform. Matrix probing and its conditioning When a matrix A with n columns is known to be well approximated by a linear combination of basis matrices B1,... , Bp, we can apply A to a random vector and solve a linear system to recover this linear combination. The same technique can be used to obtain an approximation to A-1. A basic question is whether this linear system is well-conditioned. This is important for two reasons: a well-conditioned system means (1) we can invert it and (2) the error in the reconstruction can be controlled. In this paper, we show that if the Gram matrix of the Bj's is sufficiently well-conditioned and each Bj has a high numerical rank, then n [alpha] p log2 n will ensure that the linear system is well-conditioned with high probability. Our main application is probing linear operators with smooth pseudodifferential symbols such as the wave equation Hessian in seismic imaging. We also demonstrate numerically that matrix probing can produce good preconditioners for inverting elliptic operators in variable media. Skeleton decompositions in sublinear time A skeleton decomposition of a matrix A is any factorization of the form A:CZAR: where A:C comprises columns of A, and AR: comprises rows of A. In this paper, we investigate the conditions under which random sampling of C and R results in accurate skeleton decompositions. When the singular vectors (or more generally the generating vectors) are incoherent, we show that a simple algorithm returns an accurate skeleton in sublinear O(l3) time from l ~/- k logn rows and columns drawn uniformly at random, with an approximation error of the form O(n/l[sigma]k) where 0k is the k-th singular value of A. We discuss the crucial role that regularization plays in forming the middle matrix U as a pseudo-inverse of the restriction ARC of A to rows in R and columns in C. The proof methods enable the analysis of two alternative sublinear-time algorithms, based on the rank-revealing QR decomposition, which allow us to tighten the number of rows and/or columns sampled to k with an error bound proportional to [sigma]-k. Sparse Fourier transform using the matrix pencil method One of the major applications of the FFT is to compress frequency-sparse signals. Yet, FFT algorithms do not leverage on this sparsity. Say we want to perform the Fourier transform on [epsilon] E CN to obtain some [chi], which is known to be S-sparse with some additive noise. Even when S is small, FFT still takes O(N log N) time. In contrast, SFT (sparse Fourier transform) algorithms aim to run in Õ(S)-time ignoring log factors. Unfortunately, SFT algorithms are not widely used because they are faster than the FFT only when S << N. We hope to address this deficiency. In this work, we present the fastest known robust Õ(S)-time algorithm which can run up to 20 times faster than the current state-of-the-art algorithm AAFFT. The major new ingredient is a mode collision detector using the matrix pencil method. This enables us to do away with a time-consuming coefficient estimation loop, use a cheaper filter and take fewer samples of x. We also speed up a crucial basic operation of many SFT algorithms by halving the number of trigonometric computations. Our theory is however not complete. First, we prove that the collision detector works for a few classes of random signals. Second, we idealize the behavior of the collision detector and show that with good probability, our algorithm runs in O(S log 2 - log N) time and outputs a O(S)-sparse [chi]' such that [mathematical formula inserted] where [chi], is the best exact S-sparse approximation of [chi]. by Jiawei Chiu. Ph.D. 2014-01-09T19:45:24Z 2014-01-09T19:45:24Z 2013 Thesis http://hdl.handle.net/1721.1/83691 864021815 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 168 pages application/pdf Massachusetts Institute of Technology
spellingShingle Mathematics.
Chiu, Jiawei
Matrix probing, skeleton decompositions, and sparse Fourier transform
title Matrix probing, skeleton decompositions, and sparse Fourier transform
title_full Matrix probing, skeleton decompositions, and sparse Fourier transform
title_fullStr Matrix probing, skeleton decompositions, and sparse Fourier transform
title_full_unstemmed Matrix probing, skeleton decompositions, and sparse Fourier transform
title_short Matrix probing, skeleton decompositions, and sparse Fourier transform
title_sort matrix probing skeleton decompositions and sparse fourier transform
topic Mathematics.
url http://hdl.handle.net/1721.1/83691
work_keys_str_mv AT chiujiawei matrixprobingskeletondecompositionsandsparsefouriertransform