[論文レビュー] A linear bound on the Manickam-Miklos-Singhi Conjecture

Alexey Pokrovskiy|BIROn (Birkbeck, University of London)|Aug 9, 2013

Limits and Structures in Graph Theory参考文献 8被引用数 11

ひとこと要約

本稿は、$ n \geq 10^{46}k $ のとき、非負の和を持つ $ n $ 個の実数の集合が、非負の和を持つ $ k $ 項の部分集合を少なくとも $ \binom{n-1}{k-1} $ 個持つことを示すことで、Manickam-Miklós-Singhi予想に対する線形バウンドを確立する。証明は、Erdős-Ko-Rado定理のKatonaの証明にインspiredされたハイパーグラフに基づく平均化技法を用い、問題を特別に構築された正則ハイパーグラフにおけるMMS性質の検証に還元する。

ABSTRACT

Suppose that we have a set of numbers x_1, ..., x_n which have nonnegative sum. How many subsets of k numbers from {x_1, ..., x_n} must have nonnegative sum? Manickam, Miklos, and Singhi conjectured that for n at least 4k the answer is (n-1 \choose k-1). This conjecture is known to hold when n is large compared to k. The best known bounds are due to Alon, Huang, and Sudakov who proved the conjecture when n > 33k^2. In this paper we improve this bound by showing that there is a constant C such that the conjecture holds when n > Ck.

研究の動機と目的

• $ k $ に関する線形バウンドを確立することで、長年のManickam-Miklós-Singhi予想を解決すること。これにより、従来の超多項式バウンドを改善する。
• 従来の結果と比較して $ k $ に対してはるかに小さい $ n $ を必要とするが、$ n \geq 10^{46}k $ のとき予想が成り立つことを示すこと。
• KatonaによるErdős-Ko-Rado定理の証明にインスパイアされたハイパーグラフベースの平均化法を導入・適用し、正則ハイパーグラフにおけるMMS性質の検証を行うこと。
• MMS性質を保証するハイパーグラフの構造的制約を同定し、代替構成法による改善の可能性を切り開くこと。

提案手法

• Lemma 1.3 を活用し、$ d $-正則な $ k $-一様ハイパーグラフがMMS性質を満たすことを示せば問題が解決されることを還元する：頂点重みの総和が非負であれば、少なくとも $ d $ 個の辺が非負の和を持つこと。
• $ n $ 頂点上で定義され、制御された次数と辺分布を持つスパarsな正則 $ k $-一様ハイパーグラフ $ \mathcal{H}_{n,k} $ の族を構築し、MMS性質を満たすようにする。
• 頂点集合の巡回シフトに関する平均化議論を適用し、部分和が負である区間を追跡する集合 $ R(0) $ および $ R^{-}(m) $ のサイズを推定するために、加法的組合せ論の道具を用いる。
• $ \epsilon_1, \epsilon_4, \epsilon_5 $ を含む不等式系を用いて誤差項を制御し、長さ $ k $ の区間における非負 $ k $-集合の数の下界を導出する。
• 対称性と区間の重なりに関する議論により、$ R(0) $ および $ R^{-}(m) $ が両方とも $ k $-区間の半分以上を含むならば、総和が非負でない限り矛盾が生じることを示す。
• このようなMMS性質を満たすハイパーグラフが存在するならば、それに対応する $ n $ および $ k $ に対して元の予想が成り立つことを確立する。

実験結果

リサーチクエスチョン

• RQ1 $ k $ に対して線形な $ n $ に対して、Manickam-Miklós-Singhi予想を証明することは可能か？ すなわち、$ k $ に関して超多項式的または指数的ではなく、線形の関係で成立するか？
• RQ2 $ k $-一様ハイパーグラフが、非負の総重み割り当てのもとでMMS性質を満たすために満たすべき構造的性質は何か？
• RQ3 MMS性質を満たし、$ k $ に対して $ n $ のバウンドを著しく改善できる正則ハイパーグラフを構築することは可能か？
• RQ4 すべての $ n \geq Ck $ に対して予想が成り立つ最小の定数 $ C $ は何か？
• RQ5 現在のハイパーグラフ構成を精緻化または代替構成に置き換えることで、$ 10^{46} $ からより小さい普遍定数にバウンドを低下させることは可能か？

主な発見

• Manickam-Miklós-Singhi予想はすべての $ n \geq 10^{46}k $ に対して成り立ち、$ k $ に関する線形バウンドが確立された。
• 証明は、KatonaによるErdős-Ko-Rado定理の証明にインスパイアされた、巡回シフトに関する平均化技法の新規応用に依拠しており、その手法を拡張した。
• $ k $-一様ハイパーグラフがMMS性質を満たす構成が議論の中心であり、$ n \geq 10^{46}k $ のときそのようなハイパーグラフが存在することが示された。
• $ 10^{46} $ を $ 5 $ にまで低下させることは、現在のハイパーグラフ構成では不可能であり、$ k $ が大きい場合 $ \mathcal{H}_{5(k-1),k} $ はMMS性質を満たさない。
• $ 10^{46} $ のバウンドはタイトではなく、ハイパーグラフ設計の精緻化や代替構成法の使用により、おそらく改善可能である。
• 本稿はMMS性質を満たすハイパーグラフの新たなクラスを同定し、予想の完全な解決への道筋を示唆している。