[论文解读] 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

一句话总结

该论文给出随机有序 r-均匀匹配中最大 P-团的数量级，覆盖所有 |P| ≤ 2 的模式以及所有 r-部分模式集合，对 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 $ frac12\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 对各种模式集的结果如何，哪些界是紧tight？
• RQ5 我们是否可以刻画最大的纯净子匹配的大小以及与模式三元组相关的问题？

主要发现

• 对于所有 r≥2，RM_n^{(r)} 中最大的 R^{(r)}-团几乎必然与 ((r−1)! / r^{r−1}) n 同阶。
• 对于 r≥2 且任意一对模式 {P,Q}，若 P 和 Q 和谐，则 a.a.s. z_{P,Q}(RM_n^{(r)}) 为 Θ(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) 对于 P ∈ {ABAB, ABBA, AABB}。
• 来自 RM_n^{(4)} 的随机轴平行矩形的交集图中最大团的大小几乎必然为 Θ(n)。
• 本文提供一个通用的一阶矩框架（引理 2）和集中工具以导出这些渐近，并给出若干未解决问题。