[論文レビュー] The Komlos Conjecture Holds for Vector Colorings

Aleksandar Nikolov|arXiv (Cornell University)|Jan 17, 2013

graph theory and CDMA systems参考文献 10被引用数 16

ひとこと要約

本稿では、単位ユークリッド球内の列をもつ任意の行列について、ベクトル分散が1以下であることを証明し、Komlós予想のタイトな緩和を確立している。行列断片と体積の上限に関する幾何的および行列式に基づく議論を通じて、Komlós予想の反例がベクトル分散に基づくものであることは不可能であることを示し、これにより予想の支持が得られるとともに、半定値計画法の手法を用いたより良い多項式時間の境界が可能になる。

ABSTRACT

The Komlos conjecture in discrepancy theory states that for some constant K and for any m by n matrix A whose columns lie in the unit ball there exists a +/- 1 vector x such that the infinity norm of Ax is bounded above by K. This conjecture also implies the Beck-Fiala conjecture on the discrepancy of bounded degree hypergraphs. Here we prove a natural relaxation of the Komlos conjecture: if the columns of A are assigned unit real vectors rather than +/- 1 then the Komlos conjecture holds with K=1. Our result rules out the possibility of a counterexample to the conjecture based on semidefinite programming. It also opens the way to proving tighter efficient (polynomial-time computable) upper bounds for the conjecture using semidefinite programming techniques.

研究の動機と目的

• 組合せ分散の自然な凸緩和であるベクトル分散を用いてKomlós予想が反証可能かどうかを解明すること。
• 列が単位球内にある行列のベクトル分散に対するタイトな上界を確立すること。
• 行列の行列式と体積比を用いた幾何的障害論法を提示し、ベクトル分散に基づく反例の存在を除外すること。
• Banachszczykの O(√log m) 結果に一致する、効率的かつ多項式時間で計算可能な分散境界への道筋を開くこと。
• ベクトル分散が反例として機能しないことの証明を通じて、Beck-FialaおよびKomlós予想の理論的基盤を強化すること。

提案手法

• 各列に ±1 の代わりに単位ベクトルを割り当てた符号付きベクトル和の上限ノルムの最小値としてベクトル分散を定義する。
• 重み行列 W（重み）と確率分布行列 P（確率）を用いた行列表記を導入し、問題を二次形式の観点から再定式化する。
• 背理法により、ベクトル分散の上限が1を超えると仮定し、すべてのベクトル z に対して AᵀPA ⪰ W が成り立つ不等式を得る。
• ハダマールの不等式を適用し、部分行列 AₖᵀPAₖ の行列式を、pᵢ のうち k 個の最大値の積で上界づけする。
• 補題 2.3 を用いて、射影行列の行列式と、wᵢ のうち k 個の最大値の積との関係を導出する。
• p₁⋯pₖ ≥ w₁⋯wₖ（すべての k に対して）という不等式の連鎖を導出し、これにより Lemma 3.1 を用いて ∑pᵢ ≥ ∑wᵢ ≥ 1+ε を得るが、これは ∑pᵢ = 1 に矛盾する。

実験結果

リサーチクエスチョン

• RQ1 ベクトル分散を緩和として用いることでKomlós予想が反証可能か？
• RQ2 すべての列が単位ノルムをもつ行列について、ベクトル分散が普遍定数 K で有界であるか？
• RQ3 ベクトル分散の境界を用いて、Banachszczykの O(√log m) 結果に一致する効率的で多項式時間で計算可能な分散境界を導出可能か？
• RQ4 行列断片と体積比の幾何的構造は、分散問題を分析するための新しい手法を提供できるか？
• RQ5 ベクトル分散において反例が存在しないことは、Beck-FialaおよびKomlós予想の妥当性を支持するか？

主な発見

• 任意の m×n 実行列 A について、列の ℓ₂ ノルムが 1 以下であれば、ベクトル分散 vecdisc(A) は 1 以下である。
• ベクトル分散が1より大きいと仮定すると、行列式と体積に基づく不等式を用いた背理法により矛盾が生じることを証明した。
• AᵀPA ⪰ W の仮定から、ハダマールの不等式と補題 2.3 を用いて、すべての k ≤ n に対して p₁⋯pₖ ≥ w₁⋯wₖ が導出された。
• この不等式の連鎖により、確率の和 ∑pᵢ が重みの和 ∑wᵢ 以上であることが示され、これは ∑pᵢ = 1 および ∑wᵢ ≥ 1+ε に矛盾する。
• この結果により、ベクトル分散を用いてKomlós予想を反証することは不可能であることが明らかになった。
• 本研究により、Bansalのフレームワークを用いたより良い多項式時間アルゴリズムが可能となり、部分色分け法に内在する log n 要素を除いた O(√log m) の境界に到達する道筋が示唆された。