[論文レビュー] The Poisson binomial distribution -- Old & New

Wenpin Tang, Fengmin Tang|arXiv (Cornell University)|Aug 27, 2019

Advanced Combinatorial Mathematics参考文献 92被引用数 8

ひとこと要約

本稿は、ポアソン二項分布に関する包括的なサーベイを提供し、古くからの結果と、分布学習、多項式幾何、最適輸送分野における最近の進展を統合している。強レイリー分布によるスケーリングされたポアソン二項分布変数の近似精度は最大で2/3に達し、正確な境界は試行回数と係数制約に依存する。

ABSTRACT

This is an expository article on the Poisson binomial distribution. We review lesser known results and recent progress on this topic, including geometry of polynomials and distribution learning. We also provide examples to illustrate the use of the Poisson binomial machinery. Some open questions of approximating rational fractions of the Poisson binomial are presented.

研究の動機と目的

• 確率、統計、組合せ論の分野におけるポアソン二項分布に関する散在する文献を統合すること。
• 分布学習、確率的順序、多項式の根の性質に関する最近の発展を提示すること。
• 強レイリー分布を用いたポアソン二項分布変数の有理関数の近似精度を調査すること。
• 最適輸送を用いた最適近似を構築する際の計算的および幾何的制約を探索すること。

提案手法

• 非同一な成功確率を持つ独立なベルヌーイ試行の和の分布を特徴付けるために、確率生成関数（PGF）を用いる。
• 強レイリー分布の根の条件を分析するために、非負係数をもつ多項式の理論を適用する。
• スケーリングされたポアソン二項分布変数と目的分布との間のワサーティンシュタイン距離を束縛するために最適輸送を用いる。
• 立方・四次多項式の判別式解析を用いて、PGFがすべて実根をもつための必要十分条件を導出する。
• スケーリングされたポアソン二項分布変数から目的の強レイリー分布への質量再配分をモデル化するために、輸送計画を用いる。
• ホーフィングの不等式と凸順序理論を用いて、平均が固定された条件下でポアソン二項分布と二項分布を比較する。

実験結果

リサーチクエスチョン

• RQ1 スケーリングされたポアソン二項分布変数を強レイリー分布で近似する際、達成可能な最大の精度は何か？
• RQ2 試行回数と係数制約は、近似分布のための実根をもつPGFの存在にどのように影響するか？
• RQ3 有理関数としてのポアソン二項分布変数が、別のポアソン二項分布で正確に近似可能となる条件は何か？
• RQ4 ワサーティンシュタイン距離は、強レイリークラスにおける最適近似の構築にどのように制約をもたらすか？
• RQ5 多項式の根の幾何が、ポアソン二項分布近似の最適輸送計画の実現可能性に果たす役割は何か？

主な発見

• $ n=2 $ の場合、近似精度 $ \operatorname{Acc}(2X/3) = 1/3 $ であり、これは2点分布への質量移動によって達成される。
• $ n=3 $ の場合、近似精度 $ \operatorname{Acc}(2X/3) = 1/3 $ であり、2つの異なる実根をもつPGFが存在する。
• $ n=4 $ の場合、近似精度 $ \operatorname{Acc}(2X/3) = 2/3 $ であり、ワサーティンシュタイン束縛を満たす複数の強レイリー分布が存在する。
• $ n=5 $ の場合、任意の強レイリー分布 $ Y $ に対して $ \mathcal{W}_{\infty}(2X/3,Y) \neq 1/3 $ であるが、$ \operatorname{Acc}(2X/3) = 2/3 $ は、ヒューストン・カーツ条件を満たす係数をもつPGFを用いて達成可能である。
• $ n=6 $ の場合、$ \frac{2}{3}\operatorname{Bin}(6,1/2) $ から $ \operatorname{Bin}(4,1/2) $ への輸送計画により $ \operatorname{Acc}(2X/3) = 2/3 $ が得られ、PGFは $ \frac{1}{16}(1+x)^4 $ である。
• 近似のための実根をもつPGFの存在は、判別式条件に依存する：立方PGFでは $ \Delta \geq 0 $ が必要であり、四次PGFではより複雑だが解析可能な条件が存在する。