共通部分に3項等差数列を持つ集合族の上界を改善

この論文をやさしく読む

ひとことで言うと

どの2集合を選んでも共通部分に等間隔の3数があるという条件の下で、集合を何個集められるかの上限を改善します。

何に役立つ？

等差数列と集合族の極値問題を結び付ける理論的成果です。予想される最大規模へ近づく上界を与えます。

この研究の面白いところ

全部分集合の半分という基準から一定割合だけ小さい上界を示します。同じ考えを余次数が有界な3一様ハイパーグラフへ広げています。

どこまで分かった？

予想の2ⁿ⁻³という値そのものを証明したわけではありません。一般化には有界余次数の条件が必要で、要旨はその条件を外せない例も示したと述べています。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

[n]の部分集合からなる族Fについて、任意の2つの要素の共通部分が非自明な3項等差数列を含むとき、Fを3AP交差族と呼ぶ。本研究では、ある絶対定数c>0が存在し、そのような任意のFの大きさは高々(1/2−c)2ⁿであることを証明する。これは、最大の大きさが2ⁿ⁻³であるというSimonovitsとSósの予想に向けた、初の非自明な進展である。 より一般に、Hが[n]上の余次数が有界な3一様ハイパーグラフであるとき、H交差族にも同じ上界が成り立つことを示す。クリークの例によって、余次数が有界という仮定は除けないという意味で、この条件が鋭いことが分かる。

v1の要旨から自動生成。本文の精読・人による確認は未実施。