[論文レビュー] A Spectral Approach to Polytope Diameter

Hariharan Narayanan, Rikhav Shah+1 more|arXiv (Cornell University)|Jan 28, 2021

Point processes and geometric inequalities被引用数 1

ひとこと要約

本稿は、スラック変数における多面体体積の対数凸性を活用し、シュレーディンガー作用素とマコフ連鎖の固有値を用いたスペクトル的手法により、多面体の直径を評価する。整数制約のサイズと部分行列式に基づく改善された最悪ケースの境界を確立し、ガウスノイズ下での滑らか化解析により、平均曲率測度による頂点の「巨大成分」が多項式的直径を持つことを示した。

ABSTRACT

We prove upper bounds on the graph diameters of polytopes in two settings. The first is a worst-case bound for integer polytopes in terms of the length of the description of the polytope (in bits) and the minimum angle between facets of its polar. The second is a smoothed analysis bound: given an appropriately normalized polytope, we add small Gaussian noise to each constraint. We consider a natural geometric measure on the vertices of the perturbed polytope (corresponding to the mean curvature measure of its polar) and show that with high probability there exists a "giant component" of vertices, with measure 1-o(1) and polynomial diameter. Both bounds rely on spectral gaps - of a certain Schrödinger operator in the first case, and a certain continuous time Markov chain in the second - which arise from the log-concavity of the volume of a simple polytope in terms of its slack variables.

研究の動機と目的

• 整数制約と確率的摂動の下で多面体直径を評価することにより、多項式的ヒルシャー予想に取り組む。
• チェビシェフ多項式によるスペクトル的拡張を用いることで、従来の組合せ的拡張手法の限界を克服する。
• 滑らか化解析により、高確率で、平均曲率測度の下で「大多数の頂点」が多項式的直径を持つ巨大成分を形成することを確立する。
• 凸幾何学、ブリュン＝ミンコフスキー理論、および確率的行列理論からの幾何的・スペクトル的・確率的技法を統合する。

提案手法

• 多面体のグラフとスラック変数から導かれるシュレーディンガー作用素のスペクトルギャップを用いる。
• 単純多面体の体積がスラック変数に関して対数凸であるという性質を応用し、スペクトルギャップを導出する。
• 頂点上で連続時間マコフ連鎖を定義し、ランダムウォークの混合挙動を分析する。
• 滑らか化解析における「大多数の頂点」を定義するために、対極多面体上の幾何的測度（平均曲率測度）を導入する。
• 制約に i.i.d. ガウスノイズを適用する摂動理論を用い、良好なラウンドネスと反集中性を保証する。
• 集中不等式と幾何確率（例えば、球体との交差確率）を用いて、頂点の接続性を評価する。

実験結果

リサーチクエスチョン

• RQ1 組合せ的拡張手法と比較して、スペクトル的手法が整数制約付き多面体の最悪ケース直径境界を改善できるか？
• RQ2 確率的多面体の滑らか化解析により、自然な幾何的測度の下で「巨大成分」を持つ頂点が多項式的直径を持つようになるか？
• RQ3 制約の部分行列式とビット複雑度が、有界多面体の直径にどのように影響するか？
• RQ4 シュレーディンガー作用素を介したグラフラプラシアンのスペクトルギャップが、よりタイトな直径境界を導けるか？
• RQ5 スラック変数における体積の対数凸性が、スペクトルに基づく直径解析を可能にする役割は何か？

主な発見

• 本稿は、整数制約付き多面体に対して、O(d²∆∥A∥∞ log(m∥A∥∞∥b∥∞∆)) の最悪ケース直径境界を証明した。これは、部分行列式依存性において、先行研究を改善した。
• 境界は構成的でないが、スペクトル的手法とチェビシェフ多項式を用いることで、組合せ的手法に比べ「平方根」の改善を達成した。
• 滑らか化解析において、高確率で χ₂(G) ≥ (1−ψ)χ₂(Ω) を満たす頂点の部分集合 G が存在し、その直径は O(poly(m,d)/(σ⁴ψ)) に抑えられる。これにより、多項式的直径を持つ巨大成分が確立された。
• この結果は、制約が i.i.d. ガウスノイズで摂動される滑らか化単位LPモデル下で成り立ち、χ₂ は対極多面体上の平均曲率測度に対応する。
• 解析は、特にホッジ＝リーマン関係を含むブリュン＝ミンコフスキー理論からのスペクトルギャップに依存しており、頂点ウォークの高速混合を保証する。
• 重要な技術的ステップとして、摂動された多面体が高確率で半径 Ω(σm⁻⁵) の球体を含むことを示した。これにより、滑らか化解析における良好なラウンドネスが保証された。