[论文解读] The measurable Hall theorem fails for treeings

Gábor Kun|arXiv (Cornell University)|Jun 3, 2021

Limits and Structures in Graph Theory参考文献 19被引用 4

一句话总结

该论文针对每个 $d \geq 2$ 构造了一个 $d$-正则、可测双分图树形图（本质上无环图化），其不包含可测完美匹配，从而证明在树形图设定下，可测 Hall 定理不成立。该构造通过具有受控边方向和测度性质的有限 $d$-正则双分图的逆极限实现，证明所有 $L^1$ 流量几乎处处为零，这暗示了可测匹配的不存在性。

ABSTRACT

We construct, for every $d \geq 3$, a $d$-regular acyclic measurably bipartite graphing that admits no measurable perfect matching, resolving a problem of Kechris and Marks. A dense variant of our construction yields a coupling of two standard Borel probability measure spaces whose support contains no deterministic coupling, though the conditional probabilities of the coupling measure are atomless. This refutes a conjecture of Gurel-Gurevich and Peled.

研究动机与目标

• 解决 Kechris 和 Marks 提出的一个开放问题：$d$-正则 Borel 树形图是否允许可测完美匹配。
• 将超有限和 Borel 设定下已知的反例扩展到更广泛的树形图类，特别是针对奇数和偶数度数。
• 证明在树形图背景下，即使图化是正则且可测双分的，完美匹配的存在性也不蕴含可测完美匹配的存在性。
• 表明所构造图化上的所有 $L^1$ 流量几乎处处为零，这阻碍了可测匹配的存在性。
• 建立此类图化不能作为自由 $\mathbb{Z}$-作用的 Schreier 图化，从而将结果与测度群论联系起来。

提出的方法

• 通过测度保持投影 $f_n: V(G_{n+1}) \to V(G_n)$ 递归构造一列有限 $d$-正则双分图 $\{G_n\}$。
• 定义一个逆极限图化 $T_0$，其顶点集由满足 $f_n(x_{n+1}) = x_n$ 的序列 $\{x_n\}$ 构成，并配备乘积概率测度。
• 通过移除在 '坏' 集 $V_0(G_n)$ 中具有无穷多个坐标点的顶点，将测度限制在全测度子图化 $T$ 上，以确保无环性和正则性。
• 利用 $T$ 上的可测定向 $\mathcal{O}$ 及从 $G_n$ 到 $T$ 的定向提升，控制边方向上的差异。
• 应用引理 4，通过有限层定向逼近和有界不一致测度，证明任意绝对可积流必须几乎处处为零。
• 证明所得到的图化 $T$ 是一个树形图（本质上无环），且 $d$-正则，其上不存在非平凡的 $L^1$ 流量，从而暗示不存在可测完美匹配。

实验结果

研究问题

• RQ1 对每个 $d \geq 2$，每个 $d$-正则可测双分图树形图是否都存在可测完美匹配？
• RQ2 鉴于可测 Hall 定理在超有限和 Borel 设定下已不成立，能否将其推广到树形图类？
• RQ3 流在阻碍正则图化中可测匹配的存在性方面起什么作用？
• RQ4 是否可以对所有 $d \geq 2$（包括奇数度数）构造此类反例？
• RQ5 一个 $d$-正则树形图是否可能作为自由 $\mathbb{Z}$-作用的 Schreier 图化？

主要发现

• 对每个 $d \geq 2$，均存在一个 $d$-正则、可测双分图树形图，其不包含可测完美匹配。
• 所构造图化上所有 $L^1$ 流量几乎处处为零，这暗示了可测完美匹配的不存在性。
• 图化 $T$ 是一个树形图，因为其组件中含环的顶点集测度为零，且图几乎处处 $d$-正则。
• 该构造确保全局定向与其有限层逼近之间的不一致测度可任意小，从而支持逼近论证的应用。
• 该图化不能作为自由 $\mathbb{Z}$-作用的 Schreier 图化，因为此类作用会诱导非平凡有界流，而 $T$ 上并不存在这样的流。
• 该结果解决了描述集合论和可测组合学中长期存在的一个开放问题，表明可测 Hall 定理无法推广到树形图。