[论文解读] On Extremal Volume Projections of the Simplex and the Cube

Christos Pandis|arXiv (Cornell University)|Jan 26, 2026

Point processes and geometric inequalities被引用 0

一句话总结

该论文推导了正则单纯形的超平面投影体积的闭式解，确定了极端投影方向，重新考察了立方体的极端平面投影，并扩展到 Lp 投影体。

ABSTRACT

Let $Δ_n$ and $Q_n$ denote the regular $n$-simplex of side length $\sqrt{2}$ embedded in $\mathbb{R}^{n+1}$ and the volume one cube in $\mathbb{R}^n$, respectively. We derive a closed-form formula for the hyperplane volume projections of $Δ_n$, which also yields the directions achieving the extremal volume. Moreover, we revisit the problem of extremal planar projections of $Q_n$. In addition, we present generalizations within the framework of $L_p$-projection bodies.

研究动机与目标

• 确定正则单纯形 Delta_n 的超平面投影体积，并识别使体积达到最大或最小的方向。
• 刻画立方体 Q_n 的极端平面投影并给出清晰的界限（包括等号情况）。
• 开发并探索到 L_p 投影体的扩展及相关投影公式。
• 将投影结果与凸几何中的宽度、体积以及极极/投影关系相联系。

提出的方法

• 推导投影的 (n-1) 维体积的闭式公式：vol_{n-1}(Proj_{a^⊥∩H} Delta_n) = (1/2) * sqrt(n+1) / (n-1)! * sum_{j=1}^{n+1} |a_j|，其中 a 位于相应的子空间。
• 通过分析满足 sum a_i = 0 的约束下 a 的 l1-范数来确定极端方向 a。
• 使用多面体的柯西公式将投影体积与 Facet 法向量联系起来，并推导出精确的极端向量。
• 推导 Q_n 的平面投影结果，显示 vol_{n-1}(Proj_{a^⊥} Q_n) = sum_j |a_j|，并给出带有明确等号条件的尖锐界。
• 给出 L_p 投影体的一般化：h_{Π_p Q_n}^p(a) = (1/2^{1-p}) sum_j |a_j|^p, h_{Π_p B_1^n}^p(a) = (2^{n-1}/(n-1)!) E|sum_j a_j ε_j|^p, 以及 h_{Π_p Δ_c^n}^p(a) = ((n+1)^{(2p-1)/2})/(2(n-1)!) sum_j |a_j|^p。

实验结果

研究问题

• RQ1 正则单纯形 Delta_n 的极端（最大/最小）超平面投影体积是多少，哪些方向实现这些极值？
• RQ2 立方体 Q_n 的极端平面投影（二维）是什么，以及相应的体积界限？
• RQ3 投影公式如何扩展到常见多面体（如 Q_n、B_1^n、以及中心 Delta_n）的 L_p 投影体？
• RQ4 单纯形的投影体积与宽度或 g(DK,a) 之间有什么关系？

主要发现

• vol_{n-1}(Proj_{a^⊥∩H} Delta_n) = (1/2) * sqrt(n+1) /(n-1)! * sum_{j=1}^{n+1} |a_j|；极端方向由具体的半正/半负配置来表征。
• 最小和最大投影体积由 V_min = (1/√2) * sqrt(n+1)/(n-1)! 和 V_max = (1/[2(n-1)!]) * (n+1)（n 为奇数）或 sqrt{n(n+2)}（n 为偶数）给出，且极端方向有描述。
• 立方体满足 vol_{n-1}(Proj_{a^⊥} Q_n) = sum_j |a_j|，界限紧，1 ≤ vol ≤ √n，分别在坐标超平面和主对角正交处取得。二维平面界限为 vol_2(Proj_H Q_n) ≤ cot(π/(2n))，在等号处为一个正则的 2n 边形投影。
• 对于 L_p 投影体，给出 h_{Π_p Q_n}^p(a)、h_{Π_p B_1^n}^p(a)、以及 h_{Π_p Δ_c^n}^p(a) 的显式公式，提供了跨 p 的投影体积统一框架。
• Delta_n 的极端宽度由与最大化超平面投影体积相同的方向实现，且 g(D Delta_n,a) = (1/2) sum_j |a_j|，并给出显式的最小/最大宽度。