[论文解读] Some observations on the simplex

Igor Rivin|ArXiv.org|Aug 26, 2003

Point processes and geometric inequalities参考文献 3被引用 3

一句话总结

本文利用线性代数，特别是格拉姆矩阵及其对偶，研究了欧氏空间中单纯形的几何与代数结构。证明了非退化单纯形的格拉姆矩阵集合构成一个凸锥，并建立了面面积与对偶格拉姆矩阵零空间之间的对偶性，通过对称正定矩阵及其伴随矩阵完整刻画了单纯形构型。

ABSTRACT

We investigate the space of simplices in Euclidean Space

研究动机与目标

• 理解一组边长在 $\mathbb{E}^n$ 中构成非退化单纯形的条件，将三角不等式推广至高维。
• 分析单纯形的几何约束，超越三角不等式，表明这些约束在高维中不足以保证非退化性。
• 利用格拉姆矩阵及其对偶表征单纯形空间，建立面面积与对偶格拉姆矩阵零空间之间的对偶性。
• 证明有效格拉姆矩阵的集合构成一个凸锥，为研究单纯形构型提供线性代数框架。

提出的方法

• 使用格拉姆矩阵 $G = V^tV$，其中 $V$ 是从原点出发的顶点向量矩阵，表示边向量之间的内积。
• 应用瑞利-里茨特征刻画，证明对称矩阵的最小特征值是凹函数，从而推出正定锥的凸性。
• 运用克莱姆法则和伴随矩阵，将奇异矩阵的零空间与左右零向量的外积联系起来。
• 引入对偶格拉姆矩阵 $G^*$，其元素为面之间外二面角的余弦值，并证明其为对称且半正定，且具有一个一维零空间。
• 利用散度定理证明面面积向量位于对偶格拉姆矩阵的零空间中。
• 应用伴随定理，推导出对偶格拉姆矩阵主子式中平方面面积的比值公式。

实验结果

研究问题

• RQ1 在 $\mathbb{E}^n$ 中，边长满足何种条件时，可保证存在一个非退化单纯形？
• RQ2 为何三角不等式无法保证在 $n > 2$ 维中存在单纯形？
• RQ3 如何代数参数化 $\mathbb{E}^n$ 中所有单纯形的空间？该空间是否为凸集？
• RQ4 对偶格拉姆矩阵的零空间的几何意义是什么？它与面面积有何关系？
• RQ5 格拉姆矩阵与其伴随矩阵之间的对偶性能否用于推导涉及面面积与二面角的恒等式？

主要发现

• 在 $\mathbb{E}^n$ 中，非退化单纯形的格拉姆矩阵集合构成一个凸锥，因为对称正定矩阵的集合是凸的。
• 单纯形的对偶格拉姆矩阵 $G^*$ 是对称且半正定的，且恰好有一个零特征值，其零空间由面面积向量张成。
• 面面积向量 $\mathbf{A} = (A_0, \dots, A_n)$ 满足 $G^* \mathbf{A} = 0$，这由对多面单纯形应用散度定理可得。
• 平方面面积的比值为 $\frac{A_i^2}{A_j^2} = \frac{\widehat{M}_{ii}}{\widehat{M}_{jj}}$，其中 $M$ 为对偶格拉姆矩阵，$\widehat{M}$ 为其伴随矩阵。
• 对于秩亏为1的奇异矩阵 $M$，其左零向量为 $w$，右零向量为 $v$，则其伴随矩阵满足 $\widehat{M} = c w \otimes v$，其中 $c$ 为非零特征值的乘积除以 $\langle v, w \rangle$。
• 本文证明，当以边长参数化时，单纯形的空间并非凸集，通过一个反例表明：两个单纯形的边长平均值可能无法构成有效单纯形。