[论文解读] Structure of Schnyder labelings on orientable surfaces.

Daniel Gonçalves, Kolja Knauer+1 more|arXiv (Cornell University)|Jan 22, 2015

Computational Geometry and Mesh Generation参考文献 24被引用 3

一句话总结

本文通过角度标记法，将Schnyder木从平面图推广到高亏格可定向曲面，建立了此类标记与特定定向之间的一一对应关系。该研究将此类定向的集合表征为以曲面同调为索引的分配格，推广了早期结果，并为环面上地图上Schnyder木的存在性提供了新证明。

ABSTRACT

We propose a simple generalization of Schnyder woods from the plane to maps on orientable surfaces of higher genus. This is done in the language of angle labelings. Generalizing results of De Fraysseix and Ossona de Mendez, and Felsner, we establish a correspondence between these labelings and orientations and characterize the set of orientations of a map that correspond to such a Schnyder wood. Furthermore, we study the set of these orientations of a given map and provide a natural partition into distributive lattices depending on the surface homology. This generalizes earlier results of Felsner and Ossona de Mendez. In the toroidal case, a new proof for the existence of Schnyder woods is derived from this approach.

研究动机与目标

• 将Schnyder木从最初定义于平面图的情形，推广至高亏格可定向曲面上的地图。
• 通过角度标记形式化，建立Schnyder标记与地图特定定向之间的一一对应关系。
• 以曲面同调为依据，表征对应于Schnyder标记的定向集合。
• 将此类定向的集合划分为分配格，推广了针对平面图与环面图的先前结果。
• 通过所提出的框架，为环面上地图上Schnyder木的存在性提供新证明。

提出的方法

• 通过嵌入在可定向曲面上的地图上的角度标记来表示Schnyder标记。
• 通过顶点与面周围角度的局部约束，定义Schnyder木的推广形式。
• 利用曲面同调对对应于Schnyder标记的有效定向集合进行分类与划分。
• 建立Schnyder标记与满足特定出度及标记条件的定向之间的一一对应关系。
• 应用格论工具，证明有效定向的集合构成分配格。
• 通过分析亏格为1情形下的格结构，推导出环面上Schnyder木存在性的新证明。

实验结果

研究问题

• RQ1 Schnyder木如何从平面图推广至高亏格可定向曲面上的地图？
• RQ2 对应于曲面上任意亏格的Schnyder标记的定向集合具有何种特征？
• RQ3 曲面同调如何影响有效Schnyder定向集合的结构？
• RQ4 给定地图上Schnyder定向的集合能否被划分为分配格？若能，该划分如何依赖于同调？
• RQ5 所提出的框架是否能为环面上地图上Schnyder木的存在性提供新证明？

主要发现

• 本文建立了高亏格地图上Schnyder标记与满足局部角度约束的特定定向之间的一一对应关系。
• 对应于Schnyder标记的定向集合自然地被划分为分配格，且该划分由曲面的同调类索引。
• 该框架推广了Felsner与Ossona de Mendez针对平面图与环面图所得的早期结果，适用于任意可定向曲面。
• 在环面情形下，格结构为Schnyder木的存在性提供了新的结构性证明。
• 通过角度标记对有效定向的表征，将Schnyder木理论的适用范围扩展至平面之外。