[论文解读] Two characterizations of ellipsoidal cones

Tyrrell B. McAllister, McAllister, Tyrrell B.|arXiv (Cornell University)|Apr 18, 2012

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

一句话总结

本文在有限维实向量空间中建立了椭球锥的两个内在刻画：一个锥是椭球锥，当且仅当其边界与平移后减去一点的锥的边界的交集的仿射张成维数比锥的维数小一（FBI性质）；当且仅当其任意仿射超平面的有界截面都具有中心对称性（CSS性质）。这些结果将关于椭球的经典定理推广到了凸锥的情形。

ABSTRACT

We give two characterizations of cones over ellipsoids. Let $C$ be a closed pointed convex linear cone in a finite-dimensional real vector space. We show that $C$ is a cone over an ellipsoid if and only if the affine span of $\partial C \cap \partial(a - C)$ has dimension $\dim(C) - 1$ for every point $a$ in the relative interior of $C$. We also show that $C$ is a cone over an ellipsoid if and only if every bounded section of $C$ by an affine hyperplane is centrally symmetric.

研究动机与目标

• 通过其边界和截面的几何性质刻画椭球锥。
• 将凸体的经典假中心定理推广到凸锥的设定中。
• 建立在有限维空间中，椭球锥由FBI与CSS性质唯一刻画。
• 通过FBI条件为狭义相对论中的洛伦兹结构提供几何基础。
• 证明CSS性质——所有有界截面的中心对称性——刻画了椭球锥。

提出的方法

• 若对相对内部中每一点a，其边界与(a−C)边界的交集的仿射张成维数为dim(C)−1，则定义该锥为FBI锥。
• 若任意仿射超平面的有界截面都具有中心对称性，则定义该锥为CSS锥。
• 以三维锥的假中心定理作为基础情形，再推广至任意有限维情形。
• 应用定理3.1（重心截面的存在性）与定理3.2（重心位于弦上）来构造具有指定重心的有界截面。
• 证明：若一点是某有界截面的对称中心，则该截面的边界位于∂C ∩ ∂(2p−C)中，从而建立CSS与FBI性质之间的联系。
• 利用FBI刻画（定理1.2）证明CSS锥必为椭球锥，从而完成两种刻画之间的对偶性。

实验结果

研究问题

• RQ1 能否通过a ∈ int(C)时∂C ∩ ∂(a−C)的仿射张成维数来刻画椭球锥？
• RQ2 若一个锥的所有有界截面都具有中心对称性，这一性质是否足以保证该锥为椭球锥？
• RQ3 在有限维锥中，CSS性质是否蕴含FBI性质？
• RQ4 能否将凸体的假中心定理推广至任意有限维锥？
• RQ5 锥的边界交集需满足何种几何条件，才能确保其为椭球锥？

主要发现

• 一个锥是FBI锥当且仅当它是椭球锥，即对所有a ∈ int(C)，∂C ∩ ∂(a−C)的仿射张成维数为dim(C)−1。
• 一个锥是CSS锥当且仅当它是椭球锥，即任意仿射超平面的有界截面都具有中心对称性。
• FBI刻画表明，椭球锥是唯一满足C与(a−C)边界交集位于余维数为一的超平面中的锥。
• CSS性质蕴含FBI性质：若所有有界截面都具有中心对称性，则锥满足FBI条件。
• 对任意有限维锥，总存在以给定内部点为重心的有界截面，从而可构造对称截面。
• 定理1.4（CSS ⇒ 椭球锥）的证明依赖于：有界截面的对称中心必位于∂C ∩ ∂(2p−C)中，从而强制满足FBI条件，进而确定其为椭球锥结构。