ボックス＝ミュラー法
ボックス＝ミュラー法（ボックス＝ミュラーほう、）とは、一様分布に従う確率変数から標準ガウス分布に従う確率変数を生成させる手法。計算機シミュレーションにおいて、ガウス分布に従う擬似乱数の発生に応用される。統計学者とマーヴィン・マラー（ミュラー）によって考案された。
確率変数 "X" 及び "Y" が互いに独立で、ともに（0, 1）上での一様分布に従うものとする。このとき、
で定義される "Z", "Z" は、平均 0、分散 1 の標準ガウス分布N(0,1)に従う互いに独立な確率変数となる。一様分布に従う "X" 及び "Y" からガウス分布に従う "Z", "Z" を与えるこの変換をボックス＝ミュラー変換という。また、このガウス分布に従う確率変数を生成させる方法のことをボックス＝ミュラー法という。ボックス＝ミュラー法によって、比較的生成が容易な一様分布に従う乱数から、応用上、重要なガウス分布に従う乱数を生成させることができる。
2次元の標準ガウス分布に従う ("Z", "Z") において、2変数が互いに独立であれば、結合確率密度関数
は、円周上で定数値を与えることから、偏角
は (0, 2"π") 上で、一様分布をなす。一方、2次元ベクトル ("Z", "Z") の大きさの2乗
は自由度2のカイ二乗分布に従う。ここで、カイ二乗分布の性質から e は、(0, 1) 上の一様分布となる。
これらのことから、逆に (0, 1) 上で一様分布する2つの独立な確率変数 "X", "Y" により、
で定義される確率変数 "Z", "Z" は標準ガウス分布 N(0, 1) に従うこととなる。
ボックス=ミュラー変換が標準ガウス分布を与えることは、特性関数を調べることで確認できる。実際、"Z" については、その特性関数は、
であり、変数変換
となるが、さらに変数変換
を行えば、
を得る。これは、標準ガウス分布 N(0, 1) の特性関数にほかならない。