[論文レビュー] Width Distributions for Convex Regular Polyhedra

Steven R. Finch|arXiv (Cornell University)|Oct 4, 2011

Point processes and geometric inequalities参考文献 1被引用数 4

ひとこと要約

本稿では、幾何確率と球面積分を用いて、辺の長さが1の正四面体と立方体の平均二乗幅を導出する。既知の平均幅の公式を検証し、新たな結果を提示する：$ \operatorname{E}(w_{ \text{tetra}}^2) = \frac{1}{3}\left(1 + \frac{3 + \sqrt{3}}{\pi}\right)$ および $ \operatorname{E}(w_{ \text{cube}}^2) = 1 + \frac{4}{\pi}$。これらは、単位球面上での困難な定積分の厳密な評価により得られた。

ABSTRACT

The mean width is a measure on three-dimensional convex bodies that enjoys equal status with volume and surface area [Rota]. As the phrase suggests, it is the mean of a probability density f. We verify formulas for mean widths of the regular tetrahedron and the cube. Higher-order moments of f_tetra and f_cube have not been examined until now. Assume that each polyhedron has edges of unit length. We deduce that the mean square width of the regular tetrahedron is 1/3+(3+sqrt(3))/(3*pi) and the mean square width of the cube is 1+4/pi.

研究の動機と目的

• 凸正多面体の幅分布の高次モーメント、特に平均二乗幅を計算すること。
• 辺の長さが1の正四面体と立方体について、既に知られている平均幅の公式を検証すること。
• 2次元から3次元への幾何確率手法の拡張として、球面積分を用いた幅分布の分析を行うこと。
• 正四面体の幅分布から生じる複雑な定積分を解析的に評価すること。

提案手法

• 球面上のランダムな単位ベクトルに直交する支持平面間の距離として幅をモデル化し、$S^2$ 上の一様分布を用いる。
• 原点を通る直線と8つの重なり合う単位球（面の重心を中心とする）の交点間の13個の異なる距離の最大値として幅分布を表現する。
• 3次元の幅計算を、幾何的交差から得られる区分的関数 $g$ の平方根の球面積分に還元する。
• 球座標 $(\theta, \varphi)$ における三角関数的置換とパrametrization を用い、幅関数を $\cos\theta$, $\sin\theta$, $\cos\varphi$, $\sin\varphi$ の関数として表現する。
• 対称性と分解を用いて、臨界領域 $0 \leq \theta \leq \pi/3$, $\varphi \geq \varphi(\theta)$ において主要な項 $g_1$ を特定する。ここで $\varphi(\theta) = 2\arctan(h(\theta))$ である。
• 三角恒等式と置換を適用し、最終的に $\operatorname{E}(w_{\text{tetra}}^2)$ の閉形式表現を導出する。

実験結果

リサーチクエスチョン

• RQ1 辺の長さが1の正四面体の平均二乗幅は何か？ また、その平均幅とはどのように異なるか？
• RQ2 立方体の幅分布は、球面積分と幾何確率を用いてどのように分析できるか？
• RQ3 正四面体の幅分布の2番目のモーメントの正確な値は何か？ また、非自明な定積分からどのように導出されるか？
• RQ4 原点を通る直線と面の重心を中心とする重なり合う球の交差を用いて、凸正多面体の幅分布を体系的に研究できるか？
• RQ5 正四面体の幅計算に生じる困難な定積分を評価するために必要な解析的手法は何か？

主な発見

• 辺の長さが1の正四面体の平均二乗幅は $\operatorname{E}(w_{\text{tetra}}^2) = \frac{1}{3}\left(1 + \frac{3 + \sqrt{3}}{\pi}\right)$ であり、これは厳密な積分により得られた新規の結果である。
• 辺の長さが1の立方体の平均二乗幅は $\operatorname{E}(w_{\text{cube}}^2) = 1 + \frac{4}{\pi}$ であり、球面積分と対称性を用いて確認された。
• 幾何確率を用いて、既知の正四面体の平均幅 $\operatorname{E}(w_{\text{tetra}}) = \frac{3}{2\pi}\arccos(-1/3)$ を検証した。
• 立方体の平均幅は $\operatorname{E}(w_{\text{cube}}) = \frac{3}{2}$ であり、既知の結果と整合的である。
• 正四面体の幅関数における主要項は $g_1$ であり、領域 $0 \leq \theta \leq \pi/3$ および $\varphi \geq 2\arctan(h(\theta))$ で有効である。ここで $h(\theta) = \frac{\cos\theta + \sqrt{3}\sin\theta + \sqrt{10 - \cos(2\theta) + \sqrt{3}\sin(2\theta)}}{2\sqrt{2}}$ である。
• 最終的な $\operatorname{E}(w_{\text{tetra}}^2)$ の式は、$\theta \in [0, \pi/3]$ における導出関数の積分により得られ、閉形式の結果となった。