[论文解读] Rhombic embeddings of planar graphs with faces of degree 4

Richard Kenyon, Jean‐Marc Schlenker|ArXiv.org|May 27, 2003

Advanced Graph Theory Research参考文献 5被引用 19

一句话总结

本文建立了平面图中所有面均为四边形时存在菱形嵌入（即所有边长为单位长度且每个面均为菱形）的充要条件。证明表明，此类嵌入存在当且仅当任意列车轨道（train track）不自交或为周期性，且任意两条不同列车轨道至多相交一次。所有此类嵌入构成的集合在菱形角度参数化下形成一个凸集，且在环面上存在唯一面积最大的嵌入，此时每条列车轨道的横向方向与其渐近方向正交。

ABSTRACT

Given a finite or infinite planar graph all of whose faces have degree 4, we study embeddings in the plane in which all edges have length 1, that is, in which every face is a rhombus. We give a necessary and sufficient condition for the existence of such an embedding, as well as a description of the set of all such embeddings.

研究动机与目标

• 确定平面图中所有有界面均为四边形时存在菱形嵌入的必要与充分条件。
• 描述无限或周期性平面图的所有菱形嵌入空间的拓扑与几何结构。
• 识别在环面上使基本域面积最大的唯一菱形嵌入。
• 建立钻石图的菱形嵌入与原图严格凸等距嵌入之间的对应关系。

提出的方法

• 作者将列车轨道定义为不转弯的相邻面路径，并为每条轨道关联一个表示行进方向的横截向量。
• 证明菱形嵌入存在的充要条件是：列车轨道不自交或形成闭合环路，且任意两条不同列车轨道至多相交一次。
• 菱形嵌入的空间由菱形的角度参数化，在维度为 |Tr(G)| - 1 的环面型空间中形成一个凸集。
• 对于周期图，嵌入空间是某个凸多面体的内部，且面积泛函严格拟凹，从而保证存在唯一临界点。
• 该临界点在几何上被刻画为：每条列车轨道的横截方向与其渐近方向正交。
• 作者通过向量场分析与微分几何方法证明，面积泛函沿所定义向量场的积分曲线单调递增，从而证明了唯一最大值的存在性。

实验结果

研究问题

• RQ1 在何种组合与拓扑条件下，所有面均为四边形的平面图可在边长为单位长度的平面上实现菱形嵌入？
• RQ2 对于无限平面图，所有菱形嵌入空间的拓扑结构为何？
• RQ3 对于周期性平面图，使基本域面积最大的唯一菱形嵌入的几何特征是什么？
• RQ4 钻石图的菱形嵌入与原图的严格凸等距嵌入之间存在何种关系？
• RQ5 在何种条件下，菱形嵌入空间上的面积泛函严格拟凹，并存在唯一临界点？

主要发现

• 当且仅当任意列车轨道不自交或为周期性，且任意两条不同列车轨道至多相交一次时，所有面均为四边形的平面图存在菱形嵌入。
• 当以菱形角度参数化时，所有面均为四边形的无限图的菱形嵌入空间为凸集，其闭包为维度 |Tr(G)| - 1 的凸多面体。
• 对于周期图，菱形嵌入空间为某个凸多面体的内部，且基本域面积为该空间上的严格拟凹泛函。
• 面积泛函的唯一临界点出现在：对每条列车轨道，其横截方向与渐近方向正交。
• 在环面上面积最大的嵌入被此正交性条件唯一刻画，且该嵌入存在且唯一。
• 用于分析面积泛函的向量场在临界点处为零，并在嵌入空间边界处指向内部，从而证明了最大值的存在性。