[論文レビュー] Two characterizations of ellipsoidal cones

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

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

ひとこと要約

本稿は、有限次元実ベクトル空間における楕円錐の2つの内在的特徴づけを確立する：錐が楕円錐であるための必要十分条件として、その境界とその平行移動から一点を除いたものの境界との交わりのアフィン包の次元が、錐の次元より1小さい（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 に対して、∂C ∩ ∂(a−C) のアフィン包の次元が dim(C)−1 であるとき、錐をFBI錐と定義する。
• 任意のアフィン超平面による有界な断面が中心対称であるとき、錐をCSS錐と定義する。
• 3次元錐に対する偽中心定理を基底ケースとし、それを任意の有限次元へ一般化する。
• 定理3.1（重心断面の存在）および定理3.2（重心の弦上への位置）を適用して、指定された重心を持つ有界な断面を構成する。
• ある点が有界な断面の中心対称点であるならば、その断面の境界は ∂C ∩ ∂(2p−C) に含まれることを示し、CSS性質とFBI性質を結びつける。
• 定理1.2（FBI特徴づけ）を用いて、CSS錐が楕円錐であることを示し、特徴づけの双対性を完成させる。

実験結果

リサーチクエスチョン

• RQ1 点 a ∈ int(C) に対して、∂C ∩ ∂(a−C) のアフィン包の次元が、C の次元より1小さいという性質によって、楕円錐を特徴づけられるか？
• RQ2 ある錐のすべての有界な断面が中心対称であるという性質は、その錐が楕円錐であることを保証するのに十分か？
• RQ3 有限次元の錐において、CSS性質はFBI性質を含意するか？
• RQ4 凸体に対する偽中心定理を、任意の有限次元の錐へと一般化できるか？
• RQ5 錐の境界の交わりにどのような幾何的条件を課すと、それが楕円錐であることが保証されるか？

主な発見

• 錐がFBI錐であるための必要十分条件は、それが楕円錐であること、すなわち、すべての a ∈ int(C) に対して、∂C ∩ ∂(a−C) のアフィン包の次元が dim(C)−1 であることである。
• 錐がCSS錐であるための必要十分条件は、それが楕円錐であること、すなわち、任意のアフィン超平面による有界な断面が中心対称であることである。
• FBI特徴づけは、C と (a−C) の境界の交わりが、余次元1の部分空間に含まれる唯一の錐が楕円錐であることを示している。
• CSS性質はFBI性質を含意する：すべての有界な断面が中心対称であれば、錐はFBI条件を満たす。
• 任意の有限次元の錐に対して、与えられた内部点に重心を持つ有界な断面が存在することが保証され、対称な断面の構成が可能になる。
• 定理1.4（CSS ⇒ 楕円錐）の証明は、有界な断面の中心対称点が ∂C ∩ ∂(2p−C) に含まれることを示すことに依拠しており、これによりFBI条件が成立し、結果として楕円錐構造が強制される。