[論文レビュー] Sigma-Algebras for Quasirandom Hypergraphs

Henry Towsner|arXiv (Cornell University)|Dec 17, 2013

Advanced Topology and Set Theory参考文献 29被引用数 5

ひとこと要約

本稿は、$k$-一様超グラフにおける準ランダム性を、集合の部分集合の族 $Σ \subseteq [k]$ に関連する $\sigma$-代数を用いて統一的な枠組みで提示する。超グラフ列が $\mathtt{Disc}_p[\mathcal{I}]$-準ランダムであることは、正規化された $\mathcal{I}$-適応超グラフ $M_k[\mathcal{I}]$ のコピーが漸近的に正しい数だけ含まれることと同値であることを確立し、特定の準ランダム性の概念に関する先行研究を一般化する。

ABSTRACT

We examine the correspondence between the various notions of quasirandomness for k-uniform hypergraphs and sigma-algebras related to measurable hypergraphs. This gives a uniform formulation of most of the notions of quasirandomness for dense hypergraphs which have been studied, with each notion of quasirandomness corresponding to a sigma-algebra defined by a collection of subsets of [1,k]. We associate each notion of quasirandomness I with a collection of hypergraphs, the I-adapted hypergraphs, so that G is quasirandom exactly when it contains roughly the correct number of copies of each I-adapted hypergraph. We then identify, for each I, a particular I-adapted hypergraph M_k[I] with the property that if G contains roughly the correct number of copies of M_k[I] then G is quasirandom in the sense of I. This generalizes recent results of Kohayakawa, Nagle, Rödl, and Schacht; Conlon, Hàn, Person, and Schacht; and Lenz and Mubayi giving this result for some notions of quasirandomness.

研究の動機と目的

• 密度的な $k$-一様超グラフにおける多様な準ランダム性の概念を、$\sigma$-代数を用いた単一の枠組みに統合すること。
• 各 $\mathtt{Disc}_p[\mathcal{I}]$-準ランダム性が、そのような超グラフのコピーの正しい漸近的密度を示すことによって特徴付けられるように、$\mathcal{I}$-適応超グラフを定義すること。
• $\mathtt{Disc}_p[\mathcal{I}]$-準ランダム性を示すために、コピー密度の漸近的正しさが十分であるような正規化された $\mathcal{I}$-適応超グラフ $M_k[\mathcal{I}]$ を特定すること。
• 異なる $\mathcal{I}$ が異なる準ランダム性概念をもたらすことを示し、既知の分離結果を一般化すること。

提案手法

• 本稿は、超グラフ列を確率空間内での無限可測超グラフとして表現するために、超積と可測超グラフ極限を用いる。
• $[k]$ の部分集合族 $\mathcal{I}$ に基づいて、$\mathcal{I}$-適応超グラフの構造を符号化する $\sigma$-代数 $\mathcal{B}_{k,\mathcal{I}}$ を定義する。
• $\mathtt{Disc}_p[\mathcal{I}]$-準ランダム性は、ほとんど everywhere で $\mathbb{E}(\chi_E \mid \mathcal{B}_{k,\mathcal{I}}) = p$ であることで特徴付けられる。
• 正規化された超グラフ $M_k[\mathcal{I}]$ の構成は、$\mathcal{I}$ から導かれる組合せ的構造に基づくものであり、$\mathcal{I}$ が単集合または分割である場合の既知の構成を一般化する。
• 測度論的射影と、密度 $t_H(G_n)$ の数え上げを含む解析的技法を用いて、超グラフ極限と準ランダム性条件との関係を確立する。
• $\mathtt{Disc}_p[\mathcal{I}]$-準ランダム性が、すべての $\mathcal{I}$-適応 $H$ に対して $t_H(G_n) \to p^{|F|}$ への収束と同値であり、さらに $t_{M_k[\mathcal{I}]}(G_n) \to p^{2^{\mathcal{I}}}$ への収束と同値であることを示すことで、同値性の証明に依拠する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、$k$-一様超グラフにおける準ランダム性の多様な概念を、単一の代数的枠組みに体系的に統合できるか？
• RQ2 正しい漸近的密度のコピーが $\mathtt{Disc}_p[\mathcal{I}]$-準ランダム性を示すために必要な最小の超グラフ $M_k[\mathcal{I}]$ は何か？
• RQ3 $[k]$ の部分集合族 $\mathcal{I} \subseteq [k]$ に関連する $\sigma$-代数が、超グラフにおける準ランダム性条件とどのように対応するか？
• RQ4 異なる $\mathcal{I}$ に対して得られる準ランダム性概念 $\mathtt{Disc}_p[\mathcal{I}]$ は、線形順序に並ぶか、それとも互いに異なるか？
• RQ5 準ランダム性のスペクトル的または作用素論的アナロジーは、この $\sigma$-代数枠組みへと拡張可能か？

主な発見

• 本稿は、$k$-一様超グラフの列が $\mathtt{Disc}_p[\mathcal{I}]$-準ランダムであることと、すべての $\mathcal{I}$-適応超グラフのコピーが漸近的に正しい数だけ含まれることとが同値であることを確立した。
• $[k]$ の部分集合で空集合を含まないすべての $\mathcal{I}$ に対して、正規化された $\mathcal{I}$-適応超グラフ $M_k[\mathcal{I}]$ が存在し、$\mathtt{Disc}_p[\mathcal{I}]$-準ランダム性は $\lim_{n\to\infty} t_{M_k[\mathcal{I}]}(G_n) = p^{2^{\mathcal{I}}}$ に同値である。
• $\mathtt{Disc}_p[\mathcal{I}]$-準ランダム性の概念は、異なる部分集合で空集合を含まない $\mathcal{I}$ に対して、互いに異なるものであり、既知の分離結果を一般化する。
• $M_k[\mathcal{I}]$ の構成は、既存の結果を一般化する：$k=2$ の場合、$C_4$（4サイクル）が回復され、$\mathcal{I}$ が単集合の場合、Conlon らの線形超グラフ $M$ が回復され、$\mathcal{I}$ が分割の場合、Lenz と Mubayi の $\mathcal{I}$-線形超グラフが回復される。
• 任意の $\mathcal{I}$ に対して、すべての $\mathcal{J} \not\leq \mathcal{I}$ に対して $\mathtt{Disc}_p[\mathcal{J}]$-準ランダムであるが $\mathtt{Disc}_p[\mathcal{I}]$-準ランダムでない超グラフ列が存在することを証明した。これは、概念間に厳密な階層が存在することを示している。
• この枠組みは相対的準ランダム性へと拡張可能であり、$\mathcal{I} < \mathcal{J}$ のとき $\mathbb{E}(\chi_E \mid \mathcal{B}_{k,\mathcal{J}}) = \mathbb{E}(\chi_E \mid \mathcal{B}_{k,\mathcal{I}})$ が成り立つ。これは、与えられた構造に対する準ランダム性の一般化を示唆している。