[论文解读] Matching polytons.

Martin Doležal, Jan Hladký|arXiv (Cornell University)|Jun 22, 2016

Limits and Structures in Graph Theory被引用 4

一句话总结

本文将有限图中匹配多面体和分数顶点覆盖多面体的概念推广至图论极限（graphons），引入了匹配多面体和分数顶点覆盖多面体作为其类比，扩展了这些概念至图论极限。文章建立了基础结构性质，并证明了当且仅当图论极限不包含色数为 r+1 的子图时，该图论极限为 r-分图，从而基于色数给出了二分图论极限的谱特征刻画。

ABSTRACT

Hladky, Hu, and Piguet [Tilings in graphons, preprint] introduced the notions of matching and fractional vertex covers in graphons. These are counterparts to the corresponding notions in finite graphs. Combinatorial optimization studies the structure of the matching polytope and the fractional vertex cover polytope of a graph. Here, in analogy, we initiate the study of the structure of the set of all matchings and of all fractional vertex covers in a graphon. We call these sets the matching polyton and the fractional vertex cover polyton. We also study properties of matching polytons and fractional vertex cover polytons along convergent sequences of graphons. As an auxiliary tool of independent interest, we prove that a graphon is $r$-partite if and only if it contains no graph of chromatic number $r+1$. This in turn gives a characterization of bipartite graphons as those having a symmetric spectrum.

研究动机与目标

• 将组合优化中的概念——匹配与分数顶点覆盖——从有限图推广至图论极限。
• 在图论极限的语境下，定义并研究匹配多面体与分数顶点覆盖多面体的结构。
• 分析这些多面体在图论极限序列收敛时的行为。
• 通过禁止子图的方法，建立 r-分图论极限的刻画：当且仅当图论极限不包含色数为 r+1 的子图时，其为 r-分图。
• 基于对称谱，推导出二分图论极限的谱特征刻画。

提出的方法

• 将匹配多面体定义为图论极限中所有匹配的集合，推广有限图匹配多面体的概念。
• 将分数顶点覆盖多面体定义为图论极限中所有分数顶点覆盖的集合，扩展有限图分数顶点覆盖多面体的概念。
• 使用测度论与分析工具，研究这些多面体在收敛图论极限序列中的收敛性质。
• 利用极值图论技术，证明图论极限为 r-分图当且仅当其不包含色数为 r+1 的子图。
• 借助谱图论，证明图论极限为二分图当且仅当其谱具有对称性。
• 应用图极限理论与正则性方法，分析极限对象中匹配与覆盖的结构。

实验结果

研究问题

• RQ1 如何将有限图中匹配多面体的概念推广至图论极限？
• RQ2 图论极限中所有匹配与分数顶点覆盖的集合具有何种结构性质？
• RQ3 图论极限序列收敛时，匹配多面体与分数顶点覆盖多面体如何演化？
• RQ4 子图的色数与图论极限的 r-分图结构之间存在何种关系？
• RQ5 图论极限的谱性质能否刻画其二分性？

主要发现

• 图论极限为 r-分图当且仅当其不包含色数为 r+1 的子图，从而为 r-分图论极限提供了禁止子图的刻画。
• 图论极限的谱对称性刻画了其二分性：图论极限为二分图当且仅当其谱是对称的。
• 匹配多面体与分数顶点覆盖多面体在图论极限空间中是良好定义的集合，将经典多面体概念成功推广至极限设定。
• 收敛的图论极限序列诱导其对应的匹配多面体与分数顶点覆盖多面体在适当拓扑下的收敛。
• 研究表明，图论极限中匹配与分数覆盖的结构与其底层图论极限的划分与谱性质密切相关。
• 研究结果通过组合优化的视角，在极值图论与图极限理论之间建立了桥梁。