论文标题

计算矩阵库存库存的范围透视因素化

Computing rank-revealing factorizations of matrices stored out-of-core

论文作者

Heavner, Nathan, Martinsson, Per-Gunnar, Quintana-Ortí, Gregorio

论文摘要

本文描述了用于计算太大矩阵的级别差异因素化的有效算法,而不能适合RAM,而必须存储在慢慢的外部内存设备上,例如固态或旋转磁盘硬盘驱动器(无芯外或不计入)。用于计算等级的传统算法揭示因素化,例如枢轴QR分解的列或计算矩阵的完整单数值分解的技术是非常密集的。它们自然地表示为矩阵矢量操作的序列,当数据在主内存中没有数据时,它们变得非常昂贵。随机化允许将这些方法重新制定,以便可以批量处理矩阵的大连续块。本文描述了两种不同的方法。第一个是圆柱旋转式户主QR的封锁版本,该版本是一种“左图”方法,可最大程度地减少写操作的数量(比旋转磁盘驱动器上的读取操作更昂贵)。第二种方法会导致所谓的UTV分解,该方法表示矩阵$ a $ as $ a = u t v^*$,其中$ u $和$ v $是统一的,而$ t $是三角形的。该方法被组织为一种算法,在该算法中,浮点操作重叠和写入操作。第二种方法结合了功率迭代,并且非常擅长揭示数值等级。它通常可以用作全奇异值分解的替代品。数值实验表明,处理在硬盘驱动器上的数据时,新算法几乎与传统算法相同,用于存储在主内存中的数据。确切地说,将$ n \ times n $矩阵缩放为$ cn^{3} $完全分解的计算时间,当矩阵存储在核心之外时,缩放常数$ c $的缩放常数$ c $仅略大。

This paper describes efficient algorithms for computing rank-revealing factorizations of matrices that are too large to fit in RAM, and must instead be stored on slow external memory devices such as solid-state or spinning disk hard drives (out-of-core or out-of-memory). Traditional algorithms for computing rank revealing factorizations, such as the column pivoted QR factorization, or techniques for computing a full singular value decomposition of a matrix, are very communication intensive. They are naturally expressed as a sequence of matrix-vector operations, which become prohibitively expensive when data is not available in main memory. Randomization allows these methods to be reformulated so that large contiguous blocks of the matrix can be processed in bulk. The paper describes two distinct methods. The first is a blocked version of column pivoted Householder QR, organized as a "left-looking" method to minimize the number of write operations (which are more expensive than read operations on a spinning disk drive). The second method results in a so called UTV factorization which expresses a matrix $A$ as $A = U T V^*$ where $U$ and $V$ are unitary, and $T$ is triangular. This method is organized as an algorithm-by-blocks, in which floating point operations overlap read and write operations. The second method incorporates power iterations, and is exceptionally good at revealing the numerical rank; it can often be used as a substitute for a full singular value decomposition. Numerical experiments demonstrate that the new algorithms are almost as fast when processing data stored on a hard drive as traditional algorithms are for data stored in main memory. To be precise, the computational time for fully factorizing an $n\times n$ matrix scales as $cn^{3}$, with a scaling constant $c$ that is only marginally larger when the matrix is stored out of core.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源