加算性白色ガウス雑音
加算性白色ガウス雑音 （かさんせいはくしょくがうすざつおん、Additive white Gaussian noise、AWGN) は自然界で発生する多数のランダム過程の効果を模倣する目的で、情報理論で用いられる基本的ノイズモデル。その修飾語は固有の特性を表している。
広域帯の雑音は、導体中の原子の熱振動（熱雑音もしくはジョンソン・ナイキスト・ノイズと呼ばれる）などの多くの自然発生源、ショットノイズ、地球や他の温かい物体による黒体輻射、太陽などによる天体源によるものである。確率論における中心極限定理は、多くのランダム過程の総和が正規分布（ガウス分布）になる傾向にあることを示している。
AWGNは、通信に対する唯一の障害が、一定のスペクトル密度（帯域幅1ヘルツ毎のワットで表される）及びガウス分布の振幅を持つ広帯域もしくは白色の雑音の線形加算である通信路のモデルとして用いられる。このモデルは、フェージング、周波数選択性、干渉 (通信)、非線形性、分散 (光学)を考慮に入れていない。しかし、これらの他の現象を考慮する前に、系の基本的な振る舞いについての洞察を得るために有益な、単純で扱いやすい数学的なモデルである。
AWGNは多くの衛星と深宇宙通信の繋がりのいいモデルである。マルチパス、地形による遮断、干渉などの理由から、殆どの陸上における繋がりに対してはいいモデルではない。しかし、地上経路のモデリングにおいては、現代の無線システムが地上で運用しているときに遭遇するマルチパス、地形による遮断、干渉、地面クラッタ、自己干渉に加え、研究中である通信路の背景雑音をシミュレートするために一般的に使用されている。
AWGNの通信路は離散時間の事象の添え字formula_1とする一連の出力formula_2により表される。formula_2は入力formula_4と雑音formula_5の和である。formula_5は独立同分布であり、平均0、分散formula_7の正規分布から得られるものである。さらにformula_5はformula_4と相関しないと仮定される。
雑音nが0ではなく、formula_4が十分に制約されない限り、通信路の容量は無限である。入力に対する最も一般的な制約は、いわゆる「パワー」制約であり、通信路を介して送信されるコード名formula_13に対して必要なものである。
ここでformula_15は最大の通信路容量を表す。よって、パワーが制限された通信路の容量は以下になる。
formula_17はformula_18の分布である。formula_19を展開し、微分エントロピーの観点から書くと以下の式になる。
しかしformula_18とformula_22は独立である。よって
となる。ガウスの微分エントロピーを評価すると
となる。formula_18 と formula_22 は独立で、それらの和がformula_27になるから、:
この範囲より、微分エントロピーの性質を推測すると
となる。よって通信路の容量は相互情報量における達成可能な最大の境界で与えられ、
formula_19 は
のときに最大となり、このとき通信路容量 formula_33 は以下となる。
formula_35 から formula_36の範囲の指数を持つ通信路を介してメッセージを送るとする。この指数は識別が可能なメッセージの数を表している。formula_36個のメッセージをformula_38ビットにエンコードすると、レートformula_39は次のように定義される。
レートは、もしformula_38が無限大に近づくにつれて誤差の最大確率が0になるようなコードの並びが存在すれば、実現できると考えられる。容量formula_33は実現可能な最大のレートである。
雑音レベルがformula_7のAWGNの通信路を通して送信された長さformula_38の符号を考える。受信したとき、符号ベクトルの分散はformula_7であり、平均は送信された符号である。そのベクトルは送信された符号周りの半径formula_46の球に含まれる確率が非常に高い。受信した全てのメッセージをこの球を中心として符号に写像することによりデコードするとき、受信したベクトルが球の外にある場合エラーが発生するが、これはほとんど起こらないことである。
各符号ベクトルは、それに復号される受信符号ベクトルの関連する球を持ち、このような球は符号を一意に写像しなくてはならない。よって、これらの球は交差してはならないため、球充填の問題に差し当たる。いくつの異なる符号が、formula_38ビットの符号ベクトルに充填できるだろうか？受信されたベクトルは、最大エネルギーformula_48を有する。したがって半径がformula_49の球を占有する必要がある。それぞれの符号の球の半径はformula_50である。"n"次元での球の体積はformula_51に正比例するので、送信電力で我々の球に充填することができる、一意に復号可能な球体の最大数Pは
となる。この議論によりレートRはformula_53以下になる。
この節では最後の節からのレート上限の達成可能性について述べる。
エンコーダーにもデコーダーにも知られた暗号表は長さn、独立同一分布で正規分布、分散formula_54平均0の符号を選ぶことにより生成される。nが大きくなると、コードブックの実験的な分散はその分布の分散に非常に近くなり、それにより確率的にパワー制約を破るのを回避する。
受け取られたメッセージは、コードブックに書かれている一意に結びついた典型的なメッセージへと復号される。 もし、そのようなメッセージが存在しない、もしくは、パワー制約に違反する場合、複合エラーが宣言される。
formula_55はメッセージformula_1のコード名、formula_57は is, as before the received vector.3つの出来事を定義する。したがって、エラーはformula_58、formula_60、formula_67のいずれかが起きた時に生じる。多数のものを扱う法則により、nが無限に近づくにつれてformula_68は0に収束し、漸近等分割性を結びつけることにより、formula_69に同じものが適用できる。よって十分に大きいformula_38では、formula_68とformula_69はともにformula_73より小さくなる。formula_64において、formula_55 and formula_76が独立であるので、formula_55とformula_57も独立であるとわかる。よって漸近等分割性を結びつけることにより、formula_79となる。これにより、エラー確率formula_80が計算でき、
となる。よって、"n"が無限大に近づくことにより、formula_80は0に収束し、formula_83となる。それゆえ、前に導出した容量に任意に近いレートRの符号が存在する。
ここで、容量 formula_84 より上のレートは達成できないことを示す。
コードブックに対してパワー制約を満たし、さらにメッセージが一様分布に従うと仮定する。formula_85を入力メッセージ、formula_86を出力メッセージとする。すると、情報は以下のように流れる。
formula_87
ファノの不等式を利用して
formula_88ここでformula_89のときformula_90
formula_4を指数iのコード名の符号化されたメッセージとすると、
formula_93を指数iのコード名の平均パワーとすると、
ここで合計は全ての入力メッセージformula_95より大きい。formula_4とformula_5は独立なので、formula_2のパワーの期待値は雑音レベルがformula_7のとき、
そして、もしformula_2が正規分布とすると、以下の式を得る。
よって
"x"の凹（下向き）関数であるformula_104にジェンセンの等式を適用すると、以下の式が得られる。
各コード名はそれぞれパワー制約を満たすため、平均もパワー制約を満たす。
上の不等式を簡単にすると、
よって、全体を合わせるとformula_107となる。したがってformula_39はformula_89のとき、前に導出した容量よりも幾分か小さい値でなくてはならない。
シリアルデータ通信においては、ランダムジッタ（RJ）に起因するタイミング誤差をモデル化するためにAWGNの数学モデルが使われる。
右のグラフは、AWGNに関連したタイミングエラーの一例を示している。変数Δtはゼロ交差における不確実性を表す。AWGNの振幅が増加するにつれ、SN比が減少する。結果として不確実性Δtが増加する。
AWGNの影響を受けると、入力が正弦波で出力が狭帯域フィルタによる出力である、正もしくは負の方向へ進むゼロ交差の平均回数は以下のようになる。
このとき現代の通信システムでは、帯域制限されたAWGNは無視できない。フェーザ領域で帯域制限されたAWGNをモデル化すると、統計的解析により、実部および虚部の振幅はガウス分布モデルに従う独立変数であることが分かる。これらを結びつけると、合成したフェーザの位相は0から2πまで均一に分布している一方、大きさはレイリー分布のランダム変数である。
右のグラフは、帯域制限されたAWGNがコヒーレントキャリア信号にどのように影響するかの一例を示している。ノイズベクトルの瞬時応答は正確に予測することはできないが、時間平均応答は統計的に予測することができる。グラフに示されている通り、我々はノイズフェーザの約38%は1σ円内に存在することを確信をもって予測することができる。約86%は2σ円内、約98%は3σ円内に存在する。