ボンフェローニ補正

統計学において、ボンフェローニ補正（ボンフェローニほせい、）は、に対抗するために使われるいくつかの手法のうちの1つである。
背景.
本手法の名称はボンフェローニの不等式を使用することにちなむ。本手法の信頼区間への拡張はによって提唱された。
統計的仮説検定は、観察されたデータの帰無仮説の下での尤度が低ければ帰無仮説を棄却することに基づく。複数の仮説が検定されるとすると、稀な事象を観察する可能性が高まり、その結果として、帰無仮説を誤って棄却する（すなわち第一種過誤を犯す）可能性が高まる。
ボンフェローニ補正は、有意水準formula_1（formula_2は望ましい全体としてのα水準、formula_3は仮説の数）で個々の仮説を検証することによって第一種過誤を犯す可能性の高まりを補償する。例えば、1回の試行がformula_4個の仮説を望むformula_5の水準で検定しているとすると、ボンフェローニ補正は個別の仮説をformula_6の水準で検定する。同じように、複数の信頼区間を構築する時、同じ現象が表われる。
定義.
formula_7を仮説の族（ファミリー）、formula_8をそれらの対応するp値とする。formula_3を帰無仮説の総数、formula_10を真である帰無仮説の数とする。ファミリーワイズエラー率（FWER）は少くとも1つの真であるformula_11を棄却する確率、すなわち少くとも1つの第一種過誤を犯す確率である。ボンフェローニ補正はformula_12で帰無仮説を棄却することで、FWERを水準formula_13で制御する。この制御の証明は以下のようにブールの不等式から得られる。
この制御はp値間の依存性またはいくつの帰無仮説が真であるかに関していかなる仮定も必要としない。
拡張.
一般化.
個々の検定の水準がデータを見るよりも前に決定されるという条件で、formula_1水準で個々の仮説を検証するよりむしろ、仮説は合計formula_2となる水準のどの組合せでも検定してもよい。例えば、2つの仮説検定について、1つの検定を0.04、もう一方の検定を0.01の水準で実行することによって全体として0.05のformula_2を維持することができる。
信頼区間.
ダンによって提唱された手順（順位ベースの分散力についてのダンの手順と混同してはならない）は信頼区間を調整するために使うことができる。formula_3個の信頼区間を定め、全体の信頼水準をformula_19にしたいと望むとすると、個々の信頼区間はformula_20の水準に調整することができる。
連続問題.
連続パラメータ空間における信号を探索する時も、多重比較の問題（どこでも効果）が存在しうる。例えば、ある物理学者が幅広い範囲の質量を考慮することによって未知の質量の粒子を発見したいと見ているとする。これはノーベル賞を受賞したヒッグス粒子の検出の際に当て嵌る。こういった場合、試行の有効数formula_3と事前–事後体積比を関連付けるベイズロジックを利用することによって連続パラメータに対して一般化されたボンフェローニ補正を適用することができる。
代替手法.
ファミリーワイズエラー率を制御するためには複数の代替手法が存在する。例えば、ホルム＝ボンフェローニ法とシダック補正はボンフェローニ補正よりも普遍的に強力な手順である。これは常に少くとも強力であることを意味する。ボンフェローニの手順とは異なり、これらの手法は族毎の第一種過誤の期待数（族毎の第一種過誤の確率）を制御しない。
批判.
FWER制御に関して、数多くの検定が存在する時と検定統計量が正に相関している時の両方またはどちらか一方の場合、ボンフェローニ補正は保守的であるかもしれない。
ボンフェローニ補正は偽陰性を生む確率を増大させる、すなわちを低下させる犠牲を払う。全ての場合において仮説族をどのように定義するかについて決定的な意見の一致は存在しないが、調整された検定結果は仮説の族に含められた検定数に依存して変動するかもしれない。こういった批判は一般にFWER制御に向けられ、ボンフェローニ補正の特有のものではない。