
確率論、統計学、および関連分野において、ポアソン点過程(ポアソンランダム測度、ポアソンランダム点場、ポアソン点場とも呼ばれる)は、数学的空間上にランダムに配置された点から構成される数学的対象の一種であり、その本質的な特徴は、点が互いに独立して発生することである。 [ 1 ] この過程の名前は、任意の有限領域内の点の数がポアソン分布に従うという事実に由来する。この過程と分布は、フランスの数学者シメオン・ドニ・ポアソンにちなんで名付けられた。この過程自体は、放射性崩壊の実験、電話の着信、保険数理学など、いくつかの場面で独立して繰り返し発見された。[ 2 ] [ 3 ]
この点過程は、天文学[ 4 ]、生物学[ 5 ] 、生態学[6] 、地質学[ 7 ] 、地震学[ 8 ]、物理学[ 9 ]、経済学[ 10 ]、画像処理 [ 11 ] [ 12 ]、電気通信[ 13 ] [ 14 ]など、多くの分野における一見ランダムな過程の数学的モデルとして使用されています。
ポアソン点過程は、実数直線上で定義されることが多く、確率過程として見なすことができます。例えば、待ち行列理論[ 15 ]では、店舗への顧客の到着、電話交換機への電話、地震の発生など、時間的に分布するランダムな事象をモデル化するために使用されます。平面上では、空間ポアソン過程[ 16 ]としても知られる点過程は、無線ネットワークの送信機[ 13 ] [ 17 ] [ 18 ] [ 19 ] 、粒子検出器に衝突する粒子、森林の木[20]などの散乱物体の位置を表すことができます。この過程は、空間点過程[ 21 ] 、確率幾何学[ 1 ]、空間統計[ 21 ] [ 22 ] 、連続体パーコレーション理論[ 23 ]など、数学モデルや関連分野で広く使用されています。
点過程は単一の数学的対象に依存し、その対象は文脈に応じて定数、局所的に積分可能な関数、またはより一般的な設定ではラドン測度となる。[ 24 ]最初のケースでは、レートまたは強度として知られる定数は、空間のある領域に位置するポアソン過程の点の平均密度である。結果として得られる点過程は、均質 または定常ポアソン点過程と呼ばれる。[ 25 ] 2番目のケースでは、点過程は不均質または非均質ポアソン点過程と呼ばれ、点の平均密度はポアソン点過程の基礎となる空間の位置に依存する。[ 26 ]「点」という言葉はしばしば省略されるが、[ 27 ]点の代わりに線や多角形などのより複雑な数学的対象で構成される他のポアソン過程も存在し、そのような過程はポアソン点過程に基づいている。[ 28 ]均質および非均質ポアソン点過程は、一般化再生過程の特殊なケースである。
設定によっては、このプロセスにはいくつかの同等の定義[ 29 ]と、その多くの応用と特徴付けによるさまざまな一般性を持つ定義[ 30 ]があります。ポアソン点プロセスは、たとえば実数直線上の1次元で定義、研究、使用することができ、そこでは計数プロセスまたは待ち行列モデルの一部として解釈できます[ 31 ] [ 32 ] 。確率幾何学[ 1 ]や空間統計で役割を果たす平面などの高次元[ 33 ]、またはより一般的な数学的空間[34]でも定義、研究、使用できます。したがって、ポアソン点プロセスおよび一般的な点プロセスを定義および研究するために使用される表記法、用語、および数学的厳密性のレベルは、文脈に応じて異なります[ 35 ] 。
こうしたことにもかかわらず、ポアソン点過程には、ポアソン特性と独立性という2つの重要な特性があり、ポアソン点過程が使用されるすべての設定において不可欠な役割を果たします。[ 24 ] [ 36 ]この2つの特性は論理的に独立しているわけではありません。実際、点数のポアソン分布は独立性を意味しますが[ a ] 、その逆の方向には、(i)点過程が単純であること、(ii)固定原子を持たないこと、(iii)有限であることという仮定が必要です。[ 37 ]
ポアソン点過程はポアソン分布によって特徴づけられる。ポアソン分布は確率変数の確率分布である。(ポアソン確率変数と呼ばれる)確率が等しい次のように与えられます。
どこ階乗を表し、パラメータは分布の形状を決定します。(実際には、期待値に等しい)
定義上、ポアソン点過程は、その過程の基礎となる空間の有界領域内の点の数がポアソン分布に従う確率変数であるという性質を持つ。[ 36 ]
基となる空間の、互いに素で境界のある部分領域の集合を考えます。定義により、各境界のある部分領域におけるポアソン点過程の点の数は、他のすべての部分領域とは完全に独立しています。
この性質は、完全ランダム性、 完全独立性[ 38 ]、独立散乱[ 39 ] [ 40 ]など、いくつかの名前で知られており、すべてのポアソン点過程に共通しています。言い換えれば、異なる領域と点の間には相互作用がなく、一般的に[ 41 ] 、これがポアソン過程が純粋または完全にランダムな過程と呼ばれる理由です。[ 38 ]
ポアソン点過程のパラメータが次の形式である場合、 どこはルベーグ測度(つまり、集合に長さ、面積、または体積を割り当てる)であり、が定数である場合、その点過程は均質または定常ポアソン点過程と呼ばれます。 パラメータは、レートまたは強度と呼ばれ、ある有界領域に存在するポアソン点の期待値(または平均値)に関連しています。[ 42 ] [ 43 ]ここで、レートは通常、基礎となる空間が1次元の場合に使用されます。[ 42 ]パラメータは、基礎となる数学的空間に応じて、長さ、面積、体積、時間などの単位あたりの平均点数として解釈することができ、平均密度または平均率とも呼ばれます。[ 44 ]用語を参照。
正の半直線上で考えると、均質ポアソン点過程は、確率過程の一種である計数過程として定義でき、次のように表すことができる。[ 29 ] [ 32 ]カウントプロセスは、時刻までに発生した出来事またはイベントの総数を表します。計数過程は、レートが均一なポアソン計数過程である。以下の3つの特性を持つ場合:[ 29 ] [ 32 ]
最後の性質は以下を意味する。
言い換えれば、確率変数の確率は等しい次のように与えられます。
ポアソン計数過程は、計数過程の事象間の時間差が平均 の指数変数であると述べることによっても定義できます。[ 45 ] イベントまたは到着間の時間差は、 到着間隔[ 46 ]または発生間隔時間として知られています。[ 45 ]
点過程として解釈すると、ポアソン点過程は、区間内の過程の点の数を考慮することで実数直線上で定義できる。パラメータを持つ実数直線上の同次ポアソン点過程の場合このランダムな数の点の確率は、ここで次のように表されます。ある自然数に等しいは次のように与えられる:[ 47 ]
ある正の整数に対して均質ポアソン点過程は、次の有限次元分布を持つ:[ 47 ]
実際の数字は。
言い換えると、は平均がポアソン分布に従う確率変数である。、 どこさらに、例えば、互いに素な2つの区間内の点の数、そしてこれらは互いに独立しており、これは任意の有限個の互いに素な区間にまで及ぶ。[ 47 ]待ち行列理論の文脈では、ある点が(区間内に)存在することをイベントと考えることができるが、これは確率論におけるイベントという言葉とは異なる。 [ b ] したがって、は単位時間あたりに発生する到着数の期待値です。 [ 32 ]
前述の定義には、ポアソン点過程全般に共通する2つの重要な特徴があります。[ 47 ] [ 24 ]
さらに、均質なポアソン点過程のみに関連する3つ目の特徴があります。[ 48 ]
言い換えれば、任意の有限確率変数独立しているそのため、定常ポアソン過程とも呼ばれる。[ 47 ]
数量区間内に発生する点の期待値または平均値として解釈できます。すなわち:
どこは期待値演算子を表します。言い換えれば、パラメータはポアソン過程の は点の密度と一致する。さらに、均質ポアソン点過程は、(強い)大数の法則の独自の形式に従う。[ 49 ]より具体的には、確率1で:
どこは関数の極限を表し、これは、単位時間あたりに発生する到着者数の予測値です。
実数直線上の点過程の連続する2点間の距離は、パラメータを持つ指数分布に従う確率変数となる。(または同等に、平均これは、点が無記憶性を持つことを意味します。つまり、有限区間に1つの点が存在しても、他の点が存在する確率(分布)には影響しません。[ 50 ] [ 51 ]しかし、ポアソン過程が高次元の空間で定義されている場合、この性質は自然な等価性を持ちません。[ 52 ]
定常増分を持つ点過程は、次のような場合に秩序だった[ 53 ]または正則であると言われることがある。[ 54 ]
ここで、小文字の o 表記が使用されています。点過程は、基礎となる空間上の同じ位置でその 2 つの点が一致する確率がゼロである場合、単純点過程と呼ばれます。一般に実数直線上の点過程の場合、秩序性の性質は、その過程が単純であることを意味します[ 55 ]。これは、同次ポアソン点過程の場合です。[ 56 ]
実数直線上では、同次ポアソン点過程は、次の特徴付けによってマルチンゲール理論と関連している。点過程が同次ポアソン点過程であるのは、次の場合に限る。
実数直線上では、ポアソン過程は、出生過程として知られる連続時間マルコフ過程の一種であり、出生死過程(出生のみで死亡なし)の特殊なケースである。[ 59 ] [ 60 ]マルコフ到着過程など、マルコフ特性を持つより複雑な過程が定義されており、ポアソン過程はその特殊なケースである。[ 45 ]
均質ポアソン過程を半直線上でのみ考慮するとこれは次のような場合に起こり得ますが時間を表す場合[ 29 ]、結果として得られるプロセスは、並進に対して真に不変ではありません。[ 52 ]この場合、ポアソンプロセスは、定常性の定義によってはもはや定常ではありません。[ 25 ]
実数直線上の同次ポアソン過程は、一見ランダムで独立した事象の発生をモデル化するために数多く応用されてきた。これは、特定の現象のランダムな到着と出発を表す適切な確率モデルを開発する確率場である待ち行列理論において基本的な役割を果たしている。 [ 15 ] [ 45 ]例えば、顧客の到着とサービス、または電話交換機への電話の着信は、待ち行列理論の手法を用いて研究することができる。
実数直線上の同次ポアソン過程は、点の乱数を数えるための最も単純な確率過程の 1 つと考えられています。[ 61 ] [ 62 ]この過程は、さまざまな方法で一般化できます。考えられる一般化の 1 つは、到着間隔時間の分布を指数分布から他の分布に拡張することであり、これにより再生過程として知られる確率過程が導入されます。もう 1 つの一般化は、平面などの高次元空間でポアソン点過程を定義することです。[ 63 ]
空間 ポアソン過程は、平面上で定義されたポアソン点過程である。[ 57 ] [ 64 ]数学的な定義では、まず有界な開領域または閉領域(より正確にはボレル可測領域)を考える。平面の。点過程の点の数この地域に存在するは確率変数であり、 で表される。点がパラメータを持つ均質なポアソン過程に属する場合すると、存在するポイント次のように与えられます。
どこの領域を表します。
ある有限整数に対してまず、互いに素な有界ボレル(可測)集合の集合を考えることで、同次ポアソン点過程の有限次元分布を与えることができる。点過程の点の数 存在する次のように書くことができますパラメータを持つ同次ポアソン点過程有限次元分布を持つ:[ 65 ]

空間ポアソン点過程は、空間統計学[ 21 ] [ 22 ] 、確率幾何学、連続体パーコレーション理論[ 23 ]において重要な位置を占めています。この点過程は、アルファ粒子の検出のために開発されたモデルなど、さまざまな物理科学に応用されています。近年では、特定の無線通信ネットワークの無秩序に見える空間構成をモデル化するために頻繁に使用されています[ 17 ] [ 18 ] [ 19 ]。たとえば、携帯電話ネットワークのモデルでは、基地局として知られる電話ネットワーク送信機が均質なポアソン点過程に従って配置されていると仮定されています。
前述の均質ポアソン点過程は、面積の概念を(高次元の)体積に置き換えることで、直ちに高次元に拡張されます。ある有界領域に対してユークリッド空間の点がパラメータを持つ均質なポアソン過程を形成する場合すると、存在するポイント次のように与えられます。
どこ今は次元体積さらに、互いに素な有界ボレル集合の集合については、、 させて点の数を表す存在するすると、対応する同次ポアソン点過程はパラメータを持つ有限次元分布を持つ:[ 67 ]
同次ポアソン点過程は、そのパラメータを介して基礎となる空間の位置に依存しない。これは、それが定常過程(並進不変)かつ等方性(回転不変)確率過程であることを意味する。[ 25 ] 1次元の場合と同様に、同次点過程は、ある有界部分集合に制限される。すると、定常性の定義によっては、そのプロセスはもはや定常ではなくなる。[ 25 ] [ 52 ]
同次点過程が実数直線上で何らかの現象の発生を表す数学モデルとして定義される場合、実数直線上(多くの場合、時間として解釈される)におけるこれらの発生または事象の位置は一様に分布するという特徴を持つ。より具体的には、ある事象が(この過程に従って)ある区間内で発生する場合、どこ、その位置は、その区間上で定義された一様乱数になります。[ 65 ]さらに、均質点過程は、一様ポアソン点過程と呼ばれることもあります(用語を参照)。この一様性は、デカルト座標では高次元にまで拡張されますが、例えば極座標では拡張されません。[ 68 ] [ 69 ]

不均質または非均質ポアソン点過程(用語を参照)は、ポアソン過程が定義されている基底空間における位置依存関数としてポアソンパラメータが設定されるポアソン点過程である。ユークリッド空間の場合これは、局所的に積分可能な正の関数を導入することによって実現される。、すべての有界領域に対してその(次元体積積分 地域全体は有限である。言い換えれば、この積分は、、は:[ 43 ]
どこは(次元体積要素、[ c ]の場合、互いに素な有界ボレル可測集合の任意の集合に対して、強度関数を持つ不均一ポアソン過程有限次元分布を持つ:[ 67 ]
さらに、これは、ポアソン過程において境界領域内に位置する点の期待値として解釈される。すなわち
実数直線上では、非均質または非均質ポアソン点過程の平均測度は、1次元積分で与えられる。2つの実数に対してそして、 どこ、と表記する強度関数を持つ不均一ポアソン過程の点の数区間内で発生する確率上記の区間に存在する点次のように与えられます。
ここで、平均値または強度尺度は、次のとおりです。
つまり、ランダム変数は平均がポアソン分布に従う確率変数である。。
1次元設定の特徴は、不均一なポアソン過程を単調変換またはマッピングによって均一なポアソン過程に変換できることであり、これは逆変換によって実現されます。[ 70 ] [ 71 ]
正の半直線上で考えると、不均一ポアソン点過程は計数過程として定義されることもあります。この解釈では、次のように記述されることもあります。は、時刻 まで(時刻 を含む)に発生した事象またはイベントの総数を表します。計数過程が次の 4 つの特性を持つ場合、その計数過程は不均一ポアソン計数過程であると言われます。[ 32 ] [ 72 ]
どこは漸近的または小文字表記で、として不応期を持つ点過程(例えば、神経スパイク列)の場合、特性4のより強いバージョンが適用されます。[ 73 ]。
上記の性質は、は、パラメータ(または平均)を持つポアソン確率変数です。
これはつまり
平面上で定義された不均一ポアソン過程 これは空間ポアソン過程と呼ばれます[ 16 ]。強度関数で定義され、その強度尺度は、ある領域で強度関数の表面積分を実行することによって得られます。[ 20 ] [ 74 ]たとえば、その強度関数(デカルト座標の関数として)そして) は
したがって、対応する強度尺度は表面積分によって与えられる。
どこ平面上の境界領域。
飛行機の中で、は面積分に対応し、積分は((次元)体積積分。
実数直線が時間として解釈される場合、不均質過程は計数過程や待ち行列理論の分野で使用されます。[ 72 ] [ 75 ]不均質ポアソン点過程によって表現される、または不均質ポアソン点過程として現れる現象の例には、次のものがあります。
平面上では、ポアソン点過程は確率幾何学[ 1 ] [ 33 ]や空間統計学[ 21 ] [ 22 ]といった関連分野で重要である。この点過程の強度尺度は基となる空間の位置に依存するため、ある領域で密度が変化する現象をモデル化するために使用できる。言い換えれば、現象は位置に依存する密度を持つ点として表現できる。[ 20 ]この過程はさまざまな分野で使用されており、海洋におけるサケやウミジラミの研究[ 78 ] 、 林業[ 6 ] 、探索問題[ 79 ]などの用途がある。
ポアソン強度関数体積要素による、直感的と考えられる解釈がある[ 20 ]極めて微小な意味で:は、ポアソン点過程の点が体積を持つ空間領域に存在する無限小の確率である。所在地[ 20 ]
例えば、実数直線上の均質なポアソン点過程が与えられた場合、幅の小さな区間内にその過程の単一点を見つける確率はおよそ実際、このような直観は、ポアソン点過程が導入され、その分布が導出される方法の一つである。[ 80 ] [ 41 ] [ 81 ]
ポアソン点過程の強度尺度が局所的に有限で拡散的(または非原子的)である場合、それは単純点過程である。単純点過程の場合、基礎となる(状態)空間内の単一の点または位置に存在する確率はゼロまたは1である。これは、ポアソン点過程の2つ(またはそれ以上)の点が基礎となる空間内で位置的に一致しない確率が1であることを意味する。[ 82 ] [ 18 ] [ 83 ]
コンピュータ上でポアソン点過程をシミュレートするには、通常、シミュレーションウィンドウと呼ばれる空間の境界領域内で実行され、2 つのステップが必要です。適切な数のランダムな点を生成し、次にそれらの点をランダムな方法で適切に配置することです。これら 2 つのステップは、シミュレートする特定のポアソン点過程に依存します。[ 84 ] [ 85 ]
ポイント数ここでは、ウィンドウ内で、ポアソン乱数をシミュレートできる(擬似)乱数生成関数を使用して、シミュレーションを行う必要があります。
定数の均質なケースの場合ポアソン確率変数の平均設定されていますどこ長さ、面積、または(次元体積。
不均一なケースでは、は ( に置き換えられます次元体積積分
第2段階では、ウィンドウ内のポイント。
一次元における均質なケースでは、すべての点がウィンドウまたは区間内に均一かつ独立して配置される。デカルト座標系における高次元の場合、各座標はウィンドウ内に均一かつ独立して配置される。ウィンドウがデカルト空間の部分空間でない場合(例えば、単位球の内部または単位球の表面上)、点は均一に配置されません。、適切な座標変換(デカルト座標系から)が必要となる。[ 84 ]
不均一なケースでは、強度関数の性質に応じていくつかの異なる方法を使用できます。[ 84 ]強度関数が十分に単純であれば、点の独立したランダムな非一様(デカルト座標またはその他)座標を生成できます。たとえば、等方性強度関数(極座標)の場合、円形ウィンドウ上のポアソン点過程をシミュレートできます。そして)は回転によって変化するか、または独立していることを意味する。しかし依存するのは変数変換により強度関数が十分に単純な場合。[ 84 ]
より複雑な強度関数については、比率に基づいて特定のランダムな点のみを使用(または「受け入れ」)し、他の点を使用しない(または「拒否」する)受容拒否法を使用することができます。[ 86 ]
どここれは、承認または却下の検討対象となる点です。
つまり、検討対象として場所が一様にランダムに選択され、次にその場所にサンプルを配置するかどうかを決定するために、一様にランダムに抽出された番号が確率密度関数と比較される確率密度関数よりも小さい場合は受け入れ、事前に選択した数のサンプルが抽出されるまでこれを繰り返す。
測度論では、ポアソン点過程は、ラドン測度を用いることで、一般ポアソン点過程[ 20 ] [ 87 ]または一般ポアソン過程[ 74 ]と呼ばれるものにさらに一般化することができる。これは局所的に有限な尺度である。一般に、このラドン尺度は原子的である可能性があり、これはポアソン点過程の複数の点が基礎となる空間の同じ場所に存在できることを意味します。この状況では、は平均がポアソン分布に従う確率変数である。[ 87 ]しかし、時には逆が想定されるため、ラドン測定拡散的または非原子的である。 [ 20 ]
点過程強度を持つ一般的なポアソン点過程である以下の2つの特性を持つ場合:[ 20 ]
ラドン測定期待されるポイント数であるという以前の解釈を維持する境界領域内に位置するすなわち
さらに、もしが絶対連続であり、ルベーグ測度に関して密度(ラドン・ニコディム密度または導関数)を持つならば、すべてのボレル集合に対して次のように書くことができます。
密度がこれは、強度関数などとも呼ばれる。
その名前にもかかわらず、ポアソン点過程は、その名の由来となった人物によって発見されたり研究されたりしたものではありません。これは、スティグラーの命名法則の例として挙げられています。[ 2 ] [ 3 ]この名前は、ポアソンが二項分布の極限として導出したポアソン分布との、この過程の本質的な関係に由来しています。[ 88 ]これは、合計の確率を記述します。確率を伴うベルヌーイ試行、しばしば、コイン投げ後の表(または裏)の数に例えられる。表(または裏)が出る確率が偏ったコイン投げ. ある正の定数に対して、 として無限大に向かって増加し、ゼロに向かって減少し、が固定されている場合、ポアソン分布は二項分布により近いものとなる。[ 89 ]
1841年、ポアソンは二項分布を極限で研究することにより、ポアソン分布を導出した。ゼロになり、無限大に発散する。この分布はポアソンの著作に一度だけ登場し、[ 90 ]当時はその結果はあまり知られていなかった。その後数年間、フィリップ・ルートヴィヒ・フォン・ザイデルやエルンスト・アッベなど、ポアソンを引用せずにこの分布を使用した者もいた。[ 91 ] [ 2 ] 19世紀末、ラディスラウス・ボルトキエヴィチはポアソンを引用し、プロイセン軍における馬の蹴りによる死亡者数の実データを用いて、この分布への関心を再び高めた。[ 88 ] [ 92 ]
ポアソン点過程の初期の使用や発見に関する主張は数多く存在する。[ 2 ] [ 3 ]例えば、ポアソンが生まれる10年前の1767年にジョン・ミッチェルは、星が「単なる偶然によって散らばっている」という誤った仮定の下で、ある星が別の星の特定の領域内にある確率に興味を持ち、ポアソン分布を導出することなく、プレアデス星団の6つの最も明るい星からなる例を研究した。この研究は、サイモン・ニューカムがこの問題を研究し、1860年に二項分布の近似としてポアソン分布を計算するきっかけとなった。[ 3 ]
20世紀初頭には、ポアソン過程(一次元)がさまざまな状況で独立して出現した。[ 2 ] [ 3 ] 1903年、スウェーデンのフィリップ・ルンドベリは、現在では基礎的かつ先駆的と考えられている研究を含む論文を発表し、その中で均質なポアソン過程を用いて保険金請求をモデル化することを提案した。[ 93 ] [ 94 ]
デンマーク のA.K.アーランは、 1909年に有限時間間隔における着信電話の数の数学的モデルを開発する際に、ポアソン分布を導出した。アーランはポアソンの以前の研究を知らず、各時間間隔に到着する電話の数は互いに独立していると仮定した。そして彼は極限ケースを発見し、それは実質的にポアソン分布を二項分布の極限として再定式化した。[ 2 ]
1910年、アーネスト・ラザフォードとハンス・ガイガーはアルファ粒子の計数に関する実験結果を発表した。彼らの実験的研究には、ハリー・ベイトマンによる数学的貢献があり、ベイトマンは一連の微分方程式の解としてポアソン確率を導出したが、その解はそれ以前に導出されており、ポアソン過程の独立した発見につながった。[ 2 ]この後、ポアソン過程の研究と応用が数多く行われたが、その初期の歴史は複雑で、生物学者、生態学者、エンジニア、さまざまな物理学者による多数の分野におけるこの過程のさまざまな応用によって説明されている。[ 2 ]
1909 年以降、ポアソン点過程の研究と応用が数多く行われたが、その初期の歴史は複雑で、生物学者、生態学者、エンジニア、物理科学に従事するその他の研究者による、この過程のさまざまな分野での応用によって説明されている。初期の結果はさまざまな言語と状況で発表され、標準的な用語と表記法は使用されていなかった。[ 2 ]例えば、1922 年にスウェーデンの化学者でノーベル賞受賞者のテオドール・スヴェドベリは、空間ポアソン点過程が植物群落における植物の分布を研究するための基礎となる過程であるというモデルを提案した。[ 95 ] 1930 年代初頭には多くの数学者がこの過程の研究を開始し、アンドレイ・コルモゴロフ、ウィリアム・フェラー、アレクサンドル・ヒンチンらが重要な貢献をした。[ 2 ] [ 96 ]テレトラフィック工学の分野では、数学者や統計学者がポアソン過程やその他の点過程を研究し、利用した。[ 97 ]
スウェーデン人のコニー・パームは、 1943年の博士論文で、ポアソン過程やその他の点過程を、時間点間の統計的または確率的依存性の観点から調べることで、一次元設定で研究した。 [ 98 ] [ 97 ]彼の研究には、点過程という用語がドイツ語でPunktprozesseとして記録された最初の例が存在する。[ 98 ] [ 3 ]
ウィリアム・フェラーが1940年の論文で初めてポアソン過程と呼んだと考えられている[ 2 ] 。スウェーデン人のオーヴェ・ルンドベリは1940年の博士論文でポアソン過程という用語を使用しており[ 3 ] 、フェラーが影響を与えたと認めている[ 99 ]が、フェラーが1940年以前にこの用語を造語したという主張もある[ 89 ]。フェラーとルンドベリの両方がこの用語をよく知られているかのように使用しており、当時すでに口語で使われていたことを示唆していると指摘されている。[ 3 ]フェラーは1936年から1939年までストックホルム大学でハラルド・クレーマーと共に研究を行った。ルンドベリはクレーマーの下で博士課程の学生だったが、1936年に完成した著書ではポアソン過程という用語を使用していなかったものの、その後の版では使用しており、このことからポアソン過程という用語は1936年から1939年の間にストックホルム大学で造語されたのではないかという憶測が生まれている。[ 3 ]
点過程理論の用語は一般的に多様すぎると批判されてきた。[ 3 ]点という言葉がしばしば省略されることに加えて、 [ 63 ] [ 27 ]同質ポアソン(点)過程は定常ポアソン(点)過程[ 47 ]や一様ポアソン(点)過程[ 42 ]とも呼ばれる。不同質ポアソン点過程は非同質[ 47 ]とも呼ばれ、非定常ポアソン過程[ 72 ] [ 100 ]とも呼ばれる。
点過程という用語は、時間と空間にわたる過程を示唆する可能性があるため批判されており、ランダム点場[ 101 ]という用語が使われ、ポアソンランダム点場 またはポアソン点場という用語も使用されています。[ 102 ]点過程はランダム計数尺度と考えられており、時にはそう呼ばれることもあります。[ 103 ]そのため、ポアソン点過程はポアソンランダム尺度とも呼ばれます。[ 104 ]レヴィ過程の研究で使用される用語ですが、[ 104 ] [ 105 ] 2つの異なる基礎空間で定義されたポアソン点過程に対して、2つの用語を使用することを選択する人もいます。[ 106 ]
ポアソン点過程の基礎となる数学的空間は 、キャリア空間[ 107 ] [ 108 ]または 状態空間と呼ばれますが、後者の用語は確率過程の文脈では異なる意味を持ちます。点過程の文脈では、「状態空間」という用語は、実数直線[ 109 ] [ 110 ]など、点過程が定義される空間を意味し、これは確率過程の用語ではインデックス集合[ 111 ]またはパラメータ集合[ 112 ]に対応します。
対策強度尺度[ 113 ] 、平均尺度[ 36 ]、またはパラメータ尺度[ 67 ]と呼ばれるが、 標準的な用語はない。[ 36 ]微分または密度を持ち、それはで表されます。これはポアソン点過程の強度関数と呼ばれます。 [ 20 ]同次ポアソン点過程の場合、強度尺度の導関数は単なる定数です。これは、通常、基礎となる空間が実数直線である場合は、レートまたは強度と呼ばれることがあります。[ 42 ]また、平均レートまたは平均密度[ 114 ]またはレート[ 32 ]とも呼ばれます 。対応するプロセスは、標準ポアソン(点)プロセスと呼ばれることもあります。[ 43 ] [ 57 ] [ 115 ]
ポアソン点過程の表記法は、その設定と適用される場によって異なります。たとえば、実数直線上では、ポアソン過程は、同次または非同次に関わらず、計数過程として解釈されることがあり、表記法は ポアソン過程を表すために用いられる。[ 29 ] [ 32 ]
表記法が異なるもう 1 つの理由は、いくつかの数学的解釈を持つ点過程の理論によるものです。たとえば、単純なポアソン点過程はランダム集合とみなすことができ、これは表記法を示唆しています。つまり、は、ポアソン点過程に属する、またはポアソン点過程の要素であるランダム点である。もう一つの、より一般的な解釈は、ポアソン過程やその他の点過程をランダムな計数尺度とみなすことであり、ポアソン点過程の点の数を次のように書くことができる。(ボレル測定可能な)ある領域で発見または位置しているとしてこれは確率変数である。これらの異なる解釈により、測度論や集合論などの数学分野の表記法が使用されることになる。[ 118 ]
一般的な点過程の場合、点記号に添え字が付くことがあります。、 が含まれるので、(集合記号を用いて) と書く。の代わりに、 そしてランダムな点を表す代わりに、キャンベルの定理などの積分式における境界変数に使用できます。 [ 18 ]大文字は点過程を表し、小文字は過程からの点を表す場合があり、たとえば、点または点過程に属する、または点過程の点である、集合記号で次のように表記される。または[ 110 ]
さらに、集合論と積分論または測度論の表記法は互換的に使用できます。たとえば、点過程の場合ユークリッド状態空間上で定義されるそして(測定可能な)関数の上表現
点過程に関する総和を記述する 2 つの異なる方法を示しています (キャンベルの定理 (確率)も参照)。より具体的には、左辺の積分表記は点過程をランダム計数尺度として解釈しているのに対し、右辺の総和はランダム集合の解釈を示唆しています。[ 118 ]
確率論では、さまざまな目的で確率変数に演算が適用されます。これらの演算は、確率変数の平均や分散を生成する通常の期待値である場合もあります。確率変数の特性関数(またはラプラス変換)などの他の演算は、確率変数を一意に識別または特徴付け、中心極限定理などの結果を証明するために使用できます。[ 119 ]点過程の理論には、モーメントと関数の代わりに、通常は測度と汎関数の形で存在する類似の数学的ツールがあります。[ 120 ] [ 121 ]
ポアソン点過程の場合強度測定付きある空間でラプラス汎関数は次のように与えられる。[ 18 ]
キャンベルの定理の一つのバージョンは、ポアソン点過程のラプラス汎関数を用いるものである。
非負整数値確率変数の確率母関数は、任意の非負有界関数に関して同様に定義される確率母関数につながる。の上そのため点過程の場合確率生成関数は次のように定義されます。[ 122 ]
製品は、すべてのポイントに対して実行されます。強度測定のが局所的に有限である場合、は、あらゆる測定可能な関数に対して明確に定義される。の上強度尺度を持つポアソン点過程の場合生成関数は次のように与えられる。
均質な場合、これは次のようになる。
強度尺度を持つ一般的なポアソン点過程の場合1次モーメント尺度は強度尺度である: [ 18 ] [ 19 ]
これは、一定の強度を持つ均質なポアソン点過程の場合である。手段:
どこは、長さ、面積、体積(またはより一般的にはルベーグ測度)である。。
メッケ方程式はポアソン点過程を特徴づける。すべての空間となる-ある一般的な空間上の有限測度点過程強烈にの上がポアソン点過程であるのは、すべての可測関数に対して が成り立つ場合かつその場合に限る。以下のことが成り立つ
詳細については、[ 123 ]を参照してください。
強度尺度を持つ一般的なポアソン点過程の場合のn 番目の階乗モーメント尺度は、次の式で与えられます。[ 124 ]
どこ強度尺度または一次モーメント尺度はこれは、あるボレル集合に対して、は
均質なポアソン点過程の場合、- 番目の階乗モーメント尺度は単純に次のようになります。[ 18 ] [ 19 ]
どこは、長さ、面積、体積(またはより一般的にはルベーグ測度)である。さらに、の階乗モーメント密度は:[ 124 ]
回避関数[ 69 ]または無効確率[ 118 ]点過程のある集合との関係において定義されるこれは、基礎となる空間の部分集合である。点がない確率として存在するより正確には、テストセットの場合[ 125 ]回避関数は次のように表される。
一般的なポアソン点過程の場合強度測定付きその回避関数は次のように表される。
単純点過程は、そのボイド確率によって完全に特徴付けられます。[ 126 ]言い換えれば、単純点過程の完全な情報は、そのボイド確率に完全に含まれており、2 つの単純点過程が同じボイド確率を持つのは、それらが同じ点過程である場合のみです。ポアソン過程の場合については、1 次元の同次点過程の場合の結果を発見したAlfred RényiにちなんでRényi の定理と呼ばれることがあります。[ 127 ]
ある形式[ 127 ]では、レニーの定理は、もし拡散(または非原子)ラドン測定そしては、上の局所的に有限な単純点過程である。任意の集合に対して有限個の長方形の和集合であることから、以下のことが成り立つ。
それから強度尺度を持つポアソン点過程である。
点過程に対して数学的演算を実行することで、新しい点過程を得たり、特定の物体の位置に関する新しい数学モデルを開発したりすることができます。演算の一例として、間引きと呼ばれるものがあります。これは、ある規則に従って点過程の点を削除または除去し、残りの点から新しい過程を作成するものです(削除された点も点過程を形成します)。[ 128 ]
ポアソン過程の場合、独立-間引き操作により、別のポアソン点過程が得られます。より具体的には、強度尺度を持つポアソン点過程に適用される間引き操作除去された点の点過程を与えるが、それはポアソン点過程でもある。強度測定付きこれは、有界ボレル集合の場合に当てはまります。次のように与えられます。
このポアソン点過程の間引きの結果は、プレコパの定理として知られることがある。[ 129 ]さらに、ポアソン点過程をランダムに間引きした後、残された点もまたポアソン点過程を形成し、その強度尺度は
除去された点と保持された点からそれぞれ形成される2つの独立したポアソン点過程は、互いに確率的に独立している。[ 128 ]言い換えれば、ある領域に(元のポアソン点過程から)点を保持した場合、これは同じ領域で削除される点のランダムな数には影響しません。 1 つのポアソン点過程から 2 つの独立したポアソン点過程をランダムに作成するこの能力は、ポアソン点過程の分割[ 130 ] [ 131 ]として知られています。
点過程の可算集合が存在する場合すると、それらの重ね合わせ、または集合論の言葉で言えばそれらの和集合は[ 132 ]
また、点過程も形成します。言い換えれば、点過程のいずれかに位置する点はすべてこれらの点過程の重ね合わせの中にも位置づけられるだろう。。
ポアソン点過程の重ね合わせ定理は、独立なポアソン点過程の重ね合わせが平均尺度また、平均測度[ 133 ] [ 89 ]のポアソン点過程にもなります。
言い換えれば、2つ(または可算個以上)のポアソン過程の和集合は、別のポアソン過程になります。数えられるものからサンプリングされるポアソン過程の和集合、そしてその点の確率に属するポアソン過程次のように与えられます。
強度を持つ 2 つの均質なポアソン過程の場合前述の2つの式は、
そして
各ポイントがクラスタリング操作を実行すると、ある点過程の元のプロセスが別の(場合によっては異なる)点プロセスに置き換えられます。ポアソン点過程である場合、結果として得られる過程はこれはポアソンクラスター点過程と呼ばれます。
数学モデルでは、点過程の点を基礎となる数学空間上の他の場所にランダムに移動させる必要がある場合があり、これにより変位[ 134 ]または並進[ 135 ]として知られる点過程操作が発生します。ポアソン点過程は、例えば、植物の世代間の移動をモデル化するために使用されてきました。これは、変位定理[ 134 ]により、ポアソン点過程の点のランダムな独立変位(同じ基礎空間上)が別のポアソン点過程を形成することを大まかに述べているためです。
変位定理[ 134 ]の1つのバージョンは、ポアソン点過程を含む。の上強度関数付き。次に、ランダムに別の場所に移動各点の変位は独立しており、以前は確率密度を持つランダムベクトル[ d ]次に新しい点過程強度関数を持つポアソン点過程でもある
ポアソン過程が均質である場合そしてもしは関数である、 それから
言い換えれば、点がランダムかつ独立に移動した後でも、元のポアソン点過程は依然として存在する。
変位定理は、ポアソン点が1つのユークリッド空間からランダムに変位する場合にも拡張できる。別のユークリッド空間へ、 どこ必ずしも等しいとは限らない[ 18 ]
もう一つ有用な特性として、ポアソン点過程をある基礎空間から別の空間にマッピングできる能力が挙げられる。[ 136 ]
マッピング(または変換)が何らかの条件を満たす場合、結果として得られるマッピング(または変換)された点の集合もポアソン点過程を形成し、この結果はマッピング定理と呼ばれることがある。[ 136 ] [ 137 ]この定理は、平均測度を持つポアソン点過程を含む。ある基底空間において、点の位置が何らかの関数に従って別の基底空間にマッピングされる(つまり、点過程が変換される)場合、結果として得られる点過程もポアソン点過程となるが、平均測度は異なる。。
より具体的には、(ボレル可測)関数を考えることができる。点過程をマッピングする強度測定付き1つのスペースから別の空間へ新しい点プロセスが強度の尺度を持つ:
原子がない状態で、はボレル集合であり、 関数の逆関数を表します。 もし ポアソン点過程である場合、新しい過程強度尺度を持つポアソン点過程でもある。
ポアソン過程の扱いやすさから、非ポアソン点過程をポアソン点で近似することが便利な場合がある。全体的な目的は、ある点過程の点の数と各点の位置の両方をポアソン点過程によって近似することである。[ 138 ]ランダムな事象や現象の発生を適切なポアソン点過程で近似することを、非公式または厳密に正当化するために使用できる方法はいくつかある。より厳密な方法では、ポアソン点過程と非ポアソン点過程の間の確率メトリックの上限を導出するが、他の方法はより形式的でないヒューリスティックによって正当化できる。[ 139 ]
One method for approximating random events or phenomena with Poisson processes is called the clumping heuristic.[140] The general heuristic or principle involves using the Poisson point process (or Poisson distribution) to approximate events, which are considered rare or unlikely, of some stochastic process. In some cases these rare events are close to being independent, hence a Poisson point process can be used. When the events are not independent, but tend to occur in clusters or clumps, then if these clumps are suitably defined such that they are approximately independent of each other, then the number of clumps occurring will be close to a Poisson random variable [139] and the locations of the clumps will be close to a Poisson process.[140]
Stein's method is a mathematical technique originally developed for approximating random variables such as Gaussian and Poisson variables, which has also been applied to point processes. Stein's method can be used to derive upper bounds on probability metrics, which give way to quantify how different two random mathematical objects vary stochastically.[138][141] Upperbounds on probability metrics such as total variation and Wasserstein distance have been derived.[138]
Researchers have applied Stein's method to Poisson point processes in a number of ways,[138] such as using Palm calculus.[108] Techniques based on Stein's method have been developed to factor into the upper bounds the effects of certain point process operations such as thinning and superposition.[142][143] Stein's method has also been used to derive upper bounds on metrics of Poisson and other processes such as the Cox point process, which is a Poisson process with a random intensity measure.[138]
In general, when an operation is applied to a general point process the resulting process is usually not a Poisson point process. For example, if a point process, other than a Poisson, has its points randomly and independently displaced, then the process would not necessarily be a Poisson point process. However, under certain mathematical conditions for both the original point process and the random displacement, it has been shown via limit theorems that if the points of a point process are repeatedly displaced in a random and independent manner, then the finite-distribution of the point process will converge (weakly) to that of a Poisson point process.[144]
Similar convergence results have been developed for thinning and superposition operations[144] that show that such repeated operations on point processes can, under certain conditions, result in the process converging to a Poisson point processes, provided a suitable rescaling of the intensity measure (otherwise values of the intensity measure of the resulting point processes would approach zero or infinity). Such convergence work is directly related to the results known as the Palm–Khinchin[e] equations, which has its origins in the work of Conny Palm and Aleksandr Khinchin,[145] and help explains why the Poisson process can often be used as a mathematical model of various random phenomena.[144]
The Poisson point process can be generalized by, for example, changing its intensity measure or defining on more general mathematical spaces. These generalizations can be studied mathematically as well as used to mathematically model or represent physical phenomena.
ポアソン型ランダム測度(PT) は、部分空間への制限、すなわち点過程操作 # 細分化に関して閉じている 3 つのランダム計数測度の族です。これらのランダム測度は混合二項過程の例であり、ポアソンランダム測度の分布自己相似性を共有しています。これらは、この性質を持つ標準的な非負べき級数分布族の唯一のメンバーであり、ポアソン分布、負の二項分布、および二項分布が含まれます。ポアソンランダム測度は互いに素な部分空間で独立ですが、他の PT ランダム測度 (負の二項分布と二項分布) は正と負の共分散を持ちます。PT ランダム測度については[ 146 ]で議論されており、ポアソンランダム測度、負の二項ランダム測度、および二項ランダム測度が含まれます。
数学モデルでは、ポアソン点過程はしばしばユークリッド空間で定義されますが、[ 1 ] [ 36 ]より抽象的な空間に一般化され、確率論、測度論、位相幾何学などの数学分野の理解を必要とするランダム測度の研究において基本的な役割を果たしています。 [ 147 ] [ 148 ] [ 149 ]
一般的に、距離の概念は応用において実用的に重要であり、パーム分布には位相構造が必要であるため、点過程は通常、計量を持つ数学的空間上で定義される。[ 150 ]さらに、点過程の実現は計数測度とみなすことができ、点過程はランダム計数測度として知られるランダム測度の一種である。[ 115 ]この文脈において、ポアソン過程やその他の点過程は、局所的にコンパクトな第2可算ハウスドルフ空間上で研究されてきた。[ 151 ]
コックス点過程、コックス過程、または二重確率ポアソン過程は、強度尺度をまた、ランダムであり、基礎となるポアソン過程とは独立している。この過程は、1955 年にこれを導入したDavid Coxにちなんで名付けられているが、ランダムな強度を持つ他のポアソン過程は、それ以前に Lucien Le Cam と Maurice Quenouille によって独立に導入されていた。 [ 3 ]強度尺度は、ランダム変数の実現またはランダム場である可能性がある。たとえば、強度尺度の対数がガウスランダム場である場合、結果として得られる過程は、対数ガウス Cox 過程として知られている。[ 152 ]より一般的には、強度尺度は、非負の局所的に有限なランダム尺度の実現である。Cox 点過程は点のクラスタリングを示し、数学的に、ポアソン点過程のクラスタリングよりも大きいことが示される。Cox 過程の一般性と扱いやすさにより、空間統計[ 153 ]や無線ネットワーク[ 19 ]などの分野でモデルとして使用されている。

For a given point process, each random point of a point process can have a random mathematical object, known as a mark, randomly assigned to it. These marks can be as diverse as integers, real numbers, lines, geometrical objects or other point processes.[154][155] The pair consisting of a point of the point process and its corresponding mark is called a marked point, and all the marked points form a marked point process.[156] It is often assumed that the random marks are independent of each other and identically distributed, yet the mark of a point can still depend on the location of its corresponding point in the underlying (state) space.[157] If the underlying point process is a Poisson point process, then the resulting point process is a marked Poisson point process.[158]
If a general point process is defined on some mathematical space and the random marks are defined on another mathematical space, then the marked point process is defined on the Cartesian product of these two spaces. For a marked Poisson point process with independent and identically distributed marks, the marking theorem[157][159] states that this marked point process is also a (non-marked) Poisson point process defined on the aforementioned Cartesian product of the two mathematical spaces, which is not true for general point processes.
The compound Poisson point process or compound Poisson process is formed by adding random values or weights to each point of Poisson point process defined on some underlying space, so the process is constructed from a marked Poisson point process, where the marks form a collection of independent and identically distributed non-negative random variables. In other words, for each point of the original Poisson process, there is an independent and identically distributed non-negative random variable, and then the compound Poisson process is formed from the sum of all the random variables corresponding to points of the Poisson process located in some region of the underlying mathematical space.[160]
If there is a marked Poisson point process formed from a Poisson point process (defined on, for example, ) and a collection of independent and identically distributed non-negative marks such that for each point of the Poisson process there is a non-negative random variable 結果として得られる複合ポアソン過程は次のようになります。[ 161 ]
どこはボレル可測集合である。
一般確率変数例えば、次元ユークリッド空間結果として得られる複合ポアソン過程は、均質な点過程から形成される場合、レヴィ過程の一例となる。非負の数で定義される[ 162 ]
指数平滑化強度関数を用いた故障過程(FP-ESI)は、非均質ポアソン過程の拡張です。FP-ESIの強度関数は、イベント発生の最終時点における強度関数の指数平滑化関数であり、モデルをデータセットに適合させる場合、8つの実世界の故障データセット上で他の9つの確率過程よりも優れた性能を発揮します[ 163 ]。ここで、モデル性能はAIC(赤池情報量規準)とBIC(ベイズ情報量規準)で測定されます。