[论文解读] Vector spaces spanned by the angle sums of polytopes

Kristin A. Camenga|ArXiv.org|Aug 31, 2005

Advanced Combinatorial Mathematics参考文献 12被引用 15

一句话总结

本论文研究了单纯形多面体角度和所张成的向量空间，引入γ-向量作为h-向量在角度方面的类比。通过金字塔和柱体构造，证明了d-单纯形的α-向量空间的仿射维数为⌊(d−1)/2⌋，而单纯多面体与一般d-多面体的联合α-f-向量空间的维数分别为d−1和2d−3，建立了类似于欧拉关系与德恩-索莫夫斯基关系的强几何-组合对偶性。

ABSTRACT

In this paper, we will describe the space spanned by the angle-sums of polytopes, recorded in the alpha-vector. We will consider the angles sums of simplices and the angles sums and face numbers of simplicial polytopes and general polytopes. We will construct families of polytopes whose angle sums span the spaces of polytopes defined by the Gram and Perles equations, analogues of the Euler and Dehn-Sommerville equations. We show that the dimensions of the affine span of the space of angle sums of simplices is floor[(d-1)/2] + 1, and that of the angle sums and face numbers of simplicial polytopes and general polytopes are d-1 and 2d-3 respectively.

研究动机与目标

• 理解控制多面体角度和（α-向量）的线性关系，类似于控制f-向量的欧拉关系与德恩-索莫夫斯基关系。
• 确定d-单纯形、单纯d-多面体以及一般d-多面体的α-向量所张成空间的仿射维数。
• 通过证明d-单纯形的α-向量空间维数等于(d−1)维单纯多面体的f-向量空间维数，建立几何-组合对偶性。
• 引入并分析γ-向量作为h-向量在角度方面的类比，为研究角度和关系提供新工具。
• 证明对于一般多面体，Gram方程是α-向量上唯一的线性关系；对于单纯多面体，Perles方程是唯一的线性关系。

提出的方法

• 通过在低维多面体上进行金字塔与柱体操作构造d-多面体，固定几何结构以控制角度和。
• 使用γ-向量（α-向量的线性变换）简化角度和关系的分析，类比于f-向量的h-向量。
• 应用矩阵变换（C）将构造出的多面体的γ-f-向量与α-f-向量关联，通过可逆性证明线性无关性。
• 利用金字塔构造的极限情况（P∞Q）生成具有特定γ-f-向量性质的多面体，用于构造生成集。
• 使用原像技术验证构造出的多面体的γ-f-向量在仿射意义下线性无关，并张成所需空间。
• 依赖已知结果如欧拉关系与德恩-索莫夫斯基方程，以约束并验证所推导的关系。

实验结果

研究问题

• RQ1 d-单纯形的α-向量所张成空间的仿射维数是多少？
• RQ2 Gram方程与Perles方程分别如何约束一般多面体与单纯多面体的α-向量？
• RQ3 γ-向量能否作为h-向量在几何上的类比？它是否简化了角度和关系的分析？
• RQ4 单纯d-多面体的α-f-向量是否张成维数为d−1的空间？一般d-多面体的α-f-向量是否张成维数为2d−3的空间？
• RQ5 d-单纯形的α-向量空间与(d−1)维单纯多面体的f-向量空间之间是否存在更深层的几何-组合对偶性？

主要发现

• d-单纯形的α-向量的仿射包络的维数为⌊(d−1)/2⌋。
• 单纯d-多面体的联合α-f-向量的仿射包络的维数为d−1。
• 一般d-多面体的联合α-f-向量的仿射包络的维数为2d−3。
• γ-向量提供了一种有用的线性变换，简化了角度和关系的分析，类比于h-向量对f-向量的作用。
• 所构造的多面体（包括P∞Q与柱体积）的α-f-向量在仿射意义下线性无关，通过可逆矩阵变换证明了维数界限。
• 结果证实了一种强对偶性：d-单纯形的α-向量空间维数等于(d−1)维单纯多面体的f-向量空间维数。