[论文解读] Almost Euclidean sections of the N-dimensional cross-polytope using O(N) random bits

Shachar Lovett, Sasha Sodin|arXiv (Cornell University)|Jan 3, 2007

Advanced Combinatorial Mathematics参考文献 16被引用 8

一句话总结

该论文仅使用 O(N) 个随机位，构造了 N 维正轴胞体的几乎欧几里得子空间（即 ℓ1 与 ℓ2 范数在常数因子内等价的子空间），与先前的构造相比，显著减少了随机性需求。该方法结合了 k--wise 独立符号矩阵与基于扩展图的随机游走，以控制算子范数并确保测度集中性，从而以最小随机性与低内存开销，高概率地获得维度为 Θ(N) 的子空间。

ABSTRACT

It is well known that R^N has subspaces of dimension proportional to N on which the \ell_1 norm is equivalent to the \ell_2 norm; however, no explicit constructions are known. Extending earlier work by Artstein--Avidan and Milman, we prove that such a subspace can be generated using O(N) random bits.

研究动机与目标

• 构造 RN 中 ℓ1 与 ℓ2 范数在常数因子内等价的显式子空间，这是渐近凸几何中的一个关键问题。
• 将生成此类子空间所需的随机位数量从 O(N log N) 减少至 O(N)，从而弥合了先前构造中的差距。
• 在低内存使用下实现该目标，具体为 O(log² N)，从而使其适用于实际的算法应用。
• 提供一种确定性构造方法，兼具高效性与概率鲁棒性，且每行仅使用常数个随机位。

提出的方法

• 使用随机 n×N 符号矩阵 A = A₁ • A₂，其中 A₁ 的条目为 k--wise 独立，且 k = Θ(log N)，而 A₂ 通过常数度数扩展图上的随机游走构造。
• 通过 GF(2^r) 上的有限域构造，实现 k--wise 独立的随机符号，仅用 kr 个真正独立的位即可生成 2^r - 1 个这样的符号。
• 在扩展图上应用修改后的切尔诺夫型不等式，以控制 Ax 的 ℓ2 范数较小的概率，利用随机游走转移矩阵的谱性质。
• 结合 ε-网论证与 Schütte 定理，以界定 Ax 对任意 x ∈ Ker A 的 ℓ2 范数较小的概率，依赖于算子范数控制与集中性。
• 将算子范数界（通过引理 2）与 Ax 的 ℓ2 范数尾部估计相结合，以确保对所有 x ∈ Ker A，有 ∥x∥₁ ≥ c√N∥x∥₂ 成立，且概率很高。
• 通过使用显式、低复杂度的扩展图与 k--wise 独立生成器，实现内存效率，两者均可在多项式对数时间内计算。

实验结果

研究问题

• RQ1 能否仅使用 O(N) 个随机位，而非 O(N log N)，在 ℓ1^N 中构造维度为 Θ(N) 的几乎欧几里得子空间？
• RQ2 在大幅减少随机性的同时，是否仍能保持高概率的测度集中性与范数等价性？
• RQ3 该构造能否在 O(log² N) 内存下实现，从而使其适用于算法应用？
• RQ4 用在扩展图上的 4--wise 独立行替代完全独立的行，是否能保持所需的范数等价性？
• RQ5 能否有效有界 k-wise 独立随机符号矩阵的算子范数，以确保在核空间中实现范数等价性？

主要发现

• 该论文证明了对任意 0 < η < 1，存在一个 ηN 维子空间 E ⊂ RN，使得对所有 x ∈ E，有 cη√N∥x∥₂ ≤ ∥x∥₁ ≤ √N∥x∥₂ 成立，且概率很高。
• 该子空间仅需 O(N) 个随机位即可生成，优于 Artstein-Avidan 与 Milman 的 O(N log N) 边界。
• 生成该子空间所需的内存为 O(log² N)，使该构造在空间上高效。
• 随机矩阵 A 的算子范数以高概率被有界于 3√N，这对核空间中的范数等价性至关重要。
• 满足 ∥Ax∥₂ < 6ε√N∥x∥₂ 的概率至多为 Cλ pλ^n，其中常数 Cλ > 0，0 < pλ < 1，且 ε ≤ cλ√ξ，从而确保强集中性。
• 该构造使用显式、可高效计算的组件：k-wise 独立生成器与常数度数扩展图，从而支持实际实现。