[論文レビュー] Homogeneous substructures in random ordered uniform matchings

Andrzej Dudek, Jarosław Grytczuk+2 more|arXiv (Cornell University)|Jan 20, 2026

Limits and Structures in Graph Theory被引用数 0

ひとこと要約

要約: この論文は、さまざまな P を含む |P| ≤ 2 のすべてのパターンと r-パーティ対応パターン集合を含む、ランダム整列 r-均一マッチングにおける最大 P-クライクの大きさのオーダーを決定し、r=2 で鋭い結果を得、r≥3 では新しい境界を示す。

ABSTRACT

An ordered $r$-uniform matching of size $n$ is a collection of $n$ pairwise disjoint $r$-subsets of a linearly ordered set of $rn$ vertices. For $n=2$, such a matching is called an $r$-pattern, as it represents one of $\tfrac12\binom{2r}r$ ways two disjoint edges may intertwine. Given a set $\mathcal{P}$ of $r$-patterns, a $\mathcal{P}$-clique is a matching with all pairs of edges belonging to $\mathcal{P}$. In this paper we determine the order of magnitude of the size of a largest $\mathcal{P}$-clique in a random ordered $r$-uniform matching for several sets $\mathcal{P}$, including all sets of size $|\mathcal{P}|\le2$ and the set $\mathcal{R}^{(r)}$ of all $2^{r-1}$ $r$-partite $r$-patterns.

研究の動機と目的

• ランダム整列 r-均一マッチングに対する Erdős–Szekeres 型問題の動機づけと分析。
• 特定のパターン集合 P に対する z_P(RM_n^{(r)}) の大きさのオーダーを決定。
• 既知の結果をより大きなパターン集合および高次均一性（r≥3）へ拡張。
• 二つのパターンが調和的である条件を特徴づけ、それに対応する z_{P}(RM_n^{(r)}) の成長率を導出。
• マッチング上に定義されるグラフ表現との関係を探究し、今後の課題を提示。

提案手法

• ランダム置換の集中性ツール（Azuma–Hoeffding 型不等式）を用いて最大 r-パートクライクを境界づける。
• 最初のモーメント法を適用して a_P(k) のカウントとしきい値を導出し、z_P(RM_n^{(r)}) を境界づける。
• 部分順序集のエッジの連鎖と反連鎖を関係づける Dilworth の補題を用いてクライクサイズを関連付ける。
• パターン回避置換の結果（Gunby–Pálvölgyi 境界）を用いてパターン回避のカウントを制御。
• マッチングのトレース概念を導入して再構成可能なパターン族を境界付け。
• 結合構成を用いて調和的パターン配置を数え上げ、上界を導出。

実験結果

リサーチクエスチョン

• RQ1 固定の r およびパターン部分集合 P に対して RM_n^{(r)} における最大 P-クライクの漸近的階数は何か。
• RQ2 P に二つのパターンが含まれ、パターンが調和的かどうかが適合か不適合か、あるいは収集不能かどうかで成長率はどう変わるか。
• RQ3 RM_n^{(r)} における最大 r-パーティ P-クライク（P = R^{(r)}）の厳密な漸近は何か。
• RQ4 r=2 から r≥3 へ様々なパターン集合で結果を拡張するとき、どの境界が鋭いか。
• RQ5 パターン三つ組に関する“クリーンなサブマッチング”の最大サイズの特徴づけや関連問題は何か。

主な発見

• すべての r≥2 について、RM_n^{(r)} の最大 R^{(r)}-クライクはほぼほぼ漸近的に ((r−1)! / r^{r−1}) n である。
• r≥2 かつ任意のパターン対 {P,Q} に対して、a.a.s. z_{P,Q}(RM_n^{(r)}) は P と Q が調和的である場合 Θ(n^{1/(r−1)})、P,Q が不適合を形成する場合 Θ(n^{1/r})、いずれも収集不能とはならない場合 z は 2 から 5 の整数である。
• P が二つの非調和的な三部パターンからなる場合（r=3 の命題1および関連ケース）、a.a.s. z_{P}(RM_n^{(r)}) = Θ(n^{2/3})。
• r=2 のときいくつかの厳密な結果が成り立つ：z_{ABAB}(RM_n^{(2)}) ~ √(2n)、z_{ABBA}(RM_n^{(2)}) ~ √(2n)、z_{AABB}(RM_n^{(2)}) ~ √(n/π)、かつ z_{P}(RM_n^{(2)}) = Θ(√n) for P in {ABAB, ABBA, AABB}。
• 随机軸並行長方形の交差グラフの最大クライクサイズは Θ(n)（RM_n^{(4)} 由来）となる。
• 論文は一般的な最初のモーメント系（補題 2）と集中化ツールを提供し、これらの漸近を導出するほか、いくつかの未解決問題を提示している。