arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1802.07142math.PR
收藏

Mallows 排列作为稳定匹配

Mallows permutations as stable matchings

Omer Angel, Alexander E. Holroyd, Tom Hutchcroft, Avi Levy

AI总结:

本文证明 Mallows 排列可作为随机二部图(条件为完美)的唯一稳定匹配,并扩展到无限区间,分类出驯服与野生稳定匹配,揭示其与 Mallows 排列及平移的关系。

摘要:

我们证明了 $1,\ldots,n$ 的排列上的 Mallows 测度,可以作为随机二部图在条件为完美匹配时的唯一 Gale-Shapley 稳定匹配的分布律而出现,其中偏好来源于顶点的全序,但仅限于图的(随机)边。我们将这一对应关系扩展到无限区间,此时情况更为复杂。我们证明,通过对完全二部图 $K_{\mathbb{Z},\mathbb{Z}}$ 进行 Bernoulli 渗流得到的随机二部图,其几乎所有的稳定匹配都落入以下两类之一:一个可数族 $(\sigma_n)_{n\in\mathbb{Z}}$ 的驯服稳定匹配,其中穿过 $k$ 的最长边的长度为 $O(\log |k|)$(当 $k\to\pm\infty$ 时);以及一个不可数族的野生稳定匹配,其中该长度为 $\exp \Omega(k)$(当 $k\to +\infty$ 时)。驯服稳定匹配 $\sigma_n$ 具有 $\mathbb{Z}$ 上的 Mallows 排列(由 Gnedin 和 Olshanski 构造)与平移 $k\mapsto k+n$ 复合后的分布律。排列 $\sigma_{n+1}$ 逐点支配 $\sigma_n$,且这两个排列通过沿一个随机严格递增序列的平移相关联。

英文摘要:

We show that the Mallows measure on permutations of $1,\ldots,n$ arises as the law of the unique Gale-Shapley stable matching of the random bipartite graph conditioned to be perfect, where preferences arise from a total ordering of the vertices but are restricted to the (random) edges of the graph. We extend this correspondence to infinite intervals, for which the situation is more intricate. We prove that almost surely every stable matching of the random bipartite graph obtained by performing Bernoulli percolation on the complete bipartite graph $K_{\mathbb{Z},\mathbb{Z}}$ falls into one of two classes: a countable family $(σ_n)_{n\in\mathbb{Z}}$ of tame stable matchings, in which the length of the longest edge crossing $k$ is $O(\log |k|)$ as $k\to\pm \infty$, and an uncountable family of wild stable matchings, in which this length is $\exp Ω(k)$ as $k\to +\infty$. The tame stable matching $σ_n$ has the law of the Mallows permutation of $\mathbb{Z}$ (as constructed by Gnedin and Olshanski) composed with the shift $k\mapsto k+n$. The permutation $σ_{n+1}$ dominates $σ_{n}$ pointwise, and the two permutations are related by a shift along a random strictly increasing sequence.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑