[論文レビュー] Euler-Frobenius numbers and rounding

Svante Janson|arXiv (Cornell University)|May 15, 2013

Mathematical functions and polynomials被引用数 9

ひとこと要約

本稿は、Euler–Frobenius数と独立同一分布の一様乱数変数の和の丸めの間に接続を確立し、Sₙがn個のi.i.d. U[0,1]変数の和であるとき、⌊Sₙ + ρ⌋の分布がEuler–Frobenius分布𝔈ₙ,₁₋ᵣに従うことを示している。主な結果は定理1.2であり、確率母関数を介してこの丸めプロセスと正規化されたEuler–Frobenius数を結びつけ、スプライン理論および組合せ論との深い関係を明らかにしている。

ABSTRACT

We study the Euler-Frobenius numbers, a generalization of the Eulerian numbers, and the probability distribution obtained by normalizing them. This distribution can be obtained by rounding a sum of independent uniform random variables; this is more or less implicit in various results and we try to explain this and various connections to other areas of mathematics, such as spline theory. The mean, variance and (some) higher cumulants of the distribution are calculated. Asymptotic results are given. We include a couple of applications to rounding errors and election methods.

研究の動機と目的

• Euler–Frobenius数の確率的起源を明確化し、それらがi.i.d. [0,1]一様乱数変数の和の丸めから生じることを示す。
• ⌊Sₙ + ρ⌋の分布とEuler–Frobenius分布𝔈ₙ,₁₋ᵣとの間の関係を、ρ ∈ [0,1]に対して形式的かつ証明的に確立する。
• この関係がスプライン理論に与える影響を検討し、Bスプラインおよび指数スプラインを含む補間問題における役割を明らかにする。
• Euler–Frobenius分布の平均、分散、および高次積モーメントを計算・分析し、漸近的近似を提供する。
• 丸め誤差解析および選挙制度における配分法への応用を示す。

提案手法

• 本稿は、再帰的公式(1.4)を用いてEuler–Frobenius数Aₙ,ₖ,ᵣを定義し、ρ ∈ [0,1]に対して非負性を確立することで、確率分布への正規化を可能にする。
• P(𝔈ₙ,ᵣ = k) = Aₙ,ₖ,ᵣ / n! で定義される確率変数𝔈ₙ,ᵣを導入し、その確率母関数をPₙ,ᵣ(x)/n! として導出する。
• 主な証明技法として、Sₙ = ∑Uᵢ かつ Uᵢ ∼ U[0,1] であるとき、⌊Sₙ + ρ⌋の分布が生成関数およびEuler–Frobenius多項式の性質を用いてEuler–Frobenius分布𝔈ₙ,₁₋ᵣと一致することを示す。
• Bスプラインfₙ(x)（Sₙの密度関数）を、x ∈ [0,1] に対して fₙ(x) = (1/n!) ∑ₖ Aₙ,ₖ,ₓ という恒等式でEuler–Frobenius数と結びつけ、スプライン基底関数と関連付ける。
• 補間問題を分析するため、指数スプラインΦₙ(x;t) = ∑ₖ tᵏ fₙ₊₁(x−k) を導入し、Pₙ,₁₋ᵣ(t) の根が補間条件の核空間を特定することを示す。
• 生成関数技法およびEulerian型数の既知の漸近展開を用いて、分布のモーメントの漸近的解析を実施する。

実験結果

リサーチクエスチョン

• RQ1 ρ ∈ [0,1] のとき、⌊Sₙ + ρ⌋の分布はEuler–Frobenius数とどのように関係しているか？
• RQ2 Euler–Frobenius多項式と一様乱数変数の和の確率母関数との間の明確な関係は何か？
• RQ3 Euler–Frobenius数は、特にBスプラインおよび指数スプラインの構築において、どのように自然に現れるか？
• RQ4 Euler–Frobenius分布のモーメントおよび漸近的挙動は何か？また、パrameter ρにどのように依存するか？
• RQ5 Euler–Frobenius分布は、丸め誤差のモデル化および選挙制度における配分法にどのように応用できるか？

主な発見

• 定理1.2により、i.i.d. U[0,1] 変数U₁,…,Uₙ に対して、⌊Sₙ + ρ⌋の分布が正確にEuler–Frobenius分布𝔈ₙ,₁₋ᵣ に従い、P(⌊Sₙ + ρ⌋ = k) = Aₙ,ₖ,₁₋ᵣ / n! であることが示された。
• Euler–Frobenius分布𝔈ₙ,ᵣ の平均は (n+1)ρ であり、分散は nρ(1−ρ)/3 である。これは生成関数およびモーメント計算から導出された。
• n個のi.i.d. U[0,1] 変数の和Sₙの分布はBスプラインfₙ(x)で与えられ、x ∈ [0,1] に対して fₙ(x) = (1/n!) ∑ₖ Aₙ,ₖ,ₓ と表される。これにより、Euler–Frobenius数とスプライン密度関数との関係が明確にされた。
• 指数スプラインΦₙ(x;t) は、Φₙ(x;t) = (1/n!) Pₙ,₁₋ₓ(t⁻¹) とEuler–Frobenius多項式を用いて表現可能であることが示され、パrameter化における双対性が明らかになった。
• Pₙ,₁₋ᵣ(t) の根は実数であり負であり、補間問題 g(k+λ) = 0 の核空間をなす基底を形成する。これにより、スプライン補間におけるその役割が説明された。
• 漸近的解析により、n → ∞ のとき、Euler–Frobenius分布は正規分布に収束することが示された。平均は (n+1)ρ、分散は nρ(1−ρ)/3 であり、中心極限定理と整合的である。