[論文レビュー] 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

ひとこと要約

本稿は、N次元のクロスポリトープのほぼユークリッド部分空間（つまり、ℓ1ノルムとℓ2ノルムが定数倍の違いで等価となる部分空間）を、O(N)のランダムビットのみを用いて構築する。これは、先行研究と比較してランダムネスの必要量を顕著に削減する。本手法は、k-一様独立な符号行列と、拡張グラフに基づくランダムウォークを組み合わせ、作用素ノルムを制御し、測度の集中を保証する。その結果、高確率で次元Θ(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.

研究の動機と目的

• asymptotic convex geometry における重要な問題である、RN の部分空間で ℓ1 と ℓ2 ノルムが定数倍の違いで等価となるような明示的構成を達成すること。
• そのような部分空間を生成するためのランダムビット数を、O(N log N) から O(N) に削減することにより、先行研究のギャップを解消すること。
• 特に O(log² N) のメモリ使用量を実現することで、実用的なアルゴリズム的応用を可能にすること。
• 各行あたり定数個のランダムビットのみを用いる、効率的かつ確率論的に頑健な決定的構成法を提供すること。

提案手法

• A₁ のエントリが k-一様独立（k = Θ(log N)）で、A₂ が定数次数の拡張グラフ上のランダムウォークによって構成される、n×N の符号行列 A = A₁ • A₂ を使用する。
• GF(2^r) 上の有限体構成を用いて、kr 個の真に独立なビットから 2^r - 1 個の k-一様独立な符号を生成する。
• 拡張グラフ上のチェルノフ型不等式を修正して、Ax が ℓ2 ノルムで小さくなる確率を制御し、ランダムウォーク遷移行列の固有値性質を活用する。
• 演算子ノルムの制御と集中性の理論に基づき、Schütte の定理と ε-ネットの議論を用いて、Ker A 内の任意の x に対して Ax が小さくなる確率を上界付ける。
• Lemma 2 を用いた演算子ノルムの境界と、Ax の ℓ2 ノルムの尾部推定を組み合わせ、すべての x ∈ Ker A に対して ∥x∥₁ ≥ c√N∥x∥₂ が高確率で成り立つことを保証する。
• 拡張グラフと k-一様独立生成器の明示的かつ低複雑性の構成を用いることで、メモリ効率を達成する。これらは多項式対数時間で計算可能である。

実験結果

リサーチクエスチョン

• RQ1 ℓ1^N 内の次元 Θ(N) のほぼユークリッド部分空間を、O(N log N) ではなく O(N) のランダムビットのみで構築可能か？
• RQ2 ランダムネスを著しく削減しても、高確率での測度の集中性とノルムの等価性を維持できるか？
• RQ3 O(log² N) のメモリ使用量で実装可能であり、アルゴリズム的応用に実用的か？
• RQ4 完全に独立な行を、拡張グラフ上での 4-一様独立な行に置き換えても、望ましいノルム等価性の性質が保たれるか？
• RQ5 k-一様独立なランダム符号行列の演算子ノルムを効果的に境界付けることは可能か？ その結果、核内でのノルム等価性を保証できるか？

主な発見

• 本稿では、任意の 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λ > 0、0 < pλ < 1、ε ≤ cλ√ξ を満たす定数 ε に対して、Cλ pλ^n 以下に抑えられ、強い集中性が保証される。
• 構成は明示的かつ効率的に計算可能な要素（k-一様独立生成器と定数次数の拡張グラフ）を用いており、実用的な実装を可能にしている。