[论文解读] The Density Formula: One Lemma to Bound Them All

Michael Kaufmann, Boris Klemz+4 more|arXiv (Cornell University)|Nov 10, 2023

Computational Geometry and Mesh Generation被引用 4

一句话总结

本文提出密度公式，这是一种统一的组合工具，将拓扑图绘制中的边、顶点、交叉点和面的大小关联起来，用于推导各类非平面图类别的边密度紧致上界。通过引入实数参数 t 参数化该公式，该方法可实现简洁的计数论证——避免复杂的分类讨论——从而为 k-平面图、RAC 图、扇形交叉图、拟平面图及 k⁺-实面图等图类建立最优或近似最优的上界，包括首次为 1-弯和 2-弯 RAC 图获得紧致上界，并构造出新的极值图例。

ABSTRACT

We introduce the Density Formula for (topological) drawings of graphs in the plane or on the sphere, which relates the number of edges, vertices, crossings, and sizes of cells in the drawing. We demonstrate its capability by providing several applications: we prove tight upper bounds on the edge density of various beyond-planar graph classes, including so-called $k$-planar graphs with $k=1,2$, fan-crossing / fan-planar graphs, $k$-bend RAC-graphs with $k=0,1,2$, quasiplanar graphs, and $k^+$-real face graphs. In some cases ($1$-bend and $2$-bend RAC-graphs and fan-crossing / fan-planar graphs), we thereby obtain the first tight upper bounds on the edge density of the respective graph classes. In other cases, we give new streamlined and significantly shorter proofs for bounds that were already known in the literature. Thanks to the Density Formula, all of our proofs are mostly elementary counting and mostly circumvent the typical intricate case analysis found in earlier proofs. Further, in some cases (simple and non-homotopic quasiplanar graphs), our alternative proofs using the Density Formula lead to the first tight lower bound examples.

研究动机与目标

• 开发一种通用且可复用的方法，用于推导非平面图类别的边密度紧致上界。
• 克服以往证明的局限性，这些证明通常依赖复杂的分类讨论且仅适用于特定图类。
• 通过单一组合框架统一并简化非平面图理论中的现有结果。
• 通过分析密度公式在等式成立时的情形，识别出紧致极值图例的结构特性。
• 为此前未解决的情形（如简单图与非同伦拟平面图）构造新的紧致下界图例。

提出的方法

• 提出密度公式作为连接连通图绘制中边、顶点、交叉点与面大小的参数化方程。
• 使用实数参数 t 调节公式，从而推导边密度上界（例如，t = 5 时对应 5n − 10 上界）。
• 通过计数小面（大小 ≤ 4）并将其与交叉点关联，以限制总边数。
• 应用该公式推导多种非平面图类别的上界：k-平面图、RAC 图、扇形交叉图、拟平面图及 k⁺-实面图。
• 构造极值图例以证明上界的紧致性，尤其针对 1-弯和 2-弯 RAC 图及拟平面图。
• 分析公式的等式成立情形，推断最优图的结构约束（例如，k⁺-实面图中必须为平面图）。

实验结果

研究问题

• RQ1 是否可以使用单一统一公式，推导出多种非平面图类别的边密度紧致上界？
• RQ2 密度公式如何简化或替代现有边密度上界证明中的复杂分类讨论？
• RQ3 极值图必须满足何种结构特性，才能使密度公式达到等式？
• RQ4 密度公式能否用于构造此前未解决情形的新型紧致下界图例？
• RQ5 为使公式产生最优上界，对面大小与交叉点应满足何种必要条件？

主要发现

• 本文为连通 1-弯 RAC 图建立了紧致上界 5n − 10 条边，与已知最佳下界一致。
• 对于 2-弯 RAC 图，本文推导出新的上界 10n − 19 条边，其紧致性仅相差一个常数项，并构造出一个无限家族图例，实现 10n − 54 条边。
• 首次构造出非同伦拟平面图的紧致下界图例，实现 8n − 20 条边。
• 对于简单拟平面图，本文构造出一个边数为 6.5n − 20 的图族，与已知上界完全匹配。
• 密度公式揭示：所有 k ≥ 3 的 k⁺-实面图类的紧致极值图例必须为平面图。
• 该方法表明：在所有简单拟平面图的紧致极值图例中，平面边构成完美匹配。