[論文レビュー] An Algorithm for Komlós Conjecture Matching Banaszczyk's bound

Nikhil Bansal, Daniel Dadush+1 more|arXiv (Cornell University)|May 10, 2016

Mathematical Approximation and Integration参考文献 16被引用数 9

ひとこと要約

この論文は、各要素が高々 $ t $ 個の集合に属するスパースな集合系に対して、Banaszczykの不等式 $ O(\sqrt{t\log n}) $ を達成する最初の効率的なアルゴリズムを提示する。ランダムウォークのフレームワークと、巧みに設計された半定値計画法（SDP）の緩和、およびエネルギーに基づく解析を組み合わせることで、非構成的であるが最も良いとされている境界に一致する。これは、分散理論における長年の未解決問題を解決するものである。

ABSTRACT

We consider the problem of finding a low discrepancy coloring for sparse set systems where each element lies in at most t sets. We give an efficient algorithm that finds a coloring with discrepancy O((t log n)^{1/2}), matching the best known non-constructive bound for the problem due to Banaszczyk. The previous algorithms only achieved an O(t^{1/2} log n) bound. The result also extends to the more general Komlós setting and gives an algorithmic O(log^{1/2} n) bound.

研究の動機と目的

• スパースな集合系における非構成的分散境界とアルゴリズム的構成との間のギャップを埋める。
• Banaszczykの非構成的結果に一致する、最適な $ O(\sqrt{t\log n}) $ 分散境界をアルゴリズム的に達成する。
• Komlós設定への拡張を行い、$ \ell_2 $-ノルムが1以下のベクトルに対して $ O(\sqrt{\log n}) $ の分散を達成する。
• 従来のアルゴリズム的手法で長年残っていた $ O(t^{1/2}\log n) $ の障壁を打ち破る。

提案手法

• アルゴリズムは、小さな更新を繰り返し、変数を ±1 に達するまで段階的に色を割り当てる確率的ラウンディング手順を用いる。
• 各ステップで、更新方向を決定するための半定値計画法（SDP）を解き、濃度を維持するためにランダムな方向への射影を行う。
• 主な革新点は、分散の増大を制御するための、切り捨てられた行解析とエネルギーを二次的および一次的項に分解することである。
• 分散の大きな値をとる確率を抑え、差分過程のマルティンググールド・アプローチを用いてFreedmanの不等式を適用する。
• 各行に注入されるエネルギーの総量を追跡し、濃度の境界を用いて、分散が高確率で $ O(\sqrt{t\log n}) $ のままであることを示す。
• Komlós設定では、低 $ \ell_1 $-ノルムの行を除外した後、残りの $ O(n^2 / \log n) $ 行に対して和集合の不等式を適用する。

実験結果

リサーチクエスチョン

• RQ1 スパースな集合系に対して、Banaszczykの $ O(\sqrt{t\log n}) $ 分散境界をアルゴリズム的に達成できるか？
• RQ2 従来のランダムウォーク手法よりもタイトな解析を可能にする分散過程の構造的性質は何か？
• RQ3 新たなエネルギーに基づく解析により、従来のアルゴリズム的手法で長年存在していた $ O(t^{1/2}\log n) $ の障壁を打ち破れるか？
• RQ4 同じフレームワークは、$ O(\sqrt{\log n}) $ の分散を達成するより一般的なKomlós設定へも拡張可能か？
• RQ5 確率的ラウンディング手順において高確率の保証を得るために、どのような修正が必要か？

主な発見

• 任意の集合系で、各要素が高々 $ t $ 個の集合に属する場合、$ O(\sqrt{t\log n}) $ の分散を達成する。これはBanaszczykの非構成的境界と一致する。
• Komlós設定へも拡張可能であり、列の $ \ell_2 $-ノルムが1以下の任意の行列に対して $ O(\sqrt{\log n}) $ の分散を達成する。
• アルゴリズムは効率的であり、多項式時間で実行可能であり、Beck-FialaおよびKomlós設定においてBanaszczykの境界の最初の構成的証明を提供する。
• 洗練されたエネルギー分解と切り捨てられた行技術を導入することで、$ O(t^{1/2}\log n) $ の障壁を克服した。
• 低 $ \ell_1 $-ノルムの行を除外した後、$ O(n^2 / \log n) $ 個の関連する行に対して和集合の不等式を適用し、最終的な分散が $ O(\sqrt{\log n}) $ のままであることを保証した。
• フレームワークは強固で一般化可能であり、Beck-Fiala問題からKomlós予想への成功した拡張によって示された。