Pach–Tardos予想を証明

この論文をやさしく読む

ひとことで言うと

非巡回な行列パターンに関する極値関数へ、nに近い増え方の上限を与える証明です。

何に役立つ？

禁じられた行列パターンの極値問題で、取り得る規模を理論的に制限する結果になります。

この研究の面白いところ

上限の指数は1+O_P(1/log log n)で、nが大きくなると1に近づきます。

どこまで分かった？

要旨が述べるのは非巡回パターンPに対する不等式です。O_Pの定数はPに依存し、単純な線形上限を示したという意味ではありません。

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

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

任意の非巡回な行列パターンPに対して、Ex(n,P) ≤ n^{1+O_P(1/log log n)}が成立することを証明する。

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