[論文レビュー] Random Distances Associated with Arbitrary Triangles: A Systematic Approach between Two Random Points

Fei Tong, Maryam Ahmadi+1 more|arXiv (Cornell University)|Nov 29, 2013

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

ひとこと要約

本稿では、弦長分布（CLD）および隣接三角形に対する分解・再帰的手法を用いて、任意の三角形内に一様に分布する2点間の距離の確率密度関数（PDF）および累積分布関数（CDF）を体系的に導出する手法を提示する。主な貢献は、特定の特殊ケースにおけるPDFおよびCDFの正確な解析的表現である。具体的には、鋭角がπ/6である2つの合同な二等辺三角形が平行四辺形または凹四角形を形成する場合であり、シミュレーションによる高い精度での検証が行われている。

ABSTRACT

It has been known that the distribution of the random distances between two uniformly distributed points within a convex polygon can be obtained based on its chord length distribution (CLD). In this report, we first verify the existing known CLD for arbitrary triangles, and then derive and verify the distance distribution between two uniformly distributed points within an arbitrary triangle by simulation. Furthermore, a decomposition and recursion approach is applied to obtain the random point distance distribution between two arbitrary triangles sharing a side. As a case study, the explicit distribution functions are derived when two congruent isosceles triangles with the acute angle equal to $\fracπ{6}$ form a rhombus or a concave 4-gon.

研究の動機と目的

• 任意の三角形内に一様に分布する2点間の距離分布を、弦長分布（CLD）を用いて体系的に導出すること。
• 共通辺を共有する2つの隣接三角形にそれぞれ独立に一様に分布する2点間の距離分布を計算するフレームワークを拡張すること。
• 鋭角がπ/6である2つの合同な二等辺三角形が、平行四辺形または凹四角形を形成する特別な場合におけるPDFおよびCDFの明示的解析的表現を提供すること。
• 10,000組の点ペアを用いたモンテカルロシミュレーションにより、導出された解析的結果を検証すること。

提案手法

• 解析幾何学に基づき、最大角および最小辺とその対応する高さの関係に応じて分類された、任意の三角形における弦長分布（CLD）を導出する。
• 既知の変換を適用する：点間距離のPDF $ g(d) $ は、CLD $ F(l) $ を用いて積分式 $ g(d) = \frac{2ud}{\tilde{A}^2} \int_d^a (l-d)f(l)\,dl $ により計算される。
• 2つの隣接三角形の距離分布を計算するために、分解と再帰戦略を用いる。2つの三角形の和集合が形成する凸四角形または凹四角形の構成に応じて区別する。
• 単位長の合同な二等辺三角形（角度 $ \alpha = 120^\circ, \beta = \gamma = 30^\circ $）が凹四角形を形成する場合の、PDF $ g^{c}_{2T}(d) $ およびCDF $ G^{c}_{2T}(d) $ の明示的な区分的解析的表現を導出する。
• Empirical distance distribution と analytical な分布を関連付けるために、ハイブリッドモデル：$ g_{ET}(d) = \frac{1}{3}g_T(d) + \frac{2}{3}g^{c}_{2T}(d) $ を用い、$ g^{c}_{2T}(d) $ を逆算可能にする。
• 各構成において10,000組のランダム点ペアからのシミュレーションデータと、解析的PDFおよびCDFを比較することで結果を検証し、良好な一致を示した。

実験結果

リサーチクエスチョン

• RQ1 任意の三角形内に一様に分布する2点間の距離の正確な解析的形としてのPDFおよびCDFは何か？
• RQ2 共通辺を共有する2つの隣接三角形にそれぞれ独立に一様に分布する2点間の距離分布は、どのように拡張できるか？
• RQ3 鋭角が $ \pi/6 $ である2つの合同な二等辺三角形が凹四角形を形成する場合の距離分布の閉形式表現は何か？
• RQ4 モンテカルロシミュレーションと比較した場合、導出された解析的表現の正確さはどの程度か？

主な発見

• 本稿では、角度が $ 120^\circ, 30^\circ, 30^\circ $ の2つの合同な二等辺三角形が凹四角形を形成する場合の、2つの隣接する合同な二等辺三角形内にランダムに分布する2点間の距離のPDF $ g^{c}_{2T}(d) $ について、区間 $ 0 \leq d \leq 1 $ で有効な区分的解析的表現を導出した。
• CDF $ G^{c}_{2T}(d) $ は閉形式で導出され、4つの区間 $ [0, \sqrt{3}/6] $、$ [\sqrt{3}/6, \sqrt{3}/3] $、$ [\sqrt{3}/3, \sqrt{3}/2] $、および $ [\sqrt{3}/2, 1] $ で異なる式を有し、$ d=1 $ で最終値が1となる。
• 凹四角形構成における解析的PDFおよびCDFは、図14および15に示すように、シミュレーション結果と非常に良好に一致しており、高い正確性が確認された。
• 導出された $ g^{c}_{2T}(d) $ および $ G^{c}_{2T}(d) $ の式は、逆三角関数および平方根を含み、凹形状の幾何的複雑性を反映している。
• 分解と再帰を用いることで、単一三角形の距離分布から隣接する三角形ペアへの一般化に成功し、非凸多角形領域の解析的取り扱いが可能になった。
• 先行研究のCLD式は、シミュレーションにより検証され、任意の三角形に対して有効であることが確認された。