[論文レビュー] Random chords and point distances in regular polygons

Uwe Bäsel|arXiv (Cornell University)|Apr 12, 2012

Computational Geometry and Mesh Generation参考文献 6被引用数 8

ひとこと要約

本稿では、ディラックのデルタ関数のような高度な道具を用いずに、初等的な幾何学的手法を用いて任意の正多角形における弦長分布関数を導出する。さらに、その多角形内に一様かつ独立に選ばれた2点間の距離に関する確率密度関数および累積分布関数を確立し、最小限のケース区分で定義された正確な区分的公式を提示する。これらは正三角形や他の正多角形において検証済みである。

ABSTRACT

In this paper we obtain the chord length distribution function for any regular polygon. From this function we conclude the density function and the distribution function of the distance between two uniformly and independently distributed random points in the regular polygon. The method to calculate the chord length distribution function is quite different from those of Harutyunyan and Ohanyan, uses only elementary methods and provides the result with only a few natural case distinctions.

研究の動機と目的

• 正多角形における弦長分布関数を計算するための単純で初等的な手法を開発し、複雑な積分変換やディラックのデルタ関数を避けること。
• 任意の正多角形内に独立かつ一様に選ばれた2点間の距離に関する確率密度関数および累積分布関数を導出すること。
• これらの分布に対して、最小限のケース区分で定義された明示的な区分的公式を提供し、計算の容易さを高めること。
• 前回の研究で示されたように、わずかな修正で不規則または非凸多角形へもこの手法を拡張できること。
• 特定のケース（例：正三角形）について、正確な解析的表現を用いて結果を検証し、既知の期待値と一致することを確認すること。

提案手法

• 平面における運動不変線測度を用い、原点からの距離 $ p $ と角度 $ \theta $ でパラメータ化することで、多角形と交差する直線の集合を定義する。
• 与えられた長さ $ s $ より長い弦を生じる直線の測度を用いて、弦長分布関数を表す。式 $ F(s) = 1 - \frac{1}{u} \mu(\{g: |\chi(g)| > s\}) $ を用いる。
• 測度 $ \mu(\mathcal{S}(g,s)) $ を、すべての角度 $ \phi \in [0, \pi) $ において、長さ $ s $ の弦を生じる2本の極端な平行線までの原点からの距離の和を積分することで計算する。
• $ k $ ステップ離れた辺のペアに基づく幾何的分解を導入し、臨界距離 $ \ell_k $ を定義し、区間 $ [\ell_k, \ell_{k+1}) $ における区分的積分を用いる。
• $ t^2 $、$ \ln t $、$ \arcsin(a/t) $ を含む式の原始関数を用いた初等的な積分技術を用い、累積分布関数を計算する。
• 累積分布関数を微分することで最終的な密度関数 $ g(t) $ を導出し、異なる距離範囲に対応する明示的な区分的表現を得る。

実験結果

リサーチクエスチョン

• RQ1 正多角形における弦長の正確な分布は何か？ そして、高度な分布理論に依存せずにどのように計算できるか？
• RQ2 正多角形内に一様にランダムに選ばれた2点間の距離に関する確率密度関数を、解析的にどのように導出できるか？
• RQ3 これらの分布を最小限のケースで初等的に導出可能にするために必要な幾何的および代数的要素は何か？
• RQ4 導出された正三角形の公式は、既存の文献における既知の結果とどのように一致するか？
• RQ5 この手法は、わずかな修正で非凸または不規則な多角形へ一般化可能か？

主な発見

• 任意の正 $ n $-角形における弦長分布関数は、初等的な幾何学および積分法のみを用いて導出され、自然なケース区分がわずかに数個である。
• 外接円半径 $ r $ の正三角形における距離密度関数 $ g(t) $ は、明示的な区分的表現で与えられ、$ \arcsin $、対数関数、多項式項を含む閉形式の式である。
• 外接円半径 $ r $ の正三角形における2点間の期待距離は $ \mathrm{E}[t] = \frac{\sqrt{3}}{20} r (4 + 3\ln 3) $ であり、[15, p.49] に記載された既知の結果と一致する。
• 辺の長さが $ a $ の三角形における期待距離は $ \mathrm{E}[t] = \frac{a}{20} (4 + 3\ln 3) $ であり、先行研究と一貫性を示している。
• この手法により、正多角形における距離分布について正確な解析的表現が得られ、図版に示された $ \mathcal{P}_{7,1} $、$ \mathcal{P}_{8,1} $、$ \mathcal{P}_{10,1} $ に対しても同様に成立する。
• 関連研究で示されたように、わずかな調整で不規則または非凸多角形へも一般化可能である。