[論文レビュー] Sylvester's question and the Random Acceleration Process

H. J. Hilhorst, Pierre Calka+1 more|arXiv (Cornell University)|Jul 25, 2008

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

ひとこと要約

本稿は、単位円板内のランダムな凸多角形に関するシルベスターの問題と、ランダム加速度過程（RAP）の間の関係を確立し、極座標角でパrameter化された多角形の径方向境界が、ガウスノイズ f(φ) を伴って d²r/dφ² = f(φ) を満たすことを示している。主な結果は、n 個のランダムな点が凸 n 辺形を形成する確率 pn の新たな漸近展開であり、log pn = −2n log n + n log(2π²e²) − 2ǫ₀(3π⁴n)¹/⁵ + ... である。ここで n¹/⁵ 項は非解析的であり、多角形の辺が円板境界に近接するための幾何的要因に起因し、RAP固有値解析によって裏付けられている。

ABSTRACT

Let n points be chosen randomly and independently in the unit disk. "Sylvester's question" concerns the probability p_n that they are the vertices of a convex n-sided polygon. Here we establish the link with another problem. We show that for large n this polygon, when suitably parametrized by a function r(phi) of the polar angle phi, satisfies the equation of the random acceleration process (RAP), d^2 r/d phi^2 = f(phi), where f is Gaussian noise. On the basis of this relation we derive the asymptotic expansion log p_n = -2n log n + n log(2 pi^2 e^2) - c_0 n^{1/5} + ..., of which the first two terms agree with a rigorous result due to Barany. The nonanalyticity in n of the third term is a new result. The value 1/5 of the exponent follows from recent work on the RAP due to Gyorgyi et al. [Phys. Rev. E 75, 021123 (2007)]. We show that the n-sided polygon is effectively contained in an annulus of width \sim n^{-4/5} along the edge of the disk. The distance delta_n of closest approach to the edge is exponentially distributed with average 1/(2n).

研究の動機と目的

• 単位円板内の n 個のランダムな点が凸 n 辺形を形成する確率 pn の漸近的挙動を導出すること。
• 凸包の径方向境界とランダム加速度過程（RAP）との関係を確立すること。
• log pn の漸近展開に現れる非解析的 n¹/⁵ 補正項の起源を説明すること。
• 凸包から円板境界までの距離の統計的性質、特にその分布とスケーリングを分析すること。

提案手法

• 円板内に存在する n 個のランダムな点の径方向座標を極座標とスケーリングを用いて関数 r(φ) に変換し、n → ∞ の連続極限を得る。
• 径方向関数 r(φ) が RAP 方程式 d²r/dφ² = f(φ) を満たすことを導出する。ここで f(φ) は、⟨f(φ)f(φ′)⟩₀ = (3/2)(2πδ(φ−φ′) − 1) を満たすガウス白色ノイズである。
• log pn の漸近展開における剰余項 Rn を、RAP 方程式のゼロ積分・2π周期的解に関する、期待値 ⟨exp[−2n¹/² max₀≤φ≤2π r(φ)]⟩₀ の形で表現する。
• Györgyi ら（2007）の最新の RAP 結果を応用し、主要補正項を計算し、最小固有値 ǫ₀ に基づいて指数 1/5 を同定する。
• 最急降下法とフーリエ解析を用いて r(φ) の最大値を評価し、期待値 ⟨exp[−2n¹/² max r(φ)]⟩₀ の漸近的推定値を導出する。
• 円板縁からの最近接距離の正確な境界を導出し、n が大きい極限において指数分布に従い、平均が (2n)⁻¹ であることを示す。

実験結果

リサーチクエスチョン

• RQ1 単位円板内の n 個のランダムな点が凸 n 辺形を形成する確率 pn の漸近的挙動は何か？
• RQ2 単位円板内の n 個のランダムな点の凸包の径方向境界は、ランダム加速度過程とどのように関係しているか？
• RQ3 log pn の漸近展開に非解析的 n¹/⁵ 補正項が現れる理由は何か？また、そのような項が現れる幾何的条件は何か？
• RQ4 凸包から円板境界までの距離の統計的分布は何か？
• RQ5 ドメインの幾何（例えば、円板と三角形や正方形）は、漸近展開における n¹/⁵ 項の有無にどのように影響するか？

主な発見

• 単位円板内の n 個のランダムな点に対する log pn の漸近展開は、log pn = −2n log n + n log(2π²e²) − 2ǫ₀(3π⁴n)¹/⁵ + ... であり、n¹/⁵ 項は非解析的補正として新しく発見されたものである。
• n¹/⁵ 項は、凸包の極限曲線 ∂K′_max が領域境界 ∂K に非ゼロの角度区間で接触する場合に生じる。これは円板では成立するが、三角形や正方形では成立しない。
• 凸包は実質的に円板縁に沿って幅 ∼n⁻⁴/⁵ のアニュラス内に閉じ込められ、n が大きい場合には多角形が境界に近接して存在する。
• 円板縁からの最近接距離は、n が大きい極限において指数分布に従い、平均が (2n)⁻¹ である。
• 展開における剰余項 Rn は n に関して非解析的であり、固有値 ǫ₀ の存在を仮定せずに、r(φ) の最大値に関する境界を用いて、これを厳密に確立した。
• 補正項における指数 1/5 は、RAP のスペクトル的性質、特にこの過程に関連する線形固有値問題の最小固有値 ǫ₀ から導出されたものである。