情報理論において、エントロピー符号化(またはエントロピー符号化)とは、シャノンのソース符号化定理によって宣言された下限に近づこうとする、あらゆるロスレスデータ圧縮方法のことである。シャノンのソース符号化定理は、あらゆるロスレスデータ圧縮方法の期待コード長はソースのエントロピー以上でなければならないと述べている。 [ 1 ] [ 2 ]
より正確には、ソース符号化定理は、任意のソース分布に対して、期待されるコード長が以下を満たすことを述べている。、 どこは、コードワード内のシンボル数を指定する関数です。はコーディング関数です。は出力コードを作成するために使用されるシンボルの数であり、はソースシンボルの確率です。エントロピー符号化はこの下限に近づこうとします。[ 2 ] [ 3 ]
最も一般的なエントロピー符号化技術の 2 つは、ハフマン符号化と算術符号化です。[ 4 ] [ 5 ]データ ストリームのおおよそのエントロピー特性が事前にわかっている場合 (特に信号圧縮の場合)、より単純な静的コードが役立つ場合があります。これらの静的コードには、ユニバーサル コード(エリアス ガンマ コーディングやフィボナッチ コーディングなど) やゴロム コード(単項符号化やライス コーディングなど) が含まれます。[ 5 ]
2014 年以降、データ圧縮機は、算術符号化の圧縮率とハフマン符号化と同様の処理コストを組み合わせることができる非対称数値システム(ANS) ファミリーのエントロピー符号化技術を使用し始めています。[ 6 ] [ 1 ] ANS は、 Facebook ( Zstandard )、Apple ( LZFSE )、Google (Draco)などが開発した圧縮機に採用されています。[ 6 ]
エントロピー符号化は、一部のシンボルが他のシンボルよりも頻繁に出現するという事実を利用します。シンボルの確率が不均等な場合、一部の結果はより予測可能になり、この予測可能性を使用してデータをより少ないビットで表現できます。逆に、すべてのシンボルが等しい確率で出現する場合、各シンボルは可能な限り最大の情報量を持ち、圧縮は不可能です。[ 3 ] [ 2 ]
圧縮が不可能な場合:表と裏がそれぞれ確率 0.5 で発生する独立した公平なコイン投げのストリームは、シンボルあたり 1 ビットのエントロピーを持ち、これは 1 つのバイナリ数字を保存するコストとまったく同じです。すべてのシンボルがすでに可能な限り最小のスペースを占めているため、利用できる冗長性はなく、エントロピー符号化方式を使用しても平均的にデータを小さくすることはできません。同じ原理はより大きなアルファベットにも適用されます。確率 1/3 でそれぞれ発生する独立した 3 進シンボル (0、1、2) は、シンボルあたり約 1.585 ビットのエントロピーを持ち、これは 3 つのシンボルのアルファベットの最大値であり、同様に圧縮できません。[ 3 ] [ 2 ]
圧縮が可能な場合:同じバイナリソースが代わりに確率 0.9 で 1 を、確率 0.1 で 0 を生成する場合、エントロピーはシンボルあたり約 0.469 ビットに低下します。これは 1 ビットのストレージコストをはるかに下回ります。これは、1 が優勢であるため、各シンボルが部分的に予測可能になるためです。算術符号化などのエントロピー符号化器は、この予測可能性を利用して、より一般的なシンボルに短いコードを割り当てることで、約 2.1:1 の圧縮率を達成できます。[ 3 ] [ 5 ]
実例:英語のテキストには、およそ 27 文字 (26 文字とスペース) のアルファベットがあります。すべての文字が均等に出現すると仮定すると、各文字は約 4.75 ビット必要になります。しかし、文字の出現頻度は非常に不均等であり (「e」は「z」よりもはるかに多く出現する)、文字は独立していない (「u」はほぼ常に「q」の後に続く) ため、英語の真のエントロピーは、文字あたりおよそ 1.0 ~ 1.5 ビットと推定されています。この大きな差が、英語のテキストを非常に圧縮可能にしているのです。[ 7 ] [ 3 ]
デジタルデータを圧縮する方法としてエントロピー符号化を使用する以外にも、エントロピーエンコーダは、データストリームと既存のデータクラスとの類似度を測定するためにも使用できます。これは、データクラスごとにエントロピーコーダー/コンプレッサーを生成することによって行われます。次に、未知のデータは、非圧縮データを各コンプレッサーに入力し、どのコンプレッサーが最も高い圧縮率をもたらすかを確認することによって分類されます。最も圧縮率の高いコーダーは、おそらく未知のデータに最も類似したデータでトレーニングされたコーダーです。[ 8 ]このアプローチは、正規化圧縮距離の概念に基づいています。これは、計算不可能な正規化情報距離を近似する、圧縮に基づくパラメータフリーの普遍的な類似度メトリックです。[ 8 ] [ 9 ]