用少量随机数实现与高斯扰动相当的矩阵条件数控制
Well-Conditioned Oblivious Perturbations in Linear Space
- 仅需生成存储O(n)个低精度随机数,构建高效扰动
- 可将任意确定性矩阵条件数降至O(n),匹配高斯扰动效果
- 适合对内存和计算效率要求高的大规模线性系统求解
在光滑分析中,以小高斯噪声扰动确定性n维矩阵是降低输入条件数至O(n)的核心方法,从而降低多种矩阵算法的复杂度。然而,实际部署时需生成并存储n²个高斯随机变量,成本高昂。本文提出一种新型扰动方法,仅需生成和存储O(n)个随机数,且每位精度仅为O(log n)比特,即可将任意确定性矩阵的条件数降至O(n),与高斯扰动效果一致。该结果进一步表明,在扰动共轭梯度算法中,可在线性空间内以O(n)次矩阵-向量乘法求解n×n线性方程组,达到任意小的常数后向误差。构造中引入了‘模式矩阵’概念——一种将所有稀疏向量映射为稠密向量的稠密确定性矩阵,并结合具有依赖关系且非均匀分布的稀疏扰动。为分析该构造,发展了针对具有依赖项的随机矩阵最小奇异值的下界估计新方法。
原文摘要 · Abstract (English)
Perturbing a deterministic $n$-dimensional matrix with small Gaussian noise is a cornerstone of smoothed analysis of algorithms [Spielman and Teng, JACM 2004], as it reduces the condition number of the input to $O(n)$, and with it the complexity of many matrix algorithms. However, when deployed algorithmically, these perturbations are expensive due to the cost of generating and storing $n^2$ Gaussian random variables. We propose a perturbation that requires generating and storing $O(n)$ random numbers in $O(\log n)$ bits of precision, and reduces the condition number of any deterministic matrix to $O(n)$, matching Gaussian perturbations. Our result in particular implies a better complexity for the perturbed conjugate gradient algorithm, showing that we can solve an $n\times n$ linear system in linear space to within an arbitrarily small constant backward error using $O(n)$ matrix-vector products. In our construction, we introduce the concept of a pattern matrix, which is a dense deterministic matrix that maps all sparse vectors into dense vectors, and we combine it with a sparse perturbation whose entries are dependent and located in a non-uniform fashion. In order to analyze this construction, we develop new techniques for lower bounding the smallest singular value of a random matrix with dependent entries.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。