[論文レビュー] Maximizing the number of nonnegative subsets

Noga Alon, Harout Aydinian+1 more|arXiv (Cornell University)|Dec 1, 2013

Limits and Structures in Graph Theory参考文献 2被引用数 5

ひとこと要約

この論文は、Tsukerman が提起した問題を解決し、すべての $ k $ より大きいサイズの部分集合が負の和を持つ $ n $ 個の実数の集合に対して、非負部分集合の最大数が $ \binom{n-1}{k-1} + \cdots + \binom{n-1}{0} + 1 $ であることを証明している。著者らは2つの証明を提示する：1つは重み付きホールの定理の変種を用いたもので、もう1つは強化された非一様エドーシュ＝コ＝ラドの定理を用いたもので、特定の条件下で最適性と一意性を確立している。

ABSTRACT

Given a set of $n$ real numbers, if the sum of elements of every subset of size larger than $k$ is negative, what is the maximum number of subsets of nonnegative sum? In this note we show that the answer is $\binom{n-1}{k-1} + \binom{n-1}{k-2} + \cdots + \binom{n-1}{0}+1$, settling a problem of Tsukerman. We provide two proofs, the first establishes and applies a weighted version of Hall's Theorem and the second is based on an extension of the nonuniform Erdős-Ko-Rado Theorem.

研究の動機と目的

• すべてのサイズが $ k $ より大きい部分集合が負の和を持つ $ n $ 個の実数の集合における、非負部分集合の最大数を特定すること。
• サイズ制約下での極値部分集合和に関するエマニュエル・ツケルマンの予想を解決すること。
• 非負要素がちょうど1つの場合に、極値構成が同型を除いて一意であることを確立すること。
• 2つの異なる組合せ証明を提供すること：1つは重み付きホール型マッチング条件に基づくもので、もう1つは強化された非一様エドーシュ＝コ＝ラドの定理に基づくものである。

提案手法

• 部分集合の和の条件を反映するエッジ重みを備えた二部グラフマッチング問題に問題を定式化する。
• 部分グラフにおける対称的次数条件を保つことで、マッチングの存在を維持する重み付きホールの定理の変種を導入する。
• 部分集合族に対して「持ち上げる」操作を定義し、それらを非負和条件を損なわずに上向き族（upset family）に変換する。
• サイズと和の制約下での交差族のサイズを制限するために、非一様エドーシュ＝コ＝ラドの定理の強化形を適用する。
• パスカルの恒等式を用いて、非負要素の数 $ t $ が増加するにつれて境界が厳密に減少することを示し、異なる $ t $ における境界を比較する。
• 具体的な例 $ x_1 = k-1 $, $ x_2 = \cdots = x_n = -1 $ を構成することで、導出された上界に達していることを検証する。

実験結果

リサーチクエスチョン

• RQ1 すべてのサイズが $ k $ より大きい部分集合が負の和を持つ $ n $ 個の実数の集合において、非負部分集合の最大数は何か？
• RQ2 $ k < n-1 $ のとき、特に非負要素が1つの場合に、極値構成は同型を除いて一意か？
• RQ3 和とサイズの制約下で、非一様エドーシュ＝コ＝ラドの定理のバージョンを用いて非負部分集合の上界を導出できるか？
• RQ4 非負要素の数が増加するにつれて、上界は厳密に減少するか？そしてそれは組合せ的に証明可能か？
• RQ5 ホール型証明で用いられる補助グラフにおける完全マッチングは、ホールの定理に依存せずに明示的に構成可能か？

主な発見

• 非負部分集合の最大数は正確に $ \binom{n-1}{k-1} + \cdots + \binom{n-1}{0} + 1 $ であり、この上界はタイトである。
• $ x_1 = k-1 $, $ x_2 = \cdots = x_n = -1 $ である極値構成はこの上界に達しており、$ k < n-1 $ かつ非負要素が1つの場合、同型を除いて一意である。
• $ k < n-1 $ のとき、非負部分集合の数は非負要素がちょうど1つの場合に厳密に最大となり、非負要素が増えると上界は減少する。
• 上記の上界 $ \binom{n-1}{k-1} + \cdots + \binom{n-1}{0} + 1 $ は、強化された非一様エドーシュ＝コ＝ラドの定理の推論として得られる。
• 「持ち上げる」操作による証明により、和と互いに素な条件を満たす任意の族は、制約を損なわずに上向き族に変換可能であり、サイズを保ちながら既知の極値境界の適用が可能になる。
• 構成 $ x_1 = k-t $, $ x_2 = \cdots = x_t = 0 $, $ x_{t+1} = \cdots = x_n = -1 $ を用いて、すべての $ t, k, n $ に対して $ 1 \leq t \leq k < n $ で極値上界がタイトであることを確立している。