AI 中文总结
该研究针对高斯部分循环矩阵,改进了其受限等距(RIP)界的理论结果,通过优化证明步骤将相关界中的一个对数因子替换,提升了RIP界的紧度。
AI 中文摘要
我们针对具有任意指定采样集的高斯部分循环矩阵,证明了改进的受限等距(RIP)界。存在常数C>0,使得以下结论成立:设1≤K≤m≤N为正整数,Ω⊂ℤ_N为任意固定集合且|Ω|=m,g~𝒩(0,I_N)。对任意δ,η∈(0,1),若m≥Cδ⁻²K max{log²(eK)log(2N)log(em), log(2/η)},则由g生成的归一化部分循环矩阵以至少1−η的概率满足K阶RIP,其常数不超过δ。该证明在混沌过程论证中,结合非交换Khintchine不等式与受m控制的Schatten矩估计,改进了Krahmer–Mendelson–Rauhut界中的一个log(2N)因子,替换为log(em)。
英文摘要
We prove an improved restricted isometry bound for Gaussian partial circulant matrices with arbitrary prescribed sampling sets. There is a universal constant $C>0$ such that the following holds. Let $1\leq K\leq m\leq N$ be positive integers, let $Ω\subset\mathbb Z_N$ be any fixed set with $|Ω|=m$, and let $g\sim\mathcal N(0,I_N)$. For every $δ,η\in(0,1)$, the normalized partial circulant matrix generated by $g$ has the RIP of order $K$ with constant at most $δ$, with probability at least $1-η$ over the draw of $g$, provided \[ m\geq Cδ^{-2}K \max\{\log^2(eK)\log(2N)\log(em),\log(2/η)\}. \] The proof refines the Maurey entropy step in the chaos-process argument by combining a noncommutative Khintchine inequality with a Schatten moment estimate controlled by $m$, replacing one factor $\log(2N)$ in the Krahmer--Mendelson--Rauhut bound by $\log(em)$.