[论文解读] Vertex-facet incidences of unbounded polyhedra

Michael Joswig, Volker Kaibel+2 more|arXiv (Cornell University)|Jan 1, 2001

Advanced Combinatorial Mathematics参考文献 11被引用 6

一句话总结

本文研究了尖锥多面体的顶点-面关联结构在多大程度上决定了其几何性质。研究表明，虽然仅凭关联数据无法完全重构无界多面体，但在单形和单纯多面体中，关联数据可以确定有界性——从而为顶点-面关联矩阵是循环矩阵的多面体提供了特征刻画。

ABSTRACT

How much of the combinatorial structure of a pointed polyhedron is contained in its vertex-facet incidences? Not too much, in general, as we demonstrate by examples. However, one can tell from the incidence data whether the polyhedron is bounded. In the case of a polyhedron that is simple and ``simplicial,'' i.e., a d-dimensional polyhedron that has d facets through each vertex and d vertices on each facet, we derive from the structure of the vertexfacet incidence matrix that the polyhedron is necessarily bounded. In particular, this yields a characterization of those polyhedra that have circulants as vertex-facet incidence matrices.

研究动机与目标

• 确定尖锥多面体的组合结构在多大程度上由其顶点-面关联数据编码。
• 研究顶点-面关联关系是否能够区分有界与无界多面体。
• 刻画顶点-面关联矩阵为循环矩阵的多面体类别。
• 探讨关联结构对d维多面体几何性质的影响，特别是单形和单纯多面体的情形。

提出的方法

• 分析顶点-面关联矩阵的结构，以推断多面体的几何性质。
• 使用组合论证表明，在单形和单纯多面体中，关联数据可推出有界性。
• 应用多面体组合学中顶点与面之间的对偶性，推导关联模式的约束条件。
• 研究循环矩阵作为关联结构的性质，将代数结构与几何可实现性相联系。
• 构造具有相同关联模式的无界多面体显式例子，以说明关联数据的局限性。
• 建立在单形和单纯多面体中，关联矩阵结构强制多面体为有界。

实验结果

研究问题

• RQ1 顶点-面关联矩阵在多大程度上可以确定尖锥多面体的有界性？
• RQ2 多面体的关联结构是否能唯一确定其是有界还是无界？
• RQ3 关联矩阵上的哪些组合条件可推出多面体为有界？
• RQ4 哪些多面体的顶点-面关联矩阵是循环矩阵，它们具有何种几何性质？
• RQ5 单形性和单纯性属性如何与关联数据相互作用，以强制实现有界性？

主要发现

• 仅凭顶点-面关联数据无法确定无界多面体的完整组合结构。
• 关联数据可以确定多面体是否为有界，尤其是在单形和单纯多面体的情况下。
• 对于单形和单纯多面体，顶点-面关联矩阵的结构意味着多面体必须是有界的。
• 获得了顶点-面关联矩阵为循环矩阵的多面体的完整特征刻画，表明它们必然有界。
• 实例表明，关联数据在一般多面体中不足以区分有界性，凸显了单形性和单纯性的特殊作用。
• 在单形和单纯多面体中，关联矩阵结构强制实现有限且有界的几何实现，即使没有显式的几何约束。