핵심 개념
カーン-カライ境界は、上集合の最小要素の数と分散度が十分に大きい場合にのみ、新しい情報を提供する。
초록
本論文では、カーン-カライ境界が新しい情報を提供するための必要条件について検討している。
主な内容は以下の通り:
-
カーン-カライ境界が完全な情報を提供するのは、上集合の最大最小要素の大きさの対数が上集合の期待値閾値の逆数よりも十分に小さい場合である。
-
カーン-カライ境界が新しい情報を提供するためには、上集合の最小要素の数が無限大に発散し、かつ任意の固定数の最小要素を除いた部分集合の交集合が空集合になる必要がある。
-
これは、上集合が2Xnの中で「くさび型」に広がっていく必要があることを意味する。つまり、上集合が2Xnの一部で高く伸びるほど、別の部分で広く広がる必要がある。
-
上集合が主集合や主集合に覆われる集合の場合、カーン-カライ境界は新しい情報を提供しない。
통계
上集合Fnの最小要素数|(Fn)0|が無限大に発散する必要がある。
任意の固定数tに対して、(Fn)0の全ての要素から t個を除いた部分集合の交集合が空集合になる必要がある。
인용구
"If ℓ(Fn) →∞and the Kahn-Kalai bounds provide new information, then it is necessary that |(Fn)0| →∞."
"For all but any fixed number of the minimal elements of Fn must eventually be empty–i.e.; for any fixed t, it is necessary that there exists a value N such that σ|(Fn)0|−t(Si : Si ∈(Fn)0) = ∅for all n ≥N."